Herbie run

Date:Saturday, July 6th, 2024
Commit:2ce46aa0 on zane-job-places
Hostname:nightly with Racket 8.11.1
Seed:2024188
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: 6.4min)

simplify1.2min (18.9%)

Memory
755.6MiB live, 69 537.1MiB allocated
Algorithm
342×egg-herbie
Rules
109 879×fma-define
89 406×fmm-def
70 396×distribute-lft-in
60 196×distribute-rgt-in
57 409×times-frac
Stop Event
222×node limit
118×saturated
2×unsound
Counts
76 249 → 73 700

sample1.2min (18.9%)

Memory
710.5MiB live, 87 982.7MiB allocated
Samples
30.3s285 160×0valid
13.6s43 829×1valid
8.9s17 354×2valid
504.0ms4 162×0invalid
293.0ms409×3valid
106.0ms898×0exit
92.0ms101×3exit
71.0ms101×4exit
5.0ms34×1exit
Precisions
Click to see histograms. Total time spent on operations: 40.2s
ival-mult: 9.3s (23.1% of total)
ival-pow: 4.2s (10.3% of total)
ival-add: 3.8s (9.5% of total)
ival-div: 3.3s (8.3% of total)
...in/eval/compile.rkt:111:19: 3.2s (7.9% of total)
ival-sub: 3.1s (7.8% of total)
ival-sin: 3.0s (7.4% of total)
ival-cos: 2.4s (5.9% of total)
ival-<=: 2.1s (5.3% of total)
adjust: 2.1s (5.2% of total)
ival-exp: 714.0ms (1.8% of total)
ival-neg: 511.0ms (1.3% of total)
ival-sqrt: 415.0ms (1% of total)
...in/eval/compile.rkt:110:19: 370.0ms (0.9% of total)
ival-==: 368.0ms (0.9% of total)
ival-and: 356.0ms (0.9% of total)
ival-pow2: 232.0ms (0.6% of total)
ival-true: 138.0ms (0.3% of total)
ival-assert: 136.0ms (0.3% of total)
ival-expm1: 116.0ms (0.3% of total)
ival-log1p: 97.0ms (0.2% of total)
ival-pi: 84.0ms (0.2% of total)
ival-atan: 81.0ms (0.2% of total)
ival-tan: 56.0ms (0.1% of total)
ival-<: 55.0ms (0.1% of total)
ival-hypot: 16.0ms (0% of total)
ival-if: 4.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)
Bogosity

soundness49.8s (13.1%)

Memory
43.8MiB live, 33 316.5MiB allocated
Rules
39 545×log1p-expm1-u
36 083×fma-define
32 754×fmm-def
31 916×expm1-log1p-u
26 057×distribute-lft-in
Stop Event
145×node limit
26×fuel
16×done
8×saturated
2×unsound
Compiler

Compiled 30 418 to 8 820 computations (71% saved)

rewrite48.7s (12.8%)

Memory
-346.9MiB live, 33 398.0MiB allocated
Algorithm
147×batch-egg-rewrite
Rules
88 706×log1p-expm1-u
69 966×expm1-log1p-u
31 827×pow1
29 652×add-exp-log
28 385×add-log-exp
Stop Event
147×node limit
Counts
1 546 → 49 317

prune31.0s (8.1%)

Memory
-383.2MiB live, 44 222.1MiB allocated
Counts
107 548 → 2 162
Compiler

Compiled 81 682 to 40 933 computations (49.9% saved)

localize25.8s (6.8%)

Memory
-387.4MiB live, 30 230.5MiB allocated
Samples
7.4s31 518×0valid
3.2s3 238×1valid
2.8s2 044×2valid
677.0ms824×1exit
671.0ms121×3valid
664.0ms988×0invalid
516.0ms245×5exit
68.0ms16×4valid
49.0ms174×0exit
Compiler

Compiled 31 591 to 3 680 computations (88.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.6s
ival-mult: 3.1s (29.2% of total)
ival-div: 1.5s (14.3% of total)
ival-pow: 1.4s (13.2% of total)
adjust: 1.3s (11.9% of total)
ival-add: 1.1s (10.2% of total)
ival-sub: 518.0ms (4.9% of total)
...in/eval/compile.rkt:111:19: 435.0ms (4.1% of total)
ival-sin: 430.0ms (4.1% of total)
ival-pow2: 241.0ms (2.3% of total)
ival-sqrt: 101.0ms (1% of total)
ival-exp: 99.0ms (0.9% of total)
ival-neg: 80.0ms (0.8% of total)
ival-cos: 64.0ms (0.6% of total)
ival-cbrt: 47.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 46.0ms (0.4% of total)
ival-log1p: 39.0ms (0.4% of total)
ival-hypot: 37.0ms (0.3% of total)
ival-true: 33.0ms (0.3% of total)
ival-atan: 25.0ms (0.2% of total)
ival-expm1: 23.0ms (0.2% of total)
ival-assert: 16.0ms (0.2% of total)
ival-tan: 10.0ms (0.1% of total)
ival-log: 9.0ms (0.1% of total)
ival-pi: 4.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)
ival-copysign: 1.0ms (0% of total)

eval24.4s (6.4%)

Memory
362.1MiB live, 31 165.8MiB allocated
Compiler

Compiled 2 967 169 to 411 340 computations (86.1% saved)

analyze15.1s (4%)

