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