Mul x0 Mul Pow Pow x0 Add 4 x3 Pow x0 Add x0 x7 acot tan x1 
Add Mul Pow Pow x0 Add 4 x3 Pow x0 Add x0 x7 acot tan x1 Mul x0 Mul acot tan x1 Mul Pow Pow x0 Add 4 x3 Add Pow x0 Add x0 x7 -1 Add Mul Pow x0 Add x0 x7 Mul Pow x0 Add Add 4 x3 -1 Add 4 x3 Mul Mul Pow x0 Add 4 x3 log Pow x0 Add 4 x3 Mul Pow x0 Add Add x0 x7 -1 Add Add x0 x7 Mul x0 log x0 