Add -5 Pow acosh Mul x2 coth x1 Pow x5 Pow Pow x0 pi Add x0 8 
Mul Pow acosh Mul x2 coth x1 Add Pow x5 Pow Pow x0 pi Add x0 8 -1 Mul Mul acosh Mul x2 coth x1 log acosh Mul x2 coth x1 Mul Pow x5 Add Pow Pow x0 pi Add x0 8 -1 Mul Mul x5 log x5 Mul Pow Pow x0 pi Add Add x0 8 -1 Add Mul Add x0 8 Mul Pow x0 Add pi -1 pi Mul Pow x0 pi log Pow x0 pi 