Herbie run

Date:Thursday, April 4th, 2024
Commit:9887997d on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024095
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.7min)

sample1.2min (25.9%)

Results
17.1s116101×256valid
9.8s23320×512valid
30.6s16695×8192exit
5.8s15865×1024valid
1.2s4966×256infinite
4.3s4866×2048valid
528.0ms3974×256invalid
200.0ms1409×256unsamplable
1.0ms2×512infinite
Precisions
Click to see histograms. Total time spent on operations: 47.8s
Operation ival-pow, time spent: 13.3s, 28.0% of total-time
Operation ival-exp, time spent: 7.8s, 16.0% of total-time
Operation ival-log, time spent: 5.6s, 12.0% of total-time
Operation ival-cos, time spent: 3.4s, 7.0% of total-time
Operation ival-mult, time spent: 2.5s, 5.0% of total-time
Operation ival-sinh, time spent: 2.0s, 4.0% of total-time
Operation ival-sin, time spent: 2.0s, 4.0% of total-time
Operation ival-<=, time spent: 1.7s, 4.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-add, time spent: 1.1s, 2.0% of total-time
Operation ival-fmod, time spent: 895.0ms, 2.0% of total-time
Operation ival-tan, time spent: 849.0ms, 2.0% of total-time
Operation ival-sub, time spent: 805.0ms, 2.0% of total-time
Operation ival-acos, time spent: 670.0ms, 1.0% of total-time
Operation ival-neg, time spent: 627.0ms, 1.0% of total-time
Operation const, time spent: 554.0ms, 1.0% of total-time
Operation ival-==, time spent: 265.0ms, 1.0% of total-time
Operation ival-and, time spent: 218.0ms, 0.0% of total-time
Operation ival-<, time spent: 191.0ms, 0.0% of total-time
Operation ival->, time spent: 97.0ms, 0.0% of total-time
Operation ival-or, time spent: 86.0ms, 0.0% of total-time
Operation ival-atan, time spent: 70.0ms, 0.0% of total-time
Operation ival->=, time spent: 49.0ms, 0.0% of total-time
Bogosity

localize59.6s (20.9%)

Compiler

