Decreasing the nesting depth of expressions involving square rootsAllan BorodinRonald Faginet al.1985Journal of Symbolic Computation