Herbie run

Date:Sunday, July 14th, 2024
Commit:2fc85eec on zane-odyssey-timeline
Hostname:nightly with Racket 8.11.1
Seed:2024196
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: 36.5min)

simplify8.1min (22.1%)

Memory
306.6MiB live, 592 442.7MiB allocated
Algorithm
1 689×egg-herbie
Rules
9 726 806×accelerator-lowering-fma.f32
9 726 806×accelerator-lowering-fma.f64
3 834 788×*-lowering-*.f32
3 834 788×*-lowering-*.f64
1 887 784×+-lowering-+.f32
Stop Event
1 469×iter limit
882×node limit
823×saturated
Counts
179 292 → 179 292

rewrite6.7min (18.4%)

Memory
1 158.9MiB live, 485 422.9MiB allocated
Algorithm
735×batch-egg-rewrite
Rules
4 077 746×accelerator-lowering-fma.f32
4 077 746×accelerator-lowering-fma.f64
2 930 010×*-lowering-*.f32
2 930 010×*-lowering-*.f64
2 479 526×/-lowering-/.f64
Stop Event
783×iter limit
693×node limit
35×saturated
14×unsound
Counts
6 589 → 512 565

sample5.7min (15.5%)

Memory
1 834.0MiB live, 390 847.0MiB allocated
Samples
3.5min2 145 710×0valid
20.9s65 994×1valid
10.1s64 887×0invalid
2.5s8 493×2valid
1.7s1 262×5exit
1.3s1 849×1invalid
177.0ms404×4exit
131.0ms118×4valid
113.0ms549×3valid
3.0ms28×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-mult: 45.9s (32.1% of total)
ival-sub: 20.0s (14% of total)
ival-add: 19.8s (13.8% of total)
ival-div: 18.2s (12.7% of total)
ival-log: 10.1s (7% of total)
const: 6.0s (4.2% of total)
ival-sqrt: 5.3s (3.7% of total)
ival-sin: 4.3s (3% of total)
ival-exp: 3.6s (2.5% of total)
ival-cos: 3.1s (2.1% of total)
adjust: 1.9s (1.3% of total)
ival-true: 1.6s (1.1% of total)
exact: 1.0s (0.7% of total)
ival-assert: 846.0ms (0.6% of total)
ival-hypot: 366.0ms (0.3% of total)
ival-acos: 241.0ms (0.2% of total)
ival-tan: 228.0ms (0.2% of total)
ival-fabs: 195.0ms (0.1% of total)
ival-sinh: 189.0ms (0.1% of total)
ival-cosh: 184.0ms (0.1% of total)
ival-tanh: 80.0ms (0.1% of total)
Bogosity

soundness4.8min (13.1%)

Memory
-1.9MiB live, 139 268.5MiB allocated
Rules
6 216 676×accelerator-lowering-fma.f32
6 216 676×accelerator-lowering-fma.f64
3 315 512×*-lowering-*.f32
3 315 512×*-lowering-*.f64
1 991 032×/-lowering-/.f64
Stop Event
799×iter limit
757×node limit
109×fuel
95×done
15×saturated
5×unsound
Compiler

Compiled 112 340 to 56 869 computations (49.4% saved)

eval2.8min (7.7%)

Memory
2 694.1MiB live, 202 253.5MiB allocated
Compiler

Compiled 21 433 733 to 1 444 087 computations (93.3% saved)

prune2.1min (5.8%)

Memory
-2 763.6MiB live, 197 046.0MiB allocated
Counts
764 172 → 10 132
Compiler

Compiled 310 484 to 171 475 computations (44.8% saved)

regimes1.7min (4.7%)

Memory
-685.7MiB live, 97 493.6MiB allocated
Counts
32 454 → 3 789
Calls

384 calls:

