Pow acosh Mul x0 Add x3 Mul x4 -3 Add x0 1.60943791243410 
Mul Pow acosh Mul x0 Add x3 Mul x4 -3 Add Add x0 1.60943791243410 -1 Add Mul Add x0 1.60943791243410 Mul Add x3 Mul x4 -3 Pow Mul sqrt Add Mul x0 Add x3 Mul x4 -3 -1 sqrt Add 1 Mul x0 Add x3 Mul x4 -3 -1 Mul acosh Mul x0 Add x3 Mul x4 -3 log acosh Mul x0 Add x3 Mul x4 -3 