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.8min)

localize2.3min (25.7%)

Results
26.2s20696×256valid
6.3s3561×256invalid
17.5s2051×1024valid
19.4s1772×2048valid
6.2s1065×512valid
23.7s949×8192exit
509.0ms493×256unsamplable
6.8s447×4096valid
6.3s167×8192valid
76.0ms16×2048unsamplable
17.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: 27.6s (26% of total)
ival-mult: 18.2s (17.2% of total)
ival-div: 10.5s (9.9% of total)
<compiled-spec>: 9.3s (8.8% of total)
ival-add: 6.4s (6.1% of total)
ival-tan: 6.3s (6% of total)
ival-cos: 4.9s (4.6% of total)
ival-sin: 4.3s (4.1% of total)
ival-sub: 3.7s (3.5% of total)
ival-sqrt: 3.7s (3.4% of total)
ival-log: 3.0s (2.9% of total)
ival-asin: 2.3s (2.2% of total)
ival-exp: 2.2s (2.1% of total)
const: 1.5s (1.4% of total)
ival-acos: 971.0ms (0.9% of total)
ival-cbrt: 669.0ms (0.6% of total)
ival-neg: 344.0ms (0.3% of total)
ival-pi: 116.0ms (0.1% of total)
ival-fabs: 16.0ms (0% of total)
ival-e: 3.0ms (0% of total)

sample1.9min (21.2%)

Results
38.2s218545×0valid
11.7s65727×0invalid
12.5s24610×1valid
11.9s11920×5exit
5.1s9708×1invalid
4.2s6014×3valid
3.9s5949×2valid
977.0ms816×4valid
231.0ms345×2invalid
33.0ms208×0unsamplable
2.0ms2×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 17.4s (24.2% of total)
ival-div: 12.1s (16.8% of total)
ival-pow: 7.5s (10.4% of total)
backward-pass: 6.0s (8.3% of total)
ival-sqrt: 4.5s (6.3% of total)
ival-sub: 3.8s (5.3% of total)
ival-add: 3.5s (4.9% of total)
ival-exp: 2.8s (3.9% of total)
<compiled-spec>: 2.7s (3.7% of total)
ival-sin: 2.6s (3.7% of total)
ival-tan: 2.3s (3.1% of total)
const: 1.4s (2% of total)
ival-cos: 1.3s (1.8% of total)
ival-acos: 1.3s (1.8% of total)
ival-neg: 941.0ms (1.3% of total)
ival-pi: 620.0ms (0.9% of total)
ival-log: 483.0ms (0.7% of total)
ival-asin: 264.0ms (0.4% of total)
ival-<: 162.0ms (0.2% of total)
ival-fabs: 127.0ms (0.2% of total)
ival-and: 13.0ms (0% of total)
Bogosity

simplify50.4s (9.5%)

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

eval47.0s (8.9%)

Compiler

Compiled 3122762 to 2035905 computations (34.8% saved)

soundness45.9s (8.7%)

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)

regimes27.9s (5.3%)

Counts
9534 → 688
Calls

152 calls:

2.0s
l
1.6s
t
1.3s
EAccept
1.2s
Ev
1.1s
EDonor
Compiler

Compiled 8144 to 6325 computations (22.3% saved)

prune26.4s (5%)

Counts
89321 → 3200
Compiler

Compiled 156047 to 109133 computations (30.1% saved)

rewrite26.1s (4.9%)

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

explain14.3s (2.7%)

Results
6.2s13454×256valid
1.6s870×1024valid
1.2s718×2048valid
747.0ms482×512valid
882.0ms282×4096valid
85.0ms66×8192valid
Compiler

Compiled 7606 to 4038 computations (46.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0s
ival-mult: 2.0s (25.2% of total)
ival-div: 1.4s (17.4% of total)
ival-pow: 1.1s (13.3% of total)
ival-tan: 696.0ms (8.7% of total)
ival-sub: 586.0ms (7.3% of total)
ival-exp: 539.0ms (6.7% of total)
ival-add: 490.0ms (6.1% of total)
ival-sqrt: 264.0ms (3.3% of total)
ival-cos: 246.0ms (3.1% of total)
ival-sin: 180.0ms (2.2% of total)
const: 174.0ms (2.2% of total)
ival-neg: 131.0ms (1.6% of total)
<compiled-spec>: 89.0ms (1.1% of total)
ival-log: 76.0ms (0.9% of total)
ival-acos: 46.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.2s (2.3%)

Counts
1265 → 33425
Calls

8718 calls:

TimeVariablePointExpression
144.0ms
f
@inf
(log (/ -1 (- (exp (* (PI) (* f -1/2))) 1)))
125.0ms
NdChar
@0
(/ NdChar (+ 1 (pow (exp 1) (/ (- (+ (+ EDonor mu) Vef) Ec) KbT))))
99.0ms
t
@-inf
(* (/ 2 (log (pow (exp t) (pow k 4)))) (* l l))
92.0ms
l
@inf
(log (pow (exp (pow l 2)) (/ (/ 2 (pow t 3)) (* (pow (/ k t) 2) (* (sin k) (tan k))))))
83.0ms
l
@0
(* (sqrt (/ h (pow l 3))) (/ (* -1/8 (pow M 2)) d))

bsearch11.2s (2.1%)

Algorithm
310×binary-search
64×left-value
Stop Event
8×predicate-same
302×narrow-enough
Results
6.6s34118×0valid
835.0ms5084×0invalid
202.0ms617×1valid
128.0ms268×2valid
279.0ms192×3valid
130.0ms133×4valid
10.0ms38×1invalid
2.0ms6×2invalid
Compiler

Compiled 91441 to 68375 computations (25.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-div: 1.3s (22.5% of total)
ival-mult: 1.2s (20.2% of total)
ival-pow: 809.0ms (13.7% of total)
ival-add: 675.0ms (11.4% of total)
ival-sin: 361.0ms (6.1% of total)
ival-sub: 341.0ms (5.8% of total)
ival-tan: 340.0ms (5.7% of total)
ival-exp: 212.0ms (3.6% of total)
ival-neg: 186.0ms (3.1% of total)
backward-pass: 129.0ms (2.2% of total)
ival-cos: 122.0ms (2.1% of total)
const: 106.0ms (1.8% of total)
ival-sqrt: 104.0ms (1.8% of total)
ival-fabs: 6.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

analyze11.1s (2.1%)

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.3s
ival-mult: 2.2s (35.3% of total)
ival-pow: 1.4s (22.6% of total)
ival-div: 875.0ms (13.8% of total)
ival-sub: 379.0ms (6% of total)
ival-add: 335.0ms (5.3% of total)
ival-sqrt: 263.0ms (4.2% of total)
ival-sin: 202.0ms (3.2% of total)
ival-tan: 132.0ms (2.1% of total)
const: 117.0ms (1.9% of total)
ival-neg: 80.0ms (1.3% of total)
ival-exp: 73.0ms (1.2% of total)
ival-acos: 57.0ms (0.9% of total)
ival-pi: 38.0ms (0.6% of total)
ival-cos: 27.0ms (0.4% of total)
ival-fabs: 27.0ms (0.4% of total)
ival-asin: 22.0ms (0.3% of total)
ival-<: 22.0ms (0.3% of total)
ival-log: 13.0ms (0.2% of total)
ival-and: 3.0ms (0% of total)
<compiled-spec>: 0.0ms (0% of total)

preprocess9.0s (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...