Mul Pow csch x0 Mul log atan Add x0 x3 x5 Pow x0 sqrt x5 
Add Mul Pow x0 sqrt x5 Mul Pow csch x0 Add Mul log atan Add x0 x3 x5 -1 Add Mul Mul log atan Add x0 x3 x5 Mul Mul -1 coth x0 csch x0 Mul Mul csch x0 log csch x0 Mul x5 Mul Pow Add 1 Mul Add x0 x3 Add x0 x3 -1 Pow atan Add x0 x3 -1 Mul Pow csch x0 Mul log atan Add x0 x3 x5 Mul Pow x0 Add sqrt x5 -1 sqrt x5 