Mul Add x0 Mul Add acot asin x4 x0 -2 Pow Add x0 Add -1 x0 acot Pow sec x0 x1 
Add Pow Add x0 Add -1 x0 acot Pow sec x0 x1 Mul Add x0 Mul Add acot asin x4 x0 -2 Mul Pow Add x0 Add -1 x0 Add acot Pow sec x0 x1 -1 Add Mul acot Pow sec x0 x1 2 Mul Mul Add x0 Add -1 x0 log Add x0 Add -1 x0 Mul -1 Mul Mul Pow sec x0 Add x1 -1 Mul x1 Mul tan x0 sec x0 Pow Add 1 Mul Pow sec x0 x1 Pow sec x0 x1 -1 