Herbie run

Date:Friday, April 19th, 2024
Commit:633bebd4 on jackson-platforms-report
Hostname:nightly with Racket 8.11.1
Seed:2024110
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: 4.5min)

sample1.3min (28.2%)

Results
16.9s115746×256valid
9.5s23538×512valid
33.5s16217×8192exit
6.3s16120×1024valid
854.0ms4960×256infinite
4.3s4754×2048valid
569.0ms3939×256invalid
187.0ms1353×256unsamplable
1.0ms2×512infinite
Precisions
Click to see histograms. Total time spent on operations: 50.1s
Operation ival-pow, time spent: 13.4s, 27.0% of total-time
Operation ival-exp, time spent: 8.2s, 16.0% of total-time
Operation ival-log, time spent: 6.5s, 13.0% of total-time
Operation ival-cos, time spent: 3.6s, 7.0% of total-time
Operation ival-mult, time spent: 2.9s, 6.0% of total-time
Operation ival-sin, time spent: 2.0s, 4.0% of total-time
Operation ival-sinh, time spent: 2.0s, 4.0% of total-time
Operation ival-<=, time spent: 1.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 3.0% of total-time
Operation ival-div, time spent: 1.3s, 3.0% of total-time
Operation ival-fmod, time spent: 1.3s, 3.0% of total-time
Operation ival-tan, time spent: 904.0ms, 2.0% of total-time
Operation ival-sub, time spent: 890.0ms, 2.0% of total-time
Operation ival-add, time spent: 884.0ms, 2.0% of total-time
Operation ival-neg, time spent: 824.0ms, 2.0% of total-time
Operation ival-acos, time spent: 781.0ms, 2.0% of total-time
Operation const, time spent: 568.0ms, 1.0% of total-time
Operation ival-<, time spent: 453.0ms, 1.0% of total-time
Operation ival-==, time spent: 229.0ms, 0.0% of total-time
Operation ival-and, time spent: 229.0ms, 0.0% of total-time
Operation ival-atan, time spent: 89.0ms, 0.0% of total-time
Operation ival-or, time spent: 88.0ms, 0.0% of total-time
Operation ival->=, time spent: 50.0ms, 0.0% of total-time
Operation ival->, time spent: 29.0ms, 0.0% of total-time
Bogosity

localize40.6s (15%)

Compiler

