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

sample1.6min (20.9%)

Results
36.8s225115×0valid
11.4s25166×1valid
11.1s65983×0invalid
7.5s12079×5exit
3.6s10659×1invalid
3.5s6473×3valid
3.3s6557×2valid
1.0s877×4valid
189.0ms471×2invalid
50.0ms253×0unsamplable
6.0ms4×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-mult: 15.9s (26.1% of total)
ival-div: 9.1s (14.9% of total)
ival-pow: 6.5s (10.7% of total)
ival-sub: 4.5s (7.4% of total)
ival-sqrt: 4.0s (6.6% of total)
ival-tan: 4.0s (6.5% of total)
ival-add: 3.6s (5.9% of total)
backward-pass: 2.9s (4.8% of total)
ival-sin: 2.2s (3.6% of total)
ival-exp: 2.0s (3.4% of total)
compiled-spec: 1.3s (2.1% of total)
ival-cos: 827.0ms (1.4% of total)
const: 765.0ms (1.3% of total)
ival-neg: 747.0ms (1.2% of total)
ival-pi: 588.0ms (1% of total)
ival-acos: 537.0ms (0.9% of total)
...c/correct-round.rkt:119:19: 446.0ms (0.7% of total)
ival-log: 366.0ms (0.6% of total)
ival-asin: 275.0ms (0.5% of total)
ival-fabs: 109.0ms (0.2% of total)
ival-atan: 85.0ms (0.1% of total)
ival-<: 80.0ms (0.1% of total)
ival-and: 10.0ms (0% of total)
Bogosity

soundness1.4min (17.7%)

Rules
933492×*-lowering-*.f32
933492×*-lowering-*.f64
452778×/-lowering-/.f32
452778×/-lowering-/.f64
419178×+-lowering-+.f32
Stop Event
10×saturated
209×iter limit
199×node limit
32×fuel
Compiler

Compiled 41135 to 23171 computations (43.7% saved)

simplify1.2min (15.8%)

Algorithm
288×egg-herbie
Rules
1108118×*-lowering-*.f32
1108118×*-lowering-*.f64
493934×+-lowering-+.f32
493934×+-lowering-+.f64
354294×/-lowering-/.f64
Stop Event
256×iter limit
60×saturated
228×node limit
Counts
62724 → 62724

rewrite49.3s (10.5%)

Algorithm
128×batch-egg-rewrite
Rules
507686×*-lowering-*.f32
507686×*-lowering-*.f64
389346×/-lowering-/.f32
389346×/-lowering-/.f64
177444×+-lowering-+.f32
Stop Event
128×iter limit
128×node limit
Counts
2431 → 94050

localize35.2s (7.5%)

Results
12.0s24579×0valid
5.3s638×5exit
4.4s3192×1valid
1.4s2642×0invalid
1.3s763×2valid
589.0ms333×3valid
231.0ms460×0unsamplable
179.0ms65×4valid
102.0ms91×1invalid
7.0ms5×1unsamplable
Compiler

