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; 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 efficiently proving equivalence between the first and second circuit designs by using the input and output relationships.