Herbie run

Date:Thursday, August 15th, 2024
Commit:d70355f9 on zane-enable-timeline-profile
Hostname:nightly with Racket 8.11.1
Seed:2024228
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.7min)

simplify1.3min (20.1%)

Memory
510.4MiB live, 88 329.3MiB allocated
Algorithm
342×egg-herbie
Rules
3 009 252×lower-fma.f32
3 008 630×lower-fma.f64
971 110×lower-*.f32
969 554×lower-*.f64
612 316×lower-+.f32
Stop Event
436×iter limit
224×node limit
132×saturated
Counts
40 152 → 39 041

sample1.2min (17.8%)

Memory
175.5MiB live, 78 243.6MiB allocated
Samples
31.5s285 760×0valid
12.6s43 770×1valid
7.8s16 793×2valid
497.0ms4 072×0invalid
211.0ms992×0exit
146.0ms429×3valid
70.0ms101×4exit
61.0ms101×3exit
7.0ms49×1exit
Precisions
Click to see histograms. Total time spent on operations: 39.8s
ival-mult: 8.8s (22% of total)
ival-add: 4.4s (10.9% of total)
ival-div: 3.9s (9.9% of total)
ival-sub: 3.5s (8.8% of total)
ival-pow: 3.5s (8.8% of total)
const: 3.2s (8.1% of total)
adjust: 2.4s (5.9% of total)
ival-sin: 2.3s (5.9% of total)
ival-<=: 2.2s (5.6% of total)
ival-cos: 2.0s (4.9% of total)
ival-exp: 530.0ms (1.3% of total)
ival-pow2: 505.0ms (1.3% of total)
ival-sqrt: 428.0ms (1.1% of total)
exact: 402.0ms (1% of total)
ival-and: 342.0ms (0.9% of total)
ival-==: 297.0ms (0.7% of total)
ival-neg: 283.0ms (0.7% of total)
ival-true: 136.0ms (0.3% of total)
ival-assert: 133.0ms (0.3% of total)
ival-expm1: 130.0ms (0.3% of total)
ival-atan: 116.0ms (0.3% of total)
ival-<: 106.0ms (0.3% of total)
ival-log1p: 76.0ms (0.2% of total)
ival-tan: 61.0ms (0.2% of total)
ival-pi: 39.0ms (0.1% of total)
ival-hypot: 19.0ms (0% of total)
ival-if: 4.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)
Bogosity

rewrite57.6s (14.4%)

Memory
247.4MiB live, 67 952.8MiB allocated
Rules
837 642×lower-fma.f32
837 024×lower-fma.f64
639 864×lower-*.f32
638 324×lower-*.f64
542 254×lower-/.f32
Stop Event
296×iter limit
145×node limit
13×saturated
Counts
1 975 → 91 225

soundness45.0s (11.2%)

Memory
-338.6MiB live, 26 556.4MiB allocated
Rules
1 554 082×lower-fma.f32
1 553 732×lower-fma.f64
764 582×lower-*.f32
763 712×lower-*.f64
419 232×lower-+.f32
Stop Event
253×iter limit
170×node limit
27×fuel
15×done
8×saturated
Compiler

Compiled 23 889 to 8 898 computations (62.8% saved)

prune44.6s (11.1%)

Memory
-423.9MiB live, 65 304.3MiB allocated
Counts
156 756 → 2 290
Compiler

Compiled 93 191 to 42 556 computations (54.3% saved)

eval32.5s (8.1%)

Memory
831.9MiB live, 41 759.0MiB allocated
Compiler

Compiled 5 191 268 to 326 545 computations (93.7% saved)

localize24.4s (6.1%)

Memory
19.7MiB live, 29 152.7MiB allocated
Samples
8.4s30 024×0valid
3.6s5 227×1valid
3.2s2 678×2valid
444.0ms204×1exit
253.0ms178×3valid
129.0ms37×5exit
30.0ms16×4valid
12.0ms36×0invalid
Compiler

