Add Mul sech x3 sech Pow Pow -3 x7 x0 Mul Pow x7 x0 atanh x0 
Add Mul sech x3 Mul Mul tanh Pow Pow -3 x7 x0 Mul -1 sech Pow Pow -3 x7 x0 Mul Pow Pow -3 x7 Add x0 -1 Mul Pow -3 x7 log Pow -3 x7 Add Mul atanh x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Pow x7 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 