Herbie run

Date:Thursday, June 6th, 2024
Commit:b2854467 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024158
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.2min)

sample1.6min (19.8%)

Results
36.7s225290×0valid
11.4s25074×1valid
10.3s64907×0invalid
8.1s12144×5exit
3.9s10590×1invalid
3.5s6415×3valid
3.2s6549×2valid
920.0ms858×4valid
230.0ms489×2invalid
35.0ms219×0unsamplable
5.0ms6×5valid
Precisions
Click to see histograms. Total time spent on operations: 58.0s
ival-mult: 14.9s (25.7% of total)
ival-div: 8.7s (14.9% of total)
ival-pow: 6.1s (10.6% of total)
ival-sub: 3.9s (6.7% of total)
ival-sqrt: 3.9s (6.7% of total)
ival-tan: 3.8s (6.5% of total)
backward-pass: 3.3s (5.7% of total)
ival-add: 3.2s (5.6% of total)
ival-sin: 2.2s (3.7% of total)
ival-exp: 1.7s (2.9% of total)
compiled-spec: 1.5s (2.7% of total)
ival-cos: 905.0ms (1.6% of total)
const: 807.0ms (1.4% of total)
ival-neg: 720.0ms (1.2% of total)
ival-acos: 589.0ms (1% of total)
...c/correct-round.rkt:119:19: 530.0ms (0.9% of total)
ival-log: 439.0ms (0.8% of total)
ival-pi: 422.0ms (0.7% of total)
ival-asin: 192.0ms (0.3% of total)
ival-fabs: 107.0ms (0.2% of total)
ival-atan: 84.0ms (0.1% of total)
ival-<: 81.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

soundness1.4min (17.2%)

Rules
985566×*-lowering-*.f32
985566×*-lowering-*.f64
439802×/-lowering-/.f32
439802×/-lowering-/.f64
439670×+-lowering-+.f32
Stop Event
11×saturated
215×iter limit
204×node limit
30×fuel
2×done
Compiler

Compiled 41988 to 23759 computations (43.4% saved)

simplify1.3min (15.6%)

Algorithm
286×egg-herbie
Rules
1100704×*-lowering-*.f32
1100704×*-lowering-*.f64
500176×+-lowering-+.f32
500176×+-lowering-+.f64
352386×/-lowering-/.f64
Stop Event
253×iter limit
58×saturated
229×node limit
Counts
61536 → 61536

rewrite51.2s (10.5%)

Algorithm
127×batch-egg-rewrite
Rules
507094×*-lowering-*.f32
507094×*-lowering-*.f64
368302×/-lowering-/.f32
368302×/-lowering-/.f64
177466×+-lowering-+.f32
Stop Event
127×iter limit
127×node limit
Counts
2376 → 91764

localize47.4s (9.7%)

Results
17.2s25030×0valid
8.6s498×5exit
5.0s3127×1valid
2.6s841×2valid
1.4s1976×0invalid
951.0ms332×3valid
720.0ms114×3invalid
317.0ms65×2invalid
299.0ms150×1invalid
250.0ms356×0unsamplable
96.0ms23×4valid
Compiler

