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