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