How do you solve the identity sin x + sqrt2 = - sin x?