Mul x0 Mul Add tanh coth x0 1 Mul x0 Mul acsch x7 x0 
Add Mul Add tanh coth x0 1 Mul x0 Mul acsch x7 x0 Mul x0 Add Mul Mul x0 Mul acsch x7 x0 Mul Pow sech coth x0 2 Mul -1 Pow csch x0 2 Mul Add tanh coth x0 1 Add Mul acsch x7 x0 Mul x0 acsch x7 