Add Mul Pow x0 Mul tan x0 -5 -4 Add -2 exp asech x0 
Add Mul -4 Mul Pow x0 Add Mul tan x0 -5 -1 Add Mul tan x0 -5 Mul Mul x0 log x0 Mul -5 Pow sec x0 2 Mul exp asech x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 