Pow Add E x0 Mul 4 exp Mul 4 Mul Mul -4 x0 Add sec x4 x0 
Mul Pow Add E x0 Add Mul 4 exp Mul 4 Mul Mul -4 x0 Add sec x4 x0 -1 Add Mul 4 exp Mul 4 Mul Mul -4 x0 Add sec x4 x0 Mul Mul Add E x0 log Add E x0 Mul 4 Mul exp Mul 4 Mul Mul -4 x0 Add sec x4 x0 Mul 4 Add Mul Add sec x4 x0 -4 Mul -4 x0 