Compiled 48041 to 4753 computations (90.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.2s
ival-tan: 5.8s (30.4% of total)
ival-mult: 3.9s (20.2% of total)
ival-div: 2.7s (13.8% of total)
backward-pass: 1.4s (7.5% of total)
ival-pow: 1.0s (5.3% of total)
ival-add: 994.0ms (5.2% of total)
ival-sqrt: 572.0ms (3% of total)
ival-sub: 518.0ms (2.7% of total)
ival-cos: 451.0ms (2.3% of total)
ival-sin: 297.0ms (1.5% of total)
...c/correct-round.rkt:119:19: 271.0ms (1.4% of total)
ival-acos: 256.0ms (1.3% of total)
ival-exp: 185.0ms (1% of total)
ival-log: 173.0ms (0.9% of total)
ival-asin: 169.0ms (0.9% of total)
compiled-spec: 164.0ms (0.9% of total)
const: 128.0ms (0.7% of total)
ival-pi: 61.0ms (0.3% of total)
ival-atan: 40.0ms (0.2% of total)
ival-neg: 29.0ms (0.2% of total)
ival-cbrt: 21.0ms (0.1% of total)
ival-tanh: 19.0ms (0.1% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-sinh: 10.0ms (0.1% of total)
ival-cosh: 9.0ms (0% of total)

eval30.3s (6.2%)

Compiler

Compiled 6765360 to 454693 computations (93.3% saved)

prune27.3s (5.6%)

Counts
186842 → 3748
Compiler

Compiled 205635 to 101216 computations (50.8% saved)

regimes20.8s (4.3%)

Counts
14645 → 890
Calls

156 calls:

1.5s
l
925.0ms
k
829.0ms
t
537.0ms
d
519.0ms
x
Compiler

Compiled 8679 to 6576 computations (24.2% saved)

bsearch14.3s (2.9%)

Algorithm
366×binary-search
117×left-value
Stop Event
15×predicate-same
351×narrow-enough
Results
8.1s41530×0valid
1.7s9314×0invalid
508.0ms1161×1valid
241.0ms473×2valid
48.0ms66×3valid
28.0ms34×4valid
20.0ms45×2invalid
19.0ms72×1invalid
Compiler

Compiled 106754 to 74798 computations (29.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.4s
ival-mult: 1.8s (24.8% of total)
ival-pow: 1.5s (19.7% of total)
ival-div: 1.5s (19.7% of total)
ival-add: 606.0ms (8.2% of total)
ival-sub: 492.0ms (6.6% of total)
ival-sin: 376.0ms (5.1% of total)
ival-tan: 279.0ms (3.8% of total)
ival-sqrt: 162.0ms (2.2% of total)
ival-exp: 153.0ms (2.1% of total)
ival-neg: 150.0ms (2% of total)
ival-cos: 146.0ms (2% of total)
backward-pass: 125.0ms (1.7% of total)
const: 96.0ms (1.3% of total)
...c/correct-round.rkt:119:19: 43.0ms (0.6% of total)
ival-atan: 14.0ms (0.2% of total)
ival-fabs: 14.0ms (0.2% of total)
ival-pi: 4.0ms (0.1% of total)
ival-asin: 3.0ms (0% of total)

analyze11.6s (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: 5.8s
ival-mult: 1.9s (32.2% of total)
ival-pow: 1.2s (21% of total)
ival-div: 720.0ms (12.3% of total)
ival-sub: 411.0ms (7% of total)
ival-add: 349.0ms (6% of total)
ival-sqrt: 299.0ms (5.1% of total)
ival-sin: 222.0ms (3.8% of total)
ival-tan: 154.0ms (2.6% of total)
...c/correct-round.rkt:119:19: 124.0ms (2.1% of total)
const: 86.0ms (1.5% of total)
ival-neg: 81.0ms (1.4% of total)
ival-exp: 67.0ms (1.1% of total)
ival-acos: 50.0ms (0.9% of total)
ival-pi: 32.0ms (0.5% of total)
ival-<: 29.0ms (0.5% of total)
ival-cos: 27.0ms (0.5% of total)
backward-pass: 26.0ms (0.4% of total)
ival-fabs: 24.0ms (0.4% of total)
ival-asin: 21.0ms (0.4% 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.7s (2.2%)

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

Compiled 46822 to 17426 computations (62.8% saved)

series9.8s (2%)

Counts
2376 → 61536
Calls

13602 calls:

TimeVariablePointExpression
103.0ms
f
@inf
(/ (* (log (/ 1 (tanh (/ (* (PI) f) 4)))) -4) (PI))
92.0ms
l
@-inf
(/ (- (* (PI) (PI)) (/ (/ (* (PI) (PI)) (* F F)) (* F F))) (* (/ 1 l) (+ (PI) (/ (PI) (* F F)))))
78.0ms
a
@0
(/ (* a (pow k m)) (+ 1 (* k (+ k 10))))
72.0ms
U
@inf
(* (* l (sqrt 2)) (sqrt (* (* U n) (+ (* U* (/ n (* Om Om))) (/ -2 Om)))))
70.0ms
f
@inf
(neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (/ (* (PI) f) 4)))) (log (* 2 (sinh (/ (* (PI) f) 4)))))))

explain8.9s (1.8%)

Results
3.8s13406×0valid
1.2s1974×1valid
543.0ms534×2valid
534.0ms412×3valid
102.0ms46×4valid
16.0ms12×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-mult: 799.0ms (25.4% of total)
ival-tan: 337.0ms (10.7% of total)
backward-pass: 310.0ms (9.9% of total)
ival-div: 292.0ms (9.3% of total)
ival-sqrt: 284.0ms (9% of total)
ival-pow: 257.0ms (8.2% of total)
ival-add: 190.0ms (6% of total)
ival-sub: 168.0ms (5.3% of total)
ival-sin: 122.0ms (3.9% of total)
ival-exp: 100.0ms (3.2% of total)
ival-cos: 67.0ms (2.1% of total)
ival-acos: 46.0ms (1.5% of total)
const: 41.0ms (1.3% of total)
ival-neg: 33.0ms (1% of total)
ival-pi: 26.0ms (0.8% of total)
compiled-spec: 17.0ms (0.5% of total)
...c/correct-round.rkt:119:19: 14.0ms (0.4% of total)
ival-log: 13.0ms (0.4% of total)
ival-fabs: 11.0ms (0.3% of total)
ival-asin: 9.0ms (0.3% of total)
ival-atan: 6.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...