Add Mul coth csch atanh x0 acot Pow x0 x1 coth x0 
Add Add Mul acot Pow x0 x1 Mul Mul -1 Pow csch csch atanh x0 2 Mul Mul Mul -1 coth atanh x0 csch atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul coth csch atanh x0 Mul -1 Mul Mul Pow x0 Add x1 -1 x1 Pow Add 1 Mul Pow x0 x1 Pow x0 x1 -1 Mul -1 Pow csch x0 2 