sqrt Pow Add x0 x7 Mul Mul x0 pi sec Pow coth Mul x0 x2 x0 
Mul Pow Mul 2 sqrt Pow Add x0 x7 Mul Mul x0 pi sec Pow coth Mul x0 x2 x0 -1 Mul Pow Add x0 x7 Add Mul Mul x0 pi sec Pow coth Mul x0 x2 x0 -1 Add Mul Mul x0 pi sec Pow coth Mul x0 x2 x0 Mul Mul Add x0 x7 log Add x0 x7 Add Mul sec Pow coth Mul x0 x2 x0 pi Mul Mul x0 pi Mul Mul tan Pow coth Mul x0 x2 x0 sec Pow coth Mul x0 x2 x0 Mul Pow coth Mul x0 x2 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch Mul x0 x2 2 x2 Mul coth Mul x0 x2 log coth Mul x0 x2 