Herbie run

Date:Monday, March 11th, 2024
Commit:d14d36a1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024071
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.2%)

Results
54.9s270451×256valid
7.5s31118×256infinite
10.5s19217×1024valid
18.3s13718×2048valid
3.4s11069×512valid
571.0ms4111×256invalid
272.0ms1014×256unsamplable
528.0ms788×4096valid
96.0ms223×512infinite
1.9s202×8192exit
116.0ms149×1024infinite
29.0ms19×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 12.0s, 20.0% of total-time
Operation ival-pow, time spent: 7.5s, 12.0% of total-time
Operation ival-tan, time spent: 7.3s, 12.0% of total-time
Operation ival-add, time spent: 6.5s, 11.0% of total-time
Operation ival-div, time spent: 6.1s, 10.0% of total-time
Operation ival-sub, time spent: 4.9s, 8.0% of total-time
Operation ival-<=, time spent: 3.6s, 6.0% of total-time
Operation ival-sin, time spent: 3.4s, 6.0% of total-time
Operation ival-cos, time spent: 2.1s, 3.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-log, time spent: 1.3s, 2.0% of total-time
Operation ival-exp, time spent: 927.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 735.0ms, 1.0% of total-time
Operation composed, time spent: 688.0ms, 1.0% of total-time
Operation ival-neg, time spent: 636.0ms, 1.0% of total-time
Operation ival-and, time spent: 566.0ms, 1.0% of total-time
Operation ival-==, time spent: 329.0ms, 1.0% of total-time
Operation ival-atan, time spent: 229.0ms, 0.0% of total-time
Operation ival-<, time spent: 123.0ms, 0.0% of total-time
Operation ival-pi, time spent: 62.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 56.0ms, 0.0% of total-time
Operation ival-if, time spent: 9.0ms, 0.0% of total-time
Bogosity

localize1.4min (18.3%)

Compiler

