Herbie run

Date:Thursday, July 4th, 2024
Commit:333f5f95 on zane-job-places
Hostname:nightly with Racket 8.11.1
Seed:2024186
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 5.6min)

sample1.2min (21%)

Memory
683.1MiB live, 87 774.5MiB allocated
Samples
31.1s285 254×0valid
14.6s43 845×1valid
6.3s17 202×2valid
485.0ms4 241×0invalid
342.0ms451×3valid
179.0ms990×0exit
118.0ms101×4exit
88.0ms101×3exit
1.0ms1×1exit
Precisions
Click to see histograms. Total time spent on operations: 40.1s
ival-mult: 10.0s (24.9% of total)
ival-add: 4.7s (11.8% of total)
ival-pow: 4.2s (10.5% of total)
ival-sub: 3.4s (8.5% of total)
ival-div: 3.3s (8.3% of total)
...in/eval/compile.rkt:111:19: 3.3s (8.1% of total)
ival-<=: 2.4s (5.9% of total)
ival-sin: 1.9s (4.8% of total)
adjust: 1.6s (3.9% of total)
ival-cos: 1.3s (3.4% of total)
ival-neg: 717.0ms (1.8% of total)
ival-exp: 621.0ms (1.5% of total)
ival-sqrt: 537.0ms (1.3% of total)
ival-==: 396.0ms (1% of total)
...in/eval/compile.rkt:110:19: 359.0ms (0.9% of total)
ival-and: 344.0ms (0.9% of total)
ival-pow2: 242.0ms (0.6% of total)
ival-true: 139.0ms (0.3% of total)
ival-tan: 133.0ms (0.3% of total)
ival-assert: 132.0ms (0.3% of total)
ival-expm1: 85.0ms (0.2% of total)
ival-log1p: 75.0ms (0.2% of total)
ival-atan: 72.0ms (0.2% of total)
ival-<: 58.0ms (0.1% of total)
ival-pi: 31.0ms (0.1% of total)
ival-hypot: 28.0ms (0.1% of total)
ival-if: 5.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)
Bogosity

simplify1.1min (19.5%)

Memory
1 021.1MiB live, 62 378.7MiB allocated
Algorithm
327×egg-herbie
Rules
106 496×fma-define
86 149×fmm-def
72 377×distribute-lft-in
63 063×distribute-rgt-in
52 294×times-frac
Stop Event
213×node limit
113×saturated
1×unsound
Counts
71 536 → 69 701

soundness41.8s (12.3%)

Memory
-269.4MiB live, 31 555.8MiB allocated
Rules
36 609×fma-define
33 080×log1p-expm1-u
31 963×fmm-def
28 240×expm1-log1p-u
26 579×distribute-lft-in
Stop Event
137×node limit
25×fuel
17×done
9×saturated
1×unsound
Compiler

Compiled 27 581 to 8 241 computations (70.1% saved)

rewrite34.5s (10.2%)

Memory
-83.3MiB live, 31 536.4MiB allocated
Algorithm
140×batch-egg-rewrite
Rules
80 177×log1p-expm1-u
64 192×expm1-log1p-u
30 911×pow1
29 124×add-exp-log
27 982×add-log-exp
Stop Event
140×node limit
Counts
1 462 → 45 907

localize31.1s (9.2%)

Memory
-247.5MiB live, 32 076.0MiB allocated
Samples
7.4s29 753×0valid
2.5s2 788×1valid
2.4s1 990×2valid
1.3s311×5exit
1.2s906×1exit
512.0ms139×3valid
294.0ms1 087×0invalid
83.0ms19×4valid
39.0ms126×0exit
6.0ms1×5valid
Compiler

Compiled 30 005 to 3 533 computations (88.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.8s
ival-mult: 2.5s (22.7% of total)
ival-div: 1.4s (12.9% of total)
ival-add: 1.2s (10.9% of total)
ival-pow: 1.0s (9.6% of total)
adjust: 841.0ms (7.8% of total)
...in/eval/compile.rkt:111:19: 803.0ms (7.4% of total)
ival-sub: 708.0ms (6.6% of total)
ival-expm1: 525.0ms (4.9% of total)
ival-tan: 449.0ms (4.2% of total)
ival-pow2: 362.0ms (3.4% of total)
ival-log1p: 244.0ms (2.3% of total)
ival-exp: 157.0ms (1.5% of total)
ival-sin: 154.0ms (1.4% of total)
ival-sqrt: 102.0ms (0.9% of total)
ival-cos: 95.0ms (0.9% of total)
ival-neg: 75.0ms (0.7% of total)
ival-cbrt: 55.0ms (0.5% of total)
ival-hypot: 47.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 43.0ms (0.4% of total)
ival-true: 32.0ms (0.3% of total)
ival-atan: 16.0ms (0.1% of total)
ival-log: 16.0ms (0.1% of total)
ival-assert: 15.0ms (0.1% of total)
ival-pi: 4.0ms (0% of total)
ival-e: 2.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)
ival-copysign: 1.0ms (0% of total)

prune24.9s (7.3%)

Memory
-595.7MiB live, 36 809.6MiB allocated
Counts
105 581 → 2 042
Compiler

Compiled 75 344 to 38 686 computations (48.7% saved)

eval22.7s (6.7%)

Memory
570.7MiB live, 31 205.8MiB allocated
Compiler

Compiled 2 878 670 to 394 552 computations (86.3% saved)

explain11.1s (3.3%)

