sec Pow log x1 Add exp Add sqrt x0 sec x0 Add x2 x0 
Mul Mul tan Pow log x1 Add exp Add sqrt x0 sec x0 Add x2 x0 sec Pow log x1 Add exp Add sqrt x0 sec x0 Add x2 x0 Mul Pow log x1 Add Add exp Add sqrt x0 sec x0 Add x2 x0 -1 Mul Mul log x1 log log x1 Add Mul exp Add sqrt x0 sec x0 Add Pow Mul 2 sqrt x0 -1 Mul tan x0 sec x0 1 