Compiled 28161 to 16829 computations (40.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 56.4s
Operation ival-mult, time spent: 15.9s, 28.0% of total-time
Operation ival-pow, time spent: 9.8s, 17.0% of total-time
Operation ival-div, time spent: 8.6s, 15.0% of total-time
Operation ival-add, time spent: 7.8s, 14.0% of total-time
Operation ival-sub, time spent: 4.5s, 8.0% of total-time
Operation composed, time spent: 4.3s, 8.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-exp, time spent: 1.2s, 2.0% of total-time
Operation ival-tan, time spent: 772.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 509.0ms, 1.0% of total-time
Operation ival-sin, time spent: 416.0ms, 1.0% of total-time
Operation ival-cos, time spent: 384.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 165.0ms, 0.0% of total-time
Operation ival-atan, time spent: 165.0ms, 0.0% of total-time
Operation ival-log, time spent: 131.0ms, 0.0% of total-time
Operation ival-neg, time spent: 121.0ms, 0.0% of total-time
Operation ival-pi, time spent: 7.0ms, 0.0% of total-time

eval1.3min (16.5%)

Compiler

Compiled 2743672 to 1884367 computations (31.3% saved)

simplify36.4s (7.8%)

Algorithm
165×egg-herbie
Rules
45435×fma-define
36254×distribute-lft-in
33904×fma-neg
33546×times-frac
31959×distribute-rgt-in
Stop Event
42×saturated
122×node limit
24×fuel
1×unsound
18×done
Counts
52334 → 50604
Compiler

Compiled 8664 to 5957 computations (31.2% saved)

preprocess31.0s (6.7%)

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 32511 to 20725 computations (36.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.5s
Operation ival-mult, time spent: 3.1s, 30.0% of total-time
Operation ival-pow, time spent: 1.5s, 15.0% of total-time
Operation ival-add, time spent: 1.5s, 14.0% of total-time
Operation ival-div, time spent: 1.2s, 12.0% of total-time
Operation ival-sub, time spent: 1.0s, 10.0% of total-time
Operation ival-tan, time spent: 595.0ms, 6.0% of total-time
Operation const, time spent: 354.0ms, 3.0% of total-time
Operation ival-sin, time spent: 339.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 331.0ms, 3.0% of total-time
Operation ival-log, time spent: 150.0ms, 1.0% of total-time
Operation ival-exp, time spent: 104.0ms, 1.0% of total-time
Operation ival-cos, time spent: 99.0ms, 1.0% of total-time
Operation ival-neg, time spent: 82.0ms, 1.0% of total-time
Operation composed, time spent: 25.0ms, 0.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

soundness30.2s (6.5%)

Rules
40959×fma-define
28587×fma-neg
27100×log1p-expm1-u
24013×distribute-lft-in
22909×distribute-rgt-in
Stop Event
8×saturated
122×node limit
1×unsound
Compiler

Compiled 23702 to 15632 computations (34% saved)

rewrite25.2s (5.4%)

Algorithm
123×batch-egg-rewrite
Rules
73755×log1p-expm1-u
57583×expm1-log1p-u
25679×pow1
24607×add-exp-log
22847×add-log-exp
Stop Event
123×node limit
Counts
938 → 32949

prune24.5s (5.3%)

Counts
81419 → 1939
Compiler

Compiled 73374 to 51257 computations (30.1% saved)

regimes17.0s (3.6%)

Counts
4320 → 576
Calls

94 calls:

2.1s
c
1.7s
x1
1.4s
b
1.3s
x
1.0s
t1
Compiler

Compiled 3896 to 2790 computations (28.4% saved)

bsearch14.4s (3.1%)

Algorithm
275×binary-search
24×left-value
Stop Event
21×predicate-same
254×narrow-enough
Results
6.4s23339×256valid
4.1s7866×256infinite
449.0ms1224×512valid
809.0ms1189×1024valid
197.0ms1068×256invalid
194.0ms217×2048valid
74.0ms114×1024infinite
14.0ms78×256unsamplable
24.0ms62×512infinite
4.0ms5×4096valid
Compiler

Compiled 77144 to 55946 computations (27.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.7s
Operation ival-mult, time spent: 2.9s, 38.0% of total-time
Operation ival-add, time spent: 1.5s, 19.0% of total-time
Operation ival-div, time spent: 1.3s, 17.0% of total-time
Operation ival-sub, time spent: 849.0ms, 11.0% of total-time
Operation ival-pow, time spent: 566.0ms, 7.0% of total-time
Operation const, time spent: 209.0ms, 3.0% of total-time
Operation ival-exp, time spent: 142.0ms, 2.0% of total-time
Operation ival-neg, time spent: 129.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 33.0ms, 0.0% of total-time
Operation ival-pi, time spent: 1.0ms, 0.0% of total-time

analyze12.3s (2.6%)

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%40.8%11.5%45.6%0%2.1%0%7
81.6%42.6%9.6%45.7%0%2.1%0%8
84.2%43.8%8.2%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.4s
Operation ival-mult, time spent: 1.6s, 19.0% of total-time
Operation ival-add, time spent: 1.6s, 19.0% of total-time
Operation ival-sqrt, time spent: 1.0s, 12.0% of total-time
Operation ival-sub, time spent: 986.0ms, 12.0% of total-time
Operation ival-div, time spent: 940.0ms, 11.0% of total-time
Operation ival-pow, time spent: 928.0ms, 11.0% of total-time
Operation ival-fabs, time spent: 425.0ms, 5.0% of total-time
Operation ival-if, time spent: 329.0ms, 4.0% of total-time
Operation const, time spent: 215.0ms, 3.0% of total-time
Operation ival-<=, time spent: 111.0ms, 1.0% of total-time
Operation ival-exp, time spent: 108.0ms, 1.0% of total-time
Operation ival-==, time spent: 65.0ms, 1.0% of total-time
Operation ival-<, time spent: 27.0ms, 0.0% of total-time
Operation ival-neg, 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: 7.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
Operation ival-log, time spent: 0.0ms, 0.0% of total-time

series4.2s (0.9%)

Counts
938 → 19385
Calls

4833 calls:

TimeVariablePointExpression
123.0ms
c
@0
(* (neg a) (/ c (pow b 3)))
61.0ms
c
@-inf
(+ (/ a c) (* b (/ d (pow c 2))))
42.0ms
x
@0
(atan (/ 1 (+ 1 (* x (+ 1 (* x (+ 1/2 (* x 1/2))))))))
41.0ms
x
@-inf
(+ (* (+ 1 (/ 1 eps)) (pow (exp x) (+ eps -1))) (/ (+ 1 (/ -1 eps)) (exp (+ (* eps x) x))))
33.0ms
eps
@inf
(pow (exp (+ 1 eps)) (neg x))

end20.0ms (0%)

Profiling

Loading profile data...