Herbie run

Date:Tuesday, August 6th, 2024
Commit:2.2 on release
Hostname:nightly with Racket 8.11.1
Seed:2024219
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.8min)

simplify1.6min (24.2%)

Memory
-228.0MiB live, 119 488.0MiB allocated
Algorithm
344×egg-herbie
Rules
2 499 584×lower-fma.f32
2 499 022×lower-fma.f64
890 530×lower-*.f32
889 040×lower-*.f64
497 798×lower-+.f32
Stop Event
432×iter limit
205×node limit
160×saturated
Counts
31 884 → 31 025

sample1.2min (17.5%)

Memory
452.3MiB live, 83 975.9MiB allocated
Samples
29.5s285 736×0valid
11.9s43 644×1valid
7.1s16 983×2valid
505.0ms4 214×0invalid
195.0ms1 026×0exit
160.0ms389×3valid
58.0ms101×3exit
56.0ms101×4exit
5.0ms33×1exit
Precisions
Click to see histograms. Total time spent on operations: 37.2s
ival-mult: 7.6s (20.4% of total)
const: 3.9s (10.6% of total)
ival-add: 3.6s (9.6% of total)
ival-div: 3.6s (9.6% of total)
ival-pow: 3.3s (9% of total)
ival-sub: 2.9s (7.9% of total)
adjust: 2.5s (6.7% of total)
ival-<=: 2.3s (6.2% of total)
ival-sin: 2.2s (5.9% of total)
ival-cos: 1.7s (4.6% of total)
ival-sqrt: 493.0ms (1.3% of total)
ival-exp: 455.0ms (1.2% of total)
exact: 427.0ms (1.1% of total)
ival-neg: 368.0ms (1% of total)
ival-pow2: 367.0ms (1% of total)
ival-and: 353.0ms (0.9% of total)
ival-==: 251.0ms (0.7% of total)
ival-assert: 140.0ms (0.4% of total)
ival-true: 135.0ms (0.4% of total)
ival-<: 107.0ms (0.3% of total)
ival-log1p: 97.0ms (0.3% of total)
ival-atan: 94.0ms (0.3% of total)
ival-tan: 87.0ms (0.2% of total)
ival-expm1: 74.0ms (0.2% of total)
ival-pi: 35.0ms (0.1% of total)
ival-hypot: 17.0ms (0% of total)
ival-if: 4.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)
Bogosity

rewrite1.0min (15.1%)

Memory
909.7MiB live, 78 655.2MiB allocated
Algorithm
151×batch-egg-rewrite
Rules
776 896×lower-fma.f32
776 342×lower-fma.f64
616 546×lower-*.f32
615 092×lower-*.f64
491 122×lower-/.f32
Stop Event
295×iter limit
142×node limit
22×saturated
Counts
1 635 → 103 200

soundness48.0s (11.8%)

Memory
80.5MiB live, 29 040.8MiB allocated
Rules
1 541 164×lower-fma.f32
1 540 870×lower-fma.f64
777 122×lower-*.f32
776 196×lower-*.f64
403 076×lower-/.f32
Stop Event
264×iter limit
175×node limit
25×fuel
17×done
8×saturated
Compiler

Compiled 20 417 to 7 790 computations (61.8% saved)

eval35.9s (8.9%)

Memory
804.3MiB live, 43 442.7MiB allocated
Compiler

Compiled 5 305 895 to 355 109 computations (93.3% saved)

prune30.4s (7.5%)

Memory
-935.3MiB live, 41 484.8MiB allocated
Counts
161 574 → 2 336
Compiler

Compiled 85 365 to 41 548 computations (51.3% saved)

localize17.5s (4.3%)

Memory
-314.9MiB live, 24 674.0MiB allocated
Samples
6.6s33 437×0valid
1.9s3 148×1valid
1.5s1 648×2valid
216.0ms195×3valid
105.0ms61×5exit
30.0ms155×0invalid
13.0ms9×4valid
1.0ms3×1exit
Compiler

