Herbie run

Date:Thursday, July 25th, 2024
Commit:3139208f on main
Hostname:nightly with Racket 8.11.1
Seed:2024207
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
492.7MiB live, 117 134.0MiB allocated
Algorithm
340×egg-herbie
Rules
2 419 562×lower-fma.f32
2 418 966×lower-fma.f64
879 800×lower-*.f32
878 370×lower-*.f64
515 668×lower-+.f32
Stop Event
423×iter limit
199×node limit
165×saturated
Counts
30 252 → 29 446

sample1.2min (17.8%)

Memory
-85.8MiB live, 87 859.7MiB allocated
Samples
28.1s285 463×0valid
14.4s24 963×2valid
9.0s35 776×1valid
608.0ms4 157×0invalid
188.0ms453×3valid
153.0ms987×0exit
76.0ms97×4valid
64.0ms101×3exit
57.0ms101×4exit
8.0ms14×5exit
5.0ms39×1exit
Precisions
Click to see histograms. Total time spent on operations: 40.8s
ival-mult: 9.0s (22.1% of total)
ival-add: 4.8s (11.8% of total)
ival-div: 4.2s (10.3% of total)
ival-sub: 3.6s (8.7% of total)
ival-pow: 2.9s (7.2% of total)
const: 2.7s (6.7% of total)
adjust: 2.5s (6.2% of total)
ival-<=: 2.2s (5.3% of total)
ival-sin: 2.1s (5.2% of total)
ival-neg: 2.0s (4.8% of total)
ival-cos: 1.6s (3.9% of total)
exact: 489.0ms (1.2% of total)
ival-sqrt: 466.0ms (1.1% of total)
ival-exp: 458.0ms (1.1% of total)
ival-pow2: 423.0ms (1% of total)
ival-and: 355.0ms (0.9% of total)
ival-==: 179.0ms (0.4% of total)
ival-true: 142.0ms (0.3% of total)
ival-assert: 133.0ms (0.3% of total)
ival-<: 91.0ms (0.2% of total)
ival-tan: 82.0ms (0.2% of total)
ival-log1p: 78.0ms (0.2% of total)
ival-expm1: 77.0ms (0.2% of total)
ival-atan: 71.0ms (0.2% of total)
ival-pi: 50.0ms (0.1% of total)
ival-hypot: 19.0ms (0% of total)
ival-if: 5.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)
Bogosity

rewrite1.0min (14.9%)

Memory
231.9MiB live, 78 761.4MiB allocated
Algorithm
149×batch-egg-rewrite
Rules
734 894×lower-fma.f32
734 298×lower-fma.f64
593 808×lower-*.f32
592 392×lower-*.f64
472 024×lower-/.f32
Stop Event
291×iter limit
136×node limit
26×saturated
2×unsound
Counts
1 588 → 94 884

soundness45.6s (11.2%)

Memory
97.0MiB live, 25 895.6MiB allocated
Rules
1 367 706×lower-fma.f32
1 367 418×lower-fma.f64
705 156×lower-*.f32
704 374×lower-*.f64
373 366×lower-/.f32
Stop Event
243×iter limit
155×node limit
25×fuel
17×done
8×saturated
2×unsound
Compiler

Compiled 18 014 to 7 717 computations (57.2% saved)

eval31.4s (7.7%)

Memory
502.1MiB live, 41 505.2MiB allocated
Compiler

Compiled 5 103 308 to 342 949 computations (93.3% saved)

prune31.2s (7.7%)

Memory
-633.0MiB live, 39 300.4MiB allocated
Counts
151 747 → 2 186
Compiler

Compiled 83 715 to 39 692 computations (52.6% saved)

localize18.9s (4.7%)

Memory
-162.3MiB live, 26 273.8MiB allocated
Samples
7.3s32 367×0valid
1.7s2 026×2valid
1.6s2 776×1valid
759.0ms205×5exit
396.0ms157×3valid
165.0ms584×0invalid
52.0ms29×4valid
Compiler

