atan Pow x0 Add Pow Mul sec x0 sqrt x0 x0 2 
Mul Mul Pow x0 Add Add Pow Mul sec x0 sqrt x0 x0 2 -1 Add Add Pow Mul sec x0 sqrt x0 x0 2 Mul Mul x0 log x0 Mul Pow Mul sec x0 sqrt x0 Add x0 -1 Add Mul x0 Add Mul sqrt x0 Mul tan x0 sec x0 Mul sec x0 Pow Mul 2 sqrt x0 -1 Mul Mul sec x0 sqrt x0 log Mul sec x0 sqrt x0 Pow Add 1 Mul Pow x0 Add Pow Mul sec x0 sqrt x0 x0 2 Pow x0 Add Pow Mul sec x0 sqrt x0 x0 2 -1 