Mul Pow x7 Add coth acoth x0 Mul x0 x0 cot Add x0 7 
Add Mul cot Add x0 7 Mul Pow x7 Add Add coth acoth x0 Mul x0 x0 -1 Mul Mul x7 log x7 Add Mul Mul -1 Pow csch acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Add x0 x0 Mul Pow x7 Add coth acoth x0 Mul x0 x0 Mul -1 Pow csc Add x0 7 2 