Add Mul x0 Add tan x0 Add x6 Mul Mul x0 Add acot x0 x0 pi -2 
Add Add tan x0 Add x6 Mul Mul x0 Add acot x0 x0 pi Mul x0 Add Pow sec x0 2 Mul pi Add Add acot x0 x0 Mul x0 Add Mul -1 Pow Add 1 Mul x0 x0 -1 1 