atanh Add Add Pow cot x0 2 Add x0 Mul csch x0 x6 x5 
Mul Add Mul cot x0 Mul 2 Mul -1 Pow csc x0 2 Add 1 Mul x6 Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul -1 Mul Add Add Pow cot x0 2 Add x0 Mul csch x0 x6 x5 Add Add Pow cot x0 2 Add x0 Mul csch x0 x6 x5 -1 