Mul Mul Add Pow sec x0 Add x0 x0 asech Add Add pi x0 x6 x0 -2 
Mul -2 Add Mul x0 Add Mul Pow sec x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 2 Pow Mul Mul Add Add pi x0 x6 Add Add pi x0 x6 sqrt Add 1 Mul -1 Pow Mul Add Add pi x0 x6 Add Add pi x0 x6 -1 -1 Add Pow sec x0 Add x0 x0 asech Add Add pi x0 x6 