FastMath test3
Time bar (total: 945.0ms)
| 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 13 to 11 computations (15.4% saved)
| 419.0ms | 7 845× | 0 | valid |
| 27.0ms | 321× | 1 | valid |
| 15.0ms | 90× | 2 | valid |
ival-mult: 167.0ms (64.9% of total)ival-add: 72.0ms (28% of total)adjust: 5.0ms (1.9% of total)ival-true: 5.0ms (1.9% of total)exact: 4.0ms (1.6% of total)ival-assert: 3.0ms (1.2% of total)| 2× | egg-herbie |
| 550× | unsub-neg |
| 470× | sub-neg |
| 354× | cancel-sign-sub |
| 322× | distribute-lft-out |
| 314× | distribute-lft-neg-in |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 37 | 98 |
| 1 | 118 | 75 |
| 2 | 324 | 72 |
| 3 | 922 | 70 |
| 4 | 2284 | 70 |
| 5 | 3008 | 70 |
| 6 | 3263 | 70 |
| 7 | 3285 | 70 |
| 8 | 3295 | 70 |
| 9 | 3297 | 70 |
| 10 | 3451 | 70 |
| 11 | 3515 | 70 |
| 12 | 3515 | 70 |
| 0 | 9 | 9 |
| 1 | 18 | 7 |
| 2 | 34 | 7 |
| 3 | 51 | 7 |
| 4 | 59 | 7 |
| 0 | 59 | 7 |
| 1× | iter limit |
| 1× | saturated |
| 1× | saturated |
| Inputs |
|---|
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) |
| Outputs |
|---|
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) |
(*.f64 d1 (+.f64 #s(literal 3 binary64) (+.f64 d2 d3))) |
| Inputs |
|---|
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) |
(+ (+ (* (neg d1) 3) (* (neg d1) d2)) (* (neg d1) d3)) |
(+ (+ (* d1 3) (* d1 (neg d2))) (* d1 d3)) |
(+ (+ (* d1 3) (* d1 d2)) (* d1 (neg d3))) |
(neg (+ (+ (* (neg d1) 3) (* (neg d1) d2)) (* (neg d1) d3))) |
(neg (+ (+ (* d1 3) (* d1 (neg d2))) (* d1 d3))) |
(neg (+ (+ (* d1 3) (* d1 d2)) (* d1 (neg d3)))) |
(+ (+ (* d2 3) (* d2 d1)) (* d2 d3)) |
(+ (+ (* d3 3) (* d3 d2)) (* d3 d1)) |
(+ (+ (* d1 3) (* d1 d3)) (* d1 d2)) |
| Outputs |
|---|
(+ (+ (* d1 3) (* d1 d2)) (* d1 d3)) |
(* d1 (+ d3 (+ 3 d2))) |
(+ (+ (* (neg d1) 3) (* (neg d1) d2)) (* (neg d1) d3)) |
(* d1 (- (- -3 d2) d3)) |
(+ (+ (* d1 3) (* d1 (neg d2))) (* d1 d3)) |
(* d1 (+ 3 (- d3 d2))) |
(+ (+ (* d1 3) (* d1 d2)) (* d1 (neg d3))) |
(* d1 (+ 3 (- d2 d3))) |
(neg (+ (+ (* (neg d1) 3) (* (neg d1) d2)) (* (neg d1) d3))) |
(* d1 (+ d3 (+ 3 d2))) |
(neg (+ (+ (* d1 3) (* d1 (neg d2))) (* d1 d3))) |
(* d1 (+ -3 (- d2 d3))) |
(neg (+ (+ (* d1 3) (* d1 d2)) (* d1 (neg d3)))) |
(* d1 (+ d3 (- -3 d2))) |
(+ (+ (* d2 3) (* d2 d1)) (* d2 d3)) |
(* d2 (+ d1 (+ 3 d3))) |
(+ (+ (* d3 3) (* d3 d2)) (* d3 d1)) |
(* d3 (+ d1 (+ 3 d2))) |
(+ (+ (* d1 3) (* d1 d3)) (* d1 d2)) |
(* d1 (+ d3 (+ 3 d2))) |
(negabs d1)
(sort d2 d3)
| 0.0ms | 1× | 0 | valid |
Compiled 33 to 11 computations (66.7% saved)
ival-true: 0.0ms (0% of total)ival-add: 0.0ms (0% of total)ival-mult: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)Loading profile data...