solve sin x + cos y =1, x^2 + cos y =1