Rewrite sqr(sqrt(x)) -> |x|
and sqrt(sqr(x)) -> x
#4635
Loading
sqr(sqrt(x)) -> |x|
and sqrt(sqr(x)) -> x
#4635