Mul x7 Mul Pow Pow acos sec x0 acos pi x5 x4 
Mul x7 Mul x4 Mul Pow Pow acos sec x0 acos pi Add x5 -1 Mul x5 Mul Pow acos sec x0 Add acos pi -1 Mul acos pi Mul -1 Mul Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul sec x0 sec x0 -1 