Herbie run

Date:Sunday, March 17th, 2024
Commit:6616c040 on zane-regimes-inverted
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: 7.7min)

sample1.8min (23.8%)

Results
54.2s270267×256valid
7.3s30934×256infinite
10.9s19445×1024valid
18.9s13759×2048valid
3.6s11217×512valid
506.0ms4188×256invalid
209.0ms936×256unsamplable
1.1s727×4096valid
86.0ms215×512infinite
1.8s202×8192exit
139.0ms176×1024infinite
248.0ms12×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 12.6s, 21.0% of total-time
Operation ival-pow, time spent: 7.7s, 13.0% of total-time
Operation ival-tan, time spent: 7.5s, 12.0% of total-time
Operation ival-div, time spent: 6.4s, 10.0% of total-time
Operation ival-add, time spent: 5.7s, 9.0% of total-time
Operation ival-sub, time spent: 4.4s, 7.0% of total-time
Operation ival-<=, time spent: 4.2s, 7.0% of total-time
Operation ival-sin, time spent: 3.6s, 6.0% of total-time
Operation ival-cos, time spent: 1.9s, 3.0% of total-time
Operation ival-log, time spent: 1.7s, 3.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-exp, time spent: 849.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 721.0ms, 1.0% of total-time
Operation ival-and, time spent: 569.0ms, 1.0% of total-time
Operation composed, time spent: 519.0ms, 1.0% of total-time
Operation ival-neg, time spent: 500.0ms, 1.0% of total-time
Operation ival-==, time spent: 299.0ms, 0.0% of total-time
Operation ival-atan, time spent: 207.0ms, 0.0% of total-time
Operation ival-<, time spent: 121.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 91.0ms, 0.0% of total-time
Operation ival-pi, time spent: 40.0ms, 0.0% of total-time
Operation ival-if, time spent: 13.0ms, 0.0% of total-time
Bogosity

localize1.4min (18.7%)

Compiler

