Herbie run

Date:Sunday, June 9th, 2024
Commit:7e8e04d8 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024161
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.4min)

sample2.5min (39%)

Results
38.8s55020×2valid
28.8s116071×1valid
26.6s141589×0precondition
26.0s7068×5exit
5.8s57452×0valid
2.8s2625×3valid
650.0ms3964×0invalid
434.0ms4135×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-pow: 24.9s (23.5% of total)
ival-tan: 10.5s (9.9% of total)
ival-exp: 10.4s (9.9% of total)
ival-mult: 8.1s (7.7% of total)
backward-pass: 6.4s (6% of total)
ival-sub: 6.2s (5.8% of total)
...c/correct-round.rkt:119:19: 6.1s (5.8% of total)
ival-log: 5.1s (4.8% of total)
ival-div: 4.7s (4.4% of total)
ival-cos: 4.2s (3.9% of total)
ival-add: 4.0s (3.8% of total)
ival-sin: 3.2s (3% of total)
ival-fabs: 2.6s (2.5% of total)
ival-<=: 2.5s (2.4% of total)
ival-sqrt: 1.4s (1.3% of total)
ival-<: 1.3s (1.2% of total)
ival-and: 1.2s (1.1% of total)
const: 666.0ms (0.6% of total)
ival-fmin: 635.0ms (0.6% of total)
ival->: 621.0ms (0.6% of total)
ival-neg: 546.0ms (0.5% of total)
ival-atan: 365.0ms (0.3% of total)
ival-cbrt: 299.0ms (0.3% of total)
Bogosity

simplify48.7s (12.7%)

Algorithm
250×egg-herbie
Rules
611336×*-lowering-*.f32
611336×*-lowering-*.f64
382572×+-lowering-+.f32
382572×+-lowering-+.f64
241284×fma-lowering-fma.f64
Stop Event
222×iter limit
65×saturated
185×node limit
Counts
28136 → 28136

soundness47.7s (12.4%)

Rules
477804×*-lowering-*.f32
477804×*-lowering-*.f64
270088×+-lowering-+.f32
270088×+-lowering-+.f64
226888×/-lowering-/.f64
Stop Event
10×saturated
143×iter limit
132×node limit
27×fuel
1×done
Compiler

Compiled 12353 to 6874 computations (44.4% saved)

localize40.4s (10.5%)

Results
10.8s3062×5exit
8.0s7366×1valid
6.5s3834×2valid
6.2s12492×0valid
1.6s510×3valid
355.0ms916×0invalid
149.0ms78×1invalid
100.0ms140×0unsamplable
49.0ms18×1unsamplable
Compiler

