Herbie run

Date:Friday, April 5th, 2024
Commit:deef6326 on main
Hostname:nightly with Racket 8.11.1
Seed:2024096
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: 8.9min)

localize2.3min (25.5%)

Results
24.8s20696×256valid
5.6s3561×256invalid
18.2s2051×1024valid
19.7s1772×2048valid
4.9s1065×512valid
24.2s949×8192exit
491.0ms493×256unsamplable
8.0s447×4096valid
6.1s167×8192valid
49.0ms16×2048unsamplable
12.0ms8×1024unsamplable
7.0ms7×512unsamplable
Compiler

Compiled 39628 to 20591 computations (48% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-pow: 29.1s (27% of total)
ival-mult: 19.2s (17.7% of total)
<compiled-spec>: 10.7s (9.9% of total)
ival-div: 10.0s (9.3% of total)
ival-tan: 6.3s (5.9% of total)
ival-add: 5.6s (5.2% of total)
ival-cos: 4.6s (4.3% of total)
ival-sqrt: 4.0s (3.7% of total)
ival-sin: 3.5s (3.2% of total)
ival-sub: 3.3s (3.1% of total)
ival-log: 3.2s (3% of total)
ival-exp: 2.3s (2.2% of total)
ival-asin: 2.3s (2.1% of total)
const: 1.6s (1.4% of total)
ival-acos: 972.0ms (0.9% of total)
ival-cbrt: 824.0ms (0.8% of total)
ival-neg: 333.0ms (0.3% of total)
ival-pi: 64.0ms (0.1% of total)
ival-fabs: 15.0ms (0% of total)
ival-e: 3.0ms (0% of total)

sample1.9min (21.2%)

Results
37.4s218545×0valid
10.9s65727×0invalid
11.3s24610×1valid
12.2s11920×5exit
5.3s9708×1invalid
5.5s6014×3valid
3.5s5949×2valid
804.0ms816×4valid
178.0ms345×2invalid
31.0ms208×0unsamplable
2.0ms2×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 18.9s (26.9% of total)
ival-div: 10.8s (15.4% of total)
ival-pow: 7.6s (10.8% of total)
backward-pass: 5.6s (8% of total)
ival-sqrt: 4.6s (6.6% of total)
ival-sub: 3.8s (5.4% of total)
ival-add: 3.4s (4.9% of total)
<compiled-spec>: 3.0s (4.2% of total)
ival-exp: 2.5s (3.5% of total)
ival-sin: 2.4s (3.4% of total)
ival-tan: 2.3s (3.2% of total)
const: 1.5s (2.1% of total)
ival-neg: 1.0s (1.5% of total)
ival-cos: 938.0ms (1.3% of total)
ival-pi: 604.0ms (0.9% of total)
ival-acos: 589.0ms (0.8% of total)
ival-log: 377.0ms (0.5% of total)
ival-asin: 203.0ms (0.3% of total)
ival-fabs: 134.0ms (0.2% of total)
ival-<: 115.0ms (0.2% of total)
ival-and: 13.0ms (0% of total)
Bogosity

simplify51.8s (9.7%)

Algorithm
149×egg-herbie
Rules
50435×fma-define
40202×*-commutative
40059×associate-*r*
37773×times-frac
34150×distribute-lft-in
Stop Event
31×saturated
118×node limit
Counts
69391 → 59089

soundness47.1s (8.9%)

Rules
48262×fma-define
40055×log1p-expm1-u
37975×times-frac
37550×associate-*r*
31387×*-commutative
Stop Event
7×saturated
160×node limit
29×fuel
1×unsound
2×done
Compiler

Compiled 39608 to 23547 computations (40.5% saved)

eval45.5s (8.6%)

Compiler

Compiled 3122762 to 2035905 computations (34.8% saved)

regimes27.7s (5.2%)

Counts
9534 → 688
Calls

152 calls:

2.2s
l
1.6s
t
1.2s
mu
1.1s
Ec
1.1s
EAccept
Compiler

Compiled 8144 to 6325 computations (22.3% saved)

rewrite26.5s (5%)

Algorithm
118×batch-egg-rewrite
Rules
68296×log1p-expm1-u
49680×expm1-log1p-u
30158×add-exp-log
30054×add-log-exp
29765×pow1
Stop Event
117×node limit
1×unsound
Counts
1265 → 35966

prune26.3s (4.9%)

Counts
89321 → 3200
Compiler

Compiled 156047 to 109133 computations (30.1% saved)

explain14.2s (2.7%)

Results
6.1s13454×256valid
1.8s870×1024valid
1.2s718×2048valid
537.0ms482×512valid
826.0ms282×4096valid
105.0ms66×8192valid
Compiler

Compiled 7606 to 4038 computations (46.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
ival-mult: 1.8s (21.1% of total)
ival-div: 1.5s (17.9% of total)
ival-pow: 1.3s (15.9% of total)
ival-add: 703.0ms (8.4% of total)
ival-tan: 622.0ms (7.5% of total)
ival-exp: 527.0ms (6.3% of total)
ival-sub: 453.0ms (5.4% of total)
ival-sqrt: 319.0ms (3.8% of total)
ival-cos: 284.0ms (3.4% of total)
ival-sin: 265.0ms (3.2% of total)
const: 184.0ms (2.2% of total)
ival-neg: 140.0ms (1.7% of total)
ival-log: 89.0ms (1.1% of total)
<compiled-spec>: 87.0ms (1% of total)
ival-acos: 49.0ms (0.6% of total)
ival-pi: 18.0ms (0.2% of total)
ival-asin: 7.0ms (0.1% of total)
ival-fabs: 6.0ms (0.1% of total)

series12.0s (2.3%)

Counts
1265 → 33425
Calls

8718 calls:

TimeVariablePointExpression
226.0ms
t
@-inf
(* (/ 2 (log (pow (exp t) (pow k 4)))) (* l l))
139.0ms
M
@-inf
(sin (- (* 1/2 (* K m)) M))
127.0ms
t
@-inf
(sqrt (/ (- 1 (pow (/ Om Omc) 2)) (+ 1 (* 2 (pow (/ t l) 2)))))
93.0ms
h
@-inf
(pow (* l h) -1/4)
89.0ms
l
@inf
(log (pow (exp (pow l 2)) (/ (/ 2 (pow t 3)) (* (pow (/ k t) 2) (* (sin k) (tan k))))))

analyze11.7s (2.2%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.7%19.3%78.9%1.8%0%0%0%1
23.3%22.6%74%1.8%0%1.6%0%2
28.7%26.6%66%1.8%0%5.6%0%3
32.5%29.4%61.1%1.8%0%7.3%0.4%4
35.3%31.9%58.4%1.8%0%7.3%0.6%5
39.6%35.7%54.5%1.8%0%7.4%0.7%6
44.7%40%49.4%1.8%0%8%0.8%7
47%41.5%46.7%1.8%0%9.2%0.9%8
50%44%43.9%1.8%0%9.4%0.9%9
51.1%44.8%42.8%1.8%0%9.6%1%10
52.9%46%41%1.8%0%10.2%1%11
54.6%47.2%39.2%1.8%0%10.7%1%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.2s
ival-mult: 2.0s (31.6% of total)
ival-pow: 1.3s (21% of total)
ival-div: 1.1s (17.6% of total)
ival-add: 488.0ms (7.9% of total)
ival-sqrt: 273.0ms (4.4% of total)
ival-sub: 263.0ms (4.2% of total)
ival-sin: 203.0ms (3.3% of total)
ival-tan: 140.0ms (2.3% of total)
const: 120.0ms (1.9% of total)
ival-neg: 86.0ms (1.4% of total)
ival-exp: 73.0ms (1.2% of total)
ival-acos: 67.0ms (1.1% of total)
ival-cos: 26.0ms (0.4% of total)
ival-pi: 26.0ms (0.4% of total)
ival-fabs: 24.0ms (0.4% of total)
ival-asin: 24.0ms (0.4% of total)
ival-<: 23.0ms (0.4% of total)
ival-log: 10.0ms (0.2% of total)
ival-and: 3.0ms (0% of total)
<compiled-spec>: 0.0ms (0% of total)

bsearch11.4s (2.1%)

Algorithm
310×binary-search
64×left-value
Stop Event
8×predicate-same
302×narrow-enough
Results
6.4s34118×0valid
1.1s5084×0invalid
201.0ms617×1valid
140.0ms268×2valid
134.0ms192×3valid
120.0ms133×4valid
10.0ms38×1invalid
3.0ms6×2invalid
Compiler

Compiled 91441 to 68375 computations (25.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0s
ival-mult: 1.2s (20.4% of total)
ival-div: 1.2s (19.9% of total)
ival-pow: 874.0ms (14.5% of total)
ival-add: 635.0ms (10.5% of total)
ival-sin: 362.0ms (6% of total)
ival-exp: 342.0ms (5.7% of total)
ival-neg: 338.0ms (5.6% of total)
ival-sub: 323.0ms (5.4% of total)
ival-tan: 282.0ms (4.7% of total)
ival-cos: 120.0ms (2% of total)
const: 114.0ms (1.9% of total)
ival-sqrt: 106.0ms (1.8% of total)
backward-pass: 100.0ms (1.7% of total)
ival-fabs: 6.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

preprocess9.1s (1.7%)

Algorithm
31×egg-herbie
Rules
19726×fma-define
13180×fma-neg
8487×times-frac
7911×unsub-neg
7216×distribute-lft-in
Stop Event
8×saturated
23×node limit
Compiler

Compiled 38568 to 23332 computations (39.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...