Add x0 Pow Mul Pow log acoth pi Add csch Add E x0 Mul -1 Add x0 x5 E x0 
Add 1 Mul Pow Mul Pow log acoth pi Add csch Add E x0 Mul -1 Add x0 x5 E Add x0 -1 Add Mul x0 Mul E Mul Pow log acoth pi Add Add csch Add E x0 Mul -1 Add x0 x5 -1 Mul Mul log acoth pi log log acoth pi Add Mul Mul -1 coth Add E x0 csch Add E x0 -1 Mul Mul Pow log acoth pi Add csch Add E x0 Mul -1 Add x0 x5 E log Mul Pow log acoth pi Add csch Add E x0 Mul -1 Add x0 x5 E 