Herbie run

Date:Monday, March 18th, 2024
Commit:487b55ff on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024078
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: 7.8min)

sample1.8min (23.1%)

Results
55.5s270790×256valid
7.3s30712×256infinite
10.4s19483×1024valid
17.2s13526×2048valid
3.6s11161×512valid
638.0ms4127×256invalid
214.0ms983×256unsamplable
623.0ms732×4096valid
1.9s202×8192exit
77.0ms188×512infinite
109.0ms149×1024infinite
12.0ms11×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 59.6s
Operation ival-mult, time spent: 11.8s, 20.0% of total-time
Operation ival-tan, time spent: 7.0s, 12.0% of total-time
Operation ival-pow, time spent: 6.8s, 11.0% of total-time
Operation ival-add, time spent: 6.7s, 11.0% of total-time
Operation ival-div, time spent: 6.4s, 11.0% of total-time
Operation ival-<=, time spent: 4.7s, 8.0% of total-time
Operation ival-sub, time spent: 4.5s, 8.0% of total-time
Operation ival-sin, time spent: 2.9s, 5.0% of total-time
Operation ival-cos, time spent: 1.8s, 3.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-log, time spent: 1.4s, 2.0% of total-time
Operation ival-exp, time spent: 934.0ms, 2.0% of total-time
Operation ival-neg, time spent: 724.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 694.0ms, 1.0% of total-time
Operation ival-and, time spent: 570.0ms, 1.0% of total-time
Operation composed, time spent: 370.0ms, 1.0% of total-time
Operation ival-==, time spent: 341.0ms, 1.0% of total-time
Operation ival-atan, time spent: 210.0ms, 0.0% of total-time
Operation ival-<, time spent: 157.0ms, 0.0% of total-time
Operation ival-pi, time spent: 53.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 52.0ms, 0.0% of total-time
Operation ival-if, time spent: 9.0ms, 0.0% of total-time
Bogosity

localize1.5min (19.2%)

Compiler

