Herbie run

Date:Monday, October 14th, 2024
Commit:2.0 on release
Hostname:nightly with Racket 8.10
Seed:2024288
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: 8.3min)

sample1.7min (20%)

Results
37.0s225049×0valid
11.1s25159×1valid
10.7s65644×0invalid
8.4s11921×5exit
3.6s10634×1invalid
3.3s6457×3valid
3.3s6628×2valid
883.0ms892×4valid
210.0ms495×2invalid
23.0ms190×0unsamplable
7.0ms7×5valid
Precisions
Click to see histograms. Total time spent on operations: 58.6s
ival-mult: 13.5s (23% of total)
ival-div: 9.0s (15.4% of total)
ival-pow: 6.2s (10.6% of total)
ival-sqrt: 4.2s (7.2% of total)
backward-pass: 4.0s (6.8% of total)
ival-tan: 3.8s (6.5% of total)
ival-add: 3.8s (6.4% of total)
ival-sub: 3.8s (6.4% of total)
ival-exp: 2.2s (3.8% of total)
ival-sin: 1.9s (3.3% of total)
compiled-spec: 1.4s (2.4% of total)
const: 797.0ms (1.4% of total)
ival-cos: 766.0ms (1.3% of total)
ival-neg: 700.0ms (1.2% of total)
ival-acos: 654.0ms (1.1% of total)
...c/correct-round.rkt:119:19: 580.0ms (1% of total)
ival-pi: 457.0ms (0.8% of total)
ival-log: 366.0ms (0.6% of total)
ival-asin: 192.0ms (0.3% of total)
ival-fabs: 117.0ms (0.2% of total)
ival-atan: 82.0ms (0.1% of total)
ival-<: 79.0ms (0.1% of total)
ival-and: 14.0ms (0% of total)
Bogosity

soundness1.4min (17.5%)

Rules
899318×*-lowering-*.f32
899318×*-lowering-*.f64
427184×/-lowering-/.f32
427184×/-lowering-/.f64
425496×+-lowering-+.f32
Stop Event
10×saturated
208×iter limit
196×node limit
30×fuel
2×done
Compiler

Compiled 44014 to 24661 computations (44% saved)

simplify1.3min (15.6%)

Algorithm
288×egg-herbie
Rules
1035888×*-lowering-*.f32
1035888×*-lowering-*.f64
484750×+-lowering-+.f32
484750×+-lowering-+.f64
348050×/-lowering-/.f64
Stop Event
256×iter limit
59×saturated
229×node limit
Counts
60456 → 60456

rewrite52.3s (10.5%)

Algorithm
128×batch-egg-rewrite
Rules
486394×*-lowering-*.f32
486394×*-lowering-*.f64
365614×/-lowering-/.f32
365614×/-lowering-/.f64
186272×fma-lowering-fma.f64
Stop Event
130×iter limit
128×node limit
Counts
2367 → 91006

localize39.6s (8%)

Results
16.3s24986×0valid
4.3s2798×1valid
3.5s160×5exit
2.0s2613×0invalid
851.0ms542×2valid
842.0ms112×3invalid
759.0ms385×3valid
610.0ms178×2invalid
572.0ms205×1invalid
442.0ms733×0unsamplable
219.0ms54×4valid
7.0ms2×5valid
Compiler

