Herbie run

Date:Friday, May 17th, 2024
Commit:468a8500 on if-cost
Hostname:nightly with Racket 8.11.1
Seed:2024138
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: 3.1min)

sample43.6s (23.6%)

Results
14.5s48813×1valid
9.1s16728×5exit
9.0s108952×0valid
2.6s7355×2valid
426.0ms3888×0invalid
127.0ms1358×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 27.0s
ival-cos: 4.7s (17.5% of total)
...c/correct-round.rkt:119:19: 3.4s (12.7% of total)
backward-pass: 2.1s (7.6% of total)
ival-mult: 1.8s (6.6% of total)
ival-pow: 1.8s (6.6% of total)
ival-log: 1.3s (4.9% of total)
ival-sqrt: 1.3s (4.7% of total)
ival-tan: 1.2s (4.6% of total)
ival-exp: 1.1s (4.2% of total)
ival-sin: 1.0s (3.9% of total)
ival-fmod: 962.0ms (3.6% of total)
ival-add: 934.0ms (3.5% of total)
ival-<=: 863.0ms (3.2% of total)
ival-sub: 831.0ms (3.1% of total)
ival-div: 784.0ms (2.9% of total)
ival-neg: 739.0ms (2.7% of total)
ival-sinh: 612.0ms (2.3% of total)
ival-acos: 364.0ms (1.4% of total)
ival-<: 349.0ms (1.3% of total)
const: 230.0ms (0.9% of total)
ival-==: 156.0ms (0.6% of total)
ival-and: 141.0ms (0.5% of total)
ival-atan: 68.0ms (0.3% of total)
ival-or: 62.0ms (0.2% of total)
ival->=: 55.0ms (0.2% of total)
ival->: 46.0ms (0.2% of total)
Bogosity

soundness30.7s (16.6%)

Rules
255692×*-lowering-*.f32
255692×*-lowering-*.f64
149556×+-lowering-+.f32
149556×+-lowering-+.f64
115058×/-lowering-/.f64
Stop Event
11×saturated
86×iter limit
72×node limit
15×fuel
1×unsound
5×done
Compiler

Compiled 6674 to 3781 computations (43.3% saved)

simplify25.3s (13.7%)

Algorithm
166×egg-herbie
Rules
272090×*-lowering-*.f32
272090×*-lowering-*.f64
176012×+-lowering-+.f32
176012×+-lowering-+.f64
117530×fma-lowering-fma.f64
Stop Event
143×iter limit
84×saturated
85×node limit
Counts
17508 → 17508

rewrite23.1s (12.5%)

Algorithm
73×batch-egg-rewrite
Rules
221120×*-lowering-*.f32
221120×*-lowering-*.f64
150570×/-lowering-/.f32
150570×/-lowering-/.f64
94636×+-lowering-+.f32
Stop Event
3×saturated
81×iter limit
68×node limit
3×unsound
Counts
907 → 38074

localize21.9s (11.8%)

Results
6.0s5049×1valid
5.9s434×5exit
3.6s722×2valid
3.1s12178×0valid
117.0ms85×1invalid
53.0ms178×0unsamplable
27.0ms4×3valid
14.0ms38×0invalid
Compiler

