Add Pow cosh csch Mul x0 x0 Mul x0 coth atanh acot x7 Pow x4 -5 
Mul Pow cosh csch Mul x0 x0 Add Mul x0 coth atanh acot x7 -1 Add Mul Mul x0 coth atanh acot x7 Mul sinh csch Mul x0 x0 Mul Mul Mul -1 coth Mul x0 x0 csch Mul x0 x0 Add x0 x0 Mul Mul cosh csch Mul x0 x0 log cosh csch Mul x0 x0 coth atanh acot x7 