Add acot Mul x0 Mul Mul x7 x0 2 Mul Mul x0 Pow 2 Pow Mul tan x0 x0 -3 E 
Add Mul -1 Mul Add Mul Mul x7 x0 2 Mul x0 Mul 2 x7 Pow Add 1 Mul Mul x0 Mul Mul x7 x0 2 Mul x0 Mul Mul x7 x0 2 -1 Mul E Add Pow 2 Pow Mul tan x0 x0 -3 Mul x0 Mul Pow 2 Add Pow Mul tan x0 x0 -3 -1 Mul 2.69314718055995 Mul Pow Mul tan x0 x0 4 Mul -3 Add Mul x0 Pow sec x0 2 tan x0 