Herbie run

Date:Friday, June 7th, 2024
Commit:78284123 on varun10p-ablationgraphs
Hostname:nightly with Racket 8.11.1
Seed:2024159
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:porules:lynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 6.0min)

sample2.6min (44.4%)

Results
40.7s55253×2valid
32.0s116211×1valid
28.2s143505×0precondition
27.3s7105×5exit
7.0s57074×0valid
2.8s2630×3valid
544.0ms4167×0unsamplable
432.0ms4210×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.9min
ival-pow: 26.4s (23.4% of total)
ival-exp: 11.2s (9.9% of total)
ival-tan: 9.8s (8.7% of total)
ival-mult: 8.2s (7.3% of total)
ival-sub: 7.4s (6.6% of total)
...c/correct-round.rkt:119:19: 6.7s (5.9% of total)
ival-log: 6.2s (5.5% of total)
backward-pass: 6.0s (5.4% of total)
ival-add: 4.7s (4.2% of total)
ival-cos: 4.6s (4.1% of total)
ival-div: 4.4s (3.9% of total)
ival-sin: 3.7s (3.3% of total)
ival-<=: 2.9s (2.6% of total)
ival-fabs: 2.6s (2.3% of total)
ival-<: 1.5s (1.3% of total)
ival-sqrt: 1.4s (1.2% of total)
ival-and: 1.2s (1.1% of total)
ival->: 944.0ms (0.8% of total)
ival-fmin: 719.0ms (0.6% of total)
const: 677.0ms (0.6% of total)
ival-atan: 602.0ms (0.5% of total)
ival-neg: 512.0ms (0.5% of total)
ival-cbrt: 355.0ms (0.3% of total)
Bogosity

soundness43.3s (12.1%)

Rules
390454×*-lowering-*.f32
390454×*-lowering-*.f64
229620×+-lowering-+.f32
229620×+-lowering-+.f64
163274×/-lowering-/.f64
Stop Event
12×saturated
134×iter limit
122×node limit
22×fuel
6×done
Compiler

Compiled 9328 to 5380 computations (42.3% saved)

simplify40.2s (11.3%)

Algorithm
238×egg-herbie
Rules
499242×*-lowering-*.f32
499242×*-lowering-*.f64
304530×+-lowering-+.f32
304530×+-lowering-+.f64
236118×fma-lowering-fma.f64
Stop Event
210×iter limit
81×saturated
157×node limit
Counts
24132 → 24132

localize32.4s (9.1%)

Results
8.5s2976×5exit
7.1s13905×0valid
5.3s6094×1valid
4.2s3159×2valid
673.0ms324×3valid
602.0ms422×0invalid
Compiler

