Herbie run

Date:Sunday, March 24th, 2024
Commit:faf2684d on zane-regimes-inverted
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: 5.1min)

sample1.3min (24.6%)

Results
15.5s116218×256valid
8.1s23245×512valid
30.7s16238×8192exit
6.1s15951×1024valid
675.0ms4980×256infinite
3.9s4724×2048valid
423.0ms3838×256invalid
161.0ms1329×256unsamplable
1.0ms2×512infinite
Precisions
Click to see histograms. Total time spent on operations: 49.0s
Operation ival-pow, time spent: 14.2s, 29.0% of total-time
Operation ival-exp, time spent: 8.2s, 17.0% of total-time
Operation ival-log, time spent: 5.7s, 12.0% of total-time
Operation ival-mult, time spent: 3.6s, 7.0% of total-time
Operation ival-cos, time spent: 3.6s, 7.0% of total-time
Operation ival-sinh, time spent: 1.5s, 3.0% of total-time
Operation ival-<=, time spent: 1.5s, 3.0% of total-time
Operation ival-sin, time spent: 1.5s, 3.0% of total-time
Operation ival-sub, time spent: 1.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 3.0% of total-time
Operation ival-div, time spent: 1.2s, 3.0% of total-time
Operation ival-add, time spent: 927.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 848.0ms, 2.0% of total-time
Operation ival-tan, time spent: 769.0ms, 2.0% of total-time
Operation ival-acos, time spent: 647.0ms, 1.0% of total-time
Operation ival-neg, time spent: 640.0ms, 1.0% of total-time
Operation const, time spent: 556.0ms, 1.0% of total-time
Operation ival-and, time spent: 249.0ms, 1.0% of total-time
Operation ival-==, time spent: 199.0ms, 0.0% of total-time
Operation ival-<, time spent: 195.0ms, 0.0% of total-time
Operation ival-or, time spent: 90.0ms, 0.0% of total-time
Operation ival-atan, time spent: 73.0ms, 0.0% of total-time
Operation ival->=, time spent: 58.0ms, 0.0% of total-time
Operation ival->, time spent: 47.0ms, 0.0% of total-time
Bogosity

localize50.1s (16.3%)

Results
10.0s11112×256valid
2.9s1957×512valid
15.7s1816×2048valid
1.9s912×1024valid
11.6s912×8192exit
350.0ms360×256infinite
162.0ms274×256unsamplable
50.0ms36×512invalid
12.0ms18×256invalid
91.0ms11×4096valid
Compiler