Memory
-246.2MiB live, 15 026.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13511
+.f64#fcancellation36384
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2220
sqrt.f64#foflow-rescue2040
/.f64#fo/o1790
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1660
/.f64#fn/o1630
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1210
/.f64#fu/n960
-.f64#fnan-rescue770
/.f64#fn/u660
/.f64#fu/u420
+.f64#fnan-rescue390
*.f64#fn*u340
/.f64#fo/n300
*.f64#fn*o290
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue200
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow28
↳(/.f64 i n)overflow20
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow20
sqrt.f64#fuflow-rescue120
Confusion
Predicted +Predicted -
+3614491
-1256522
Precision
0.9665686012302754
Recall
0.8803897685749087
Confusion?
Predicted +Predicted MaybePredicted -
+3614167324
-1251746348
Precision?
0.9267156862745098
Recall?
0.9210718635809988
Freqs
test
numberfreq
07013
13295
2393
351
Total Confusion?
Predicted +Predicted MaybePredicted -
+2911
-209
Precision?
0.9375
Recall?
0.967741935483871
Samples
1.8s16 830×0valid
1.3s3 156×1valid
626.0ms1 470×2valid
20.0ms46×3valid
2.0ms2×4valid
Compiler

Compiled 8 444 to 1 926 computations (77.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 692.0ms (27% of total)
ival-pow: 463.0ms (18.1% of total)
ival-add: 277.0ms (10.8% of total)
ival-sub: 228.0ms (8.9% of total)
ival-div: 224.0ms (8.8% of total)
...in/eval/compile.rkt:111:19: 174.0ms (6.8% of total)
adjust: 105.0ms (4.1% of total)
ival-sin: 103.0ms (4% of total)
ival-exp: 102.0ms (4% of total)
ival-cos: 69.0ms (2.7% of total)
ival-sqrt: 22.0ms (0.9% of total)
ival-neg: 21.0ms (0.8% of total)
ival-true: 19.0ms (0.7% of total)
ival-pow2: 17.0ms (0.7% of total)
...in/eval/compile.rkt:110:19: 16.0ms (0.6% of total)
ival-assert: 9.0ms (0.4% of total)
ival-log1p: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.2% of total)
ival-atan: 4.0ms (0.2% of total)
ival-expm1: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

preprocess10.3s (3%)

Memory
-335.1MiB live, 9 618.0MiB allocated
Algorithm
42×egg-herbie
Rules
18 502×fmm-def
16 342×fma-define
9 180×sub-neg
8 997×unsub-neg
7 628×distribute-rgt-in
Stop Event
22×node limit
20×saturated
Compiler

Compiled 20 836 to 7 336 computations (64.8% saved)

bsearch8.6s (2.5%)

Memory
-242.0MiB live, 10 049.3MiB allocated
Algorithm
249×binary-search
27×left-value
Stop Event
233×narrow-enough
16×predicate-same
Samples
3.9s26 194×0valid
1.1s4 009×1valid
417.0ms1 246×2valid
144.0ms2 124×0invalid
13.0ms44×0exit
4.0ms7×3valid
Compiler

Compiled 70 823 to 42 911 computations (39.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.2s
ival-mult: 1.5s (35% of total)
ival-add: 822.0ms (19.7% of total)
ival-div: 650.0ms (15.5% of total)
ival-pow: 586.0ms (14% of total)
ival-sub: 307.0ms (7.3% of total)
adjust: 107.0ms (2.6% of total)
ival-exp: 73.0ms (1.7% of total)
ival-neg: 60.0ms (1.4% of total)
ival-sqrt: 35.0ms (0.8% of total)
ival-true: 25.0ms (0.6% of total)
...in/eval/compile.rkt:110:19: 23.0ms (0.6% of total)
ival-assert: 13.0ms (0.3% of total)
ival-pow2: 12.0ms (0.3% of total)
...in/eval/compile.rkt:111:19: 3.0ms (0.1% of total)
ival-pi: 1.0ms (0% of total)

regimes6.5s (1.9%)

Memory
71.2MiB live, 8 174.2MiB allocated
Counts
4 507 → 562
Calls

96 calls:

652.0ms
x
546.0ms
b
478.0ms
a
365.0ms
d
271.0ms
c
Compiler

Compiled 3 908 to 2 481 computations (36.5% saved)

series5.7s (1.7%)

Memory
-16.5MiB live, 8 214.9MiB allocated
Counts
1 462 → 25 629
Calls

6795 calls:

TimeVariablePointExpression
182.0ms
d
@-inf
(+ c d)
115.0ms
x2
@inf
(/ (- (+ (* x1 (* x1 3)) (* 2 x2)) x1) (+ (* x1 x1) 1))
108.0ms
b
@-inf
(* (+ a b) b)
94.0ms
x1
@0
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
75.0ms
b
@0
(/ 1 (* a (/ 2 (+ b (sqrt (+ (* a (* c -4)) (pow b 2)))))))

analyze4.3s (1.3%)

Memory
34.1MiB live, 5 367.3MiB allocated
Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
48.7%26.2%27.7%45.5%0%0.6%0%3
57.7%30.7%22.6%45.5%0%1.2%0%4
71.2%37.7%15.3%45.5%0%1.6%0%5
72.9%38.4%14.3%45.5%0%1.8%0%6
77.9%40.7%11.6%45.5%0%2.2%0%7
81.5%42.6%9.7%45.5%0%2.3%0%8
84.1%43.8%8.3%45.5%0%2.5%0%9
86.2%44.6%7.2%45.5%0%2.7%0%10
88.2%45.6%6.1%45.5%0%2.8%0%11
89.1%45.9%5.6%45.5%0%2.9%0%12
Compiler

Compiled 1 401 to 721 computations (48.5% saved)

end0.0ms (0%)

Memory
1.1MiB live, 1.0MiB allocated

Profiling

Loading profile data...