Mul Pow Add acos Pow Pow pi x7 Add sec x0 x0 x0 -4 sqrt x0 
Add Mul sqrt x0 Mul Pow Add acos Pow Pow pi x7 Add sec x0 x0 x0 5 Mul -4 Add Mul -1 Mul Mul Pow Pow pi x7 Add Add sec x0 x0 -1 Mul Mul Pow pi x7 log Pow pi x7 Add Mul tan x0 sec x0 1 Pow sqrt Add 1 Mul -1 Mul Pow Pow pi x7 Add sec x0 x0 Pow Pow pi x7 Add sec x0 x0 -1 1 Mul Pow Add acos Pow Pow pi x7 Add sec x0 x0 x0 -4 Pow Mul 2 sqrt x0 -1 