Herbie run

Date:Saturday, August 31st, 2024
Commit:ac261103 on main
Hostname:nightly with Racket 8.11.1
Seed:2024244
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.3s)

sample3.0s (32.3%)

Memory
104.1MiB live, 2 604.6MiB allocated
Samples
994.0ms5 548×2valid
943.0ms10 421×1valid
255.0ms8 799×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-add: 589.0ms (40.5% of total)
adjust: 532.0ms (36.6% of total)
ival-sub: 219.0ms (15.1% of total)
ival-mult: 82.0ms (5.6% of total)
ival-true: 16.0ms (1.1% of total)
ival-assert: 9.0ms (0.6% of total)
exact: 9.0ms (0.6% of total)
Bogosity

simplify2.0s (21.8%)

Memory
-41.7MiB live, 919.6MiB 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

preprocess1.0s (10.9%)

Memory
-10.3MiB live, 485.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 177 to 165 computations (6.8% saved)

rewrite1.0s (10.8%)

Memory
9.9MiB live, 584.4MiB 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

soundness937.0ms (10.1%)

Memory
-17.0MiB live, 108.1MiB 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 85 to 59 computations (30.6% saved)

localize502.0ms (5.4%)

Memory
42.4MiB live, 136.0MiB allocated
Samples
239.0ms712×1valid
60.0ms398×2valid
28.0ms682×0valid
Compiler

Compiled 171 to 62 computations (63.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 258.0ms
ival-add: 196.0ms (76.1% of total)
adjust: 34.0ms (13.2% of total)
ival-sub: 14.0ms (5.4% of total)
ival-mult: 12.0ms (4.7% of total)
ival-assert: 1.0ms (0.4% of total)
ival-true: 1.0ms (0.4% of total)
exact: 1.0ms (0.4% of total)

explain268.0ms (2.9%)

Memory
31.4MiB live, 315.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2531
Confusion
Predicted +Predicted -
+2490
-4515
Precision
0.9841897233201581
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+24900
-41514
Precision?
0.9803149606299213
Recall?
1.0
Freqs
test
numberfreq
0515
1253
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
58.0ms348×2valid
57.0ms648×1valid
19.0ms540×0valid
Compiler

Compiled 159 to 63 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 85.0ms
ival-add: 35.0ms (41% of total)
adjust: 30.0ms (35.2% of total)
ival-sub: 13.0ms (15.2% of total)
ival-mult: 5.0ms (5.9% 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)

eval249.0ms (2.7%)

Memory
-10.8MiB live, 202.9MiB allocated
Compiler

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

prune218.0ms (2.4%)

Memory
-3.2MiB live, 90.1MiB allocated
Counts
1 653 → 19
Compiler

Compiled 181 to 135 computations (25.4% saved)

regimes43.0ms (0.5%)

Memory
5.5MiB live, 36.9MiB allocated
Counts
23 → 7
Calls

8 calls:

11.0ms
x
9.0ms
(+.f64 x #s(literal 1 binary64))
7.0ms
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
7.0ms
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
1.0ms
z
Compiler

Compiled 100 to 74 computations (26% saved)

series17.0ms (0.2%)

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

33 calls:

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

analyze1.0ms (0%)

Memory
0.7MiB live, 0.7MiB 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.1MiB live, 0.1MiB allocated

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...