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: 44.4min)

simplify6.7min (15.1%)

Algorithm
1546×egg-herbie
Rules
454954×fma-define
391865×fma-neg
339320×associate-*r*
331389×*-commutative
299746×times-frac
Stop Event
270×saturated
1271×node limit
5×unsound
Counts
601688 → 506430

localize6.2min (13.9%)

Results
2.8min310140×0valid
11.6s13217×0invalid
43.9s11461×1valid
33.9s5679×5exit
18.0s3205×2valid
570.0ms610×0unsamplable
2.1s393×3valid
754.0ms81×1invalid
881.0ms46×4valid
Compiler

Compiled 190315 to 85759 computations (54.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3min
ival-mult: 54.9s (27.5% of total)
ival-div: 30.3s (15.2% of total)
ival-pow: 24.1s (12.1% of total)
ival-add: 20.0s (10% of total)
backward-pass: 14.9s (7.5% of total)
ival-sub: 12.0s (6% of total)
ival-sqrt: 8.2s (4.1% of total)
ival-fma: 7.6s (3.8% of total)
ival-log: 5.6s (2.8% of total)
ival-cos: 4.8s (2.4% of total)
const: 4.7s (2.4% of total)
ival-sin: 3.5s (1.7% of total)
ival-cbrt: 2.4s (1.2% of total)
ival-exp: 1.8s (0.9% of total)
ival-log1p: 1.5s (0.7% of total)
ival-neg: 1.0s (0.5% of total)
ival-expm1: 912.0ms (0.5% of total)
ival-tan: 681.0ms (0.3% of total)
ival-hypot: 374.0ms (0.2% of total)
ival-fabs: 103.0ms (0.1% of total)
ival-sinh: 39.0ms (0% of total)
ival-e: 32.0ms (0% of total)
ival-cosh: 30.0ms (0% of total)
ival-acos: 27.0ms (0% of total)
ival-tanh: 13.0ms (0% of total)

sample6.0min (13.5%)

Results
3.5min2148907×0valid
12.4s64271×0invalid
23.3s63259×1valid
3.0s7547×2valid
1.1s1569×5exit
346.0ms1369×1invalid
579.0ms1151×3valid
55.0ms197×2invalid
Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-mult: 51.1s (34.2% of total)
ival-add: 23.0s (15.4% of total)
ival-sub: 22.2s (14.9% of total)
ival-div: 19.4s (13% of total)
ival-log: 8.5s (5.7% of total)
ival-sqrt: 6.3s (4.2% of total)
ival-sin: 4.8s (3.2% of total)
backward-pass: 4.1s (2.7% of total)
const: 3.8s (2.5% of total)
ival-cos: 3.1s (2.1% of total)
ival-exp: 1.5s (1% of total)
ival-fabs: 621.0ms (0.4% of total)
ival-tan: 294.0ms (0.2% of total)
ival-acos: 246.0ms (0.2% of total)
ival-cosh: 205.0ms (0.1% of total)
ival-sinh: 158.0ms (0.1% of total)
ival-tanh: 99.0ms (0.1% of total)
Bogosity

soundness4.9min (11%)

Rules
321443×fma-define
277842×fma-neg
258674×log1p-expm1-u
214783×associate-*r*
194750×times-frac
Stop Event
85×saturated
1040×node limit
84×fuel
6×unsound
185×done
Compiler

Compiled 228600 to 113544 computations (50.3% saved)

rewrite4.3min (9.8%)

Algorithm
1277×batch-egg-rewrite
Rules
831936×log1p-expm1-u
608077×expm1-log1p-u
265239×pow1
256105×add-exp-log
247257×add-log-exp
Stop Event
1271×node limit
6×unsound
Counts
9456 → 329130

eval3.7min (8.4%)

Compiler

Compiled 14132579 to 7566801 computations (46.5% saved)

bsearch3.3min (7.5%)

Algorithm
6226×binary-search
432×left-value
Stop Event
76×predicate-same
6150×narrow-enough
Results
2.2min732691×0valid
7.6s21099×1valid
427.0ms4633×0invalid
1.3s2195×2valid
11.0ms31×3valid
1.0ms3×1invalid
Compiler

Compiled 1421425 to 1065566 computations (25% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
ival-mult: 42.3s (47.9% of total)
ival-sub: 20.8s (23.5% of total)
ival-add: 10.0s (11.4% of total)
ival-div: 6.6s (7.5% of total)
ival-log: 3.5s (4% of total)
backward-pass: 1.1s (1.3% of total)
const: 1.1s (1.2% of total)
ival-sqrt: 951.0ms (1.1% of total)
ival-sin: 895.0ms (1% of total)
ival-cos: 521.0ms (0.6% of total)
ival-exp: 348.0ms (0.4% of total)
ival-sinh: 78.0ms (0.1% of total)
ival-tanh: 27.0ms (0% of total)
ival-cosh: 22.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)

prune3.3min (7.3%)

Counts
643123 → 28995
Compiler

Compiled 921941 to 650640 computations (29.4% saved)

regimes2.4min (5.4%)

Counts
66733 → 8978
Calls

488 calls:

24.8s
x
22.0s
z
21.8s
y
14.0s
t
8.1s
a
Compiler

Compiled 45812 to 36197 computations (21% saved)

series1.3min (2.9%)

Counts
9456 → 272558
Calls

66270 calls:

TimeVariablePointExpression
651.0ms
x
@0
(- (log x) (log y))
473.0ms
a
@inf
(* (neg a) (+ b z))
372.0ms
c
@0
(* (neg c) (- (* 4/3 (/ y t)) (/ (+ y x) c)))
297.0ms
z
@inf
(* y (* x (+ -1000000000/23533438303 (* z (/ 168466327098500000000/553822718361107519809 y)))))
287.0ms
y
@0
(pow (* (- y z) (/ (- y t) x)) -1)

preprocess1.2min (2.7%)

Algorithm
269×egg-herbie
Rules
137764×fma-neg
117084×fma-define
57352×unsub-neg
50425×sub-neg
47106×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 235524 to 109902 computations (53.3% saved)

explain45.2s (1.7%)

Results
21.6s130388×0valid
5.6s5762×1valid
1.7s1418×2valid
173.0ms152×3valid
15.0ms8×5exit
Compiler

Compiled 26361 to 12514 computations (52.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.0s
ival-mult: 5.6s (33.1% of total)
ival-add: 2.7s (15.7% of total)
ival-sub: 2.2s (12.8% of total)
ival-log: 1.9s (11.4% of total)
ival-div: 1.8s (10.7% of total)
backward-pass: 773.0ms (4.5% of total)
ival-sqrt: 509.0ms (3% of total)
const: 489.0ms (2.9% of total)
ival-cos: 398.0ms (2.3% of total)
ival-sin: 277.0ms (1.6% of total)
ival-exp: 178.0ms (1% of total)
ival-tan: 80.0ms (0.5% of total)
ival-cosh: 14.0ms (0.1% of total)
ival-fabs: 14.0ms (0.1% of total)
ival-acos: 13.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-tanh: 7.0ms (0% of total)

analyze20.4s (0.8%)

Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
50.1%49.7%49.5%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.3%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%22.9%0.1%0%4.6%0%6
79.9%75.7%19%0.1%0%5.1%0%7
81.8%77.1%17.2%0.1%0%5.6%0%8
84.5%79.4%14.6%0.1%0%5.9%0%9
86%80.6%13.1%0.1%0%6.2%0%10
88.6%83%10.6%0.1%0%6.2%0%11
89.7%83.7%9.6%0.1%0%6.5%0%12
Compiler

Compiled 4012 to 2763 computations (31.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.1s
ival-mult: 3.7s (41.1% of total)
ival-add: 1.7s (19.1% of total)
ival-sub: 1.3s (14.5% of total)
ival-div: 1.0s (11.3% of total)
ival-sqrt: 239.0ms (2.6% of total)
ival-log: 233.0ms (2.6% of total)
const: 224.0ms (2.5% of total)
ival-sin: 218.0ms (2.4% of total)
ival-exp: 202.0ms (2.2% of total)
backward-pass: 50.0ms (0.6% of total)
ival-cos: 27.0ms (0.3% of total)
ival-acos: 23.0ms (0.3% of total)
ival-tan: 21.0ms (0.2% of total)
ival-cosh: 15.0ms (0.2% of total)
ival-tanh: 8.0ms (0.1% of total)
ival-sinh: 4.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)

end1.0ms (0%)

Profiling

Loading profile data...