Mul x0 Add acosh x3 exp Pow E Pow Mul x0 3 Add x0 x4 
Add Add acosh x3 exp Pow E Pow Mul x0 3 Add x0 x4 Mul x0 Mul exp Pow E Pow Mul x0 3 Add x0 x4 Mul Pow E Add Pow Mul x0 3 Add x0 x4 -1 Mul Mul E log E Mul Pow Mul x0 3 Add Add x0 x4 -1 Add Mul Add x0 x4 3 Mul Mul x0 3 log Mul x0 3 