Add x0 Mul acos Mul x7 x0 Add x6 Mul Mul x0 Mul Add cos x0 1 2 Pow tan x6 x0 
Add 1 Add Mul Add x6 Mul Mul x0 Mul Add cos x0 1 2 Pow tan x6 x0 Mul -1 Mul x7 Pow sqrt Add 1 Mul -1 Mul Mul x7 x0 Mul x7 x0 -1 Mul acos Mul x7 x0 Add Mul Pow tan x6 x0 Add Mul Add cos x0 1 2 Mul x0 Mul 2 Mul -1 sin x0 Mul Mul x0 Mul Add cos x0 1 2 Mul Pow tan x6 Add x0 -1 Mul tan x6 log tan x6 