Herbie run

Date:Friday, May 24th, 2024
Commit:f8b0e73f on varun10p-naive-cost
Hostname:nightly with Racket 8.11.1
Seed:2024145
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 (19.8%)

Results
34.3s225163×0valid
10.8s25041×1valid
10.0s65481×0invalid
7.4s12098×5exit
3.7s6674×2valid
3.3s6460×3valid
3.2s10198×1invalid
791.0ms848×4valid
237.0ms476×2invalid
55.0ms234×0unsamplable
5.0ms6×5valid
Precisions
Click to see histograms. Total time spent on operations: 57.6s
ival-mult: 15.4s (26.8% of total)
ival-div: 8.8s (15.4% of total)
ival-pow: 5.8s (10.1% of total)
ival-tan: 3.9s (6.8% of total)
ival-add: 3.7s (6.3% of total)
ival-sqrt: 3.6s (6.3% of total)
ival-sub: 3.6s (6.3% of total)
backward-pass: 2.7s (4.7% of total)
ival-sin: 1.9s (3.2% of total)
ival-exp: 1.6s (2.8% of total)
compiled-spec: 1.6s (2.7% of total)
ival-cos: 847.0ms (1.5% of total)
const: 784.0ms (1.4% of total)
ival-pi: 681.0ms (1.2% of total)
ival-acos: 656.0ms (1.1% of total)
ival-neg: 648.0ms (1.1% of total)
...c/correct-round.rkt:119:19: 454.0ms (0.8% of total)
ival-log: 373.0ms (0.6% of total)
ival-asin: 231.0ms (0.4% of total)
ival-fabs: 119.0ms (0.2% of total)
ival-atan: 91.0ms (0.2% of total)
ival-<: 83.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

soundness1.4min (17.5%)

Rules
919432×*-lowering-*.f32
919432×*-lowering-*.f64
446938×/-lowering-/.f32
446938×/-lowering-/.f64
416318×+-lowering-+.f32
Stop Event
10×saturated
207×iter limit
196×node limit
30×fuel
2×done
Compiler

Compiled 43540 to 24531 computations (43.7% saved)

simplify1.2min (15.8%)

Algorithm
286×egg-herbie
Rules
1041666×*-lowering-*.f32
1041666×*-lowering-*.f64
476282×+-lowering-+.f32
476282×+-lowering-+.f64
358996×/-lowering-/.f64
Stop Event
254×iter limit
58×saturated
228×node limit
Counts
61428 → 61428

rewrite51.2s (10.9%)

Algorithm
127×batch-egg-rewrite
Rules
489818×*-lowering-*.f32
489818×*-lowering-*.f64
394308×/-lowering-/.f32
394308×/-lowering-/.f64
179568×+-lowering-+.f32
Stop Event
128×iter limit
127×node limit
Counts
2340 → 97234

localize35.9s (7.6%)

Results
11.1s24789×0valid
8.8s1320×5exit
3.3s2592×1valid
1.4s798×2valid
1.3s2387×0invalid
738.0ms396×3valid
333.0ms86×4valid
52.0ms117×0unsamplable
43.0ms3×5valid
42.0ms24×1invalid
Compiler

