Herbie run

Date:Monday, March 18th, 2024
Commit:487b55ff on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024078
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: 27.2min)

localize8.7min (31.9%)

Results
Compiler

Compiled 88553 to 49256 computations (44.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.3min
Operation ival-sin, time spent: 1.8min, 25.0% of total-time
Operation ival-cos, time spent: 1.4min, 19.0% of total-time
Operation ival-mult, time spent: 1.2min, 17.0% of total-time
Operation ival-pow, time spent: 1.1min, 15.0% of total-time
Operation ival-div, time spent: 30.2s, 7.0% of total-time
Operation composed, time spent: 17.6s, 4.0% of total-time
Operation ival-add, time spent: 10.2s, 2.0% of total-time
Operation ival-log, time spent: 9.6s, 2.0% of total-time
Operation ival-exp, time spent: 9.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 6.2s, 1.0% of total-time
Operation ival-sub, time spent: 6.1s, 1.0% of total-time
Operation const, time spent: 5.2s, 1.0% of total-time
Operation ival-cbrt, time spent: 4.4s, 1.0% of total-time
Operation ival-atan2, time spent: 2.2s, 1.0% of total-time
Operation ival-acos, time spent: 1.5s, 0.0% of total-time
Operation ival-atan, time spent: 1.3s, 0.0% of total-time
Operation ival-tan, time spent: 814.0ms, 0.0% of total-time
Operation ival-neg, time spent: 630.0ms, 0.0% of total-time
Operation ival-pi, time spent: 245.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 157.0ms, 0.0% of total-time
Operation ival-asin, time spent: 67.0ms, 0.0% of total-time
Operation ival-e, time spent: 20.0ms, 0.0% of total-time

sample8.0min (29.4%)

Results
1.3min298642×256valid
39.1s45821×512valid
6.3s27886×256invalid
6.5s27248×256infinite
8.5s26077×256unsamplable
21.6s25520×1024valid
2.6min16283×8192exit
32.6s11106×2048valid
57.4s7406×4096valid
6.5s5751×512infinite
1.4s1692×1024invalid
1.4s1173×2048invalid
668.0ms1166×512invalid
19.6s1077×8192valid
113.0ms874×256precondition
4.4s688×2048infinite
2.3s554×1024infinite
4.2s395×4096infinite
7.0ms7×512unsamplable
6.0ms3×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.3min
Operation ival-pow, time spent: 2.5min, 41.0% of total-time
Operation ival-sin, time spent: 47.8s, 13.0% of total-time
Operation ival-mult, time spent: 44.2s, 12.0% of total-time
Operation ival-cos, time spent: 35.4s, 9.0% of total-time
Operation ival-div, time spent: 33.7s, 9.0% of total-time
Operation ival-add, time spent: 11.2s, 3.0% of total-time
Operation ival-exp, time spent: 10.4s, 3.0% of total-time
Operation ival-log, time spent: 9.6s, 3.0% of total-time
Operation ival-sub, time spent: 8.7s, 2.0% of total-time
Operation ival-sqrt, time spent: 5.1s, 1.0% of total-time
Operation const, time spent: 3.8s, 1.0% of total-time
Operation ival-neg, time spent: 3.0s, 1.0% of total-time
Operation ival-<, time spent: 2.6s, 1.0% of total-time
Operation ival-atan2, time spent: 1.5s, 0.0% of total-time
Operation ival-pi, time spent: 1.1s, 0.0% of total-time
Operation ival-atan, time spent: 1.1s, 0.0% of total-time
Operation ival-tan, time spent: 846.0ms, 0.0% of total-time
Operation ival-acos, time spent: 769.0ms, 0.0% of total-time
Operation ival-and, time spent: 515.0ms, 0.0% of total-time
Operation ival-asin, time spent: 313.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 237.0ms, 0.0% of total-time
Operation ival-<=, time spent: 224.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 162.0ms, 0.0% of total-time
Operation ival-==, time spent: 2.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

eval2.6min (9.4%)

Compiler

Compiled 7057184 to 4272523 computations (39.5% saved)

preprocess2.1min (7.6%)

Algorithm
51×egg-herbie
Rules
31500×fma-define
18832×fma-neg
12964×div-sub
11458×unsub-neg
11133×sub-neg
Stop Event
21×saturated
30×node limit
Compiler

Compiled 73674 to 44846 computations (39.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-sin, time spent: 21.0s, 25.0% of total-time
Operation ival-cos, time spent: 16.6s, 20.0% of total-time
Operation ival-mult, time spent: 15.4s, 18.0% of total-time
Operation ival-div, time spent: 11.6s, 14.0% of total-time
Operation ival-pow, time spent: 10.3s, 12.0% of total-time
Operation ival-add, time spent: 2.5s, 3.0% of total-time
Operation ival-sub, time spent: 1.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.5s, 2.0% of total-time
Operation const, time spent: 1.1s, 1.0% of total-time
Operation ival-log, time spent: 594.0ms, 1.0% of total-time
Operation ival-tan, time spent: 343.0ms, 0.0% of total-time
Operation ival-exp, time spent: 253.0ms, 0.0% of total-time
Operation ival-atan, time spent: 203.0ms, 0.0% of total-time
Operation ival-neg, time spent: 171.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 151.0ms, 0.0% of total-time
Operation ival-pi, time spent: 89.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 76.0ms, 0.0% of total-time
Operation ival-acos, time spent: 60.0ms, 0.0% of total-time
Operation ival-asin, time spent: 33.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 16.0ms, 0.0% of total-time

simplify1.3min (4.7%)

Algorithm
226×egg-herbie
Rules
75525×fma-define
53319×*-commutative
53259×distribute-lft-in
52573×associate-*r*
47788×distribute-rgt-in
Stop Event
49×saturated
38×fuel
175×node limit
2×unsound
9×done
Counts
86673 → 75412
Results
Compiler

Compiled 14757 to 10122 computations (31.4% saved)

soundness54.8s (3.4%)

Rules
78361×fma-define
51080×log1p-expm1-u
45081×associate-*r*
44036×fma-neg
42869×distribute-lft-in
Stop Event
15×saturated
201×node limit
4×unsound
Compiler

Compiled 45050 to 25331 computations (43.8% saved)

regimes54.1s (3.3%)

Counts
16279 → 860
Calls

137 calls:

5.0s
phi1
4.0s
phi2
3.7s
lambda1
3.3s
lambda2
3.2s
b
Compiler

Compiled 10401 to 7668 computations (26.3% saved)

prune52.6s (3.2%)

Counts
165430 → 6385
Compiler

Compiled 410259 to 286174 computations (30.2% saved)

analyze39.4s (2.4%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
14.8%11.8%67.6%20.6%0%0%0%1
22.6%17.7%60.4%21%0%0.9%0%2
32.7%24.7%50.8%21.2%0%3.3%0%3
39.8%29.8%45%21.2%0%4%0%4
45.4%33.8%40.6%21.2%0%4.5%0%5
48.4%35.7%38%21.2%0%5.1%0%6
51.8%37.8%35.2%21.2%0%5.7%0.1%7
53.5%38.9%33.8%21.3%0%6%0.1%8
56.4%40.6%31.4%21.3%0%6.6%0.2%9
57.7%41.4%30.3%21.3%0%6.8%0.2%10
59.8%42.7%28.7%21.3%0%7.1%0.3%11
61.3%43.5%27.5%21.3%0%7.5%0.3%12
Compiler

Compiled 1919 to 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.6s
Operation ival-mult, time spent: 8.1s, 28.0% of total-time
Operation ival-div, time spent: 4.2s, 15.0% of total-time
Operation ival-sin, time spent: 4.1s, 14.0% of total-time
Operation ival-pow, time spent: 3.9s, 13.0% of total-time
Operation ival-cos, time spent: 3.5s, 12.0% of total-time
Operation ival-add, time spent: 1.3s, 5.0% of total-time
Operation ival-sub, time spent: 1.2s, 4.0% of total-time
Operation ival-sqrt, time spent: 564.0ms, 2.0% of total-time
Operation const, time spent: 459.0ms, 2.0% of total-time
Operation ival-<, time spent: 308.0ms, 1.0% of total-time
Operation ival-neg, time spent: 299.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 137.0ms, 0.0% of total-time
Operation ival-pi, time spent: 119.0ms, 0.0% of total-time
Operation ival-exp, time spent: 78.0ms, 0.0% of total-time
Operation ival-tan, time spent: 75.0ms, 0.0% of total-time
Operation ival-and, time spent: 67.0ms, 0.0% of total-time
Operation ival-log, time spent: 66.0ms, 0.0% of total-time
Operation ival-atan, time spent: 64.0ms, 0.0% of total-time
Operation ival-asin, time spent: 40.0ms, 0.0% of total-time
Operation ival-acos, time spent: 39.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 34.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 19.0ms, 0.0% of total-time
Operation ival-<=, time spent: 3.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time

rewrite37.6s (2.3%)

Algorithm
178×batch-egg-rewrite
Rules
113275×log1p-expm1-u
85164×expm1-log1p-u
42140×pow1
41216×add-exp-log
40568×add-log-exp
Stop Event
174×node limit
4×unsound
Counts
1710 → 47369

bsearch20.2s (1.2%)

Algorithm
328×binary-search
75×left-value
Stop Event
7×predicate-same
321×narrow-enough
Results
8.3s28607×256valid
5.2s6148×512valid
531.0ms2748×256invalid
957.0ms1353×1024valid
1.2s1304×2048valid
325.0ms948×256infinite
837.0ms458×4096valid
250.0ms238×512infinite
79.0ms110×1024invalid
37.0ms79×512invalid
36.0ms41×2048invalid
Compiler

Compiled 94635 to 71870 computations (24.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.9s
Operation ival-mult, time spent: 2.5s, 21.0% of total-time
Operation ival-sin, time spent: 2.3s, 19.0% of total-time
Operation ival-cos, time spent: 1.6s, 14.0% of total-time
Operation ival-pow, time spent: 1.3s, 11.0% of total-time
Operation ival-div, time spent: 968.0ms, 8.0% of total-time
Operation ival-sub, time spent: 746.0ms, 6.0% of total-time
Operation ival-add, time spent: 576.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 495.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 301.0ms, 3.0% of total-time
Operation ival-atan, time spent: 245.0ms, 2.0% of total-time
Operation ival-acos, time spent: 223.0ms, 2.0% of total-time
Operation const, time spent: 201.0ms, 2.0% of total-time
Operation ival-neg, time spent: 156.0ms, 1.0% of total-time
Operation ival-asin, time spent: 83.0ms, 1.0% of total-time
Operation ival-exp, time spent: 75.0ms, 1.0% of total-time
Operation ival-log, time spent: 74.0ms, 1.0% of total-time
Operation ival-pi, time spent: 51.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 13.0ms, 0.0% of total-time

series18.5s (1.1%)

Counts
1710 → 39304
Calls

9612 calls:

TimeVariablePointExpression
477.0ms
c
@0
(* (* -2 (pow a 2)) (/ (pow c 3) (pow b 4)))
331.0ms
b
@0
(* -3/8 (/ (* a (pow c 2)) (pow b 3)))
310.0ms
x
@-inf
(/ (/ 2 x) (- -1 x))
158.0ms
ew
@0
(log (* ew (sin t)))
153.0ms
b
@0
(* (/ 1/2 a) (- (cbrt (neg (pow b 3))) b))

end30.0ms (0%)

Profiling

Loading profile data...