Herbie run

Date:Thursday, April 25th, 2024
Commit:8a894d72 on main
Hostname:nightly with Racket 8.11.1
Seed:2024116
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: 6.3min)

sample1.4min (22.6%)

Results
36.4s275633×0valid
20.5s54602×1valid
8.6s16420×2valid
555.0ms4147×0invalid
274.0ms1006×0unsamplable
734.0ms202×5exit
28.0ms97×3valid
Precisions
Click to see histograms. Total time spent on operations: 50.3s
ival-mult: 12.4s (24.7% of total)
ival-pow: 8.3s (16.5% of total)
ival-div: 5.3s (10.6% of total)
ival-add: 5.0s (10% of total)
ival-sub: 4.0s (8% of total)
ival-<=: 3.4s (6.8% of total)
backward-pass: 2.5s (5% of total)
ival-sin: 2.3s (4.6% of total)
ival-cos: 1.1s (2.2% of total)
ival-exp: 1.1s (2.1% of total)
ival-log: 898.0ms (1.8% of total)
ival-neg: 880.0ms (1.7% of total)
const: 832.0ms (1.7% of total)
ival-sqrt: 457.0ms (0.9% of total)
ival-and: 408.0ms (0.8% of total)
ival-==: 402.0ms (0.8% of total)
ival-tan: 305.0ms (0.6% of total)
ival-fma: 253.0ms (0.5% of total)
ival-<: 114.0ms (0.2% of total)
ival-atan: 91.0ms (0.2% of total)
ival-pi: 64.0ms (0.1% of total)
ival-if: 8.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)
Bogosity

simplify57.7s (15.3%)

Algorithm
186×egg-herbie
Rules
49061×fma-define
40635×fma-neg
37393×distribute-lft-in
36744×times-frac
36647×*-commutative
Stop Event
44×saturated
142×node limit
Counts
75718 → 73803

localize49.6s (13.1%)

Algorithm
150×egg-herbie
Rules
72094×fma-define
49450×fma-neg
31045×associate-*r*
28965×distribute-lft-in
24305×distribute-rgt-in
Stop Event
71×saturated
79×node limit
Results
10.1s31070×0valid
3.9s3640×1valid
2.4s1616×2valid
6.2s1145×5exit
361.0ms705×0invalid
58.0ms197×0unsamplable
89.0ms27×3valid
Compiler

