manipulate x in (x^2 - y^2) - 0.5