Herbie run

Date:Thursday, August 22nd, 2024
Commit:0a751149 on faster-egg
Hostname:nightly with Racket 8.11.1
Seed:2024235
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: 3.3min)

sample55.1s (27.9%)

Memory
389.5MiB live, 46 081.9MiB allocated
Samples
22.2s43 469×1valid
9.5s109 907×0valid
9.3s6 468×5exit
4.0s11 744×2valid
1.5s10 266×1exit
387.0ms3 918×0invalid
135.0ms1 322×0exit
Precisions
Click to see histograms. Total time spent on operations: 37.7s
ival-sub: 7.1s (18.9% of total)
ival-exp: 4.7s (12.4% of total)
const: 3.9s (10.5% of total)
ival-pow: 3.8s (10.1% of total)
adjust: 2.2s (5.8% of total)
ival-cos: 2.1s (5.5% of total)
ival-mult: 1.8s (4.8% of total)
ival-tan: 1.6s (4.3% of total)
ival-acos: 1.5s (4% of total)
ival-sin: 1.5s (3.9% of total)
ival-log: 1.3s (3.3% of total)
ival-sqrt: 1.1s (2.9% of total)
ival-add: 876.0ms (2.3% of total)
ival-fmod: 792.0ms (2.1% of total)
ival-sinh: 740.0ms (2% of total)
ival-div: 645.0ms (1.7% of total)
ival-pow2: 587.0ms (1.6% of total)
ival-<=: 521.0ms (1.4% of total)
ival-hypot: 166.0ms (0.4% of total)
ival-neg: 164.0ms (0.4% of total)
ival-and: 109.0ms (0.3% of total)
ival-==: 108.0ms (0.3% of total)
ival-true: 94.0ms (0.2% of total)
exact: 74.0ms (0.2% of total)
ival-assert: 71.0ms (0.2% of total)
ival-<: 66.0ms (0.2% of total)
ival->=: 60.0ms (0.2% of total)
ival-atan: 44.0ms (0.1% of total)
ival-or: 41.0ms (0.1% of total)
ival->: 20.0ms (0.1% of total)
Bogosity

soundness24.2s (12.3%)

Memory
86.0MiB live, 9 396.7MiB allocated
Rules
590 406×lower-fma.f32
590 240×lower-fma.f64
298 244×lower-*.f32
297 818×lower-*.f64
159 276×lower-+.f32
Stop Event
133×iter limit
69×node limit
16×fuel
5×unsound
4×saturated
4×done
Compiler

Compiled 7 943 to 3 567 computations (55.1% saved)

prune23.3s (11.8%)

Memory
-448.6MiB live, 20 161.5MiB allocated
Counts
76 152 → 1 874
Compiler

Compiled 80 668 to 37 146 computations (54% saved)

simplify22.7s (11.5%)

Memory
482.1MiB live, 17 430.8MiB allocated
Algorithm
164×egg-herbie
Rules
1 012 710×lower-fma.f32
1 012 408×lower-fma.f64
410 306×lower-*.f32
409 512×lower-*.f64
218 424×lower-+.f32
Stop Event
213×iter limit
84×node limit
83×saturated
Counts
19 584 → 19 259

rewrite21.4s (10.8%)

Memory
-45.6MiB live, 14 341.1MiB allocated
Rules
281 836×lower-fma.f32
281 536×lower-fma.f64
253 078×lower-*.f32
252 318×lower-*.f64
194 364×lower-/.f32
Stop Event
163×iter limit
63×node limit
8×unsound
3×saturated
Counts
1 048 → 38 385

eval14.5s (7.4%)

Memory
272.0MiB live, 15 599.3MiB allocated
Compiler

Compiled 1 970 556 to 142 318 computations (92.8% saved)

localize14.0s (7.1%)

Memory
-440.0MiB live, 14 361.8MiB allocated
Samples
4.6s5 206×1valid
3.0s11 294×0valid
2.0s1 249×2valid
135.0ms369×0invalid
60.0ms192×1exit
49.0ms122×0exit
Compiler

