Herbie run

Date:Wednesday, March 27th, 2024
Commit:1381b48b on simplify-munge
Hostname:nightly with Racket 8.11.1
Seed:2024087
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)

sample2.0min (22.7%)

Results
35.9s176448×0valid
9.9s65909×0invalid
8.4s42136×0infinite
11.2s23395×1valid
13.4s11961×5exit
5.1s9846×1invalid
3.7s5475×3valid
4.0s5174×2valid
809.0ms1091×1infinite
866.0ms805×4valid
730.0ms753×2infinite
631.0ms656×3infinite
427.0ms328×2invalid
35.0ms228×0unsamplable
6.0ms3×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 17.3s (24.4% of total)
ival-div: 10.8s (15.3% of total)
ival-pow: 6.9s (9.7% of total)
backward-pass: 5.9s (8.3% of total)
ival-sqrt: 4.7s (6.6% of total)
ival-sub: 4.1s (5.8% of total)
ival-add: 4.0s (5.6% of total)
composed: 3.4s (4.7% of total)
ival-exp: 3.0s (4.2% of total)
ival-sin: 2.4s (3.4% of total)
ival-tan: 2.4s (3.3% of total)
ival-cos: 1.4s (2% of total)
const: 1.3s (1.9% of total)
ival-neg: 1.1s (1.5% of total)
ival-pi: 706.0ms (1% of total)
ival-acos: 671.0ms (0.9% of total)
ival-log: 390.0ms (0.6% of total)
ival-asin: 193.0ms (0.3% of total)
ival-fabs: 153.0ms (0.2% of total)
ival-<: 94.0ms (0.1% of total)
ival-and: 13.0ms (0% of total)
Bogosity

localize1.7min (19.1%)

Results
22.7s18051×256valid
4.9s4198×256infinite
6.7s3470×256invalid
10.4s1717×1024valid
13.6s1584×2048valid
3.6s887×512valid
11.6s659×8192exit
2.6s247×4096valid
153.0ms166×256unsamplable
308.0ms92×1024infinite
772.0ms56×4096infinite
133.0ms51×512infinite
457.0ms24×8192infinite
209.0ms19×8192valid
56.0ms11×2048infinite
Compiler

