Herbie run

Date:Thursday, April 4th, 2024
Commit:9887997d on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024095
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 (22.8%)

Results
51.2s270204×256valid
7.4s31129×256infinite
9.5s19335×1024valid
18.9s13727×2048valid
3.8s11184×512valid
689.0ms4180×256invalid
187.0ms948×256unsamplable
739.0ms781×4096valid
1.7s202×8192exit
241.0ms201×512infinite
130.0ms172×1024infinite
21.0ms19×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 58.0s
Operation ival-mult, time spent: 11.6s, 20.0% of total-time
Operation ival-tan, time spent: 7.4s, 13.0% of total-time
Operation ival-pow, time spent: 6.6s, 11.0% of total-time
Operation ival-div, time spent: 6.2s, 11.0% of total-time
Operation ival-add, time spent: 6.2s, 11.0% of total-time
Operation ival-sub, time spent: 4.3s, 7.0% of total-time
Operation ival-sin, time spent: 3.5s, 6.0% of total-time
Operation ival-<=, time spent: 3.5s, 6.0% of total-time
Operation ival-cos, time spent: 1.9s, 3.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-log, time spent: 1.1s, 2.0% of total-time
Operation ival-exp, time spent: 876.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 802.0ms, 1.0% of total-time
Operation ival-neg, time spent: 561.0ms, 1.0% of total-time
Operation ival-and, time spent: 561.0ms, 1.0% of total-time
Operation composed, time spent: 552.0ms, 1.0% of total-time
Operation ival-==, time spent: 533.0ms, 1.0% of total-time
Operation ival-atan, time spent: 209.0ms, 0.0% of total-time
Operation ival-<, time spent: 121.0ms, 0.0% of total-time
Operation ival-pi, time spent: 46.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 42.0ms, 0.0% of total-time
Operation ival-if, time spent: 10.0ms, 0.0% of total-time
Bogosity

localize1.5min (19.1%)

Compiler

Compiled 30185 to 17810 computations (41% saved)

Precisions
Click to see histograms. Total time spent on operations: 59.8s
Operation ival-mult, time spent: 17.2s, 29.0% of total-time
Operation ival-pow, time spent: 10.2s, 17.0% of total-time
Operation ival-div, time spent: 8.0s, 13.0% of total-time
Operation ival-add, time spent: 7.9s, 13.0% of total-time
Operation composed, time spent: 6.0s, 10.0% of total-time
Operation ival-sub, time spent: 4.7s, 8.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-exp, time spent: 1.0s, 2.0% of total-time
Operation ival-tan, time spent: 687.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 652.0ms, 1.0% of total-time
Operation ival-log, time spent: 572.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 422.0ms, 1.0% of total-time
Operation ival-cos, time spent: 421.0ms, 1.0% of total-time
Operation ival-atan, time spent: 191.0ms, 0.0% of total-time
Operation ival-neg, time spent: 166.0ms, 0.0% of total-time
Operation ival-sin, time spent: 166.0ms, 0.0% of total-time
Operation ival-pi, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time
Operation ival-e, time spent: 5.0ms, 0.0% of total-time

eval1.3min (17.1%)

Compiler

Compiled 2838020 to 1954623 computations (31.1% saved)

simplify35.1s (7.5%)

Algorithm
163×egg-herbie
Rules
44648×fma-define
38940×distribute-lft-in
36985×distribute-rgt-in
33436×fmm-def
31179×*-commutative
Stop Event
42×saturated
121×node limit
22×fuel
20×done
Counts
52861 → 51348
Compiler

Compiled 10545 to 6997 computations (33.6% saved)

preprocess34.1s (7.3%)

