Mul Pow x7 Add x0 x3 Add x4 Pow Mul Pow 4 sech x4 sqrt x0 exp pi 
Add Mul Add x4 Pow Mul Pow 4 sech x4 sqrt x0 exp pi Mul Pow x7 Add Add x0 x3 -1 Mul x7 log x7 Mul Pow x7 Add x0 x3 Mul Pow Mul Pow 4 sech x4 sqrt x0 Add exp pi -1 Mul exp pi Mul Pow 4 sech x4 Pow Mul 2 sqrt x0 -1 