simplify cos(arcsin(x)/2)