Pow Pow acot tan x0 Add x0 Pow Mul 0.125000000000000 Mul Pow x1 x4 x0 x0 x0 
Mul Pow Pow acot tan x0 Add x0 Pow Mul 0.125000000000000 Mul Pow x1 x4 x0 x0 Add x0 -1 Add Mul x0 Mul Pow acot tan x0 Add Add x0 Pow Mul 0.125000000000000 Mul Pow x1 x4 x0 x0 -1 Add Mul Add x0 Pow Mul 0.125000000000000 Mul Pow x1 x4 x0 x0 Mul -1 Mul Pow sec x0 2 Pow Add 1 Mul tan x0 tan x0 -1 Mul Mul acot tan x0 log acot tan x0 Add 1 Mul Pow Mul 0.125000000000000 Mul Pow x1 x4 x0 Add x0 -1 Add Mul x0 Mul 0.125000000000000 Pow x1 x4 Mul Mul 0.125000000000000 Mul Pow x1 x4 x0 log Mul 0.125000000000000 Mul Pow x1 x4 x0 Mul Pow acot tan x0 Add x0 Pow Mul 0.125000000000000 Mul Pow x1 x4 x0 x0 log Pow acot tan x0 Add x0 Pow Mul 0.125000000000000 Mul Pow x1 x4 x0 x0 