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