
Time bar (total: 1.8s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 10 to 5 computations (50% saved)
| 477.0ms | 8 256× | 0 | valid |
ival-hypot: 167.0ms (98.9% of total)adjust: 2.0ms (1.2% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 131 | 0 | - | 2 | (2.443387430369046e-156 2.3941594953926613e-201) | (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) |
| 0 | 0 | - | 0 | - | (+.f64 (*.f64 re re) (*.f64 im im)) |
| 0 | 0 | - | 0 | - | (*.f64 re re) |
| 0 | 0 | - | 0 | - | re |
| 0 | 0 | - | 0 | - | (*.f64 im im) |
| 0 | 0 | - | 0 | - | im |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
sqrt.f64 | (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) | oflow-rescue | 108 | 0 |
| ↳ | (+.f64 (*.f64 re re) (*.f64 im im)) | overflow | 108 | |
| ↳ | (*.f64 re re) | overflow | 62 | |
| ↳ | (*.f64 im im) | overflow | 59 | |
sqrt.f64 | (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) | uflow-rescue | 21 | 0 |
| ↳ | (+.f64 (*.f64 re re) (*.f64 im im)) | underflow | 21 | |
| ↳ | (*.f64 re re) | underflow | 62 | |
| ↳ | (*.f64 im im) | underflow | 65 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 129 | 2 |
| - | 0 | 125 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 129 | 0 | 2 |
| - | 0 | 0 | 125 |
| number | freq |
|---|---|
| 0 | 127 |
| 1 | 129 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 103.0ms | 512× | 0 | valid |
Compiled 58 to 22 computations (62.1% saved)
ival-mult!: 81.0ms (89.7% of total)ival-hypot: 9.0ms (10% of total)ival-add!: 1.0ms (1.1% of total)adjust: 0.0ms (0% of total)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 50 |
| 1 | 43 | 50 |
| 2 | 93 | 50 |
| 3 | 118 | 50 |
| 4 | 156 | 50 |
| 1× | saturated |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 52.9% | (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) |
(abs re)
(abs im)
(sort re im)
Compiled 16 to 12 computations (25% saved)
| Inputs |
|---|
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) |
(+.f64 (*.f64 re re) (*.f64 im im)) |
(*.f64 re re) |
re |
(*.f64 im im) |
im |
| Outputs |
|---|
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im))))))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2)))) |
#s(approx (* re re) #s(hole binary64 (pow re 2))) |
#s(approx re #s(hole binary64 re)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 re)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow re 2))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2)))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 re))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re))))))) |
#s(approx (* im im) #s(hole binary64 (pow im 2))) |
#s(approx im #s(hole binary64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2)))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 im))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))) |
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | re | @ | inf | ((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im) |
| 1.0ms | re | @ | -inf | ((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im) |
| 1.0ms | re | @ | 0 | ((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im) |
| 1.0ms | im | @ | inf | ((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im) |
| 1.0ms | im | @ | -inf | ((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) re (* im im) im) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 143 | 742 |
| 0 | 148 | 722 |
| 1 | 753 | 722 |
| 0 | 7808 | 562 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) |
(+.f64 (*.f64 re re) (*.f64 im im)) |
(*.f64 re re) |
re |
(*.f64 im im) |
im |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im))))))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2)))) |
#s(approx (* re re) #s(hole binary64 (pow re 2))) |
#s(approx re #s(hole binary64 re)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 re)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow re 2))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2)))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 re))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re))))))) |
#s(approx (* im im) #s(hole binary64 (pow im 2))) |
#s(approx im #s(hole binary64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2)))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 im))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))) |
| Outputs |
|---|
(*.f64 (pow.f64 (fma.f64 im im (*.f64 re re)) #s(literal 1/4 binary64)) (pow.f64 (fma.f64 im im (*.f64 re re)) #s(literal 1/4 binary64))) |
(pow.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re))) #s(literal 1 binary64)) |
(pow.f64 (fma.f64 im im (*.f64 re re)) #s(literal 1/2 binary64)) |
(/.f64 (sqrt.f64 (*.f64 (fma.f64 im im (*.f64 re re)) (*.f64 (+.f64 re im) (-.f64 re im)))) (sqrt.f64 (*.f64 (+.f64 re im) (-.f64 re im)))) |
(/.f64 (sqrt.f64 (*.f64 (fma.f64 im im (*.f64 re re)) (*.f64 (+.f64 im re) (-.f64 im re)))) (sqrt.f64 (*.f64 (+.f64 im re) (-.f64 im re)))) |
(/.f64 (sqrt.f64 (fma.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)))) (sqrt.f64 (fma.f64 (*.f64 (*.f64 re re) re) re (*.f64 (*.f64 im im) (*.f64 (+.f64 im re) (-.f64 im re)))))) |
(/.f64 (sqrt.f64 (fma.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)))) (sqrt.f64 (fma.f64 (*.f64 im im) (*.f64 im im) (*.f64 (*.f64 re re) (*.f64 (+.f64 re im) (-.f64 re im)))))) |
(sqrt.f64 (fma.f64 im im (*.f64 re re))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (exp.f64 (log.f64 im))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 im)) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (fabs.f64 im)) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) im) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (exp.f64 (log.f64 im))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 im)) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (fabs.f64 im)) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) im) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 re)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (fabs.f64 re)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) re) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 re)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 re)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) re) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 im)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (fabs.f64 im)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) im) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 im)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 im)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) im) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (exp.f64 (log.f64 re))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 re)) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (fabs.f64 re)) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) re) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (exp.f64 (log.f64 re))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 re)) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (fabs.f64 re)) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) re) |
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 re)) |
(hypot.f64 (neg.f64 (neg.f64 im)) (fabs.f64 re)) |
(hypot.f64 (neg.f64 (neg.f64 im)) re) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 re)) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (fabs.f64 re)) |
(hypot.f64 (neg.f64 (fabs.f64 im)) re) |
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 im)) |
(hypot.f64 (neg.f64 (neg.f64 re)) (fabs.f64 im)) |
(hypot.f64 (neg.f64 (neg.f64 re)) im) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 im)) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (fabs.f64 im)) |
(hypot.f64 (neg.f64 (fabs.f64 re)) im) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 re)) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 re)) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) re) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 im)) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 im)) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) im) |
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 re)) |
(hypot.f64 (exp.f64 (log.f64 im)) (fabs.f64 re)) |
(hypot.f64 (exp.f64 (log.f64 im)) re) |
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 im)) |
(hypot.f64 (exp.f64 (log.f64 re)) (fabs.f64 im)) |
(hypot.f64 (exp.f64 (log.f64 re)) im) |
(hypot.f64 (neg.f64 im) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 im) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 im) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (neg.f64 im) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (neg.f64 im) (neg.f64 (neg.f64 re))) |
(hypot.f64 (neg.f64 im) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 im) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 im) (exp.f64 (log.f64 re))) |
(hypot.f64 (neg.f64 im) (neg.f64 re)) |
(hypot.f64 (neg.f64 im) (fabs.f64 re)) |
(hypot.f64 (neg.f64 im) re) |
(hypot.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (neg.f64 re) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 re) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 re) (neg.f64 (neg.f64 im))) |
(hypot.f64 (neg.f64 re) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 re) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 re) (exp.f64 (log.f64 im))) |
(hypot.f64 (neg.f64 re) (neg.f64 im)) |
(hypot.f64 (neg.f64 re) (fabs.f64 im)) |
(hypot.f64 (neg.f64 re) im) |
(hypot.f64 (fabs.f64 im) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 im) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 im) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (fabs.f64 im) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (fabs.f64 im) (neg.f64 (neg.f64 re))) |
(hypot.f64 (fabs.f64 im) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (fabs.f64 im) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (fabs.f64 im) (exp.f64 (log.f64 re))) |
(hypot.f64 (fabs.f64 im) (neg.f64 re)) |
(hypot.f64 (fabs.f64 im) (fabs.f64 re)) |
(hypot.f64 (fabs.f64 im) re) |
(hypot.f64 (fabs.f64 re) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (fabs.f64 re) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (fabs.f64 re) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 re) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 re) (neg.f64 (neg.f64 im))) |
(hypot.f64 (fabs.f64 re) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (fabs.f64 re) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (fabs.f64 re) (exp.f64 (log.f64 im))) |
(hypot.f64 (fabs.f64 re) (neg.f64 im)) |
(hypot.f64 (fabs.f64 re) (fabs.f64 im)) |
(hypot.f64 (fabs.f64 re) im) |
(hypot.f64 im (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 im (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 im (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 im (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 im (neg.f64 (neg.f64 re))) |
(hypot.f64 im (neg.f64 (fabs.f64 re))) |
(hypot.f64 im (fabs.f64 (fabs.f64 re))) |
(hypot.f64 im (exp.f64 (log.f64 re))) |
(hypot.f64 im (neg.f64 re)) |
(hypot.f64 im (fabs.f64 re)) |
(hypot.f64 im re) |
(hypot.f64 re (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 re (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 re (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 re (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 re (neg.f64 (neg.f64 im))) |
(hypot.f64 re (neg.f64 (fabs.f64 im))) |
(hypot.f64 re (fabs.f64 (fabs.f64 im))) |
(hypot.f64 re (exp.f64 (log.f64 im))) |
(hypot.f64 re (neg.f64 im)) |
(hypot.f64 re (fabs.f64 im)) |
(hypot.f64 re im) |
(exp.f64 (*.f64 (log.f64 (fma.f64 im im (*.f64 re re))) #s(literal 1/2 binary64))) |
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re)) (pow.f64 (*.f64 (neg.f64 im) im) #s(literal 3 binary64))) (fma.f64 (*.f64 (*.f64 re re) re) re (fma.f64 (*.f64 im im) (*.f64 im im) (*.f64 (*.f64 re re) (*.f64 (neg.f64 im) im))))) |
(/.f64 (neg.f64 (*.f64 (fma.f64 im im (*.f64 re re)) (*.f64 (+.f64 re im) (-.f64 re im)))) (neg.f64 (*.f64 (+.f64 re im) (-.f64 re im)))) |
(/.f64 (neg.f64 (*.f64 (fma.f64 im im (*.f64 re re)) (*.f64 (+.f64 im re) (-.f64 im re)))) (neg.f64 (*.f64 (+.f64 im re) (-.f64 im re)))) |
(/.f64 (neg.f64 (fma.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)))) (neg.f64 (fma.f64 (*.f64 (*.f64 re re) re) re (*.f64 (*.f64 im im) (*.f64 (+.f64 im re) (-.f64 im re)))))) |
(/.f64 (neg.f64 (fma.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)))) (neg.f64 (fma.f64 (*.f64 im im) (*.f64 im im) (*.f64 (*.f64 re re) (*.f64 (+.f64 re im) (-.f64 re im)))))) |
(/.f64 (*.f64 (fma.f64 im im (*.f64 re re)) (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (-.f64 re im))) |
(/.f64 (*.f64 (fma.f64 im im (*.f64 re re)) (*.f64 (+.f64 im re) (-.f64 im re))) (*.f64 (+.f64 im re) (-.f64 im re))) |
(/.f64 (fma.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im))) (fma.f64 (*.f64 (*.f64 re re) re) re (*.f64 (*.f64 im im) (*.f64 (+.f64 im re) (-.f64 im re))))) |
(/.f64 (fma.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im))) (fma.f64 (*.f64 im im) (*.f64 im im) (*.f64 (*.f64 re re) (*.f64 (+.f64 re im) (-.f64 re im))))) |
(fma.f64 (*.f64 (neg.f64 im) #s(literal -1 binary64)) im (*.f64 re re)) |
(fma.f64 (*.f64 (neg.f64 re) #s(literal -1 binary64)) re (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 (neg.f64 re) #s(literal -1 binary64)) re (*.f64 im im)) |
(fma.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 im im)) |
(fma.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 im im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 re re)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 im) (*.f64 re re)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 re re)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 im) (*.f64 re re)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 im im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (*.f64 im im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 im im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (*.f64 im im)) |
(fma.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 re re)) |
(fma.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 re re)) |
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (*.f64 re re)) |
(fma.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im)) (*.f64 re re)) |
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 im im)) |
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 im im)) |
(fma.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im)) (*.f64 re re)) |
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 im im)) |
(fma.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)) (*.f64 re re)) |
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (*.f64 im im)) |
(fma.f64 (*.f64 (neg.f64 re) re) #s(literal -1 binary64) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 (neg.f64 re) re) #s(literal -1 binary64) (*.f64 im im)) |
(fma.f64 (*.f64 (neg.f64 im) im) #s(literal -1 binary64) (*.f64 re re)) |
(fma.f64 (neg.f64 im) (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 re re)) |
(fma.f64 (neg.f64 im) (neg.f64 im) (*.f64 re re)) |
(fma.f64 (neg.f64 re) (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (neg.f64 re) (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 im im)) |
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 im im)) |
(fma.f64 (fabs.f64 im) (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 re re)) |
(fma.f64 (fabs.f64 im) (fabs.f64 im) (*.f64 re re)) |
(fma.f64 (fabs.f64 re) (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (fabs.f64 re) (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 im im)) |
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 im im)) |
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 re) re) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 re) re) (*.f64 im im)) |
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 im) im) (*.f64 re re)) |
(fma.f64 (*.f64 im im) #s(literal 1 binary64) (*.f64 re re)) |
(fma.f64 #s(literal 1 binary64) (*.f64 im im) (*.f64 re re)) |
(fma.f64 #s(literal 1 binary64) (*.f64 re re) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 #s(literal 1 binary64) (*.f64 re re) (*.f64 im im)) |
(fma.f64 (*.f64 re re) #s(literal 1 binary64) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 re re) #s(literal 1 binary64) (*.f64 im im)) |
(fma.f64 im (*.f64 #s(literal -1 binary64) (neg.f64 im)) (*.f64 re re)) |
(fma.f64 im im (*.f64 re re)) |
(fma.f64 re (*.f64 #s(literal -1 binary64) (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 re (*.f64 #s(literal -1 binary64) (neg.f64 re)) (*.f64 im im)) |
(fma.f64 re re (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 re re (*.f64 im im)) |
(-.f64 (/.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 (+.f64 re im) (-.f64 re im))) (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (+.f64 re im) (-.f64 re im)))) |
(-.f64 (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (+.f64 im re) (-.f64 im re))) (/.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 (+.f64 im re) (-.f64 im re)))) |
(-.f64 (*.f64 im im) (*.f64 (neg.f64 re) re)) |
(-.f64 (*.f64 re re) (*.f64 (neg.f64 im) im)) |
(+.f64 (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re)) (fma.f64 (*.f64 (*.f64 re re) re) re (*.f64 (*.f64 im im) (*.f64 (+.f64 im re) (-.f64 im re))))) (/.f64 (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)) (fma.f64 (*.f64 (*.f64 re re) re) re (*.f64 (*.f64 im im) (*.f64 (+.f64 im re) (-.f64 im re)))))) |
(+.f64 (/.f64 (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)) (fma.f64 (*.f64 im im) (*.f64 im im) (*.f64 (*.f64 re re) (*.f64 (+.f64 re im) (-.f64 re im))))) (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re)) (fma.f64 (*.f64 im im) (*.f64 im im) (*.f64 (*.f64 re re) (*.f64 (+.f64 re im) (-.f64 re im)))))) |
(+.f64 (*.f64 im im) (*.f64 re re)) |
(+.f64 (*.f64 re re) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(+.f64 (*.f64 re re) (*.f64 im im)) |
(*.f64 (*.f64 (neg.f64 re) #s(literal -1 binary64)) re) |
(*.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(*.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(*.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(*.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re)) |
(*.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(*.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re)) |
(*.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re))) |
(*.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re))) |
(*.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re))) |
(*.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re))) |
(*.f64 (*.f64 (neg.f64 re) re) #s(literal -1 binary64)) |
(*.f64 (neg.f64 re) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(*.f64 (neg.f64 re) (neg.f64 re)) |
(*.f64 (fabs.f64 re) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(*.f64 (fabs.f64 re) (fabs.f64 re)) |
(*.f64 #s(literal -1 binary64) (*.f64 (neg.f64 re) re)) |
(*.f64 #s(literal 1 binary64) (*.f64 re re)) |
(*.f64 (*.f64 re re) #s(literal 1 binary64)) |
(*.f64 re (*.f64 #s(literal -1 binary64) (neg.f64 re))) |
(*.f64 re re) |
(pow.f64 (exp.f64 (log.f64 re)) #s(literal 2 binary64)) |
(pow.f64 (neg.f64 re) #s(literal 2 binary64)) |
(pow.f64 (fabs.f64 re) #s(literal 2 binary64)) |
(pow.f64 (*.f64 re re) #s(literal 1 binary64)) |
(pow.f64 re #s(literal 2 binary64)) |
(/.f64 (*.f64 (*.f64 re re) #s(literal 2 binary64)) #s(literal 2 binary64)) |
(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 re re)) #s(literal 2 binary64)) |
(neg.f64 (*.f64 (neg.f64 re) re)) |
(fabs.f64 (*.f64 re re)) |
(exp.f64 (fma.f64 (log.f64 re) #s(literal 2 binary64) #s(literal 0 binary64))) |
(exp.f64 (+.f64 #s(literal 0 binary64) (*.f64 (log.f64 re) #s(literal 2 binary64)))) |
(exp.f64 (*.f64 (log.f64 re) #s(literal 2 binary64))) |
(+.f64 (cosh.f64 (*.f64 (log.f64 re) #s(literal 2 binary64))) (sinh.f64 (*.f64 (log.f64 re) #s(literal 2 binary64)))) |
re |
(*.f64 (*.f64 (neg.f64 im) #s(literal -1 binary64)) im) |
(*.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(*.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 im)) |
(*.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(*.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 im)) |
(*.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(*.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(*.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im))) |
(*.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im))) |
(*.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im))) |
(*.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im))) |
(*.f64 (*.f64 (neg.f64 im) im) #s(literal -1 binary64)) |
(*.f64 (neg.f64 im) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(*.f64 (neg.f64 im) (neg.f64 im)) |
(*.f64 (fabs.f64 im) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(*.f64 (fabs.f64 im) (fabs.f64 im)) |
(*.f64 #s(literal -1 binary64) (*.f64 (neg.f64 im) im)) |
(*.f64 (*.f64 im im) #s(literal 1 binary64)) |
(*.f64 #s(literal 1 binary64) (*.f64 im im)) |
(*.f64 im (*.f64 #s(literal -1 binary64) (neg.f64 im))) |
(*.f64 im im) |
(pow.f64 (exp.f64 (log.f64 im)) #s(literal 2 binary64)) |
(pow.f64 (neg.f64 im) #s(literal 2 binary64)) |
(pow.f64 (fabs.f64 im) #s(literal 2 binary64)) |
(pow.f64 (*.f64 im im) #s(literal 1 binary64)) |
(pow.f64 im #s(literal 2 binary64)) |
(/.f64 (*.f64 (*.f64 im im) #s(literal 2 binary64)) #s(literal 2 binary64)) |
(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 im im)) #s(literal 2 binary64)) |
(neg.f64 (*.f64 (neg.f64 im) im)) |
(fabs.f64 (*.f64 im im)) |
(exp.f64 (+.f64 #s(literal 0 binary64) (*.f64 (log.f64 im) #s(literal 2 binary64)))) |
(exp.f64 (fma.f64 (log.f64 im) #s(literal 2 binary64) #s(literal 0 binary64))) |
(exp.f64 (*.f64 (log.f64 im) #s(literal 2 binary64))) |
(+.f64 (cosh.f64 (*.f64 (log.f64 im) #s(literal 2 binary64))) (sinh.f64 (*.f64 (log.f64 im) #s(literal 2 binary64)))) |
im |
#s(approx (sqrt (+ (* re re) (* im im))) im) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 re re) im) #s(literal 1/2 binary64) im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (/.f64 (*.f64 re re) (*.f64 (*.f64 im im) im)) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) im)) (*.f64 re re) im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (fma.f64 (*.f64 re (/.f64 re (pow.f64 im #s(literal 5 binary64)))) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (*.f64 (*.f64 im im) im))) (*.f64 re re) (/.f64 #s(literal 1/2 binary64) im)) (*.f64 re re) im)) |
#s(approx (+ (* re re) (* im im)) (*.f64 im im)) |
#s(approx (+ (* re re) (* im im)) (fma.f64 im im (*.f64 re re))) |
#s(approx (* re re) (*.f64 re re)) |
#s(approx re re) |
#s(approx (sqrt (+ (* re re) (* im im))) re) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 re #s(literal 1/2 binary64)) (*.f64 im (/.f64 im (*.f64 re re))) re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 (*.f64 re re) re) re)) #s(literal -1/8 binary64) (/.f64 (*.f64 (*.f64 im im) #s(literal 1/2 binary64)) (*.f64 re re))) re re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 (*.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)) (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re))) #s(literal 1/16 binary64) (/.f64 (*.f64 (*.f64 im im) #s(literal 1/2 binary64)) (*.f64 re re)))) re re)) |
#s(approx (+ (* re re) (* im im)) (*.f64 re re)) |
#s(approx (+ (* re re) (* im im)) (*.f64 (fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64)) (*.f64 re re))) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (neg.f64 re) (fma.f64 (*.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64)))) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (neg.f64 re) (fma.f64 (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 (*.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (*.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64))))) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 (*.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)) (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re))) #s(literal 1/16 binary64) (/.f64 (*.f64 (*.f64 im im) #s(literal 1/2 binary64)) (*.f64 re re)))) re re))) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 im im) re) #s(literal 1/2 binary64) re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (*.f64 im (/.f64 im (*.f64 (*.f64 re re) re))) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) re)) (*.f64 im im) re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (fma.f64 (*.f64 im (/.f64 im (pow.f64 re #s(literal 5 binary64)))) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (*.f64 (*.f64 re re) re))) (*.f64 im im) (/.f64 #s(literal 1/2 binary64) re)) (*.f64 im im) re)) |
#s(approx (* im im) (*.f64 im im)) |
#s(approx im im) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (fma.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64)) im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 (*.f64 im im) (*.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64))) im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 (*.f64 im im) (*.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re)) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im))) #s(literal 1/16 binary64) (*.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64)))) im im)) |
#s(approx (+ (* re re) (* im im)) (*.f64 (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal 1 binary64)) (*.f64 im im))) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (neg.f64 im) (fma.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64)))) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (neg.f64 im) (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 (*.f64 im im) (*.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64))))) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 (*.f64 im im) (*.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re)) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im))) #s(literal 1/16 binary64) (*.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64)))) im im))) |
Compiled 4 717 to 834 computations (82.3% saved)
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 424 | 6 | 430 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 425 | 6 | 431 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (hypot.f64 re im) |
| 52.9% | (sqrt.f64 (fma.f64 re re (*.f64 im im))) | |
| ▶ | 1.9% | #s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re)) |
| ▶ | 1.2% | #s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im)) |
| ▶ | 5.2% | #s(approx (sqrt (+ (* re re) (* im im))) re) |
| ▶ | 98.8% | #s(approx (sqrt (+ (* re re) (* im im))) im) |
Compiled 104 to 76 computations (26.9% saved)
| Inputs |
|---|
(hypot.f64 re im) |
re |
im |
#s(approx (sqrt (+ (* re re) (* im im))) im) |
#s(approx (sqrt (+ (* re re) (* im im))) re) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im)) |
(neg.f64 im) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re)) |
(neg.f64 re) |
| Outputs |
|---|
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im))))))) |
#s(approx re #s(hole binary64 re)) |
#s(approx (neg re) #s(hole binary64 (* -1 re))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 re)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 re))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re))))))) |
#s(approx im #s(hole binary64 im)) |
#s(approx (neg im) #s(hole binary64 (* -1 im))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 im))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))) |
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | im | @ | -inf | ((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re)) |
| 1.0ms | re | @ | -inf | ((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re)) |
| 0.0ms | re | @ | inf | ((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re)) |
| 0.0ms | im | @ | inf | ((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re)) |
| 0.0ms | re | @ | 0 | ((sqrt (+ (* re re) (* im im))) re im (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im))) (neg im) (sqrt (+ (* re re) (* im im))) (neg re)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 136 | 559 |
| 0 | 138 | 537 |
| 1 | 691 | 537 |
| 0 | 7137 | 501 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
(hypot.f64 re im) |
re |
im |
#s(approx (sqrt (+ (* re re) (* im im))) im) |
#s(approx (sqrt (+ (* re re) (* im im))) re) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im)) |
(neg.f64 im) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re)) |
(neg.f64 re) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im))))))) |
#s(approx re #s(hole binary64 re)) |
#s(approx (neg re) #s(hole binary64 (* -1 re))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 re)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 re))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re))))))) |
#s(approx im #s(hole binary64 im)) |
#s(approx (neg im) #s(hole binary64 (* -1 im))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 im))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))) |
| Outputs |
|---|
(*.f64 (pow.f64 (fma.f64 im im (*.f64 re re)) #s(literal 1/4 binary64)) (pow.f64 (fma.f64 im im (*.f64 re re)) #s(literal 1/4 binary64))) |
(pow.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re))) #s(literal 1 binary64)) |
(pow.f64 (fma.f64 im im (*.f64 re re)) #s(literal 1/2 binary64)) |
(/.f64 (sqrt.f64 (*.f64 (fma.f64 im im (*.f64 re re)) (*.f64 (+.f64 re im) (-.f64 re im)))) (sqrt.f64 (*.f64 (+.f64 re im) (-.f64 re im)))) |
(/.f64 (sqrt.f64 (fma.f64 (*.f64 (*.f64 re re) re) (*.f64 (*.f64 re re) re) (*.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 im im)))) (sqrt.f64 (fma.f64 (*.f64 (*.f64 re re) re) re (*.f64 (*.f64 im im) (-.f64 (*.f64 im im) (*.f64 re re)))))) |
(sqrt.f64 (fma.f64 im im (*.f64 re re))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (fabs.f64 im)) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 im)) |
(hypot.f64 (neg.f64 (fabs.f64 re)) im) |
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (fabs.f64 im)) |
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 im)) |
(hypot.f64 (neg.f64 (neg.f64 re)) im) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (fabs.f64 re)) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 re)) |
(hypot.f64 (neg.f64 (fabs.f64 im)) re) |
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (fabs.f64 re)) |
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 re)) |
(hypot.f64 (neg.f64 (neg.f64 im)) re) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 im)) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 im)) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) im) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 re)) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 re)) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) re) |
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (fabs.f64 im)) |
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 im)) |
(hypot.f64 (exp.f64 (log.f64 re)) im) |
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (fabs.f64 re)) |
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 re)) |
(hypot.f64 (exp.f64 (log.f64 im)) re) |
(hypot.f64 (fabs.f64 re) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (fabs.f64 re) (neg.f64 (neg.f64 im))) |
(hypot.f64 (fabs.f64 re) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (fabs.f64 re) (exp.f64 (log.f64 im))) |
(hypot.f64 (fabs.f64 re) (fabs.f64 im)) |
(hypot.f64 (fabs.f64 re) (neg.f64 im)) |
(hypot.f64 (fabs.f64 re) im) |
(hypot.f64 (fabs.f64 im) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (fabs.f64 im) (neg.f64 (neg.f64 re))) |
(hypot.f64 (fabs.f64 im) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (fabs.f64 im) (exp.f64 (log.f64 re))) |
(hypot.f64 (fabs.f64 im) (fabs.f64 re)) |
(hypot.f64 (fabs.f64 im) (neg.f64 re)) |
(hypot.f64 (fabs.f64 im) re) |
(hypot.f64 (neg.f64 re) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 re) (neg.f64 (neg.f64 im))) |
(hypot.f64 (neg.f64 re) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 re) (exp.f64 (log.f64 im))) |
(hypot.f64 (neg.f64 re) (fabs.f64 im)) |
(hypot.f64 (neg.f64 re) (neg.f64 im)) |
(hypot.f64 (neg.f64 re) im) |
(hypot.f64 (neg.f64 im) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 im) (neg.f64 (neg.f64 re))) |
(hypot.f64 (neg.f64 im) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 im) (exp.f64 (log.f64 re))) |
(hypot.f64 (neg.f64 im) (fabs.f64 re)) |
(hypot.f64 (neg.f64 im) (neg.f64 re)) |
(hypot.f64 (neg.f64 im) re) |
(hypot.f64 im (neg.f64 (fabs.f64 re))) |
(hypot.f64 im (neg.f64 (neg.f64 re))) |
(hypot.f64 im (fabs.f64 (fabs.f64 re))) |
(hypot.f64 im (exp.f64 (log.f64 re))) |
(hypot.f64 im (fabs.f64 re)) |
(hypot.f64 im (neg.f64 re)) |
(hypot.f64 im re) |
(hypot.f64 re (neg.f64 (fabs.f64 im))) |
(hypot.f64 re (neg.f64 (neg.f64 im))) |
(hypot.f64 re (fabs.f64 (fabs.f64 im))) |
(hypot.f64 re (exp.f64 (log.f64 im))) |
(hypot.f64 re (fabs.f64 im)) |
(hypot.f64 re (neg.f64 im)) |
(hypot.f64 re im) |
(exp.f64 (*.f64 (log.f64 (fma.f64 im im (*.f64 re re))) #s(literal 1/2 binary64))) |
re |
im |
#s(approx (sqrt (+ (* re re) (* im im))) im) |
#s(approx (sqrt (+ (* re re) (* im im))) re) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im)) |
(*.f64 #s(literal -1 binary64) im) |
(*.f64 im #s(literal -1 binary64)) |
(neg.f64 im) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re)) |
(*.f64 #s(literal -1 binary64) re) |
(*.f64 re #s(literal -1 binary64)) |
(neg.f64 re) |
#s(approx (sqrt (+ (* re re) (* im im))) im) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 re re) im) #s(literal 1/2 binary64) im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (/.f64 (*.f64 re re) (*.f64 (*.f64 im im) im)) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) im)) (*.f64 re re) im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (fma.f64 (*.f64 re (/.f64 re (pow.f64 im #s(literal 5 binary64)))) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (*.f64 (*.f64 im im) im))) (*.f64 re re) (/.f64 #s(literal 1/2 binary64) im)) (*.f64 re re) im)) |
#s(approx re re) |
#s(approx (neg re) (neg.f64 re)) |
#s(approx (sqrt (+ (* re re) (* im im))) re) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 re #s(literal 1/2 binary64)) (*.f64 im (/.f64 im (*.f64 re re))) re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 (*.f64 re re) re) re)) #s(literal -1/8 binary64) (/.f64 (*.f64 (*.f64 im im) #s(literal 1/2 binary64)) (*.f64 re re))) re re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 im im)) (*.f64 (*.f64 (*.f64 re re) re) (*.f64 (*.f64 re re) re))) #s(literal 1/16 binary64) (fma.f64 (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 (*.f64 re re) re) re)) #s(literal -1/8 binary64) (/.f64 (*.f64 (*.f64 im im) #s(literal 1/2 binary64)) (*.f64 re re)))) re re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (fma.f64 (*.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64)) (neg.f64 re))) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (fma.f64 (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 (*.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (*.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64))) (neg.f64 re))) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 im im)) (*.f64 (*.f64 (*.f64 re re) re) (*.f64 (*.f64 re re) re))) #s(literal 1/16 binary64) (fma.f64 (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 (*.f64 re re) re) re)) #s(literal -1/8 binary64) (/.f64 (*.f64 (*.f64 im im) #s(literal 1/2 binary64)) (*.f64 re re)))) re re))) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 im im) re) #s(literal 1/2 binary64) re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (*.f64 im (/.f64 im (*.f64 (*.f64 re re) re))) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) re)) (*.f64 im im) re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (fma.f64 (*.f64 im (/.f64 im (pow.f64 re #s(literal 5 binary64)))) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (*.f64 (*.f64 re re) re))) (*.f64 im im) (/.f64 #s(literal 1/2 binary64) re)) (*.f64 im im) re)) |
#s(approx im im) |
#s(approx (neg im) (neg.f64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (fma.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64)) im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 (*.f64 im im) (*.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64))) im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 re re) re) (*.f64 (*.f64 re re) re)) (*.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 im im))) #s(literal 1/16 binary64) (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 (*.f64 im im) (*.f64 im im))) #s(literal -1/8 binary64) (*.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64)))) im im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (fma.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64)) (neg.f64 im))) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 (*.f64 im im) (*.f64 im im))) #s(literal -1/8 binary64) (fma.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64))) (neg.f64 im))) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 re re) re) (*.f64 (*.f64 re re) re)) (*.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 im im))) #s(literal 1/16 binary64) (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 (*.f64 im im) (*.f64 im im))) #s(literal -1/8 binary64) (*.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64)))) im im))) |
Compiled 1 483 to 256 computations (82.7% saved)
6 alts after pruning (1 fresh and 5 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 134 | 0 | 134 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 5 | 5 |
| Done | 0 | 0 | 0 |
| Total | 134 | 6 | 140 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (hypot.f64 re im) |
| ▶ | 52.9% | (sqrt.f64 (fma.f64 re re (*.f64 im im))) |
| ✓ | 1.9% | #s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re)) |
| ✓ | 1.2% | #s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im)) |
| ✓ | 5.2% | #s(approx (sqrt (+ (* re re) (* im im))) re) |
| ✓ | 98.8% | #s(approx (sqrt (+ (* re re) (* im im))) im) |
Compiled 52 to 38 computations (26.9% saved)
| Inputs |
|---|
(sqrt.f64 (fma.f64 re re (*.f64 im im))) |
(fma.f64 re re (*.f64 im im)) |
re |
(*.f64 im im) |
im |
| Outputs |
|---|
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im))))))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2)))) |
#s(approx re #s(hole binary64 re)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 re)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow re 2))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2)))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 re))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re))))))) |
#s(approx (* im im) #s(hole binary64 (pow im 2))) |
#s(approx im #s(hole binary64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2)))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 im))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))) |
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | im | @ | -inf | ((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) re (* im im) im) |
| 1.0ms | im | @ | inf | ((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) re (* im im) im) |
| 0.0ms | re | @ | -inf | ((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) re (* im im) im) |
| 0.0ms | re | @ | inf | ((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) re (* im im) im) |
| 0.0ms | im | @ | 0 | ((sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) re (* im im) im) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 141 | 703 |
| 0 | 144 | 682 |
| 1 | 748 | 682 |
| 0 | 7801 | 552 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
(sqrt.f64 (fma.f64 re re (*.f64 im im))) |
(fma.f64 re re (*.f64 im im)) |
re |
(*.f64 im im) |
im |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* 1/2 (/ (pow re 2) im))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im))))))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2)))) |
#s(approx re #s(hole binary64 re)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 re)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow re 2))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (/ (pow im 2) (pow re 2)))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 re))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* 1/2 (/ (pow im 2) re))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re))))))) |
#s(approx (* im im) #s(hole binary64 (pow im 2))) |
#s(approx im #s(hole binary64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))) |
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2)))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 im))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))))) |
#s(approx (sqrt (+ (* re re) (* im im))) #s(hole binary64 (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))))) |
| Outputs |
|---|
(*.f64 (pow.f64 (fma.f64 im im (*.f64 re re)) #s(literal 1/4 binary64)) (pow.f64 (fma.f64 im im (*.f64 re re)) #s(literal 1/4 binary64))) |
(pow.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re))) #s(literal 1 binary64)) |
(pow.f64 (fma.f64 im im (*.f64 re re)) #s(literal 1/2 binary64)) |
(/.f64 (sqrt.f64 (*.f64 (fma.f64 im im (*.f64 re re)) (*.f64 (+.f64 re im) (-.f64 re im)))) (sqrt.f64 (*.f64 (+.f64 re im) (-.f64 re im)))) |
(/.f64 (sqrt.f64 (*.f64 (fma.f64 im im (*.f64 re re)) (*.f64 (+.f64 im re) (-.f64 im re)))) (sqrt.f64 (*.f64 (+.f64 im re) (-.f64 im re)))) |
(/.f64 (sqrt.f64 (fma.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)))) (sqrt.f64 (fma.f64 (*.f64 (*.f64 re re) re) re (*.f64 (*.f64 im im) (*.f64 (+.f64 im re) (-.f64 im re)))))) |
(/.f64 (sqrt.f64 (fma.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)))) (sqrt.f64 (fma.f64 (*.f64 im im) (*.f64 im im) (*.f64 (*.f64 re re) (*.f64 (+.f64 re im) (-.f64 re im)))))) |
(sqrt.f64 (fma.f64 im im (*.f64 re re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 re)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (fabs.f64 re)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) re) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (neg.f64 re)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 re)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) re) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 im)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (fabs.f64 im)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) im) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 im)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 im)) |
(hypot.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) im) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (exp.f64 (log.f64 re))) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (neg.f64 re)) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (fabs.f64 re)) |
(hypot.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) re) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (exp.f64 (log.f64 re))) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (neg.f64 re)) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (fabs.f64 re)) |
(hypot.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) re) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (exp.f64 (log.f64 im))) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 im)) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (fabs.f64 im)) |
(hypot.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) im) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (exp.f64 (log.f64 im))) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 im)) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (fabs.f64 im)) |
(hypot.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) im) |
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (neg.f64 (neg.f64 re)) (neg.f64 im)) |
(hypot.f64 (neg.f64 (neg.f64 re)) (fabs.f64 im)) |
(hypot.f64 (neg.f64 (neg.f64 re)) im) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (neg.f64 im)) |
(hypot.f64 (neg.f64 (fabs.f64 re)) (fabs.f64 im)) |
(hypot.f64 (neg.f64 (fabs.f64 re)) im) |
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (neg.f64 (neg.f64 im)) (neg.f64 re)) |
(hypot.f64 (neg.f64 (neg.f64 im)) (fabs.f64 re)) |
(hypot.f64 (neg.f64 (neg.f64 im)) re) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (neg.f64 re)) |
(hypot.f64 (neg.f64 (fabs.f64 im)) (fabs.f64 re)) |
(hypot.f64 (neg.f64 (fabs.f64 im)) re) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 im)) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 im)) |
(hypot.f64 (fabs.f64 (fabs.f64 re)) im) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (neg.f64 re)) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 re)) |
(hypot.f64 (fabs.f64 (fabs.f64 im)) re) |
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (exp.f64 (log.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 (neg.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 im))) |
(hypot.f64 (exp.f64 (log.f64 re)) (neg.f64 im)) |
(hypot.f64 (exp.f64 (log.f64 re)) (fabs.f64 im)) |
(hypot.f64 (exp.f64 (log.f64 re)) im) |
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (exp.f64 (log.f64 im)) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 (neg.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 re))) |
(hypot.f64 (exp.f64 (log.f64 im)) (neg.f64 re)) |
(hypot.f64 (exp.f64 (log.f64 im)) (fabs.f64 re)) |
(hypot.f64 (exp.f64 (log.f64 im)) re) |
(hypot.f64 (neg.f64 im) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (neg.f64 im) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (neg.f64 im) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 im) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 im) (neg.f64 (neg.f64 re))) |
(hypot.f64 (neg.f64 im) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 im) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (neg.f64 im) (exp.f64 (log.f64 re))) |
(hypot.f64 (neg.f64 im) (neg.f64 re)) |
(hypot.f64 (neg.f64 im) (fabs.f64 re)) |
(hypot.f64 (neg.f64 im) re) |
(hypot.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (neg.f64 re) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 re) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (neg.f64 re) (neg.f64 (neg.f64 im))) |
(hypot.f64 (neg.f64 re) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 re) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (neg.f64 re) (exp.f64 (log.f64 im))) |
(hypot.f64 (neg.f64 re) (neg.f64 im)) |
(hypot.f64 (neg.f64 re) (fabs.f64 im)) |
(hypot.f64 (neg.f64 re) im) |
(hypot.f64 (fabs.f64 im) (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 (fabs.f64 im) (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 (fabs.f64 im) (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 im) (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 im) (neg.f64 (neg.f64 re))) |
(hypot.f64 (fabs.f64 im) (neg.f64 (fabs.f64 re))) |
(hypot.f64 (fabs.f64 im) (fabs.f64 (fabs.f64 re))) |
(hypot.f64 (fabs.f64 im) (exp.f64 (log.f64 re))) |
(hypot.f64 (fabs.f64 im) (neg.f64 re)) |
(hypot.f64 (fabs.f64 im) (fabs.f64 re)) |
(hypot.f64 (fabs.f64 im) re) |
(hypot.f64 (fabs.f64 re) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 (fabs.f64 re) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 (fabs.f64 re) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 re) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 (fabs.f64 re) (neg.f64 (neg.f64 im))) |
(hypot.f64 (fabs.f64 re) (neg.f64 (fabs.f64 im))) |
(hypot.f64 (fabs.f64 re) (fabs.f64 (fabs.f64 im))) |
(hypot.f64 (fabs.f64 re) (exp.f64 (log.f64 im))) |
(hypot.f64 (fabs.f64 re) (neg.f64 im)) |
(hypot.f64 (fabs.f64 re) (fabs.f64 im)) |
(hypot.f64 (fabs.f64 re) im) |
(hypot.f64 im (*.f64 #s(literal 1 binary64) (neg.f64 re))) |
(hypot.f64 im (*.f64 #s(literal 1 binary64) (fabs.f64 re))) |
(hypot.f64 im (*.f64 (neg.f64 re) #s(literal 1 binary64))) |
(hypot.f64 im (*.f64 (fabs.f64 re) #s(literal 1 binary64))) |
(hypot.f64 im (neg.f64 (neg.f64 re))) |
(hypot.f64 im (neg.f64 (fabs.f64 re))) |
(hypot.f64 im (fabs.f64 (fabs.f64 re))) |
(hypot.f64 im (exp.f64 (log.f64 re))) |
(hypot.f64 im (neg.f64 re)) |
(hypot.f64 im (fabs.f64 re)) |
(hypot.f64 im re) |
(hypot.f64 re (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(hypot.f64 re (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(hypot.f64 re (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(hypot.f64 re (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(hypot.f64 re (neg.f64 (neg.f64 im))) |
(hypot.f64 re (neg.f64 (fabs.f64 im))) |
(hypot.f64 re (fabs.f64 (fabs.f64 im))) |
(hypot.f64 re (exp.f64 (log.f64 im))) |
(hypot.f64 re (neg.f64 im)) |
(hypot.f64 re (fabs.f64 im)) |
(hypot.f64 re im) |
(exp.f64 (*.f64 (log.f64 (fma.f64 im im (*.f64 re re))) #s(literal 1/2 binary64))) |
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re)) (pow.f64 (*.f64 (neg.f64 im) im) #s(literal 3 binary64))) (fma.f64 (*.f64 (*.f64 re re) re) re (fma.f64 (*.f64 im im) (*.f64 im im) (*.f64 (*.f64 re re) (*.f64 (neg.f64 im) im))))) |
(/.f64 (neg.f64 (*.f64 (fma.f64 im im (*.f64 re re)) (*.f64 (+.f64 re im) (-.f64 re im)))) (neg.f64 (*.f64 (+.f64 re im) (-.f64 re im)))) |
(/.f64 (neg.f64 (*.f64 (fma.f64 im im (*.f64 re re)) (*.f64 (+.f64 im re) (-.f64 im re)))) (neg.f64 (*.f64 (+.f64 im re) (-.f64 im re)))) |
(/.f64 (neg.f64 (fma.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)))) (neg.f64 (fma.f64 (*.f64 (*.f64 re re) re) re (*.f64 (*.f64 im im) (*.f64 (+.f64 im re) (-.f64 im re)))))) |
(/.f64 (neg.f64 (fma.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)))) (neg.f64 (fma.f64 (*.f64 im im) (*.f64 im im) (*.f64 (*.f64 re re) (*.f64 (+.f64 re im) (-.f64 re im)))))) |
(/.f64 (*.f64 (fma.f64 im im (*.f64 re re)) (*.f64 (+.f64 re im) (-.f64 re im))) (*.f64 (+.f64 re im) (-.f64 re im))) |
(/.f64 (*.f64 (fma.f64 im im (*.f64 re re)) (*.f64 (+.f64 im re) (-.f64 im re))) (*.f64 (+.f64 im re) (-.f64 im re))) |
(/.f64 (fma.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im))) (fma.f64 (*.f64 (*.f64 re re) re) re (*.f64 (*.f64 im im) (*.f64 (+.f64 im re) (-.f64 im re))))) |
(/.f64 (fma.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im))) (fma.f64 (*.f64 im im) (*.f64 im im) (*.f64 (*.f64 re re) (*.f64 (+.f64 re im) (-.f64 re im))))) |
(fma.f64 (*.f64 (neg.f64 re) #s(literal -1 binary64)) re (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 (neg.f64 re) #s(literal -1 binary64)) re (*.f64 im im)) |
(fma.f64 (*.f64 (neg.f64 im) #s(literal -1 binary64)) im (*.f64 re re)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 re re)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 im) (*.f64 re re)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 re re)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 im) (*.f64 re re)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 im im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (*.f64 im im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 im im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (*.f64 im im)) |
(fma.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 re re)) |
(fma.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 re re)) |
(fma.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 im im)) |
(fma.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 im im)) |
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 im im)) |
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 im im)) |
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (*.f64 re re)) |
(fma.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im)) (*.f64 re re)) |
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 im im)) |
(fma.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im)) (*.f64 re re)) |
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (*.f64 im im)) |
(fma.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)) (*.f64 re re)) |
(fma.f64 (*.f64 (neg.f64 im) im) #s(literal -1 binary64) (*.f64 re re)) |
(fma.f64 (*.f64 (neg.f64 re) re) #s(literal -1 binary64) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 (neg.f64 re) re) #s(literal -1 binary64) (*.f64 im im)) |
(fma.f64 (neg.f64 im) (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 re re)) |
(fma.f64 (neg.f64 im) (neg.f64 im) (*.f64 re re)) |
(fma.f64 (neg.f64 re) (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (neg.f64 re) (*.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 im im)) |
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 im im)) |
(fma.f64 (fabs.f64 im) (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 re re)) |
(fma.f64 (fabs.f64 im) (fabs.f64 im) (*.f64 re re)) |
(fma.f64 (fabs.f64 re) (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (fabs.f64 re) (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 im im)) |
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 im im)) |
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 im) im) (*.f64 re re)) |
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 re) re) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 #s(literal -1 binary64) (*.f64 (neg.f64 re) re) (*.f64 im im)) |
(fma.f64 (*.f64 im im) #s(literal 1 binary64) (*.f64 re re)) |
(fma.f64 #s(literal 1 binary64) (*.f64 im im) (*.f64 re re)) |
(fma.f64 #s(literal 1 binary64) (*.f64 re re) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 #s(literal 1 binary64) (*.f64 re re) (*.f64 im im)) |
(fma.f64 (*.f64 re re) #s(literal 1 binary64) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 (*.f64 re re) #s(literal 1 binary64) (*.f64 im im)) |
(fma.f64 im (*.f64 #s(literal -1 binary64) (neg.f64 im)) (*.f64 re re)) |
(fma.f64 im im (*.f64 re re)) |
(fma.f64 re (*.f64 #s(literal -1 binary64) (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 re (*.f64 #s(literal -1 binary64) (neg.f64 re)) (*.f64 im im)) |
(fma.f64 re re (*.f64 (neg.f64 (neg.f64 im)) im)) |
(fma.f64 re re (*.f64 im im)) |
(-.f64 (/.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 (+.f64 re im) (-.f64 re im))) (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (+.f64 re im) (-.f64 re im)))) |
(-.f64 (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (+.f64 im re) (-.f64 im re))) (/.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 (+.f64 im re) (-.f64 im re)))) |
(-.f64 (*.f64 im im) (*.f64 (neg.f64 re) re)) |
(-.f64 (*.f64 re re) (*.f64 (neg.f64 im) im)) |
(+.f64 (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re)) (fma.f64 (*.f64 (*.f64 re re) re) re (*.f64 (*.f64 im im) (*.f64 (+.f64 im re) (-.f64 im re))))) (/.f64 (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)) (fma.f64 (*.f64 (*.f64 re re) re) re (*.f64 (*.f64 im im) (*.f64 (+.f64 im re) (-.f64 im re)))))) |
(+.f64 (/.f64 (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)) (fma.f64 (*.f64 im im) (*.f64 im im) (*.f64 (*.f64 re re) (*.f64 (+.f64 re im) (-.f64 re im))))) (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re)) (fma.f64 (*.f64 im im) (*.f64 im im) (*.f64 (*.f64 re re) (*.f64 (+.f64 re im) (-.f64 re im)))))) |
(+.f64 (*.f64 im im) (*.f64 re re)) |
(+.f64 (*.f64 re re) (*.f64 (neg.f64 (neg.f64 im)) im)) |
(+.f64 (*.f64 re re) (*.f64 im im)) |
re |
(*.f64 (*.f64 (neg.f64 im) #s(literal -1 binary64)) im) |
(*.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 im))) |
(*.f64 (*.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 im)) |
(*.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 im))) |
(*.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 im)) |
(*.f64 (*.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(*.f64 (*.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(*.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im))) |
(*.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im))) |
(*.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im))) |
(*.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im))) |
(*.f64 (*.f64 (neg.f64 im) im) #s(literal -1 binary64)) |
(*.f64 (neg.f64 im) (*.f64 (neg.f64 im) #s(literal 1 binary64))) |
(*.f64 (neg.f64 im) (neg.f64 im)) |
(*.f64 (fabs.f64 im) (*.f64 (fabs.f64 im) #s(literal 1 binary64))) |
(*.f64 (fabs.f64 im) (fabs.f64 im)) |
(*.f64 #s(literal -1 binary64) (*.f64 (neg.f64 im) im)) |
(*.f64 (*.f64 im im) #s(literal 1 binary64)) |
(*.f64 #s(literal 1 binary64) (*.f64 im im)) |
(*.f64 im (*.f64 #s(literal -1 binary64) (neg.f64 im))) |
(*.f64 im im) |
(pow.f64 (exp.f64 (log.f64 im)) #s(literal 2 binary64)) |
(pow.f64 (neg.f64 im) #s(literal 2 binary64)) |
(pow.f64 (fabs.f64 im) #s(literal 2 binary64)) |
(pow.f64 (*.f64 im im) #s(literal 1 binary64)) |
(pow.f64 im #s(literal 2 binary64)) |
(/.f64 (*.f64 (*.f64 im im) #s(literal 2 binary64)) #s(literal 2 binary64)) |
(/.f64 (*.f64 #s(literal 2 binary64) (*.f64 im im)) #s(literal 2 binary64)) |
(neg.f64 (*.f64 (neg.f64 im) im)) |
(fabs.f64 (*.f64 im im)) |
(exp.f64 (+.f64 #s(literal 0 binary64) (*.f64 (log.f64 im) #s(literal 2 binary64)))) |
(exp.f64 (fma.f64 (log.f64 im) #s(literal 2 binary64) #s(literal 0 binary64))) |
(exp.f64 (*.f64 (log.f64 im) #s(literal 2 binary64))) |
(+.f64 (cosh.f64 (*.f64 (log.f64 im) #s(literal 2 binary64))) (sinh.f64 (*.f64 (log.f64 im) #s(literal 2 binary64)))) |
im |
#s(approx (sqrt (+ (* re re) (* im im))) im) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 re re) im) #s(literal 1/2 binary64) im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (/.f64 (*.f64 re re) (*.f64 (*.f64 im im) im)) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) im)) (*.f64 re re) im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (fma.f64 (*.f64 re (/.f64 re (pow.f64 im #s(literal 5 binary64)))) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (*.f64 (*.f64 im im) im))) (*.f64 re re) (/.f64 #s(literal 1/2 binary64) im)) (*.f64 re re) im)) |
#s(approx (+ (* re re) (* im im)) (*.f64 im im)) |
#s(approx (+ (* re re) (* im im)) (fma.f64 im im (*.f64 re re))) |
#s(approx re re) |
#s(approx (sqrt (+ (* re re) (* im im))) re) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (*.f64 re #s(literal 1/2 binary64)) (*.f64 im (/.f64 im (*.f64 re re))) re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 (*.f64 re re) re) re)) #s(literal -1/8 binary64) (/.f64 (*.f64 (*.f64 im im) #s(literal 1/2 binary64)) (*.f64 re re))) re re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 (*.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)) (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re))) #s(literal 1/16 binary64) (/.f64 (*.f64 (*.f64 im im) #s(literal 1/2 binary64)) (*.f64 re re)))) re re)) |
#s(approx (+ (* re re) (* im im)) (*.f64 re re)) |
#s(approx (+ (* re re) (* im im)) (*.f64 (fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64)) (*.f64 re re))) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (neg.f64 re) (fma.f64 (*.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64)))) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (neg.f64 re) (fma.f64 (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 (*.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (*.f64 im (/.f64 im (*.f64 re re))) #s(literal 1/2 binary64) #s(literal 1 binary64))))) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (*.f64 (*.f64 (*.f64 re re) re) re)) #s(literal -1/8 binary64) (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im)) (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re))) #s(literal 1/16 binary64) (/.f64 (*.f64 (*.f64 im im) #s(literal 1/2 binary64)) (*.f64 re re)))) re re))) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (/.f64 (*.f64 im im) re) #s(literal 1/2 binary64) re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (*.f64 im (/.f64 im (*.f64 (*.f64 re re) re))) #s(literal -1/8 binary64) (/.f64 #s(literal 1/2 binary64) re)) (*.f64 im im) re)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (fma.f64 (*.f64 im (/.f64 im (pow.f64 re #s(literal 5 binary64)))) #s(literal 1/16 binary64) (/.f64 #s(literal -1/8 binary64) (*.f64 (*.f64 re re) re))) (*.f64 im im) (/.f64 #s(literal 1/2 binary64) re)) (*.f64 im im) re)) |
#s(approx (* im im) (*.f64 im im)) |
#s(approx im im) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (fma.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64)) im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) #s(literal -1/8 binary64)) (*.f64 (*.f64 im im) (*.f64 im im)))) im im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re)) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im))) #s(literal 1/16 binary64) (fma.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) #s(literal -1/8 binary64)) (*.f64 (*.f64 im im) (*.f64 im im))))) im im)) |
#s(approx (+ (* re re) (* im im)) (*.f64 (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal 1 binary64)) (*.f64 im im))) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (*.f64 (neg.f64 im) (fma.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) #s(literal 1 binary64)))) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 (fma.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) #s(literal -1/8 binary64)) (*.f64 (*.f64 im im) (*.f64 im im)))) im im))) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 (fma.f64 (fma.f64 (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) (*.f64 re re)) (*.f64 (*.f64 (*.f64 im im) im) (*.f64 (*.f64 im im) im))) #s(literal 1/16 binary64) (fma.f64 (*.f64 re (/.f64 re (*.f64 im im))) #s(literal 1/2 binary64) (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 re re) re) re) #s(literal -1/8 binary64)) (*.f64 (*.f64 im im) (*.f64 im im))))) im im))) |
Compiled 4 249 to 717 computations (83.1% saved)
6 alts after pruning (0 fresh and 6 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 391 | 0 | 391 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 5 | 5 |
| Total | 391 | 6 | 397 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (hypot.f64 re im) |
| ✓ | 52.9% | (sqrt.f64 (fma.f64 re re (*.f64 im im))) |
| ✓ | 1.9% | #s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re)) |
| ✓ | 1.2% | #s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im)) |
| ✓ | 5.2% | #s(approx (sqrt (+ (* re re) (* im im))) re) |
| ✓ | 98.8% | #s(approx (sqrt (+ (* re re) (* im im))) im) |
Compiled 112 to 57 computations (49.1% saved)
| Inputs |
|---|
#s(approx (sqrt (+ (* re re) (* im im))) im) |
#s(approx (sqrt (+ (* re re) (* im im))) re) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re)) |
(sqrt.f64 (fma.f64 re re (*.f64 im im))) |
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) |
(hypot.f64 re im) |
| Outputs |
|---|
(hypot.f64 re im) |
6 calls:
| 7.0ms | (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) |
| 2.0ms | im |
| 2.0ms | re |
| 2.0ms | (+.f64 (*.f64 re re) (*.f64 im im)) |
| 2.0ms | (*.f64 im im) |
| Accuracy | Segments | Branch |
|---|---|---|
| 100.0% | 1 | (*.f64 im im) |
| 100.0% | 1 | (*.f64 re re) |
| 100.0% | 1 | (+.f64 (*.f64 re re) (*.f64 im im)) |
| 100.0% | 1 | (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) |
| 100.0% | 1 | re |
| 100.0% | 1 | im |
Compiled 23 to 21 computations (8.7% saved)
Total -62.4b remaining (-7944.6%)
Threshold costs -62.4b (-7944.6%)
| Inputs |
|---|
#s(approx (sqrt (+ (* re re) (* im im))) im) |
#s(approx (sqrt (+ (* re re) (* im im))) re) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 im)) |
#s(approx (sqrt (+ (* re re) (* im im))) (neg.f64 re)) |
(sqrt.f64 (fma.f64 re re (*.f64 im im))) |
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) |
| Outputs |
|---|
#s(approx (sqrt (+ (* re re) (* im im))) im) |
6 calls:
| 2.0ms | re |
| 2.0ms | im |
| 2.0ms | (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) |
| 2.0ms | (+.f64 (*.f64 re re) (*.f64 im im)) |
| 2.0ms | (*.f64 im im) |
| Accuracy | Segments | Branch |
|---|---|---|
| 98.8% | 1 | (*.f64 im im) |
| 98.8% | 1 | (*.f64 re re) |
| 98.8% | 1 | (+.f64 (*.f64 re re) (*.f64 im im)) |
| 98.8% | 1 | (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) |
| 98.8% | 1 | re |
| 98.8% | 1 | im |
Compiled 23 to 21 computations (8.7% saved)
| 1× | done |
Compiled 13 to 8 computations (38.5% saved)
Compiled 120 to 88 computations (26.7% saved)
Loading profile data...