Herbie run

Date:Monday, July 22nd, 2024
Commit:11cd870a on better-preprocessing
Hostname:nightly with Racket 8.11.1
Seed:2024204
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: 42.0min)

simplify10.4min (24.8%)

Memory
-217.5MiB live, 709 774.6MiB allocated
Algorithm
2 139×egg-herbie
Rules
13 006 114×accelerator-lowering-fma.f32
13 006 114×accelerator-lowering-fma.f64
5 195 036×*-lowering-*.f32
5 195 036×*-lowering-*.f64
2 743 300×+-lowering-+.f32
Stop Event
1 853×iter limit
1 188×node limit
968×saturated
1×unsound
Counts
246 636 → 246 636

rewrite7.0min (16.5%)

Memory
1 946.7MiB live, 527 112.3MiB allocated
Algorithm
935×batch-egg-rewrite
Rules
5 353 220×accelerator-lowering-fma.f32
5 353 220×accelerator-lowering-fma.f64
3 909 842×*-lowering-*.f32
3 909 842×*-lowering-*.f64
3 205 494×/-lowering-/.f32
Stop Event
992×iter limit
891×node limit
35×saturated
17×unsound
Counts
9 326 → 556 916

sample6.2min (14.8%)

Memory
1 207.2MiB live, 391 742.1MiB allocated
Samples
4.1min2 147 116×0valid
21.5s64 989×1valid
11.2s64 666×0invalid
2.7s8 121×2valid
2.2s1 366×5exit
1.3s1 740×1invalid
216.0ms409×4exit
202.0ms117×4valid
123.0ms521×3valid
3.0ms24×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.8min
ival-mult: 56.8s (34.2% of total)
ival-sub: 29.5s (17.8% of total)
ival-add: 20.5s (12.4% of total)
ival-div: 20.0s (12% of total)
ival-log: 9.5s (5.7% of total)
const: 5.9s (3.5% of total)
ival-sqrt: 5.7s (3.4% of total)
ival-sin: 4.2s (2.5% of total)
ival-cos: 3.4s (2% of total)
adjust: 3.1s (1.9% of total)
ival-exp: 2.1s (1.3% of total)
ival-true: 1.6s (1% of total)
exact: 1.1s (0.6% of total)
ival-assert: 903.0ms (0.5% of total)
ival-hypot: 422.0ms (0.3% of total)
ival-tan: 400.0ms (0.2% of total)
ival-cosh: 214.0ms (0.1% of total)
ival-fabs: 207.0ms (0.1% of total)
ival-acos: 205.0ms (0.1% of total)
ival-sinh: 179.0ms (0.1% of total)
ival-tanh: 83.0ms (0.1% of total)
Bogosity

soundness5.6min (13.2%)

Memory
-484.3MiB live, 180 787.1MiB allocated
Rules
8 316 686×accelerator-lowering-fma.f32
8 316 686×accelerator-lowering-fma.f64
4 275 480×*-lowering-*.f32
4 275 480×*-lowering-*.f64
2 339 326×/-lowering-/.f32
Stop Event
1 000×iter limit
957×node limit
157×fuel
112×done
16×saturated
4×unsound
Compiler

Compiled 156 456 to 78 754 computations (49.7% saved)

prune2.9min (6.9%)

Memory
-5 210.2MiB live, 243 575.2MiB allocated
Counts
895 033 → 15 775
Compiler

Compiled 540 949 to 294 918 computations (45.5% saved)

eval2.9min (6.9%)

Memory
5 292.8MiB live, 237 195.5MiB allocated
Compiler

Compiled 23 122 063 to 1 805 798 computations (92.2% saved)

regimes1.8min (4.3%)

Memory
-279.1MiB live, 147 040.4MiB allocated
Counts
48 725 → 5 449
Calls

511 calls:

14.7s
x
13.6s
y
11.8s
z
6.8s
t
4.0s
a
Compiler

Compiled 83 154 to 61 918 computations (25.5% saved)

localize1.5min (3.5%)

Memory
-790.2MiB live, 123 144.6MiB allocated
Samples
44.7s223 936×0valid
5.0s7 665×1valid
4.0s3 620×2valid
891.0ms2 601×0invalid
439.0ms463×5exit
369.0ms510×0exit
218.0ms308×3valid
173.0ms128×4valid
46.0ms114×2exit
12.0ms15×1exit
Compiler

