Add Pow acsch x1 Mul 3 x0 Pow x0 Add coth Add Mul pi Add sqrt E x0 x7 x3 
Add Mul Pow acsch x1 Add Mul 3 x0 -1 Mul Mul acsch x1 log acsch x1 3 Mul Pow x0 Add Add coth Add Mul pi Add sqrt E x0 x7 x3 -1 Add Add coth Add Mul pi Add sqrt E x0 x7 x3 Mul Mul x0 log x0 Mul Mul -1 Pow csch Add Mul pi Add sqrt E x0 x7 2 pi 