Herbie run

Date:Saturday, November 16th, 2024
Commit:0eab00dd on varun10p-egglog
Hostname:nightly with Racket 8.10
Seed:2024321
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofsgenerate:egglog
default

Time bar (total: 6.1min)

sample4.0min (64.7%)

Memory
2 455.2MiB live, 351 130.1MiB allocated
Samples
2.3min2 146 462×0valid
15.3s68 141×1valid
7.0s64 208×0invalid
1.2s5 648×2valid
734.0ms1 194×5exit
379.0ms1 774×1invalid
190.0ms381×4exit
151.0ms611×3valid
4.0ms33×1exit
0.0ms2×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-mult: 31.9s (31.5% of total)
ival-add: 13.7s (13.5% of total)
ival-sub: 13.6s (13.4% of total)
ival-div: 12.4s (12.3% of total)
ival-log: 6.9s (6.8% of total)
const: 4.8s (4.7% of total)
ival-sqrt: 3.6s (3.6% of total)
ival-sin: 3.1s (3.1% of total)
adjust: 2.4s (2.4% of total)
ival-cos: 2.3s (2.2% of total)
ival-true: 1.7s (1.7% of total)
ival-exp: 1.5s (1.5% of total)
exact: 1.0s (1% of total)
ival-assert: 912.0ms (0.9% of total)
ival-cosh: 206.0ms (0.2% of total)
ival-fabs: 201.0ms (0.2% of total)
ival-tan: 197.0ms (0.2% of total)
ival-acos: 177.0ms (0.2% of total)
ival-hypot: 146.0ms (0.1% of total)
ival-sinh: 137.0ms (0.1% of total)
ival-tanh: 91.0ms (0.1% of total)
Bogosity

explain30.2s (8.2%)

Memory
-1 702.3MiB live, 48 296.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15872
/.f64#fo/n12500
sqrt.f64#foflow-rescue7750
/.f64#fo/o6250
-.f64#fcancellation6077
*.f64#fn*o5370
-.f64#fnan-rescue5020
+.f64#fnan-rescue4910
cos.f64#fsensitivity3620
/.f64#fn/o3420
+.f64#fcancellation3320
/.f64#fu/n2750
sin.f64#fsensitivity2320
*.f64#fn*u1790
/.f64#fn/u1510
cos.f64#foflow-rescue1500
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity1060
log.f64#foflow-rescue890
/.f64#fu/u630
log.f64#fuflow-rescue580
sqrt.f64#fuflow-rescue430
exp.f64#fsensitivity305
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue290
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow29
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue290
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow29
*.f64#fo*u280
*.f64#fu*o20
Confusion
Predicted +Predicted -
+6211175
-173160747
Precision
0.782044824981113
Recall
0.9725963044159098
Confusion?
Predicted +Predicted MaybePredicted -
+62115170
-17311160736
Precision?
0.7811007790902237
Recall?
0.9733792671468838
Freqs
test
numberfreq
060922
17127
2724
369
418
54
Total Confusion?
Predicted +Predicted MaybePredicted -
+13900
-21127
Precision?
0.9788732394366197
Recall?
1.0
Samples
9.5s130 430×0valid
1.5s6 072×1valid
440.0ms1 152×2valid
26.0ms74×3valid
Compiler

