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