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