Add x0 Mul Pow atanh cot Mul coth x3 x0 Mul x0 x0 acoth Add -2 Mul Pow x0 4 tan x5 
Add 1 Add Mul acoth Add -2 Mul Pow x0 4 tan x5 Mul Pow atanh cot Mul coth x3 x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Mul Mul -1 Pow csc Mul coth x3 x0 2 coth x3 Pow Add 1 Mul -1 Mul cot Mul coth x3 x0 cot Mul coth x3 x0 -1 Mul Mul atanh cot Mul coth x3 x0 log atanh cot Mul coth x3 x0 Add x0 x0 Mul Pow atanh cot Mul coth x3 x0 Mul x0 x0 Mul Mul tan x5 Mul Pow x0 3 4 Pow Add 1 Mul -1 Mul Add -2 Mul Pow x0 4 tan x5 Add -2 Mul Pow x0 4 tan x5 -1 