Add 2 Pow Pow acot Add tan x0 1 Add -4 x0 x0 
Mul Pow Pow acot Add tan x0 1 Add -4 x0 Add x0 -1 Add Mul x0 Mul Pow acot Add tan x0 1 Add Add -4 x0 -1 Add Mul Add -4 x0 Mul -1 Mul Pow sec x0 2 Pow Add 1 Mul Add tan x0 1 Add tan x0 1 -1 Mul acot Add tan x0 1 log acot Add tan x0 1 Mul Pow acot Add tan x0 1 Add -4 x0 log Pow acot Add tan x0 1 Add -4 x0 