Mul x2 Pow tanh Add atanh pi Add Pow atanh x3 x0 x0 -5 
Mul x2 Mul Pow tanh Add atanh pi Add Pow atanh x3 x0 x0 6 Mul -5 Mul Pow sech Add atanh pi Add Pow atanh x3 x0 x0 2 Add Mul Pow atanh x3 Add x0 -1 Mul atanh x3 log atanh x3 1 