Compiled 29984 to 18136 computations (39.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 19.1s, 31.0% of total-time
Operation ival-div, time spent: 9.0s, 15.0% of total-time
Operation ival-pow, time spent: 8.3s, 14.0% of total-time
Operation ival-add, time spent: 8.1s, 13.0% of total-time
Operation composed, time spent: 5.8s, 9.0% of total-time
Operation ival-sub, time spent: 4.7s, 8.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-exp, time spent: 1.3s, 2.0% of total-time
Operation ival-log, time spent: 1.1s, 2.0% of total-time
Operation ival-tan, time spent: 707.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 560.0ms, 1.0% of total-time
Operation ival-sin, time spent: 310.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 291.0ms, 0.0% of total-time
Operation ival-neg, time spent: 147.0ms, 0.0% of total-time
Operation ival-cos, time spent: 129.0ms, 0.0% of total-time
Operation ival-atan, time spent: 120.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 11.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time

eval1.3min (16.7%)

Compiler

Compiled 2807360 to 1872169 computations (33.3% saved)

simplify36.7s (7.9%)

Algorithm
163×egg-herbie
Rules
44752×fma-define
39201×distribute-lft-in
35892×distribute-rgt-in
32348×*-commutative
31616×fma-neg
Stop Event
42×saturated
121×node limit
21×fuel
21×done
Counts
54138 → 53441
Compiler

Compiled 9887 to 6547 computations (33.8% saved)

preprocess34.0s (7.3%)

Algorithm
42×egg-herbie
Rules
18568×fma-define
18480×fma-neg
9939×unsub-neg
9280×sub-neg
7631×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 34601 to 21707 computations (37.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.7s
Operation ival-mult, time spent: 3.3s, 28.0% of total-time
Operation ival-add, time spent: 2.3s, 19.0% of total-time
Operation ival-div, time spent: 1.9s, 16.0% of total-time
Operation ival-pow, time spent: 1.7s, 15.0% of total-time
Operation ival-sub, time spent: 901.0ms, 8.0% of total-time
Operation ival-tan, time spent: 396.0ms, 3.0% of total-time
Operation const, time spent: 328.0ms, 3.0% of total-time
Operation ival-cos, time spent: 271.0ms, 2.0% of total-time
Operation ival-sin, time spent: 174.0ms, 1.0% of total-time
Operation ival-log, time spent: 118.0ms, 1.0% of total-time
Operation ival-exp, time spent: 111.0ms, 1.0% of total-time
Operation ival-neg, time spent: 78.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 72.0ms, 1.0% of total-time
Operation composed, time spent: 38.0ms, 0.0% of total-time
Operation ival-atan, time spent: 26.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time

soundness30.1s (6.5%)

Rules
43897×fma-define
30580×log1p-expm1-u
28419×distribute-lft-in
26692×distribute-rgt-in
25928×fma-neg
Stop Event
7×saturated
134×node limit
Compiler

Compiled 22944 to 14264 computations (37.8% saved)

rewrite24.2s (5.2%)

Algorithm
121×batch-egg-rewrite
Rules
67860×log1p-expm1-u
54841×expm1-log1p-u
26305×pow1
24161×add-exp-log
23299×add-log-exp
Stop Event
121×node limit
Counts
964 → 33688

prune22.5s (4.8%)

Counts
83514 → 2037
Compiler

Compiled 85079 to 58416 computations (31.3% saved)

bsearch14.8s (3.2%)

Algorithm
264×binary-search
22×left-value
Stop Event
26×predicate-same
238×narrow-enough
Results
6.3s21975×256valid
2.9s5283×256infinite
220.0ms2140×256invalid
1.3s2016×1024valid
821.0ms1748×512valid
256.0ms318×2048valid
47.0ms78×1024infinite
14.0ms33×512infinite
2.0ms10×256unsamplable
5.0ms5×2048infinite
Compiler

Compiled 86410 to 60285 computations (30.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.9s
Operation ival-mult, time spent: 3.1s, 39.0% of total-time
Operation ival-add, time spent: 1.4s, 18.0% of total-time
Operation ival-div, time spent: 1.2s, 15.0% of total-time
Operation ival-sub, time spent: 944.0ms, 12.0% of total-time
Operation ival-pow, time spent: 816.0ms, 10.0% of total-time
Operation const, time spent: 205.0ms, 3.0% of total-time
Operation ival-exp, time spent: 148.0ms, 2.0% of total-time
Operation ival-neg, time spent: 65.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 29.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

regimes11.9s (2.6%)

Counts
4586 → 564
Calls

94 calls:

1.3s
x1
1.2s
c
1.0s
x
766.0ms
b
631.0ms
d
Compiler

Compiled 4038 to 2855 computations (29.3% saved)

analyze11.9s (2.6%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
49.8%26.2%26.5%45.5%0%1.7%0%3
58.3%30.7%22%45.5%0%1.8%0%4
71.6%37.7%15%45.6%0%1.8%0%5
73.1%38.4%14.1%45.6%0%1.8%0%6
78%40.7%11.5%45.6%0%2.1%0%7
81.5%42.6%9.6%45.7%0%2.1%0%8
84.1%43.8%8.3%45.7%0%2.2%0%9
86.2%44.6%7.1%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.2s
Operation ival-add, time spent: 1.6s, 20.0% of total-time
Operation ival-div, time spent: 1.6s, 20.0% of total-time
Operation ival-mult, time spent: 1.2s, 15.0% of total-time
Operation ival-sqrt, time spent: 934.0ms, 11.0% of total-time
Operation ival-pow, time spent: 922.0ms, 11.0% of total-time
Operation ival-sub, time spent: 848.0ms, 10.0% of total-time
Operation ival-fabs, time spent: 372.0ms, 5.0% of total-time
Operation const, time spent: 195.0ms, 2.0% of total-time
Operation ival-<=, time spent: 114.0ms, 1.0% of total-time
Operation ival-exp, time spent: 112.0ms, 1.0% of total-time
Operation ival-if, time spent: 69.0ms, 1.0% of total-time
Operation ival-==, time spent: 59.0ms, 1.0% of total-time
Operation ival-neg, time spent: 27.0ms, 0.0% of total-time
Operation ival-<, time spent: 25.0ms, 0.0% of total-time
Operation ival-and, time spent: 19.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time
Operation ival-cos, 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-sin, time spent: 0.0ms, 0.0% of total-time
Operation ival-log, time spent: 0.0ms, 0.0% of total-time

series4.7s (1%)

Counts
964 → 20450
Calls

5184 calls:

TimeVariablePointExpression
274.0ms
b
@inf
(- (* b b) (* (* 4 c) a))
66.0ms
a
@0
(log (+ 1 (* -1/2 (/ (* a (* (/ c b) 2)) a))))
58.0ms
y
@0
(- (* 9 (pow x 4)) (pow y 4))
41.0ms
a
@-inf
(- c (* d (/ a b)))
41.0ms
c
@-inf
(pow (/ (neg c) a) 1/4)

end28.0ms (0%)

Profiling

Loading profile data...