Herbie run

Date:Monday, May 20th, 2024
Commit:c2f4097e on main
Hostname:nightly with Racket 8.11.1
Seed:2024141
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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.8min (46.7%)

Results
39.9s55116×2valid
33.8s142780×0precondition
30.2s116445×1valid
28.5s7204×5exit
6.9s56918×0valid
3.5s2689×3valid
447.0ms4252×0unsamplable
358.0ms4118×0invalid
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 25.8s (21.3% of total)
ival-exp: 12.1s (10% of total)
ival-tan: 11.8s (9.8% of total)
ival-mult: 9.4s (7.8% of total)
ival-sub: 8.9s (7.3% of total)
backward-pass: 6.6s (5.5% of total)
ival-<=: 6.1s (5% of total)
ival-log: 5.6s (4.7% of total)
ival-div: 5.4s (4.5% of total)
...c/correct-round.rkt:121:19: 5.2s (4.3% of total)
ival-add: 4.9s (4% of total)
ival-cos: 4.4s (3.6% of total)
ival-sin: 4.2s (3.5% of total)
ival-fabs: 2.8s (2.3% of total)
ival-<: 2.2s (1.8% of total)
ival-sqrt: 1.4s (1.1% of total)
ival->: 893.0ms (0.7% of total)
ival-fmin: 787.0ms (0.7% of total)
ival-and: 742.0ms (0.6% of total)
const: 642.0ms (0.5% of total)
ival-neg: 441.0ms (0.4% of total)
ival-atan: 357.0ms (0.3% of total)
ival-cbrt: 305.0ms (0.3% of total)
Bogosity

simplify50.0s (13.9%)

Algorithm
239×egg-herbie
Rules
76327×fma-define
73505×fma-neg
48655×distribute-lft-in
43513×distribute-rgt-in
40496×times-frac
Stop Event
76×saturated
162×node limit
1×unsound
Counts
58022 → 61048

localize28.4s (7.9%)

Results
6.7s4519×2valid
6.3s7358×1valid
4.5s13025×0valid
1.2s429×3valid
739.0ms1618×0invalid
363.0ms92×5exit
57.0ms95×0unsamplable
Compiler

