Mul Mul Pow Add exp log x0 x7 x0 log tan x0 Mul asech Add x0 2 -3 
Add Mul Mul asech Add x0 2 -3 Add Mul log tan x0 Mul Pow Add exp log x0 x7 Add x0 -1 Add Mul x0 Mul exp log x0 Pow x0 -1 Mul Add exp log x0 x7 log Add exp log x0 x7 Mul Pow Add exp log x0 x7 x0 Mul Pow sec x0 2 Pow tan x0 -1 Mul Mul Pow Add exp log x0 x7 x0 log tan x0 Mul -3 Pow Mul Mul Add x0 2 Add x0 2 sqrt Add 1 Mul -1 Pow Mul Add x0 2 Add x0 2 -1 -1 