Compiled 97 405 to 19 036 computations (80.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 35.0s
ival-mult: 12.7s (36.2% of total)
ival-div: 6.5s (18.7% of total)
ival-add: 5.4s (15.5% of total)
const: 2.2s (6.4% of total)
ival-sub: 2.0s (5.8% of total)
adjust: 1.1s (3.1% of total)
ival-log: 837.0ms (2.4% of total)
ival-cos: 806.0ms (2.3% of total)
ival-sin: 723.0ms (2.1% of total)
ival-sqrt: 595.0ms (1.7% of total)
ival-neg: 550.0ms (1.6% of total)
ival-pow: 287.0ms (0.8% of total)
ival-exp: 215.0ms (0.6% of total)
exact: 200.0ms (0.6% of total)
ival-true: 188.0ms (0.5% of total)
ival-log1p: 109.0ms (0.3% of total)
ival-assert: 100.0ms (0.3% of total)
ival-pow2: 96.0ms (0.3% of total)
ival-fabs: 91.0ms (0.3% of total)
ival-tan: 81.0ms (0.2% of total)
ival-expm1: 65.0ms (0.2% of total)
ival-acos: 31.0ms (0.1% of total)
ival-cosh: 31.0ms (0.1% of total)
ival-hypot: 17.0ms (0% of total)
ival-sinh: 11.0ms (0% of total)
ival-tanh: 10.0ms (0% of total)
ival-pi: 7.0ms (0% of total)
ival-asin: 3.0ms (0% of total)

preprocess1.4min (3.3%)

Memory
1 089.7MiB live, 96 143.6MiB allocated
Algorithm
269×egg-herbie
Rules
854 502×accelerator-lowering-fma.f32
854 502×accelerator-lowering-fma.f64
193 768×unsub-neg
193 236×*-lowering-*.f32
193 236×*-lowering-*.f64
Stop Event
393×saturated
269×iter limit
145×node limit
Compiler

Compiled 168 964 to 49 736 computations (70.6% saved)

bsearch49.9s (2%)

Memory
-358.5MiB live, 61 289.2MiB allocated
Algorithm
1 707×binary-search
1 403×left-value
Stop Event
1 675×narrow-enough
32×predicate-same
Samples
32.2s216 931×0valid
995.0ms4 132×1valid
654.0ms6 394×0invalid
24.0ms140×2valid
3.0ms13×3valid
Compiler

Compiled 424 503 to 311 958 computations (26.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 23.3s
ival-mult: 10.4s (44.8% of total)
ival-sub: 4.0s (17.4% of total)
ival-add: 2.7s (11.4% of total)
ival-div: 1.7s (7.3% of total)
const: 1.3s (5.6% of total)
ival-log: 993.0ms (4.3% of total)
ival-sin: 547.0ms (2.4% of total)
ival-cos: 540.0ms (2.3% of total)
ival-sqrt: 258.0ms (1.1% of total)
ival-exp: 211.0ms (0.9% of total)
adjust: 178.0ms (0.8% of total)
ival-true: 162.0ms (0.7% of total)
ival-assert: 90.0ms (0.4% of total)
exact: 88.0ms (0.4% of total)
ival-cosh: 55.0ms (0.2% of total)
ival-tanh: 7.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)

explain42.8s (1.7%)

Memory
-945.3MiB live, 59 746.7MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15791
/.f64#fo/n12170
sqrt.f64#foflow-rescue7650
-.f64#fcancellation56610
/.f64#fo/o5600
*.f64#fn*o5170
-.f64#fnan-rescue4440
+.f64#fnan-rescue4330
cos.f64#fsensitivity3500
/.f64#fn/o3250
+.f64#fcancellation3252
/.f64#fu/n2490
sin.f64#fsensitivity2440
*.f64#fn*u1650
/.f64#fn/u1490
cos.f64#foflow-rescue1380
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity1110
/.f64#fu/u900
log.f64#fuflow-rescue840
log.f64#foflow-rescue790
sqrt.f64#fuflow-rescue410
*.f64#fo*u370
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue260
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow26
↳(*.f64 y #s(literal 2 binary64))overflow1
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue260
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow26
↳(*.f64 y #s(literal 2 binary64))overflow1
exp.f64#fsensitivity251
*.f64(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))u*o20
↳(*.f64 j y3)underflow27
↳(-.f64 (*.f64 k y2) (*.f64 j y3))underflow3
↳(*.f64 k y2)underflow28
↳(*.f64 y4 y1)overflow35
↳(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))overflow64
↳(*.f64 y5 y0)overflow35
Confusion
Predicted +Predicted -
+6000195
-169560974
Precision
0.7797270955165692
Recall
0.9685230024213075
Confusion?
Predicted +Predicted MaybePredicted -
+60000195
-16951560959
Precision?
0.7782101167315175
Recall?
0.9685230024213075
Freqs
test
numberfreq
061169
16926
2700
358
49
51
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+13800
-22127
Precision?
0.971830985915493
Recall?
1.0
Samples
13.4s130 550×0valid
1.8s5 576×1valid
621.0ms1 472×2valid
30.0ms106×3valid
11.0ms14×5exit
9.0ms10×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 8.1s
ival-mult: 2.8s (34.5% of total)
ival-sub: 1.2s (15.5% of total)
ival-add: 972.0ms (12.1% of total)
ival-div: 799.0ms (9.9% of total)
ival-log: 692.0ms (8.6% of total)
const: 294.0ms (3.6% of total)
adjust: 240.0ms (3% of total)
ival-sin: 235.0ms (2.9% of total)
ival-sqrt: 180.0ms (2.2% of total)
ival-cos: 177.0ms (2.2% of total)
ival-true: 115.0ms (1.4% of total)
ival-exp: 100.0ms (1.2% of total)
exact: 65.0ms (0.8% of total)
ival-assert: 57.0ms (0.7% of total)
ival-fabs: 47.0ms (0.6% of total)
ival-hypot: 13.0ms (0.2% of total)
ival-tan: 12.0ms (0.1% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-tanh: 7.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

series31.0s (1.2%)

Memory
-393.0MiB live, 42 014.6MiB allocated
Counts
9 326 → 246 636
Calls

45093 calls:

TimeVariablePointExpression
293.0ms
z
@0
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1) (log a))) b))) y)
231.0ms
z
@-inf
(+ (+ (+ (+ (* x 1/2) (- 1 (sqrt x))) (/ (- (+ 1 y) y) (+ (sqrt y) (sqrt (+ 1 y))))) (- (sqrt (+ z 1)) (sqrt z))) (- (sqrt (+ t 1)) (sqrt t)))
201.0ms
t
@inf
(/ (* x z) (sqrt (- (* z z) (* t a))))
190.0ms
t
@inf
(* a (* y2 (* t y5)))
159.0ms
y
@-inf
(- 1 (* (- 1 y) z))

analyze19.3s (0.8%)

Memory
87.0MiB live, 23 718.4MiB 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...