Herbie run

Date:Thursday, July 25th, 2024
Commit:2a1d9f8a on ir-cleanup
Hostname:nightly with Racket 8.11.1
Seed:2024207
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: 6.8min)

simplify1.6min (24.2%)

Memory
129.7MiB live, 115 695.6MiB allocated
Algorithm
340×egg-herbie
Rules
2 419 562×lower-fma.f32
2 418 966×lower-fma.f64
879 800×lower-*.f32
878 370×lower-*.f64
515 668×lower-+.f32
Stop Event
423×iter limit
199×node limit
165×saturated
Counts
30 252 → 29 446

sample1.2min (17.3%)

Memory
866.5MiB live, 87 262.9MiB allocated
Samples
28.5s285 463×0valid
11.8s24 963×2valid
10.6s35 776×1valid
558.0ms4 157×0invalid
160.0ms453×3valid
159.0ms987×0exit
79.0ms101×4exit
65.0ms101×3exit
31.0ms97×4valid
8.0ms14×5exit
5.0ms39×1exit
Precisions
Click to see histograms. Total time spent on operations: 41.1s
ival-mult: 9.2s (22.3% of total)
ival-add: 4.6s (11.3% of total)
ival-div: 3.9s (9.6% of total)
adjust: 3.8s (9.2% of total)
ival-pow: 3.3s (8.1% of total)
ival-<=: 3.1s (7.6% of total)
const: 3.0s (7.3% of total)
ival-sub: 2.7s (6.7% of total)
ival-sin: 2.1s (5.2% of total)
ival-cos: 1.5s (3.6% of total)
ival-exp: 598.0ms (1.5% of total)
ival-sqrt: 564.0ms (1.4% of total)
ival-neg: 533.0ms (1.3% of total)
exact: 477.0ms (1.2% of total)
ival-and: 347.0ms (0.8% of total)
ival-pow2: 323.0ms (0.8% of total)
ival-assert: 152.0ms (0.4% of total)
ival-==: 149.0ms (0.4% of total)
ival-true: 142.0ms (0.3% of total)
ival-log1p: 97.0ms (0.2% of total)
ival-tan: 85.0ms (0.2% of total)
ival-expm1: 76.0ms (0.2% of total)
ival-atan: 74.0ms (0.2% of total)
ival-<: 62.0ms (0.2% of total)
ival-hypot: 39.0ms (0.1% of total)
ival-pi: 36.0ms (0.1% of total)
ival-if: 4.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)
Bogosity

rewrite59.8s (14.7%)

Memory
447.9MiB live, 78 994.8MiB allocated
Algorithm
149×batch-egg-rewrite
Rules
734 894×lower-fma.f32
734 298×lower-fma.f64
593 808×lower-*.f32
592 392×lower-*.f64
472 024×lower-/.f32
Stop Event
291×iter limit
136×node limit
26×saturated
2×unsound
Counts
1 588 → 94 884

soundness47.5s (11.6%)

Memory
-201.1MiB live, 25 764.5MiB allocated
Rules
1 367 706×lower-fma.f32
1 367 418×lower-fma.f64
705 156×lower-*.f32
704 374×lower-*.f64
373 366×lower-/.f32
Stop Event
243×iter limit
155×node limit
25×fuel
17×done
8×saturated
2×unsound
Compiler

Compiled 18 014 to 7 717 computations (57.2% saved)

prune33.2s (8.1%)

Memory
-839.5MiB live, 40 356.8MiB allocated
Counts
151 747 → 2 186
Compiler

Compiled 83 715 to 39 692 computations (52.6% saved)

eval31.1s (7.6%)

Memory
947.8MiB live, 43 068.5MiB allocated
Compiler

Compiled 5 103 308 to 342 949 computations (93.3% saved)

localize19.1s (4.7%)

Memory
-386.6MiB live, 25 577.0MiB allocated
Samples
7.3s32 330×0valid
1.9s2 026×2valid
1.7s2 813×1valid
631.0ms205×5exit
186.0ms157×3valid
168.0ms584×0invalid
94.0ms29×4valid
Compiler

