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: 5.8min)

sample1.2min (19.8%)

Memory
602.8MiB live, 80 220.5MiB allocated
Samples
31.2s285 460×0valid
12.1s43 960×1valid
7.3s16 939×2valid
386.0ms4 216×0invalid
143.0ms1 005×0exit
129.0ms393×3valid
60.0ms101×3exit
58.0ms101×4exit
6.0ms49×1exit
Precisions
Click to see histograms. Total time spent on operations: 39.1s
ival-mult: 8.0s (20.4% of total)
ival-div: 4.2s (10.6% of total)
ival-sub: 4.0s (10.1% of total)
ival-add: 3.6s (9.3% of total)
ival-pow: 3.3s (8.5% of total)
const: 3.0s (7.7% of total)
adjust: 2.6s (6.7% of total)
ival-<=: 2.2s (5.5% of total)
ival-sin: 2.1s (5.3% of total)
ival-cos: 1.9s (4.9% of total)
ival-<: 769.0ms (2% of total)
ival-exp: 530.0ms (1.4% of total)
exact: 453.0ms (1.2% of total)
ival-sqrt: 446.0ms (1.1% of total)
ival-and: 350.0ms (0.9% of total)
ival-neg: 321.0ms (0.8% of total)
ival-pow2: 282.0ms (0.7% of total)
ival-==: 268.0ms (0.7% of total)
ival-atan: 254.0ms (0.6% of total)
ival-true: 141.0ms (0.4% of total)
ival-assert: 136.0ms (0.3% of total)
ival-expm1: 131.0ms (0.3% of total)
ival-log1p: 77.0ms (0.2% of total)
ival-tan: 68.0ms (0.2% of total)
ival-pi: 61.0ms (0.2% of total)
ival-hypot: 19.0ms (0% of total)
ival-if: 5.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)
Bogosity

simplify52.1s (14.9%)

Memory
463.4MiB live, 48 176.6MiB allocated
Algorithm
332×egg-herbie
Rules
2 775 468×lower-fma.f32
2 774 878×lower-fma.f64
921 976×lower-*.f32
920 508×lower-*.f64
589 118×lower-+.f32
Stop Event
421×iter limit
216×node limit
130×saturated
Counts
38 556 → 37 612

prune49.3s (14%)

Memory
-266.4MiB live, 67 556.1MiB allocated
Counts
144 788 → 2 251
Compiler

Compiled 87 546 to 40 878 computations (53.3% saved)

soundness43.7s (12.4%)

Memory
169.6MiB live, 25 567.9MiB allocated
Rules
1 523 942×lower-fma.f32
1 523 676×lower-fma.f64
735 426×lower-*.f32
734 580×lower-*.f64
403 878×lower-+.f32
Stop Event
252×iter limit
164×node limit
23×fuel
19×done
9×saturated
1×unsound
Compiler

Compiled 19 238 to 7 374 computations (61.7% saved)

rewrite39.5s (11.3%)

Memory
-174.6MiB live, 41 540.3MiB allocated
Rules
806 734×lower-fma.f32
806 140×lower-fma.f64
613 892×lower-*.f32
612 442×lower-*.f64
517 424×lower-/.f32
Stop Event
286×iter limit
139×node limit
13×saturated
1×unsound
Counts
1 890 → 85 873

eval30.6s (8.7%)

Memory
811.9MiB live, 38 986.8MiB allocated
Compiler

Compiled 4 765 832 to 318 600 computations (93.3% saved)

localize23.8s (6.8%)

Memory
-425.5MiB live, 30 016.7MiB allocated
Samples
7.9s27 913×0valid
4.1s3 212×2valid
3.9s5 608×1valid
211.0ms116×5exit
104.0ms79×3valid
75.0ms137×0invalid
25.0ms55×0exit
Compiler

Compiled 33 880 to 4 102 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.5s
ival-mult: 4.1s (33% of total)
ival-add: 2.2s (17.5% of total)
ival-div: 1.5s (12.1% of total)
adjust: 1.1s (8.9% of total)
ival-sub: 929.0ms (7.4% of total)
const: 851.0ms (6.8% of total)
ival-pow: 630.0ms (5% of total)
ival-sin: 251.0ms (2% of total)
ival-cos: 204.0ms (1.6% of total)
ival-exp: 203.0ms (1.6% of total)
ival-neg: 135.0ms (1.1% of total)
ival-tan: 92.0ms (0.7% of total)
ival-sqrt: 88.0ms (0.7% of total)
exact: 57.0ms (0.5% of total)
ival-true: 31.0ms (0.2% of total)
ival-expm1: 22.0ms (0.2% of total)
ival-pow2: 20.0ms (0.2% of total)
ival-assert: 16.0ms (0.1% of total)
ival-log1p: 16.0ms (0.1% of total)
ival-atan: 10.0ms (0.1% of total)
ival-pi: 6.0ms (0% of total)

preprocess12.0s (3.4%)

