Add Mul csch Pow x5 Add x0 Mul x0 -2 -5 csch acoth Mul x0 x7 
Add Mul -5 Mul Mul Mul -1 coth Pow x5 Add x0 Mul x0 -2 csch Pow x5 Add x0 Mul x0 -2 Mul Pow x5 Add Add x0 Mul x0 -2 -1 Mul x5 log x5 Mul Mul Mul -1 coth acoth Mul x0 x7 csch acoth Mul x0 x7 Mul x7 Pow Add 1 Mul -1 Mul Mul x0 x7 Mul x0 x7 -1 