y = -sqrt(1 - |x|) real