Add x0 acsch Add Mul x5 Mul x0 x2 25 
Add 1 Mul Mul -1 Mul x5 x2 Pow Mul Mul Add Mul x5 Mul x0 x2 25 Add Mul x5 Mul x0 x2 25 sqrt Add 1 Mul -1 Pow Mul Add Mul x5 Mul x0 x2 25 Add Mul x5 Mul x0 x2 25 -1 -1 