Simplify cos(t(sec(t)-cos(t)))