simplify 2*sin(acos(x)/2)