Herbie run

Date:Wednesday, June 12th, 2024
Commit:01076b9b on varun10p-ablationgraphs
Hostname:nightly with Racket 8.11.1
Seed:2024164
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: 8.9min)

sample2.1min (24%)

Results
56.2s434505×0valid
34.3s7802×5exit
12.4s29008×1valid
3.2s6761×2valid
1.2s5701×0unsamplable
202.0ms371×3valid
102.0ms507×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.4min
ival-sin: 25.0s (30.2% of total)
ival-mult: 16.5s (19.9% of total)
ival-add: 7.2s (8.6% of total)
...c/correct-round.rkt:119:19: 6.2s (7.4% of total)
ival-div: 5.4s (6.5% of total)
backward-pass: 4.0s (4.8% of total)
ival-exp: 3.2s (3.8% of total)
ival-sub: 2.6s (3.1% of total)
ival-sqrt: 2.4s (2.9% of total)
ival-log: 1.9s (2.3% of total)
ival-cos: 1.3s (1.5% of total)
ival-asin: 1.2s (1.4% of total)
ival-pow: 933.0ms (1.1% of total)
const: 843.0ms (1% of total)
ival-atan2: 783.0ms (0.9% of total)
ival-fabs: 761.0ms (0.9% of total)
ival->: 601.0ms (0.7% of total)
ival-pi: 510.0ms (0.6% of total)
ival-neg: 331.0ms (0.4% of total)
ival-acosh: 306.0ms (0.4% of total)
ival-<=: 302.0ms (0.4% of total)
ival-atanh: 252.0ms (0.3% of total)
ival-asinh: 234.0ms (0.3% of total)
ival->=: 131.0ms (0.2% of total)
ival-and: 121.0ms (0.1% of total)
Bogosity

simplify1.5min (16.5%)

Algorithm
447×egg-herbie
Rules
970288×*-lowering-*.f32
970288×*-lowering-*.f64
604922×+-lowering-+.f32
604922×+-lowering-+.f64
381330×fma-lowering-fma.f64
Stop Event
390×iter limit
169×saturated
278×node limit
Counts
49500 → 49500

soundness1.4min (15.8%)

Rules
712618×*-lowering-*.f32
712618×*-lowering-*.f64
397810×+-lowering-+.f32
397810×+-lowering-+.f64
276704×/-lowering-/.f32
Stop Event
28×saturated
235×iter limit
36×fuel
205×node limit
21×done
Compiler

Compiled 34921 to 18704 computations (46.4% saved)

localize52.8s (9.9%)

Results
18.0s38826×0valid
14.2s2480×5exit
4.7s3403×1valid
2.7s4181×0invalid
1.3s587×2valid
368.0ms438×0unsamplable
8.0ms5×3valid
Compiler

