Add Pow coth Add x6 x0 Pow x0 sqrt x3 2 
Mul Pow coth Add x6 x0 Add Pow x0 sqrt x3 -1 Add Mul Pow x0 sqrt x3 Mul -1 Pow csch Add x6 x0 2 Mul Mul coth Add x6 x0 log coth Add x6 x0 Mul Pow x0 Add sqrt x3 -1 sqrt x3 