Herbie run

Date:Friday, April 26th, 2024
Commit:00df8817 on fix-proofs
Hostname:nightly with Racket 8.11.1
Seed:2024117
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: 2.8min)

sample44.2s (26.2%)

Results
10.4s109357×0valid
12.5s48416×1valid
9.2s16354×5exit
2.5s7347×2valid
431.0ms3822×0invalid
145.0ms1390×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 24.5s
ival-cos: 4.9s (20% of total)
ival-mult: 2.2s (8.9% of total)
ival-pow: 2.0s (8.4% of total)
backward-pass: 2.0s (8.2% of total)
ival-sin: 1.5s (6% of total)
ival-log: 1.3s (5.3% of total)
ival-tan: 1.3s (5.3% of total)
ival-sqrt: 1.3s (5.2% of total)
ival-exp: 1.1s (4.7% of total)
ival-<=: 1.1s (4.5% of total)
ival-add: 971.0ms (4% of total)
ival-sub: 965.0ms (3.9% of total)
ival-div: 951.0ms (3.9% of total)
ival-fmod: 846.0ms (3.5% of total)
ival-sinh: 365.0ms (1.5% of total)
ival-acos: 350.0ms (1.4% of total)
ival-neg: 258.0ms (1.1% of total)
const: 254.0ms (1% of total)
ival->=: 249.0ms (1% of total)
ival-==: 157.0ms (0.6% of total)
ival-and: 127.0ms (0.5% of total)
ival-<: 118.0ms (0.5% of total)
ival-or: 54.0ms (0.2% of total)
ival-atan: 50.0ms (0.2% of total)
ival->: 41.0ms (0.2% of total)
Bogosity

localize24.8s (14.8%)

Algorithm
62×egg-herbie
Rules
20536×fma-define
14184×fma-neg
10863×associate-*r/
7893×unsub-neg
7636×div-sub
Stop Event
36×saturated
26×node limit
Results
2.6s9721×0valid
5.1s4498×1valid
2.1s878×2valid
6.3s618×5exit
33.0ms124×0unsamplable
54.0ms33×3valid
Compiler

