Herbie run

Date:Saturday, April 20th, 2024
Commit:2fe50def on faster-localize-cost
Hostname:nightly with Racket 8.11.1
Seed:2024111
Parameters:256 points for 4 iterations
Flags:
reduce: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.9min)

localize2.0min (25.5%)

Algorithm
127×egg-herbie
Rules
59973×fma-define
37534×fma-neg
25678×associate-*r/
24219×associate-*r*
24104×distribute-lft-in
Stop Event
40×saturated
87×node limit
Results
30.2s23090×0valid
8.6s3966×0invalid
13.2s3289×1valid
11.5s969×2valid
12.8s596×3valid
9.0s577×5exit
101.0ms24×4valid
7.0ms1×5valid
Compiler

Compiled 38800 to 20825 computations (46.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 14.6s (20.4% of total)
ival-pow: 12.0s (16.8% of total)
ival-div: 9.5s (13.3% of total)
backward-pass: 6.0s (8.4% of total)
ival-fma: 4.5s (6.4% of total)
ival-tan: 3.7s (5.2% of total)
ival-asin: 3.4s (4.7% of total)
ival-sub: 3.0s (4.2% of total)
ival-add: 3.0s (4.2% of total)
ival-sqrt: 2.0s (2.8% of total)
ival-cos: 1.7s (2.4% of total)
ival-hypot: 1.5s (2.2% of total)
ival-cbrt: 1.4s (1.9% of total)
const: 1.2s (1.7% of total)
ival-sin: 1.1s (1.6% of total)
ival-exp: 810.0ms (1.1% of total)
ival-log: 612.0ms (0.9% of total)
ival-neg: 591.0ms (0.8% of total)
ival-acos: 341.0ms (0.5% of total)
ival-expm1: 317.0ms (0.4% of total)
ival-pi: 45.0ms (0.1% of total)
ival-atan: 35.0ms (0% of total)
ival-log1p: 20.0ms (0% of total)
ival-fabs: 12.0ms (0% of total)

sample1.8min (22.7%)

Results
41.4s222824×0valid
10.4s65960×0invalid
16.0s28879×1valid
5.0s9629×1invalid
3.8s5898×3valid
3.2s5754×2valid
2.4s3970×5exit
1.2s830×4valid
135.0ms336×2invalid
39.0ms264×0unsamplable
7.0ms7×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 15.5s (23.9% of total)
ival-div: 10.6s (16.3% of total)
ival-pow: 7.5s (11.5% of total)
ival-sub: 4.6s (7.1% of total)
ival-tan: 4.1s (6.3% of total)
ival-sqrt: 3.7s (5.6% of total)
ival-exp: 3.2s (5% of total)
ival-add: 3.2s (4.9% of total)
backward-pass: 3.2s (4.9% of total)
ival-sin: 2.9s (4.5% of total)
ival-neg: 1.1s (1.7% of total)
const: 1.1s (1.7% of total)
ival-cos: 1.0s (1.6% of total)
ival-pi: 890.0ms (1.4% of total)
ival-acos: 585.0ms (0.9% of total)
ival-log: 545.0ms (0.8% of total)
ival-fabs: 336.0ms (0.5% of total)
ival-hypot: 326.0ms (0.5% of total)
ival-asin: 324.0ms (0.5% of total)
ival-atan: 94.0ms (0.1% of total)
ival-<: 69.0ms (0.1% of total)
ival-and: 10.0ms (0% of total)
Bogosity

soundness43.8s (9.2%)

Rules
51262×log1p-expm1-u
48963×fma-define
36795×associate-*r*
36214×expm1-log1p-u
33056×times-frac
Stop Event
8×saturated
163×node limit
31×fuel
1×unsound
1×done
Compiler

Compiled 41137 to 25252 computations (38.6% saved)

simplify42.2s (8.9%)

Algorithm
159×egg-herbie
Rules
47652×fma-define
38872×associate-*r*
37013×distribute-lft-in
35946×*-commutative
35587×distribute-rgt-in
Stop Event
32×saturated
126×node limit
1×unsound
Counts
45579 → 44930

eval31.6s (6.6%)

Compiler

Compiled 1909134 to 1267929 computations (33.6% saved)

rewrite26.7s (5.6%)

Algorithm
127×batch-egg-rewrite
Rules
88320×log1p-expm1-u
61210×expm1-log1p-u
28023×prod-diff
26122×add-exp-log
26007×add-log-exp
Stop Event
126×node limit
1×unsound
Counts
813 → 24777

regimes21.8s (4.6%)

Counts
6153 → 648
Calls

156 calls:

2.1s
l
1.3s
t
959.0ms
k
947.0ms
F
754.0ms
Om
Compiler

Compiled 6840 to 5271 computations (22.9% saved)

prune17.3s (3.6%)

Counts
54354 → 2726
Compiler

Compiled 119562 to 84592 computations (29.2% saved)

explain15.7s (3.3%)

Results
6.3s13110×0valid
4.0s2396×1valid
657.0ms462×2valid
420.0ms366×3valid
53.0ms44×4valid
5.0ms4×5exit
3.0ms2×5valid
Compiler

Compiled 7745 to 4127 computations (46.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.7s
ival-mult: 2.2s (25.4% of total)
ival-pow: 1.6s (18.6% of total)
ival-div: 1.3s (15.2% of total)
ival-exp: 533.0ms (6.1% of total)
ival-sub: 509.0ms (5.8% of total)
ival-add: 461.0ms (5.3% of total)
backward-pass: 400.0ms (4.6% of total)
ival-sqrt: 384.0ms (4.4% of total)
ival-tan: 358.0ms (4.1% of total)
ival-cos: 302.0ms (3.5% of total)
const: 178.0ms (2% of total)
ival-sin: 136.0ms (1.6% of total)
ival-neg: 102.0ms (1.2% of total)
ival-hypot: 92.0ms (1.1% of total)
ival-log: 38.0ms (0.4% of total)
ival-acos: 33.0ms (0.4% of total)
ival-pi: 17.0ms (0.2% of total)
ival-asin: 9.0ms (0.1% of total)
ival-fabs: 5.0ms (0.1% of total)
ival-atan: 4.0ms (0% of total)

bsearch13.0s (2.7%)

Algorithm
288×binary-search
82×left-value
Stop Event
8×predicate-same
280×narrow-enough
Results
6.8s29997×0valid
1.0s4830×0invalid
1.0s2688×1valid
322.0ms589×2valid
286.0ms306×1invalid
29.0ms70×2invalid
22.0ms39×3valid
21.0ms15×4valid
Compiler

Compiled 75147 to 58288 computations (22.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.3s
ival-mult: 1.7s (23.6% of total)
ival-div: 1.1s (15.4% of total)
ival-pow: 1.0s (14.3% of total)
ival-add: 751.0ms (10.3% of total)
ival-sin: 667.0ms (9.1% of total)
ival-tan: 574.0ms (7.9% of total)
ival-neg: 304.0ms (4.2% of total)
ival-sub: 300.0ms (4.1% of total)
ival-sqrt: 205.0ms (2.8% of total)
ival-exp: 184.0ms (2.5% of total)
backward-pass: 181.0ms (2.5% of total)
const: 113.0ms (1.5% of total)
ival-cos: 81.0ms (1.1% of total)
ival-pi: 16.0ms (0.2% of total)
ival-hypot: 13.0ms (0.2% of total)
ival-fabs: 9.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)
ival-atan: 7.0ms (0.1% of total)

analyze11.9s (2.5%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%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.2%36.2%53.8%1.8%0%7.5%0.7%6
45.6%40.7%48.6%1.8%0%8.2%0.8%7
48%42.2%45.7%1.8%0%9.5%0.8%8
51.1%44.7%42.8%1.8%0%9.8%0.9%9
52.2%45.6%41.7%1.8%0%10.1%0.9%10
54%46.8%39.8%1.8%0%10.6%1%11
55.8%48%38.1%1.8%0%11.2%1%12
Compiler

Compiled 861 to 616 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.3s
ival-mult: 2.6s (36.2% of total)
ival-pow: 1.3s (17.5% of total)
ival-div: 1.1s (15.5% of total)
ival-add: 394.0ms (5.4% of total)
ival-sqrt: 386.0ms (5.3% of total)
ival-sub: 378.0ms (5.2% of total)
ival-tan: 199.0ms (2.7% of total)
ival-sin: 185.0ms (2.5% of total)
ival-exp: 181.0ms (2.5% of total)
const: 115.0ms (1.6% of total)
ival-cos: 111.0ms (1.5% of total)
ival-neg: 103.0ms (1.4% of total)
ival-acos: 53.0ms (0.7% of total)
ival-pi: 29.0ms (0.4% of total)
ival-<: 23.0ms (0.3% of total)
backward-pass: 22.0ms (0.3% of total)
ival-fabs: 21.0ms (0.3% of total)
ival-asin: 21.0ms (0.3% of total)
ival-log: 10.0ms (0.1% of total)
ival-and: 4.0ms (0.1% of total)
ival-atan: 2.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)

series11.8s (2.5%)

Counts
813 → 20802
Calls

5589 calls:

TimeVariablePointExpression
348.0ms
H
@inf
(* -49/5 H)
273.0ms
t
@-inf
(* (PI) (* t (+ (* v (neg v)) 1)))
247.0ms
k
@-inf
(* (* (* (/ (pow t 3/2) (sqrt l)) (/ (pow t 3/2) (* l (sqrt l)))) (sin k)) (* k 2))
246.0ms
Omc
@0
(pow (asin (sqrt (/ (- 1 (pow (/ Om Omc) 2)) (+ (* 2 (pow (/ t l) 2)) 1)))) 1/6)
214.0ms
U
@0
(pow (* (* t n) (* U 2)) 1/4)

preprocess10.5s (2.2%)

Algorithm
32×egg-herbie
Rules
20025×fma-define
13409×fma-neg
8518×times-frac
7943×unsub-neg
7239×distribute-lft-in
Stop Event
9×saturated
23×node limit
Compiler

Compiled 39778 to 25360 computations (36.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...