atanh sech Mul Mul x0 tanh pi tanh Add x2 x0 
Mul Mul Mul tanh Mul Mul x0 tanh pi tanh Add x2 x0 Mul -1 sech Mul Mul x0 tanh pi tanh Add x2 x0 Add Mul tanh Add x2 x0 tanh pi Mul Mul x0 tanh pi Pow sech Add x2 x0 2 Pow Add 1 Mul -1 Mul sech Mul Mul x0 tanh pi tanh Add x2 x0 sech Mul Mul x0 tanh pi tanh Add x2 x0 -1 