Compiled 8665 to 1276 computations (85.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.2s
ival-cos: 2.2s (18.5% of total)
ival-pow: 1.6s (13.1% of total)
ival-log: 1.3s (10.9% of total)
ival-mult: 1.2s (9.5% of total)
ival-exp: 784.0ms (6.4% of total)
ival-fmod: 778.0ms (6.4% of total)
ival-sin: 587.0ms (4.8% of total)
ival-div: 577.0ms (4.7% of total)
backward-pass: 570.0ms (4.7% of total)
ival-add: 371.0ms (3% of total)
ival-tan: 351.0ms (2.9% of total)
ival-asin: 331.0ms (2.7% of total)
ival-sqrt: 298.0ms (2.4% of total)
ival-expm1: 272.0ms (2.2% of total)
ival-sub: 209.0ms (1.7% of total)
ival-cbrt: 125.0ms (1% of total)
ival-neg: 122.0ms (1% of total)
ival-acos: 111.0ms (0.9% of total)
ival-fma: 105.0ms (0.9% of total)
ival-e: 57.0ms (0.5% of total)
const: 56.0ms (0.5% of total)
ival-log1p: 48.0ms (0.4% of total)
ival-sinh: 47.0ms (0.4% of total)
ival-hypot: 27.0ms (0.2% of total)
ival-pi: 12.0ms (0.1% of total)
ival-fabs: 3.0ms (0% of total)
ival-atan: 1.0ms (0% of total)

simplify20.1s (11.9%)

Algorithm
80×egg-herbie
Rules
17704×fma-define
17621×fma-neg
15764×distribute-lft-in
15008×*-commutative
13216×associate-*r*
Stop Event
21×saturated
55×node limit
4×unsound
Counts
32234 → 28225

soundness15.7s (9.3%)

Rules
14193×fma-define
12505×log1p-expm1-u
12184×fma-neg
10541×expm1-log1p-u
10208×times-frac
Stop Event
6×saturated
56×node limit
10×fuel
1×unsound
10×done
Compiler

Compiled 9875 to 2945 computations (70.2% saved)

rewrite13.8s (8.2%)

Algorithm
60×batch-egg-rewrite
Rules
31422×log1p-expm1-u
24640×expm1-log1p-u
15458×pow1
14001×add-exp-log
13525×add-log-exp
Stop Event
60×node limit
Counts
626 → 20983

prune12.4s (7.4%)

Counts
44316 → 1981
Compiler

Compiled 71812 to 39446 computations (45.1% saved)

eval10.4s (6.2%)

Compiler

Compiled 976797 to 150486 computations (84.6% saved)

regimes8.6s (5.1%)

Counts
4569 → 172
Calls

53 calls:

1.2s
a
1.0s
b
990.0ms
x
843.0ms
r
353.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
Compiler

Compiled 1884 to 1340 computations (28.9% saved)

series4.9s (2.9%)

Counts
626 → 11251
Calls

2742 calls:

TimeVariablePointExpression
358.0ms
a
@0
(/ (pow (+ a (* -1 a)) 2) (pow a 2))
198.0ms
b
@0
(* (* (cbrt (+ b a)) (cbrt (sqrt (+ b a)))) (sqrt (- a b)))
190.0ms
lo
@-inf
(- (+ hi lo) x)
179.0ms
l
@0
(pow l (+ w 1))
178.0ms
x
@-inf
(sqrt (+ (log (pow (cbrt (exp (cos x))) 2)) (log (cbrt (exp (cos x))))))

analyze4.4s (2.6%)

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 199 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-div: 820.0ms (35.7% of total)
ival-add: 316.0ms (13.7% of total)
ival-<=: 254.0ms (11% of total)
ival-sin: 123.0ms (5.3% of total)
ival-mult: 122.0ms (5.3% of total)
ival-tan: 116.0ms (5% of total)
ival-pow: 110.0ms (4.8% of total)
ival-cos: 73.0ms (3.2% of total)
ival-sub: 52.0ms (2.3% of total)
ival-and: 50.0ms (2.2% of total)
ival-fmod: 48.0ms (2.1% of total)
ival-exp: 44.0ms (1.9% of total)
const: 36.0ms (1.6% of total)
ival-==: 27.0ms (1.2% of total)
ival-or: 24.0ms (1% of total)
ival-sqrt: 20.0ms (0.9% of total)
ival-neg: 19.0ms (0.8% of total)
ival-log: 18.0ms (0.8% of total)
ival-sinh: 11.0ms (0.5% of total)
backward-pass: 8.0ms (0.3% of total)
ival-<: 4.0ms (0.2% of total)
ival->: 3.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

preprocess4.0s (2.4%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 6706 to 3106 computations (53.7% saved)

explain3.4s (2%)

Results
708.0ms6620×0valid
778.0ms3044×1valid
672.0ms488×2valid
642.0ms88×5exit
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-div: 502.0ms (25.6% of total)
ival-cos: 478.0ms (24.3% of total)
ival-mult: 220.0ms (11.2% of total)
backward-pass: 162.0ms (8.3% of total)
ival-tan: 88.0ms (4.5% of total)
ival-add: 83.0ms (4.2% of total)
ival-log: 73.0ms (3.7% of total)
ival-sin: 69.0ms (3.5% of total)
ival-sqrt: 63.0ms (3.2% of total)
ival-exp: 45.0ms (2.3% of total)
ival-fmod: 41.0ms (2.1% of total)
ival-pow: 39.0ms (2% of total)
ival-sub: 38.0ms (1.9% of total)
ival-acos: 24.0ms (1.2% of total)
ival-sinh: 16.0ms (0.8% of total)
const: 12.0ms (0.6% of total)
ival-neg: 8.0ms (0.4% of total)
ival-atan: 3.0ms (0.2% of total)

bsearch1.6s (0.9%)

Algorithm
52×binary-search
3×left-value
Stop Event
1×predicate-same
49×narrow-enough
2×predicate-failed
Results
826.0ms3296×1valid
374.0ms2896×0valid
21.0ms202×0invalid
45.0ms96×2valid
Compiler

Compiled 9380 to 6655 computations (29.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 846.0ms
ival-sin: 186.0ms (22% of total)
ival-tan: 148.0ms (17.5% of total)
ival-cos: 118.0ms (13.9% of total)
ival-mult: 72.0ms (8.5% of total)
ival-add: 62.0ms (7.3% of total)
ival-exp: 55.0ms (6.5% of total)
backward-pass: 51.0ms (6% of total)
ival-pow: 48.0ms (5.7% of total)
ival-div: 31.0ms (3.7% of total)
ival-sub: 23.0ms (2.7% of total)
ival-fmod: 17.0ms (2% of total)
ival-acos: 15.0ms (1.8% of total)
ival-neg: 9.0ms (1.1% of total)
ival-sqrt: 6.0ms (0.7% of total)
const: 6.0ms (0.7% of total)

end0.0ms (0%)

Profiling

Loading profile data...