Add Add x0 x0 Add sec x0 Pow x6 Mul atan Add Pow x1 x0 Mul x0 x0 2 
Add 2 Add Mul tan x0 sec x0 Mul Pow x6 Add Mul atan Add Pow x1 x0 Mul x0 x0 2 -1 Mul Mul x6 log x6 Mul 2 Mul Add Mul Pow x1 Add x0 -1 Mul x1 log x1 Add x0 x0 Pow Add 1 Mul Add Pow x1 x0 Mul x0 x0 Add Pow x1 x0 Mul x0 x0 -1 