Herbie run

Date:Wednesday, February 28th, 2024
Commit:699b9765 on main
Hostname:nightly with Racket 8.11.1
Seed:2024059
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.4min)

sample1.2min (28%)

Results
17.2s116177×256valid
9.4s23314×512valid
31.4s16789×8192exit
6.2s15798×1024valid
1.0s4971×256infinite
4.0s4858×2048valid
533.0ms3927×256invalid
196.0ms1162×256unsamplable
3.0ms2×4096valid
Precisions
Click to see histograms. Total time spent on operations: 49.1s
Operation ival-pow, time spent: 14.0s, 28.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-cos, time spent: 3.4s, 7.0% of total-time
Operation ival-mult, time spent: 2.7s, 5.0% of total-time
Operation ival-sinh, time spent: 2.1s, 4.0% of total-time
Operation ival-<=, time spent: 2.0s, 4.0% of total-time
Operation ival-div, time spent: 1.6s, 3.0% of total-time
Operation ival-sin, time spent: 1.4s, 3.0% of total-time
Operation ival-sub, time spent: 1.4s, 3.0% of total-time
Operation ival-add, time spent: 1.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 3.0% of total-time
Operation ival-tan, time spent: 848.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 730.0ms, 1.0% of total-time
Operation ival-acos, time spent: 665.0ms, 1.0% of total-time
Operation ival-neg, time spent: 571.0ms, 1.0% of total-time
Operation const, time spent: 563.0ms, 1.0% of total-time
Operation ival-and, time spent: 236.0ms, 0.0% of total-time
Operation ival-<, time spent: 202.0ms, 0.0% of total-time
Operation ival-==, time spent: 176.0ms, 0.0% of total-time
Operation ival-or, time spent: 85.0ms, 0.0% of total-time
Operation ival-atan, time spent: 79.0ms, 0.0% of total-time
Operation ival->=, time spent: 49.0ms, 0.0% of total-time
Operation ival->, time spent: 33.0ms, 0.0% of total-time
Bogosity

localize37.2s (14.1%)

Compiler