Compiled 36892 to 19338 computations (47.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 15.3s (21.4% of total)
ival-pow: 13.5s (18.9% of total)
ival-div: 8.7s (12.2% of total)
composed: 8.3s (11.6% of total)
ival-add: 4.7s (6.5% of total)
ival-cos: 3.2s (4.5% of total)
ival-sqrt: 3.1s (4.4% of total)
ival-tan: 3.0s (4.3% of total)
ival-sub: 2.5s (3.5% of total)
ival-log: 2.4s (3.4% of total)
ival-exp: 1.8s (2.6% of total)
const: 1.4s (1.9% of total)
ival-acos: 1.3s (1.8% of total)
ival-sin: 981.0ms (1.4% of total)
ival-cbrt: 599.0ms (0.8% of total)
ival-asin: 454.0ms (0.6% of total)
ival-neg: 216.0ms (0.3% of total)
ival-pi: 59.0ms (0.1% of total)
ival-fabs: 14.0ms (0% of total)

eval1.1min (12.3%)

Compiler

Compiled 2856847 to 1836352 computations (35.7% saved)

simplify47.8s (9%)

Algorithm
150×egg-herbie
Rules
48777×fma-define
41638×times-frac
37116×*-commutative
36104×associate-*r*
32033×distribute-lft-in
Stop Event
31×saturated
119×node limit
Counts
63187 → 55950

soundness42.3s (8%)

Rules
52606×fma-define
41483×log1p-expm1-u
34902×associate-*r*
34855×times-frac
29539×expm1-log1p-u
Stop Event
7×saturated
158×node limit
29×fuel
1×unsound
2×done
Compiler

Compiled 47684 to 28894 computations (39.4% saved)

regimes28.3s (5.4%)

Counts
10111 → 770
Calls

152 calls:

2.2s
l
2.1s
t
2.1s
k
1.3s
F
1.0s
d
Compiler

Compiled 8519 to 6595 computations (22.6% saved)

rewrite26.2s (5%)

Algorithm
119×batch-egg-rewrite
Rules
71202×log1p-expm1-u
49558×expm1-log1p-u
29717×add-exp-log
29610×add-log-exp
29327×pow1
Stop Event
118×node limit
1×unsound
Counts
1204 → 33362

prune24.3s (4.6%)

Counts
85740 → 2994
Compiler

Compiled 133710 to 93778 computations (29.9% saved)

bsearch21.0s (4%)

Algorithm
372×binary-search
71×left-value
Stop Event
5×predicate-same
367×narrow-enough
Results
9.0s33228×0valid
2.7s10896×0invalid
2.6s9122×0infinite
905.0ms2054×1valid
347.0ms445×2valid
150.0ms396×1invalid
159.0ms208×3valid
55.0ms122×2invalid
32.0ms78×1infinite
38.0ms54×2infinite
81.0ms50×4valid
6.0ms9×3infinite
Compiler

Compiled 117826 to 88787 computations (24.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.1s
ival-div: 2.6s (23.2% of total)
ival-pow: 2.5s (22.3% of total)
ival-mult: 2.4s (21.6% of total)
ival-add: 892.0ms (8% of total)
ival-sin: 578.0ms (5.2% of total)
ival-sub: 528.0ms (4.8% of total)
ival-tan: 463.0ms (4.2% of total)
ival-neg: 292.0ms (2.6% of total)
backward-pass: 224.0ms (2% of total)
const: 204.0ms (1.8% of total)
ival-sqrt: 177.0ms (1.6% of total)
ival-exp: 164.0ms (1.5% of total)
ival-cos: 111.0ms (1% of total)
ival-log: 13.0ms (0.1% of total)
ival-fabs: 4.0ms (0% of total)
ival-pi: 4.0ms (0% of total)
ival-asin: 2.0ms (0% of total)

explain15.7s (3%)

Results
5.5s10740×256valid
1.0s2634×256infinite
1.5s808×1024valid
1.3s728×2048valid
640.0ms488×512valid
704.0ms232×4096valid
96.0ms76×1024infinite
145.0ms56×2048infinite
146.0ms46×4096infinite
49.0ms34×8192valid
22.0ms30×512infinite
Compiler

Compiled 7606 to 4038 computations (46.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.6s
ival-mult: 2.0s (23% of total)
ival-div: 1.5s (18.1% of total)
ival-pow: 1.2s (13.9% of total)
ival-tan: 674.0ms (7.9% of total)
ival-exp: 610.0ms (7.1% of total)
ival-add: 500.0ms (5.8% of total)
ival-sub: 449.0ms (5.2% of total)
ival-sqrt: 432.0ms (5% of total)
ival-cos: 277.0ms (3.2% of total)
composed: 228.0ms (2.7% of total)
const: 195.0ms (2.3% of total)
ival-sin: 179.0ms (2.1% of total)
ival-neg: 140.0ms (1.6% of total)
ival-log: 78.0ms (0.9% of total)
ival-acos: 52.0ms (0.6% of total)
ival-pi: 22.0ms (0.3% of total)
ival-asin: 10.0ms (0.1% of total)
ival-fabs: 6.0ms (0.1% of total)

series13.2s (2.5%)

Counts
1204 → 29825
Calls

8043 calls:

TimeVariablePointExpression
365.0ms
J
@-inf
(cbrt (* (sqrt (+ (* 1 1) (* (* (/ 1/2 J) U) (* (/ 1/2 J) U)))) (* J (* -2 (cos (* K 1/2))))))
338.0ms
K
@-inf
(cbrt (* J (* (* -2 (cos (* K 1/2))) (sqrt (+ (* 1 1) (* (* U (/ (/ 1/2 J) (cos (* K 1/2)))) (* U (/ (/ 1/2 J) (cos (* K 1/2))))))))))
291.0ms
V
@inf
(cbrt (* (sqrt (/ A (* V l))) c0))
288.0ms
D
@-inf
(sqrt (- 1 (* (/ 1 l) (* h (pow (* (/ (/ D d) 2) M) 2)))))
268.0ms
h
@0
(/ (/ (/ c0 w) h) (pow D 2))

preprocess12.5s (2.4%)

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 47262 to 29106 computations (38.4% saved)

analyze11.2s (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.6s
ival-mult: 1.9s (28.4% of total)
ival-pow: 1.4s (21.5% of total)
ival-div: 1.2s (17.9% of total)
ival-sqrt: 497.0ms (7.6% of total)
ival-add: 364.0ms (5.6% of total)
ival-sin: 317.0ms (4.8% of total)
ival-sub: 290.0ms (4.4% of total)
ival-tan: 131.0ms (2% of total)
const: 128.0ms (2% of total)
ival-neg: 90.0ms (1.4% of total)
ival-exp: 74.0ms (1.1% of total)
ival-acos: 70.0ms (1.1% of total)
ival-<: 41.0ms (0.6% of total)
ival-pi: 28.0ms (0.4% of total)
ival-cos: 26.0ms (0.4% of total)
ival-asin: 23.0ms (0.4% of total)
ival-fabs: 18.0ms (0.3% of total)
ival-log: 12.0ms (0.2% of total)
ival-and: 4.0ms (0.1% of total)
composed: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...