sin(2*x)+sqrt(2)*sin(x) = 2*cos(x)+sqrt(2), x >= Pi, x <= 5*Pi*(1/2)