Mul Add x0 2 Pow x0 Mul Mul Pow x0 sech E -2 x5 
Add Pow x0 Mul Mul Pow x0 sech E -2 x5 Mul Add x0 2 Mul Pow x0 Add Mul Mul Pow x0 sech E -2 x5 -1 Add Mul Mul Pow x0 sech E -2 x5 Mul Mul x0 log x0 Mul x5 Mul -2 Mul Pow x0 Add sech E -1 sech E 