Mul x0 Pow Add exp x2 Mul Pow x3 acosh x5 Mul x0 x0 Add 8 Add x0 x0 
Add Pow Add exp x2 Mul Pow x3 acosh x5 Mul x0 x0 Add 8 Add x0 x0 Mul x0 Mul Pow Add exp x2 Mul Pow x3 acosh x5 Mul x0 x0 Add Add 8 Add x0 x0 -1 Add Mul Add 8 Add x0 x0 Mul Pow x3 acosh x5 Add x0 x0 Mul Mul Add exp x2 Mul Pow x3 acosh x5 Mul x0 x0 log Add exp x2 Mul Pow x3 acosh x5 Mul x0 x0 2 