Compiled 46982 to 5193 computations (88.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.9s
ival-mult: 4.6s (23% of total)
backward-pass: 2.2s (11.3% of total)
ival-div: 2.0s (10.1% of total)
ival-pow: 1.7s (8.7% of total)
ival-add: 1.7s (8.4% of total)
ival-log: 1.1s (5.5% of total)
...c/correct-round.rkt:119:19: 1.0s (5.3% of total)
compiled-spec: 977.0ms (4.9% of total)
ival-asin: 923.0ms (4.6% of total)
ival-acos: 729.0ms (3.7% of total)
ival-sqrt: 649.0ms (3.3% of total)
ival-sin: 567.0ms (2.9% of total)
ival-sub: 518.0ms (2.6% of total)
ival-atan2: 242.0ms (1.2% of total)
ival-exp: 232.0ms (1.2% of total)
ival-cos: 183.0ms (0.9% of total)
const: 163.0ms (0.8% of total)
ival-copysign: 140.0ms (0.7% of total)
ival-fabs: 66.0ms (0.3% of total)
ival-pi: 49.0ms (0.2% of total)
ival-neg: 28.0ms (0.1% of total)
ival-cbrt: 14.0ms (0.1% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-e: 2.0ms (0% of total)

rewrite51.6s (9.7%)

Algorithm
195×batch-egg-rewrite
Rules
395224×*-lowering-*.f32
395224×*-lowering-*.f64
250582×/-lowering-/.f32
250582×/-lowering-/.f64
193602×+-lowering-+.f32
Stop Event
41×saturated
205×iter limit
151×node limit
3×unsound
Counts
2711 → 121558

eval34.6s (6.5%)

Compiler

Compiled 5597198 to 473421 computations (91.5% saved)

prune28.9s (5.4%)

Counts
207550 → 3190
Compiler

Compiled 127279 to 68546 computations (46.1% saved)

preprocess13.1s (2.5%)

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 33532 to 11744 computations (65% saved)

explain12.9s (2.4%)

Results
5.1s24892×0valid
3.0s3554×1valid
381.0ms596×2valid
160.0ms118×5exit
14.0ms24×3valid
Compiler

Compiled 13779 to 2169 computations (84.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.7s
ival-mult: 1.0s (27.8% of total)
ival-add: 517.0ms (13.9% of total)
backward-pass: 425.0ms (11.4% of total)
ival-div: 258.0ms (6.9% of total)
...c/correct-round.rkt:119:19: 255.0ms (6.9% of total)
ival-log: 254.0ms (6.8% of total)
ival-exp: 144.0ms (3.9% of total)
ival-sub: 133.0ms (3.6% of total)
ival-sqrt: 118.0ms (3.2% of total)
ival-cos: 91.0ms (2.4% of total)
compiled-spec: 90.0ms (2.4% of total)
ival-sin: 85.0ms (2.3% of total)
ival-asin: 68.0ms (1.8% of total)
const: 60.0ms (1.6% of total)
ival-atan2: 56.0ms (1.5% of total)
ival-pow: 52.0ms (1.4% of total)
ival-fabs: 24.0ms (0.6% of total)
ival-pi: 21.0ms (0.6% of total)
ival-copysign: 16.0ms (0.4% of total)
ival-neg: 15.0ms (0.4% of total)

bsearch12.6s (2.4%)

Algorithm
401×binary-search
21×left-value
Stop Event
19×predicate-same
382×narrow-enough
Results
6.4s42520×0valid
2.9s5328×1valid
357.0ms648×2valid
Compiler

Compiled 89856 to 61366 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.3s
ival-mult: 2.2s (34.4% of total)
ival-add: 625.0ms (9.9% of total)
ival-sin: 582.0ms (9.2% of total)
ival-exp: 542.0ms (8.6% of total)
ival-log: 526.0ms (8.3% of total)
ival-sqrt: 424.0ms (6.7% of total)
ival-sub: 243.0ms (3.9% of total)
ival-cos: 227.0ms (3.6% of total)
ival-div: 219.0ms (3.5% of total)
ival-atan2: 216.0ms (3.4% of total)
backward-pass: 210.0ms (3.3% of total)
ival-fabs: 145.0ms (2.3% of total)
const: 68.0ms (1.1% of total)
...c/correct-round.rkt:119:19: 62.0ms (1% of total)
ival-copysign: 24.0ms (0.4% of total)
ival-neg: 23.0ms (0.4% of total)

regimes12.1s (2.3%)

Counts
11643 → 896
Calls

132 calls:

1.4s
re
1.0s
x
988.0ms
im
951.0ms
y.re
701.0ms
y.im
Compiler

Compiled 5796 to 3751 computations (35.3% saved)

series10.2s (1.9%)

Counts
2711 → 49500
Calls

9645 calls:

TimeVariablePointExpression
659.0ms
im
@-inf
(log (/ (atan2 im re) (log base)))
288.0ms
base
@-inf
(/ (log im) (pow (exp 1) (log (log base))))
280.0ms
x.re
@0
(* (cos (* (neg y.im) (log (/ 1 x.im)))) (exp (* y.im (* -1 (atan2 x.im x.re)))))
157.0ms
im
@-inf
(* (/ (/ (/ 1 (log base)) 2) (log base)) (* (log base) (* 2 (log im))))
135.0ms
x.re
@0
(cos (+ (* (log (neg x.im)) y.im) (* (atan2 x.im x.re) y.re)))

analyze3.7s (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.1s
ival-mult: 646.0ms (31.5% of total)
ival-add: 314.0ms (15.3% of total)
...c/correct-round.rkt:119:19: 185.0ms (9% of total)
ival-log: 184.0ms (9% of total)
ival-div: 170.0ms (8.3% of total)
ival-sqrt: 164.0ms (8% of total)
ival-pow: 76.0ms (3.7% of total)
ival-atan2: 75.0ms (3.7% of total)
ival-sub: 71.0ms (3.5% of total)
ival-exp: 56.0ms (2.7% of total)
const: 25.0ms (1.2% of total)
ival-sin: 24.0ms (1.2% of total)
ival-cos: 15.0ms (0.7% of total)
ival->: 12.0ms (0.6% of total)
ival-<=: 9.0ms (0.4% of total)
backward-pass: 8.0ms (0.4% of total)
ival-pi: 8.0ms (0.4% of total)
ival-neg: 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...