solve(2*x*cos(2*x) + sin(2*x))