Herbie run

Date:Monday, March 25th, 2024
Commit:f03d6b38 on main
Hostname:nightly with Racket 8.11.1
Seed:2024085
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.2min)

sample1.2min (29.4%)

Results
15.2s116423×256valid
8.2s23120×512valid
28.8s16258×8192exit
5.6s15830×1024valid
1.2s4884×256infinite
4.3s4861×2048valid
438.0ms3892×256invalid
196.0ms1398×256unsamplable
1.0ms2×512infinite
Precisions
Click to see histograms. Total time spent on operations: 47.1s
Operation ival-pow, time spent: 13.6s, 29.0% of total-time
Operation ival-exp, time spent: 7.6s, 16.0% of total-time
Operation ival-log, time spent: 5.9s, 12.0% of total-time
Operation ival-cos, time spent: 3.5s, 7.0% of total-time
Operation ival-mult, time spent: 2.5s, 5.0% of total-time
Operation ival-sin, time spent: 2.1s, 4.0% of total-time
Operation ival-sinh, time spent: 1.6s, 3.0% of total-time
Operation ival-div, time spent: 1.5s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 3.0% of total-time
Operation ival-<=, time spent: 1.2s, 3.0% of total-time
Operation ival-tan, time spent: 1.1s, 2.0% of total-time
Operation ival-fmod, time spent: 915.0ms, 2.0% of total-time
Operation ival-add, time spent: 891.0ms, 2.0% of total-time
Operation ival-sub, time spent: 863.0ms, 2.0% of total-time
Operation ival-acos, time spent: 632.0ms, 1.0% of total-time
Operation const, time spent: 549.0ms, 1.0% of total-time
Operation ival-neg, time spent: 484.0ms, 1.0% of total-time
Operation ival-and, time spent: 226.0ms, 0.0% of total-time
Operation ival-==, time spent: 210.0ms, 0.0% of total-time
Operation ival-<, time spent: 192.0ms, 0.0% of total-time
Operation ival-or, time spent: 84.0ms, 0.0% of total-time
Operation ival-atan, time spent: 70.0ms, 0.0% of total-time
Operation ival->=, time spent: 52.0ms, 0.0% of total-time
Operation ival->, time spent: 32.0ms, 0.0% of total-time
Bogosity

localize45.3s (18%)

Results
7.4s10057×256valid
2.9s2074×512valid
15.7s1716×2048valid
3.1s1239×1024valid
9.3s733×8192exit
401.0ms358×256infinite
162.0ms205×256unsamplable
10.0ms2×2048infinite
Compiler

