asech acosh Mul x6 Add x0 Pow x0 1.85081571768093 
Mul Mul Mul x6 Add 1 Mul Pow x0 0.850815717680925 1.85081571768093 Pow Mul sqrt Add Mul x6 Add x0 Pow x0 1.85081571768093 -1 sqrt Add 1 Mul x6 Add x0 Pow x0 1.85081571768093 -1 Pow Mul Mul acosh Mul x6 Add x0 Pow x0 1.85081571768093 acosh Mul x6 Add x0 Pow x0 1.85081571768093 sqrt Add 1 Mul -1 Pow Mul acosh Mul x6 Add x0 Pow x0 1.85081571768093 acosh Mul x6 Add x0 Pow x0 1.85081571768093 -1 -1 