Mul Pow Pow E x0 4 asec exp x0 
Add Mul asec exp x0 Mul Pow Pow E x0 3 Mul 4 Mul Pow E Add x0 -1 Mul E log E Mul Pow Pow E x0 4 Mul exp x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul exp x0 exp x0 -1 exp x0 exp x0 -1 