Mul x0 Mul Pow Pow x7 x0 coth cosh Mul 5 x0 pi 
Add Mul Pow Pow x7 x0 coth cosh Mul 5 x0 pi Mul x0 Mul pi Mul Pow Pow x7 x0 Add coth cosh Mul 5 x0 -1 Add Mul coth cosh Mul 5 x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Mul Pow x7 x0 log Pow x7 x0 Mul Mul -1 Pow csch cosh Mul 5 x0 2 Mul sinh Mul 5 x0 5 