Mul -3 acot Mul Pow tan x6 acot x0 Pow log Pow x0 -4 Mul x0 E 
Mul -3 Mul -1 Mul Add Mul Pow log Pow x0 -4 Mul x0 E Mul Pow tan x6 Add acot x0 -1 Mul Mul tan x6 log tan x6 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow tan x6 acot x0 Mul Pow log Pow x0 -4 Add Mul x0 E -1 Add Mul Mul x0 E Mul Mul Pow x0 5 -4 Pow Pow x0 -4 -1 Mul Mul log Pow x0 -4 log log Pow x0 -4 E Pow Add 1 Mul Mul Pow tan x6 acot x0 Pow log Pow x0 -4 Mul x0 E Mul Pow tan x6 acot x0 Pow log Pow x0 -4 Mul x0 E -1 