Compiled 34 663 to 10 844 computations (68.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-mult: 2.0s (31% of total)
ival-sub: 833.0ms (12.8% of total)
ival-add: 809.0ms (12.4% of total)
ival-div: 760.0ms (11.7% of total)
ival-log: 635.0ms (9.8% of total)
const: 300.0ms (4.6% of total)
adjust: 249.0ms (3.8% of total)
ival-sin: 203.0ms (3.1% of total)
ival-sqrt: 162.0ms (2.5% of total)
ival-cos: 158.0ms (2.4% of total)
ival-true: 119.0ms (1.8% of total)
ival-exp: 81.0ms (1.2% of total)
exact: 63.0ms (1% of total)
ival-assert: 57.0ms (0.9% of total)
ival-tan: 13.0ms (0.2% of total)
ival-cosh: 11.0ms (0.2% of total)
ival-fabs: 11.0ms (0.2% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-hypot: 8.0ms (0.1% of total)
ival-tanh: 6.0ms (0.1% of total)
ival-acos: 4.0ms (0.1% of total)

localize27.2s (7.4%)

Memory
41.6MiB live, 42 760.7MiB allocated
Samples
15.7s179 251×0valid
3.1s10 243×1valid
818.0ms1 859×2valid
49.0ms135×3valid
Compiler

Compiled 183 759 to 22 105 computations (88% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.4s
ival-mult: 3.2s (30.4% of total)
ival-sub: 1.4s (13.3% of total)
ival-add: 1.3s (12.8% of total)
ival-log: 1.1s (11% of total)
ival-div: 1.1s (10.2% of total)
const: 540.0ms (5.2% of total)
adjust: 442.0ms (4.2% of total)
ival-sqrt: 282.0ms (2.7% of total)
ival-cos: 268.0ms (2.6% of total)
ival-sin: 258.0ms (2.5% of total)
ival-true: 148.0ms (1.4% of total)
ival-exp: 140.0ms (1.3% of total)
exact: 90.0ms (0.9% of total)
ival-assert: 77.0ms (0.7% of total)
ival-tan: 21.0ms (0.2% of total)
ival-hypot: 17.0ms (0.2% of total)
ival-cosh: 14.0ms (0.1% of total)
ival-tanh: 12.0ms (0.1% of total)
ival-fabs: 9.0ms (0.1% of total)
ival-acos: 8.0ms (0.1% of total)
ival-sinh: 7.0ms (0.1% of total)

regimes20.6s (5.6%)

Memory
-243.2MiB live, 37 701.7MiB allocated
Counts
7 225 → 1 776
Calls

487 calls:

2.8s
x
2.6s
y
2.1s
z
1.5s
t
865.0ms
a
Compiler

Compiled 28 129 to 42 415 computations (-50.8% saved)

series13.4s (3.7%)

Memory
511.7MiB live, 22 777.2MiB allocated
Counts
5 316 → 32 185
Calls

7254 calls:

TimeVariablePointExpression
60.0ms
x
@0
((* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))) (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))) (* y (- (log z) t)) (log (- 1 z)) (* a (- (log (- 1 z)) b)))
57.0ms
z
@0
((+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (- (+ (log (+ x y)) (log z)) t) (+ (log (+ x y)) (log z)) (log (+ x y)) (* (- a 1/2) (log t)))
55.0ms
x
@0
((/ (* x (exp (- (+ (* y (log z)) (* (- t 1) (log a))) b))) y) (* x (exp (- (+ (* y (log z)) (* (- t 1) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1) (log a))) b)) (- (+ (* y (log z)) (* (- t 1) (log a))) b) (* y (log z)) (* (- t 1) (log a)))
54.0ms
x
@0
((+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (+ (+ (+ (* x (log y)) z) t) a) (+ (+ (* x (log y)) z) t) (* x (log y)) (* (- b 1/2) (log c)) (+ (* x (log y)) z))
47.0ms
x
@0
((- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (* x (log y)) (log y) (log (- 1 y)) (* z (log (- 1 y))))

analyze13.3s (3.6%)

Memory
-186.4MiB live, 21 071.3MiB allocated
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.8%46.8%53.1%0.1%0%0%0%1
50.5%50.1%49.2%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.3%0.1%0%5.6%0%8
84.3%79.3%14.7%0.1%0%5.9%0%9
85.9%80.5%13.2%0.1%0%6.2%0%10
88.5%82.8%10.8%0.1%0%6.2%0%11
89.6%83.6%9.8%0.1%0%6.5%0%12
Compiler

Compiled 3 462 to 2 977 computations (14% saved)

preprocess8.8s (2.4%)

Memory
-358.3MiB live, 15 751.5MiB allocated
Algorithm
269×egg-herbie
Compiler

Compiled 82 558 to 21 864 computations (73.5% saved)

bsearch7.4s (2%)

Memory
145.8MiB live, 11 070.3MiB allocated
Algorithm
447×binary-search
189×left-value
Stop Event
443×narrow-enough
4×predicate-same
Samples
3.8s45 500×0valid
540.0ms2 338×1valid
85.0ms969×0invalid
6.0ms10×4valid
5.0ms27×2valid
2.0ms13×3valid
Compiler

Compiled 234 710 to 150 084 computations (36.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.8s
ival-mult: 1.0s (36.5% of total)
ival-sub: 434.0ms (15.6% of total)
ival-add: 413.0ms (14.8% of total)
ival-div: 236.0ms (8.5% of total)
ival-log: 187.0ms (6.7% of total)
ival-sqrt: 105.0ms (3.8% of total)
adjust: 87.0ms (3.1% of total)
const: 86.0ms (3.1% of total)
ival-sin: 62.0ms (2.2% of total)
ival-true: 36.0ms (1.3% of total)
ival-cos: 35.0ms (1.3% of total)
ival-exp: 26.0ms (0.9% of total)
exact: 21.0ms (0.8% of total)
ival-assert: 19.0ms (0.7% of total)
ival-acos: 10.0ms (0.4% of total)
ival-tanh: 5.0ms (0.2% of total)
ival-cosh: 4.0ms (0.1% of total)
ival-sinh: 2.0ms (0.1% of total)

prune3.7s (1%)

Memory
250.6MiB live, 6 743.6MiB allocated
Counts
15 553 → 4 728
Compiler

Compiled 234 969 to 113 112 computations (51.9% saved)

simplify2.8s (0.8%)

Memory
213.3MiB live, 5 182.6MiB allocated
Algorithm
1 739×egg-herbie
Counts
32 185 → 5 289

eval1.5s (0.4%)

Memory
-577.9MiB live, 2 836.2MiB allocated
Compiler

Compiled 444 547 to 25 982 computations (94.2% saved)

rewrite491.0ms (0.1%)

Memory
-139.6MiB live, 805.2MiB allocated
Counts
5 316 → 5 316

soundness266.0ms (0.1%)

Memory
23.3MiB live, 494.4MiB allocated
Stop Event
210×done
33×fuel
Compiler

Compiled 33 858 to 5 662 computations (83.3% saved)

start8.0ms (0%)

Memory
-23.9MiB live, 14.6MiB allocated

end1.0ms (0%)

Memory
3.8MiB live, 3.5MiB allocated

Profiling

Loading profile data...