Herbie run

Date:Saturday, February 24th, 2024
Commit:0406aea6 on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024055
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.2min)

sample1.8min (21.4%)

Results
52.5s270117×256valid
7.8s31333×256infinite
10.1s19463×1024valid
17.4s13732×2048valid
3.5s11004×512valid
605.0ms2732×256invalid
185.0ms991×256unsamplable
564.0ms761×4096valid
2.0s202×8192exit
83.0ms182×512infinite
106.0ms144×1024infinite
17.0ms16×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 57.5s
Operation ival-mult, time spent: 11.9s, 21.0% of total-time
Operation ival-pow, time spent: 7.0s, 12.0% of total-time
Operation ival-tan, time spent: 6.9s, 12.0% of total-time
Operation ival-div, time spent: 6.5s, 11.0% of total-time
Operation ival-add, time spent: 5.5s, 10.0% of total-time
Operation ival-sub, time spent: 4.0s, 7.0% of total-time
Operation ival-<=, time spent: 3.5s, 6.0% of total-time
Operation ival-sin, time spent: 2.8s, 5.0% of total-time
Operation ival-cos, time spent: 1.9s, 3.0% of total-time
Operation ival-log, time spent: 1.5s, 3.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 2.0% of total-time
Operation ival-exp, time spent: 864.0ms, 2.0% of total-time
Operation ival-neg, time spent: 688.0ms, 1.0% of total-time
Operation ival-and, time spent: 557.0ms, 1.0% of total-time
Operation composed, time spent: 457.0ms, 1.0% of total-time
Operation ival-==, time spent: 312.0ms, 1.0% of total-time
Operation ival-atan, time spent: 231.0ms, 0.0% of total-time
Operation ival-<, time spent: 135.0ms, 0.0% of total-time
Operation ival-pi, time spent: 70.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 38.0ms, 0.0% of total-time
Operation ival-if, time spent: 4.0ms, 0.0% of total-time
Bogosity

eval1.6min (19.9%)

Compiler

Compiled 3233668 to 2163162 computations (33.1% saved)

localize1.5min (18.7%)

Compiler

