Add x0 Add Mul Mul Add 5 x7 Add Mul Add Pow Mul x1 acosh x2 x0 x2 Mul x0 -3 x0 x0 x0 
Add 1 Add Add Mul x0 Mul Add 5 x7 Add Add Mul Mul x0 -3 Mul Pow Mul x1 acosh x2 Add x0 -1 Mul Mul x1 acosh x2 log Mul x1 acosh x2 Mul Add Pow Mul x1 acosh x2 x0 x2 -3 1 Mul Add 5 x7 Add Mul Add Pow Mul x1 acosh x2 x0 x2 Mul x0 -3 x0 1 