Mul x0 Mul Mul -2 Add Mul E x1 Mul x0 atanh Pow sech acoth x0 x4 pi 
Add Mul Mul -2 Add Mul E x1 Mul x0 atanh Pow sech acoth x0 x4 pi Mul x0 Mul pi Mul -2 Add atanh Pow sech acoth x0 x4 Mul x0 Mul Mul Pow sech acoth x0 Add x4 -1 Mul x4 Mul Mul tanh acoth x0 Mul -1 sech acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow sech acoth x0 x4 Pow sech acoth x0 x4 -1 