acot Pow Add E x0 Mul Pow Pow tan x0 2 x0 Add pi x2 
Mul -1 Mul Mul Pow Add E x0 Add Mul Pow Pow tan x0 2 x0 Add pi x2 -1 Add Mul Pow Pow tan x0 2 x0 Add pi x2 Mul Mul Add E x0 log Add E x0 Mul Add pi x2 Mul Pow Pow tan x0 2 Add x0 -1 Add Mul x0 Mul tan x0 Mul 2 Pow sec x0 2 Mul Pow tan x0 2 log Pow tan x0 2 Pow Add 1 Mul Pow Add E x0 Mul Pow Pow tan x0 2 x0 Add pi x2 Pow Add E x0 Mul Pow Pow tan x0 2 x0 Add pi x2 -1 