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