Mul Pow tanh x0 x0 csc cosh Mul sec x0 sin acot x1 
Add Mul csc cosh Mul sec x0 sin acot x1 Mul Pow tanh x0 Add x0 -1 Add Mul x0 Pow sech x0 2 Mul tanh x0 log tanh x0 Mul Pow tanh x0 x0 Mul Mul Mul -1 cot cosh Mul sec x0 sin acot x1 csc cosh Mul sec x0 sin acot x1 Mul sinh Mul sec x0 sin acot x1 Mul sin acot x1 Mul tan x0 sec x0 