Herbie run

Date:Saturday, August 3rd, 2024
Commit:2.2 on release
Hostname:nightly with Racket 8.11.1
Seed:2024216
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: 3.6min)

sample52.8s (24.4%)

Memory
105.1MiB live, 52 804.4MiB allocated
Samples
16.8s109 648×0valid
11.1s43 765×1valid
8.8s6 310×5exit
4.2s11 707×2valid
1.1s10 313×1exit
381.0ms3 894×0invalid
105.0ms1 362×0exit
Precisions
Click to see histograms. Total time spent on operations: 35.5s
const: 10.7s (30% of total)
ival-exp: 3.9s (11.1% of total)
ival-pow: 3.7s (10.5% of total)
ival-cos: 2.3s (6.5% of total)
adjust: 2.0s (5.5% of total)
ival-tan: 1.8s (5.1% of total)
ival-mult: 1.6s (4.5% of total)
ival-log: 1.2s (3.4% of total)
ival-sqrt: 1.2s (3.3% of total)
ival-sub: 1.1s (3% of total)
ival-fmod: 891.0ms (2.5% of total)
ival-add: 788.0ms (2.2% of total)
ival-sin: 695.0ms (2% of total)
ival-sinh: 692.0ms (1.9% of total)
ival-div: 670.0ms (1.9% of total)
ival-<=: 511.0ms (1.4% of total)
ival-pow2: 462.0ms (1.3% of total)
ival-acos: 349.0ms (1% of total)
ival-neg: 149.0ms (0.4% of total)
ival-hypot: 147.0ms (0.4% of total)
ival-and: 111.0ms (0.3% of total)
ival-true: 98.0ms (0.3% of total)
ival-==: 87.0ms (0.2% of total)
exact: 75.0ms (0.2% of total)
ival-assert: 72.0ms (0.2% of total)
ival-atan: 71.0ms (0.2% of total)
ival-<: 61.0ms (0.2% of total)
ival->=: 60.0ms (0.2% of total)
ival->: 38.0ms (0.1% of total)
ival-or: 38.0ms (0.1% of total)
Bogosity

simplify49.0s (22.6%)

Memory
349.1MiB live, 46 756.1MiB allocated
Algorithm
164×egg-herbie
Rules
1 083 728×lower-fma.f32
1 083 440×lower-fma.f64
388 810×lower-*.f32
387 978×lower-*.f64
219 888×lower-+.f32
Stop Event
212×iter limit
88×saturated
80×node limit
Counts
16 224 → 15 946

soundness26.0s (12%)

Memory
-76.3MiB live, 10 886.7MiB allocated
Rules
582 016×lower-fma.f32
581 866×lower-fma.f64
297 890×lower-*.f32
297 490×lower-*.f64
146 760×lower-+.f32
Stop Event
129×iter limit
65×node limit
16×fuel
6×saturated
5×unsound
4×done
Compiler

Compiled 7 430 to 3 764 computations (49.3% saved)

rewrite23.1s (10.7%)

Memory
39.7MiB live, 29 938.9MiB allocated
Algorithm
72×batch-egg-rewrite
Rules
303 462×lower-fma.f32
303 176×lower-fma.f64
254 930×lower-*.f32
254 140×lower-*.f64
193 912×lower-/.f32
Stop Event
158×iter limit
65×node limit
5×unsound
4×saturated
Counts
922 → 46 352

eval22.2s (10.2%)

Memory
338.1MiB live, 20 741.1MiB allocated
Compiler

Compiled 2 532 648 to 178 389 computations (93% saved)

prune12.7s (5.9%)

Memory
-317.5MiB live, 19 988.6MiB allocated
Counts
85 051 → 1 898
Compiler

Compiled 76 944 to 37 781 computations (50.9% saved)

localize9.9s (4.6%)

Memory
-139.3MiB live, 12 911.7MiB allocated
Samples
2.4s13 225×0valid
2.4s3 161×1valid
1.1s1 107×2valid
364.0ms865×1exit
86.0ms74×3valid
Compiler

