atanh Add x6 Pow coth Add acoth tan x4 x0 3 
Mul Mul Pow coth Add acoth tan x4 x0 2 Mul 3 Mul -1 Pow csch Add acoth tan x4 x0 2 Pow Add 1 Mul -1 Mul Add x6 Pow coth Add acoth tan x4 x0 3 Add x6 Pow coth Add acoth tan x4 x0 3 -1 