Herbie run

Date:Sunday, August 25th, 2024
Commit:a6ae8219 on bhargav-log-space
Hostname:nightly with Racket 8.11.1
Seed:2024238
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.4min)

simplify1.3min (23.5%)

Memory
-587.5MiB live, 91 281.5MiB allocated
Algorithm
245×egg-herbie
Rules
2 170 370×lower-fma.f32
2 169 882×lower-fma.f64
652 170×lower-*.f32
651 156×lower-*.f64
409 442×lower-+.f32
Stop Event
316×iter limit
158×node limit
92×saturated
Counts
26 940 → 26 085

sample1.1min (20.8%)

Memory
754.2MiB live, 85 237.5MiB allocated
Samples
28.3s285 574×0valid
11.7s43 828×1valid
7.4s16 924×2valid
385.0ms4 067×0invalid
162.0ms426×3valid
127.0ms934×0exit
68.0ms101×3exit
57.0ms101×4exit
6.0ms39×1exit
Precisions
Click to see histograms. Total time spent on operations: 36.6s
ival-mult: 8.9s (24.4% of total)
ival-add: 3.8s (10.4% of total)
ival-div: 3.2s (8.9% of total)
ival-pow: 3.1s (8.5% of total)
ival-sub: 2.8s (7.8% of total)
adjust: 2.7s (7.5% of total)
const: 2.6s (7.2% of total)
ival-<=: 2.3s (6.2% of total)
ival-sin: 2.1s (5.6% of total)
ival-cos: 1.5s (4% of total)
ival-sqrt: 536.0ms (1.5% of total)
ival-neg: 505.0ms (1.4% of total)
exact: 434.0ms (1.2% of total)
ival-exp: 426.0ms (1.2% of total)
ival-and: 347.0ms (0.9% of total)
ival-pow2: 237.0ms (0.6% of total)
ival-==: 187.0ms (0.5% of total)
ival-tan: 151.0ms (0.4% of total)
ival-true: 142.0ms (0.4% of total)
ival-assert: 133.0ms (0.4% of total)
ival-<: 110.0ms (0.3% of total)
ival-atan: 79.0ms (0.2% of total)
ival-log1p: 77.0ms (0.2% of total)
ival-expm1: 62.0ms (0.2% of total)
ival-pi: 45.0ms (0.1% of total)
ival-hypot: 18.0ms (0% of total)
ival-if: 5.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)
Bogosity

rewrite51.9s (16%)

Memory
734.4MiB live, 66 151.8MiB allocated
Rules
673 434×lower-fma.f32
672 948×lower-fma.f64
475 342×lower-*.f32
474 342×lower-*.f64
394 934×lower-/.f32
Stop Event
212×iter limit
105×node limit
5×saturated
Counts
1 370 → 69 214

soundness33.9s (10.4%)

Memory
-373.4MiB live, 19 147.6MiB allocated
Rules
1 092 566×lower-fma.f32
1 092 296×lower-fma.f64
519 166×lower-*.f32
518 590×lower-*.f64
296 050×lower-/.f32
Stop Event
180×iter limit
118×node limit
18×fuel
13×done
4×saturated
Compiler

Compiled 16 207 to 5 611 computations (65.4% saved)

eval27.6s (8.5%)

Memory
-137.6MiB live, 32 735.8MiB allocated
Compiler

Compiled 4 515 705 to 253 286 computations (94.4% saved)

prune19.1s (5.9%)

Memory
-282.2MiB live, 32 515.8MiB allocated
Counts
119 677 → 1 520
Compiler

Compiled 62 727 to 26 812 computations (57.3% saved)

localize15.9s (4.9%)

Memory
139.6MiB live, 20 012.9MiB allocated
Samples
5.6s22 464×0valid
2.5s1 894×2valid
2.1s2 992×1valid
126.0ms28×3valid
44.0ms11×4valid
5.0ms3×5exit
Compiler

