Add x7 Mul x0 Pow Mul acosh x5 1.00576801305968 x0 
Add Pow Mul acosh x5 1.00576801305968 x0 Mul x0 Mul Pow Mul acosh x5 1.00576801305968 Add x0 -1 Mul Mul acosh x5 1.00576801305968 log Mul acosh x5 1.00576801305968 