Mul -4 Mul x0 acsch cosh Mul Add -1 Mul x0 exp Pow x2 Mul x0 x1 x7 
Mul -4 Add acsch cosh Mul Add -1 Mul x0 exp Pow x2 Mul x0 x1 x7 Mul x0 Mul Mul -1 Mul sinh Mul Add -1 Mul x0 exp Pow x2 Mul x0 x1 x7 Mul x7 Add exp Pow x2 Mul x0 x1 Mul x0 Mul exp Pow x2 Mul x0 x1 Mul Pow x2 Add Mul x0 x1 -1 Mul Mul x2 log x2 x1 Pow Mul Mul cosh Mul Add -1 Mul x0 exp Pow x2 Mul x0 x1 x7 cosh Mul Add -1 Mul x0 exp Pow x2 Mul x0 x1 x7 sqrt Add 1 Mul -1 Pow Mul cosh Mul Add -1 Mul x0 exp Pow x2 Mul x0 x1 x7 cosh Mul Add -1 Mul x0 exp Pow x2 Mul x0 x1 x7 -1 -1 