Compiled 29 646 to 2 945 computations (90.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.7s
ival-mult: 2.3s (30.6% of total)
ival-div: 1.4s (18.9% of total)
ival-add: 1.2s (16.2% of total)
adjust: 704.0ms (9.2% of total)
const: 571.0ms (7.5% of total)
ival-pow: 397.0ms (5.2% of total)
ival-sub: 376.0ms (4.9% of total)
ival-sin: 216.0ms (2.8% of total)
ival-cos: 106.0ms (1.4% of total)
ival-neg: 62.0ms (0.8% of total)
ival-sqrt: 50.0ms (0.7% of total)
ival-exp: 49.0ms (0.6% of total)
exact: 38.0ms (0.5% of total)
ival-true: 23.0ms (0.3% of total)
ival-assert: 15.0ms (0.2% of total)
ival-expm1: 11.0ms (0.1% of total)
ival-log1p: 10.0ms (0.1% of total)
ival-tan: 7.0ms (0.1% of total)

preprocess12.4s (3.8%)

Memory
526.2MiB live, 12 147.4MiB allocated
Algorithm
31×egg-herbie
Rules
216 812×lower-fma.f32
216 812×lower-fma.f64
39 260×lower-*.f32
39 114×lower-*.f64
26 696×lower-+.f32
Stop Event
61×iter limit
43×saturated
20×node limit
Compiler

Compiled 18 930 to 5 229 computations (72.4% saved)

explain6.8s (2.1%)

Memory
-242.5MiB live, 10 146.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation10013
*.f64#fn*o7480
+.f64#foflow-right5910
+.f64#fcancellation30490
-.f64#foflow-left2870
+.f64#fnan-rescue2760
/.f64#fo/o2540
-.f64#foflow-right2510
/.f64#fn/o2040
+.f64#foflow-left600
/.f64#fu/u450
/.f64#fo/n420
*.f64#fn*u270
/.f64#fu/n130
/.f64#fn/u100
Confusion
Predicted +Predicted -
+2188729
-6544365
Precision
0.7698803659394793
Recall
0.7500857044909153
Confusion?
Predicted +Predicted MaybePredicted -
+2188171558
-6541784187
Precision?
0.739266687558759
Recall?
0.808707576276997
Freqs
test
numberfreq
05094
12074
2288
3134
482
5134
613
752
85
920
1027
115
128
Total Confusion?
Predicted +Predicted MaybePredicted -
+1614
-307
Precision?
0.85
Recall?
0.8095238095238095
Samples
1.3s12 847×0valid
749.0ms2 024×1valid
437.0ms995×2valid
9.0ms10×3valid
Compiler

Compiled 8 427 to 2 634 computations (68.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-add: 418.0ms (25.2% of total)
ival-sub: 310.0ms (18.7% of total)
ival-mult: 307.0ms (18.5% of total)
ival-sin: 138.0ms (8.3% of total)
adjust: 137.0ms (8.3% of total)
ival-div: 115.0ms (6.9% of total)
ival-cos: 69.0ms (4.2% of total)
const: 53.0ms (3.2% of total)
ival-pow: 42.0ms (2.5% of total)
ival-sqrt: 17.0ms (1% of total)
ival-true: 14.0ms (0.8% of total)
exact: 11.0ms (0.7% of total)
ival-exp: 10.0ms (0.6% of total)
ival-assert: 6.0ms (0.4% of total)
ival-log1p: 5.0ms (0.3% of total)
ival-expm1: 5.0ms (0.3% of total)
ival-tan: 4.0ms (0.2% of total)
ival-pow2: 0.0ms (0% of total)

regimes5.4s (1.7%)

Memory
44.5MiB live, 8 183.4MiB allocated
Counts
4 280 → 381
Calls

76 calls:

688.0ms
x
352.0ms
(*.f64 (cos.f64 x) (exp.f64 (*.f64 #s(literal 10 binary64) (*.f64 x x))))
296.0ms
c
258.0ms
(/.f64 (-.f64 (exp.f64 x) #s(literal 1 binary64)) x)
226.0ms
r
Compiler

Compiled 8 846 to 4 375 computations (50.5% saved)

analyze4.2s (1.3%)

Memory
-35.7MiB live, 5 625.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)

series2.7s (0.8%)

Memory
-147.7MiB live, 2 808.9MiB allocated
Counts
1 370 → 26 940
Calls

3573 calls:

TimeVariablePointExpression
260.0ms
t
@-inf
(pow (/ 1 (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) -1/2)
150.0ms
e
@0
(+ (+ (+ (+ e d) c) b) a)
59.0ms
c
@inf
(+ (* c c) (* d d))
50.0ms
w
@-inf
(* (+ (/ 1/8 v) -1/4) (* r w))
41.0ms
x1
@inf
(/ (+ (* (* (+ (* (+ (* x1 x1) 1) x1) (+ (* (+ (* (* (* 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))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (- (+ (* x1 (* x1 x1)) (+ (* (+ (* (* (* 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))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) x1)) (+ (* x1 x1) 1)) (* (- (+ (* x1 (* x1 x1)) (+ (* (+ (* (* (* 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))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) x1) (* (- (* 3 (* x1 x1)) (+ (* 2 x2) x1)) 3))) (* (- (+ (* x1 (* x1 x1)) (+ (* (+ (* (* (* 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))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) x1) (+ (* x1 x1) 1)))

bsearch1.2s (0.4%)

Memory
11.6MiB live, 1 430.4MiB allocated
Algorithm
100×binary-search
73×left-value
Stop Event
98×narrow-enough
2×predicate-same
Samples
703.0ms7 305×0valid
3.0ms7×1valid
Compiler

Compiled 28 869 to 17 127 computations (40.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 522.0ms
ival-mult: 270.0ms (51.8% of total)
ival-div: 103.0ms (19.7% of total)
ival-add: 73.0ms (14% of total)
ival-sub: 62.0ms (11.9% of total)
ival-true: 5.0ms (1% of total)
exact: 5.0ms (1% of total)
ival-assert: 3.0ms (0.6% of total)
adjust: 1.0ms (0.2% of total)

start1.0ms (0%)

Memory
2.4MiB live, 2.3MiB allocated

end0.0ms (0%)

Memory
1.0MiB live, 0.9MiB allocated

Profiling

Loading profile data...