Compiled 9423 to 4941 computations (47.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 44.9s
Operation ival-mult, time spent: 8.3s, 19.0% of total-time
Operation ival-pow, time spent: 6.8s, 15.0% of total-time
Operation ival-log, time spent: 5.7s, 13.0% of total-time
Operation ival-sub, time spent: 4.7s, 10.0% of total-time
Operation ival-exp, time spent: 3.3s, 7.0% of total-time
Operation ival-div, time spent: 2.8s, 6.0% of total-time
Operation composed, time spent: 2.6s, 6.0% of total-time
Operation ival-asin, time spent: 2.3s, 5.0% of total-time
Operation ival-add, time spent: 1.4s, 3.0% of total-time
Operation ival-fmod, time spent: 1.4s, 3.0% of total-time
Operation ival-acos, time spent: 1.3s, 3.0% of total-time
Operation ival-cos, time spent: 1.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 772.0ms, 2.0% of total-time
Operation const, time spent: 623.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 590.0ms, 1.0% of total-time
Operation ival-sin, time spent: 535.0ms, 1.0% of total-time
Operation ival-neg, time spent: 237.0ms, 1.0% of total-time
Operation ival-tan, time spent: 198.0ms, 0.0% of total-time
Operation ival-e, time spent: 172.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 60.0ms, 0.0% of total-time
Operation ival-pi, time spent: 16.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 13.0ms, 0.0% of total-time
Operation ival-atan, time spent: 2.0ms, 0.0% of total-time

analyze29.6s (10.4%)

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: 18.3s
Operation ival-<=, time spent: 8.1s, 44.0% of total-time
Operation ival-add, time spent: 5.0s, 27.0% of total-time
Operation ival-tan, time spent: 2.7s, 15.0% of total-time
Operation ival-and, time spent: 391.0ms, 2.0% of total-time
Operation ival-sub, time spent: 353.0ms, 2.0% of total-time
Operation ival-==, time spent: 315.0ms, 2.0% of total-time
Operation const, time spent: 300.0ms, 2.0% of total-time
Operation ival-pow, time spent: 201.0ms, 1.0% of total-time
Operation ival-or, time spent: 195.0ms, 1.0% of total-time
Operation ival-cos, time spent: 188.0ms, 1.0% of total-time
Operation ival-sin, time spent: 143.0ms, 1.0% of total-time
Operation ival-mult, time spent: 124.0ms, 1.0% of total-time
Operation ival-div, time spent: 72.0ms, 0.0% of total-time
Operation ival-exp, time spent: 53.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 53.0ms, 0.0% of total-time
Operation ival-neg, time spent: 24.0ms, 0.0% of total-time
Operation ival-log, time spent: 23.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 19.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 12.0ms, 0.0% of total-time
Operation ival-<, time spent: 5.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

soundness27.5s (9.7%)

Rules
16290×log1p-expm1-u
15945×fma-define
13068×expm1-log1p-u
12701×fmm-def
11886×associate-*r*
Stop Event
6×saturated
60×node limit
2×unsound
Compiler

Compiled 9530 to 5448 computations (42.8% saved)

simplify18.7s (6.6%)

Algorithm
82×egg-herbie
Rules
19514×fma-define
17907×fmm-def
14974×distribute-lft-in
14924×associate-*r*
13692×*-commutative
Stop Event
20×saturated
56×node limit
12×fuel
6×unsound
8×done
Counts
27749 → 23168
Compiler

Compiled 1814 to 1229 computations (32.2% saved)

eval17.8s (6.3%)

Compiler

Compiled 952919 to 520101 computations (45.4% saved)

regimes14.6s (5.1%)

Counts
3460 → 149
Calls

53 calls:

4.6s
x
3.7s
(/.f64 (-.f64 x lo) (-.f64 hi lo))
1.2s
a
806.0ms
r
769.0ms
b
Compiler

Compiled 1784 to 1258 computations (29.5% saved)

rewrite13.8s (4.8%)

Algorithm
62×batch-egg-rewrite
Rules
33804×log1p-expm1-u
27020×expm1-log1p-u
14335×pow1
13225×add-exp-log
13015×add-log-exp
Stop Event
62×node limit
Counts
494 → 18689

prune12.2s (4.3%)

Counts
39879 → 1799
Compiler

Compiled 66293 to 42957 computations (35.2% saved)

preprocess11.6s (4.1%)

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 14063 to 8170 computations (41.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.5s
Operation ival-mult, time spent: 3.4s, 62.0% of total-time
Operation ival-pow, time spent: 1.1s, 20.0% of total-time
Operation ival-cos, time spent: 223.0ms, 4.0% of total-time
Operation ival-log, time spent: 153.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 89.0ms, 2.0% of total-time
Operation ival-add, time spent: 79.0ms, 1.0% of total-time
Operation ival-sin, time spent: 76.0ms, 1.0% of total-time
Operation ival-sub, time spent: 64.0ms, 1.0% of total-time
Operation ival-exp, time spent: 63.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 57.0ms, 1.0% of total-time
Operation ival-tan, time spent: 44.0ms, 1.0% of total-time
Operation ival-div, time spent: 43.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 39.0ms, 1.0% of total-time
Operation ival-acos, time spent: 35.0ms, 1.0% of total-time
Operation const, time spent: 31.0ms, 1.0% of total-time
Operation ival-neg, time spent: 16.0ms, 0.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

series4.5s (1.6%)

Counts
494 → 9060
Calls

2211 calls:

TimeVariablePointExpression
243.0ms
r
@0
(* r (log (+ 1 (fabs (- (exp (/ (sin b) (cos (+ b a)))) 1)))))
224.0ms
y
@0
(pow (/ (sin y) (cos y)) 2)
148.0ms
z
@inf
(* (tan y) (tan z))
139.0ms
y
@inf
(sqrt (+ (* x x) (+ (* y y) (* z z))))
134.0ms
x
@0
(* (pow 2 1/8) (* x (pow 4 1/8)))

bsearch823.0ms (0.3%)

Algorithm
20×binary-search
16×left-value
Stop Event
20×narrow-enough
Results
289.0ms1531×256valid
399.0ms834×512valid
70.0ms115×256infinite
Compiler

Compiled 3804 to 2691 computations (29.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 469.0ms
Operation ival-cos, time spent: 222.0ms, 47.0% of total-time
Operation ival-mult, time spent: 86.0ms, 18.0% of total-time
Operation ival-sin, time spent: 53.0ms, 11.0% of total-time
Operation ival-add, time spent: 43.0ms, 9.0% of total-time
Operation ival-tan, time spent: 21.0ms, 4.0% of total-time
Operation ival-div, time spent: 20.0ms, 4.0% of total-time
Operation ival-pow, time spent: 13.0ms, 3.0% of total-time
Operation const, time spent: 4.0ms, 1.0% of total-time
Operation ival-exp, time spent: 2.0ms, 0.0% of total-time
Operation ival-sub, time spent: 2.0ms, 0.0% of total-time
Operation ival-neg, time spent: 1.0ms, 0.0% of total-time

end2.0ms (0%)

Profiling

Loading profile data...