Mul x0 Pow x1 Mul x0 Pow Pow acsch sqrt Mul x7 -5 x0 Mul coth acsch x1 exp Pow x0 x0 
Add Pow x1 Mul x0 Pow Pow acsch sqrt Mul x7 -5 x0 Mul coth acsch x1 exp Pow x0 x0 Mul x0 Mul Pow x1 Add Mul x0 Pow Pow acsch sqrt Mul x7 -5 x0 Mul coth acsch x1 exp Pow x0 x0 -1 Mul Mul x1 log x1 Add Pow Pow acsch sqrt Mul x7 -5 x0 Mul coth acsch x1 exp Pow x0 x0 Mul x0 Mul Pow Pow acsch sqrt Mul x7 -5 x0 Add Mul coth acsch x1 exp Pow x0 x0 -1 Add Mul Mul coth acsch x1 exp Pow x0 x0 Mul Pow acsch sqrt Mul x7 -5 Add x0 -1 Mul acsch sqrt Mul x7 -5 log acsch sqrt Mul x7 -5 Mul Mul Pow acsch sqrt Mul x7 -5 x0 log Pow acsch sqrt Mul x7 -5 x0 Mul coth acsch x1 Mul exp Pow x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 