Add Add acot csch x0 Pow Pow x2 Add x1 atanh tan x0 Add x0 -5 x5 
Add Mul -1 Mul Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul csch x0 csch x0 -1 Mul Pow Pow x2 Add x1 atanh tan x0 Add Add x0 -5 -1 Add Mul Add x0 -5 Mul Pow x2 Add Add x1 atanh tan x0 -1 Mul Mul x2 log x2 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul tan x0 tan x0 -1 Mul Pow x2 Add x1 atanh tan x0 log Pow x2 Add x1 atanh tan x0 