TcSimplify

simplifyInfer

simplifyDefault

simplifyDeriv

simplifyRule

simplifyTop

simplifyInteractive