Mul x4 Pow Mul Mul sqrt tan x0 x5 x0 Add x0 Add x0 x0 
Mul x4 Mul Pow Mul Mul sqrt tan x0 x5 x0 Add Add x0 Add x0 x0 -1 Add Mul Add x0 Add x0 x0 Add Mul x0 Mul x5 Mul Pow Mul 2 sqrt tan x0 -1 Pow sec x0 2 Mul sqrt tan x0 x5 Mul Mul Mul Mul sqrt tan x0 x5 x0 log Mul Mul sqrt tan x0 x5 x0 3 