Mul Pow Pow sec x3 Mul sinh coth x0 Mul x0 x0 x3 -3 
Mul -3 Mul Pow Pow sec x3 Mul sinh coth x0 Mul x0 x0 Add x3 -1 Mul x3 Mul Pow sec x3 Add Mul sinh coth x0 Mul x0 x0 -1 Mul Mul sec x3 log sec x3 Add Mul Mul x0 x0 Mul cosh coth x0 Mul -1 Pow csch x0 2 Mul sinh coth x0 Add x0 x0 