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