(x-sec^2(pi/12))(x-sec^2(5pi/12))(x-sec^2(3pi/4))