sech Mul Mul Pow atanh x7 Pow x0 x0 x6 x4 
Mul Mul tanh Mul Mul Pow atanh x7 Pow x0 x0 x6 x4 Mul -1 sech Mul Mul Pow atanh x7 Pow x0 x0 x6 x4 Mul x4 Mul x6 Mul Pow atanh x7 Add Pow x0 x0 -1 Mul Mul atanh x7 log atanh x7 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 