Compiled 12 294 to 1 717 computations (86% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0s
ival-mult: 1.2s (24.1% of total)
ival-tan: 490.0ms (9.8% of total)
ival-fmod: 417.0ms (8.3% of total)
ival-cos: 416.0ms (8.3% of total)
ival-add: 410.0ms (8.2% of total)
ival-div: 379.0ms (7.6% of total)
adjust: 346.0ms (6.9% of total)
const: 227.0ms (4.5% of total)
ival-sqrt: 217.0ms (4.3% of total)
ival-sin: 213.0ms (4.3% of total)
ival-pow: 143.0ms (2.9% of total)
ival-sub: 109.0ms (2.2% of total)
ival-log: 86.0ms (1.7% of total)
ival-sinh: 63.0ms (1.3% of total)
ival-exp: 59.0ms (1.2% of total)
ival-neg: 54.0ms (1.1% of total)
ival-pow2: 35.0ms (0.7% of total)
ival-pi: 21.0ms (0.4% of total)
ival-hypot: 21.0ms (0.4% of total)
ival-acos: 20.0ms (0.4% of total)
ival-cbrt: 17.0ms (0.3% of total)
ival-true: 16.0ms (0.3% of total)
exact: 16.0ms (0.3% of total)
ival-assert: 8.0ms (0.2% of total)
ival-asin: 6.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)
ival-fabs: 3.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)

regimes7.2s (3.3%)

Memory
-132.2MiB live, 11 536.9MiB allocated
Counts
4 353 → 209
Calls

53 calls:

937.0ms
x
786.0ms
a
495.0ms
(*.f64 a a)
388.0ms
(tan.f64 a)
358.0ms
b
Compiler

Compiled 2 774 to 1 907 computations (31.3% saved)

analyze3.6s (1.7%)

Memory
4.2MiB live, 4 944.5MiB allocated
Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
28.8%21.3%52.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.2%0%6
71.1%51.1%20.8%26.3%0%1.9%0%7
72.1%51.6%20%26.3%0%2.1%0%8
74.4%53%18.2%26.3%0%2.5%0%9
75.8%53.9%17.2%26.3%0%2.6%0%10
76.6%54.3%16.6%26.3%0%2.8%0%11
77.3%54.8%16.1%26.3%0%2.9%0%12
Compiler

Compiled 279 to 216 computations (22.6% saved)

preprocess3.3s (1.5%)

Memory
170.2MiB live, 4 017.6MiB allocated
Algorithm
20×egg-herbie
Rules
26 494×lower-fma.f32
26 494×lower-fma.f64
5 788×lower-+.f32
5 770×lower-+.f64
5 074×unsub-neg
Stop Event
39×saturated
38×iter limit
3×node limit
Compiler

Compiled 7 138 to 2 542 computations (64.4% saved)

series3.1s (1.4%)

Memory
90.3MiB live, 3 985.0MiB allocated
Counts
922 → 16 224
Calls

3288 calls:

TimeVariablePointExpression
229.0ms
x
@0
(* (sqrt (* (* 2 x) (sqrt (sqrt x)))) (sqrt (sqrt (* x (sqrt x)))))
126.0ms
y
@inf
(+ (* (/ 1 (- 1 (* (tan y) (tan z)))) (+ (tan y) (tan z))) (neg (tan a)))
125.0ms
x
@0
(* x (pow 2 1/4))
101.0ms
z
@0
(* (+ (* x (* x x)) (pow (- (tan (+ y z)) (+ (* a (* (* a a) 1/3)) a)) 3)) (/ 1 (+ (* (- (tan (+ y z)) (+ (* a (* (* a a) 1/3)) a)) (- (- (tan (+ y z)) (+ (* a (* (* a a) 1/3)) a)) x)) (* x x))))
71.0ms
x
@-inf
(* (sqrt (* (* 2 x) (sqrt (sqrt x)))) (sqrt (sqrt (* x (sqrt x)))))

