solve y sqrt(1-y^2) + arccos y - pi/4=0