Herbie run

Date:Tuesday, July 30th, 2024
Commit:752bd163 on egraph-no-cost-localization
Hostname:nightly with Racket 8.11.1
Seed:2024212
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: 41.5min)

simplify9.9min (23.8%)

Memory
-79.0MiB live, 688 683.3MiB allocated
Algorithm
2 169×egg-herbie
Rules
13 653 240×lower-fma.f32
13 649 934×lower-fma.f64
5 218 242×lower-*.f32
5 210 688×lower-*.f64
2 877 636×lower-+.f32
Stop Event
2 816×iter limit
1 188×node limit
1 015×saturated
Counts
249 108 → 242 653

rewrite6.6min (16%)

Memory
736.2MiB live, 496 249.5MiB allocated
Algorithm
950×batch-egg-rewrite
Rules
5 501 660×lower-fma.f32
5 498 362×lower-fma.f64
3 917 302×lower-*.f32
3 909 846×lower-*.f64
3 188 224×lower-/.f32
Stop Event
1 943×iter limit
904×node limit
51×saturated
15×unsound
Counts
9 461 → 581 179

sample6.3min (15.2%)

Memory
1 224.8MiB live, 395 258.9MiB allocated
Samples
3.9min2 146 428×0valid
20.4s65 381×1valid
11.0s64 449×0invalid
3.4s1 358×5exit
3.0s8 436×2valid
375.0ms1 734×1invalid
215.0ms389×4exit
100.0ms502×3valid
96.0ms117×4valid
3.0ms25×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.9min
ival-mult: 59.3s (34.2% of total)
ival-div: 31.5s (18.2% of total)
ival-sub: 21.5s (12.4% of total)
ival-add: 21.1s (12.2% of total)
ival-log: 10.0s (5.8% of total)
const: 6.7s (3.9% of total)
ival-sqrt: 5.3s (3.1% of total)
ival-sin: 4.0s (2.3% of total)
adjust: 3.3s (1.9% of total)
ival-cos: 3.0s (1.8% of total)
ival-exp: 2.1s (1.2% of total)
ival-true: 1.6s (0.9% of total)
exact: 1.1s (0.6% of total)
ival-assert: 871.0ms (0.5% of total)
ival-tan: 436.0ms (0.3% of total)
ival-cosh: 374.0ms (0.2% of total)
ival-sinh: 196.0ms (0.1% of total)
ival-fabs: 188.0ms (0.1% of total)
ival-acos: 180.0ms (0.1% of total)
ival-tanh: 152.0ms (0.1% of total)
ival-hypot: 146.0ms (0.1% of total)
Bogosity

soundness5.7min (13.6%)

Memory
-386.9MiB live, 183 935.9MiB allocated
Rules
8 613 636×lower-fma.f32
8 611 878×lower-fma.f64
4 555 334×lower-*.f32
4 551 304×lower-*.f64
2 579 978×lower-/.f32
Stop Event
1 584×iter limit
1 023×node limit
158×fuel
111×done
17×saturated
6×unsound
Compiler

Compiled 156 801 to 76 798 computations (51% saved)

prune2.9min (6.9%)

Memory
-6 104.7MiB live, 245 172.4MiB allocated
Counts
919 152 → 16 018
Compiler

Compiled 569 549 to 309 428 computations (45.7% saved)

eval2.8min (6.8%)

Memory
5 218.7MiB live, 235 061.0MiB allocated
Compiler

Compiled 23 959 494 to 1 835 998 computations (92.3% saved)

regimes2.0min (4.7%)

Memory
-824.7MiB live, 139 452.9MiB allocated
Counts
52 055 → 5 132
Calls

513 calls:

15.8s
z
15.0s
y
14.8s
x
6.4s
t
4.2s
a
Compiler

Compiled 80 341 to 59 883 computations (25.5% saved)

localize1.8min (4.3%)

Memory
-1 608.9MiB live, 120 889.1MiB allocated
Samples
52.6s226 521×0valid
4.9s7 077×1valid
4.3s3 825×2valid
1.6s3 999×0invalid
424.0ms382×5exit
315.0ms390×2exit
225.0ms299×3valid
210.0ms91×4valid
181.0ms406×0exit
90.0ms210×1exit
Compiler