Compiled 21444 to 2615 computations (87.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.8s
backward-pass: 2.3s (15.8% of total)
ival-mult: 2.3s (15.7% of total)
ival-div: 2.2s (14.5% of total)
ival-log: 1.5s (10.4% of total)
ival-sub: 1.0s (7.1% of total)
ival-add: 1.0s (7% of total)
...c/correct-round.rkt:119:19: 861.0ms (5.8% of total)
compiled-spec: 833.0ms (5.6% of total)
ival-exp: 668.0ms (4.5% of total)
ival-pow: 515.0ms (3.5% of total)
ival-cos: 473.0ms (3.2% of total)
ival-tan: 337.0ms (2.3% of total)
ival-sin: 183.0ms (1.2% of total)
ival-sqrt: 179.0ms (1.2% of total)
ival-cbrt: 113.0ms (0.8% of total)
const: 106.0ms (0.7% of total)
ival-neg: 65.0ms (0.4% of total)
ival-atan: 11.0ms (0.1% of total)
ival-atan2: 11.0ms (0.1% of total)

rewrite27.1s (7.6%)

Algorithm
105×batch-egg-rewrite
Rules
228896×*-lowering-*.f32
228896×*-lowering-*.f64
168090×/-lowering-/.f32
168090×/-lowering-/.f64
112316×fma-lowering-fma.f64
Stop Event
10×saturated
105×iter limit
95×node limit
Counts
1448 → 77295

eval16.2s (4.5%)

Compiler

Compiled 2712363 to 248558 computations (90.8% saved)

prune14.5s (4.1%)

Counts
115391 → 2059
Compiler

Compiled 73722 to 39130 computations (46.9% saved)

explain7.8s (2.2%)

Results
3.0s7310×1valid
2.7s3340×2valid
556.0ms3518×0valid
174.0ms168×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.9s
ival-tan: 958.0ms (24.4% of total)
ival-exp: 519.0ms (13.2% of total)
backward-pass: 427.0ms (10.9% of total)
ival-sub: 321.0ms (8.2% of total)
ival-log: 311.0ms (7.9% of total)
ival-div: 244.0ms (6.2% of total)
ival-cos: 226.0ms (5.8% of total)
ival-mult: 200.0ms (5.1% of total)
ival-sin: 165.0ms (4.2% of total)
ival-add: 161.0ms (4.1% of total)
ival-pow: 136.0ms (3.5% of total)
ival-sqrt: 130.0ms (3.3% of total)
ival-cbrt: 38.0ms (1% of total)
ival-neg: 32.0ms (0.8% of total)
const: 32.0ms (0.8% of total)
ival-atan: 23.0ms (0.6% of total)

preprocess4.4s (1.2%)

Algorithm
56×egg-herbie
Rules
30774×fnmadd-define
28154×sum3-define
24932×fmsub-define
24702×fnmsub-define
22798×fmm-def
Stop Event
45×saturated
28×iter limit
11×node limit
Compiler

Compiled 9258 to 3710 computations (59.9% saved)

regimes3.7s (1%)

Counts
5312 → 295
Calls

43 calls:

1.0s
x
417.0ms
eps
287.0ms
b
216.0ms
b_2
151.0ms
a
Compiler

Compiled 1409 to 936 computations (33.6% saved)

analyze3.7s (1%)

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.7s
ival-sub: 269.0ms (16.3% of total)
ival-mult: 223.0ms (13.5% of total)
...c/correct-round.rkt:119:19: 171.0ms (10.4% of total)
ival-pow: 147.0ms (8.9% of total)
ival-log: 116.0ms (7% of total)
ival-div: 104.0ms (6.3% of total)
ival-exp: 97.0ms (5.9% of total)
ival-sqrt: 80.0ms (4.8% of total)
ival-add: 75.0ms (4.5% of total)
ival-<=: 72.0ms (4.4% of total)
ival-sin: 60.0ms (3.6% of total)
ival-tan: 47.0ms (2.8% of total)
ival-fabs: 47.0ms (2.8% of total)
ival-neg: 34.0ms (2.1% of total)
ival-cos: 24.0ms (1.5% of total)
const: 22.0ms (1.3% of total)
ival-and: 20.0ms (1.2% of total)
ival->: 15.0ms (0.9% of total)
backward-pass: 10.0ms (0.6% of total)
ival-fmin: 8.0ms (0.5% of total)
ival-<: 8.0ms (0.5% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

series3.1s (0.9%)

Counts
1448 → 24132
Calls

4803 calls:

TimeVariablePointExpression
44.0ms
n
@0
(/ (log (/ (+ x 1) x)) n)
44.0ms
x
@0
(pow x (/ 1 n))
43.0ms
n
@0
(* n (log n))
39.0ms
n
@0
(/ (- (log (+ 1 x)) (log x)) n)
35.0ms
a
@inf
(+ (* eps (- (* (* (+ a b) (+ a b)) (/ 1/2 (* a b))) (* (/ (* (+ a b) 1/2) a) (/ (+ (* a (* b b)) (* a (* a b))) (* a (* b b)))))) (+ (/ 1 a) (/ 1 b)))

bsearch2.2s (0.6%)

Algorithm
19×left-value
76×binary-search
Stop Event
5×predicate-same
71×narrow-enough
Results
727.0ms7702×0valid
418.0ms954×2valid
252.0ms1184×1valid
135.0ms1230×0invalid
9.0ms70×0unsamplable
Compiler

Compiled 17312 to 11906 computations (31.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 970.0ms
ival-mult: 211.0ms (21.8% of total)
ival-pow: 133.0ms (13.7% of total)
ival-div: 117.0ms (12.1% of total)
ival-sub: 110.0ms (11.3% of total)
ival-cos: 77.0ms (7.9% of total)
ival-sqrt: 69.0ms (7.1% of total)
ival-neg: 65.0ms (6.7% of total)
ival-exp: 61.0ms (6.3% of total)
backward-pass: 57.0ms (5.9% of total)
ival-add: 53.0ms (5.5% of total)
const: 17.0ms (1.8% of total)
ival-cbrt: 1.0ms (0.1% of total)

end0.0ms (0%)

Profiling

Loading profile data...