Compiled 9306 to 4701 computations (49.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 24.6s
Operation ival-pow, time spent: 5.6s, 23.0% of total-time
Operation ival-mult, time spent: 3.0s, 12.0% of total-time
Operation ival-asin, time spent: 2.4s, 10.0% of total-time
Operation ival-log, time spent: 2.1s, 9.0% of total-time
Operation ival-sub, time spent: 1.5s, 6.0% of total-time
Operation ival-acos, time spent: 1.4s, 6.0% of total-time
Operation ival-div, time spent: 1.3s, 5.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 4.0% of total-time
Operation composed, time spent: 1.0s, 4.0% of total-time
Operation ival-cos, time spent: 1.0s, 4.0% of total-time
Operation ival-add, time spent: 930.0ms, 4.0% of total-time
Operation ival-exp, time spent: 775.0ms, 3.0% of total-time
Operation const, time spent: 522.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 503.0ms, 2.0% of total-time
Operation ival-sin, time spent: 430.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 400.0ms, 2.0% of total-time
Operation ival-tan, time spent: 225.0ms, 1.0% of total-time
Operation ival-neg, time spent: 200.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 61.0ms, 0.0% of total-time
Operation ival-e, time spent: 32.0ms, 0.0% of total-time
Operation ival-pi, time spent: 19.0ms, 0.0% of total-time
Operation ival-atan, time spent: 9.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 0.0ms, 0.0% of total-time

eval30.0s (11.4%)

Compiler

Compiled 985512 to 579814 computations (41.2% saved)

simplify26.7s (10.1%)

Algorithm
84×egg-herbie
Rules
46094×fma-define
40574×fma-neg
33248×distribute-lft-in
29322×*-commutative
27988×times-frac
Stop Event
20×saturated
61×node limit
13×fuel
3×unsound
7×done
Counts
27284 → 23695
Compiler

Compiled 1479 to 1019 computations (31.1% saved)

analyze24.1s (9.1%)

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
67%48.4%23.9%26.3%0%1.1%0.3%6
71.2%51.1%20.7%26.3%0%1.6%0.3%7
72.2%51.6%19.9%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.9%54%17.1%26.3%0%2.1%0.5%10
76.7%54.4%16.6%26.3%0%2.3%0.5%11
77.4%54.9%16%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: 13.8s
Operation ival-<=, time spent: 5.6s, 41.0% of total-time
Operation ival-sub, time spent: 3.7s, 27.0% of total-time
Operation ival-tan, time spent: 1.2s, 9.0% of total-time
Operation ival-add, time spent: 1.0s, 7.0% of total-time
Operation ival-and, time spent: 370.0ms, 3.0% of total-time
Operation ival-cos, time spent: 355.0ms, 3.0% of total-time
Operation ival-==, time spent: 344.0ms, 2.0% of total-time
Operation const, time spent: 292.0ms, 2.0% of total-time
Operation ival-sin, time spent: 244.0ms, 2.0% of total-time
Operation ival-or, time spent: 174.0ms, 1.0% of total-time
Operation ival-mult, time spent: 163.0ms, 1.0% of total-time
Operation ival-pow, time spent: 108.0ms, 1.0% of total-time
Operation ival-exp, time spent: 61.0ms, 0.0% of total-time
Operation ival-div, time spent: 52.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 39.0ms, 0.0% of total-time
Operation ival-log, time spent: 23.0ms, 0.0% of total-time
Operation ival-neg, time spent: 20.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 19.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 14.0ms, 0.0% of total-time
Operation ival->=, time spent: 2.0ms, 0.0% of total-time
Operation ival-atan, time spent: 1.0ms, 0.0% of total-time
Operation ival-acos, time spent: 0.0ms, 0.0% of total-time
Operation ival->, time spent: 0.0ms, 0.0% of total-time
Operation ival-<, time spent: 0.0ms, 0.0% of total-time

soundness23.6s (8.9%)

Rules
29848×fma-define
22106×fma-neg
21822×times-frac
17798×associate-*r*
16964×distribute-lft-in
Stop Event
6×saturated
56×node limit
2×unsound
Compiler

Compiled 7730 to 3970 computations (48.6% saved)

rewrite12.3s (4.7%)

Algorithm
64×batch-egg-rewrite
Rules
35942×log1p-expm1-u
31109×expm1-log1p-u
24874×log-prod
22590×unpow-prod-down
18446×prod-diff
Stop Event
64×node limit
Counts
502 → 17899

regimes12.1s (4.6%)

Counts
4004 → 137
Calls

55 calls:

1.9s
b
1.7s
a
1.7s
r
885.0ms
x
694.0ms
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
Compiler

Compiled 1786 to 1271 computations (28.8% saved)

prune10.1s (3.8%)

Counts
41258 → 1942
Compiler

Compiled 70213 to 45323 computations (35.4% saved)

preprocess7.2s (2.7%)

Algorithm
20×egg-herbie
Rules
10358×fma-neg
10108×fma-define
3250×distribute-rgt-in
3210×unsub-neg
3162×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 8037 to 4654 computations (42.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
Operation ival-cos, time spent: 219.0ms, 15.0% of total-time
Operation ival-tan, time spent: 181.0ms, 13.0% of total-time
Operation ival-log, time spent: 165.0ms, 12.0% of total-time
Operation ival-mult, time spent: 158.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 100.0ms, 7.0% of total-time
Operation ival-sin, time spent: 81.0ms, 6.0% of total-time
Operation ival-pow, time spent: 80.0ms, 6.0% of total-time
Operation ival-exp, time spent: 77.0ms, 5.0% of total-time
Operation ival-add, time spent: 72.0ms, 5.0% of total-time
Operation ival-sinh, time spent: 68.0ms, 5.0% of total-time
Operation ival-sub, time spent: 64.0ms, 5.0% of total-time
Operation ival-div, time spent: 39.0ms, 3.0% of total-time
Operation ival-acos, time spent: 34.0ms, 2.0% of total-time
Operation const, time spent: 33.0ms, 2.0% of total-time
Operation ival-fmod, time spent: 31.0ms, 2.0% of total-time
Operation ival-neg, time spent: 10.0ms, 1.0% of total-time
Operation ival-atan, time spent: 5.0ms, 0.0% of total-time

series5.9s (2.2%)

Counts
502 → 9385
Calls

2274 calls:

TimeVariablePointExpression
278.0ms
z
@-inf
(log (- (tan (+ y z)) (- (tan a) x)))
249.0ms
x
@inf
(* (pow 2 1/4) (pow x 3/4))
199.0ms
b
@inf
(/ (+ (* -1 (/ (* b (sin a)) r)) (/ (cos a) r)) b)
151.0ms
y
@inf
(log (- (tan (+ y z)) (- (tan a) x)))
142.0ms
r
@0
(log (* (sin b) r))

bsearch888.0ms (0.3%)

Algorithm
30×binary-search
Stop Event
1×predicate-same
29×narrow-enough
Results
366.0ms2503×256valid
398.0ms1346×512valid
28.0ms9×8192exit
2.0ms7×256infinite
Compiler

Compiled 5386 to 3947 computations (26.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 407.0ms
Operation ival-tan, time spent: 94.0ms, 23.0% of total-time
Operation ival-cos, time spent: 81.0ms, 20.0% of total-time
Operation ival-sin, time spent: 55.0ms, 14.0% of total-time
Operation ival-add, time spent: 43.0ms, 11.0% of total-time
Operation ival-pow, time spent: 34.0ms, 8.0% of total-time
Operation ival-mult, time spent: 28.0ms, 7.0% of total-time
Operation ival-div, time spent: 21.0ms, 5.0% of total-time
Operation ival-exp, time spent: 21.0ms, 5.0% of total-time
Operation ival-sub, time spent: 14.0ms, 3.0% of total-time
Operation ival-acos, time spent: 7.0ms, 2.0% of total-time
Operation const, time spent: 6.0ms, 1.0% of total-time
Operation ival-neg, time spent: 3.0ms, 1.0% of total-time

end6.0ms (0%)

Profiling

Loading profile data...