math.sqrt on complex, real part
Time bar (total: 1.3s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 1 |
| 50% | 50% | 50% | 0.1% | 0% | 0% | 0% | 2 |
| 50% | 50% | 50% | 0.1% | 0% | 0% | 0% | 3 |
| 50% | 50% | 50% | 0.1% | 0% | 0% | 0% | 4 |
| 62.5% | 62.4% | 37.5% | 0.1% | 0% | 0% | 0% | 5 |
| 62.5% | 62.4% | 37.5% | 0.1% | 0% | 0% | 0% | 6 |
| 68.8% | 68.7% | 31.2% | 0.1% | 0% | 0% | 0% | 7 |
| 68.8% | 68.7% | 31.2% | 0.1% | 0% | 0% | 0% | 8 |
| 71.9% | 71.8% | 28.1% | 0.1% | 0% | 0% | 0% | 9 |
| 71.9% | 71.8% | 28.1% | 0.1% | 0% | 0% | 0% | 10 |
| 73.4% | 73.4% | 26.5% | 0.1% | 0% | 0% | 0% | 11 |
| 73.4% | 73.4% | 26.5% | 0.1% | 0% | 0% | 0% | 12 |
Compiled 17 to 11 computations (35.3% saved)
| 435.0ms | 6 224× | 0 | valid |
| 234.0ms | 788× | 2 | valid |
| 133.0ms | 469× | 3 | valid |
| 124.0ms | 775× | 1 | valid |
ival-hypot: 360.0ms (51% of total)ival-mult: 151.0ms (21.4% of total)ival-sqrt: 88.0ms (12.5% of total)ival-add: 61.0ms (8.6% of total)adjust: 29.0ms (4.1% of total)exact: 7.0ms (1% of total)ival-true: 6.0ms (0.9% of total)ival-assert: 4.0ms (0.6% of total)| 2× | egg-herbie |
| 122× | distribute-rgt-in |
| 108× | sub-neg |
| 86× | distribute-lft-in |
| 82× | unsub-neg |
| 78× | distribute-lft-neg-in |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 36 | 90 |
| 1 | 106 | 90 |
| 2 | 181 | 90 |
| 3 | 271 | 90 |
| 4 | 408 | 90 |
| 5 | 532 | 90 |
| 6 | 655 | 90 |
| 7 | 755 | 90 |
| 8 | 783 | 90 |
| 0 | 12 | 15 |
| 1 | 22 | 15 |
| 2 | 24 | 15 |
| 0 | 24 | 10 |
| 1× | iter limit |
| 1× | saturated |
| 1× | saturated |
| Inputs |
|---|
(* 1/2 (sqrt (* 2 (+ (sqrt (+ (* re re) (* im im))) re)))) |
| Outputs |
|---|
(* 1/2 (sqrt (* 2 (+ (sqrt (+ (* re re) (* im im))) re)))) |
(*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 #s(literal 2 binary64) (+.f64 re (sqrt.f64 (fma.f64 re re (*.f64 im im))))))) |
| Inputs |
|---|
(* 1/2 (sqrt (* 2 (+ (sqrt (+ (* re re) (* im im))) re)))) |
(* 1/2 (sqrt (* 2 (+ (sqrt (+ (* (neg re) (neg re)) (* im im))) (neg re))))) |
(* 1/2 (sqrt (* 2 (+ (sqrt (+ (* re re) (* (neg im) (neg im)))) re)))) |
(neg (* 1/2 (sqrt (* 2 (+ (sqrt (+ (* (neg re) (neg re)) (* im im))) (neg re)))))) |
(neg (* 1/2 (sqrt (* 2 (+ (sqrt (+ (* re re) (* (neg im) (neg im)))) re))))) |
(* 1/2 (sqrt (* 2 (+ (sqrt (+ (* im im) (* re re))) im)))) |
| Outputs |
|---|
(* 1/2 (sqrt (* 2 (+ (sqrt (+ (* re re) (* im im))) re)))) |
(* 1/2 (sqrt (* 2 (+ re (sqrt (+ (* re re) (* im im))))))) |
(* 1/2 (sqrt (* 2 (+ (sqrt (+ (* (neg re) (neg re)) (* im im))) (neg re))))) |
(* 1/2 (sqrt (* 2 (- (sqrt (+ (* re re) (* im im))) re)))) |
(* 1/2 (sqrt (* 2 (+ (sqrt (+ (* re re) (* (neg im) (neg im)))) re)))) |
(* 1/2 (sqrt (* 2 (+ re (sqrt (+ (* re re) (* im im))))))) |
(neg (* 1/2 (sqrt (* 2 (+ (sqrt (+ (* (neg re) (neg re)) (* im im))) (neg re)))))) |
(* (sqrt (* 2 (- (sqrt (+ (* re re) (* im im))) re))) -1/2) |
(neg (* 1/2 (sqrt (* 2 (+ (sqrt (+ (* re re) (* (neg im) (neg im)))) re))))) |
(* (sqrt (* 2 (+ re (sqrt (+ (* re re) (* im im)))))) -1/2) |
(* 1/2 (sqrt (* 2 (+ (sqrt (+ (* im im) (* re re))) im)))) |
(* 1/2 (sqrt (* 2 (+ im (sqrt (+ (* re re) (* im im))))))) |
(abs im)
| 0.0ms | 4× | 0 | valid |
Compiled 77 to 14 computations (81.8% saved)
ival-true: 0.0ms (0% of total)ival-add: 0.0ms (0% of total)ival-mult: 0.0ms (0% of total)ival-hypot: 0.0ms (0% of total)ival-sqrt: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)Loading profile data...