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: 9.0min)

sample2.1min (22.9%)

Results
55.3s434421×0valid
32.3s7656×5exit
12.3s28974×1valid
3.0s6806×2valid
428.0ms4128×0unsamplable
164.0ms395×3valid
41.0ms503×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-sin: 23.1s (29.2% of total)
ival-mult: 16.5s (20.9% of total)
ival-add: 6.7s (8.5% of total)
...c/correct-round.rkt:119:19: 6.2s (7.8% of total)
ival-div: 4.5s (5.7% of total)
backward-pass: 3.7s (4.7% of total)
ival-exp: 3.3s (4.2% of total)
ival-sub: 2.5s (3.1% of total)
ival-sqrt: 2.4s (3.1% of total)
ival-log: 1.9s (2.4% of total)
ival-cos: 1.5s (1.9% of total)
ival-asin: 1.1s (1.5% of total)
ival-atan2: 846.0ms (1.1% of total)
ival-pow: 798.0ms (1% of total)
const: 760.0ms (1% of total)
ival-asinh: 683.0ms (0.9% of total)
ival-pi: 515.0ms (0.7% of total)
ival->: 418.0ms (0.5% of total)
ival-neg: 318.0ms (0.4% of total)
ival-<=: 288.0ms (0.4% of total)
ival-acosh: 286.0ms (0.4% of total)
ival-fabs: 227.0ms (0.3% of total)
ival-atanh: 213.0ms (0.3% of total)
ival->=: 186.0ms (0.2% of total)
ival-and: 127.0ms (0.2% of total)
Bogosity

simplify1.5min (16.7%)

Algorithm
451×egg-herbie
Rules
1009210×*-lowering-*.f32
1009210×*-lowering-*.f64
668644×+-lowering-+.f32
668644×+-lowering-+.f64
368560×fma-lowering-fma.f64
Stop Event
394×iter limit
163×saturated
288×node limit
Counts
49632 → 49632

soundness1.5min (16.7%)

Rules
739760×*-lowering-*.f32
739760×*-lowering-*.f64
452872×+-lowering-+.f32
452872×+-lowering-+.f64
278922×/-lowering-/.f32
Stop Event
25×saturated
242×iter limit
36×fuel
215×node limit
21×done
Compiler

Compiled 33774 to 18240 computations (46% saved)

localize57.0s (10.6%)

Results
20.3s40590×0valid
17.2s2593×5exit
4.0s2160×1valid
3.3s4515×0invalid
547.0ms376×2valid
156.0ms197×0unsamplable
1.0ms1×3valid
Compiler

