Herbie run

Date:Tuesday, March 19th, 2024
Commit:0f421560 on main
Hostname:nightly with Racket 8.11.1
Seed:2024079
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.4min)

sample1.5min (27.8%)

Results
30.1s116119×256valid
8.4s23287×512valid
30.4s16390×8192exit
6.1s15844×1024valid
915.0ms5083×256infinite
3.8s4785×2048valid
497.0ms3911×256invalid
295.0ms1377×256unsamplable
2.0ms2×512infinite
Precisions
Click to see histograms. Total time spent on operations: 58.7s
Operation ival-pow, time spent: 17.0s, 29.0% of total-time
Operation ival-exp, time spent: 8.3s, 14.0% of total-time
Operation ival-log, time spent: 5.7s, 10.0% of total-time
Operation ival-mult, time spent: 5.5s, 9.0% of total-time
Operation ival-sqrt, time spent: 5.4s, 9.0% of total-time
Operation ival-cos, time spent: 3.8s, 7.0% of total-time
Operation ival-sinh, time spent: 1.7s, 3.0% of total-time
Operation ival-sin, time spent: 1.6s, 3.0% of total-time
Operation ival-<=, time spent: 1.6s, 3.0% of total-time
Operation ival-div, time spent: 1.3s, 2.0% of total-time
Operation ival-fmod, time spent: 1.1s, 2.0% of total-time
Operation ival-sub, time spent: 1.0s, 2.0% of total-time
Operation ival-tan, time spent: 1.0s, 2.0% of total-time
Operation ival-add, time spent: 941.0ms, 2.0% of total-time
Operation ival-neg, time spent: 651.0ms, 1.0% of total-time
Operation ival-acos, time spent: 630.0ms, 1.0% of total-time
Operation const, time spent: 569.0ms, 1.0% of total-time
Operation ival-and, time spent: 227.0ms, 0.0% of total-time
Operation ival-<, time spent: 186.0ms, 0.0% of total-time
Operation ival-==, time spent: 178.0ms, 0.0% of total-time
Operation ival-atan, time spent: 93.0ms, 0.0% of total-time
Operation ival-or, time spent: 89.0ms, 0.0% of total-time
Operation ival->=, time spent: 47.0ms, 0.0% of total-time
Operation ival->, time spent: 34.0ms, 0.0% of total-time
Bogosity

localize58.6s (18%)

Results
14.3s10320×256valid
3.6s2085×512valid
15.9s1917×2048valid
6.2s1484×1024valid
567.0ms606×256infinite
2.1s244×8192exit
109.0ms161×256unsamplable
519.0ms160×512invalid
244.0ms142×256invalid
749.0ms29×4096valid
47.0ms4×8192valid
Compiler

