Add Mul x1 x0 Mul Pow Mul x0 Mul x0 cosh x1 Add x1 x0 Mul cbrt x5 x0 
Add x1 Add Mul Mul cbrt x5 x0 Mul Pow Mul x0 Mul x0 cosh x1 Add Add x1 x0 -1 Add Mul Add x1 x0 Add Mul x0 cosh x1 Mul x0 cosh x1 Mul Mul x0 Mul x0 cosh x1 log Mul x0 Mul x0 cosh x1 Mul Pow Mul x0 Mul x0 cosh x1 Add x1 x0 cbrt x5 