Mul Add -4 Mul Mul sech Mul 2 Mul Add 5 x7 0.540302305868140 x0 x3 Add x0 -1 
Add Mul Add x0 -1 Mul x3 sech Mul 2 Mul Add 5 x7 0.540302305868140 Add -4 Mul Mul sech Mul 2 Mul Add 5 x7 0.540302305868140 x0 x3 