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: 40.9min)

simplify9.9min (24.2%)

Memory
-835.0MiB live, 672 571.7MiB 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.7min (16.3%)

Memory
-135.2MiB live, 487 743.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

sample5.6min (13.7%)

Memory
937.2MiB live, 395 989.3MiB allocated
Samples
3.1min2 146 860×0valid
20.4s65 258×1valid
12.1s64 500×0invalid
2.5s8 162×2valid
1.4s1 314×5exit
450.0ms1 718×1invalid
228.0ms394×4exit
77.0ms478×3valid
75.0ms106×4valid
2.0ms20×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-mult: 44.4s (31.3% of total)
ival-sub: 21.0s (14.8% of total)
ival-div: 19.4s (13.7% of total)
ival-add: 19.0s (13.4% of total)
ival-log: 9.3s (6.6% of total)
ival-sqrt: 5.9s (4.1% of total)
const: 5.4s (3.8% of total)
ival-sin: 4.4s (3.1% of total)
ival-cos: 3.3s (2.3% of total)
adjust: 2.6s (1.9% of total)
ival-exp: 1.7s (1.2% of total)
ival-true: 1.6s (1.2% of total)
exact: 1.1s (0.8% of total)
ival-assert: 972.0ms (0.7% of total)
ival-fabs: 391.0ms (0.3% of total)
ival-sinh: 373.0ms (0.3% of total)
ival-cosh: 310.0ms (0.2% of total)
ival-acos: 227.0ms (0.2% of total)
ival-tan: 202.0ms (0.1% of total)
ival-hypot: 189.0ms (0.1% of total)
ival-tanh: 85.0ms (0.1% of total)
Bogosity

soundness5.6min (13.6%)

Memory
-1 086.0MiB live, 178 296.1MiB 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)

eval3.3min (8.1%)

Memory
5 354.9MiB live, 230 771.4MiB allocated
Compiler

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

prune2.7min (6.7%)

Memory
-4 435.7MiB live, 236 384.2MiB allocated
Counts
895 061 → 15 177
Compiler

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

regimes1.8min (4.5%)

Memory
-25.6MiB live, 129 677.7MiB allocated
Counts
45 461 → 5 079
Calls

511 calls:

23.8s
x
12.9s
y
10.3s
z
6.5s
t
3.9s
a
Compiler

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

localize1.5min (3.8%)

Memory
-803.0MiB live, 117 689.6MiB allocated
Samples
49.1s224 535×0valid
5.6s7 646×1valid
3.6s3 217×2valid
1.9s2 008×0invalid
526.0ms304×5exit
330.0ms122×4valid
236.0ms259×3valid
114.0ms359×0exit
65.0ms126×2exit
9.0ms16×1exit
Compiler

Compiled 101 430 to 18 900 computations (81.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 40.3s
ival-mult: 14.1s (34.9% of total)
ival-div: 7.2s (17.8% of total)
ival-add: 6.4s (15.8% of total)
const: 3.0s (7.5% of total)
ival-sub: 2.3s (5.8% of total)
ival-cos: 1.7s (4.2% of total)
ival-sqrt: 1.0s (2.6% of total)
adjust: 987.0ms (2.4% of total)
ival-log: 861.0ms (2.1% of total)
ival-neg: 717.0ms (1.8% of total)
ival-sin: 630.0ms (1.6% of total)
ival-pow: 366.0ms (0.9% of total)
exact: 203.0ms (0.5% of total)
ival-exp: 200.0ms (0.5% of total)
ival-true: 192.0ms (0.5% of total)
ival-assert: 103.0ms (0.3% of total)
ival-tan: 51.0ms (0.1% of total)
ival-pow2: 45.0ms (0.1% of total)
ival-log1p: 44.0ms (0.1% of total)
ival-acos: 34.0ms (0.1% of total)
ival-expm1: 31.0ms (0.1% of total)
ival-fabs: 24.0ms (0.1% of total)
ival-tanh: 20.0ms (0% of total)
ival-hypot: 16.0ms (0% of total)
ival-cosh: 15.0ms (0% of total)
ival-sinh: 11.0ms (0% of total)
ival-asin: 6.0ms (0% of total)
ival-pi: 6.0ms (0% of total)

preprocess1.4min (3.5%)

Memory
332.5MiB live, 92 033.9MiB 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)

bsearch43.9s (1.8%)

Memory
104.0MiB live, 52 144.0MiB 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.5s5 763×1valid
377.0ms4 343×0invalid
99.0ms148×2valid
12.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: 18.1s
ival-mult: 7.6s (41.9% of total)
ival-sub: 3.8s (20.8% of total)
ival-add: 1.9s (10.4% of total)
ival-div: 1.3s (7.4% of total)
ival-log: 1.1s (6.1% of total)
const: 782.0ms (4.3% of total)
ival-sin: 463.0ms (2.6% of total)
ival-cos: 439.0ms (2.4% of total)
adjust: 163.0ms (0.9% of total)
ival-true: 145.0ms (0.8% of total)
ival-exp: 131.0ms (0.7% of total)
ival-sqrt: 118.0ms (0.7% of total)
ival-assert: 79.0ms (0.4% of total)
exact: 77.0ms (0.4% of total)
ival-cosh: 24.0ms (0.1% of total)
ival-tanh: 12.0ms (0.1% of total)
ival-sinh: 5.0ms (0% of total)

explain43.2s (1.8%)

Memory
-574.4MiB live, 57 505.2MiB 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
13.2s130 630×0valid
2.1s5 554×1valid
704.0ms1 474×2valid
12.0ms50×3valid
6.0ms10×5exit
6.0ms10×4valid
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.2% of total)
ival-add: 1.1s (12.9% of total)
ival-log: 1.0s (11.5% of total)
ival-div: 882.0ms (9.9% of total)
const: 311.0ms (3.5% of total)
adjust: 263.0ms (2.9% of total)
ival-cos: 233.0ms (2.6% of total)
ival-sin: 219.0ms (2.5% of total)
ival-sqrt: 184.0ms (2.1% of total)
ival-true: 116.0ms (1.3% of total)
ival-exp: 88.0ms (1% of total)
ival-fabs: 83.0ms (0.9% of total)
exact: 67.0ms (0.8% of total)
ival-assert: 58.0ms (0.7% of total)
ival-cosh: 13.0ms (0.1% of total)
ival-tan: 11.0ms (0.1% of total)
ival-sinh: 10.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)

series33.0s (1.3%)

Memory
495.3MiB live, 40 571.4MiB allocated
Counts
9 284 → 244 476
Calls

44298 calls:

TimeVariablePointExpression
303.0ms
i
@-inf
(+ (* y (/ (+ (* y (+ (* y z) 54929528941/2000000)) 28832688827/125000) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))) (+ (* x (/ (pow y 4) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))) (/ t (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))))
276.0ms
x
@inf
(- 1 (/ x (* z (- t y))))
257.0ms
x
@0
(+ x (/ y (+ (* z (+ (* z (+ (* z 5641895835477563/30000000000000000) 5641895835477563/10000000000000000)) 5641895835477563/5000000000000000)) (+ (* y (neg x)) 5641895835477563/5000000000000000))))
254.0ms
x
@0
(- (* (* 2 (sqrt x)) (+ (* y (sin (* 1/3 (* t z)))) (cos (* 1/3 (* t z))))) (/ a (* b 3)))
251.0ms
y
@-inf
(pow (/ x (- (neg x) y)) 3)

analyze18.8s (0.8%)

Memory
-138.1MiB live, 22 431.3MiB 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
5.0MiB live, 4.7MiB allocated

Profiling

Loading profile data...