Simplify sin(t(csc(t)-sin(t)))