Mul x0 Mul Add Mul coth x0 Add Add x0 pi x0 x0 Pow Mul x0 -4 cosh x7 
Add Mul Add Mul coth x0 Add Add x0 pi x0 x0 Pow Mul x0 -4 cosh x7 Mul x0 Add Mul Pow Mul x0 -4 cosh x7 Add Add Mul Add Add x0 pi x0 Mul -1 Pow csch x0 2 Mul coth x0 2 1 Mul Add Mul coth x0 Add Add x0 pi x0 x0 Mul Pow Mul x0 -4 Add cosh x7 -1 Mul cosh x7 -4 