Herbie run

Date:Tuesday, April 16th, 2024
Commit:97bdded0 on zane-regimes-8-iters
Hostname:nightly with Racket 8.11.1
Seed:2024107
Parameters:256 points for 8 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: 13.1min)

localize3.3min (25.2%)

Results
48.6s39325×0valid
14.9s8231×0invalid
27.7s6682×1valid
21.6s1944×2valid
24.3s1291×3valid
18.8s967×5exit
538.0ms407×0unsamplable
528.0ms68×3invalid
295.0ms60×1invalid
705.0ms56×4invalid
454.0ms52×4valid
308.0ms48×2invalid
54.0ms5×5valid
Compiler

Compiled 73605 to 39805 computations (45.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2min
ival-pow: 26.3s (19.7% of total)
ival-mult: 25.8s (19.4% of total)
ival-div: 15.7s (11.8% of total)
backward-pass: 12.5s (9.4% of total)
ival-fma: 6.6s (4.9% of total)
ival-add: 5.6s (4.2% of total)
ival-tan: 4.7s (3.5% of total)
ival-sqrt: 4.3s (3.2% of total)
ival-sub: 3.6s (2.7% of total)
ival-cos: 3.6s (2.7% of total)
ival-sin: 3.5s (2.6% of total)
ival-hypot: 3.2s (2.4% of total)
ival-asin: 2.9s (2.2% of total)
const: 2.6s (1.9% of total)
ival-acos: 2.5s (1.9% of total)
ival-cbrt: 2.2s (1.7% of total)
ival-log: 2.0s (1.5% of total)
ival-exp: 1.9s (1.5% of total)
ival-log1p: 1.6s (1.2% of total)
ival-expm1: 1.0s (0.8% of total)
ival-neg: 607.0ms (0.5% of total)
ival-pi: 147.0ms (0.1% of total)
ival-atan: 80.0ms (0.1% of total)
ival-fabs: 43.0ms (0% of total)

sample1.8min (13.4%)

Results
38.8s222798×0valid
11.4s66454×0invalid
13.9s28900×1valid
5.7s9823×1invalid
4.3s6014×3valid
3.1s5706×2valid
2.9s3857×5exit
890.0ms770×4valid
304.0ms359×2invalid
39.0ms223×0unsamplable
4.0ms4×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-mult: 17.0s (27.2% of total)
ival-div: 10.2s (16.4% of total)
ival-pow: 6.8s (10.9% of total)
ival-tan: 4.0s (6.4% of total)
ival-sub: 3.8s (6.1% of total)
ival-sqrt: 3.5s (5.5% of total)
ival-add: 3.1s (4.9% of total)
backward-pass: 3.0s (4.8% of total)
ival-exp: 2.9s (4.7% of total)
ival-sin: 2.2s (3.5% of total)
ival-neg: 1.2s (1.9% of total)
ival-cos: 1.2s (1.8% of total)
const: 1.1s (1.8% of total)
ival-pi: 775.0ms (1.2% of total)
ival-acos: 548.0ms (0.9% of total)
ival-log: 362.0ms (0.6% of total)
ival-hypot: 299.0ms (0.5% of total)
ival-asin: 292.0ms (0.5% of total)
ival-fabs: 112.0ms (0.2% of total)
ival-atan: 73.0ms (0.1% of total)
ival-<: 72.0ms (0.1% of total)
ival-and: 10.0ms (0% of total)
Bogosity

simplify1.6min (11.9%)

Algorithm
260×egg-herbie
Rules
93906×fma-define
71959×*-commutative
71376×times-frac
71173×associate-*r*
55130×distribute-lft-in
Stop Event
32×saturated
227×node limit
1×unsound
Counts
132845 → 107219

eval1.4min (11.1%)

Compiler

Compiled 5479005 to 3623378 computations (33.9% saved)

soundness1.2min (9.5%)

Rules
74440×fma-define
65346×log1p-expm1-u
59433×times-frac
58202×associate-*r*
46159×*-commutative
Stop Event
8×saturated
261×node limit
24×fuel
4×unsound
8×done
Compiler

Compiled 66903 to 40323 computations (39.7% saved)

prune52.9s (6.7%)

Counts
179312 → 7691
Compiler

Compiled 315714 to 227695 computations (27.9% saved)

rewrite46.6s (5.9%)

Algorithm
228×batch-egg-rewrite
Rules
124246×log1p-expm1-u
86470×expm1-log1p-u
58251×add-exp-log
57978×add-log-exp
57499×pow1
Stop Event
223×node limit
5×unsound
Counts
2427 → 69927

regimes38.8s (4.9%)

Counts
22468 → 1201
Calls

156 calls:

3.0s
l
1.9s
k
1.8s
t
1.6s
NaChar
1.2s
F
Compiler

Compiled 8735 to 6693 computations (23.4% saved)

bsearch28.5s (3.6%)

Algorithm
675×binary-search
114×left-value
Stop Event
7×predicate-same
668×narrow-enough
Results
16.7s75007×0valid
2.8s13618×0invalid
1.3s3417×1valid
108.0ms227×2valid
382.0ms182×1invalid
77.0ms104×3valid
29.0ms67×2invalid
24.0ms29×4valid
8.0ms5×5exit
Compiler

Compiled 194660 to 148632 computations (23.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.3s
ival-pow: 3.2s (19.8% of total)
ival-div: 3.2s (19.7% of total)
ival-mult: 3.0s (18.5% of total)
ival-add: 1.4s (8.9% of total)
ival-sub: 1.2s (7.6% of total)
ival-sin: 815.0ms (5% of total)
ival-neg: 809.0ms (5% of total)
ival-tan: 790.0ms (4.9% of total)
ival-sqrt: 371.0ms (2.3% of total)
ival-exp: 365.0ms (2.2% of total)
ival-cos: 310.0ms (1.9% of total)
const: 293.0ms (1.8% of total)
backward-pass: 247.0ms (1.5% of total)
ival-asin: 68.0ms (0.4% of total)
ival-fabs: 45.0ms (0.3% of total)
ival-hypot: 19.0ms (0.1% of total)
ival-atan: 15.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

series23.5s (3%)

Counts
2427 → 62918
Calls

16692 calls:

TimeVariablePointExpression
290.0ms
h
@0
(cbrt (pow (* h l) -1/2))
286.0ms
n
@inf
(cbrt (sqrt (* 2 (* U (* n t)))))
264.0ms
n
@0
(cbrt (pow (cbrt (cos (- (* 1/2 (* K n)) M))) 2))
196.0ms
f
@0
(* (/ 1 (/ (PI) 4)) (- (log 4) (log (* (PI) f))))
195.0ms
v
@0
(exp (neg (log (/ 1 (acos (/ (+ 1 (* (pow v 2) -5)) (+ (* v v) -1)))))))

explain14.6s (1.9%)

Results
6.3s13160×0valid
3.1s2296×1valid
733.0ms468×2valid
484.0ms420×3valid
41.0ms36×4valid
5.0ms2×5valid
2.0ms2×5exit
Compiler

Compiled 7745 to 4127 computations (46.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.4s
ival-mult: 2.0s (24.5% of total)
ival-pow: 1.6s (19.1% of total)
ival-div: 1.2s (13.8% of total)
ival-sub: 590.0ms (7.1% of total)
ival-add: 519.0ms (6.2% of total)
backward-pass: 449.0ms (5.4% of total)
ival-sqrt: 310.0ms (3.7% of total)
ival-tan: 309.0ms (3.7% of total)
ival-exp: 300.0ms (3.6% of total)
ival-cos: 274.0ms (3.3% of total)
const: 188.0ms (2.2% of total)
ival-neg: 167.0ms (2% of total)
ival-sin: 149.0ms (1.8% of total)
ival-acos: 100.0ms (1.2% of total)
ival-hypot: 81.0ms (1% of total)
ival-asin: 54.0ms (0.6% of total)
ival-log: 48.0ms (0.6% of total)
ival-pi: 17.0ms (0.2% of total)
ival-fabs: 5.0ms (0.1% of total)
ival-atan: 4.0ms (0% of total)

analyze11.3s (1.4%)

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: 6.6s
ival-mult: 2.1s (31.9% of total)
ival-pow: 1.6s (23.5% of total)
ival-div: 1.1s (17.1% of total)
ival-add: 378.0ms (5.7% of total)
ival-sub: 313.0ms (4.7% of total)
ival-sqrt: 265.0ms (4% of total)
ival-sin: 212.0ms (3.2% of total)
ival-tan: 152.0ms (2.3% of total)
const: 117.0ms (1.8% of total)
ival-neg: 91.0ms (1.4% of total)
ival-exp: 72.0ms (1.1% of total)
ival-acos: 55.0ms (0.8% of total)
ival-cos: 30.0ms (0.5% of total)
ival-pi: 29.0ms (0.4% of total)
ival-<: 24.0ms (0.4% of total)
backward-pass: 21.0ms (0.3% of total)
ival-asin: 21.0ms (0.3% of total)
ival-fabs: 19.0ms (0.3% of total)
ival-log: 13.0ms (0.2% of total)
ival-and: 3.0ms (0% of total)
ival-atan: 2.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)

preprocess10.7s (1.4%)

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 61636 to 35216 computations (42.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...