Mul Add x0 acot csch x0 Pow x3 Add Pow x3 x0 Pow x0 -1 
Add Mul Pow x3 Add Pow x3 x0 Pow x0 -1 Add 1 Mul -1 Mul Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul csch x0 csch x0 -1 Mul Add x0 acot csch x0 Mul Pow x3 Add Add Pow x3 x0 Pow x0 -1 -1 Mul Mul x3 log x3 Add Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Pow x0 2 -1 