Herbie run

Date:Wednesday, April 17th, 2024
Commit:d87fb667 on main
Hostname:nightly with Racket 8.11.1
Seed:2024108
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.0min)

sample2.5min (42.4%)

Results
24.1s140577×0precondition
28.4s115706×1valid
6.8s65475×0valid
37.3s47922×2valid
30.8s7070×5exit
481.0ms4204×0unsamplable
370.0ms4112×0invalid
1.8s2065×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.9min
ival-pow: 29.5s (26.5% of total)
ival-exp: 11.4s (10.3% of total)
ival-tan: 10.2s (9.2% of total)
ival-mult: 8.3s (7.5% of total)
backward-pass: 8.3s (7.5% of total)
ival-sub: 7.4s (6.7% of total)
ival-log: 5.2s (4.7% of total)
ival-div: 4.7s (4.3% of total)
ival-cos: 4.6s (4.1% of total)
ival-add: 4.5s (4% of total)
ival-sin: 3.6s (3.2% of total)
ival-<=: 3.4s (3% of total)
ival-fabs: 2.8s (2.6% of total)
ival-sqrt: 1.5s (1.3% of total)
ival-<: 1.3s (1.2% of total)
const: 1.1s (1% of total)
ival-fmin: 731.0ms (0.7% of total)
ival-and: 712.0ms (0.6% of total)
ival-neg: 698.0ms (0.6% of total)
ival->: 456.0ms (0.4% of total)
ival-atan: 350.0ms (0.3% of total)
ival-cbrt: 311.0ms (0.3% of total)
Bogosity

localize1.1min (18.8%)

Results
8.2s11975×0valid
17.9s7106×1valid
12.3s3518×2valid
5.0s1678×0invalid
9.4s1106×5exit
2.5s388×3valid
366.0ms85×0unsamplable
Compiler

