Herbie run

Date:Tuesday, April 16th, 2024
Commit:97bdded0 on zane-regimes-8-iters
Hostname:nightly with Racket 8.11.1
Seed:2024107
Parameters:256 points for 8 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: 8.4min)

localize1.8min (21.2%)

Results
34.4s44782×0valid
20.9s4235×1valid
3.2s2270×0invalid
13.1s1688×2valid
9.8s418×5exit
1.3s85×3valid
69.0ms26×0unsamplable
Compiler

Compiled 44285 to 26037 computations (41.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 22.6s (32.9% of total)
ival-div: 9.4s (13.7% of total)
ival-pow: 8.7s (12.7% of total)
backward-pass: 8.2s (11.9% of total)
ival-add: 7.5s (11% of total)
ival-sub: 4.5s (6.5% of total)
ival-fma: 2.8s (4% of total)
const: 1.6s (2.4% of total)
ival-exp: 887.0ms (1.3% of total)
ival-sqrt: 648.0ms (0.9% of total)
ival-hypot: 424.0ms (0.6% of total)
ival-tan: 342.0ms (0.5% of total)
ival-sin: 246.0ms (0.4% of total)
ival-neg: 193.0ms (0.3% of total)
ival-cos: 189.0ms (0.3% of total)
ival-cbrt: 151.0ms (0.2% of total)
ival-log: 150.0ms (0.2% of total)
ival-log1p: 66.0ms (0.1% of total)
ival-expm1: 55.0ms (0.1% of total)
ival-atan: 24.0ms (0% of total)
ival-pi: 10.0ms (0% of total)
ival-e: 9.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)

sample1.5min (17.7%)

Results
36.7s276863×0valid
21.5s57051×1valid
7.3s12772×2valid
367.0ms4077×0invalid
198.0ms1011×0unsamplable
2.1s202×5exit
24.0ms66×3valid
Precisions
Click to see histograms. Total time spent on operations: 53.5s
ival-mult: 12.7s (23.8% of total)
ival-pow: 8.0s (14.9% of total)
ival-div: 6.1s (11.5% of total)
ival-add: 5.9s (11.1% of total)
ival-sub: 4.2s (7.8% of total)
backward-pass: 3.7s (6.9% of total)
ival-<=: 3.0s (5.5% of total)
ival-sin: 2.6s (4.8% of total)
const: 1.3s (2.4% of total)
ival-sqrt: 1.1s (2.1% of total)
ival-log: 973.0ms (1.8% of total)
ival-neg: 850.0ms (1.6% of total)
ival-exp: 807.0ms (1.5% of total)
ival-cos: 681.0ms (1.3% of total)
ival-fma: 406.0ms (0.8% of total)
ival-and: 403.0ms (0.8% of total)
ival-==: 316.0ms (0.6% of total)
ival-<: 151.0ms (0.3% of total)
ival-tan: 126.0ms (0.2% of total)
ival-atan: 101.0ms (0.2% of total)
ival-pi: 86.0ms (0.2% of total)
ival-fabs: 30.0ms (0.1% of total)
ival-if: 26.0ms (0% of total)
Bogosity

simplify1.0min (11.9%)

Algorithm
239×egg-herbie
Rules
70968×fma-define
56482×fma-neg
55996×associate-*r*
53405×*-commutative
51356×distribute-lft-in
Stop Event
42×saturated
196×node limit
1×unsound
Counts
87641 → 82759

eval57.7s (11.4%)

Compiler

Compiled 3522847 to 2351162 computations (33.3% saved)

soundness38.3s (7.6%)

Rules
47640×fma-define
41920×log1p-expm1-u
32976×associate-*r*
30082×fma-neg
29426×expm1-log1p-u
Stop Event
8×saturated
165×node limit
11×fuel
1×unsound
31×done
Compiler

Compiled 40653 to 24507 computations (39.7% saved)

rewrite37.4s (7.4%)

Algorithm
197×batch-egg-rewrite
Rules
113584×log1p-expm1-u
86136×expm1-log1p-u
43665×pow1
41752×add-exp-log
39947×add-log-exp
Stop Event
197×node limit
Counts
1567 → 54354

prune34.3s (6.8%)

Counts
123170 → 3986
Compiler

Compiled 130651 to 91602 computations (29.9% saved)

bsearch21.8s (4.3%)

Algorithm
499×binary-search
17×left-value
Stop Event
18×predicate-same
481×narrow-enough
Results
10.5s48710×0valid
3.3s9212×1valid
934.0ms8416×0invalid
633.0ms1230×2valid
106.0ms721×0unsamplable
Compiler