Memory
175.2MiB live, 11 342.6MiB allocated
Algorithm
42×egg-herbie
Rules
284 538×lower-fma.f32
284 536×lower-fma.f64
55 266×lower-*.f32
55 078×lower-*.f64
37 652×lower-+.f32
Stop Event
82×iter limit
54×saturated
32×node limit
Compiler

Compiled 25 501 to 7 210 computations (71.7% saved)

explain11.9s (3.4%)

Memory
-464.6MiB live, 12 953.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation14001
+.f64#fcancellation37878
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2180
sqrt.f64#foflow-rescue2020
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1780
/.f64#fo/o1670
/.f64#fn/o1510
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1181
-.f64#fnan-rescue1050
/.f64#fu/n750
+.f64#fnan-rescue480
/.f64#fu/u450
*.f64#fn*u450
/.f64#fn/u420
/.f64#fo/n410
*.f64#fn*o240
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue200
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow27
↳(/.f64 i n)overflow20
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow20
sqrt.f64#fuflow-rescue100
Confusion
Predicted +Predicted -
+3962242
-1126436
Precision
0.9725085910652921
Recall
0.9424357754519506
Confusion?
Predicted +Predicted MaybePredicted -
+396215686
-1121806256
Precision?
0.9337868480725624
Recall?
0.9795432921027593
Freqs
test
numberfreq
06678
13637
2406
331
Total Confusion?
Predicted +Predicted MaybePredicted -
+3110
-208
Precision?
0.9411764705882353
Recall?
1.0
Samples
2.1s16 276×0valid
1.1s3 788×1valid
611.0ms1 422×2valid
11.0ms18×3valid
Compiler

Compiled 7 615 to 1 486 computations (80.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult: 752.0ms (31% of total)
ival-div: 340.0ms (14% of total)
ival-add: 329.0ms (13.6% of total)
adjust: 192.0ms (7.9% of total)
ival-sub: 181.0ms (7.5% of total)
ival-pow: 180.0ms (7.4% of total)
ival-cos: 136.0ms (5.6% of total)
ival-sin: 120.0ms (4.9% of total)
const: 45.0ms (1.9% of total)
ival-exp: 28.0ms (1.2% of total)
ival-sqrt: 25.0ms (1% of total)
ival-true: 20.0ms (0.8% of total)
exact: 19.0ms (0.8% of total)
ival-neg: 17.0ms (0.7% of total)
ival-pow2: 14.0ms (0.6% of total)
ival-assert: 9.0ms (0.4% of total)
ival-atan: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.2% of total)
ival-log1p: 4.0ms (0.2% of total)
ival-expm1: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

regimes7.7s (2.2%)

Memory
-368.3MiB live, 10 356.9MiB allocated
Counts
5 659 → 559
Calls

96 calls:

1.0s
x
308.0ms
(*.f64 (cos.f64 x) (exp.f64 (*.f64 #s(literal 10 binary64) (*.f64 x x))))
305.0ms
b
294.0ms
a
252.0ms
(/.f64 (/.f64 #s(literal 2 binary64) t) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) t)))
Compiler

Compiled 11 597 to 6 076 computations (47.6% saved)

series4.5s (1.3%)

Memory
40.3MiB live, 6 257.5MiB allocated
Counts
1 890 → 38 556
Calls

5274 calls:

TimeVariablePointExpression
62.0ms
x2
@inf
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
55.0ms
t
@-inf
(pow (/ 1 (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) -1/2)
51.0ms
x
@-inf
(* (- 1 (* x x)) x)
33.0ms
w
@-inf
(* (* (* r r) -1/4) w)
33.0ms
c
@0
(+ (+ (+ c d) a) b)

analyze3.7s (1.1%)

Memory
112.2MiB live, 6 215.5MiB 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 402 to 721 computations (48.6% saved)

bsearch2.8s (0.8%)

Memory
-49.6MiB live, 3 342.6MiB allocated
Algorithm
172×binary-search
84×left-value
Stop Event
160×narrow-enough
11×predicate-same
1×predicate-failed
Samples
1.1s9 637×0valid
323.0ms1 391×1valid
120.0ms367×2valid
53.0ms877×0invalid
20.0ms29×3valid
1.0ms8×1exit
Compiler

Compiled 46 470 to 26 825 computations (42.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-mult: 424.0ms (36.5% of total)
ival-pow: 193.0ms (16.6% of total)
ival-div: 146.0ms (12.6% of total)
ival-add: 141.0ms (12.1% of total)
ival-sub: 129.0ms (11.1% of total)
adjust: 47.0ms (4% of total)
ival-neg: 25.0ms (2.2% of total)
ival-exp: 20.0ms (1.7% of total)
exact: 12.0ms (1% of total)
ival-sqrt: 11.0ms (0.9% of total)
ival-true: 9.0ms (0.8% of total)
ival-assert: 5.0ms (0.4% of total)
ival-pi: 1.0ms (0.1% of total)
ival-expm1: 0.0ms (0% of total)

start1.0ms (0%)

Memory
1.9MiB live, 1.9MiB allocated

end0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated

Profiling

Loading profile data...