Compiled 46290 to 4750 computations (89.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.3s
ival-mult: 3.8s (23.5% of total)
ival-tan: 3.3s (20.6% of total)
ival-div: 2.4s (15% of total)
ival-pow: 1.2s (7.5% of total)
backward-pass: 1.1s (6.9% of total)
ival-add: 977.0ms (6% of total)
ival-sqrt: 712.0ms (4.4% of total)
ival-cos: 530.0ms (3.3% of total)
ival-sub: 463.0ms (2.8% of total)
...c/correct-round.rkt:119:19: 258.0ms (1.6% of total)
ival-sin: 247.0ms (1.5% of total)
ival-asin: 193.0ms (1.2% of total)
compiled-spec: 193.0ms (1.2% of total)
ival-exp: 159.0ms (1% of total)
const: 135.0ms (0.8% of total)
ival-log: 90.0ms (0.6% of total)
ival-acos: 78.0ms (0.5% of total)
ival-neg: 74.0ms (0.5% of total)
ival-fabs: 69.0ms (0.4% of total)
ival-pi: 43.0ms (0.3% of total)
ival-atan: 35.0ms (0.2% of total)
ival-cbrt: 28.0ms (0.2% of total)
ival-sinh: 15.0ms (0.1% of total)
ival-cosh: 14.0ms (0.1% of total)
ival-tanh: 7.0ms (0% of total)

eval29.8s (6.3%)

Compiler

Compiled 6596469 to 451824 computations (93.2% saved)

prune26.7s (5.7%)

Counts
191300 → 3739
Compiler

Compiled 195589 to 98313 computations (49.7% saved)

regimes21.0s (4.5%)

Counts
14973 → 856
Calls

156 calls:

1.3s
l
681.0ms
x
592.0ms
F
581.0ms
d
578.0ms
t
Compiler

Compiled 8591 to 6494 computations (24.4% saved)

bsearch14.8s (3.2%)

Algorithm
362×binary-search
81×left-value
Stop Event
15×predicate-same
347×narrow-enough
Results
7.4s40102×0valid
1.7s10979×0invalid
518.0ms1243×1valid
465.0ms639×3valid
421.0ms483×4valid
258.0ms539×2valid
20.0ms50×2invalid
20.0ms79×1invalid
5.0ms2×5valid
1.0ms1×5exit
Compiler

Compiled 108569 to 76082 computations (29.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.7s
ival-mult: 2.4s (30.8% of total)
ival-div: 1.4s (17.6% of total)
ival-pow: 1.3s (16.8% of total)
ival-add: 551.0ms (7.1% of total)
ival-sub: 489.0ms (6.3% of total)
ival-sin: 363.0ms (4.7% of total)
ival-tan: 292.0ms (3.8% of total)
ival-sqrt: 245.0ms (3.2% of total)
ival-neg: 175.0ms (2.3% of total)
ival-exp: 163.0ms (2.1% of total)
backward-pass: 131.0ms (1.7% of total)
const: 102.0ms (1.3% of total)
ival-cos: 88.0ms (1.1% of total)
...c/correct-round.rkt:119:19: 49.0ms (0.6% of total)
ival-asin: 12.0ms (0.2% of total)
ival-atan: 12.0ms (0.2% of total)
ival-fabs: 12.0ms (0.2% of total)
ival-pi: 2.0ms (0% of total)

analyze11.1s (2.4%)

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.1%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: 6.3s
ival-mult: 2.0s (32.7% of total)
ival-pow: 1.2s (19.3% of total)
ival-div: 803.0ms (12.8% of total)
ival-sqrt: 593.0ms (9.5% of total)
ival-add: 346.0ms (5.5% of total)
ival-sub: 333.0ms (5.3% of total)
ival-sin: 202.0ms (3.2% of total)
ival-tan: 178.0ms (2.8% of total)
...c/correct-round.rkt:119:19: 115.0ms (1.8% of total)
ival-neg: 94.0ms (1.5% of total)
const: 81.0ms (1.3% of total)
ival-acos: 53.0ms (0.8% of total)
ival-exp: 50.0ms (0.8% of total)
ival-pi: 29.0ms (0.5% of total)
ival-<: 29.0ms (0.5% of total)
backward-pass: 22.0ms (0.4% of total)
ival-asin: 22.0ms (0.4% of total)
ival-fabs: 20.0ms (0.3% of total)
ival-cos: 13.0ms (0.2% of total)
ival-log: 11.0ms (0.2% of total)
ival-and: 4.0ms (0.1% of total)
ival-atan: 2.0ms (0% of total)
compiled-spec: 0.0ms (0% of total)

preprocess10.8s (2.3%)

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

Compiled 44048 to 16504 computations (62.5% saved)

series8.9s (1.9%)

Counts
2431 → 62724
Calls

13758 calls:

TimeVariablePointExpression
124.0ms
f
@inf
(/ (- (* (log (* 2 (cosh (/ (PI) (/ 4 f))))) (/ (PI) -4)) (* (/ (PI) -4) (log (* 2 (sinh (/ (PI) (/ 4 f))))))) (* (/ (PI) -4) (/ (PI) -4)))
101.0ms
kx
@inf
(pow (+ 1/2 (/ 1/2 (sqrt (+ 1 (/ (* l (+ (- 1/2 (* 1/2 (cos (* 2 kx)))) (- 1/2 (* 1/2 (cos (* 2 ky)))))) (/ Om (/ (* l 4) Om))))))) 1/4)
93.0ms
Om
@inf
(sqrt (+ 1/2 (* (pow (+ 1 (/ (* l (+ (- 1/2 (* 1/2 (cos (* 2 kx)))) (- 1/2 (* 1/2 (cos (* 2 ky)))))) (/ Om (/ (* l 4) Om)))) -1/2) 1/2)))
76.0ms
f
@-inf
(/ (/ (log (/ 1 (tanh (/ (PI) (/ 4 f))))) -1/4) (PI))
70.0ms
t
@inf
(* t (sqrt (/ 2 (+ (+ (* 2 (+ (/ (* t t) x) (* t t))) (/ (* l l) x)) (/ (+ (* l l) (* 2 (* t t))) x)))))

explain7.3s (1.6%)

Results
2.9s13418×0valid
994.0ms1982×1valid
385.0ms440×3valid
337.0ms472×2valid
65.0ms64×4valid
7.0ms8×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 683.0ms (25.9% of total)
ival-div: 328.0ms (12.4% of total)
ival-tan: 315.0ms (11.9% of total)
ival-pow: 253.0ms (9.6% of total)
ival-sub: 170.0ms (6.4% of total)
ival-add: 159.0ms (6% of total)
ival-sqrt: 139.0ms (5.3% of total)
backward-pass: 130.0ms (4.9% of total)
ival-sin: 109.0ms (4.1% of total)
ival-exp: 88.0ms (3.3% of total)
ival-cos: 67.0ms (2.5% of total)
const: 42.0ms (1.6% of total)
ival-neg: 30.0ms (1.1% of total)
ival-acos: 30.0ms (1.1% of total)
ival-pi: 25.0ms (0.9% of total)
ival-log: 22.0ms (0.8% of total)
compiled-spec: 21.0ms (0.8% of total)
...c/correct-round.rkt:119:19: 10.0ms (0.4% of total)
ival-asin: 9.0ms (0.3% of total)
ival-atan: 6.0ms (0.2% of total)
ival-fabs: 5.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...