Add -3 Pow sqrt acot Pow tan x3 x0 x0 
Mul Pow sqrt acot Pow tan x3 x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt acot Pow tan x3 x0 -1 Mul -1 Mul Mul Pow tan x3 Add x0 -1 Mul tan x3 log tan x3 Pow Add 1 Mul Pow tan x3 x0 Pow tan x3 x0 -1 Mul sqrt acot Pow tan x3 x0 log sqrt acot Pow tan x3 x0 