Mul Mul Add acos Add Mul x0 6 x4 x0 sec x0 x0 
Add Mul x0 Add Mul sec x0 Add Mul -1 Mul 6 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 6 x4 Add Mul x0 6 x4 -1 1 Mul Add acos Add Mul x0 6 x4 x0 Mul tan x0 sec x0 Mul Add acos Add Mul x0 6 x4 x0 sec x0 