Herbie run

Date:Tuesday, August 20th, 2024
Commit:fce740b4 on ffi-types
Hostname:nightly with Racket 8.11.1
Seed:2024233
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: 38.2min)

simplify7.8min (20.5%)

Memory
4 066.3MiB live, 460 230.1MiB allocated
Algorithm
2 113×egg-herbie
Rules
13 776 602×lower-fma.f32
13 773 314×lower-fma.f64
5 316 270×lower-*.f32
5 308 390×lower-*.f64
3 045 422×lower-+.f32
Stop Event
2 753×iter limit
1 226×node limit
901×saturated
1×unsound
Counts
351 828 → 343 659

rewrite5.7min (14.9%)

Memory
-632.2MiB live, 371 059.1MiB allocated
Rules
5 045 764×lower-fma.f32
5 042 494×lower-fma.f64
3 907 802×lower-*.f32
3 900 016×lower-*.f64
3 312 678×lower-/.f32
Stop Event
1 891×iter limit
896×node limit
19×saturated
16×unsound
Counts
11 434 → 486 577

sample5.5min (14.3%)

Memory
1 710.9MiB live, 377 572.2MiB allocated
Samples
3.2min2 146 645×0valid
21.7s67 967×1valid
10.4s64 101×0invalid
2.1s5 658×2valid
1.1s1 224×5exit
684.0ms1 764×1invalid
240.0ms416×4exit
234.0ms592×3valid
2.0ms21×1exit
0.0ms2×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-mult: 46.3s (32.1% of total)
ival-add: 20.5s (14.2% of total)
ival-sub: 19.5s (13.5% of total)
ival-div: 18.4s (12.8% of total)
ival-log: 10.4s (7.2% of total)
const: 5.4s (3.8% of total)
ival-sqrt: 5.3s (3.7% of total)
ival-sin: 4.4s (3.1% of total)
adjust: 3.2s (2.2% of total)
ival-cos: 2.9s (2% of total)
ival-exp: 2.0s (1.4% of total)
ival-true: 1.7s (1.2% of total)
exact: 989.0ms (0.7% of total)
ival-assert: 892.0ms (0.6% of total)
ival-acos: 548.0ms (0.4% of total)
ival-fabs: 380.0ms (0.3% of total)
ival-tan: 366.0ms (0.3% of total)
ival-cosh: 298.0ms (0.2% of total)
ival-hypot: 291.0ms (0.2% of total)
ival-sinh: 145.0ms (0.1% of total)
ival-tanh: 78.0ms (0.1% of total)
Bogosity

soundness5.1min (13.4%)

Memory
37.6MiB live, 166 200.9MiB allocated
Rules
7 818 140×lower-fma.f32
7 816 972×lower-fma.f64
4 148 318×lower-*.f32
4 144 948×lower-*.f64
2 243 706×lower-/.f32
Stop Event
1 362×iter limit
924×node limit
146×fuel
123×done
20×saturated
3×unsound
Compiler

Compiled 167 025 to 76 018 computations (54.5% saved)

prune3.5min (9.1%)

Memory
-4 181.5MiB live, 285 294.7MiB allocated
Counts
913 468 → 15 052
Compiler

Compiled 581 875 to 293 292 computations (49.6% saved)

eval3.1min (8.2%)

Memory
2 040.2MiB live, 239 313.8MiB allocated
Compiler

Compiled 24 575 435 to 1 645 741 computations (93.3% saved)

regimes2.0min (5.3%)

Memory
-80.7MiB live, 123 801.8MiB allocated
Counts
45 665 → 4 974
Calls

511 calls:

24.2s
y
15.2s
x
10.9s
z
9.4s
(*.f64 y y)
5.9s
t
Compiler

Compiled 79 075 to 59 071 computations (25.3% saved)

localize1.8min (4.8%)

Memory
-1 286.2MiB live, 138 061.8MiB allocated
Samples
54.5s217 398×0valid
10.0s11 530×1valid
4.2s3 279×2valid
1.6s2 519×0invalid
551.0ms777×0exit
367.0ms231×3valid
263.0ms238×2exit
30.0ms20×5exit
21.0ms24×4valid
18.0ms16×1exit
Compiler