Compiled 18069 to 2497 computations (86.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.7s
ival-pow: 1.7s (13.7% of total)
ival-mult: 1.6s (12.9% of total)
backward-pass: 1.3s (10.6% of total)
ival-div: 1.2s (9.8% of total)
ival-sin: 1.1s (8.8% of total)
ival-add: 807.0ms (6.3% of total)
ival-sub: 768.0ms (6% of total)
ival-tan: 628.0ms (4.9% of total)
...c/correct-round.rkt:121:19: 501.0ms (3.9% of total)
ival-cos: 483.0ms (3.8% of total)
ival-expm1: 467.0ms (3.7% of total)
ival-log: 392.0ms (3.1% of total)
ival-fma: 340.0ms (2.7% of total)
ival-exp: 299.0ms (2.3% of total)
ival-sqrt: 210.0ms (1.7% of total)
ival-cbrt: 198.0ms (1.6% of total)
ival-log1p: 154.0ms (1.2% of total)
ival-neg: 135.0ms (1.1% of total)
const: 102.0ms (0.8% of total)
ival-cosh: 51.0ms (0.4% of total)
ival-hypot: 45.0ms (0.4% of total)
ival-atan: 29.0ms (0.2% of total)
ival-atan2: 20.0ms (0.2% of total)
ival-e: 9.0ms (0.1% of total)

soundness28.4s (7.9%)

Rules
30494×log1p-expm1-u
28542×fma-define
26583×fma-neg
25655×expm1-log1p-u
17655×times-frac
Stop Event
9×saturated
105×node limit
21×fuel
7×done
Compiler

Compiled 21040 to 6775 computations (67.8% saved)

rewrite24.9s (6.9%)

Algorithm
105×batch-egg-rewrite
Rules
66788×log1p-expm1-u
51568×expm1-log1p-u
21905×pow1
21647×add-exp-log
20529×add-log-exp
Stop Event
105×node limit
Counts
1234 → 39340

prune16.9s (4.7%)

Counts
84814 → 2000
Compiler

Compiled 64047 to 36066 computations (43.7% saved)

eval15.4s (4.3%)

Compiler

Compiled 2224315 to 321873 computations (85.5% saved)

explain7.0s (2%)

Results
2.5s3450×2valid
2.1s7256×1valid
361.0ms3472×0valid
250.0ms158×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-tan: 718.0ms (20.2% of total)
ival-exp: 503.0ms (14.2% of total)
ival-sub: 414.0ms (11.7% of total)
backward-pass: 322.0ms (9.1% of total)
ival-log: 271.0ms (7.6% of total)
ival-sin: 242.0ms (6.8% of total)
ival-div: 230.0ms (6.5% of total)
ival-cos: 225.0ms (6.3% of total)
ival-mult: 215.0ms (6.1% of total)
ival-add: 121.0ms (3.4% of total)
ival-pow: 108.0ms (3% of total)
ival-sqrt: 78.0ms (2.2% of total)
const: 32.0ms (0.9% of total)
ival-neg: 28.0ms (0.8% of total)
ival-atan: 22.0ms (0.6% of total)
ival-cbrt: 18.0ms (0.5% of total)

series5.8s (1.6%)

Counts
1234 → 18682
Calls

5046 calls:

TimeVariablePointExpression
174.0ms
b_2
@inf
(log (- (sqrt (+ (* b_2 b_2) (* (sqrt (* c (neg a))) (sqrt (* c (neg a)))))) b_2))
103.0ms
x
@-inf
(log (* x 1/3))
103.0ms
a
@0
(sqrt (- (* b b) (pow (cbrt (* a (* c 4))) 3)))
77.0ms
x
@0
(cos (+ x eps))
74.0ms
eps
@-inf
(+ (* eps (- (- -1/6 (- (+ (* -1/2 (+ 1 (/ (pow (sin x) 2) (pow (cos x) 2)))) (/ (* 1/6 (pow (sin x) 2)) (pow (cos x) 2))) (* (pow (sin x) 2) (/ (+ 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (pow (cos x) 2))))) (* eps (+ (* (+ 1/6 (- (+ (* -1/2 (+ 1 (/ (pow (sin x) 2) (pow (cos x) 2)))) (/ (* 1/6 (pow (sin x) 2)) (pow (cos x) 2))) (* (pow (sin x) 2) (/ (+ 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (pow (cos x) 2))))) (/ (sin x) (cos x))) (* (* (sin x) (/ (+ 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (cos x))) -1/3))))) (* (sin x) (/ (+ 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (cos x))))

preprocess5.0s (1.4%)

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 9134 to 3674 computations (59.8% saved)

analyze3.8s (1.1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
6.1%3.7%57.4%38.9%0%0%0%1
16.5%10.1%51%38.9%0%0%0%2
35.3%20.6%37.8%41.6%0%0%0%3
46.1%26.9%31.4%41.7%0%0%0%4
54.8%31.5%26%42.4%0%0%0%5
57.1%32.5%24.4%43.1%0%0%0%6
61.5%33.9%21.3%44%0%0.8%0.1%7
64.6%35.3%19.3%44.5%0%0.8%0.1%8
67.1%36%17.6%44.9%0%1.2%0.3%9
69.1%36.5%16.3%45.2%0%1.7%0.3%10
71.7%37.5%14.8%45.4%0%1.9%0.4%11
72.8%37.8%14.1%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 322 computations (35.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-mult: 382.0ms (18.3% of total)
ival-sub: 363.0ms (17.4% of total)
ival-log: 179.0ms (8.6% of total)
...c/correct-round.rkt:121:19: 168.0ms (8% of total)
ival-pow: 167.0ms (8% of total)
ival-fabs: 140.0ms (6.7% of total)
ival-div: 108.0ms (5.2% of total)
ival-<=: 103.0ms (4.9% of total)
ival-add: 76.0ms (3.6% of total)
ival-sin: 75.0ms (3.6% of total)
ival-sqrt: 72.0ms (3.4% of total)
ival-exp: 66.0ms (3.2% of total)
ival-neg: 47.0ms (2.2% of total)
ival-tan: 43.0ms (2.1% of total)
ival-cos: 26.0ms (1.2% of total)
const: 21.0ms (1% of total)
ival->: 16.0ms (0.8% of total)
ival-and: 13.0ms (0.6% of total)
ival-<: 12.0ms (0.6% of total)
backward-pass: 7.0ms (0.3% of total)
ival-fmin: 7.0ms (0.3% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

regimes3.4s (0.9%)

Counts
3846 → 305
Calls

43 calls:

1.2s
x
238.0ms
eps
188.0ms
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a))
188.0ms
(/.f64 #s(literal 1 binary64) n)
140.0ms
b
Compiler

Compiled 1547 to 1036 computations (33% saved)

bsearch3.2s (0.9%)

Algorithm
76×binary-search
31×left-value
Stop Event
4×predicate-same
72×narrow-enough
Results
877.0ms6602×0valid
397.0ms1520×1valid
391.0ms758×2valid
283.0ms1514×0invalid
8.0ms61×0unsamplable
Compiler

Compiled 13837 to 10069 computations (27.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-mult: 393.0ms (29.4% of total)
ival-sub: 211.0ms (15.8% of total)
ival-exp: 149.0ms (11.2% of total)
ival-neg: 139.0ms (10.4% of total)
ival-div: 101.0ms (7.6% of total)
ival-pow: 97.0ms (7.3% of total)
ival-add: 82.0ms (6.1% of total)
ival-sqrt: 60.0ms (4.5% of total)
backward-pass: 48.0ms (3.6% of total)
const: 16.0ms (1.2% of total)
ival-cbrt: 16.0ms (1.2% of total)
ival-cos: 15.0ms (1.1% of total)
ival-sin: 7.0ms (0.5% of total)
ival-log: 2.0ms (0.1% of total)

end0.0ms (0%)

Profiling

Loading profile data...