Mul x0 Add exp x0 Pow Mul Add x0 Add 17.3985908400669 acosh x3 x0 Add 2 x0 
Add Add exp x0 Pow Mul Add x0 Add 17.3985908400669 acosh x3 x0 Add 2 x0 Mul x0 Add exp x0 Mul Pow Mul Add x0 Add 17.3985908400669 acosh x3 x0 Add Add 2 x0 -1 Add Mul Add 2 x0 Add x0 Add x0 Add 17.3985908400669 acosh x3 Mul Mul Add x0 Add 17.3985908400669 acosh x3 x0 log Mul Add x0 Add 17.3985908400669 acosh x3 x0 