solve Sqrt[3] cos (x) sin (x...