acosh Pow acosh x3 Add Mul x0 0.549306144334055 Add x0 x6 
Mul Mul Pow acosh x3 Add Add Mul x0 0.549306144334055 Add x0 x6 -1 Mul Mul acosh x3 log acosh x3 1.54930614433405 Pow Mul sqrt Add Pow acosh x3 Add Mul x0 0.549306144334055 Add x0 x6 -1 sqrt Add 1 Pow acosh x3 Add Mul x0 0.549306144334055 Add x0 x6 -1 