Herbie run

Date:Saturday, August 17th, 2024
Commit:4554f346 on faster-egg
Hostname:nightly with Racket 8.11.1
Seed:2024230
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: 37.3min)

simplify6.4min (17.1%)

Memory
4 176.7MiB live, 331 213.9MiB allocated
Algorithm
2 135×egg-herbie
Rules
6 964 662×lower-fma.f32
6 962 973×lower-fma.f64
2 650 057×lower-*.f32
2 646 158×lower-*.f64
1 528 458×lower-+.f32
Stop Event
2 785×iter limit
1 232×node limit
917×saturated
Counts
355 308 → 346 898

sample6.0min (16.2%)

Memory
831.9MiB live, 351 473.4MiB allocated
Samples
3.7min2 147 011×0valid
22.5s67 479×1valid
11.6s63 846×0invalid
1.6s5 779×2valid
1.2s1 281×5exit
788.0ms1 775×1invalid
250.0ms406×4exit
142.0ms592×3valid
2.0ms18×1exit
1.0ms3×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.7min
ival-mult: 57.6s (36% of total)
ival-sub: 22.1s (13.8% of total)
ival-add: 21.4s (13.4% of total)
ival-div: 19.2s (12% of total)
ival-log: 9.8s (6.1% of total)
ival-sqrt: 5.7s (3.5% of total)
const: 5.4s (3.4% of total)
ival-sin: 3.7s (2.3% of total)
ival-cos: 3.7s (2.3% of total)
adjust: 2.8s (1.8% of total)
ival-exp: 2.1s (1.3% of total)
ival-true: 1.7s (1.1% of total)
ival-fabs: 1.2s (0.7% of total)
exact: 1.1s (0.7% of total)
ival-assert: 945.0ms (0.6% of total)
ival-acos: 354.0ms (0.2% of total)
ival-hypot: 348.0ms (0.2% of total)
ival-cosh: 248.0ms (0.2% of total)
ival-tan: 247.0ms (0.2% of total)
ival-sinh: 139.0ms (0.1% of total)
ival-tanh: 128.0ms (0.1% of total)
Bogosity

soundness5.3min (14.2%)

Memory
235.8MiB live, 156 363.8MiB allocated
Rules
4 000 310×lower-fma.f32
3 999 671×lower-fma.f64
2 114 748×lower-*.f32
2 113 098×lower-*.f64
1 150 057×lower-/.f32
Stop Event
1 373×iter limit
937×node limit
151×fuel
118×done
19×saturated
3×unsound
Compiler

Compiled 160 384 to 72 747 computations (54.6% saved)

rewrite4.9min (13.2%)

Memory
-196.9MiB live, 287 695.3MiB allocated
Rules
2 518 565×lower-fma.f32
2 516 887×lower-fma.f64
1 985 409×lower-*.f32
1 981 559×lower-*.f64
1 692 120×lower-/.f32
Stop Event
1 912×iter limit
905×node limit
20×saturated
16×unsound
Counts
11 561 → 482 704

prune3.5min (9.5%)

Memory
-6 608.2MiB live, 271 450.9MiB allocated
Counts
914 985 → 14 938
Compiler

Compiled 560 849 to 286 228 computations (49% saved)

eval3.4min (9%)

Memory
3 140.1MiB live, 225 377.7MiB allocated
Compiler

Compiled 24 019 218 to 1 635 554 computations (93.2% saved)

localize2.0min (5.4%)

Memory
-334.7MiB live, 129 861.6MiB allocated
Samples
59.1s221 679×0valid
11.4s11 140×1valid
4.2s3 018×2valid
739.0ms1 727×0invalid
475.0ms283×3valid
442.0ms382×2exit
272.0ms560×0exit
40.0ms17×5exit
32.0ms31×1exit
23.0ms11×4valid
Compiler

