Skip to content

Rewrite sqr(sqrt(x)) -> |x| and sqrt(sqr(x)) -> x #4712

Rewrite sqr(sqrt(x)) -> |x| and sqrt(sqr(x)) -> x

Rewrite sqr(sqrt(x)) -> |x| and sqrt(sqr(x)) -> x #4712