Add x0 Add Mul x0 x4 Mul x3 acsch Mul Add x0 acosh Mul Add x0 x7 x0 Add Mul Pow 2.31243834127275 x0 -2 0.252680255142079 
Add 1 Add x4 Mul x3 Mul Mul -1 Add Mul Add Mul Pow 2.31243834127275 x0 -2 0.252680255142079 Add 1 Mul Add x0 Add x0 x7 Pow Mul sqrt Add Mul Add x0 x7 x0 -1 sqrt Add 1 Mul Add x0 x7 x0 -1 Mul Add x0 acosh Mul Add x0 x7 x0 Mul -2 Mul Pow 2.31243834127275 Add x0 -1 3.15074086808832 Pow Mul Mul Mul Add x0 acosh Mul Add x0 x7 x0 Add Mul Pow 2.31243834127275 x0 -2 0.252680255142079 Mul Add x0 acosh Mul Add x0 x7 x0 Add Mul Pow 2.31243834127275 x0 -2 0.252680255142079 sqrt Add 1 Mul -1 Pow Mul Mul Add x0 acosh Mul Add x0 x7 x0 Add Mul Pow 2.31243834127275 x0 -2 0.252680255142079 Mul Add x0 acosh Mul Add x0 x7 x0 Add Mul Pow 2.31243834127275 x0 -2 0.252680255142079 -1 -1 