exp Pow Mul 5 x0 sech Mul Pow x2 x0 x1 
Mul exp Pow Mul 5 x0 sech Mul Pow x2 x0 x1 Mul Pow Mul 5 x0 Add sech Mul Pow x2 x0 x1 -1 Add Mul sech Mul Pow x2 x0 x1 5 Mul Mul Mul 5 x0 log Mul 5 x0 Mul Mul tanh Mul Pow x2 x0 x1 Mul -1 sech Mul Pow x2 x0 x1 Mul x1 Mul Pow x2 Add x0 -1 Mul x2 log x2 