Add Mul Pow Mul x6 x0 -5 Add x0 log csch acoth x0 x0 
Add Add Mul Add x0 log csch acoth x0 Mul Pow Mul x6 x0 6 Mul -5 x6 Mul Pow Mul x6 x0 -5 Add 1 Mul Mul Mul Mul -1 coth acoth x0 csch acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow csch acoth x0 -1 1 