Compiled 24 842 to 3 382 computations (86.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.5s
ival-mult: 2.7s (32.5% of total)
ival-add: 1.9s (22.1% of total)
ival-div: 1.1s (13.3% of total)
adjust: 787.0ms (9.3% of total)
ival-pow: 540.0ms (6.4% of total)
const: 499.0ms (5.9% of total)
ival-sub: 344.0ms (4.1% of total)
ival-neg: 102.0ms (1.2% of total)
ival-exp: 86.0ms (1% of total)
ival-cos: 79.0ms (0.9% of total)
ival-sqrt: 67.0ms (0.8% of total)
exact: 57.0ms (0.7% of total)
ival-sin: 50.0ms (0.6% of total)
ival-true: 32.0ms (0.4% of total)
ival-expm1: 16.0ms (0.2% of total)
ival-assert: 16.0ms (0.2% of total)
ival-log1p: 13.0ms (0.2% of total)
ival-atan: 12.0ms (0.1% of total)
ival-pow2: 8.0ms (0.1% of total)
ival-tan: 6.0ms (0.1% of total)
ival-pi: 6.0ms (0.1% of total)

preprocess16.7s (4.1%)

Memory
244.6MiB live, 17 270.4MiB 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
55×saturated
31×node limit
Compiler

Compiled 22 226 to 6 380 computations (71.3% saved)

explain10.1s (2.5%)

Memory
-317.8MiB live, 14 362.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation12921
+.f64#fcancellation35994
sqrt.f64#foflow-rescue2180
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2170
/.f64#fo/o1660
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1620
/.f64#fn/o1310
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1130
-.f64#fnan-rescue800
/.f64#fu/n730
/.f64#fu/u650
/.f64#fn/u440
+.f64#fnan-rescue420
*.f64#fn*u420
/.f64#fo/n390
*.f64#fn*o300
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue240
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow29
↳(/.f64 i n)overflow24
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow24
sqrt.f64#fuflow-rescue80
Confusion
Predicted +Predicted -
+3538486
-1096619
Precision
0.9701124211680834
Recall
0.8792246520874751
Confusion?
Predicted +Predicted MaybePredicted -
+3538158328
-1091936426
Precision?
0.9244622311155578
Recall?
0.9184890656063618
Freqs
test
numberfreq
07105
13206
2404
337
Total Confusion?
Predicted +Predicted MaybePredicted -
+2911
-209
Precision?
0.9375
Recall?
0.967741935483871
Samples
1.7s16 960×0valid
936.0ms1 974×2valid
566.0ms2 458×1valid
56.0ms44×5exit
48.0ms62×3valid
2.0ms6×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-mult: 541.0ms (25.4% of total)
ival-add: 310.0ms (14.5% of total)
ival-div: 241.0ms (11.3% of total)
adjust: 215.0ms (10.1% of total)
ival-pow: 208.0ms (9.8% of total)
ival-sub: 191.0ms (9% of total)
ival-cos: 108.0ms (5.1% of total)
ival-sin: 98.0ms (4.6% of total)
const: 59.0ms (2.8% of total)
ival-exp: 30.0ms (1.4% of total)
exact: 23.0ms (1.1% of total)
ival-sqrt: 22.0ms (1% of total)
ival-neg: 21.0ms (1% of total)
ival-true: 19.0ms (0.9% of total)
ival-pow2: 13.0ms (0.6% of total)
ival-assert: 9.0ms (0.4% of total)
ival-log1p: 6.0ms (0.3% of total)
ival-tan: 5.0ms (0.2% of total)
ival-expm1: 5.0ms (0.2% of total)
ival-atan: 4.0ms (0.2% of total)
ival-pi: 2.0ms (0.1% of total)

regimes6.8s (1.7%)

Memory
-13.3MiB live, 10 126.6MiB allocated
Counts
5 133 → 543
Calls

96 calls:

723.0ms
x
312.0ms
b
300.0ms
a
293.0ms
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 r r))) (/.f64 (*.f64 (*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64))
255.0ms
eps
Compiler

Compiled 10 937 to 5 606 computations (48.7% saved)

bsearch5.2s (1.3%)

Memory
-242.6MiB live, 6 437.3MiB allocated
Algorithm
175×binary-search
82×left-value
Stop Event
169×narrow-enough
6×predicate-same
Samples
1.8s16 139×0valid
675.0ms3 086×1valid
617.0ms1 477×2valid
184.0ms2 731×0invalid
85.0ms108×3valid
2.0ms6×4valid
Compiler

Compiled 38 968 to 25 982 computations (33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-mult: 693.0ms (27.4% of total)
ival-pow: 597.0ms (23.6% of total)
ival-div: 349.0ms (13.8% of total)
ival-add: 244.0ms (9.6% of total)
ival-sub: 231.0ms (9.1% of total)
adjust: 133.0ms (5.3% of total)
ival-sqrt: 119.0ms (4.7% of total)
ival-exp: 62.0ms (2.4% of total)
ival-neg: 51.0ms (2% of total)
exact: 22.0ms (0.9% of total)
ival-true: 17.0ms (0.7% of total)
ival-assert: 9.0ms (0.4% of total)
ival-pi: 3.0ms (0.1% of total)
ival-expm1: 1.0ms (0% of total)

series4.7s (1.2%)

Memory
180.7MiB live, 4 228.2MiB allocated
Counts
1 588 → 30 252
Calls

6198 calls:

TimeVariablePointExpression
1.5s
b
@0
(/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
262.0ms
n
@0
(/ (* 100 (* n (pow (+ (/ i n) 1) n))) i)
192.0ms
c
@0
(sqrt (- (* b b) (* 4 (* a c))))
105.0ms
a
@-inf
(* a (* b (* b b)))
36.0ms
y
@0
(* (* y y) (+ (* x (/ x (* y y))) -1))

analyze4.6s (1.1%)

Memory
-6.4MiB live, 5 118.7MiB 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 401 to 721 computations (48.5% saved)

end0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated

Profiling

Loading profile data...