Pow cosh Pow Pow Mul x0 Mul x0 x0 Pow Mul x5 exp x7 2 Pow Pow -5 x1 x5 Add 10 x0 
Mul Pow cosh Pow Pow Mul x0 Mul x0 x0 Pow Mul x5 exp x7 2 Pow Pow -5 x1 x5 Add Add 10 x0 -1 Add Mul Add 10 x0 Mul sinh Pow Pow Mul x0 Mul x0 x0 Pow Mul x5 exp x7 2 Pow Pow -5 x1 x5 Mul Pow Pow Mul x0 Mul x0 x0 Pow Mul x5 exp x7 2 Add Pow Pow -5 x1 x5 -1 Mul Pow Pow -5 x1 x5 Mul Pow Mul x0 Mul x0 x0 Add Pow Mul x5 exp x7 2 -1 Mul Pow Mul x5 exp x7 2 Add Mul x0 x0 Mul x0 Add x0 x0 Mul cosh Pow Pow Mul x0 Mul x0 x0 Pow Mul x5 exp x7 2 Pow Pow -5 x1 x5 log cosh Pow Pow Mul x0 Mul x0 x0 Pow Mul x5 exp x7 2 Pow Pow -5 x1 x5 