explain2.8s (1.3%)

Memory
11.0MiB live, 3 878.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5450
cos.f64#fsensitivity5200
-.f64#fcancellation3260
sqrt.f64#fuflow-rescue2990
/.f64#fn/o2580
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2541
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2461
tan.f64(tan.f64 (+.f64 y z))sensitivity2010
pow.f64(pow.f64 l (exp.f64 w))sensitivity12015
*.f64#fn*o560
*.f64#fu*o300
*.f64#fn*u220
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue140
↳(*.f64 a a)overflow105
↳(*.f64 b b)overflow14
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue30
↳(sinh.f64 x)overflow3
↳(/.f64 (sinh.f64 x) x)overflow3
+.f64(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))cancellation12
Confusion
Predicted +Predicted -
+2134269
-6872030
Precision
0.7564693371144984
Recall
0.8880565959217644
Confusion?
Predicted +Predicted MaybePredicted -
+21342267
-687152015
Precision?
0.7526427061310782
Recall?
0.8888888888888888
Freqs
test
numberfreq
02299
12747
274
Total Confusion?
Predicted +Predicted MaybePredicted -
+1701
-002
Precision?
1.0
Recall?
0.9444444444444444
Samples
533.0ms6 724×0valid
514.0ms2 686×1valid
322.0ms724×2valid
14.0ms106×1exit
Compiler

Compiled 1 288 to 560 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 966.0ms
ival-exp: 105.0ms (10.9% of total)
ival-mult: 98.0ms (10.1% of total)
adjust: 88.0ms (9.1% of total)
ival-tan: 77.0ms (8% of total)
ival-add: 71.0ms (7.3% of total)
ival-cos: 70.0ms (7.2% of total)
ival-log: 70.0ms (7.2% of total)
ival-pow: 64.0ms (6.6% of total)
ival-sin: 56.0ms (5.8% of total)
ival-sqrt: 53.0ms (5.5% of total)
ival-sinh: 41.0ms (4.2% of total)
ival-div: 34.0ms (3.5% of total)
ival-sub: 32.0ms (3.3% of total)
ival-fmod: 27.0ms (2.8% of total)
ival-pow2: 24.0ms (2.5% of total)
ival-acos: 24.0ms (2.5% of total)
ival-hypot: 11.0ms (1.1% of total)
ival-true: 8.0ms (0.8% of total)
ival-neg: 5.0ms (0.5% of total)
ival-assert: 4.0ms (0.4% of total)
ival-atan: 3.0ms (0.3% of total)
exact: 2.0ms (0.2% of total)

bsearch987.0ms (0.5%)

Memory
-40.1MiB live, 931.1MiB allocated
Algorithm
50×binary-search
35×left-value
Stop Event
45×narrow-enough
5×predicate-same
Samples
342.0ms1 174×1valid
244.0ms2 538×0valid
77.0ms112×2valid
Compiler

Compiled 11 036 to 7 691 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 420.0ms
ival-add: 101.0ms (24% of total)
ival-tan: 74.0ms (17.6% of total)
ival-cos: 67.0ms (16% of total)
ival-exp: 35.0ms (8.3% of total)
adjust: 26.0ms (6.2% of total)
ival-sin: 25.0ms (6% of total)
ival-mult: 24.0ms (5.7% of total)
ival-pow: 14.0ms (3.3% of total)
ival-fmod: 11.0ms (2.6% of total)
ival-div: 10.0ms (2.4% of total)
ival-pow2: 8.0ms (1.9% of total)
ival-sub: 6.0ms (1.4% of total)
ival-sqrt: 6.0ms (1.4% of total)
ival-neg: 5.0ms (1.2% of total)
ival-acos: 4.0ms (1% of total)
ival-true: 3.0ms (0.7% of total)
ival-assert: 1.0ms (0.2% of total)
exact: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated

Profiling

Loading profile data...