roots of (2cos(x)+1)(2cos(x)-1)