Compiled 141 416 to 23 021 computations (83.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.2s
ival-mult: 17.9s (33.8% of total)
ival-add: 9.2s (17.2% of total)
ival-div: 8.4s (15.9% of total)
ival-sub: 4.4s (8.2% of total)
const: 3.0s (5.7% of total)
adjust: 2.4s (4.4% of total)
ival-log: 1.8s (3.3% of total)
ival-neg: 1.3s (2.4% of total)
ival-sqrt: 1.1s (2.1% of total)
ival-cos: 1.1s (2% of total)
ival-sin: 660.0ms (1.2% of total)
ival-pow: 608.0ms (1.1% of total)
ival-exp: 352.0ms (0.7% of total)
exact: 257.0ms (0.5% of total)
ival-true: 200.0ms (0.4% of total)
ival-pow2: 119.0ms (0.2% of total)
ival-assert: 106.0ms (0.2% of total)
ival-tan: 72.0ms (0.1% of total)
ival-log1p: 51.0ms (0.1% of total)
ival-expm1: 46.0ms (0.1% of total)
ival-cosh: 36.0ms (0.1% of total)
ival-fabs: 31.0ms (0.1% of total)
ival-acos: 23.0ms (0% of total)
ival-sinh: 17.0ms (0% of total)
ival-hypot: 17.0ms (0% of total)
ival-tanh: 16.0ms (0% of total)
ival-asin: 3.0ms (0% of total)
ival-pi: 2.0ms (0% of total)
ival-copysign: 2.0ms (0% of total)

regimes1.9min (5%)

Memory
-604.6MiB live, 121 370.5MiB allocated
Counts
45 153 → 5 095
Calls

511 calls:

15.5s
x
13.6s
y
11.6s
z
7.9s
t
4.2s
a
Compiler

Compiled 79 322 to 59 280 computations (25.3% saved)

preprocess1.4min (3.7%)

Memory
1 139.7MiB live, 67 320.6MiB allocated
Algorithm
269×egg-herbie
Rules
422 562×lower-fma.f64
422 562×lower-fma.f32
96 582×unsub-neg
96 332×lower-*.f32
95 815×lower-*.f64
Stop Event
538×iter limit
394×saturated
144×node limit
Compiler

Compiled 189 751 to 53 374 computations (71.9% saved)

series53.3s (2.4%)

Memory
-1 044.9MiB live, 56 435.0MiB allocated
Counts
11 561 → 355 308
Calls

36783 calls:

TimeVariablePointExpression
298.0ms
y2
@inf
(neg (* y2 (+ (neg (* a y5)) (* c y4))))
272.0ms
x
@0
(* x (log (/ x y)))
233.0ms
y
@0
(* y (log y))
223.0ms
x
@0
(+ x (* y (log y)))
215.0ms
x
@inf
(* x (log (/ x y)))

explain45.3s (2%)

Memory
-1 746.5MiB live, 50 219.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15862
/.f64#fo/n11190
sqrt.f64#foflow-rescue8300
/.f64#fo/o5760
-.f64#fcancellation5527
*.f64#fn*o5380
+.f64#fnan-rescue5060
-.f64#fnan-rescue4880
/.f64#fn/o3350
cos.f64#fsensitivity3271
+.f64#fcancellation3032
/.f64#fu/n2760
sin.f64#fsensitivity2270
*.f64#fn*u1880
/.f64#fn/u1670
cos.f64#foflow-rescue1450
/.f64#fu/u1090
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity950
log.f64#foflow-rescue770
log.f64#fuflow-rescue720
sqrt.f64#fuflow-rescue470
*.f64#fo*u350
exp.f64#fsensitivity326
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue310
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow31
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue310
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow31
*.f64#fu*o20
Confusion
Predicted +Predicted -
+6058186
-174860872
Precision
0.776069689982065
Recall
0.970211402946829
Confusion?
Predicted +Predicted MaybePredicted -
+60584182
-17481260860
Precision?
0.7749936077729481
Recall?
0.9708520179372198
Freqs
test
numberfreq
061058
17022
2700
368
412
54
Total Confusion?
Predicted +Predicted MaybePredicted -
+13602
-30128
Precision?
0.9784172661870504
Recall?
0.9855072463768116
Samples
14.5s130 578×0valid
2.2s5 848×1valid
800.0ms1 214×2valid
299.0ms84×3valid
1.0ms2×4valid
1.0ms2×5exit
Compiler

Compiled 25 261 to 8 402 computations (66.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.5s
ival-mult: 3.3s (34.8% of total)
ival-sub: 1.4s (14.3% of total)
ival-add: 1.2s (12.2% of total)
ival-div: 968.0ms (10.2% of total)
ival-log: 681.0ms (7.1% of total)
adjust: 498.0ms (5.2% of total)
const: 342.0ms (3.6% of total)
ival-sqrt: 328.0ms (3.4% of total)
ival-sin: 295.0ms (3.1% of total)
ival-cos: 163.0ms (1.7% of total)
ival-true: 123.0ms (1.3% of total)
ival-exp: 95.0ms (1% of total)
exact: 67.0ms (0.7% of total)
ival-assert: 60.0ms (0.6% of total)
ival-tan: 11.0ms (0.1% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-sinh: 10.0ms (0.1% of total)
ival-hypot: 9.0ms (0.1% of total)
ival-tanh: 7.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

bsearch31.3s (1.4%)

Memory
43.0MiB live, 34 311.2MiB allocated
Algorithm
1 706×binary-search
1 198×left-value
Stop Event
1 685×narrow-enough
21×predicate-same
Samples
17.9s129 678×0valid
1.3s4 115×1valid
576.0ms4 016×0invalid
34.0ms249×1invalid
29.0ms104×2valid
1.0ms7×3valid
Compiler

Compiled 448 153 to 300 191 computations (33% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.0s
ival-mult: 5.3s (41% of total)
ival-sub: 2.8s (21.5% of total)
ival-add: 1.3s (9.8% of total)
ival-div: 997.0ms (7.7% of total)
ival-log: 793.0ms (6.1% of total)
ival-cos: 439.0ms (3.4% of total)
const: 416.0ms (3.2% of total)
ival-sin: 304.0ms (2.3% of total)
ival-exp: 187.0ms (1.4% of total)
adjust: 134.0ms (1% of total)
ival-true: 105.0ms (0.8% of total)
ival-sqrt: 90.0ms (0.7% of total)
ival-assert: 57.0ms (0.4% of total)
exact: 53.0ms (0.4% of total)
ival-tanh: 18.0ms (0.1% of total)
ival-sinh: 6.0ms (0% of total)
ival-cosh: 5.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)

analyze17.3s (0.8%)

Memory
145.7MiB live, 22 460.5MiB 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)

start4.0ms (0%)

Memory
9.4MiB live, 9.1MiB allocated

end2.0ms (0%)

Memory
4.6MiB live, 4.3MiB allocated

Profiling

Loading profile data...