Memory
-141.7MiB live, 5 465.7MiB allocated
Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
48.7%26.2%27.7%45.5%0%0.6%0%3
57.7%30.7%22.6%45.5%0%1.2%0%4
71.2%37.7%15.3%45.5%0%1.6%0%5
72.9%38.4%14.3%45.5%0%1.8%0%6
77.9%40.7%11.6%45.5%0%2.2%0%7
81.5%42.6%9.7%45.5%0%2.3%0%8
84.1%43.8%8.3%45.5%0%2.5%0%9
86.2%44.6%7.2%45.5%0%2.7%0%10
88.2%45.6%6.1%45.5%0%2.8%0%11
89.1%45.9%5.6%45.5%0%2.9%0%12
Compiler

Compiled 1 401 to 721 computations (48.5% saved)

explain11.2s (2.9%)

Memory
222.5MiB live, 14 281.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13612
+.f64#fcancellation37393
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2080
sqrt.f64#foflow-rescue1980
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1720
/.f64#fn/o1670
/.f64#fo/o1670
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1100
/.f64#fu/n830
-.f64#fnan-rescue730
/.f64#fu/u530
/.f64#fn/u490
/.f64#fo/n440
+.f64#fnan-rescue410
*.f64#fn*o280
*.f64#fn*u270
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue240
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow33
↳(/.f64 i n)overflow24
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow24
sqrt.f64#fuflow-rescue160
exp.f64#fsensitivity20
Confusion
Predicted +Predicted -
+3630496
-1116515
Precision
0.9703287890938251
Recall
0.879786718371304
Confusion?
Predicted +Predicted MaybePredicted -
+3630162334
-1111896326
Precision?
0.9266862170087976
Recall?
0.9190499272903538
Freqs
test
numberfreq
07011
13302
2403
336
Total Confusion?
Predicted +Predicted MaybePredicted -
+2911
-209
Precision?
0.9375
Recall?
0.967741935483871
Samples
1.8s16 794×0valid
1.1s3 298×1valid
598.0ms1 386×2valid
14.0ms26×3valid
Compiler

Compiled 8 444 to 1 926 computations (77.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 969.0ms (41.6% of total)
ival-add: 219.0ms (9.4% of total)
ival-div: 207.0ms (8.9% of total)
ival-sin: 203.0ms (8.7% of total)
ival-pow: 162.0ms (7% of total)
ival-sub: 146.0ms (6.3% of total)
adjust: 140.0ms (6% of total)
ival-cos: 68.0ms (2.9% of total)
...in/eval/compile.rkt:111:19: 43.0ms (1.8% of total)
ival-exp: 30.0ms (1.3% of total)
ival-neg: 28.0ms (1.2% of total)
ival-sqrt: 26.0ms (1.1% of total)
ival-true: 23.0ms (1% of total)
...in/eval/compile.rkt:110:19: 16.0ms (0.7% of total)
ival-pow2: 15.0ms (0.6% of total)
ival-assert: 9.0ms (0.4% of total)
ival-atan: 7.0ms (0.3% of total)
ival-tan: 5.0ms (0.2% of total)
ival-log1p: 5.0ms (0.2% of total)
ival-expm1: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

preprocess10.2s (2.7%)

Memory
-316.9MiB live, 9 592.8MiB allocated
Algorithm
42×egg-herbie
Rules
18 502×fmm-def
16 342×fma-define
9 180×sub-neg
8 997×unsub-neg
7 628×distribute-rgt-in
Stop Event
22×node limit
20×saturated
Compiler

Compiled 20 062 to 7 258 computations (63.8% saved)

series7.3s (1.9%)

Memory
-189.3MiB live, 8 657.2MiB allocated
Counts
1 546 → 26 932
Calls

7209 calls:

TimeVariablePointExpression
334.0ms
n
@-inf
(cbrt (pow (* n 100) 3))
291.0ms
t
@-inf
(* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t)
162.0ms
eps
@inf
(pow (exp (+ 1 eps)) (neg x))
111.0ms
b
@0
(/ b (pow c 2))
100.0ms
x
@inf
(/ (* 1/6 (pow x 3)) (tan x))

bsearch7.3s (1.9%)

Memory
24.8MiB live, 9 874.1MiB allocated
Algorithm
255×binary-search
18×left-value
Stop Event
239×narrow-enough
16×predicate-same
Samples
3.1s27 757×0valid
772.0ms2 884×1valid
285.0ms875×2valid
152.0ms2 034×0invalid
67.0ms526×0exit
9.0ms20×3valid
4.0ms28×1exit
Compiler

Compiled 67 098 to 41 856 computations (37.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4s
ival-mult: 1.2s (34.5% of total)
ival-div: 530.0ms (15.7% of total)
ival-add: 499.0ms (14.8% of total)
ival-pow: 355.0ms (10.5% of total)
ival-sub: 310.0ms (9.2% of total)
ival-exp: 205.0ms (6.1% of total)
ival-neg: 109.0ms (3.2% of total)
adjust: 70.0ms (2.1% of total)
ival-sqrt: 45.0ms (1.3% of total)
ival-true: 25.0ms (0.7% of total)
...in/eval/compile.rkt:110:19: 21.0ms (0.6% of total)
ival-assert: 13.0ms (0.4% of total)
ival-log1p: 13.0ms (0.4% of total)
ival-pow2: 12.0ms (0.4% of total)
...in/eval/compile.rkt:111:19: 4.0ms (0.1% of total)
ival-pi: 1.0ms (0% of total)

regimes6.3s (1.6%)

Memory
54.2MiB live, 8 252.9MiB allocated
Counts
4 363 → 559
Calls

96 calls:

806.0ms
x
753.0ms
b
444.0ms
c
409.0ms
a
304.0ms
x1
Compiler

Compiled 4 111 to 2 557 computations (37.8% saved)

end0.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated

Profiling

Loading profile data...