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