Solve for t (cos(t)-4)(2sin(t)^2-1)=0