Compiled 103 262 to 19 256 computations (81.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 44.7s
ival-mult: 21.7s (48.6% of total)
ival-div: 6.0s (13.5% of total)
ival-add: 5.5s (12.3% of total)
const: 2.6s (5.8% of total)
ival-sub: 2.0s (4.5% of total)
adjust: 1.3s (2.9% of total)
ival-log: 1.0s (2.3% of total)
ival-cos: 847.0ms (1.9% of total)
ival-neg: 812.0ms (1.8% of total)
ival-sqrt: 729.0ms (1.6% of total)
ival-sin: 713.0ms (1.6% of total)
ival-pow: 291.0ms (0.7% of total)
ival-exp: 238.0ms (0.5% of total)
exact: 203.0ms (0.5% of total)
ival-true: 195.0ms (0.4% of total)
ival-assert: 105.0ms (0.2% of total)
ival-pow2: 95.0ms (0.2% of total)
ival-acos: 71.0ms (0.2% of total)
ival-log1p: 57.0ms (0.1% of total)
ival-tan: 54.0ms (0.1% of total)
ival-tanh: 37.0ms (0.1% of total)
ival-fabs: 34.0ms (0.1% of total)
ival-hypot: 18.0ms (0% of total)
ival-cosh: 17.0ms (0% of total)
ival-sinh: 11.0ms (0% of total)
ival-pi: 6.0ms (0% of total)
ival-asin: 5.0ms (0% of total)
ival-expm1: 4.0ms (0% of total)

preprocess1.5min (3.6%)

Memory
358.9MiB live, 95 018.3MiB allocated
Algorithm
269×egg-herbie
Rules
845 124×lower-fma.f64
845 124×lower-fma.f32
193 164×unsub-neg
192 664×lower-*.f32
191 630×lower-*.f64
Stop Event
538×iter limit
394×saturated
144×node limit
Compiler

Compiled 165 720 to 46 348 computations (72% saved)

explain41.9s (1.7%)

Memory
-519.5MiB live, 60 146.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15903
/.f64#fo/n12620
sqrt.f64#foflow-rescue7820
-.f64#fcancellation5988
/.f64#fo/o5590
*.f64#fn*o5110
+.f64#fnan-rescue5070
-.f64#fnan-rescue4850
cos.f64#fsensitivity3772
/.f64#fn/o3270
+.f64#fcancellation3203
/.f64#fu/n2550
sin.f64#fsensitivity2250
*.f64#fn*u1670
cos.f64#foflow-rescue1390
/.f64#fn/u1300
/.f64#fu/u1030
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity1010
log.f64#foflow-rescue960
log.f64#fuflow-rescue720
sqrt.f64#fuflow-rescue450
*.f64#fo*u320
exp.f64#fsensitivity265
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue240
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow24
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue240
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow24
*.f64#fu*o30
Confusion
Predicted +Predicted -
+6166207
-172960762
Precision
0.7810006333122229
Recall
0.967519221716617
Confusion?
Predicted +Predicted MaybePredicted -
+61665202
-17291460748
Precision?
0.7797573919636088
Recall?
0.9683037815785345
Freqs
test
numberfreq
060969
17114
2710
359
411
51
Total Confusion?
Predicted +Predicted MaybePredicted -
+13600
-30130
Precision?
0.9784172661870504
Recall?
1.0
Samples
12.8s130 370×0valid
1.9s5 670×1valid
746.0ms1 550×2valid
60.0ms8×4valid
47.0ms118×3valid
6.0ms12×5exit
Compiler

Compiled 29 004 to 10 844 computations (62.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.9s
ival-mult: 3.0s (33.8% of total)
ival-sub: 1.2s (13.9% of total)
ival-div: 1.1s (12.7% of total)
ival-add: 972.0ms (10.9% of total)
ival-log: 915.0ms (10.3% of total)
const: 322.0ms (3.6% of total)
ival-cos: 280.0ms (3.1% of total)
adjust: 258.0ms (2.9% of total)
ival-sin: 208.0ms (2.3% of total)
ival-sqrt: 155.0ms (1.7% of total)
ival-true: 119.0ms (1.3% of total)
ival-exp: 102.0ms (1.1% of total)
exact: 67.0ms (0.8% of total)
ival-assert: 56.0ms (0.6% of total)
ival-cosh: 17.0ms (0.2% of total)
ival-tan: 11.0ms (0.1% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-hypot: 9.0ms (0.1% of total)
ival-tanh: 8.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

series32.8s (1.3%)

Memory
1 455.6MiB live, 43 401.0MiB allocated
Counts
9 461 → 249 108
Calls

45129 calls:

TimeVariablePointExpression
920.0ms
x
@inf
(+ x (* y (- z x)))
376.0ms
x
@0
(/ -1 (* y (/ -3 x)))
254.0ms
z
@-inf
(/ 1 (+ (* x (log y)) (+ (* z (log (+ 1 (neg y)))) (neg t))))
212.0ms
y
@-inf
(log (/ x y))
205.0ms
y
@-inf
(/ (- 1 (+ z (log z))) (* (- (* (- 1 z) (- 1 z)) (pow (log z) 2)) y))

bsearch30.7s (1.2%)

Memory
184.0MiB live, 39 409.9MiB allocated
Algorithm
1 615×binary-search
1 276×left-value
Stop Event
1 580×narrow-enough
34×predicate-same
1×predicate-failed
Samples
17.7s130 264×0valid
932.0ms3 358×1valid
167.0ms2 321×0invalid
43.0ms120×2valid
0.0ms1×3valid
0.0ms1×1exit
Compiler

Compiled 415 061 to 300 068 computations (27.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.8s
ival-mult: 5.7s (44.2% of total)
ival-sub: 2.1s (16.7% of total)
ival-add: 2.0s (15.8% of total)
ival-div: 744.0ms (5.8% of total)
ival-log: 626.0ms (4.9% of total)
ival-sin: 374.0ms (2.9% of total)
ival-cos: 353.0ms (2.7% of total)
const: 324.0ms (2.5% of total)
ival-sqrt: 117.0ms (0.9% of total)
ival-exp: 114.0ms (0.9% of total)
adjust: 113.0ms (0.9% of total)
ival-true: 98.0ms (0.8% of total)
ival-assert: 53.0ms (0.4% of total)
exact: 47.0ms (0.4% of total)
ival-cosh: 16.0ms (0.1% of total)
ival-tanh: 8.0ms (0.1% of total)
ival-sinh: 2.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)

analyze19.6s (0.8%)

Memory
104.0MiB live, 24 288.2MiB 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)

end2.0ms (0%)

Memory
4.7MiB live, 4.3MiB allocated

Profiling

Loading profile data...