Herbie run

Date:Thursday, September 5th, 2024
Commit:9205cc88 on zane-concrete-values
Hostname:nightly with Racket 8.11.1
Seed:2024249
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.0s)

sample3.1s (35%)

Memory
114.4MiB live, 2 642.5MiB allocated
Samples
1.2s5 567×2valid
891.0ms10 449×1valid
264.0ms8 752×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-add: 795.0ms (46.7% of total)
adjust: 513.0ms (30.2% of total)
ival-sub: 276.0ms (16.2% of total)
ival-mult: 83.0ms (4.9% of total)
ival-true: 16.0ms (0.9% of total)
ival-assert: 9.0ms (0.5% of total)
exact: 9.0ms (0.5% of total)
Bogosity

simplify2.0s (22.8%)

Memory
-132.4MiB live, 835.5MiB allocated
Algorithm
17×egg-herbie
Rules
132 884×lower-fma.f32
132 882×lower-fma.f64
29 242×lower-*.f32
29 234×lower-*.f64
24 044×lower-+.f32
Stop Event
17×iter limit
12×saturated
9×node limit
Counts
408 → 378

rewrite958.0ms (10.7%)

Memory
4.5MiB live, 570.0MiB allocated
Rules
28 006×lower-fma.f32
28 004×lower-fma.f64
19 940×lower-*.f32
19 932×lower-*.f64
16 040×lower-/.f64
Stop Event
14×iter limit
7×node limit
2×saturated
Counts
24 → 1 166

preprocess940.0ms (10.5%)

Memory
31.1MiB live, 471.3MiB 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 165 to 163 computations (1.2% saved)

soundness831.0ms (9.3%)

Memory
1.4MiB live, 193.8MiB allocated
Rules
44 424×lower-fma.f32
44 422×lower-fma.f64
11 764×lower-*.f32
11 756×lower-*.f64
9 458×lower-/.f64
Stop Event
8×iter limit
4×node limit
3×done
1×saturated
Compiler

Compiled 64 to 51 computations (20.3% saved)

eval375.0ms (4.2%)

Memory
-15.1MiB live, 202.3MiB allocated
Compiler

Compiled 26 695 to 3 212 computations (88% saved)

explain293.0ms (3.3%)

Memory
-5.4MiB live, 315.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2550
Confusion
Predicted +Predicted -
+2500
-5513
Precision
0.9803921568627451
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+25000
-50513
Precision?
0.9803921568627451
Recall?
1.0
Freqs
test
numberfreq
0513
1255
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
65.0ms674×1valid
51.0ms314×2valid
20.0ms548×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 80.0ms
ival-add: 32.0ms (39.8% of total)
adjust: 28.0ms (34.8% of total)
ival-sub: 13.0ms (16.2% of total)
ival-mult: 6.0ms (7.5% of total)
ival-assert: 1.0ms (1.2% of total)
ival-true: 1.0ms (1.2% of total)
exact: 1.0ms (1.2% of total)

localize258.0ms (2.9%)

Memory
50.3MiB live, 156.2MiB allocated
Samples
71.0ms686×0valid
65.0ms750×1valid
54.0ms356×2valid
Compiler

Compiled 171 to 62 computations (63.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 94.0ms
ival-add: 35.0ms (37.3% of total)
adjust: 32.0ms (34.1% of total)
ival-sub: 13.0ms (13.9% of total)
ival-mult: 11.0ms (11.7% of total)
ival-assert: 1.0ms (1.1% of total)
ival-true: 1.0ms (1.1% of total)
exact: 1.0ms (1.1% of total)

regimes64.0ms (0.7%)

Memory
-8.8MiB live, 51.6MiB allocated
Counts
18 → 6
Calls

8 calls:

37.0ms
x
8.0ms
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
6.0ms
(+.f64 x #s(literal 1 binary64))
5.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
1.0ms
z
Compiler

Compiled 80 to 61 computations (23.8% saved)

prune43.0ms (0.5%)

Memory
52.2MiB live, 91.6MiB allocated
Counts
1 653 → 19
Compiler

Compiled 181 to 135 computations (25.4% saved)

series17.0ms (0.2%)

Memory
14.1MiB live, 14.1MiB allocated
Counts
24 → 408
Calls

33 calls:

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

analyze1.0ms (0%)

Memory
1.1MiB live, 1.1MiB 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.2MiB live, 0.2MiB allocated
Algorithm
1×left-value
Compiler

Compiled 12 to 10 computations (16.7% saved)

start0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...