Compiled 26 205 to 3 382 computations (87.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.2s
ival-mult: 2.8s (33.8% of total)
ival-add: 1.4s (17.7% of total)
ival-div: 1.2s (14.8% of total)
const: 821.0ms (10.1% of total)
adjust: 684.0ms (8.4% of total)
ival-pow: 391.0ms (4.8% of total)
ival-sub: 282.0ms (3.5% of total)
ival-exp: 92.0ms (1.1% of total)
ival-neg: 89.0ms (1.1% of total)
ival-sqrt: 84.0ms (1% of total)
ival-cos: 62.0ms (0.8% of total)
exact: 55.0ms (0.7% of total)
ival-sin: 51.0ms (0.6% of total)
ival-atan: 48.0ms (0.6% of total)
ival-true: 31.0ms (0.4% of total)
ival-expm1: 18.0ms (0.2% of total)
ival-assert: 15.0ms (0.2% of total)
ival-log1p: 10.0ms (0.1% of total)
ival-pow2: 6.0ms (0.1% of total)
ival-tan: 6.0ms (0.1% of total)
ival-pi: 4.0ms (0% of total)

preprocess16.3s (4%)

Memory
146.0MiB live, 17 052.9MiB allocated
Algorithm
42×egg-herbie
Rules
284 538×lower-fma.f32
284 536×lower-fma.f64
55 266×lower-*.f32
55 078×lower-*.f64
37 652×lower-+.f32
Stop Event
82×iter limit
54×saturated
32×node limit
Compiler

Compiled 22 258 to 6 412 computations (71.2% saved)

explain12.1s (3%)

Memory
-108.4MiB live, 14 866.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13460
+.f64#fcancellation35994
sqrt.f64#foflow-rescue2180
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2170
/.f64#fo/o1660
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1620
/.f64#fn/o1310
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1130
/.f64#fu/n730
/.f64#fu/u650
-.f64#fnan-rescue630
/.f64#fn/u440
+.f64#fnan-rescue420
*.f64#fn*u420
/.f64#fo/n390
*.f64#fn*o300
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue240
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow29
↳(/.f64 i n)overflow24
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow24
sqrt.f64#fuflow-rescue80
Confusion
Predicted +Predicted -
+3578485
-1066583
Precision
0.9712269272529859
Recall
0.8806300762983017
Confusion?
Predicted +Predicted MaybePredicted -
+3578157328
-1061936390
Precision?
0.9258800198314329
Recall?
0.9192714742800886
Freqs
test
numberfreq
07068
13243
2404
337
Total Confusion?
Predicted +Predicted MaybePredicted -
+2911
-209
Precision?
0.9375
Recall?
0.967741935483871
Samples
2.1s16 886×0valid
954.0ms1 974×2valid
548.0ms2 532×1valid
61.0ms44×5exit
46.0ms62×3valid
2.0ms6×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult: 797.0ms (33.5% of total)
ival-div: 269.0ms (11.3% of total)
adjust: 246.0ms (10.3% of total)
ival-add: 241.0ms (10.1% of total)
ival-sub: 200.0ms (8.4% of total)
ival-pow: 175.0ms (7.4% of total)
ival-neg: 100.0ms (4.2% of total)
ival-sin: 92.0ms (3.9% of total)
ival-cos: 82.0ms (3.4% of total)
const: 42.0ms (1.8% of total)
ival-exp: 29.0ms (1.2% of total)
ival-sqrt: 22.0ms (0.9% of total)
exact: 22.0ms (0.9% of total)
ival-true: 19.0ms (0.8% of total)
ival-pow2: 18.0ms (0.8% of total)
ival-assert: 9.0ms (0.4% of total)
ival-atan: 5.0ms (0.2% of total)
ival-log1p: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.2% of total)
ival-expm1: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

regimes6.9s (1.7%)

Memory
-86.9MiB live, 10 382.7MiB allocated
Counts
5 133 → 543
Calls

96 calls:

801.0ms
x
383.0ms
b
328.0ms
v
308.0ms
a
262.0ms
c
Compiler

Compiled 10 937 to 5 606 computations (48.7% saved)

bsearch5.0s (1.2%)

Memory
86.0MiB live, 6 784.4MiB allocated
Algorithm
175×binary-search
82×left-value
Stop Event
169×narrow-enough
6×predicate-same
Samples
1.6s16 139×0valid
759.0ms1 477×2valid
650.0ms3 086×1valid
225.0ms2 731×0invalid
80.0ms108×3valid
3.0ms6×4valid
Compiler

Compiled 38 968 to 25 982 computations (33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 652.0ms (25.1% of total)
ival-pow: 604.0ms (23.2% of total)
ival-div: 370.0ms (14.2% of total)
ival-add: 313.0ms (12% of total)
ival-sub: 285.0ms (11% of total)
adjust: 174.0ms (6.7% of total)
ival-neg: 66.0ms (2.5% of total)
ival-exp: 58.0ms (2.2% of total)
ival-sqrt: 24.0ms (0.9% of total)
exact: 22.0ms (0.8% of total)
ival-true: 17.0ms (0.7% of total)
ival-assert: 9.0ms (0.3% of total)
ival-pi: 3.0ms (0.1% of total)
ival-expm1: 1.0ms (0% of total)

analyze4.5s (1.1%)

Memory
-83.6MiB live, 5 104.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 402 to 721 computations (48.6% saved)

series3.1s (0.8%)

Memory
-6.7MiB live, 4 164.4MiB allocated
Counts
1 588 → 30 252
Calls

6198 calls:

TimeVariablePointExpression
162.0ms
r
@inf
(* (/ (+ (* v -1/4) 3/8) (- 1 v)) (* r w))
45.0ms
b
@inf
(* b c)
40.0ms
eps
@0
(+ (+ (+ -1 eps) (/ (+ -1 eps) eps)) (+ (* (* 1/2 x) (+ (* (+ -1 eps) (+ (+ -1 eps) (/ (+ -1 eps) eps))) (* (+ (- -1 eps) (/ (+ eps 1) eps)) (- -1 eps)))) (+ (- -1 eps) (/ (+ eps 1) eps))))
40.0ms
x2
@-inf
(+ (* 2 (+ (* x2 -2) 3)) (+ (* 3 (+ (* x2 2) 3)) (+ (* x2 14) -6)))
38.0ms
c
@inf
(+ (* c c) (* d d))

end0.0ms (0%)

Memory
1.1MiB live, 1.0MiB allocated

Profiling

Loading profile data...