Herbie run

Date:Tuesday, July 30th, 2024
Commit:752bd163 on egraph-no-cost-localization
Hostname:nightly with Racket 8.11.1
Seed:2024212
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: 9.6s)

sample3.1s (31.8%)

Memory
90.2MiB live, 2 757.2MiB allocated
Samples
1.2s10 394×1valid
868.0ms5 562×2valid
257.0ms8 798×0valid
2.0ms14×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-add: 519.0ms (38.7% of total)
adjust: 495.0ms (36.9% of total)
ival-sub: 199.0ms (14.8% of total)
ival-mult: 90.0ms (6.7% of total)
ival-true: 16.0ms (1.2% of total)
exact: 14.0ms (1% of total)
ival-assert: 9.0ms (0.7% of total)
Bogosity

simplify2.1s (21.8%)

Memory
-39.6MiB live, 1 455.2MiB allocated
Algorithm
17×egg-herbie
Rules
71 098×lower-fma.f32
71 096×lower-fma.f64
16 814×lower-*.f32
16 806×lower-*.f64
11 606×lower-+.f32
Stop Event
18×saturated
15×iter limit
5×node limit
Counts
300 → 270

preprocess1.3s (13.8%)

Memory
10.8MiB live, 851.7MiB allocated
Algorithm
3×egg-herbie
Rules
27 818×lower-fma.f32
27 818×lower-fma.f64
6 342×lower-+.f32
6 330×lower-+.f64
6 010×unsub-neg
Stop Event
6×iter limit
4×node limit
2×saturated
Compiler

Compiled 192 to 128 computations (33.3% saved)

rewrite1.3s (13.4%)

Memory
38.9MiB live, 707.5MiB allocated
Algorithm
7×batch-egg-rewrite
Rules
16 752×lower-fma.f32
16 750×lower-fma.f64
11 480×lower-*.f32
11 472×lower-*.f64
9 232×lower-/.f64
Stop Event
14×iter limit
6×saturated
3×node limit
2×unsound
Counts
18 → 1 120

soundness888.0ms (9.2%)

Memory
-10.2MiB live, 316.8MiB allocated
Rules
39 824×lower-fma.f32
39 822×lower-fma.f64
17 324×lower-*.f32
17 316×lower-*.f64
10 464×lower-/.f64
Stop Event
11×iter limit
4×node limit
3×done
1×unsound
Compiler

Compiled 83 to 49 computations (41% saved)

explain331.0ms (3.4%)

Memory
20.9MiB live, 318.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2531
Confusion
Predicted +Predicted -
+2471
-6514
Precision
0.9762845849802372
Recall
0.9959677419354839
Confusion?
Predicted +Predicted MaybePredicted -
+24710
-60514
Precision?
0.9763779527559056
Recall?
1.0
Freqs
test
numberfreq
0515
1253
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
53.0ms634×1valid
52.0ms334×2valid
19.0ms564×0valid
1.0ms4×3valid
Compiler

Compiled 194 to 80 computations (58.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 76.0ms
ival-add: 28.0ms (37% of total)
adjust: 28.0ms (37% of total)
ival-sub: 12.0ms (15.9% of total)
ival-mult: 5.0ms (6.6% of total)
ival-assert: 1.0ms (1.3% of total)
exact: 1.0ms (1.3% of total)
ival-true: 1.0ms (1.3% of total)

eval232.0ms (2.4%)

Memory
-13.3MiB live, 201.7MiB allocated
Compiler

Compiled 31 212 to 2 971 computations (90.5% saved)

localize177.0ms (1.8%)

Memory
-45.0MiB live, 119.6MiB allocated
Samples
42.0ms317×1valid
39.0ms1 306×0valid
23.0ms167×2valid
0.0ms2×3valid
Compiler

Compiled 116 to 50 computations (56.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 50.0ms
ival-add: 18.0ms (36% of total)
adjust: 16.0ms (32% of total)
ival-sub: 7.0ms (14% of total)
ival-mult: 7.0ms (14% of total)
ival-assert: 1.0ms (2% of total)
exact: 1.0ms (2% of total)
ival-true: 1.0ms (2% of total)

prune141.0ms (1.5%)

Memory
26.5MiB live, 228.5MiB allocated
Counts
1 499 → 19
Compiler

Compiled 194 to 112 computations (42.3% saved)

regimes63.0ms (0.7%)

Memory
13.3MiB live, 44.8MiB allocated
Counts
28 → 8
Calls

8 calls:

23.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
13.0ms
x
10.0ms
(+.f64 x #s(literal 1 binary64))
9.0ms
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
1.0ms
y
Compiler

Compiled 154 to 87 computations (43.5% saved)

series9.0ms (0.1%)

Memory
8.2MiB live, 8.2MiB allocated
Counts
18 → 300
Calls

72 calls:

TimeVariablePointExpression
0.0ms
x
@-inf
(- (* (+ x 1) (+ x 1)) 1)
0.0ms
x
@0
(+ x x)
0.0ms
x
@inf
(- (* (+ x 1) (+ x 1)) 1)
0.0ms
x
@0
(- (* (+ x 1) (+ x 1)) 1)
0.0ms
x
@-inf
(* (+ x 2) x)

analyze1.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated
Algorithm
3×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 31 to 23 computations (25.8% saved)

bsearch0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Algorithm
1×left-value
Compiler

Compiled 13 to 10 computations (23.1% saved)

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...