Herbie run

Date:Thursday, June 20th, 2024
Commit:aefdd770 on main
Hostname:nightly with Racket 8.11.1
Seed:2024172
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.3min (22.4%)

Memory
580.8MiB live, 83 849.6MiB allocated
Samples
32.4s275 813×0valid
16.7s54 482×1valid
6.7s16 379×2valid
370.0ms4 295×0invalid
311.0ms202×5exit
129.0ms931×0exit
32.0ms78×3valid
Precisions
Click to see histograms. Total time spent on operations: 42.3s
ival-mult: 10.4s (24.5% of total)
ival-add: 4.8s (11.2% of total)
ival-pow: 4.4s (10.3% of total)
ival-div: 4.3s (10.2% of total)
ival-sub: 3.4s (7.9% of total)
...in/eval/compile.rkt:77:19: 3.0s (7.1% of total)
ival-sin: 2.0s (4.8% of total)
ival-<=: 1.9s (4.4% of total)
adjust: 1.6s (3.9% of total)
ival-log: 981.0ms (2.3% of total)
ival-exp: 939.0ms (2.2% of total)
ival-cos: 880.0ms (2.1% of total)
ival-neg: 855.0ms (2% of total)
ival-sqrt: 707.0ms (1.7% of total)
...in/eval/compile.rkt:76:19: 343.0ms (0.8% of total)
ival-<: 343.0ms (0.8% of total)
ival-and: 327.0ms (0.8% of total)
ival-==: 304.0ms (0.7% of total)
ival-pow2: 301.0ms (0.7% of total)
ival-atan: 203.0ms (0.5% of total)
ival-true: 138.0ms (0.3% of total)
ival-assert: 128.0ms (0.3% of total)
ival-pi: 111.0ms (0.3% of total)
ival-tan: 51.0ms (0.1% of total)
ival-if: 7.0ms (0% of total)
ival-fabs: 6.0ms (0% of total)
Bogosity

simplify1.2min (20.7%)

Memory
711.7MiB live, 67 437.4MiB allocated
Algorithm
342×egg-herbie
Rules
114 392×fma-define
93 215×fmm-def
76 259×distribute-lft-in
65 621×distribute-rgt-in
58 770×times-frac
Stop Event
229×node limit
113×saturated
Counts
75 455 → 72 308

rewrite37.4s (11.1%)

Memory
-1.5MiB live, 33 077.4MiB allocated
Algorithm
148×batch-egg-rewrite
Rules
93 037×log1p-expm1-u
69 567×expm1-log1p-u
32 961×pow1
30 582×add-exp-log
28 061×add-log-exp
Stop Event
148×node limit
Counts
1 524 → 48 985

soundness35.9s (10.6%)

Memory
21.5MiB live, 29 142.3MiB allocated
Rules
38 349×fma-define
33 229×log1p-expm1-u
30 389×fmm-def
26 602×distribute-lft-in
26 575×expm1-log1p-u
Stop Event
136×node limit
26×fuel
16×done
8×saturated
Compiler

Compiled 26 240 to 8 318 computations (68.3% saved)

prune25.3s (7.5%)

Memory
-631.5MiB live, 36 589.3MiB allocated
Counts
106 922 → 2 089
Compiler

Compiled 67 039 to 37 010 computations (44.8% saved)

localize24.5s (7.3%)

Memory
-115.6MiB live, 33 659.9MiB allocated
Samples
7.0s30 689×0valid
4.0s1 182×5exit
2.7s1 603×2valid
2.5s3 935×1valid
393.0ms1 176×0invalid
166.0ms111×3valid
67.0ms208×0exit
33.0ms8×4valid
Compiler

Compiled 26 797 to 3 552 computations (86.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.3s
ival-mult: 3.0s (24.2% of total)
ival-div: 1.3s (10.7% of total)
ival-add: 1.3s (10.5% of total)
ival-pow: 1.2s (10% of total)
adjust: 1.0s (8.2% of total)
ival-log1p: 710.0ms (5.8% of total)
...in/eval/compile.rkt:77:19: 683.0ms (5.6% of total)
ival-sub: 681.0ms (5.6% of total)
ival-expm1: 458.0ms (3.7% of total)
ival-sin: 352.0ms (2.9% of total)
ival-exp: 318.0ms (2.6% of total)
ival-pow2: 288.0ms (2.3% of total)
ival-neg: 281.0ms (2.3% of total)
ival-tan: 256.0ms (2.1% of total)
ival-sqrt: 106.0ms (0.9% of total)
ival-cbrt: 60.0ms (0.5% of total)
ival-hypot: 54.0ms (0.4% of total)
...in/eval/compile.rkt:76:19: 49.0ms (0.4% of total)
ival-log: 44.0ms (0.4% of total)
ival-cos: 44.0ms (0.4% of total)
ival-true: 34.0ms (0.3% of total)
ival-atan: 25.0ms (0.2% of total)
ival-assert: 19.0ms (0.2% of total)
ival-pi: 4.0ms (0% of total)
ival-e: 2.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)

eval24.2s (7.2%)

Memory
211.4MiB live, 32 334.8MiB allocated
Compiler

Compiled 2 747 340 to 395 632 computations (85.6% saved)