Compiled 30842 to 3378 computations (89% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.1s
ival-mult: 3.0s (23.2% of total)
ival-pow: 1.8s (13.5% of total)
ival-div: 1.6s (12.2% of total)
backward-pass: 1.5s (11.5% of total)
ival-add: 1.3s (10.2% of total)
ival-fma: 1.2s (8.8% of total)
ival-sub: 667.0ms (5.1% of total)
ival-log1p: 523.0ms (4% of total)
ival-expm1: 400.0ms (3.1% of total)
ival-exp: 252.0ms (1.9% of total)
ival-sin: 184.0ms (1.4% of total)
const: 142.0ms (1.1% of total)
ival-sqrt: 125.0ms (1% of total)
ival-hypot: 92.0ms (0.7% of total)
ival-neg: 88.0ms (0.7% of total)
ival-cbrt: 84.0ms (0.6% of total)
ival-cos: 57.0ms (0.4% of total)
ival-atan: 35.0ms (0.3% of total)
ival-log: 18.0ms (0.1% of total)
ival-tan: 15.0ms (0.1% of total)
ival-fabs: 5.0ms (0% of total)
ival-pi: 5.0ms (0% of total)

soundness40.1s (10.6%)

Rules
37771×fma-define
35423×log1p-expm1-u
29618×expm1-log1p-u
29155×fma-neg
22723×distribute-lft-in
Stop Event
8×saturated
137×node limit
26×fuel
16×done
Compiler

Compiled 29482 to 8954 computations (69.6% saved)

prune38.3s (10.1%)

Counts
108604 → 2168
Compiler

Compiled 82439 to 41696 computations (49.4% saved)

rewrite35.6s (9.4%)

Algorithm
144×batch-egg-rewrite
Rules
88360×log1p-expm1-u
66799×expm1-log1p-u
31296×pow1
29100×add-exp-log
27752×add-log-exp
Stop Event
144×node limit
Counts
1525 → 49292

eval23.5s (6.2%)

Compiler

Compiled 3035467 to 417886 computations (86.2% saved)

preprocess10.0s (2.7%)

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 19696 to 7360 computations (62.6% saved)

bsearch9.2s (2.4%)

Algorithm
243×binary-search
24×left-value
Stop Event
20×predicate-same
223×narrow-enough
Results
4.8s25755×0valid
1.1s3547×1valid
81.0ms1131×0invalid
628.0ms634×2valid
3.0ms25×0unsamplable
Compiler

Compiled 60894 to 38839 computations (36.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.1s
ival-mult: 1.9s (38.1% of total)
ival-div: 951.0ms (18.8% of total)
ival-pow: 671.0ms (13.3% of total)
ival-add: 633.0ms (12.5% of total)
ival-sub: 458.0ms (9.1% of total)
ival-exp: 134.0ms (2.7% of total)
backward-pass: 94.0ms (1.9% of total)
ival-neg: 92.0ms (1.8% of total)
const: 61.0ms (1.2% of total)
ival-sqrt: 28.0ms (0.6% of total)
ival-pi: 5.0ms (0.1% of total)

explain8.3s (2.2%)

Results
2.0s16312×0valid
1.8s3854×1valid
1.3s1326×2valid
16.0ms12×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-add: 900.0ms (28.9% of total)
ival-mult: 676.0ms (21.7% of total)
ival-sin: 351.0ms (11.3% of total)
ival-pow: 281.0ms (9% of total)
ival-div: 264.0ms (8.5% of total)
backward-pass: 191.0ms (6.1% of total)
ival-sub: 175.0ms (5.6% of total)
ival-log: 55.0ms (1.8% of total)
const: 48.0ms (1.5% of total)
ival-exp: 41.0ms (1.3% of total)
ival-cos: 40.0ms (1.3% of total)
ival-sqrt: 26.0ms (0.8% of total)
ival-neg: 25.0ms (0.8% of total)
ival-fma: 19.0ms (0.6% of total)
ival-tan: 7.0ms (0.2% of total)
ival-atan: 6.0ms (0.2% of total)
ival-pi: 4.0ms (0.1% of total)

series7.4s (1.9%)

Counts
1525 → 26426
Calls

7137 calls:

TimeVariablePointExpression
116.0ms
a
@inf
(/ (+ b (/ (- (* c a) (* b (/ (pow c 2) d))) d)) d)
88.0ms
b
@0
(* (/ -1/2 a) (* 2 (/ (* a c) b)))
81.0ms
e
@-inf
(+ e (+ (* d (+ 1 (/ c d))) (+ b a)))
81.0ms
x
@0
(log x)
75.0ms
d
@inf
(+ e d)

regimes7.2s (1.9%)

Counts
4596 → 550
Calls

96 calls:

670.0ms
x
664.0ms
c
498.0ms
b
393.0ms
eps
262.0ms
t
Compiler

Compiled 4098 to 2578 computations (37.1% saved)

analyze5.8s (1.5%)

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
47.6%25.7%28.3%45.5%0%0.6%0%3
57.1%30.5%22.8%45.5%0%1.2%0%4
70.9%37.5%15.4%45.6%0%1.5%0%5
72.8%38.4%14.4%45.6%0%1.7%0%6
77.8%40.7%11.6%45.6%0%2%0%7
81.4%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 688 computations (52.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.7s
ival-mult: 967.0ms (26.3% of total)
ival-div: 662.0ms (18% of total)
ival-pow: 521.0ms (14.2% of total)
ival-add: 333.0ms (9.1% of total)
ival-sub: 322.0ms (8.8% of total)
ival-exp: 170.0ms (4.6% of total)
ival-sqrt: 164.0ms (4.5% of total)
ival-<=: 118.0ms (3.2% of total)
ival-<: 106.0ms (2.9% of total)
ival-fabs: 85.0ms (2.3% of total)
ival-if: 63.0ms (1.7% of total)
ival-==: 47.0ms (1.3% of total)
const: 42.0ms (1.1% of total)
ival-neg: 35.0ms (1% of total)
ival-and: 16.0ms (0.4% of total)
backward-pass: 9.0ms (0.2% of total)
ival-pi: 7.0ms (0.2% 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)

end0.0ms (0%)

Profiling

Loading profile data...