Mul Add Pow cbrt x0 Add x7 Mul x0 acosh Pow x6 3 x0 -1 
Mul -1 Add Mul Pow cbrt x0 Add Add x7 Mul x0 acosh Pow x6 3 -1 Add Mul Add x7 Mul x0 acosh Pow x6 3 Pow Mul Mul 3 cbrt x0 cbrt x0 -1 Mul Mul cbrt x0 log cbrt x0 acosh Pow x6 3 1 