WolframAlpha computational knowledge AI
solve pi/2=arccos(1-x^2/2)-x*((1-(x^2/4))^(1/2))+x^2*arccos(x/2)