Herbie run
| Date: | Tuesday, April 1st, 2025 |
|---|---|
| Commit: | 1da4fb0e on main |
| Seed: | 2025091 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
| Memory: | 9 018.3 MB |
Time bar (total: 9.3s)
| 1.8s | 28 877× | 0 | valid |
| 833.0ms | 4 142× | 2 | valid |
| 1.0ms | 31× | 0 | invalid |
| 0.0ms | 5× | 1 | valid |
ival-sqrt: 758.0ms (37.2% of total)ival-div!: 494.0ms (24.3% of total)ival-mult!: 234.0ms (11.5% of total)ival-sub!: 187.0ms (9.2% of total)adjust: 104.0ms (5.1% of total)ival-log: 104.0ms (5.1% of total)ival-exp: 79.0ms (3.9% of total)ival-neg: 77.0ms (3.8% of total)| 41× | iter-limit |
| 10× | node-limit |
| 4× | unsound |
| 1× | saturated |
| 8× | node-limit |
| 8× | iter-limit |
Compiled 1 217 to 620 computations (49.1% saved)
| 3× | done |
| 1× | fuel |
Compiled 370 to 141 computations (61.9% saved)
11 calls:
| 85.0ms | x |
| 63.0ms | (-.f64 #s(literal 1 binary64) (*.f64 x x)) |
| 62.0ms | (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) |
| 56.0ms | (*.f64 x x) |
| 47.0ms | (neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64)))) |
Compiled 446 to 370 computations (17% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
sqrt.f64 | (sqrt.f64 (*.f64 x x)) | oflow-rescue | 61 | 0 |
| ↳ | (*.f64 x x) | overflow | 61 | |
sqrt.f64 | (sqrt.f64 (*.f64 x x)) | uflow-rescue | 57 | 0 |
| ↳ | (*.f64 x x) | underflow | 57 | |
exp.f64 | (exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))) | sensitivity | 1 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 119 | 14 |
| - | 0 | 891 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 119 | 0 | 14 |
| - | 0 | 0 | 891 |
| number | freq |
|---|---|
| 0 | 905 |
| 1 | 119 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 2 | 0 | 0 |
| - | 0 | 0 | 2 |
| 90.0ms | 1 786× | 0 | valid |
| 36.0ms | 262× | 2 | valid |
Compiled 247 to 94 computations (61.9% saved)
ival-mult!: 17.0ms (23.7% of total)ival-sqrt: 14.0ms (19.5% of total)ival-div!: 11.0ms (15.4% of total)ival-sub!: 7.0ms (9.8% of total)ival-log: 7.0ms (9.8% of total)adjust: 6.0ms (8.4% of total)ival-neg: 5.0ms (7% of total)ival-exp: 4.0ms (5.6% of total)Compiled 49 488 to 8 569 computations (82.7% saved)
Compiled 2 397 to 1 465 computations (38.9% saved)
42 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 28.0ms | x | @ | 0 | ((neg (log (- (/ 1 x) 1))) (log x) x (neg (log (- (/ 1 x) 1))) (+ (log x) x) (neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (+ (* 1/2 x) 1) 1/2 1 (neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (- (/ 1 x) 1) (/ (- 1 x) x) (- 1 x)) |
| 22.0ms | x | @ | 0 | ((/ 1 (/ (E) (pow (exp (neg x)) (neg x)))) 1 (/ (E) (pow (exp (neg x)) (neg x))) (E) (pow (exp (neg x)) (neg x)) (exp (neg x)) (neg x) x (/ 1 (/ (E) (pow (exp x) x))) (/ (E) (pow (exp x) x)) (/ 1 (/ (E) (pow (exp x) x))) (/ (E) (pow (exp x) x)) (pow (exp x) x) (+ (* x x) 1) (/ 1 (/ (E) (pow (exp x) x))) (/ (E) (pow (exp x) x)) (+ (* (+ (* (+ (* (* (neg x) x) (+ (* 1/2 (E)) (* (E) -1/3))) (* 1/2 (E))) (* x x)) (neg (E))) (* x x)) (E)) (+ (* (+ (* (* (neg x) x) (+ (* 1/2 (E)) (* (E) -1/3))) (* 1/2 (E))) (* x x)) (neg (E))) (+ (* (* (neg x) x) (+ (* 1/2 (E)) (* (E) -1/3))) (* 1/2 (E))) (* (neg x) x) (+ (* 1/2 (E)) (* (E) -1/3)) 1/2 (* (E) -1/3) -1/3 (* 1/2 (E)) (* x x) (neg (E)) (pow (exp (- x -1)) (- x 1)) (exp (- x -1)) (- x -1) -1 (- x 1)) |
| 18.0ms | x | @ | inf | ((neg (log (- (/ 1 x) 1))) (+ (log x) x) x (neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (* (* x x) 1/2) (* x x) 1/2 (neg (log (- (/ 1 x) 1))) (+ x (+ (* (* x x) 1/2) (log x))) (+ (* (* x x) 1/2) (log x)) (log x)) |
| 17.0ms | x | @ | -inf | ((neg (log (- (/ 1 x) 1))) (log x) x (neg (log (- (/ 1 x) 1))) (+ (log x) x) (neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (+ (* 1/2 x) 1) 1/2 1 (neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (- (/ 1 x) 1) (/ (- 1 x) x) (- 1 x)) |
| 13.0ms | x | @ | inf | ((neg (log (- (/ 1 x) 1))) (log x) x (neg (log (- (/ 1 x) 1))) (+ (log x) x) (neg (log (- (/ 1 x) 1))) (+ (* (+ (* 1/2 x) 1) x) (log x)) (+ (* 1/2 x) 1) 1/2 1 (neg (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)) (- (/ 1 x) 1) (/ (- 1 x) x) (- 1 x)) |
| 3× | binary-search |
| 2× | narrow-enough |
| 1× | predicate-same |
| 10.0ms | 208× | 0 | valid |
| 4.0ms | 32× | 2 | valid |
| 1.0ms | 16× | 1 | valid |
Compiled 469 to 386 computations (17.7% saved)
ival-div!: 2.0ms (22% of total)ival-sqrt: 2.0ms (22% of total)ival-mult!: 2.0ms (22% of total)adjust: 1.0ms (11% of total)ival-exp: 1.0ms (11% of total)ival-sub!: 1.0ms (11% of total)ival-neg: 0.0ms (0% of total)| 9× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 11.1% | 11.1% | 88.8% | 0.1% | 0% | 0% | 0% | 1 |
| 17.7% | 16.7% | 77.7% | 0.1% | 0% | 5.6% | 0% | 2 |
| 25% | 22.2% | 66.6% | 0.1% | 0% | 11.1% | 0% | 3 |
| 29% | 25% | 61% | 0.1% | 0% | 13.9% | 0% | 4 |
| 31.2% | 26.4% | 58.3% | 0.1% | 0% | 15.3% | 0% | 5 |
| 32.2% | 27.1% | 56.9% | 0.1% | 0% | 16% | 0% | 6 |
| 32.8% | 27.4% | 56.2% | 0.1% | 0% | 16.3% | 0% | 7 |
| 33.1% | 27.6% | 55.8% | 0.1% | 0% | 16.5% | 0% | 8 |
| 33.2% | 27.7% | 55.7% | 0.1% | 0% | 16.6% | 0% | 9 |
| 33.3% | 27.7% | 55.6% | 0.1% | 0% | 16.6% | 0% | 10 |
| 33.3% | 27.7% | 55.5% | 0.1% | 0% | 16.6% | 0% | 11 |
| 33.3% | 27.8% | 55.5% | 0.1% | 0% | 16.6% | 0% | 12 |
Compiled 153 to 106 computations (30.7% saved)
Loading profile data...