Compiled 29268 to 17248 computations (41.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 58.7s
Operation ival-mult, time spent: 18.3s, 31.0% of total-time
Operation ival-pow, time spent: 9.2s, 16.0% of total-time
Operation ival-div, time spent: 9.0s, 15.0% of total-time
Operation ival-add, time spent: 7.9s, 13.0% of total-time
Operation composed, time spent: 4.7s, 8.0% of total-time
Operation ival-sub, time spent: 4.4s, 7.0% of total-time
Operation ival-exp, 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: 600.0ms, 1.0% of total-time
Operation ival-tan, time spent: 562.0ms, 1.0% of total-time
Operation ival-log, time spent: 246.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 243.0ms, 0.0% of total-time
Operation ival-sin, time spent: 182.0ms, 0.0% of total-time
Operation ival-cos, time spent: 139.0ms, 0.0% of total-time
Operation ival-atan, time spent: 127.0ms, 0.0% of total-time
Operation ival-neg, time spent: 102.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time
Operation ival-e, time spent: 4.0ms, 0.0% of total-time

eval1.3min (16.5%)

Compiler

Compiled 2723828 to 1858867 computations (31.8% saved)

simplify38.0s (8.2%)

Algorithm
170×egg-herbie
Rules
46042×fma-define
40843×distribute-lft-in
37461×fma-neg
34661×distribute-rgt-in
33420×*-commutative
Stop Event
42×saturated
128×node limit
23×fuel
19×done
Counts
56526 → 54547
Compiler

Compiled 7922 to 5258 computations (33.6% saved)

preprocess32.9s (7.1%)

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 29207 to 18283 computations (37.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.9s
Operation ival-mult, time spent: 3.6s, 28.0% of total-time
Operation ival-pow, time spent: 2.5s, 19.0% of total-time
Operation ival-div, time spent: 2.3s, 18.0% of total-time
Operation ival-add, time spent: 1.6s, 12.0% of total-time
Operation ival-sub, time spent: 1.4s, 11.0% of total-time
Operation ival-tan, time spent: 460.0ms, 4.0% of total-time
Operation const, time spent: 337.0ms, 3.0% of total-time
Operation ival-sin, time spent: 186.0ms, 1.0% of total-time
Operation ival-exp, time spent: 109.0ms, 1.0% of total-time
Operation ival-cos, time spent: 107.0ms, 1.0% of total-time
Operation ival-neg, time spent: 73.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 71.0ms, 1.0% of total-time
Operation ival-log, time spent: 61.0ms, 0.0% of total-time
Operation ival-atan, time spent: 27.0ms, 0.0% of total-time
Operation composed, time spent: 23.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

soundness31.1s (6.7%)

Rules
40388×fma-define
30036×fma-neg
28631×log1p-expm1-u
28309×distribute-lft-in
26025×distribute-rgt-in
Stop Event
7×saturated
132×node limit
Compiler

Compiled 18816 to 11701 computations (37.8% saved)

rewrite26.4s (5.7%)

Algorithm
128×batch-egg-rewrite
Rules
74941×log1p-expm1-u
59653×expm1-log1p-u
26924×pow1
25143×add-exp-log
24378×prod-diff
Stop Event
128×node limit
Counts
1014 → 34997

prune22.0s (4.7%)

Counts
84214 → 1950
Compiler

Compiled 70845 to 48785 computations (31.1% saved)

bsearch14.5s (3.1%)

Algorithm
251×binary-search
16×left-value
Stop Event
15×predicate-same
236×narrow-enough
Results
5.0s19331×256valid
4.9s6932×256infinite
1.1s1712×1024valid
151.0ms1489×256invalid
648.0ms1429×512valid
195.0ms192×2048valid
54.0ms65×1024infinite
6.0ms36×256unsamplable
14.0ms28×512infinite
9.0ms4×4096valid
3.0ms3×2048infinite
Compiler

Compiled 70915 to 51077 computations (28% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.8s
Operation ival-mult, time spent: 3.4s, 44.0% of total-time
Operation ival-pow, time spent: 1.1s, 15.0% of total-time
Operation ival-add, time spent: 1.1s, 15.0% of total-time
Operation ival-div, time spent: 977.0ms, 13.0% of total-time
Operation ival-sub, time spent: 729.0ms, 9.0% of total-time
Operation const, time spent: 189.0ms, 2.0% of total-time
Operation ival-exp, time spent: 110.0ms, 1.0% of total-time
Operation ival-neg, time spent: 60.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 20.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

analyze12.2s (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.3s
Operation ival-add, time spent: 1.5s, 19.0% of total-time
Operation ival-mult, time spent: 1.3s, 16.0% of total-time
Operation ival-div, time spent: 1.2s, 15.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 13.0% of total-time
Operation ival-pow, time spent: 1.0s, 13.0% of total-time
Operation ival-sub, time spent: 867.0ms, 10.0% of total-time
Operation ival-fabs, time spent: 387.0ms, 5.0% of total-time
Operation const, time spent: 209.0ms, 3.0% of total-time
Operation ival-if, time spent: 121.0ms, 1.0% of total-time
Operation ival-<=, time spent: 112.0ms, 1.0% of total-time
Operation ival-exp, time spent: 106.0ms, 1.0% of total-time
Operation ival-==, time spent: 100.0ms, 1.0% of total-time
Operation ival-neg, time spent: 89.0ms, 1.0% of total-time
Operation ival-<, time spent: 36.0ms, 0.0% of total-time
Operation ival-and, time spent: 19.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.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

regimes8.5s (1.8%)

Counts
4203 → 523
Calls

94 calls:

978.0ms
x1
857.0ms
c
816.0ms
b
583.0ms
d
538.0ms
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a))
Compiler

Compiled 3915 to 2769 computations (29.3% saved)

series5.3s (1.1%)

Counts
1014 → 21529
Calls

5532 calls:

TimeVariablePointExpression
211.0ms
x
@inf
(* (pow x 2) (+ 1/5040 (* -1/362880 (pow x 2))))
176.0ms
x
@-inf
(+ (* x (* x x)) (* x x))
108.0ms
c
@-inf
(/ (* a 2) (+ b (sqrt (+ (* b b) (* (sqrt (* a (* c -4))) (sqrt (* a (* c -4))))))))
100.0ms
x1
@0
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (- (* 2 x2) x1) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
89.0ms
c
@0
(* b (* -2 (/ (* c (cbrt -1/8)) (pow b 2))))

end27.0ms (0%)

Profiling

Loading profile data...