preprocess10.5s (3.1%)

Memory
-54.5MiB live, 9 565.3MiB 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 18 250 to 7 202 computations (60.5% saved)

explain9.7s (2.9%)

Memory
97.0MiB live, 15 091.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13320
+.f64#fcancellation37687
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2070
sqrt.f64#foflow-rescue1960
/.f64#fo/o1700
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1580
/.f64#fn/o1530
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1170
/.f64#fu/n840
-.f64#fnan-rescue780
/.f64#fn/u580
/.f64#fo/n430
/.f64#fu/u390
*.f64#fn*u360
+.f64#fnan-rescue350
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue170
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow41
↳(/.f64 i n)overflow17
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow17
*.f64#fn*o150
sqrt.f64#fuflow-rescue100
exp.f64#fsensitivity40
Confusion
Predicted +Predicted -
+3555487
-1186592
Precision
0.9678736727470733
Recall
0.8795150915388421
Confusion?
Predicted +Predicted MaybePredicted -
+3555162325
-1181826410
Precision?
0.9253174010455564
Recall?
0.9195942602671945
Freqs
test
numberfreq
07079
13245
2381
347
Total Confusion?
Predicted +Predicted MaybePredicted -
+3011
-208
Precision?
0.9393939393939394
Recall?
0.96875
Samples
1.8s16 364×0valid
1.3s3 794×1valid
868.0ms1 334×2valid
8.0ms10×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.9s
ival-mult: 885.0ms (30.8% of total)
ival-sin: 520.0ms (18.1% of total)
ival-pow: 298.0ms (10.4% of total)
ival-sub: 258.0ms (9% of total)
ival-div: 250.0ms (8.7% of total)
ival-add: 245.0ms (8.5% of total)
adjust: 105.0ms (3.7% of total)
ival-log: 72.0ms (2.5% of total)
...in/eval/compile.rkt:77:19: 46.0ms (1.6% of total)
ival-exp: 42.0ms (1.5% of total)
ival-cos: 36.0ms (1.3% of total)
ival-neg: 26.0ms (0.9% of total)
ival-sqrt: 22.0ms (0.8% of total)
ival-true: 19.0ms (0.7% of total)
...in/eval/compile.rkt:76:19: 15.0ms (0.5% of total)
ival-pow2: 14.0ms (0.5% of total)
ival-assert: 8.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

bsearch7.6s (2.3%)

Memory
97.8MiB live, 9 251.3MiB allocated
Algorithm
244×binary-search
17×left-value
Stop Event
229×narrow-enough
15×predicate-same
Samples
3.3s24 198×0valid
1.1s4 945×1valid
276.0ms425×2valid
253.0ms2 591×0invalid
2.0ms16×0exit
Compiler

Compiled 56 325 to 37 825 computations (32.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.6s
ival-div: 868.0ms (23.9% of total)
ival-mult: 839.0ms (23.1% of total)
ival-pow: 626.0ms (17.3% of total)
ival-add: 471.0ms (13% of total)
ival-sub: 469.0ms (12.9% of total)
ival-exp: 110.0ms (3% of total)
adjust: 96.0ms (2.6% of total)
ival-neg: 43.0ms (1.2% of total)
ival-sqrt: 33.0ms (0.9% of total)
ival-true: 23.0ms (0.6% of total)
...in/eval/compile.rkt:76:19: 20.0ms (0.6% of total)
ival-pow2: 12.0ms (0.3% of total)
ival-assert: 12.0ms (0.3% of total)
ival-log: 4.0ms (0.1% of total)
ival-pi: 1.0ms (0% of total)

series6.7s (2%)

Memory
-74.0MiB live, 9 096.2MiB allocated
Counts
1 524 → 26 470
Calls

7122 calls:

TimeVariablePointExpression
245.0ms
t
@-inf
(- 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (exp (neg (log t)))))
134.0ms
x
@inf
(* 2 x)
129.0ms
eps
@inf
(* (pow (exp (+ 1 eps)) (neg x)) (+ 1 (/ -1 eps)))
110.0ms
c
@0
(/ (+ b (* -1 (/ (* a d) c))) c)
102.0ms
eps
@0
(* eps (+ (* 1/16 (/ eps (pow x 5))) (* 1/8 (/ 1 (pow x 3)))))

regimes5.9s (1.7%)

Memory
-106.6MiB live, 7 880.0MiB allocated
Counts
4 259 → 543
Calls

96 calls:

577.0ms
x
515.0ms
b
395.0ms
u
367.0ms
a
220.0ms
d
Compiler

Compiled 3 791 to 2 460 computations (35.1% saved)

analyze4.3s (1.3%)

Memory
-93.9MiB live, 6 252.4MiB 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
35.2%19.2%35.3%45.5%0%0%0%2
47.6%25.7%28.3%45.5%0%0.6%0%3
57.1%30.5%22.8%45.5%0%1.2%0%4
70.9%37.5%15.4%45.5%0%1.6%0%5
72.8%38.4%14.4%45.5%0%1.8%0%6
77.8%40.7%11.6%45.5%0%2.2%0%7
81.4%42.5%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 731 computations (47.8% saved)

end0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated

Profiling

Loading profile data...