Add Pow x0 Mul x0 Add -2 acosh Pow Mul x0 pi 4 Mul Add x7 x0 coth Mul Add x0 x0 acoth x1 
Add Mul Pow x0 Add Mul x0 Add -2 acosh Pow Mul x0 pi 4 -1 Add Mul x0 Add -2 acosh Pow Mul x0 pi 4 Mul Mul x0 log x0 Add Add -2 acosh Pow Mul x0 pi 4 Mul x0 Mul Mul Pow Mul x0 pi 3 Mul 4 pi Pow Mul sqrt Add Pow Mul x0 pi 4 -1 sqrt Add 1 Pow Mul x0 pi 4 -1 Add coth Mul Add x0 x0 acoth x1 Mul Add x7 x0 Mul Mul -1 Pow csch Mul Add x0 x0 acoth x1 2 Mul acoth x1 2 