How do you solve 1 + sin(x) = cos(x)?