Pow x7 Pow Mul x0 coth Pow 4 Add atan acosh Pow 2 E x0 Add Mul 3 pi x1 
Mul Pow x7 Add Pow Mul x0 coth Pow 4 Add atan acosh Pow 2 E x0 Add Mul 3 pi x1 -1 Mul Mul x7 log x7 Mul Pow Mul x0 coth Pow 4 Add atan acosh Pow 2 E x0 Add Add Mul 3 pi x1 -1 Mul Add Mul 3 pi x1 Add coth Pow 4 Add atan acosh Pow 2 E x0 Mul x0 Mul Mul -1 Pow csch Pow 4 Add atan acosh Pow 2 E x0 2 Mul Pow 4 Add Add atan acosh Pow 2 E x0 -1 5.38629436111989 