Compiled 29044 to 3127 computations (89.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.2s
backward-pass: 2.9s (16.2% of total)
ival-log: 2.7s (14.9% of total)
ival-mult: 2.7s (14.8% of total)
ival-div: 1.9s (10.5% of total)
ival-pow: 1.4s (7.4% of total)
ival-add: 1.3s (7.2% of total)
ival-tan: 956.0ms (5.2% of total)
...c/correct-round.rkt:119:19: 938.0ms (5.2% of total)
compiled-spec: 820.0ms (4.5% of total)
ival-sub: 771.0ms (4.2% of total)
ival-cos: 435.0ms (2.4% of total)
ival-sin: 428.0ms (2.4% of total)
ival-exp: 348.0ms (1.9% of total)
ival-sqrt: 210.0ms (1.2% of total)
const: 125.0ms (0.7% of total)
ival-neg: 74.0ms (0.4% of total)
ival-cbrt: 61.0ms (0.3% of total)
ival-cosh: 60.0ms (0.3% of total)
ival-atan2: 27.0ms (0.1% of total)
ival-atan: 12.0ms (0.1% of total)

rewrite38.5s (10%)

Algorithm
111×batch-egg-rewrite
Rules
371626×*-lowering-*.f32
371626×*-lowering-*.f64
302650×/-lowering-/.f64
302650×/-lowering-/.f32
163400×fma-lowering-fma.f64
Stop Event
114×iter limit
111×node limit
Counts
1699 → 64655

eval17.7s (4.6%)

Compiler

Compiled 3835060 to 291271 computations (92.4% saved)

prune14.0s (3.7%)

Counts
113808 → 2440
Compiler

Compiled 114116 to 51048 computations (55.3% saved)

explain7.3s (1.9%)

Results
2.8s3432×2valid
2.4s7312×1valid
586.0ms3438×0valid
225.0ms154×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-tan: 612.0ms (17.4% of total)
ival-exp: 558.0ms (15.8% of total)
backward-pass: 490.0ms (13.9% of total)
ival-log: 320.0ms (9.1% of total)
ival-sub: 235.0ms (6.7% of total)
ival-sin: 218.0ms (6.2% of total)
ival-div: 214.0ms (6.1% of total)
ival-cos: 198.0ms (5.6% of total)
ival-add: 189.0ms (5.4% of total)
ival-mult: 173.0ms (4.9% of total)
ival-pow: 120.0ms (3.4% of total)
ival-sqrt: 78.0ms (2.2% of total)
ival-neg: 40.0ms (1.1% of total)
const: 33.0ms (0.9% of total)
ival-atan: 25.0ms (0.7% of total)
ival-cbrt: 19.0ms (0.5% of total)

preprocess5.4s (1.4%)

Algorithm
56×egg-herbie
Rules
30322×fnmadd-define
27570×sum3-define
24790×fnmsub-define
23844×fmsub-define
21818×fmm-def
Stop Event
44×saturated
28×iter limit
12×node limit
Compiler

Compiled 11428 to 4102 computations (64.1% saved)

regimes4.3s (1.1%)

Counts
5743 → 366
Calls

43 calls:

1.0s
x
357.0ms
b
334.0ms
eps
215.0ms
N
195.0ms
n
Compiler

Compiled 1593 to 1048 computations (34.2% saved)

analyze3.4s (0.9%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
6.1%3.7%57.4%38.9%0%0%0%1
16.5%10.1%51%38.9%0%0%0%2
35.3%20.6%37.8%41.6%0%0%0%3
46.1%26.9%31.4%41.7%0%0%0%4
54.8%31.5%26%42.4%0%0%0%5
57.1%32.5%24.4%43.1%0%0%0%6
61.5%33.9%21.3%44%0%0.8%0.1%7
64.6%35.3%19.3%44.5%0%0.8%0.1%8
67.1%36%17.6%44.9%0%1.2%0.3%9
69.1%36.5%16.3%45.2%0%1.7%0.3%10
71.7%37.5%14.8%45.4%0%1.9%0.4%11
72.8%37.8%14.1%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 322 computations (35.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-sub: 222.0ms (13.6% of total)
...c/correct-round.rkt:119:19: 217.0ms (13.3% of total)
ival-mult: 185.0ms (11.3% of total)
ival-pow: 168.0ms (10.3% of total)
ival-log: 139.0ms (8.5% of total)
ival-div: 130.0ms (7.9% of total)
ival-<=: 76.0ms (4.6% of total)
ival-add: 75.0ms (4.6% of total)
ival-exp: 69.0ms (4.2% of total)
ival-sin: 55.0ms (3.4% of total)
ival-sqrt: 54.0ms (3.3% of total)
ival-fabs: 44.0ms (2.7% of total)
ival-neg: 42.0ms (2.6% of total)
ival-tan: 36.0ms (2.2% of total)
ival-cos: 30.0ms (1.8% of total)
ival-<: 26.0ms (1.6% of total)
const: 22.0ms (1.3% of total)
ival-and: 19.0ms (1.2% of total)
backward-pass: 11.0ms (0.7% of total)
ival->: 11.0ms (0.7% of total)
ival-fmin: 7.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

series3.4s (0.9%)

Counts
1699 → 28136
Calls

5580 calls:

TimeVariablePointExpression
107.0ms
N
@inf
(+ (* (neg (/ (pow (log N) 2) (+ (pow (log (+ 1 N)) 2) (* (log N) (log (* N (+ 1 N))))))) (log N)) (* (/ (pow (log N) 2) (+ (pow (log (+ 1 N)) 2) (* (log N) (log (* N (+ 1 N)))))) (log N)))
93.0ms
N
@-inf
(+ (* (neg (/ (pow (log N) 2) (+ (pow (log (+ 1 N)) 2) (* (log N) (log (* N (+ 1 N))))))) (log N)) (* (/ (pow (log N) 2) (+ (pow (log (+ 1 N)) 2) (* (log N) (log (* N (+ 1 N)))))) (log N)))
40.0ms
n
@0
(* n (log n))
40.0ms
n
@inf
(* (/ -1 n) (log (/ x (+ 1 x))))
35.0ms
x
@0
(* 1/2 (log x))

bsearch2.9s (0.8%)

Algorithm
105×binary-search
23×left-value
Stop Event
5×predicate-same
100×narrow-enough
Results
1.0s9958×0valid
633.0ms1504×2valid
297.0ms1402×1valid
156.0ms1674×0invalid
26.0ms193×0unsamplable
Compiler

Compiled 21330 to 15123 computations (29.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-pow: 365.0ms (25.9% of total)
ival-mult: 219.0ms (15.6% of total)
ival-div: 163.0ms (11.6% of total)
ival-sub: 130.0ms (9.2% of total)
ival-cos: 123.0ms (8.7% of total)
backward-pass: 82.0ms (5.8% of total)
ival-add: 77.0ms (5.5% of total)
ival-neg: 72.0ms (5.1% of total)
ival-sqrt: 72.0ms (5.1% of total)
ival-exp: 49.0ms (3.5% of total)
ival-sin: 26.0ms (1.8% of total)
const: 23.0ms (1.6% of total)
ival-cbrt: 5.0ms (0.4% of total)
ival-log: 3.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...