Mul x0 Mul 1.36943840600457 Mul x0 sqrt acsch Mul Pow 125 x0 Mul x0 Mul -4 Add x0 x0 
Add Mul 1.36943840600457 Mul x0 sqrt acsch Mul Pow 125 x0 Mul x0 Mul -4 Add x0 x0 Mul x0 Mul 1.36943840600457 Add sqrt acsch Mul Pow 125 x0 Mul x0 Mul -4 Add x0 x0 Mul x0 Mul Pow Mul 2 sqrt acsch Mul Pow 125 x0 Mul x0 Mul -4 Add x0 x0 -1 Mul Mul -1 Add Mul Mul x0 Mul -4 Add x0 x0 Mul Pow 125 Add x0 -1 129.828313737302 Mul Pow 125 x0 Add Mul -4 Add x0 x0 Mul x0 2 Pow Mul Mul Mul Pow 125 x0 Mul x0 Mul -4 Add x0 x0 Mul Pow 125 x0 Mul x0 Mul -4 Add x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul Pow 125 x0 Mul x0 Mul -4 Add x0 x0 Mul Pow 125 x0 Mul x0 Mul -4 Add x0 x0 -1 -1 