Compiled 11247 to 1569 computations (86% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.1s
ival-cos: 2.8s (21.2% of total)
ival-mult: 2.5s (19.2% of total)
ival-pow: 2.4s (18.1% of total)
ival-fmod: 1.4s (10.7% of total)
backward-pass: 632.0ms (4.8% of total)
ival-div: 627.0ms (4.8% of total)
ival-add: 503.0ms (3.8% of total)
...c/correct-round.rkt:119:19: 435.0ms (3.3% of total)
ival-log: 431.0ms (3.3% of total)
compiled-spec: 284.0ms (2.2% of total)
ival-sub: 255.0ms (1.9% of total)
ival-sin: 253.0ms (1.9% of total)
ival-tan: 213.0ms (1.6% of total)
ival-sqrt: 173.0ms (1.3% of total)
ival-exp: 128.0ms (1% of total)
const: 55.0ms (0.4% of total)
ival-acos: 20.0ms (0.2% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-neg: 10.0ms (0.1% of total)
ival-atan: 3.0ms (0% of total)
ival-asin: 2.0ms (0% of total)
ival-pi: 2.0ms (0% of total)

prune9.2s (5%)

Counts
65925 → 1748
Compiler

Compiled 70095 to 37036 computations (47.2% saved)

eval9.1s (4.9%)

Compiler

Compiled 1647115 to 136752 computations (91.7% saved)

regimes6.5s (3.5%)

Counts
4550 → 195
Calls

55 calls:

843.0ms
a
748.0ms
b
624.0ms
x
621.0ms
r
295.0ms
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
Compiler

Compiled 1883 to 1329 computations (29.4% saved)

analyze4.7s (2.6%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 199 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
...c/correct-round.rkt:119:19: 1.4s (43.9% of total)
ival-tan: 366.0ms (11.8% of total)
ival-<=: 364.0ms (11.8% of total)
ival-add: 137.0ms (4.4% of total)
ival-mult: 136.0ms (4.4% of total)
ival-pow: 113.0ms (3.7% of total)
ival-sin: 94.0ms (3% of total)
ival-exp: 76.0ms (2.5% of total)
ival-cos: 69.0ms (2.2% of total)
ival-and: 56.0ms (1.8% of total)
ival-div: 51.0ms (1.7% of total)
ival-fmod: 47.0ms (1.5% of total)
ival-sub: 43.0ms (1.4% of total)
ival-==: 31.0ms (1% of total)
ival-or: 30.0ms (1% of total)
ival-<: 21.0ms (0.7% of total)
ival-log: 20.0ms (0.6% of total)
ival-sqrt: 19.0ms (0.6% of total)
ival-neg: 19.0ms (0.6% of total)
const: 14.0ms (0.5% of total)
ival-sinh: 12.0ms (0.4% of total)
backward-pass: 8.0ms (0.3% of total)
ival->: 4.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

series3.4s (1.8%)

Counts
907 → 17508
Calls

3570 calls:

TimeVariablePointExpression
208.0ms
x
@inf
(sqrt (* (pow x 3/2) 2))
139.0ms
x
@0
(* x (pow 2 1/4))
100.0ms
x
@-inf
(pow (* x 4) 1/4)
85.0ms
x
@0
(* (pow (* x 4) 1/4) (pow x 3/4))
67.0ms
x
@-inf
(* (pow x 1/4) (sqrt (* (pow x 3/2) 2)))

preprocess2.7s (1.5%)

Algorithm
40×egg-herbie
Rules
17610×fnmadd-define
16432×sum3-define
14168×fmsub-define
13672×fnmsub-define
11252×fma-define
Stop Event
34×saturated
19×iter limit
7×node limit
Compiler

Compiled 7040 to 3278 computations (53.4% saved)

explain2.5s (1.3%)

Results
723.0ms6700×0valid
717.0ms3008×1valid
263.0ms86×5exit
174.0ms446×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-cos: 273.0ms (22.1% of total)
ival-pow: 142.0ms (11.5% of total)
ival-mult: 96.0ms (7.8% of total)
ival-exp: 87.0ms (7% of total)
backward-pass: 77.0ms (6.2% of total)
ival-add: 73.0ms (5.9% of total)
ival-log: 67.0ms (5.4% of total)
ival-sin: 66.0ms (5.3% of total)
ival-fmod: 63.0ms (5.1% of total)
ival-sqrt: 60.0ms (4.8% of total)
ival-sub: 58.0ms (4.7% of total)
ival-div: 55.0ms (4.4% of total)
ival-tan: 48.0ms (3.9% of total)
ival-sinh: 27.0ms (2.2% of total)
ival-acos: 22.0ms (1.8% of total)
const: 12.0ms (1% of total)
ival-neg: 8.0ms (0.6% of total)
ival-atan: 3.0ms (0.2% of total)

bsearch2.2s (1.2%)

Algorithm
8×left-value
61×binary-search
Stop Event
60×narrow-enough
1×predicate-failed
Results
1.3s4316×1valid
406.0ms3476×0valid
12.0ms101×0invalid
Compiler

Compiled 14208 to 9907 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-cos: 229.0ms (17.5% of total)
ival-tan: 226.0ms (17.3% of total)
ival-sin: 206.0ms (15.7% of total)
ival-add: 157.0ms (12% of total)
ival-mult: 139.0ms (10.6% of total)
backward-pass: 87.0ms (6.6% of total)
ival-exp: 80.0ms (6.1% of total)
ival-div: 67.0ms (5.1% of total)
ival-pow: 35.0ms (2.7% of total)
ival-fmod: 26.0ms (2% of total)
ival-sub: 22.0ms (1.7% of total)
ival-neg: 19.0ms (1.5% of total)
ival-sqrt: 9.0ms (0.7% of total)
const: 7.0ms (0.5% of total)

end0.0ms (0%)

Profiling

Loading profile data...