Herbie run

Date:Thursday, July 25th, 2024
Commit:3139208f on main
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: 40.7min)

simplify9.7min (23.8%)

Memory
939.8MiB live, 670 657.9MiB allocated
Algorithm
2 133×egg-herbie
Rules
13 195 534×lower-fma.f32
13 192 290×lower-fma.f64
5 086 496×lower-*.f32
5 079 050×lower-*.f64
2 789 116×lower-+.f32
Stop Event
2 759×iter limit
1 155×node limit
1 015×saturated
Counts
244 476 → 237 991

rewrite6.8min (16.6%)

Memory
1 115.2MiB live, 485 277.1MiB allocated
Algorithm
932×batch-egg-rewrite
Rules
5 362 590×lower-fma.f32
5 359 348×lower-fma.f64
3 846 772×lower-*.f32
3 839 422×lower-*.f64
3 146 260×lower-/.f32
Stop Event
1 909×iter limit
886×node limit
52×saturated
16×unsound
Counts
9 284 → 562 727

sample6.0min (14.6%)

Memory
723.2MiB live, 394 098.3MiB allocated
Samples
3.6min2 146 860×0valid
21.4s65 258×1valid
10.9s64 500×0invalid
2.3s8 162×2valid
1.4s1 314×5exit
1.3s394×4exit
514.0ms1 718×1invalid
146.0ms478×3valid
117.0ms106×4valid
2.0ms20×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-mult: 46.8s (32.7% of total)
ival-sub: 19.8s (13.8% of total)
ival-add: 18.4s (12.9% of total)
ival-div: 18.0s (12.6% of total)
ival-log: 9.4s (6.6% of total)
ival-sqrt: 5.5s (3.8% of total)
const: 5.3s (3.7% of total)
adjust: 4.5s (3.1% of total)
ival-sin: 3.9s (2.7% of total)
ival-cos: 3.4s (2.4% of total)
ival-exp: 2.3s (1.6% of total)
ival-true: 1.6s (1.1% of total)
exact: 1.0s (0.7% of total)
ival-assert: 931.0ms (0.7% of total)
ival-fabs: 569.0ms (0.4% of total)
ival-acos: 566.0ms (0.4% of total)
ival-tan: 505.0ms (0.4% of total)
ival-cosh: 200.0ms (0.1% of total)
ival-sinh: 174.0ms (0.1% of total)
ival-hypot: 145.0ms (0.1% of total)
ival-tanh: 90.0ms (0.1% of total)
Bogosity

soundness5.5min (13.4%)

Memory
-536.1MiB live, 176 261.0MiB allocated
Rules
8 762 316×lower-fma.f32
8 760 746×lower-fma.f64
4 467 876×lower-*.f32
4 463 996×lower-*.f64
2 474 556×lower-/.f32
Stop Event
1 536×iter limit
1 000×node limit
150×fuel
119×done
17×saturated
7×unsound
Compiler

Compiled 145 492 to 72 227 computations (50.4% saved)

prune3.0min (7.3%)

Memory
-3 258.1MiB live, 237 498.3MiB allocated
Counts
895 061 → 15 177
Compiler

Compiled 523 312 to 286 061 computations (45.3% saved)

eval2.9min (7.1%)

Memory
3 529.1MiB live, 232 985.9MiB allocated
Compiler

Compiled 23 565 080 to 1 804 879 computations (92.3% saved)

regimes1.7min (4.2%)

Memory
-387.8MiB live, 127 961.3MiB allocated
Counts
45 461 → 5 079
Calls

511 calls:

15.4s
y
12.8s
x
9.6s
z
5.8s
t
3.9s
a
Compiler

Compiled 78 976 to 58 667 computations (25.7% saved)

localize1.5min (3.7%)

Memory
-1 347.7MiB live, 117 350.8MiB allocated
Samples
47.1s224 518×0valid
5.0s7 643×1valid
3.5s3 236×2valid
565.0ms2 008×0invalid
506.0ms304×5exit
400.0ms123×4valid
257.0ms259×3valid
170.0ms359×0exit
114.0ms126×2exit
9.0ms16×1exit
Compiler

