Add sqrt Add x0 acot cot x7 Pow Add Add -1 Add x1 Pow Mul E x0 Pow 2 x2 x2 sec x0 
Add Pow Mul 2 sqrt Add x0 acot cot x7 -1 Mul Pow Add Add -1 Add x1 Pow Mul E x0 Pow 2 x2 x2 Add sec x0 -1 Add Mul sec x0 Mul Pow Mul E x0 Add Pow 2 x2 -1 Mul Pow 2 x2 E Mul Mul Add Add -1 Add x1 Pow Mul E x0 Pow 2 x2 x2 log Add Add -1 Add x1 Pow Mul E x0 Pow 2 x2 x2 Mul tan x0 sec x0 