Solve cos(x) - sin(x) = sqrt(2)*sin(x).
Divide both sides by sin to get
Cot-1 = sqrt 2
arccot(1+sqrt2)=acot(2.414213562373095) = 22.5o