Compiled 21569 to 13069 computations (39.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 47.4s
ival-pow: 14.6s (30.8% of total)
backward-pass: 6.3s (13.2% of total)
ival-mult: 6.1s (13% of total)
ival-div: 5.8s (12.3% of total)
ival-add: 3.2s (6.7% of total)
ival-sub: 1.9s (4% of total)
ival-exp: 1.5s (3.1% of total)
ival-log: 1.1s (2.3% of total)
ival-tan: 1.0s (2.2% of total)
ival-fma: 1.0s (2.1% of total)
const: 931.0ms (2% of total)
ival-sin: 897.0ms (1.9% of total)
ival-sqrt: 895.0ms (1.9% of total)
ival-log1p: 740.0ms (1.6% of total)
ival-cbrt: 545.0ms (1.1% of total)
ival-cos: 477.0ms (1% of total)
ival-hypot: 179.0ms (0.4% of total)
ival-neg: 138.0ms (0.3% of total)
ival-atan2: 51.0ms (0.1% of total)
ival-expm1: 31.0ms (0.1% of total)
ival-cosh: 24.0ms (0.1% of total)
ival-atan: 13.0ms (0% of total)
ival-fabs: 7.0ms (0% of total)

simplify27.3s (7.6%)

Algorithm
124×egg-herbie
Rules
34815×fma-define
30533×fma-neg
27820×distribute-lft-in
26295×*-commutative
26285×associate-*r*
Stop Event
28×saturated
96×node limit
Counts
39268 → 43502

eval24.7s (6.9%)

Compiler

Compiled 1712450 to 1135819 computations (33.7% saved)

soundness24.4s (6.8%)

Rules
31242×fma-define
29492×log1p-expm1-u
28354×fma-neg
22999×expm1-log1p-u
19140×associate-*r*
Stop Event
9×saturated
103×node limit
18×fuel
10×done
Compiler

Compiled 22936 to 15065 computations (34.3% saved)

rewrite19.0s (5.3%)

Algorithm
96×batch-egg-rewrite
Rules
60462×log1p-expm1-u
46126×expm1-log1p-u
21177×pow1
19913×add-exp-log
19677×add-log-exp
Stop Event
96×node limit
Counts
798 → 25746

prune14.7s (4.1%)

Counts
61495 → 1976
Compiler

Compiled 72298 to 51377 computations (28.9% saved)

explain7.8s (2.2%)

Results
2.9s7050×1valid
549.0ms3940×0valid
2.6s3200×2valid
107.0ms146×3valid
Compiler

Compiled 2227 to 1192 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.6s
backward-pass: 615.0ms (13.3% of total)
ival-sub: 604.0ms (13.1% of total)
ival-exp: 583.0ms (12.6% of total)
ival-log: 530.0ms (11.5% of total)
ival-tan: 499.0ms (10.8% of total)
ival-div: 335.0ms (7.3% of total)
ival-add: 296.0ms (6.4% of total)
ival-mult: 255.0ms (5.5% of total)
ival-sin: 208.0ms (4.5% of total)
ival-pow: 202.0ms (4.4% of total)
ival-cos: 198.0ms (4.3% of total)
ival-sqrt: 135.0ms (2.9% of total)
const: 82.0ms (1.8% of total)
ival-atan: 26.0ms (0.6% of total)
ival-neg: 24.0ms (0.5% of total)
ival-cbrt: 23.0ms (0.5% of total)

preprocess5.3s (1.5%)

Algorithm
28×egg-herbie
Rules
8308×fma-neg
6663×fma-define
4279×div-sub
2669×sub-neg
2621×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 10878 to 6912 computations (36.5% saved)

regimes4.9s (1.4%)

Counts
3535 → 316
Calls

43 calls:

1.0s
x
659.0ms
a
464.0ms
c
455.0ms
b_2
410.0ms
b
Compiler

Compiled 1611 to 1128 computations (30% saved)

series4.3s (1.2%)

Counts
798 → 13522
Calls

3639 calls:

TimeVariablePointExpression
92.0ms
x
@0
(/ (exp (/ (log x) n)) (* x n))
62.0ms
n
@-inf
(pow (- (exp (/ (log (+ 1 x)) n)) (pow x (/ 1 n))) 3)
59.0ms
x
@-inf
(log (* x n))
55.0ms
eps
@-inf
(/ eps (* (- (exp (* eps a)) 1) (- (exp (* eps b)) 1)))
52.0ms
x
@0
(+ (* (neg (cbrt (/ 1 (+ 1 x)))) (cbrt (pow (+ 1 x) -1/2))) (pow x -1/2))

bsearch4.1s (1.1%)

Algorithm
104×binary-search
27×left-value
Stop Event
7×predicate-same
97×narrow-enough
Results
997.0ms8089×0valid
1.6s2825×1valid
179.0ms2189×0invalid
460.0ms590×2valid
6.0ms42×0unsamplable
Compiler

Compiled 17706 to 13244 computations (25.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-pow: 1.4s (51.5% of total)
ival-mult: 261.0ms (9.9% of total)
ival-sub: 235.0ms (8.9% of total)
ival-div: 225.0ms (8.5% of total)
ival-exp: 197.0ms (7.4% of total)
backward-pass: 98.0ms (3.7% of total)
ival-sqrt: 79.0ms (3% of total)
ival-neg: 76.0ms (2.9% of total)
ival-add: 70.0ms (2.6% of total)
const: 28.0ms (1.1% of total)
ival-cbrt: 6.0ms (0.2% of total)
ival-cos: 4.0ms (0.2% of total)
ival-log: 3.0ms (0.1% of total)

analyze3.2s (0.9%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
12.3%7.5%53.6%38.9%0%0%0%1
21%12.9%48.2%38.9%0%0%0%2
38.4%22.5%35.9%41.6%0%0%0%3
47.7%27.8%30.5%41.7%0%0%0%4
55.6%32%25.6%42.4%0%0%0%5
58.1%33%23.9%43.1%0%0%0%6
62%34.2%20.9%44%0%0.8%0.1%7
65.2%35.6%19%44.5%0%0.8%0.1%8
67.5%36.2%17.4%44.9%0%1.2%0.3%9
69.5%36.7%16.1%45.2%0%1.7%0.3%10
72%37.7%14.6%45.4%0%1.9%0.4%11
73.2%38%13.9%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 351 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-add: 300.0ms (16.5% of total)
ival-mult: 218.0ms (12% of total)
ival-<=: 202.0ms (11.1% of total)
ival-sub: 194.0ms (10.7% of total)
ival-pow: 179.0ms (9.8% of total)
ival-log: 118.0ms (6.5% of total)
ival-div: 113.0ms (6.2% of total)
ival-exp: 96.0ms (5.3% of total)
ival-tan: 86.0ms (4.7% of total)
ival-sin: 59.0ms (3.2% of total)
ival-sqrt: 58.0ms (3.2% of total)
ival-fabs: 55.0ms (3% of total)
const: 31.0ms (1.7% of total)
ival-neg: 29.0ms (1.6% of total)
ival-cos: 28.0ms (1.5% of total)
ival-<: 16.0ms (0.9% of total)
ival->: 13.0ms (0.7% of total)
ival-and: 12.0ms (0.7% of total)
backward-pass: 9.0ms (0.5% of total)
ival-fmin: 6.0ms (0.3% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...