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