Solve for x 2sin(x)cos(x) = square root of 2cos(x)