How do you solve cosx+sqrt2=-cosx?