Compiled 23 485 to 3 332 computations (85.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.1s
ival-mult: 2.1s (29.9% of total)
ival-div: 1.4s (19.2% of total)
ival-add: 857.0ms (12.2% of total)
adjust: 695.0ms (9.9% of total)
const: 612.0ms (8.7% of total)
ival-pow: 465.0ms (6.6% of total)
ival-sub: 274.0ms (3.9% of total)
ival-cos: 137.0ms (1.9% of total)
ival-neg: 100.0ms (1.4% of total)
exact: 94.0ms (1.3% of total)
ival-exp: 83.0ms (1.2% of total)
ival-sqrt: 74.0ms (1% of total)
ival-sin: 65.0ms (0.9% of total)
ival-true: 30.0ms (0.4% of total)
ival-atan: 22.0ms (0.3% of total)
ival-expm1: 17.0ms (0.2% of total)
ival-assert: 17.0ms (0.2% of total)
ival-log1p: 16.0ms (0.2% of total)
ival-pow2: 13.0ms (0.2% of total)
ival-tan: 7.0ms (0.1% of total)
ival-pi: 4.0ms (0.1% of total)
ival-log: 3.0ms (0% of total)

preprocess15.9s (3.9%)

Memory
-176.1MiB live, 18 071.5MiB 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 26 996 to 6 380 computations (76.4% saved)

explain10.3s (2.5%)

Memory
-1.7MiB live, 14 521.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13542
+.f64#fcancellation36195
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2310
sqrt.f64#foflow-rescue1980
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1650
/.f64#fn/o1560
/.f64#fo/o1470
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1090
/.f64#fu/n1020
-.f64#fnan-rescue750
/.f64#fn/u460
/.f64#fu/u460
/.f64#fo/n450
+.f64#fnan-rescue440
*.f64#fn*u390
*.f64#fn*o350
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue190
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow29
↳(/.f64 i n)overflow19
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow19
sqrt.f64#fuflow-rescue100
Confusion
Predicted +Predicted -
+3606483
-1396524
Precision
0.9628838451268358
Recall
0.8818782098312545
Confusion?
Predicted +Predicted MaybePredicted -
+3606167316
-1391866338
Precision?
0.9206930209858467
Recall?
0.9227194913181707
Freqs
test
numberfreq
07007
13324
2385
336
Total Confusion?
Predicted +Predicted MaybePredicted -
+2911
-209
Precision?
0.9375
Recall?
0.967741935483871
Samples
1.7s16 866×0valid
801.0ms3 220×1valid
554.0ms1 366×2valid
34.0ms52×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 706.0ms (32.2% of total)
ival-div: 252.0ms (11.5% of total)
ival-add: 228.0ms (10.4% of total)
ival-sub: 219.0ms (10% of total)
ival-pow: 164.0ms (7.5% of total)
adjust: 160.0ms (7.3% of total)
ival-sin: 156.0ms (7.1% of total)
ival-cos: 96.0ms (4.4% of total)
const: 49.0ms (2.2% of total)
ival-sqrt: 29.0ms (1.3% of total)
ival-exp: 26.0ms (1.2% of total)
ival-pow2: 21.0ms (1% of total)
ival-true: 19.0ms (0.9% of total)
exact: 18.0ms (0.8% of total)
ival-neg: 15.0ms (0.7% of total)
ival-assert: 9.0ms (0.4% of total)
ival-log1p: 9.0ms (0.4% of total)
ival-atan: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.2% of total)
ival-expm1: 4.0ms (0.2% of total)
ival-pi: 2.0ms (0.1% of total)

regimes8.8s (2.2%)

Memory
-329.9MiB live, 10 857.7MiB allocated
Counts
6 463 → 554
Calls

96 calls:

893.0ms
x
737.0ms
b
644.0ms
a
464.0ms
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
437.0ms
c
Compiler

Compiled 10 723 to 5 587 computations (47.9% saved)

analyze3.6s (0.9%)

Memory
-92.4MiB live, 5 153.9MiB 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.9s (0.7%)

Memory
9.4MiB live, 4 389.5MiB allocated
Counts
1 635 → 31 884
Calls

6492 calls:

TimeVariablePointExpression
47.0ms
u
@-inf
(/ (* (/ v t1) t1) (neg (+ t1 u)))
33.0ms
x
@0
(pow (exp 20) (sqrt x))
33.0ms
x1
@0
(+ (+ (+ (+ (* (+ (* (* (* 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 (/ (+ -1 (/ (+ (* x2 2) -3) x1)) x1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))
30.0ms
t
@0
(sqrt (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
30.0ms
x
@-inf
(/ (+ -1/2 (* x -1/3)) (+ 1/4 (* -1/9 (* x x))))

bsearch1.8s (0.4%)

Memory
55.0MiB live, 2 134.5MiB allocated
Algorithm
151×binary-search
107×left-value
Stop Event
141×narrow-enough
10×predicate-same
Samples
647.0ms7 328×0valid
299.0ms1 327×1valid
130.0ms414×2valid
47.0ms757×0invalid
2.0ms3×3valid
1.0ms5×0exit
0.0ms1×1exit
Compiler

Compiled 33 587 to 22 150 computations (34.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 805.0ms
ival-mult: 198.0ms (24.6% of total)
ival-pow: 140.0ms (17.4% of total)
ival-div: 138.0ms (17.1% of total)
ival-sub: 94.0ms (11.7% of total)
ival-add: 87.0ms (10.8% of total)
adjust: 48.0ms (6% of total)
ival-exp: 33.0ms (4.1% of total)
ival-neg: 22.0ms (2.7% of total)
ival-sqrt: 20.0ms (2.5% of total)
ival-true: 7.0ms (0.9% of total)
exact: 6.0ms (0.7% of total)
ival-assert: 4.0ms (0.5% of total)
const: 4.0ms (0.5% of total)
ival-expm1: 3.0ms (0.4% of total)
ival-pi: 1.0ms (0.1% of total)

end0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated

Profiling

Loading profile data...