WolframAlpha computational knowledge AI
simplify cos(arcsin(x)/2)