Mul acosh Pow 5 Add x0 acos Pow x1 x7 Add Add Mul x4 x0 0.851019581590038 -2 
Add Mul Add Add Mul x4 x0 0.851019581590038 -2 Mul Mul Pow 5 Add Add x0 acos Pow x1 x7 -1 6.60943791243410 Pow Mul sqrt Add Pow 5 Add x0 acos Pow x1 x7 -1 sqrt Add 1 Pow 5 Add x0 acos Pow x1 x7 -1 Mul acosh Pow 5 Add x0 acos Pow x1 x7 x4 