Pow Mul x0 acosh Pow acosh Pow acosh Mul x0 x3 1024 x1 -3 
Mul Pow Mul x0 acosh Pow acosh Pow acosh Mul x0 x3 1024 x1 4 Mul -3 Add acosh Pow acosh Pow acosh Mul x0 x3 1024 x1 Mul x0 Mul Mul Pow acosh Pow acosh Mul x0 x3 1024 Add x1 -1 Mul x1 Mul Mul Pow acosh Mul x0 x3 1023 Mul 1024 Mul x3 Pow Mul sqrt Add Mul x0 x3 -1 sqrt Add 1 Mul x0 x3 -1 Pow Mul sqrt Add Pow acosh Mul x0 x3 1024 -1 sqrt Add 1 Pow acosh Mul x0 x3 1024 -1 Pow Mul sqrt Add Pow acosh Pow acosh Mul x0 x3 1024 x1 -1 sqrt Add 1 Pow acosh Pow acosh Mul x0 x3 1024 x1 -1 