Compiled 43281 to 4533 computations (89.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.2s
ival-mult: 3.6s (20.9% of total)
ival-div: 3.2s (18.4% of total)
ival-tan: 2.8s (16.4% of total)
backward-pass: 1.4s (8.2% of total)
ival-add: 1.0s (5.8% of total)
ival-pow: 823.0ms (4.8% of total)
ival-cos: 811.0ms (4.7% of total)
ival-sub: 600.0ms (3.5% of total)
ival-sqrt: 569.0ms (3.3% of total)
ival-acos: 534.0ms (3.1% of total)
compiled-spec: 316.0ms (1.8% of total)
ival-asin: 279.0ms (1.6% of total)
ival-log: 269.0ms (1.6% of total)
ival-sin: 249.0ms (1.4% of total)
...c/correct-round.rkt:119:19: 229.0ms (1.3% of total)
const: 123.0ms (0.7% of total)
ival-exp: 106.0ms (0.6% of total)
ival-tanh: 63.0ms (0.4% of total)
ival-pi: 58.0ms (0.3% of total)
ival-sinh: 48.0ms (0.3% of total)
ival-neg: 33.0ms (0.2% of total)
ival-atan: 32.0ms (0.2% of total)
ival-cbrt: 27.0ms (0.2% of total)
ival-cosh: 22.0ms (0.1% of total)
ival-fabs: 18.0ms (0.1% of total)

eval30.6s (6.5%)

Compiler

Compiled 6463080 to 446747 computations (93.1% saved)

prune25.6s (5.4%)

Counts
191291 → 3592
Compiler

Compiled 183178 to 93775 computations (48.8% saved)

regimes21.0s (4.5%)

Counts
15575 → 924
Calls

156 calls:

1.4s
l
770.0ms
t
768.0ms
k
670.0ms
x
573.0ms
F
Compiler

Compiled 8451 to 6450 computations (23.7% saved)

bsearch15.9s (3.4%)

Algorithm
435×binary-search
77×left-value
Stop Event
20×predicate-same
415×narrow-enough
Results
8.6s46379×0valid
1.7s8889×0invalid
657.0ms1742×1valid
347.0ms794×2valid
338.0ms546×3valid
264.0ms299×4valid
56.0ms212×1invalid
41.0ms94×2invalid
Compiler

Compiled 117636 to 82816 computations (29.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.8s
ival-mult: 2.3s (26.6% of total)
ival-div: 1.7s (19.2% of total)
ival-pow: 1.5s (17.7% of total)
ival-add: 943.0ms (10.8% of total)
ival-sin: 471.0ms (5.4% of total)
ival-sub: 465.0ms (5.3% of total)
ival-tan: 315.0ms (3.6% of total)
ival-sqrt: 228.0ms (2.6% of total)
ival-exp: 168.0ms (1.9% of total)
ival-neg: 155.0ms (1.8% of total)
backward-pass: 149.0ms (1.7% of total)
ival-cos: 133.0ms (1.5% of total)
const: 111.0ms (1.3% of total)
...c/correct-round.rkt:119:19: 23.0ms (0.3% of total)
ival-asin: 16.0ms (0.2% of total)
ival-atan: 12.0ms (0.1% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

preprocess11.7s (2.5%)

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 47466 to 18296 computations (61.5% saved)

analyze11.0s (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.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.2s
ival-mult: 1.9s (31.4% of total)
ival-pow: 1.3s (20.5% of total)
ival-div: 790.0ms (12.7% of total)
ival-sqrt: 533.0ms (8.6% of total)
ival-add: 387.0ms (6.2% of total)
ival-sub: 298.0ms (4.8% of total)
ival-sin: 217.0ms (3.5% of total)
ival-tan: 136.0ms (2.2% of total)
...c/correct-round.rkt:119:19: 119.0ms (1.9% of total)
ival-neg: 91.0ms (1.5% of total)
const: 90.0ms (1.5% of total)
ival-exp: 87.0ms (1.4% of total)
ival-acos: 55.0ms (0.9% of total)
ival-pi: 31.0ms (0.5% of total)
ival-fabs: 31.0ms (0.5% of total)
ival-<: 27.0ms (0.4% of total)
ival-asin: 26.0ms (0.4% of total)
ival-log: 24.0ms (0.4% of total)
backward-pass: 23.0ms (0.4% of total)
ival-cos: 13.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)

series9.9s (2.1%)

Counts
2340 → 61428
Calls

13647 calls:

TimeVariablePointExpression
236.0ms
F
@inf
(- (* (PI) l) (/ (/ 1 F) (/ (+ (/ F (PI)) (* (PI) (* -1/3 (* l (* l F))))) l)))
150.0ms
f
@-inf
(- (/ (/ (log 2) (PI)) -1/4) (/ (/ (log (* (PI) (* f 1/2))) (PI)) -1/4))
111.0ms
f
@inf
(neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (/ (PI) (/ 4 f))))) (log (* 2 (sinh (/ (PI) (/ 4 f))))))))
105.0ms
k
@-inf
(* (log (/ 2 (/ k (* (PI) n)))) 1/2)
83.0ms
l
@0
(/ 2 (* (* (* (exp (- (* 3 (log t)) (* (log l) 2))) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)))

explain7.5s (1.6%)

Results
2.9s13348×0valid
1.1s2032×1valid
466.0ms458×3valid
379.0ms496×2valid
137.0ms44×4valid
8.0ms6×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.8s
ival-mult: 693.0ms (24.9% of total)
ival-tan: 340.0ms (12.2% of total)
ival-div: 298.0ms (10.7% of total)
ival-pow: 239.0ms (8.6% of total)
ival-add: 226.0ms (8.1% of total)
backward-pass: 189.0ms (6.8% of total)
ival-sub: 183.0ms (6.6% of total)
ival-sqrt: 160.0ms (5.7% of total)
ival-sin: 107.0ms (3.8% of total)
ival-cos: 85.0ms (3% of total)
ival-exp: 84.0ms (3% of total)
const: 40.0ms (1.4% of total)
ival-neg: 31.0ms (1.1% of total)
ival-acos: 28.0ms (1% of total)
compiled-spec: 22.0ms (0.8% of total)
ival-log: 18.0ms (0.6% of total)
ival-pi: 17.0ms (0.6% of total)
...c/correct-round.rkt:119:19: 9.0ms (0.3% of total)
ival-asin: 8.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-fabs: 4.0ms (0.1% of total)

end0.0ms (0%)

Profiling

Loading profile data...