Compiled 13 346 to 1 925 computations (85.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.4s
ival-mult: 2.1s (27.7% of total)
ival-div: 921.0ms (12.4% of total)
adjust: 574.0ms (7.7% of total)
ival-add: 475.0ms (6.4% of total)
ival-cos: 448.0ms (6% of total)
const: 446.0ms (6% of total)
ival-sqrt: 410.0ms (5.5% of total)
ival-sin: 388.0ms (5.2% of total)
ival-tan: 321.0ms (4.3% of total)
ival-sinh: 272.0ms (3.7% of total)
ival-log: 267.0ms (3.6% of total)
ival-sub: 242.0ms (3.3% of total)
ival-pow: 116.0ms (1.6% of total)
ival-neg: 100.0ms (1.3% of total)
ival-exp: 90.0ms (1.2% of total)
ival-pow2: 82.0ms (1.1% of total)
ival-fmod: 56.0ms (0.8% of total)
ival-acos: 50.0ms (0.7% of total)
ival-asin: 27.0ms (0.4% of total)
ival-hypot: 18.0ms (0.2% of total)
exact: 18.0ms (0.2% of total)
ival-true: 15.0ms (0.2% of total)
ival-cbrt: 13.0ms (0.2% of total)
ival-assert: 8.0ms (0.1% of total)
ival-pi: 6.0ms (0.1% of total)
ival-fabs: 3.0ms (0% of total)
ival-atan: 1.0ms (0% of total)

regimes8.1s (4.1%)

Memory
-158.7MiB live, 9 422.4MiB allocated
Counts
4 452 → 192
Calls

53 calls:

874.0ms
a
862.0ms
x
607.0ms
b
519.0ms
(tan.f64 a)
457.0ms
r
Compiler

Compiled 2 788 to 1 907 computations (31.6% saved)

series4.0s (2%)

Memory
170.8MiB live, 4 392.8MiB allocated
Counts
1 048 → 19 584
Calls

2706 calls:

TimeVariablePointExpression
853.0ms
hi
@-inf
(* (+ (neg (/ (+ (/ (neg (+ (* hi (/ hi lo)) hi)) lo) -1) x)) (/ (- -1 (/ hi lo)) lo)) x)
91.0ms
x
@0
(* (pow 4 1/8) (* (pow 4 1/8) x))
60.0ms
l
@inf
(* (exp (neg w)) (pow l (exp w)))
56.0ms
x
@-inf
(- (log (sinh x)) (log x))
55.0ms
x
@0
(* (sqrt (* (* (sqrt x) 2) (sqrt (sqrt x)))) (sqrt (* (sqrt (sqrt x)) x)))

analyze3.8s (1.9%)

Memory
74.4MiB live, 4 597.8MiB allocated
Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
28.8%21.3%52.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.2%0%6
71.1%51.1%20.8%26.3%0%1.9%0%7
72.1%51.6%20%26.3%0%2.1%0%8
74.4%53%18.2%26.3%0%2.5%0%9
75.8%53.9%17.2%26.3%0%2.6%0%10
76.6%54.3%16.6%26.3%0%2.8%0%11
77.3%54.8%16.1%26.3%0%2.9%0%12
Compiler

Compiled 279 to 216 computations (22.6% saved)

preprocess3.0s (1.5%)

Memory
169.6MiB live, 3 314.2MiB allocated
Algorithm
20×egg-herbie
Rules
26 494×lower-fma.f32
26 494×lower-fma.f64
5 788×lower-+.f32
5 770×lower-+.f64
5 074×unsub-neg
Stop Event
39×saturated
38×iter limit
3×node limit
Compiler

Compiled 9 271 to 3 436 computations (62.9% saved)

explain2.7s (1.4%)

Memory
-296.6MiB live, 3 176.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5740
cos.f64#fsensitivity5090
-.f64#fcancellation3392
sqrt.f64#fuflow-rescue3360
/.f64#fn/o2580
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2541
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2460
tan.f64(tan.f64 (+.f64 y z))sensitivity1790
pow.f64(pow.f64 l (exp.f64 w))sensitivity13314
*.f64#fn*o430
*.f64#fu*o250
*.f64#fn*u220
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))o*u170
↳(pow.f64 c #s(literal 2 binary64))overflow67
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)underflow71
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))underflow61
↳(pow.f64 s #s(literal 2 binary64))underflow54
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue130
↳(*.f64 a a)overflow108
↳(*.f64 b b)overflow13
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue70
↳(sinh.f64 x)overflow7
↳(/.f64 (sinh.f64 x) x)overflow7
exp.f64(exp.f64 (neg.f64 x))sensitivity10
Confusion
Predicted +Predicted -
+2189267
-7021962
Precision
0.7571774472500865
Recall
0.8912866449511401
Confusion?
Predicted +Predicted MaybePredicted -
+21891266
-702161946
Precision?
0.7530949105914718
Recall?
0.8916938110749185
Freqs
test
numberfreq
02229
12828
261
32
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
614.0ms2 714×1valid
507.0ms6 748×0valid
217.0ms682×2valid
13.0ms96×1exit
Compiler

Compiled 1 103 to 440 computations (60.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 876.0ms
ival-mult: 93.0ms (10.6% of total)
ival-tan: 69.0ms (7.9% of total)
ival-cos: 69.0ms (7.9% of total)
adjust: 67.0ms (7.6% of total)
ival-log: 67.0ms (7.6% of total)
ival-pow: 61.0ms (7% of total)
ival-acos: 53.0ms (6.1% of total)
ival-sqrt: 51.0ms (5.8% of total)
ival-add: 48.0ms (5.5% of total)
ival-sinh: 43.0ms (4.9% of total)
ival-sub: 42.0ms (4.8% of total)
ival-div: 41.0ms (4.7% of total)
ival-exp: 38.0ms (4.3% of total)
ival-sin: 36.0ms (4.1% of total)
ival-pow2: 34.0ms (3.9% of total)
ival-fmod: 33.0ms (3.8% of total)
ival-hypot: 8.0ms (0.9% of total)
ival-true: 8.0ms (0.9% of total)
ival-neg: 5.0ms (0.6% of total)
ival-assert: 4.0ms (0.5% of total)
ival-atan: 3.0ms (0.3% of total)
exact: 2.0ms (0.2% of total)

bsearch551.0ms (0.3%)

Memory
81.2MiB live, 711.1MiB allocated
Algorithm
37×binary-search
26×left-value
Stop Event
34×narrow-enough
3×predicate-same
Samples
185.0ms1 995×0valid
133.0ms677×1valid
64.0ms144×2valid
1.0ms14×0exit
Compiler

Compiled 7 575 to 5 014 computations (33.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 308.0ms
ival-sin: 63.0ms (20.4% of total)
ival-exp: 48.0ms (15.6% of total)
ival-cos: 46.0ms (14.9% of total)
ival-div: 42.0ms (13.6% of total)
ival-mult: 24.0ms (7.8% of total)
adjust: 15.0ms (4.9% of total)
ival-fmod: 15.0ms (4.9% of total)
ival-pow: 13.0ms (4.2% of total)
ival-sqrt: 12.0ms (3.9% of total)
ival-pow2: 10.0ms (3.2% of total)
ival-add: 9.0ms (2.9% of total)
ival-acos: 4.0ms (1.3% of total)
ival-neg: 4.0ms (1.3% of total)
ival-true: 2.0ms (0.6% of total)
ival-assert: 1.0ms (0.3% of total)
ival-sub: 1.0ms (0.3% of total)
exact: 0.0ms (0% of total)

start0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated

end0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

Profiling

Loading profile data...