simplify sqrt(cos^2(x)) assuming x is real