Herbie run

Date:Sunday, March 17th, 2024
Commit:d4730769 on longer-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024077
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: 9.7min)

localize2.4min (24.8%)

Results
25.0s17496×256valid
5.1s3940×256infinite
7.8s3832×256invalid
18.3s1586×2048valid
6.8s1424×512valid
10.7s1401×1024valid
36.5s463×8192exit
371.0ms169×256unsamplable
1.4s140×4096valid
2.1s136×4096infinite
1.2s114×2048infinite
391.0ms99×512infinite
575.0ms95×1024infinite
253.0ms42×8192valid
630.0ms39×8192infinite
Compiler

Compiled 39881 to 20636 computations (48.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8min
Operation ival-tan, time spent: 29.7s, 27.0% of total-time
Operation ival-mult, time spent: 17.6s, 16.0% of total-time
Operation ival-pow, time spent: 16.6s, 15.0% of total-time
Operation composed, time spent: 11.8s, 11.0% of total-time
Operation ival-div, time spent: 9.3s, 8.0% of total-time
Operation ival-add, time spent: 6.4s, 6.0% of total-time
Operation ival-sub, time spent: 3.5s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.4s, 3.0% of total-time
Operation ival-exp, time spent: 1.8s, 2.0% of total-time
Operation ival-cos, time spent: 1.8s, 2.0% of total-time
Operation const, time spent: 1.8s, 2.0% of total-time
Operation ival-log, time spent: 1.6s, 1.0% of total-time
Operation ival-asin, time spent: 1.3s, 1.0% of total-time
Operation ival-acos, time spent: 1.1s, 1.0% of total-time
Operation ival-sin, time spent: 730.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 621.0ms, 1.0% of total-time
Operation ival-neg, time spent: 344.0ms, 0.0% of total-time
Operation ival-pi, time spent: 247.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 0.0% of total-time

sample1.9min (19.9%)

Results
39.9s179922×256valid
12.1s68059×256invalid
8.3s42443×256infinite
7.6s10697×1024valid
7.0s9314×2048valid
3.5s8339×512valid
4.9s7760×1024invalid
1.6s3990×512invalid
2.1s2096×4096valid
1.1s796×8192valid
3.2s766×4096infinite
1.8s716×2048infinite
205.0ms431×512infinite
283.0ms416×1024infinite
30.0ms177×256unsamplable
103.0ms106×2048invalid
9.0ms11×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 17.3s, 26.0% of total-time
Operation ival-div, time spent: 10.8s, 16.0% of total-time
Operation ival-pow, time spent: 6.7s, 10.0% of total-time
Operation ival-tan, time spent: 5.4s, 8.0% of total-time
Operation ival-sub, time spent: 4.1s, 6.0% of total-time
Operation ival-sin, time spent: 4.1s, 6.0% of total-time
Operation ival-add, time spent: 3.4s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 5.0% of total-time
Operation ival-exp, time spent: 2.6s, 4.0% of total-time
Operation ival-cos, time spent: 1.5s, 2.0% of total-time
Operation ival-acos, time spent: 1.4s, 2.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-neg, time spent: 1.2s, 2.0% of total-time
Operation composed, time spent: 713.0ms, 1.0% of total-time
Operation ival-pi, time spent: 618.0ms, 1.0% of total-time
Operation ival-log, time spent: 576.0ms, 1.0% of total-time
Operation ival-asin, time spent: 170.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 146.0ms, 0.0% of total-time
Operation ival-<, time spent: 118.0ms, 0.0% of total-time
Operation ival-and, time spent: 17.0ms, 0.0% of total-time
Bogosity

eval1.2min (12.4%)

Compiler

Compiled 3095821 to 1959423 computations (36.7% saved)

simplify53.0s (9.1%)

Algorithm
148×egg-herbie
Rules
52515×fma-define
41401×times-frac
39620×*-commutative
35694×associate-*r*
32958×distribute-lft-in
Stop Event
31×saturated
117×node limit
27×fuel
4×done
Counts
68539 → 58931
Compiler

Compiled 10381 to 6990 computations (32.7% saved)

soundness48.6s (8.3%)

Rules
61500×fma-define
42554×times-frac
41547×log1p-expm1-u
39541×associate-*r*
33304×*-commutative
Stop Event
8×saturated
171×node limit
1×unsound
Compiler

Compiled 32468 to 20672 computations (36.3% saved)

regimes26.8s (4.6%)

Counts
8637 → 657
Calls

152 calls:

2.0s
l
1.1s
kx
948.0ms
k
916.0ms
h
898.0ms
Ev
Compiler

Compiled 7940 to 6159 computations (22.4% saved)

prune26.6s (4.6%)

Counts
89916 → 3126
Compiler

Compiled 142021 to 100532 computations (29.2% saved)

preprocess26.4s (4.5%)

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
Results
5.1s10584×256valid
1.1s2626×256infinite
964.0ms768×512valid
1.2s738×2048valid
1.3s676×1024valid
484.0ms180×4096valid
115.0ms78×8192valid
50.0ms56×512infinite
150.0ms56×1024infinite
314.0ms56×4096infinite
185.0ms54×2048infinite
Compiler

Compiled 51690 to 31790 computations (38.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0s
Operation ival-mult, time spent: 1.9s, 24.0% of total-time
Operation ival-div, time spent: 1.2s, 15.0% of total-time
Operation ival-pow, time spent: 1.1s, 13.0% of total-time
Operation ival-tan, time spent: 696.0ms, 9.0% of total-time
Operation ival-add, time spent: 588.0ms, 7.0% of total-time
Operation ival-sub, time spent: 495.0ms, 6.0% of total-time
Operation ival-exp, time spent: 382.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 347.0ms, 4.0% of total-time
Operation ival-cos, time spent: 282.0ms, 4.0% of total-time
Operation ival-sin, time spent: 235.0ms, 3.0% of total-time
Operation const, time spent: 233.0ms, 3.0% of total-time
Operation composed, time spent: 213.0ms, 3.0% of total-time
Operation ival-neg, time spent: 139.0ms, 2.0% of total-time
Operation ival-log, time spent: 72.0ms, 1.0% of total-time
Operation ival-acos, time spent: 49.0ms, 1.0% of total-time
Operation ival-pi, time spent: 25.0ms, 0.0% of total-time
Operation ival-asin, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

rewrite25.2s (4.3%)

Algorithm
117×batch-egg-rewrite
Rules
68494×log1p-expm1-u
44669×expm1-log1p-u
30721×add-exp-log
30489×pow1
30411×add-log-exp
Stop Event
116×node limit
1×unsound
Counts
1263 → 35383

bsearch15.7s (2.7%)

Algorithm
281×binary-search
71×left-value
Stop Event
5×predicate-same
276×narrow-enough
Results
8.1s26911×256valid
1.9s6507×256invalid
1.4s5351×256infinite
373.0ms333×4096valid
193.0ms311×2048valid
257.0ms249×8192valid
98.0ms166×512valid
70.0ms158×1024valid
14.0ms35×512infinite
7.0ms27×512invalid
19.0ms24×2048infinite
104.0ms23×1024infinite
5.0ms13×1024invalid
8.0ms7×4096infinite
Compiler

Compiled 78216 to 59185 computations (24.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.6s
Operation ival-mult, time spent: 1.8s, 21.0% of total-time
Operation ival-div, time spent: 1.7s, 20.0% of total-time
Operation ival-pow, time spent: 1.7s, 19.0% of total-time
Operation ival-add, time spent: 966.0ms, 11.0% of total-time
Operation ival-sin, time spent: 591.0ms, 7.0% of total-time
Operation ival-tan, time spent: 525.0ms, 6.0% of total-time
Operation ival-sub, time spent: 366.0ms, 4.0% of total-time
Operation ival-neg, time spent: 281.0ms, 3.0% of total-time
Operation ival-cos, time spent: 210.0ms, 2.0% of total-time
Operation const, time spent: 159.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 152.0ms, 2.0% of total-time
Operation ival-exp, time spent: 108.0ms, 1.0% of total-time
Operation composed, time spent: 22.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time
Operation ival-asin, time spent: 3.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time

analyze14.7s (2.5%)

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.1%44%43.9%1.8%0%9.5%0.9%9
51.2%44.8%42.8%1.8%0%9.7%1%10
52.9%46%41%1.8%0%10.2%1%11
54.6%47.2%39.2%1.8%0%10.8%1%12
Compiler

Compiled 845 to 607 computations (28.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.5s
Operation ival-cos, time spent: 2.8s, 30.0% of total-time
Operation ival-mult, time spent: 2.0s, 21.0% of total-time
Operation ival-pow, time spent: 1.2s, 13.0% of total-time
Operation ival-div, time spent: 1.1s, 11.0% of total-time
Operation ival-sub, time spent: 469.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 424.0ms, 4.0% of total-time
Operation ival-add, time spent: 378.0ms, 4.0% of total-time
Operation ival-sin, time spent: 283.0ms, 3.0% of total-time
Operation ival-tan, time spent: 188.0ms, 2.0% of total-time
Operation const, time spent: 166.0ms, 2.0% of total-time
Operation ival-neg, time spent: 95.0ms, 1.0% of total-time
Operation ival-acos, time spent: 84.0ms, 1.0% of total-time
Operation ival-exp, time spent: 76.0ms, 1.0% of total-time
Operation ival-pi, time spent: 55.0ms, 1.0% of total-time
Operation ival-<, time spent: 25.0ms, 0.0% of total-time
Operation ival-asin, time spent: 23.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 22.0ms, 0.0% of total-time
Operation ival-log, time spent: 12.0ms, 0.0% of total-time
Operation ival-and, time spent: 4.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

series13.3s (2.3%)

Counts
1263 → 33156
Calls

8634 calls:

TimeVariablePointExpression
299.0ms
w
@inf
(log (pow (pow (exp D) h) w))
185.0ms
h
@inf
(log (pow (pow (exp D) h) w))
179.0ms
n
@0
(log (* 2 (* (* n U) (+ t (* -2 (/ (pow l 2) Om))))))
141.0ms
D
@-inf
(log (pow (pow (exp D) h) w))
134.0ms
l
@inf
(pow (* k (/ (sin k) l)) 2)

end21.0ms (0%)

Profiling

Loading profile data...