exp tanh exp Mul 4 Pow x3 Mul atanh x6 x0 
Mul exp tanh exp Mul 4 Pow x3 Mul atanh x6 x0 Mul Pow sech exp Mul 4 Pow x3 Mul atanh x6 x0 2 Mul exp Mul 4 Pow x3 Mul atanh x6 x0 Mul 4 Mul Pow x3 Add Mul atanh x6 x0 -1 Mul Mul x3 log x3 atanh x6 