Compiled 41897 to 4616 computations (89% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.1s
ival-mult: 3.2s (22.9% of total)
ival-tan: 3.0s (21.1% of total)
ival-div: 2.3s (16.1% of total)
ival-add: 961.0ms (6.8% of total)
backward-pass: 894.0ms (6.3% of total)
ival-pow: 752.0ms (5.3% of total)
ival-sqrt: 484.0ms (3.4% of total)
ival-sub: 424.0ms (3% of total)
ival-cos: 375.0ms (2.7% of total)
...c/correct-round.rkt:119:19: 370.0ms (2.6% of total)
ival-sin: 337.0ms (2.4% of total)
ival-log: 190.0ms (1.3% of total)
ival-asin: 184.0ms (1.3% of total)
compiled-spec: 152.0ms (1.1% of total)
ival-exp: 125.0ms (0.9% of total)
const: 114.0ms (0.8% of total)
ival-acos: 113.0ms (0.8% of total)
ival-pi: 49.0ms (0.3% of total)
ival-atan: 42.0ms (0.3% of total)
ival-tanh: 25.0ms (0.2% of total)
ival-neg: 17.0ms (0.1% of total)
ival-fabs: 9.0ms (0.1% of total)
ival-cbrt: 6.0ms (0% of total)
ival-cosh: 3.0ms (0% of total)
ival-sinh: 3.0ms (0% of total)

eval30.8s (6.2%)

Compiler

Compiled 5916155 to 420157 computations (92.9% saved)

prune25.9s (5.2%)

Counts
180903 → 3616
Compiler

Compiled 186123 to 95518 computations (48.7% saved)

regimes23.9s (4.8%)

Counts
15865 → 927
Calls

156 calls:

1.6s
l
1.0s
k
837.0ms
t
814.0ms
x
808.0ms
F
Compiler

Compiled 8311 to 6318 computations (24% saved)

bsearch18.2s (3.7%)

Algorithm
429×binary-search
84×left-value
Stop Event
16×predicate-same
413×narrow-enough
Results
9.8s49956×0valid
2.5s14204×0invalid
539.0ms1369×1valid
252.0ms578×2valid
99.0ms164×3valid
52.0ms205×1invalid
47.0ms117×2invalid
46.0ms61×4valid
Compiler

Compiled 135233 to 95900 computations (29.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.3s
ival-mult: 2.2s (24.1% of total)
ival-div: 2.1s (22.8% of total)
ival-pow: 1.6s (17% of total)
ival-add: 670.0ms (7.2% of total)
ival-sub: 610.0ms (6.6% of total)
ival-sin: 456.0ms (4.9% of total)
ival-tan: 349.0ms (3.8% of total)
ival-neg: 283.0ms (3.1% of total)
ival-sqrt: 214.0ms (2.3% of total)
ival-exp: 206.0ms (2.2% of total)
ival-cos: 185.0ms (2% of total)
backward-pass: 130.0ms (1.4% of total)
const: 119.0ms (1.3% of total)
...c/correct-round.rkt:119:19: 89.0ms (1% of total)
ival-atan: 20.0ms (0.2% of total)
ival-asin: 12.0ms (0.1% of total)
ival-fabs: 7.0ms (0.1% of total)
ival-pi: 4.0ms (0% of total)

preprocess11.7s (2.4%)

Algorithm
64×egg-herbie
Rules
62328×*-lowering-*.f32
62328×*-lowering-*.f64
57336×fma-define
53010×fnmadd-define
42090×fmsub-define
Stop Event
19×saturated
32×iter limit
45×node limit
Compiler

Compiled 45622 to 16232 computations (64.4% saved)

analyze11.6s (2.3%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.1%18.7%79.5%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7%0.4%4
35.8%32.3%58%1.8%0%7.4%0.6%5
40.1%36.1%54%1.8%0%7.4%0.7%6
45.5%40.6%48.7%1.8%0%8.1%0.8%7
47.9%42.1%45.8%1.8%0%9.5%0.8%8
51%44.7%42.9%1.8%0%9.8%0.9%9
52.2%45.5%41.8%1.8%0%10%0.9%10
53.9%46.8%39.9%1.8%0%10.6%1%11
55.7%47.9%38.2%1.8%0%11.1%1%12
Compiler

Compiled 861 to 546 computations (36.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.8s
ival-mult: 1.6s (27.8% of total)
ival-pow: 1.4s (24% of total)
ival-div: 767.0ms (13.2% of total)
ival-add: 362.0ms (6.2% of total)
ival-sub: 351.0ms (6% of total)
ival-sqrt: 344.0ms (5.9% of total)
...c/correct-round.rkt:119:19: 208.0ms (3.6% of total)
ival-sin: 191.0ms (3.3% of total)
ival-tan: 112.0ms (1.9% of total)
const: 84.0ms (1.4% of total)
ival-neg: 84.0ms (1.4% of total)
ival-acos: 80.0ms (1.4% of total)
ival-exp: 69.0ms (1.2% of total)
ival-pi: 26.0ms (0.4% of total)
ival-asin: 26.0ms (0.4% of total)
backward-pass: 24.0ms (0.4% of total)
ival-fabs: 20.0ms (0.3% of total)
ival-<: 20.0ms (0.3% of total)
ival-cos: 11.0ms (0.2% of total)
ival-log: 11.0ms (0.2% of total)
ival-and: 5.0ms (0.1% of total)
ival-atan: 2.0ms (0% of total)
compiled-spec: 0.0ms (0% of total)

series10.0s (2%)

Counts
2367 → 60456
Calls

13146 calls:

TimeVariablePointExpression
301.0ms
F
@inf
(pow (pow (+ (* F F) (* (+ x 1) 2)) -1/4) 2)
189.0ms
f
@0
(* (/ -4 (PI)) (- (log (/ 4 f)) (log (PI))))
146.0ms
f
@inf
(- (/ (log (* 2 (cosh (/ f (/ 4 (PI)))))) (/ (PI) -4)) (/ (log (* 2 (sinh (/ f (/ 4 (PI)))))) (/ (PI) -4)))
143.0ms
l
@-inf
(exp (- (neg (* 2 (log (/ (pow t 3/2) l)))) (* (log k) 2)))
85.0ms
Om
@inf
(sqrt (* (* n n) (+ (* -2 (/ (* (* U (* l l)) (- U U*)) (* Om Om))) (/ (* (* 2 U) (+ t (/ (* -2 (* l l)) Om))) n))))

explain9.1s (1.8%)

Results
3.6s13294×0valid
1.4s2038×1valid
573.0ms424×3valid
512.0ms558×2valid
71.0ms54×4valid
33.0ms14×5exit
3.0ms2×5valid
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-mult: 720.0ms (22.9% of total)
ival-div: 411.0ms (13.1% of total)
ival-tan: 361.0ms (11.5% of total)
ival-add: 253.0ms (8.1% of total)
ival-pow: 253.0ms (8.1% of total)
backward-pass: 232.0ms (7.4% of total)
ival-exp: 172.0ms (5.5% of total)
ival-sub: 156.0ms (5% of total)
ival-sin: 141.0ms (4.5% of total)
ival-sqrt: 123.0ms (3.9% of total)
ival-neg: 66.0ms (2.1% of total)
ival-cos: 64.0ms (2% of total)
const: 41.0ms (1.3% of total)
ival-acos: 35.0ms (1.1% of total)
ival-atan: 32.0ms (1% of total)
ival-pi: 25.0ms (0.8% of total)
compiled-spec: 18.0ms (0.6% of total)
ival-log: 13.0ms (0.4% of total)
...c/correct-round.rkt:119:19: 11.0ms (0.4% of total)
ival-asin: 10.0ms (0.3% of total)
ival-fabs: 5.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...