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