atanh Add Pow acoth Mul tanh Pow Add x2 x0 x0 x0 acot E Mul x0 E 
Mul Add Mul Pow acoth Mul tanh Pow Add x2 x0 x0 x0 Add acot E -1 Mul acot E Mul Add Mul x0 Mul Pow sech Pow Add x2 x0 x0 2 Mul Pow Add x2 x0 Add x0 -1 Add x0 Mul Add x2 x0 log Add x2 x0 tanh Pow Add x2 x0 x0 Pow Add 1 Mul -1 Mul Mul tanh Pow Add x2 x0 x0 x0 Mul tanh Pow Add x2 x0 x0 x0 -1 E Pow Add 1 Mul -1 Mul Add Pow acoth Mul tanh Pow Add x2 x0 x0 x0 acot E Mul x0 E Add Pow acoth Mul tanh Pow Add x2 x0 x0 x0 acot E Mul x0 E -1 