Pow Add Mul x3 x0 Add 3 Pow Pow acosh E x7 -4 x0 
Mul Pow Add Mul x3 x0 Add 3 Pow Pow acosh E x7 -4 Add x0 -1 Add Mul x0 x3 Mul Add Mul x3 x0 Add 3 Pow Pow acosh E x7 -4 log Add Mul x3 x0 Add 3 Pow Pow acosh E x7 -4 