Is there any mechanism in Mathematica to simplify
t? The functions
FullSimplify leave it as is. When trying to discover relationships, it is useful to consider the arc functions applied to the trig functions as the identity.
Simplify[Tan[ArcTan[t]]] evaluates to