1. In an electronic design automation (EDA) tool in a computer, a method for proving equivalence between a first circuit design and a second circuit design, wherein the first circuit design includes a first square-root circuit and the second circuit design includes a second square-root circuit, the method comprising: the EDA tool in the computer analyzing the first and second circuit designs to determine an input relationship between the square-root operand of the first square-root circuit and the square-root operand of the second square-root circuit, wherein the square-root operand of the first square-root circuit is not equal to the square-root operand of the second square-root circuit, and wherein the input relationship is of the form c=a·m 2 , where a is the square-root operand of the first square-root circuit, c is the square-root operand of the second square-root circuit, and m is an integer; the EDA tool in the computer determining an output relationship between a set of outputs of the first square-root circuit and a set of outputs of the second square-root circuit based on the input relationship; and the EDA tool in the computer proving equivalence between the first and second circuit designs by using the input and output relationships, wherein using the input and output relationships to prove equivalence improves performance of the EDA tool in the computer.