Add x0 Pow Mul pi Add x0 x0 Add x7 Mul -3 coth Pow acot Add cosh x1 Mul 4 Pow E Add x0 x0 atanh x0 
Add 1 Mul Pow Mul pi Add x0 x0 Add Add x7 Mul -3 coth Pow acot Add cosh x1 Mul 4 Pow E Add x0 x0 atanh x0 -1 Add Mul Add x7 Mul -3 coth Pow acot Add cosh x1 Mul 4 Pow E Add x0 x0 atanh x0 Mul pi 2 Mul Mul Mul pi Add x0 x0 log Mul pi Add x0 x0 Mul -3 Mul Mul -1 Pow csch Pow acot Add cosh x1 Mul 4 Pow E Add x0 x0 atanh x0 2 Mul Pow acot Add cosh x1 Mul 4 Pow E Add x0 x0 Add atanh x0 -1 Add Mul atanh x0 Mul -1 Mul Mul 4 Mul Pow E Add Add x0 x0 -1 Mul Mul E log E 2 Pow Add 1 Mul Add cosh x1 Mul 4 Pow E Add x0 x0 Add cosh x1 Mul 4 Pow E Add x0 x0 -1 Mul Mul acot Add cosh x1 Mul 4 Pow E Add x0 x0 log acot Add cosh x1 Mul 4 Pow E Add x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 