Pow cot x0 Pow tan x0 Add -4 Pow x0 Pow Pow Mul Mul x0 acot x6 E x0 x1 
Mul Pow cot x0 Add Pow tan x0 Add -4 Pow x0 Pow Pow Mul Mul x0 acot x6 E x0 x1 -1 Add Mul Pow tan x0 Add -4 Pow x0 Pow Pow Mul Mul x0 acot x6 E x0 x1 Mul -1 Pow csc x0 2 Mul Mul cot x0 log cot x0 Mul Pow tan x0 Add Add -4 Pow x0 Pow Pow Mul Mul x0 acot x6 E x0 x1 -1 Add Mul Add -4 Pow x0 Pow Pow Mul Mul x0 acot x6 E x0 x1 Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul Pow x0 Add Pow Pow Mul Mul x0 acot x6 E x0 x1 -1 Add Pow Pow Mul Mul x0 acot x6 E x0 x1 Mul Mul x0 log x0 Mul Pow Pow Mul Mul x0 acot x6 E x0 Add x1 -1 Mul x1 Mul Pow Mul Mul x0 acot x6 E Add x0 -1 Add Mul x0 Mul E acot x6 Mul Mul Mul x0 acot x6 E log Mul Mul x0 acot x6 E 