Pow cosh x1 Mul Pow Add x2 -1 Mul x0 Mul coth sech pi x0 5 
Mul Pow cosh x1 Add Mul Pow Add x2 -1 Mul x0 Mul coth sech pi x0 5 -1 Mul Mul cosh x1 log cosh x1 Mul 5 Mul Pow Add x2 -1 Add Mul x0 Mul coth sech pi x0 -1 Mul Mul Add x2 -1 log Add x2 -1 Add Mul coth sech pi x0 Mul x0 coth sech pi 