Add exp Pow x0 sinh Mul x0 -5 Pow x0 Add acsch x4 Pow Mul x0 x0 x7 
Add Mul exp Pow x0 sinh Mul x0 -5 Mul Pow x0 Add sinh Mul x0 -5 -1 Add sinh Mul x0 -5 Mul Mul x0 log x0 Mul cosh Mul x0 -5 -5 Mul Pow x0 Add Add acsch x4 Pow Mul x0 x0 x7 -1 Add Add acsch x4 Pow Mul x0 x0 x7 Mul Mul x0 log x0 Mul Pow Mul x0 x0 Add x7 -1 Mul x7 Add x0 x0 