root of 3 cos ^2 x+1