Herbie run

Date:Thursday, August 22nd, 2024
Commit:efa1c98c on faster-localize
Hostname:nightly with Racket 8.11.1
Seed:2024235
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.9s)

sample3.2s (32.6%)

Memory
94.8MiB live, 2 561.7MiB allocated
Samples
1.1s5 526×2valid
884.0ms10 423×1valid
270.0ms8 819×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-add: 792.0ms (49% of total)
adjust: 501.0ms (31% of total)
ival-sub: 201.0ms (12.4% of total)
ival-mult: 87.0ms (5.4% of total)
ival-true: 16.0ms (1% of total)
ival-assert: 9.0ms (0.6% of total)
exact: 9.0ms (0.6% of total)
Bogosity

simplify1.9s (19.1%)

Memory
-29.2MiB live, 695.1MiB allocated
Algorithm
15×egg-herbie
Rules
117 170×lower-fma.f32
117 168×lower-fma.f64
23 386×lower-*.f32
23 378×lower-*.f64
19 954×lower-+.f32
Stop Event
14×iter limit
12×saturated
7×node limit
Counts
384 → 352

rewrite1.2s (12.4%)

Memory
15.1MiB live, 643.8MiB allocated
Rules
33 752×lower-fma.f32
33 750×lower-fma.f64
23 130×lower-*.f32
23 122×lower-*.f64
19 466×lower-/.f64
Stop Event
10×iter limit
6×node limit
2×saturated
Counts
22 → 1 632

preprocess976.0ms (9.9%)

Memory
38.6MiB live, 542.4MiB 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 240 to 143 computations (40.4% saved)

soundness934.0ms (9.4%)

Memory
-18.2MiB live, 77.8MiB allocated
Rules
43 800×lower-fma.f64
43 800×lower-fma.f32
11 434×lower-*.f32
11 432×lower-*.f64
9 120×lower-/.f64
Stop Event
5×iter limit
3×node limit
3×done
1×saturated
Compiler

Compiled 77 to 43 computations (44.2% saved)

eval618.0ms (6.3%)

Memory
-6.4MiB live, 255.9MiB allocated
Compiler

Compiled 48 389 to 3 844 computations (92.1% saved)

prune471.0ms (4.8%)

Memory
8.0MiB live, 310.4MiB allocated
Counts
2 088 → 14
Compiler

Compiled 187 to 103 computations (44.9% saved)

explain284.0ms (2.9%)

Memory
-18.1MiB live, 303.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation2560
Confusion
Predicted +Predicted -
+2510
-5512
Precision
0.98046875
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+25100
-50512
Precision?
0.98046875
Recall?
1.0
Freqs
test
numberfreq
0512
1256
Total Confusion?
Predicted +Predicted MaybePredicted -
+200
-001
Precision?
1.0
Recall?
1.0
Samples
64.0ms354×2valid
53.0ms638×1valid
21.0ms544×0valid
Compiler

Compiled 164 to 63 computations (61.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 88.0ms
ival-add: 33.0ms (37.7% of total)
adjust: 30.0ms (34.2% of total)
ival-sub: 17.0ms (19.4% of total)
ival-mult: 5.0ms (5.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)

localize223.0ms (2.3%)

Memory
-32.7MiB live, 200.7MiB allocated
Samples
89.0ms354×2valid
61.0ms638×1valid
25.0ms544×0valid
Compiler

Compiled 157 to 55 computations (65% saved)

Precisions
Click to see histograms. Total time spent on operations: 118.0ms
adjust: 51.0ms (43.3% of total)
ival-add: 39.0ms (33.1% of total)
ival-sub: 14.0ms (11.9% of total)
ival-mult: 12.0ms (10.2% of total)
ival-assert: 1.0ms (0.8% of total)
ival-true: 1.0ms (0.8% of total)
exact: 1.0ms (0.8% of total)

regimes35.0ms (0.4%)

Memory
9.3MiB live, 40.7MiB allocated
Counts
16 → 7
Calls

8 calls:

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

Compiled 130 to 74 computations (43.1% saved)

series16.0ms (0.2%)

Memory
12.5MiB live, 12.5MiB allocated
Counts
22 → 384
Calls

30 calls:

TimeVariablePointExpression
2.0ms
x
@-inf
((* (+ 2 x) x) (+ 2 x) (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (* x 2) (- (* (+ x 1) (+ x 1)) 1) (- (* (+ x 1) (+ x 1)) 1) (* x x) (+ (* (+ 1 x) x) x) (+ 1 x))
1.0ms
x
@0
((* (+ 2 x) x) (+ 2 x) (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (* x 2) (- (* (+ x 1) (+ x 1)) 1) (- (* (+ x 1) (+ x 1)) 1) (* x x) (+ (* (+ 1 x) x) x) (+ 1 x))
1.0ms
x
@inf
((* (+ 2 x) x) (+ 2 x) (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (* x 2) (- (* (+ x 1) (+ x 1)) 1) (- (* (+ x 1) (+ x 1)) 1) (* x x) (+ (* (+ 1 x) x) x) (+ 1 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.8MiB live, 0.8MiB 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)

start0.0ms (0%)

Memory
0.1MiB live, 0.0MiB allocated

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...