Mul Pow Add x0 Add x7 -3 x0 Add Pow x0 Mul asech Pow -1 pi csch Add acoth x0 pi Add 1 E 
Add Mul Add Pow x0 Mul asech Pow -1 pi csch Add acoth x0 pi Add 1 E Mul Pow Add x0 Add x7 -3 Add x0 -1 Add x0 Mul Add x0 Add x7 -3 log Add x0 Add x7 -3 Mul Pow Add x0 Add x7 -3 x0 Mul Pow x0 Add Mul asech Pow -1 pi csch Add acoth x0 pi -1 Add Mul asech Pow -1 pi csch Add acoth x0 pi Mul Mul x0 log x0 Mul asech Pow -1 pi Mul Mul Mul -1 coth Add acoth x0 pi csch Add acoth x0 pi Pow Add 1 Mul -1 Mul x0 x0 -1 