acot Mul Pow Add 4 Pow x1 Add x0 csch tan x7 sec x0 Mul -3 x2 
Mul -1 Mul Mul Mul -3 x2 Mul Pow Add 4 Pow x1 Add x0 csch tan x7 Add sec x0 -1 Add Mul sec x0 Mul Pow x1 Add Add x0 csch tan x7 -1 Mul x1 log x1 Mul Mul Add 4 Pow x1 Add x0 csch tan x7 log Add 4 Pow x1 Add x0 csch tan x7 Mul tan x0 sec x0 Pow Add 1 Mul Mul Pow Add 4 Pow x1 Add x0 csch tan x7 sec x0 Mul -3 x2 Mul Pow Add 4 Pow x1 Add x0 csch tan x7 sec x0 Mul -3 x2 -1 