Compiled 36 523 to 4 231 computations (88.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.8s
ival-mult: 4.1s (34.7% of total)
ival-add: 2.1s (17.7% of total)
ival-div: 1.6s (13.5% of total)
adjust: 1.0s (8.5% of total)
const: 830.0ms (7% of total)
ival-pow: 596.0ms (5% of total)
ival-sub: 440.0ms (3.7% of total)
ival-sin: 405.0ms (3.4% of total)
ival-neg: 191.0ms (1.6% of total)
ival-cos: 143.0ms (1.2% of total)
ival-exp: 126.0ms (1.1% of total)
ival-sqrt: 111.0ms (0.9% of total)
exact: 53.0ms (0.4% of total)
ival-true: 30.0ms (0.3% of total)
ival-pow2: 23.0ms (0.2% of total)
ival-expm1: 20.0ms (0.2% of total)
ival-log1p: 20.0ms (0.2% of total)
ival-assert: 15.0ms (0.1% of total)
ival-atan: 10.0ms (0.1% of total)
ival-tan: 7.0ms (0.1% of total)
ival-pi: 4.0ms (0% of total)

preprocess13.3s (3.3%)

Memory
256.9MiB live, 13 220.3MiB 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 28 781 to 6 980 computations (75.7% saved)

explain10.4s (2.6%)

Memory
-179.1MiB live, 13 411.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13121
+.f64#fcancellation37586
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2220
sqrt.f64#foflow-rescue2140
/.f64#fo/o1750
/.f64#fn/o1720
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1660
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1020
-.f64#fnan-rescue980
/.f64#fu/n820
/.f64#fu/u450
/.f64#fn/u420
/.f64#fo/n410
+.f64#fnan-rescue380
*.f64#fn*u350
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue210
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow32
↳(/.f64 i n)overflow21
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow21
*.f64#fn*o170
sqrt.f64#fuflow-rescue140
Confusion
Predicted +Predicted -
+3883250
-1276492
Precision
0.9683291770573567
Recall
0.9395112509073312
Confusion?
Predicted +Predicted MaybePredicted -
+388317575
-1271686324
Precision?
0.9322306455318171
Recall?
0.9818533752721994
Freqs
test
numberfreq
06742
13602
2380
328
Total Confusion?
Predicted +Predicted MaybePredicted -
+3010
-209
Precision?
0.9393939393939394
Recall?
1.0
Samples
2.2s16 450×0valid
1.3s3 636×1valid
662.0ms1 370×2valid
23.0ms48×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-mult: 627.0ms (19.8% of total)
ival-add: 606.0ms (19.2% of total)
ival-sub: 594.0ms (18.8% of total)
ival-pow: 380.0ms (12% of total)
adjust: 293.0ms (9.3% of total)
ival-div: 248.0ms (7.8% of total)
ival-sin: 151.0ms (4.8% of total)
ival-cos: 79.0ms (2.5% of total)
const: 43.0ms (1.4% of total)
ival-exp: 29.0ms (0.9% of total)
ival-sqrt: 22.0ms (0.7% of total)
ival-true: 18.0ms (0.6% of total)
exact: 17.0ms (0.5% of total)
ival-neg: 16.0ms (0.5% of total)
ival-pow2: 13.0ms (0.4% of total)
ival-assert: 9.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-log1p: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.1% of total)
ival-expm1: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

regimes8.7s (2.2%)

Memory
-135.1MiB live, 10 705.3MiB allocated
Counts
5 963 → 583
Calls

96 calls:

1.5s
x
808.0ms
b
559.0ms
a
342.0ms
(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 #s(literal 3 binary64) x1) x1) (*.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64)))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 #s(literal 3 binary64) x1) x1) (*.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64))) #s(literal 3 binary64))) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 #s(literal 4 binary64) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 #s(literal 3 binary64) x1) x1) (*.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64)))) #s(literal 6 binary64)))) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64))) (*.f64 (*.f64 (*.f64 #s(literal 3 binary64) x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 #s(literal 3 binary64) x1) x1) (*.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64))))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 #s(literal 3 binary64) (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 #s(literal 3 binary64) x1) x1) (*.f64 #s(literal 2 binary64) x2)) x1) (+.f64 (*.f64 x1 x1) #s(literal 1 binary64))))))
336.0ms
x1
Compiler

Compiled 11 102 to 5 902 computations (46.8% saved)

series5.1s (1.3%)

Memory
-229.0MiB live, 6 730.6MiB allocated
Counts
1 975 → 40 152
Calls

5562 calls:

TimeVariablePointExpression
122.0ms
v
@-inf
(- (- (+ 3 (/ 2 (* r r))) (/ (* (* 1/8 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 9/2)
78.0ms
t
@0
(* (* (sqrt (* (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt (* (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))) (sqrt (sqrt (sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
64.0ms
x1
@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)))
41.0ms
x
@inf
(/ (* (* x x) (+ (* (* x (* x x)) (* (* x (* x x)) -12167/46656000)) 1/216)) (- (+ (* 529/129600 (* (* x x) (* x x))) 1/36) (* (* x x) -23/2160)))
41.0ms
b
@-inf
(* a (sqrt (+ (* a (* -4 c)) (* b b))))

analyze4.2s (1%)

Memory
32.8MiB live, 5 591.6MiB 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)

bsearch3.1s (0.8%)

Memory
52.3MiB live, 2 743.1MiB allocated
Algorithm
157×binary-search
118×left-value
Stop Event
151×narrow-enough
6×predicate-same
Samples
1.3s8 545×0valid
591.0ms1 234×1valid
105.0ms346×2valid
56.0ms632×0invalid
7.0ms43×1exit
5.0ms19×3valid
1.0ms6×0exit
Compiler

Compiled 43 305 to 25 976 computations (40% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-add: 485.0ms (29.8% of total)
ival-pow: 402.0ms (24.7% of total)
ival-mult: 318.0ms (19.5% of total)
ival-div: 126.0ms (7.7% of total)
ival-sub: 122.0ms (7.5% of total)
ival-exp: 60.0ms (3.7% of total)
adjust: 48.0ms (2.9% of total)
ival-neg: 28.0ms (1.7% of total)
ival-sqrt: 18.0ms (1.1% of total)
exact: 8.0ms (0.5% of total)
ival-true: 7.0ms (0.4% of total)
ival-assert: 4.0ms (0.2% of total)
ival-pi: 1.0ms (0.1% of total)
ival-log1p: 1.0ms (0.1% of total)

start1.0ms (0%)

Memory
2.4MiB live, 2.3MiB allocated

end0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated

Profiling

Loading profile data...