Compiled 9203 to 4561 computations (50.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 26.5s
Operation ival-mult, time spent: 7.9s, 30.0% of total-time
Operation ival-pow, time spent: 3.6s, 14.0% of total-time
Operation composed, time spent: 2.4s, 9.0% of total-time
Operation ival-log, time spent: 2.2s, 8.0% of total-time
Operation ival-sub, time spent: 1.6s, 6.0% of total-time
Operation ival-asin, time spent: 1.5s, 6.0% of total-time
Operation ival-add, time spent: 1.4s, 5.0% of total-time
Operation ival-exp, time spent: 971.0ms, 4.0% of total-time
Operation ival-cos, time spent: 932.0ms, 4.0% of total-time
Operation ival-div, time spent: 898.0ms, 3.0% of total-time
Operation ival-acos, time spent: 704.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 611.0ms, 2.0% of total-time
Operation const, time spent: 463.0ms, 2.0% of total-time
Operation ival-sin, time spent: 324.0ms, 1.0% of total-time
Operation ival-tan, time spent: 284.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 250.0ms, 1.0% of total-time
Operation ival-neg, time spent: 122.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 86.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 82.0ms, 0.0% of total-time
Operation ival-pi, time spent: 18.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 16.0ms, 0.0% of total-time
Operation ival-atan, time spent: 2.0ms, 0.0% of total-time

analyze29.7s (11%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.6s
Operation ival-<=, time spent: 7.1s, 40.0% of total-time
Operation ival-add, time spent: 5.7s, 32.0% of total-time
Operation ival-tan, time spent: 2.3s, 13.0% of total-time
Operation ival-==, time spent: 452.0ms, 3.0% of total-time
Operation ival-and, time spent: 397.0ms, 2.0% of total-time
Operation const, time spent: 309.0ms, 2.0% of total-time
Operation ival-sub, time spent: 255.0ms, 1.0% of total-time
Operation ival-or, time spent: 201.0ms, 1.0% of total-time
Operation ival-cos, time spent: 191.0ms, 1.0% of total-time
Operation ival-mult, time spent: 142.0ms, 1.0% of total-time
Operation ival-pow, time spent: 131.0ms, 1.0% of total-time
Operation ival-div, time spent: 106.0ms, 1.0% of total-time
Operation ival-sin, time spent: 98.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 60.0ms, 0.0% of total-time
Operation ival-exp, time spent: 49.0ms, 0.0% of total-time
Operation ival-log, time spent: 24.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 23.0ms, 0.0% of total-time
Operation ival-neg, time spent: 23.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 22.0ms, 0.0% of total-time
Operation ival-<, time spent: 4.0ms, 0.0% of total-time
Operation ival->, time spent: 3.0ms, 0.0% of total-time
Operation ival-atan, time spent: 1.0ms, 0.0% of total-time
Operation ival->=, time spent: 1.0ms, 0.0% of total-time
Operation ival-acos, time spent: 0.0ms, 0.0% of total-time

soundness29.5s (10.9%)

Rules
19677×log1p-expm1-u
16219×fma-define
15906×expm1-log1p-u
13036×fmm-def
11965×associate-*r*
Stop Event
6×saturated
64×node limit
5×unsound
Compiler

Compiled 13200 to 7012 computations (46.9% saved)

eval23.9s (8.8%)

Compiler

Compiled 981863 to 537932 computations (45.2% saved)

simplify16.9s (6.3%)

Algorithm
82×egg-herbie
Rules
20106×fma-define
17335×fmm-def
14785×distribute-lft-in
14681×associate-*r*
14616×times-frac
Stop Event
20×saturated
55×node limit
13×fuel
7×unsound
7×done
Counts
26105 → 22076
Compiler

Compiled 2307 to 1511 computations (34.5% saved)

preprocess12.7s (4.7%)

Algorithm
20×egg-herbie
Rules
5179×fmm-def
5054×fma-define
1627×distribute-rgt-in
1585×distribute-lft-in
1517×unsub-neg
Stop Event
18×saturated
2×node limit
Compiler

Compiled 11699 to 6882 computations (41.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
Operation ival-pow, time spent: 1.2s, 48.0% of total-time
Operation ival-mult, time spent: 214.0ms, 9.0% of total-time
Operation ival-cos, time spent: 204.0ms, 8.0% of total-time
Operation ival-log, time spent: 156.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 92.0ms, 4.0% of total-time
Operation ival-sin, time spent: 79.0ms, 3.0% of total-time
Operation ival-div, time spent: 77.0ms, 3.0% of total-time
Operation ival-add, time spent: 76.0ms, 3.0% of total-time
Operation ival-sub, time spent: 70.0ms, 3.0% of total-time
Operation ival-exp, time spent: 62.0ms, 3.0% of total-time
Operation ival-sinh, time spent: 56.0ms, 2.0% of total-time
Operation ival-tan, time spent: 49.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 39.0ms, 2.0% of total-time
Operation ival-acos, time spent: 34.0ms, 1.0% of total-time
Operation const, time spent: 33.0ms, 1.0% of total-time
Operation ival-neg, time spent: 14.0ms, 1.0% of total-time
Operation ival-atan, time spent: 6.0ms, 0.0% of total-time

rewrite12.2s (4.5%)

Algorithm
62×batch-egg-rewrite
Rules
35533×log1p-expm1-u
28924×expm1-log1p-u
13438×pow1
13025×add-exp-log
12817×add-log-exp
Stop Event
62×node limit
Counts
460 → 17166

series11.2s (4.1%)

Counts
460 → 8939
Calls

2094 calls:

TimeVariablePointExpression
3.9s
x
@-inf
(/ (- x lo) hi)
3.3s
hi
@-inf
(/ (+ x (- (* hi (/ (- x hi) lo)) hi)) lo)
310.0ms
r
@0
(* r (/ (sin b) (log (+ 1 (fabs (- (exp (cos b)) 1))))))
156.0ms
b
@inf
(* r (/ (sin b) (log (+ 1 (fabs (- (exp (cos b)) 1))))))
131.0ms
y
@inf
(log (+ 1 (+ (- (tan (+ z y)) (tan a)) x)))

prune9.3s (3.4%)

Counts
39189 → 1701
Compiler

Compiled 62369 to 39128 computations (37.3% saved)

regimes7.6s (2.8%)

Counts
3882 → 166
Calls

53 calls:

944.0ms
b
928.0ms
a
742.0ms
hi
700.0ms
r
677.0ms
x
Compiler

Compiled 1884 to 1348 computations (28.5% saved)

bsearch885.0ms (0.3%)

Algorithm
31×binary-search
12×left-value
Stop Event
1×predicate-same
30×narrow-enough
Results
398.0ms1691×256valid
384.0ms1234×512valid
17.0ms99×256infinite
Compiler

Compiled 4495 to 3259 computations (27.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 485.0ms
Operation ival-tan, time spent: 153.0ms, 32.0% of total-time
Operation ival-sin, time spent: 99.0ms, 20.0% of total-time
Operation ival-mult, time spent: 81.0ms, 17.0% of total-time
Operation ival-cos, time spent: 64.0ms, 13.0% of total-time
Operation ival-add, time spent: 36.0ms, 7.0% of total-time
Operation ival-div, time spent: 19.0ms, 4.0% of total-time
Operation ival-pow, time spent: 10.0ms, 2.0% of total-time
Operation ival-exp, time spent: 8.0ms, 2.0% of total-time
Operation ival-sub, time spent: 7.0ms, 1.0% of total-time
Operation const, time spent: 5.0ms, 1.0% of total-time
Operation ival-neg, time spent: 2.0ms, 0.0% of total-time

end3.0ms (0%)

Profiling

Loading profile data...