Compiled 139687 to 97756 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.1s
ival-mult: 4.6s (37.8% of total)
ival-div: 1.8s (15.2% of total)
ival-add: 1.8s (14.6% of total)
ival-pow: 1.3s (10.9% of total)
ival-sub: 1.3s (10.4% of total)
backward-pass: 366.0ms (3% of total)
ival-neg: 345.0ms (2.9% of total)
const: 258.0ms (2.1% of total)
ival-sqrt: 215.0ms (1.8% of total)
ival-exp: 174.0ms (1.4% of total)
ival-pi: 2.0ms (0% of total)

explain19.4s (3.8%)

Results
4.8s16222×0valid
7.2s4084×1valid
2.2s1176×2valid
360.0ms20×3valid
34.0ms2×5exit
Compiler

Compiled 7687 to 4921 computations (36% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.0s
ival-mult: 4.1s (34.6% of total)
ival-add: 1.8s (14.8% of total)
ival-pow: 1.6s (13.1% of total)
backward-pass: 1.3s (11% of total)
ival-div: 1.3s (10.9% of total)
ival-sub: 984.0ms (8.2% of total)
const: 290.0ms (2.4% of total)
ival-exp: 207.0ms (1.7% of total)
ival-neg: 95.0ms (0.8% of total)
ival-sqrt: 93.0ms (0.8% of total)
ival-sin: 93.0ms (0.8% of total)
ival-log: 43.0ms (0.4% of total)
ival-cos: 35.0ms (0.3% of total)
ival-fma: 19.0ms (0.2% of total)
ival-atan: 13.0ms (0.1% of total)
ival-tan: 7.0ms (0.1% of total)
ival-pi: 3.0ms (0% of total)

analyze11.0s (2.2%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
35.2%19.2%35.3%45.5%0%0%0%2
48.7%25.7%27.1%45.5%0%1.7%0%3
57.8%30.5%22.3%45.5%0%1.8%0%4
71.3%37.5%15.1%45.6%0%1.8%0%5
73%38.4%14.2%45.6%0%1.8%0%6
77.9%40.7%11.5%45.6%0%2.1%0%7
81.5%42.5%9.7%45.7%0%2.1%0%8
84.1%43.8%8.3%45.7%0%2.2%0%9
86.2%44.6%7.2%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.9s
ival-add: 1.7s (20.9% of total)
ival-pow: 1.1s (13.7% of total)
ival-mult: 1.0s (13% of total)
ival-div: 973.0ms (12.3% of total)
ival-sqrt: 869.0ms (11% of total)
ival-sub: 847.0ms (10.7% of total)
ival-<=: 561.0ms (7.1% of total)
ival-fabs: 383.0ms (4.9% of total)
const: 152.0ms (1.9% of total)
ival-exp: 101.0ms (1.3% of total)
ival-==: 85.0ms (1.1% of total)
ival-if: 79.0ms (1% of total)
ival-neg: 29.0ms (0.4% of total)
ival-<: 23.0ms (0.3% of total)
ival-and: 16.0ms (0.2% of total)
backward-pass: 10.0ms (0.1% of total)
ival-pi: 6.0ms (0.1% of total)
ival-cos: 1.0ms (0% of total)
ival-atan: 0.0ms (0% of total)
ival-tan: 0.0ms (0% of total)
ival-fma: 0.0ms (0% of total)
ival-sin: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

preprocess10.9s (2.1%)

Algorithm
42×egg-herbie
Rules
18568×fma-define
18480×fma-neg
9939×unsub-neg
9280×sub-neg
7631×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 31790 to 19016 computations (40.2% saved)

regimes9.3s (1.8%)

Counts
7804 → 812
Calls

94 calls:

1.1s
b
1.1s
x1
731.0ms
x
456.0ms
eps
451.0ms
c
Compiler

Compiled 3918 to 2769 computations (29.3% saved)

series9.0s (1.8%)

Counts
1567 → 33287
Calls

8604 calls:

TimeVariablePointExpression
250.0ms
eps
@-inf
(/ (- (* (pow x 2) -10) (/ (* (pow x 3) 10) eps)) eps)
137.0ms
x
@0
(* (pow x 3) (- (* -11/15120 (pow x 2)) 23/360))
135.0ms
c
@0
(cbrt (+ (* b c) (* a d)))
126.0ms
t
@0
(cbrt (* (pow t 6) 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
93.0ms
b
@0
(pow (cbrt (/ (pow (cbrt (+ (* b c) (* a d))) 2) (sqrt (+ (* c c) (* d d))))) 3)

end0.0ms (0%)

Profiling

Loading profile data...