acoth Mul Pow x4 Mul 4 x0 Add Pow tan csc acoth x0 Add x4 tan x0 x6 
Mul Add Mul Add Pow tan csc acoth x0 Add x4 tan x0 x6 Mul Pow x4 Add Mul 4 x0 -1 Mul Mul x4 log x4 4 Mul Pow x4 Mul 4 x0 Mul Pow tan csc acoth x0 Add Add x4 tan x0 -1 Add Mul Add x4 tan x0 Mul Pow sec csc acoth x0 2 Mul Mul Mul -1 cot acoth x0 csc acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul tan csc acoth x0 log tan csc acoth x0 Pow sec x0 2 Pow Add 1 Mul -1 Mul Mul Pow x4 Mul 4 x0 Add Pow tan csc acoth x0 Add x4 tan x0 x6 Mul Pow x4 Mul 4 x0 Add Pow tan csc acoth x0 Add x4 tan x0 x6 -1 