Compiled 51249 to 5250 computations (89.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 22.2s
ival-mult: 4.3s (19.3% of total)
ival-pow: 3.1s (14% of total)
backward-pass: 2.3s (10.3% of total)
ival-div: 2.2s (10% of total)
ival-add: 1.9s (8.5% of total)
ival-asin: 1.4s (6.5% of total)
...c/correct-round.rkt:119:19: 1.2s (5.4% of total)
compiled-spec: 1.1s (4.8% of total)
ival-log: 1.0s (4.6% of total)
ival-acos: 745.0ms (3.4% of total)
ival-sub: 624.0ms (2.8% of total)
ival-sqrt: 456.0ms (2.1% of total)
ival-sin: 410.0ms (1.8% of total)
ival-atan2: 378.0ms (1.7% of total)
ival-exp: 300.0ms (1.4% of total)
ival-cos: 269.0ms (1.2% of total)
const: 150.0ms (0.7% of total)
ival-copysign: 76.0ms (0.3% of total)
ival-pi: 62.0ms (0.3% of total)
ival-fabs: 58.0ms (0.3% of total)
ival-neg: 57.0ms (0.3% of total)
ival-cbrt: 38.0ms (0.2% of total)
ival-cosh: 16.0ms (0.1% of total)
ival-sinh: 11.0ms (0% of total)
ival-e: 9.0ms (0% of total)

rewrite51.0s (9.5%)

Algorithm
197×batch-egg-rewrite
Rules
411652×*-lowering-*.f32
411652×*-lowering-*.f64
248664×/-lowering-/.f32
248664×/-lowering-/.f64
221958×+-lowering-+.f32
Stop Event
36×saturated
204×iter limit
159×node limit
2×unsound
Counts
2689 → 124670

eval34.1s (6.3%)

Compiler

Compiled 5652206 to 467162 computations (91.7% saved)

prune30.4s (5.6%)

Counts
211147 → 3322
Compiler

Compiled 141934 to 73114 computations (48.5% saved)

regimes12.5s (2.3%)

Counts
11642 → 897
Calls

132 calls:

1.7s
re
1.3s
im
1.3s
y.re
628.0ms
x
593.0ms
x.re
Compiler

Compiled 5856 to 3760 computations (35.8% saved)

explain12.2s (2.3%)

Results
4.9s24808×0valid
3.2s3630×1valid
417.0ms576×2valid
115.0ms134×5exit
24.0ms36×3valid
Compiler

Compiled 13779 to 2169 computations (84.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.3s
ival-mult: 915.0ms (21.5% of total)
ival-div: 566.0ms (13.3% of total)
ival-add: 494.0ms (11.6% of total)
backward-pass: 453.0ms (10.6% of total)
...c/correct-round.rkt:119:19: 336.0ms (7.9% of total)
ival-sub: 241.0ms (5.7% of total)
ival-log: 232.0ms (5.5% of total)
ival-neg: 151.0ms (3.5% of total)
ival-sqrt: 148.0ms (3.5% of total)
ival-exp: 145.0ms (3.4% of total)
ival-cos: 113.0ms (2.7% of total)
compiled-spec: 85.0ms (2% of total)
ival-sin: 76.0ms (1.8% of total)
ival-asin: 65.0ms (1.5% of total)
ival-atan2: 62.0ms (1.5% of total)
const: 57.0ms (1.3% of total)
ival-fabs: 45.0ms (1.1% of total)
ival-pow: 37.0ms (0.9% of total)
ival-pi: 21.0ms (0.5% of total)
ival-copysign: 13.0ms (0.3% of total)

preprocess12.2s (2.3%)

Algorithm
114×egg-herbie
Rules
61376×sum3-define
59512×fma-define
55164×fnmadd-define
49676×fmsub-define
48502×sum4-define
Stop Event
70×saturated
57×iter limit
44×node limit
Compiler

Compiled 31514 to 10850 computations (65.6% saved)

bsearch12.0s (2.2%)

Algorithm
420×binary-search
26×left-value
Stop Event
13×predicate-same
407×narrow-enough
Results
6.3s46467×0valid
2.2s4608×1valid
390.0ms777×2valid
15.0ms36×3valid
Compiler

Compiled 100058 to 68019 computations (32% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.7s
ival-mult: 1.9s (33.8% of total)
ival-sin: 700.0ms (12.4% of total)
ival-exp: 560.0ms (9.9% of total)
ival-add: 501.0ms (8.9% of total)
ival-log: 346.0ms (6.1% of total)
ival-sqrt: 339.0ms (6% of total)
ival-div: 261.0ms (4.6% of total)
ival-sub: 241.0ms (4.3% of total)
ival-cos: 238.0ms (4.2% of total)
backward-pass: 176.0ms (3.1% of total)
ival-atan2: 117.0ms (2.1% of total)
...c/correct-round.rkt:119:19: 109.0ms (1.9% of total)
const: 74.0ms (1.3% of total)
ival-neg: 44.0ms (0.8% of total)
ival-fabs: 23.0ms (0.4% of total)
ival-copysign: 20.0ms (0.4% of total)

series9.6s (1.8%)

Counts
2689 → 49632
Calls

9771 calls:

TimeVariablePointExpression
127.0ms
im
@-inf
(log (/ (log base) (atan2 im re)))
117.0ms
y.re
@0
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
111.0ms
alpha
@0
(/ (+ beta (+ alpha 2)) (- beta alpha))
109.0ms
re
@inf
(log (atan2 im re))
108.0ms
wj
@inf
(* wj (+ 1 (* x 5/2)))

analyze3.9s (0.7%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
53.4%46.1%40.2%13.7%0%0%0%1
62.8%53.1%31.4%13.7%0%1.7%0%2
71.2%58.4%23.6%13.7%0%4.3%0%3
77.4%62%18.1%13.7%0%6.2%0%4
83.5%66.8%13.2%13.7%0%6.3%0%5
85.8%68.3%11.3%13.7%0%6.6%0%6
88.3%70.3%9.4%13.7%0%6.6%0%7
89.9%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7.1%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1558 to 790 computations (49.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult: 869.0ms (36.4% of total)
ival-div: 294.0ms (12.3% of total)
ival-add: 279.0ms (11.7% of total)
...c/correct-round.rkt:119:19: 211.0ms (8.8% of total)
ival-log: 165.0ms (6.9% of total)
ival-sqrt: 155.0ms (6.5% of total)
ival-exp: 96.0ms (4% of total)
ival-atan2: 75.0ms (3.1% of total)
ival-sub: 74.0ms (3.1% of total)
ival-pow: 60.0ms (2.5% of total)
const: 23.0ms (1% of total)
ival-sin: 23.0ms (1% of total)
ival-cos: 15.0ms (0.6% of total)
ival->: 14.0ms (0.6% of total)
ival-neg: 9.0ms (0.4% of total)
ival-<=: 8.0ms (0.3% of total)
backward-pass: 7.0ms (0.3% of total)
ival-pi: 7.0ms (0.3% of total)
ival-and: 3.0ms (0.1% of total)
ival-asin: 1.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival->=: 0.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...