Herbie run

Date:Sunday, March 24th, 2024
Commit:5a8b346c on main
Hostname:nightly with Racket 8.11.1
Seed:2024084
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.5%)

Results
47.0s270393×256valid
6.2s30894×256infinite
9.8s19477×1024valid
18.5s13660×2048valid
3.1s11144×512valid
451.0ms4171×256invalid
162.0ms915×256unsamplable
527.0ms802×4096valid
1.7s202×8192exit
91.0ms201×512infinite
350.0ms164×1024infinite
25.0ms17×2048infinite
Precisions
Click to see histograms. Total time spent on operations: 59.0s
Operation ival-mult, time spent: 11.4s, 19.0% of total-time
Operation ival-pow, time spent: 7.3s, 12.0% of total-time
Operation ival-tan, time spent: 6.8s, 12.0% of total-time
Operation ival-add, time spent: 6.6s, 11.0% of total-time
Operation ival-div, time spent: 6.2s, 11.0% of total-time
Operation ival-<=, time spent: 4.1s, 7.0% of total-time
Operation ival-sub, time spent: 4.0s, 7.0% of total-time
Operation ival-sin, time spent: 3.5s, 6.0% of total-time
Operation ival-cos, time spent: 2.2s, 4.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-log, time spent: 1.3s, 2.0% of total-time
Operation ival-sqrt, time spent: 886.0ms, 2.0% of total-time
Operation ival-exp, time spent: 829.0ms, 1.0% of total-time
Operation ival-and, time spent: 568.0ms, 1.0% of total-time
Operation ival-neg, time spent: 468.0ms, 1.0% of total-time
Operation composed, time spent: 381.0ms, 1.0% of total-time
Operation ival-==, time spent: 344.0ms, 1.0% of total-time
Operation ival-atan, time spent: 244.0ms, 0.0% of total-time
Operation ival-<, time spent: 142.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 66.0ms, 0.0% of total-time
Operation ival-pi, time spent: 46.0ms, 0.0% of total-time
Operation ival-if, time spent: 16.0ms, 0.0% of total-time
Bogosity

localize1.4min (17.8%)

Results
22.3s25606×256valid
3.5s2623×256infinite
10.6s1821×1024valid
1.5s1169×256invalid
7.4s1160×2048valid
3.4s891×512valid
1.7s351×8192exit
7.1s242×1024infinite
1.9s125×512infinite
114.0ms116×256unsamplable
674.0ms90×4096valid
1.6s79×2048infinite
315.0ms31×4096infinite
Compiler

