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