Mul Mul Pow Pow Mul Mul x0 Mul x0 3 cosh x5 x0 1.03731472072755 -5 x0 
Add Mul x0 Mul -5 Mul Pow Pow Mul Mul x0 Mul x0 3 cosh x5 x0 0.0373147207275482 Mul 1.03731472072755 Mul Pow Mul Mul x0 Mul x0 3 cosh x5 Add x0 -1 Add Mul x0 Mul cosh x5 Add Mul x0 3 Mul x0 3 Mul Mul Mul x0 Mul x0 3 cosh x5 log Mul Mul x0 Mul x0 3 cosh x5 Mul Pow Pow Mul Mul x0 Mul x0 3 cosh x5 x0 1.03731472072755 -5 