Mul sech Pow Add x0 Mul exp x4 Add x3 x3 3 x0 
Add Mul x0 Mul Mul tanh Pow Add x0 Mul exp x4 Add x3 x3 3 Mul -1 sech Pow Add x0 Mul exp x4 Add x3 x3 3 Mul Pow Add x0 Mul exp x4 Add x3 x3 2 3 sech Pow Add x0 Mul exp x4 Add x3 x3 3 