Solve for x x^2-2-3xcos(x)=0