Mul Pow x0 -1 tanh Mul acos Mul Pow Mul acoth x0 E pi Mul x0 Add 4 x3 x1 
Add Mul tanh Mul acos Mul Pow Mul acoth x0 E pi Mul x0 Add 4 x3 x1 Mul Pow x0 2 -1 Mul Pow x0 -1 Mul Pow sech Mul acos Mul Pow Mul acoth x0 E pi Mul x0 Add 4 x3 x1 2 Mul x1 Mul -1 Mul Add Mul Mul x0 Add 4 x3 Mul Pow Mul acoth x0 E Add pi -1 Mul pi Mul E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul acoth x0 E pi Add 4 x3 Pow sqrt Add 1 Mul -1 Mul Mul Pow Mul acoth x0 E pi Mul x0 Add 4 x3 Mul Pow Mul acoth x0 E pi Mul x0 Add 4 x3 -1 