Compiled 96 775 to 18 900 computations (80.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 36.2s
ival-mult: 12.6s (34.8% of total)
ival-div: 6.4s (17.7% of total)
ival-add: 4.9s (13.6% of total)
ival-sub: 3.3s (9.2% of total)
const: 2.4s (6.6% of total)
ival-cos: 1.0s (2.9% of total)
adjust: 984.0ms (2.7% of total)
ival-log: 872.0ms (2.4% of total)
ival-sqrt: 831.0ms (2.3% of total)
ival-sin: 664.0ms (1.8% of total)
ival-neg: 641.0ms (1.8% of total)
ival-pow: 339.0ms (0.9% of total)
ival-exp: 319.0ms (0.9% of total)
exact: 206.0ms (0.6% of total)
ival-true: 179.0ms (0.5% of total)
ival-expm1: 164.0ms (0.5% of total)
ival-assert: 90.0ms (0.2% of total)
ival-log1p: 46.0ms (0.1% of total)
ival-tan: 45.0ms (0.1% of total)
ival-pow2: 33.0ms (0.1% of total)
ival-acos: 29.0ms (0.1% of total)
ival-cosh: 27.0ms (0.1% of total)
ival-fabs: 26.0ms (0.1% of total)
ival-sinh: 12.0ms (0% of total)
ival-tanh: 11.0ms (0% of total)
ival-hypot: 9.0ms (0% of total)
ival-asin: 6.0ms (0% of total)
ival-pi: 4.0ms (0% of total)

preprocess1.5min (3.6%)

Memory
143.7MiB live, 92 268.5MiB 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 163 112 to 48 506 computations (70.3% saved)

bsearch44.8s (1.8%)

Memory
-304.6MiB live, 52 197.3MiB allocated
Algorithm
1 529×binary-search
1 356×left-value
Stop Event
1 502×narrow-enough
26×predicate-same
1×predicate-failed
Samples
26.8s188 527×0valid
1.9s5 763×1valid
350.0ms4 343×0invalid
36.0ms148×2valid
13.0ms43×1invalid
8.0ms70×1exit
1.0ms7×4valid
1.0ms3×3valid
Compiler

Compiled 359 484 to 264 007 computations (26.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.4s
ival-mult: 9.2s (44.9% of total)
ival-sub: 3.9s (19.1% of total)
ival-add: 2.2s (10.8% of total)
ival-div: 1.7s (8.2% of total)
ival-log: 962.0ms (4.7% of total)
const: 714.0ms (3.5% of total)
ival-sin: 474.0ms (2.3% of total)
ival-cos: 346.0ms (1.7% of total)
ival-exp: 175.0ms (0.9% of total)
ival-sqrt: 173.0ms (0.8% of total)
adjust: 168.0ms (0.8% of total)
ival-true: 139.0ms (0.7% of total)
ival-tanh: 90.0ms (0.4% of total)
ival-assert: 90.0ms (0.4% of total)
exact: 73.0ms (0.4% of total)
ival-cosh: 40.0ms (0.2% of total)
ival-sinh: 8.0ms (0% of total)

explain43.4s (1.8%)

Memory
-948.0MiB live, 57 150.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15572
/.f64#fo/n12130
sqrt.f64#foflow-rescue7460
-.f64#fcancellation61910
/.f64#fo/o5610
*.f64#fn*o5090
+.f64#fnan-rescue4670
-.f64#fnan-rescue4220
cos.f64#fsensitivity3550
/.f64#fn/o3300
+.f64#fcancellation3054
/.f64#fu/n2410
sin.f64#fsensitivity2091
*.f64#fn*u1610
cos.f64#foflow-rescue1390
/.f64#fn/u1350
log.f64#foflow-rescue960
/.f64#fu/u910
log.f64#fuflow-rescue860
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity801
sqrt.f64#fuflow-rescue680
exp.f64#fsensitivity381
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue350
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow35
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue350
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow35
*.f64#fo*u340
*.f64#fu*o20
Confusion
Predicted +Predicted -
+5939220
-171460991
Precision
0.7760355416176663
Recall
0.9642799155707096
Confusion?
Predicted +Predicted MaybePredicted -
+59395215
-17141460977
Precision?
0.7747653806047967
Recall?
0.9650917356713752
Freqs
test
numberfreq
061211
16874
2708
349
415
56
71
Total Confusion?
Predicted +Predicted MaybePredicted -
+13400
-20133
Precision?
0.9852941176470589
Recall?
1.0
Samples
12.6s130 630×0valid
2.1s5 554×1valid
1.2s1 474×2valid
13.0ms50×3valid
7.0ms10×4valid
7.0ms10×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 9.2s
ival-mult: 2.8s (30.7% of total)
ival-add: 1.5s (15.9% of total)
ival-sub: 1.1s (12.2% of total)
ival-div: 991.0ms (10.8% of total)
ival-log: 867.0ms (9.5% of total)
const: 432.0ms (4.7% of total)
adjust: 389.0ms (4.2% of total)
ival-sqrt: 258.0ms (2.8% of total)
ival-sin: 200.0ms (2.2% of total)
ival-cos: 183.0ms (2% of total)
ival-exp: 151.0ms (1.6% of total)
ival-true: 110.0ms (1.2% of total)
exact: 66.0ms (0.7% of total)
ival-assert: 52.0ms (0.6% of total)
ival-cosh: 32.0ms (0.3% of total)
ival-fabs: 14.0ms (0.2% of total)
ival-tan: 11.0ms (0.1% of total)
ival-sinh: 9.0ms (0.1% of total)
ival-hypot: 8.0ms (0.1% of total)
ival-tanh: 6.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

series29.4s (1.2%)

Memory
482.9MiB live, 38 822.8MiB allocated
Counts
9 284 → 244 476
Calls

44298 calls:

TimeVariablePointExpression
184.0ms
x
@0
(* x (log y))
139.0ms
z
@0
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t)))
139.0ms
x
@0
(* x (log (/ x y)))
126.0ms
x
@0
(/ x (- y t))
125.0ms
z
@inf
(* (* x y) z)

analyze18.0s (0.7%)

Memory
19.3MiB live, 24 423.7MiB 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.9MiB live, 4.4MiB allocated

Profiling

Loading profile data...