Compiled 31649 to 18739 computations (40.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 18.6s, 30.0% of total-time
Operation ival-add, time spent: 9.4s, 15.0% of total-time
Operation ival-pow, time spent: 9.4s, 15.0% of total-time
Operation ival-div, time spent: 9.0s, 14.0% of total-time
Operation composed, time spent: 6.0s, 10.0% of total-time
Operation ival-sub, time spent: 4.9s, 8.0% of total-time
Operation ival-exp, time spent: 1.8s, 3.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-log, time spent: 763.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 640.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 231.0ms, 0.0% of total-time
Operation ival-tan, time spent: 201.0ms, 0.0% of total-time
Operation ival-neg, time spent: 132.0ms, 0.0% of total-time
Operation ival-atan, time spent: 111.0ms, 0.0% of total-time
Operation ival-sin, time spent: 90.0ms, 0.0% of total-time
Operation ival-cos, time spent: 82.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 0.0% of total-time

simplify38.4s (7.8%)

Algorithm
166×egg-herbie
Rules
97786×fma-define
75916×fma-neg
73684×distribute-lft-in
66070×distribute-rgt-in
63146×times-frac
Stop Event
42×saturated
124×node limit
20×fuel
22×done
Counts
56787 → 52677
Compiler

Compiled 7741 to 5103 computations (34.1% saved)

soundness30.7s (6.3%)

Rules
89692×fma-define
59370×fma-neg
52622×distribute-lft-in
49874×distribute-rgt-in
47398×associate-*r*
Stop Event
6×saturated
131×node limit
Compiler

Compiled 22332 to 13629 computations (39% saved)

preprocess30.6s (6.2%)

Algorithm
42×egg-herbie
Rules
37136×fma-define
36960×fma-neg
19878×unsub-neg
18560×sub-neg
15262×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 28937 to 17853 computations (38.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.4s
Operation ival-mult, time spent: 3.6s, 32.0% of total-time
Operation ival-pow, time spent: 1.9s, 17.0% of total-time
Operation ival-add, time spent: 1.9s, 16.0% of total-time
Operation ival-div, time spent: 1.5s, 13.0% of total-time
Operation ival-sub, time spent: 1.0s, 9.0% of total-time
Operation ival-tan, time spent: 384.0ms, 3.0% of total-time
Operation const, time spent: 318.0ms, 3.0% of total-time
Operation ival-sin, time spent: 174.0ms, 2.0% of total-time
Operation ival-exp, time spent: 139.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 111.0ms, 1.0% of total-time
Operation ival-cos, time spent: 100.0ms, 1.0% of total-time
Operation composed, time spent: 88.0ms, 1.0% of total-time
Operation ival-log, time spent: 79.0ms, 1.0% of total-time
Operation ival-neg, time spent: 71.0ms, 1.0% of total-time
Operation ival-atan, time spent: 25.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time

rewrite24.7s (5%)

Algorithm
124×batch-egg-rewrite
Rules
75454×log1p-expm1-u
59767×expm1-log1p-u
45462×prod-diff
41188×log-prod
32812×unpow-prod-down
Stop Event
124×node limit
Counts
1000 → 35360

prune24.3s (4.9%)

Counts
85473 → 1930
Compiler

Compiled 83444 to 56948 computations (31.8% saved)

regimes18.5s (3.8%)

Counts
4078 → 519
Calls

94 calls:

2.5s
b
2.1s
a
1.9s
c
1.6s
x1
1.5s
d
Compiler

Compiled 3839 to 2716 computations (29.3% saved)

bsearch12.7s (2.6%)

Algorithm
261×binary-search
17×left-value
Stop Event
21×predicate-same
240×narrow-enough
Results
5.6s22463×256valid
2.6s5737×256infinite
293.0ms2394×256invalid
1.0s1865×1024valid
555.0ms1117×512valid
159.0ms129×2048valid
1.0ms7×256unsamplable
1.0ms1×2048infinite
Compiler

Compiled 67172 to 48326 computations (28.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0s
Operation ival-mult, time spent: 1.9s, 32.0% of total-time
Operation ival-div, time spent: 1.2s, 19.0% of total-time
Operation ival-sub, time spent: 985.0ms, 16.0% of total-time
Operation ival-add, time spent: 801.0ms, 13.0% of total-time
Operation ival-pow, time spent: 533.0ms, 9.0% of total-time
Operation ival-exp, time spent: 276.0ms, 5.0% of total-time
Operation const, time spent: 158.0ms, 3.0% of total-time
Operation ival-neg, time spent: 96.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 69.0ms, 1.0% of total-time

analyze11.7s (2.4%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.8%26.8%25.9%45.5%0%1.7%0%3
58.9%31%21.7%45.5%0%1.8%0%4
71.8%37.8%14.8%45.6%0%1.8%0%5
73.2%38.5%14.1%45.6%0%1.8%0%6
78.1%40.8%11.4%45.6%0%2.2%0%7
81.7%42.6%9.5%45.7%0%2.2%0%8
84.5%43.8%8%45.7%0%2.5%0%9
86.6%44.6%6.9%45.7%0%2.7%0%10
88.8%45.6%5.8%45.7%0%2.8%0.1%11
89.7%45.9%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
Operation ival-add, time spent: 1.8s, 22.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 17.0% of total-time
Operation ival-pow, time spent: 1.1s, 13.0% of total-time
Operation ival-mult, time spent: 1.0s, 12.0% of total-time
Operation ival-sub, time spent: 933.0ms, 11.0% of total-time
Operation ival-div, time spent: 841.0ms, 10.0% of total-time
Operation ival-<=, time spent: 330.0ms, 4.0% of total-time
Operation ival-fabs, time spent: 235.0ms, 3.0% of total-time
Operation const, time spent: 191.0ms, 2.0% of total-time
Operation ival-exp, time spent: 121.0ms, 1.0% of total-time
Operation ival-neg, time spent: 91.0ms, 1.0% of total-time
Operation ival-==, time spent: 65.0ms, 1.0% of total-time
Operation ival-if, time spent: 48.0ms, 1.0% of total-time
Operation ival-pi, time spent: 25.0ms, 0.0% of total-time
Operation ival-<, time spent: 25.0ms, 0.0% of total-time
Operation ival-and, time spent: 18.0ms, 0.0% of total-time
Operation ival-log, time spent: 1.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-tan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cos, time spent: 0.0ms, 0.0% of total-time
Operation ival-sin, time spent: 0.0ms, 0.0% of total-time

series4.9s (1%)

Counts
1000 → 21427
Calls

5376 calls:

TimeVariablePointExpression
175.0ms
a
@inf
(* (/ -1/2 a) (+ b (exp (* (+ (log (* -4 a)) (log c)) 1/2))))
114.0ms
r
@inf
(* (* w r) (* r (neg (/ w v))))
76.0ms
a
@0
(exp (* (+ (log (* -4 a)) (log c)) 1/2))
71.0ms
d
@0
(+ 1 (+ (/ c e) (/ d e)))
70.0ms
c
@0
(pow (exp 1/2) (+ (log (* c -4)) (log a)))

end51.0ms (0%)

Profiling

Loading profile data...