Mul x0 Pow acoth Mul x0 Mul x0 coth x7 acsch x5 
Add Pow acoth Mul x0 Mul x0 coth x7 acsch x5 Mul x0 Mul Pow acoth Mul x0 Mul x0 coth x7 Add acsch x5 -1 Mul acsch x5 Mul Add Mul x0 coth x7 Mul x0 coth x7 Pow Add 1 Mul -1 Mul Mul x0 Mul x0 coth x7 Mul x0 Mul x0 coth x7 -1 