Compiled 9900 to 5132 computations (48.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 38.0s
Operation ival-pow, time spent: 10.4s, 27.0% of total-time
Operation ival-mult, time spent: 5.0s, 13.0% of total-time
Operation ival-fabs, time spent: 4.1s, 11.0% of total-time
Operation ival-asin, time spent: 2.2s, 6.0% of total-time
Operation ival-div, time spent: 2.0s, 5.0% of total-time
Operation ival-log, time spent: 2.0s, 5.0% of total-time
Operation ival-sub, time spent: 1.8s, 5.0% of total-time
Operation composed, time spent: 1.7s, 4.0% of total-time
Operation ival-add, time spent: 1.5s, 4.0% of total-time
Operation ival-exp, time spent: 1.5s, 4.0% of total-time
Operation ival-acos, time spent: 1.2s, 3.0% of total-time
Operation ival-cos, time spent: 1.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 918.0ms, 2.0% of total-time
Operation ival-sin, time spent: 687.0ms, 2.0% of total-time
Operation const, time spent: 656.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 549.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 289.0ms, 1.0% of total-time
Operation ival-tan, time spent: 180.0ms, 0.0% of total-time
Operation ival-neg, time spent: 170.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 27.0ms, 0.0% of total-time
Operation ival-pi, time spent: 16.0ms, 0.0% of total-time
Operation ival-atan, time spent: 2.0ms, 0.0% of total-time

soundness47.3s (14.6%)

Rules
19647×log1p-expm1-u
16041×expm1-log1p-u
15777×fma-define
13432×associate-*r*
11797×fma-neg
Stop Event
6×saturated
61×node limit
3×unsound
Compiler

Compiled 9167 to 4912 computations (46.4% saved)

analyze41.1s (12.6%)

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: 32.7s
Operation ival-<=, time spent: 17.0s, 52.0% of total-time
Operation ival-tan, time spent: 8.8s, 27.0% of total-time
Operation ival-add, time spent: 4.1s, 13.0% of total-time
Operation ival-==, time spent: 485.0ms, 1.0% of total-time
Operation ival-and, time spent: 406.0ms, 1.0% of total-time
Operation ival-sub, time spent: 355.0ms, 1.0% of total-time
Operation const, time spent: 312.0ms, 1.0% of total-time
Operation ival-cos, time spent: 212.0ms, 1.0% of total-time
Operation ival-or, time spent: 207.0ms, 1.0% of total-time
Operation ival-mult, time spent: 176.0ms, 1.0% of total-time
Operation ival-sin, time spent: 170.0ms, 1.0% of total-time
Operation ival-div, time spent: 141.0ms, 0.0% of total-time
Operation ival-pow, time spent: 123.0ms, 0.0% of total-time
Operation ival-exp, time spent: 55.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 45.0ms, 0.0% of total-time
Operation ival-log, time spent: 26.0ms, 0.0% of total-time
Operation ival-neg, time spent: 22.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 20.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->, 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

eval28.2s (8.7%)

Compiler

Compiled 952643 to 552766 computations (42% saved)

simplify16.5s (5.1%)

Algorithm
82×egg-herbie
Rules
21889×fma-define
18781×associate-*r*
16754×distribute-lft-in
16154×fma-neg
15747×associate-*l*
Stop Event
20×saturated
56×node limit
12×fuel
6×unsound
8×done
Counts
25930 → 22891
Compiler

Compiled 1686 to 1144 computations (32.1% saved)

rewrite11.9s (3.7%)

Algorithm
62×batch-egg-rewrite
Rules
34221×log1p-expm1-u
28468×expm1-log1p-u
14942×pow1
13814×add-exp-log
13604×add-log-exp
Stop Event
62×node limit
Counts
500 → 16758

prune11.3s (3.5%)

Counts
39962 → 1803
Compiler

Compiled 63555 to 40677 computations (36% saved)

preprocess8.3s (2.5%)

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.1s7162×256valid
543.0ms1412×512valid
380.0ms908×1024valid
426.0ms324×2048valid
167.0ms324×256infinite
199.0ms108×8192exit
7.0ms2×8192valid
Compiler

Compiled 14029 to 9016 computations (35.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
Operation ival-log, time spent: 290.0ms, 15.0% of total-time
Operation ival-mult, time spent: 224.0ms, 12.0% of total-time
Operation ival-cos, time spent: 223.0ms, 12.0% of total-time
Operation ival-tan, time spent: 189.0ms, 10.0% of total-time
Operation ival-sub, time spent: 174.0ms, 9.0% of total-time
Operation ival-acos, time spent: 119.0ms, 6.0% of total-time
Operation ival-pow, time spent: 112.0ms, 6.0% of total-time
Operation ival-add, time spent: 110.0ms, 6.0% of total-time
Operation ival-sin, time spent: 93.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 88.0ms, 5.0% of total-time
Operation ival-exp, time spent: 63.0ms, 3.0% of total-time
Operation ival-sinh, time spent: 56.0ms, 3.0% of total-time
Operation ival-div, time spent: 50.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 40.0ms, 2.0% of total-time
Operation const, time spent: 33.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

regimes6.3s (1.9%)

Counts
3104 → 134
Calls

53 calls:

1.4s
a
821.0ms
x
710.0ms
b
554.0ms
r
237.0ms
(pow.f64 s #s(literal 2 binary64))
Compiler

Compiled 1639 to 1152 computations (29.7% saved)

series4.2s (1.3%)

Counts
500 → 9172
Calls

2190 calls:

TimeVariablePointExpression
341.0ms
a
@inf
(log (/ (* (sin b) r) (cos (+ b a))))
133.0ms
b
@-inf
(/ (* r (+ b (* -1/6 (pow b 3)))) (cos (+ b a)))
97.0ms
x
@-inf
(* (log x) -6)
89.0ms
b
@-inf
(log (+ 1 (sin b)))
85.0ms
b
@inf
(log (+ 1 (sin b)))

bsearch890.0ms (0.3%)

Algorithm
15×left-value
15×binary-search
Stop Event
14×narrow-enough
1×predicate-failed
Results
255.0ms1244×256valid
419.0ms412×512valid
51.0ms280×256infinite
16.0ms101×256invalid
9.0ms84×256unsamplable
Compiler

Compiled 3596 to 2689 computations (25.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 412.0ms
Operation ival-cos, time spent: 182.0ms, 44.0% of total-time
Operation ival-sin, time spent: 73.0ms, 18.0% of total-time
Operation ival-mult, time spent: 52.0ms, 13.0% of total-time
Operation ival-pow, time spent: 50.0ms, 12.0% of total-time
Operation ival-exp, time spent: 22.0ms, 5.0% of total-time
Operation ival-add, time spent: 11.0ms, 3.0% of total-time
Operation ival-div, time spent: 11.0ms, 3.0% of total-time
Operation ival-neg, time spent: 6.0ms, 1.0% of total-time
Operation const, time spent: 3.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 1.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 1.0ms, 0.0% of total-time

end2.0ms (0%)

Profiling

Loading profile data...