Pow Pow Mul coth x3 x5 x0 Pow x0 atan cosh x0 
Mul Pow Pow Mul coth x3 x5 x0 Add Pow x0 atan cosh x0 -1 Add Mul Pow x0 atan cosh x0 Mul Pow Mul coth x3 x5 Add x0 -1 Mul Mul coth x3 x5 log Mul coth x3 x5 Mul Mul Pow Mul coth x3 x5 x0 log Pow Mul coth x3 x5 x0 Mul Pow x0 Add atan cosh x0 -1 Add atan cosh x0 Mul Mul x0 log x0 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 