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