Add Pow 2 x7 Pow csch Pow E x0 atanh Pow acoth Pow 2 x0 Mul Add x7 sec Add E Mul acoth x0 x1 x1 
Mul Pow csch Pow E x0 Add atanh Pow acoth Pow 2 x0 Mul Add x7 sec Add E Mul acoth x0 x1 x1 -1 Add Mul atanh Pow acoth Pow 2 x0 Mul Add x7 sec Add E Mul acoth x0 x1 x1 Mul Mul Mul -1 coth Pow E x0 csch Pow E x0 Mul Pow E Add x0 -1 Mul E log E Mul Mul csch Pow E x0 log csch Pow E x0 Mul Mul Pow acoth Pow 2 x0 Add Mul Add x7 sec Add E Mul acoth x0 x1 x1 -1 Add Mul Mul Add x7 sec Add E Mul acoth x0 x1 x1 Mul Mul Pow 2 Add x0 -1 2.69314718055995 Pow Add 1 Mul -1 Mul Pow 2 x0 Pow 2 x0 -1 Mul Mul acoth Pow 2 x0 log acoth Pow 2 x0 Mul x1 Mul Mul tan Add E Mul acoth x0 x1 sec Add E Mul acoth x0 x1 Mul x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow acoth Pow 2 x0 Mul Add x7 sec Add E Mul acoth x0 x1 x1 Pow acoth Pow 2 x0 Mul Add x7 sec Add E Mul acoth x0 x1 x1 -1 