Compiled 27540 to 16649 computations (39.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 51.5s
Operation ival-mult, time spent: 15.7s, 30.0% of total-time
Operation ival-div, time spent: 8.5s, 16.0% of total-time
Operation ival-pow, time spent: 7.1s, 14.0% of total-time
Operation ival-add, time spent: 7.0s, 14.0% of total-time
Operation composed, time spent: 4.2s, 8.0% of total-time
Operation ival-sub, time spent: 3.7s, 7.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-exp, time spent: 1.1s, 2.0% of total-time
Operation ival-tan, time spent: 696.0ms, 1.0% of total-time
Operation ival-log, time spent: 538.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 428.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 347.0ms, 1.0% of total-time
Operation ival-sin, time spent: 292.0ms, 1.0% of total-time
Operation ival-cos, time spent: 190.0ms, 0.0% of total-time
Operation ival-neg, time spent: 152.0ms, 0.0% of total-time
Operation ival-atan, time spent: 58.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval1.3min (16.4%)

Compiler

Compiled 2744794 to 1895262 computations (31% saved)

simplify39.5s (8.6%)

Algorithm
165×egg-herbie
Rules
48890×fma-define
37427×distribute-lft-in
36403×fma-neg
35390×distribute-rgt-in
32865×*-commutative
Stop Event
42×saturated
123×node limit
Counts
56631 → 53624

preprocess32.9s (7.2%)

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
Results
7.1s16186×256valid
728.0ms1766×256infinite
2.3s1610×1024valid
1.9s884×2048valid
717.0ms798×512valid
1.7s122×1024infinite
518.0ms70×512infinite
69.0ms54×4096valid
244.0ms14×2048infinite
Compiler

Compiled 31479 to 20045 computations (36.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.7s
Operation ival-mult, time spent: 3.5s, 30.0% of total-time
Operation ival-pow, time spent: 2.1s, 18.0% of total-time
Operation ival-add, time spent: 2.0s, 17.0% of total-time
Operation ival-div, time spent: 1.6s, 13.0% of total-time
Operation ival-sub, time spent: 1.1s, 10.0% of total-time
Operation ival-tan, time spent: 384.0ms, 3.0% of total-time
Operation const, time spent: 324.0ms, 3.0% of total-time
Operation ival-sin, time spent: 151.0ms, 1.0% of total-time
Operation ival-cos, time spent: 140.0ms, 1.0% of total-time
Operation ival-exp, time spent: 121.0ms, 1.0% of total-time
Operation ival-neg, time spent: 102.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 69.0ms, 1.0% of total-time
Operation ival-log, time spent: 61.0ms, 1.0% of total-time
Operation ival-atan, time spent: 26.0ms, 0.0% of total-time
Operation composed, time spent: 23.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time

soundness31.0s (6.7%)

Rules
44661×fma-define
29491×log1p-expm1-u
28434×fma-neg
26699×distribute-lft-in
26147×distribute-rgt-in
Stop Event
8×saturated
139×node limit
21×fuel
21×done
Compiler

Compiled 31781 to 21121 computations (33.5% saved)

rewrite24.8s (5.4%)

Algorithm
123×batch-egg-rewrite
Rules
67464×log1p-expm1-u
55795×expm1-log1p-u
27742×pow1
24146×add-exp-log
22887×add-log-exp
Stop Event
123×node limit
Counts
985 → 35636

prune23.3s (5.1%)

Counts
82591 → 1882
Compiler

Compiled 65730 to 46628 computations (29.1% saved)

bsearch17.7s (3.8%)

Algorithm
331×binary-search
14×left-value
Stop Event
26×predicate-same
305×narrow-enough
Results
6.1s25071×256valid
3.8s8878×256infinite
2.2s3271×1024valid
234.0ms3200×256invalid
579.0ms1765×512valid
523.0ms295×2048valid
27.0ms119×256unsamplable
31.0ms83×512infinite
23.0ms41×1024infinite
3.0ms3×2048infinite
1.0ms1×4096valid
Compiler

Compiled 82695 to 60783 computations (26.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.3s
Operation ival-mult, time spent: 3.2s, 35.0% of total-time
Operation ival-add, time spent: 1.8s, 19.0% of total-time
Operation ival-div, time spent: 1.4s, 15.0% of total-time
Operation ival-sub, time spent: 1.2s, 13.0% of total-time
Operation ival-pow, time spent: 1.0s, 11.0% of total-time
Operation ival-exp, time spent: 265.0ms, 3.0% of total-time
Operation const, time spent: 259.0ms, 3.0% of total-time
Operation ival-neg, time spent: 151.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 25.0ms, 0.0% of total-time
Operation ival-pi, time spent: 0.0ms, 0.0% of total-time

analyze12.0s (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.5s
Operation ival-add, time spent: 1.9s, 23.0% of total-time
Operation ival-pow, time spent: 1.3s, 15.0% of total-time
Operation ival-mult, time spent: 1.2s, 14.0% of total-time
Operation ival-div, time spent: 1.2s, 14.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 13.0% of total-time
Operation ival-sub, time spent: 816.0ms, 10.0% of total-time
Operation ival-fabs, time spent: 382.0ms, 4.0% of total-time
Operation const, time spent: 206.0ms, 2.0% of total-time
Operation ival-<=, time spent: 157.0ms, 2.0% of total-time
Operation ival-exp, time spent: 110.0ms, 1.0% of total-time
Operation ival-if, time spent: 74.0ms, 1.0% of total-time
Operation ival-==, time spent: 58.0ms, 1.0% of total-time
Operation ival-<, time spent: 31.0ms, 0.0% of total-time
Operation ival-neg, time spent: 29.0ms, 0.0% of total-time
Operation ival-and, time spent: 20.0ms, 0.0% of total-time
Operation ival-pi, time spent: 7.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

regimes7.7s (1.7%)

Counts
4230 → 611
Calls

94 calls:

1.1s
x
878.0ms
x1
698.0ms
b
522.0ms
c
366.0ms
n
Compiler

Compiled 3795 to 2739 computations (27.8% saved)

series5.6s (1.2%)

Counts
985 → 20995
Calls

5328 calls:

TimeVariablePointExpression
162.0ms
c
@0
(* a (+ (+ b c) d))
109.0ms
c
@0
(+ (neg b) (pow (exp (pow (cbrt (log (sqrt (+ (* b b) (* (sqrt (* (* -4 a) c)) (sqrt (* (* -4 a) c))))))) 2)) (cbrt (log (sqrt (+ (* b b) (* (sqrt (* (* -4 a) c)) (sqrt (* (* -4 a) c)))))))))
104.0ms
c
@0
(exp (* (+ (log (* -4 c)) (log a)) 1/2))
95.0ms
b
@0
(/ (* -2 (/ (* a c) b)) (* a 2))
77.0ms
c
@0
(log (* -1 (/ (* a (/ c b)) a)))

end0.0ms (0%)

Profiling

Loading profile data...