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