Pow exp Pow Add x1 x0 atan x2 Add Pow x0 x7 sech x4 
Mul Pow exp Pow Add x1 x0 atan x2 Add Add Pow x0 x7 sech x4 -1 Add Mul Add Pow x0 x7 sech x4 Mul exp Pow Add x1 x0 atan x2 Mul Pow Add x1 x0 Add atan x2 -1 atan x2 Mul Mul exp Pow Add x1 x0 atan x2 log exp Pow Add x1 x0 atan x2 Mul Pow x0 Add x7 -1 x7 