Solve for x sec(x)tan(x) = square root of 2