Compiled 9952 to 5122 computations (48.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 34.5s
Operation ival-pow, time spent: 6.2s, 18.0% of total-time
Operation ival-log, time spent: 4.4s, 13.0% of total-time
Operation ival-mult, time spent: 3.8s, 11.0% of total-time
Operation ival-exp, time spent: 2.7s, 8.0% of total-time
Operation composed, time spent: 2.5s, 7.0% of total-time
Operation ival-asin, time spent: 2.0s, 6.0% of total-time
Operation ival-cos, time spent: 1.9s, 5.0% of total-time
Operation ival-div, time spent: 1.8s, 5.0% of total-time
Operation ival-add, time spent: 1.5s, 4.0% of total-time
Operation ival-fmod, time spent: 1.4s, 4.0% of total-time
Operation ival-sub, time spent: 1.3s, 4.0% of total-time
Operation ival-acos, time spent: 1.2s, 4.0% of total-time
Operation ival-sin, time spent: 1.1s, 3.0% of total-time
Operation ival-sqrt, time spent: 741.0ms, 2.0% of total-time
Operation const, time spent: 637.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 479.0ms, 1.0% of total-time
Operation ival-tan, time spent: 432.0ms, 1.0% of total-time
Operation ival-neg, time spent: 151.0ms, 0.0% of total-time
Operation ival-e, time spent: 130.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 52.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 17.0ms, 0.0% of total-time
Operation ival-pi, time spent: 14.0ms, 0.0% of total-time
Operation ival-atan, time spent: 2.0ms, 0.0% of total-time

eval35.5s (11.6%)

Compiler

Compiled 1150783 to 628076 computations (45.4% saved)

analyze32.9s (10.7%)

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: 14.5s
Operation ival-<=, time spent: 8.3s, 57.0% of total-time
Operation ival-tan, time spent: 1.9s, 13.0% of total-time
Operation ival-sub, time spent: 1.4s, 9.0% of total-time
Operation ival-add, time spent: 772.0ms, 5.0% of total-time
Operation ival-and, time spent: 432.0ms, 3.0% of total-time
Operation ival-==, time spent: 345.0ms, 2.0% of total-time
Operation const, time spent: 329.0ms, 2.0% of total-time
Operation ival-or, time spent: 217.0ms, 1.0% of total-time
Operation ival-cos, time spent: 190.0ms, 1.0% of total-time
Operation ival-mult, time spent: 137.0ms, 1.0% of total-time
Operation ival-sin, time spent: 131.0ms, 1.0% of total-time
Operation ival-pow, time spent: 122.0ms, 1.0% of total-time
Operation ival-exp, time spent: 54.0ms, 0.0% of total-time
Operation ival-div, time spent: 52.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 46.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 26.0ms, 0.0% of total-time
Operation ival->, time spent: 26.0ms, 0.0% of total-time
Operation ival-log, time spent: 23.0ms, 0.0% of total-time
Operation ival-neg, time spent: 21.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 13.0ms, 0.0% of total-time
Operation ival-<, time spent: 4.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

soundness30.4s (9.9%)

Rules
16354×fma-define
16018×log1p-expm1-u
13803×expm1-log1p-u
12627×times-frac
12252×associate-*r*
Stop Event
6×saturated
57×node limit
2×unsound
Compiler

Compiled 9159 to 5311 computations (42% saved)

simplify29.9s (9.8%)

Algorithm
85×egg-herbie
Rules
21358×fma-define
17867×associate-*r*
17576×distribute-lft-in
16392×times-frac
16371×fma-neg
Stop Event
20×saturated
59×node limit
13×fuel
6×unsound
7×done
Counts
28065 → 24100
Compiler

Compiled 2223 to 1527 computations (31.3% saved)

prune15.5s (5%)

Counts
45335 → 1802
Compiler

Compiled 65455 to 43236 computations (33.9% saved)

rewrite14.5s (4.7%)

Algorithm
65×batch-egg-rewrite
Rules
33609×log1p-expm1-u
29224×expm1-log1p-u
15381×pow1
14307×add-exp-log
14046×add-log-exp
Stop Event
65×node limit
Counts
488 → 18489

regimes8.2s (2.7%)

Counts
4156 → 171
Calls

53 calls:

2.2s
x
1.1s
a
661.0ms
r
631.0ms
b
398.0ms
hi
Compiler

Compiled 1973 to 1381 computations (30% saved)

preprocess8.2s (2.7%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Results
1.4s7104×256valid
394.0ms1402×512valid
369.0ms1004×1024valid
82.0ms338×256infinite
243.0ms284×2048valid
191.0ms108×8192exit
Compiler

Compiled 10509 to 6294 computations (40.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
Operation ival-cos, time spent: 214.0ms, 15.0% of total-time
Operation ival-mult, time spent: 201.0ms, 14.0% of total-time
Operation ival-log, time spent: 161.0ms, 11.0% of total-time
Operation ival-add, time spent: 118.0ms, 8.0% of total-time
Operation ival-pow, time spent: 111.0ms, 8.0% of total-time
Operation ival-tan, time spent: 104.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 94.0ms, 6.0% of total-time
Operation ival-sin, time spent: 82.0ms, 6.0% of total-time
Operation ival-exp, time spent: 71.0ms, 5.0% of total-time
Operation ival-sub, time spent: 65.0ms, 4.0% of total-time
Operation ival-div, time spent: 56.0ms, 4.0% of total-time
Operation ival-sinh, time spent: 53.0ms, 4.0% of total-time
Operation ival-fmod, time spent: 37.0ms, 3.0% of total-time
Operation ival-acos, time spent: 35.0ms, 2.0% of total-time
Operation const, time spent: 32.0ms, 2.0% of total-time
Operation ival-neg, time spent: 12.0ms, 1.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

series4.5s (1.5%)

Counts
488 → 9576
Calls

2265 calls:

TimeVariablePointExpression
217.0ms
a
@0
(/ 1 (/ (cos (+ b a)) (pow (pow (* r (sin b)) 6) 1/6)))
150.0ms
x
@0
(* (pow 2 1/8) (* (pow 2 1/8) (* (pow 2 1/4) x)))
136.0ms
x
@0
(* (pow 2 1/4) x)
89.0ms
b
@inf
(log (+ 1 (cos (+ b a))))
78.0ms
a
@-inf
(log (+ 1 (cos (+ b a))))

bsearch1.6s (0.5%)

Algorithm
36×binary-search
7×left-value
Stop Event
2×predicate-same
34×narrow-enough
Results
471.0ms2847×256valid
652.0ms1583×512valid
13.0ms98×256infinite
Compiler

Compiled 7145 to 5133 computations (28.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 588.0ms
Operation ival-sin, time spent: 188.0ms, 32.0% of total-time
Operation ival-cos, time spent: 137.0ms, 23.0% of total-time
Operation ival-add, time spent: 67.0ms, 11.0% of total-time
Operation ival-mult, time spent: 54.0ms, 9.0% of total-time
Operation ival-tan, time spent: 38.0ms, 6.0% of total-time
Operation ival-div, time spent: 35.0ms, 6.0% of total-time
Operation ival-exp, time spent: 26.0ms, 4.0% of total-time
Operation ival-pow, time spent: 26.0ms, 4.0% of total-time
Operation const, time spent: 7.0ms, 1.0% of total-time
Operation ival-sub, time spent: 4.0ms, 1.0% of total-time
Operation ival-neg, time spent: 4.0ms, 1.0% of total-time

end3.0ms (0%)

Profiling

Loading profile data...