Simplify cos(t(1+tan(t)^2))