minimize y^2+(sqrt(1-y^2) + (arccos y - pi/4)/y)^2