Algorithm
42×egg-herbie
Rules
18502×fmm-def
16342×fma-define
9180×sub-neg
8997×unsub-neg
7628×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 35143 to 22057 computations (37.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.1s
Operation ival-mult, time spent: 3.6s, 30.0% of total-time
Operation ival-pow, time spent: 2.3s, 19.0% of total-time
Operation ival-div, time spent: 1.8s, 15.0% of total-time
Operation ival-add, time spent: 1.5s, 12.0% of total-time
Operation ival-sub, time spent: 1.1s, 9.0% of total-time
Operation ival-tan, time spent: 591.0ms, 5.0% of total-time
Operation ival-sin, time spent: 387.0ms, 3.0% of total-time
Operation const, time spent: 314.0ms, 3.0% of total-time
Operation ival-cos, time spent: 130.0ms, 1.0% of total-time
Operation ival-exp, time spent: 119.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 72.0ms, 1.0% of total-time
Operation ival-neg, time spent: 70.0ms, 1.0% of total-time
Operation ival-log, time spent: 69.0ms, 1.0% of total-time
Operation ival-atan, time spent: 25.0ms, 0.0% of total-time
Operation composed, time spent: 24.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time

soundness29.1s (6.3%)

Rules
36263×fma-define
31518×log1p-expm1-u
26762×distribute-lft-in
25880×fmm-def
25816×distribute-rgt-in
Stop Event
7×saturated
127×node limit
Compiler

Compiled 23988 to 15044 computations (37.3% saved)

rewrite24.8s (5.3%)

Algorithm
121×batch-egg-rewrite
Rules
75935×log1p-expm1-u
57455×expm1-log1p-u
25585×pow1
24425×add-exp-log
23248×add-log-exp
Stop Event
120×node limit
1×unsound
Counts
968 → 32970

prune22.7s (4.9%)

Counts
82197 → 2027
Compiler

Compiled 80421 to 55348 computations (31.2% saved)

bsearch18.3s (3.9%)

Algorithm
323×binary-search
25×left-value
Stop Event
21×predicate-same
302×narrow-enough
Results
8.1s26496×256valid
4.5s9399×256infinite
1.3s2164×1024valid
260.0ms1886×256invalid
661.0ms963×512valid
304.0ms389×2048valid
31.0ms140×256unsamplable
15.0ms39×512infinite
21.0ms36×1024infinite
2.0ms2×4096valid
Compiler

Compiled 103513 to 73236 computations (29.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0s
Operation ival-mult, time spent: 4.1s, 41.0% of total-time
Operation ival-add, time spent: 2.2s, 22.0% of total-time
Operation ival-div, time spent: 1.4s, 14.0% of total-time
Operation ival-sub, time spent: 1.1s, 11.0% of total-time
Operation ival-pow, time spent: 655.0ms, 7.0% of total-time
Operation const, time spent: 265.0ms, 3.0% of total-time
Operation ival-exp, time spent: 133.0ms, 1.0% of total-time
Operation ival-neg, time spent: 128.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 40.0ms, 0.0% of total-time

analyze11.8s (2.5%)

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.7s, 21.0% of total-time
Operation ival-sqrt, time spent: 1.5s, 18.0% of total-time
Operation ival-mult, time spent: 1.3s, 16.0% of total-time
Operation ival-pow, time spent: 985.0ms, 12.0% of total-time
Operation ival-sub, time spent: 885.0ms, 11.0% of total-time
Operation ival-div, time spent: 869.0ms, 10.0% of total-time
Operation ival-fabs, time spent: 377.0ms, 5.0% of total-time
Operation const, time spent: 202.0ms, 2.0% of total-time
Operation ival-<=, time spent: 119.0ms, 1.0% of total-time
Operation ival-exp, time spent: 115.0ms, 1.0% of total-time
Operation ival-if, time spent: 61.0ms, 1.0% of total-time
Operation ival-==, time spent: 59.0ms, 1.0% of total-time
Operation ival-neg, time spent: 28.0ms, 0.0% of total-time
Operation ival-<, time spent: 27.0ms, 0.0% of total-time
Operation ival-and, time spent: 19.0ms, 0.0% of total-time
Operation ival-pi, time spent: 10.0ms, 0.0% of total-time
Operation ival-cos, time spent: 2.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

regimes10.6s (2.3%)

Counts
4747 → 620
Calls

94 calls:

1.7s
x1
881.0ms
c
820.0ms
x
797.0ms
b
743.0ms
d
Compiler

Compiled 4056 to 2863 computations (29.4% saved)

series4.3s (0.9%)

Counts
968 → 19891
Calls

5076 calls:

TimeVariablePointExpression
249.0ms
eps
@0
(/ (- (pow (+ x eps) 10) (pow x 10)) (+ (pow (+ x eps) 5) (pow x 5)))
127.0ms
x2
@-inf
(* x1 (* x2 (- (* 2 x2) 3)))
89.0ms
x
@inf
(pow (pow (pow (exp 10) (pow (sqrt x) 3)) (cbrt x)) (cbrt (sqrt x)))
47.0ms
c
@inf
(cbrt (* -1/2 (/ (- b (sqrt (+ (* b b) (* (sqrt (* a (* c -4))) (sqrt (* a (* c -4))))))) a)))
46.0ms
x
@-inf
(* (neg x) (/ 1 (neg (+ (* x x) 1))))

end21.0ms (0%)

Profiling

Loading profile data...