simplify sqrt(10!)