exp Add x0 Pow sech Pow Pow Pow -2 E x7 x4 x0 
Mul exp Add x0 Pow sech Pow Pow Pow -2 E x7 x4 x0 Add 1 Mul Pow sech Pow Pow Pow -2 E x7 x4 Add x0 -1 Mul sech Pow Pow Pow -2 E x7 x4 log sech Pow Pow Pow -2 E x7 x4 