14.1s
z
9.4s
y
8.7s
x
8.6s
(sqrt.f64 (*.f64 z #s(literal 2 binary64)))
5.6s
(/.f64 (*.f64 t t) #s(literal 2 binary64))
Compiler

Compiled 58 302 to 43 651 computations (25.1% saved)

preprocess1.5min (4%)

Memory
-691.4MiB live, 89 170.5MiB allocated
Algorithm
538×egg-herbie
Rules
854 502×accelerator-lowering-fma.f32
854 502×accelerator-lowering-fma.f64
196 052×unsub-neg
193 236×*-lowering-*.f32
193 236×*-lowering-*.f64
Stop Event
392×saturated
269×iter limit
146×node limit
Compiler

Compiled 123 804 to 37 088 computations (70% saved)

localize1.0min (2.8%)

Memory
-72.8MiB live, 80 199.1MiB allocated
Samples
35.1s187 381×0valid
449.0ms1 482×0invalid
84.0ms206×0exit
Compiler

Compiled 68 827 to 14 299 computations (79.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.9s
ival-mult: 9.2s (42.1% of total)
ival-div: 4.4s (19.9% of total)
ival-add: 3.4s (15.4% of total)
const: 1.6s (7.3% of total)
ival-sub: 1.6s (7.3% of total)
ival-log: 279.0ms (1.3% of total)
ival-sin: 220.0ms (1% of total)
ival-sqrt: 176.0ms (0.8% of total)
ival-pow: 174.0ms (0.8% of total)
exact: 150.0ms (0.7% of total)
ival-true: 147.0ms (0.7% of total)
ival-exp: 144.0ms (0.7% of total)
ival-neg: 94.0ms (0.4% of total)
ival-hypot: 90.0ms (0.4% of total)
ival-assert: 72.0ms (0.3% of total)
ival-asin: 49.0ms (0.2% of total)
ival-cos: 47.0ms (0.2% of total)
ival-pow2: 39.0ms (0.2% of total)
ival-sinh: 28.0ms (0.1% of total)
ival-fabs: 17.0ms (0.1% of total)
ival-cosh: 15.0ms (0.1% of total)
ival-acos: 9.0ms (0% of total)
ival-pi: 3.0ms (0% of total)

bsearch39.1s (1.8%)

Memory
88.4MiB live, 48 225.5MiB allocated
Algorithm
1 163×binary-search
998×left-value
Stop Event
1 146×narrow-enough
17×predicate-same
Samples
25.9s147 743×0valid
288.0ms2 976×0invalid
2.0ms18×1valid
1.0ms6×2valid
1.0ms5×4valid
1.0ms4×3valid
Compiler

Compiled 316 382 to 233 697 computations (26.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.7s
ival-mult: 9.2s (51.6% of total)
ival-sub: 3.3s (18.5% of total)
ival-add: 2.5s (14.3% of total)
const: 1.1s (6.1% of total)
ival-div: 671.0ms (3.8% of total)
ival-log: 515.0ms (2.9% of total)
ival-sin: 139.0ms (0.8% of total)
ival-true: 108.0ms (0.6% of total)
ival-exp: 80.0ms (0.5% of total)
ival-assert: 57.0ms (0.3% of total)
ival-sqrt: 53.0ms (0.3% of total)
exact: 47.0ms (0.3% of total)
ival-cosh: 12.0ms (0.1% of total)
adjust: 1.0ms (0% of total)
ival-sinh: 0.0ms (0% of total)

explain33.3s (1.5%)

Memory
-790.7MiB live, 46 078.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
/.f64#fo/n8400
sqrt.f64#foflow-rescue7700
/.f64#fo/o5980
*.f64#fn*o4570
/.f64#fn/o3740
+.f64#fnan-rescue3170
-.f64#fnan-rescue2870
/.f64#fu/n2330
sin.f64(sin.f64 (*.f64 x #s(literal 1/2 binary64)))sensitivity1361
/.f64#fn/u1170
*.f64#fn*u740
sqrt.f64#fuflow-rescue580
log.f64#foflow-rescue570
/.f64#fu/u530
exp.f64#fsensitivity331
log.f64#fuflow-rescue320
*.f64(*.f64 (cosh.f64 x) (/.f64 y x))o*u270
↳(cosh.f64 x)overflow120
↳(/.f64 y x)underflow27
*.f64#fu*o30
-.f64(-.f64 x (/.f64 y (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 x y) #s(literal 2 binary64)))))cancellation10
+.f64(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))cancellation11
Confusion
Predicted +Predicted -
+3765169
-37051760
Precision
0.9105199516324063
Recall
0.9570411794611083
Confusion?
Predicted +Predicted MaybePredicted -
+37650169
-370351757
Precision?
0.9098598356694055
Recall?
0.9570411794611083
Freqs
test
numberfreq
051929
13866
2221
337
47
53
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+10800
-00111
Precision?
1.0
Recall?
1.0
Samples
9.9s113 259×0valid
Compiler

Compiled 24 609 to 9 094 computations (63% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.1s
ival-mult: 2.0s (39.1% of total)
ival-sub: 741.0ms (14.4% of total)
ival-add: 697.0ms (13.6% of total)
ival-div: 633.0ms (12.3% of total)
const: 348.0ms (6.8% of total)
ival-log: 169.0ms (3.3% of total)
ival-sin: 145.0ms (2.8% of total)
ival-true: 94.0ms (1.8% of total)
ival-sqrt: 71.0ms (1.4% of total)
ival-cos: 52.0ms (1% of total)
ival-assert: 49.0ms (1% of total)
exact: 46.0ms (0.9% of total)
ival-exp: 39.0ms (0.8% of total)
ival-cosh: 10.0ms (0.2% of total)
ival-hypot: 9.0ms (0.2% of total)
ival-fabs: 8.0ms (0.2% of total)
ival-sinh: 8.0ms (0.2% of total)
ival-acos: 4.0ms (0.1% of total)
ival-tan: 0.0ms (0% of total)

analyze27.9s (1.3%)

Memory
-694.8MiB live, 24 872.2MiB 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)

series27.5s (1.3%)

Memory
244.4MiB live, 27 357.9MiB allocated
Counts
6 589 → 179 292
Calls

32340 calls:

TimeVariablePointExpression
6.2s
y
@0
(+ y -1)
897.0ms
x
@-inf
(* (* y t) x)
268.0ms
x
@inf
(* (pow y y) (exp (- x z)))
250.0ms
x
@0
(* (+ (* (+ (* (+ (* y y) 0) (+ (* y y) 0)) 0) (+ (* (+ (* y (+ (* y 1/120) 0)) -1/6) (+ (* y (+ (* y 1/120) 0)) -1/6)) 0)) -1) (* (/ 1 (+ (* y (+ (* y (+ (* y (+ (* y 1/120) 0)) -1/6)) 0)) -1)) x))
190.0ms
c
@inf
(/ (* b (* c z)) x)

end2.0ms (0%)

Memory
-34.7MiB live, 4.7MiB allocated

Profiling

Loading profile data...