Pow Mul x0 Pow x0 x0 Mul pi Mul coth x0 acosh coth x7 
Mul Pow Mul x0 Pow x0 x0 Add Mul pi Mul coth x0 acosh coth x7 -1 Add Mul Mul pi Mul coth x0 acosh coth x7 Add Pow x0 x0 Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Mul x0 Pow x0 x0 log Mul x0 Pow x0 x0 Mul pi Mul acosh coth x7 Mul -1 Pow csch x0 2 