Compiled 143 270 to 22 827 computations (84.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 47.6s
ival-mult: 17.7s (37.2% of total)
ival-div: 7.8s (16.4% of total)
ival-add: 6.9s (14.6% of total)
ival-sub: 3.6s (7.6% of total)
const: 2.4s (5.1% of total)
adjust: 1.9s (3.9% of total)
ival-log: 1.5s (3.2% of total)
ival-cos: 1.3s (2.8% of total)
ival-neg: 946.0ms (2% of total)
ival-sin: 720.0ms (1.5% of total)
ival-sqrt: 680.0ms (1.4% of total)
ival-pow: 600.0ms (1.3% of total)
ival-exp: 374.0ms (0.8% of total)
exact: 222.0ms (0.5% of total)
ival-true: 198.0ms (0.4% of total)
ival-pow2: 160.0ms (0.3% of total)
ival-assert: 96.0ms (0.2% of total)
ival-log1p: 91.0ms (0.2% of total)
ival-tan: 74.0ms (0.2% of total)
ival-expm1: 53.0ms (0.1% of total)
ival-hypot: 44.0ms (0.1% of total)
ival-tanh: 37.0ms (0.1% of total)
ival-sinh: 36.0ms (0.1% of total)
ival-acos: 26.0ms (0.1% of total)
ival-cosh: 24.0ms (0.1% of total)
ival-fabs: 23.0ms (0% of total)
ival-asin: 13.0ms (0% of total)
ival-pi: 7.0ms (0% of total)

preprocess1.3min (3.3%)

Memory
544.4MiB live, 76 623.4MiB 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 180 161 to 48 986 computations (72.8% saved)

series48.4s (2.1%)

Memory
-359.4MiB live, 61 760.0MiB allocated
Counts
11 434 → 351 828
Calls

37062 calls:

TimeVariablePointExpression
369.0ms
c
@0
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i))
248.0ms
t
@0
(+ (- (- (* x (log y)) y) z) (log t))
240.0ms
c
@inf
(* (/ c (+ (* x (* 9 y)) (+ (* -4 (* (* a t) z)) b))) (neg z))
205.0ms
x
@0
(pow (fabs (- x y)) 1/4)
185.0ms
x
@-inf
(* (+ (* x 3) -12/29) y)

explain42.3s (1.8%)

Memory
-569.7MiB live, 53 315.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15695
/.f64#fo/n10990
sqrt.f64#foflow-rescue7700
-.f64#fcancellation6157
/.f64#fo/o5850
*.f64#fn*o5230
+.f64#fnan-rescue5200
-.f64#fnan-rescue5070
cos.f64#fsensitivity3910
+.f64#fcancellation3501
/.f64#fn/o3110
/.f64#fu/n2700
sin.f64#fsensitivity2360
*.f64#fn*u1770
/.f64#fn/u1560
cos.f64#foflow-rescue1300
/.f64#fu/u1040
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity1000
log.f64#foflow-rescue760
log.f64#fuflow-rescue640
sqrt.f64#fuflow-rescue390
*.f64#fo*u380
exp.f64#fsensitivity348
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue320
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow32
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue320
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow32
Confusion
Predicted +Predicted -
+6036173
-175860897
Precision
0.7744418783679754
Recall
0.9721372201642776
Confusion?
Predicted +Predicted MaybePredicted -
+60363170
-17581860879
Precision?
0.7727447216890595
Recall?
0.9726203897568046
Freqs
test
numberfreq
061070
16972
2734
369
414
55
Total Confusion?
Predicted +Predicted MaybePredicted -
+13310
-20133
Precision?
0.9852941176470589
Recall?
1.0
Samples
14.0s130 416×0valid
2.1s6 058×1valid
580.0ms1 182×2valid
15.0ms58×3valid
5.0ms12×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.0s
ival-mult: 2.4s (27.1% of total)
ival-add: 1.3s (14% of total)
ival-sub: 1.2s (13.6% of total)
ival-div: 1.2s (13.5% of total)
ival-log: 813.0ms (9% of total)
const: 417.0ms (4.6% of total)
ival-exp: 351.0ms (3.9% of total)
ival-cos: 274.0ms (3% of total)
adjust: 243.0ms (2.7% of total)
ival-sqrt: 236.0ms (2.6% of total)
ival-sin: 214.0ms (2.4% of total)
ival-true: 118.0ms (1.3% of total)
exact: 60.0ms (0.7% of total)
ival-assert: 56.0ms (0.6% of total)
ival-cosh: 39.0ms (0.4% of total)
ival-fabs: 13.0ms (0.1% of total)
ival-tan: 12.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-hypot: 8.0ms (0.1% of total)
ival-tanh: 7.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

bsearch30.7s (1.3%)

Memory
-318.3MiB live, 37 022.0MiB allocated
Algorithm
1 603×binary-search
1 229×left-value
Stop Event
1 568×narrow-enough
35×predicate-same
Samples
17.0s127 003×0valid
850.0ms3 553×1valid
176.0ms2 569×0invalid
24.0ms108×2valid
1.0ms8×3valid
0.0ms1×1exit
Compiler

Compiled 437 500 to 297 740 computations (31.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.1s
ival-mult: 5.1s (41.8% of total)
ival-sub: 2.6s (21.8% of total)
ival-add: 1.6s (13.6% of total)
ival-div: 821.0ms (6.8% of total)
ival-log: 610.0ms (5% of total)
const: 368.0ms (3% of total)
ival-sin: 313.0ms (2.6% of total)
ival-cos: 180.0ms (1.5% of total)
adjust: 106.0ms (0.9% of total)
ival-true: 99.0ms (0.8% of total)
ival-sqrt: 94.0ms (0.8% of total)
ival-exp: 54.0ms (0.4% of total)
ival-assert: 52.0ms (0.4% of total)
exact: 46.0ms (0.4% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-tanh: 11.0ms (0.1% of total)
ival-sinh: 5.0ms (0% of total)

analyze19.2s (0.8%)

Memory
-113.2MiB live, 23 937.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)

start4.0ms (0%)

Memory
10.1MiB live, 9.7MiB allocated

end2.0ms (0%)

Memory
4.6MiB live, 4.5MiB allocated

Profiling

Loading profile data...