Compiled 8901 to 4259 computations (52.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 34.8s
Operation ival-pow, time spent: 9.4s, 27.0% of total-time
Operation ival-mult, time spent: 3.4s, 10.0% of total-time
Operation ival-log, time spent: 2.8s, 8.0% of total-time
Operation ival-asin, time spent: 2.4s, 7.0% of total-time
Operation composed, time spent: 2.3s, 7.0% of total-time
Operation ival-cos, time spent: 1.9s, 5.0% of total-time
Operation ival-acos, time spent: 1.8s, 5.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 5.0% of total-time
Operation ival-sub, time spent: 1.6s, 5.0% of total-time
Operation ival-exp, time spent: 1.6s, 4.0% of total-time
Operation ival-add, time spent: 1.3s, 4.0% of total-time
Operation ival-sin, time spent: 1.3s, 4.0% of total-time
Operation ival-div, time spent: 1.3s, 4.0% of total-time
Operation const, time spent: 523.0ms, 2.0% of total-time
Operation ival-tan, time spent: 486.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 457.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 351.0ms, 1.0% of total-time
Operation ival-neg, time spent: 175.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 67.0ms, 0.0% of total-time
Operation ival-e, time spent: 23.0ms, 0.0% of total-time
Operation ival-pi, time spent: 14.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time
Operation ival-atan, time spent: 2.0ms, 0.0% of total-time

eval28.8s (11.4%)

Compiler

Compiled 1073789 to 603786 computations (43.8% saved)

analyze25.2s (10%)

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.0s
Operation ival-tan, time spent: 9.9s, 58.0% of total-time
Operation ival-<=, time spent: 3.3s, 20.0% of total-time
Operation ival-add, time spent: 1.2s, 7.0% of total-time
Operation ival-==, time spent: 482.0ms, 3.0% of total-time
Operation ival-and, time spent: 399.0ms, 2.0% of total-time
Operation ival-sub, time spent: 362.0ms, 2.0% of total-time
Operation const, time spent: 321.0ms, 2.0% of total-time
Operation ival-or, time spent: 209.0ms, 1.0% of total-time
Operation ival-cos, time spent: 186.0ms, 1.0% of total-time
Operation ival-mult, time spent: 180.0ms, 1.0% of total-time
Operation ival-pow, time spent: 127.0ms, 1.0% of total-time
Operation ival-sin, time spent: 122.0ms, 1.0% of total-time
Operation ival-div, time spent: 61.0ms, 0.0% of total-time
Operation ival-exp, time spent: 51.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 49.0ms, 0.0% of total-time
Operation ival-log, time spent: 33.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 26.0ms, 0.0% of total-time
Operation ival-neg, time spent: 23.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 15.0ms, 0.0% of total-time
Operation ival-<, time spent: 6.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

soundness19.1s (7.6%)

Rules
15673×log1p-expm1-u
13327×fma-define
11257×expm1-log1p-u
9342×fma-neg
7782×associate-*r*
Stop Event
6×saturated
44×node limit
12×fuel
2×unsound
8×done
Compiler

Compiled 7326 to 4060 computations (44.6% saved)

prune16.1s (6.4%)

Counts
41195 → 1571
Compiler

Compiled 55180 to 36255 computations (34.3% saved)

simplify15.9s (6.3%)

Algorithm
81×egg-herbie
Rules
23212×fma-define
16184×fma-neg
15811×distribute-lft-in
15010×*-commutative
14795×associate-*r*
Stop Event
20×saturated
54×node limit
7×unsound
Counts
24566 → 22069

rewrite12.4s (4.9%)

Algorithm
61×batch-egg-rewrite
Rules
36264×log1p-expm1-u
27726×expm1-log1p-u
14616×pow1
12680×add-exp-log
12436×add-log-exp
Stop Event
61×node limit
Counts
478 → 15732

preprocess7.0s (2.8%)

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.0s7068×256valid
546.0ms1500×512valid
369.0ms934×1024valid
113.0ms332×256infinite
266.0ms310×2048valid
169.0ms96×8192exit
Compiler

Compiled 5317 to 3234 computations (39.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
Operation ival-cos, time spent: 220.0ms, 15.0% of total-time
Operation ival-add, time spent: 186.0ms, 12.0% of total-time
Operation ival-mult, time spent: 161.0ms, 11.0% of total-time
Operation ival-log, time spent: 159.0ms, 11.0% of total-time
Operation ival-pow, time spent: 138.0ms, 9.0% of total-time
Operation ival-sub, time spent: 105.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 96.0ms, 6.0% of total-time
Operation ival-sin, time spent: 78.0ms, 5.0% of total-time
Operation ival-exp, time spent: 67.0ms, 4.0% of total-time
Operation ival-sinh, time spent: 65.0ms, 4.0% of total-time
Operation ival-tan, time spent: 50.0ms, 3.0% of total-time
Operation ival-div, time spent: 43.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 39.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: 11.0ms, 1.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

series4.1s (1.6%)

Counts
478 → 8834
Calls

2100 calls:

TimeVariablePointExpression
112.0ms
w
@-inf
(cbrt (cbrt (pow l (exp w))))
105.0ms
l
@0
(pow (E) (+ (* (exp w) (log l)) (neg w)))
102.0ms
b
@inf
(log (+ 1 (sin b)))
89.0ms
x
@-inf
(+ (sqrt (+ 1 x)) (sqrt (- 1 x)))
73.0ms
x
@inf
(log (pow (exp (acos (- 1 x))) 1/6))

regimes3.5s (1.4%)

Counts
2358 → 93
Calls

53 calls:

464.0ms
x
431.0ms
b
378.0ms
a
360.0ms
r
203.0ms
c
Compiler

Compiled 1243 to 881 computations (29.1% saved)

bsearch413.0ms (0.2%)

Algorithm
2×left-value
15×binary-search
Stop Event
1×predicate-same
14×narrow-enough
Results
128.0ms1008×256valid
183.0ms468×512valid
23.0ms108×256infinite
Compiler

Compiled 1830 to 1354 computations (26% saved)

Precisions
Click to see histograms. Total time spent on operations: 174.0ms
Operation ival-sin, time spent: 57.0ms, 33.0% of total-time
Operation ival-cos, time spent: 35.0ms, 20.0% of total-time
Operation ival-mult, time spent: 16.0ms, 9.0% of total-time
Operation ival-pow, time spent: 15.0ms, 9.0% of total-time
Operation ival-add, time spent: 12.0ms, 7.0% of total-time
Operation ival-exp, time spent: 11.0ms, 6.0% of total-time
Operation ival-tan, time spent: 11.0ms, 6.0% of total-time
Operation ival-div, time spent: 10.0ms, 6.0% of total-time
Operation ival-neg, time spent: 3.0ms, 2.0% of total-time
Operation const, time spent: 2.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 2.0ms, 1.0% of total-time
Operation ival-sub, time spent: 1.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 1.0ms, 1.0% of total-time

end0.0ms (0%)

Profiling

Loading profile data...