Herbie run

Date:Monday, October 21st, 2024
Commit:15c1caf3 on main
Hostname:nightly with Racket 8.10
Seed:2024295
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 30.5min)

sample6.1min (20%)

Memory
2 454.0MiB live, 338 903.7MiB allocated
Samples
3.6min2 147 307×0valid
24.2s67 353×1valid
10.5s64 048×0invalid
1.4s5 607×2valid
1.1s1 210×5exit
834.0ms1 742×1invalid
267.0ms594×3valid
192.0ms340×4exit
2.0ms20×1exit
1.0ms3×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-mult: 49.9s (32.3% of total)
ival-add: 25.3s (16.4% of total)
ival-sub: 19.9s (12.9% of total)
ival-div: 18.6s (12% of total)
ival-log: 9.6s (6.2% of total)
ival-sqrt: 6.2s (4% of total)
const: 5.9s (3.8% of total)
ival-sin: 4.4s (2.8% of total)
adjust: 3.3s (2.1% of total)
ival-cos: 3.3s (2.1% of total)
ival-exp: 3.2s (2.1% of total)
ival-true: 1.8s (1.1% of total)
exact: 1.1s (0.7% of total)
ival-assert: 923.0ms (0.6% of total)
ival-fabs: 301.0ms (0.2% of total)
ival-tan: 260.0ms (0.2% of total)
ival-cosh: 260.0ms (0.2% of total)
ival-hypot: 190.0ms (0.1% of total)
ival-acos: 171.0ms (0.1% of total)
ival-sinh: 131.0ms (0.1% of total)
ival-tanh: 105.0ms (0.1% of total)
Bogosity

simplify5.3min (17.4%)

Memory
3 449.3MiB live, 246 603.0MiB allocated
Algorithm
2 161×egg-herbie
Stop Event
2 814×iter limit
1 264×node limit
921×saturated
Counts
75 354 → 74 211

soundness5.1min (16.6%)

Memory
-728.8MiB live, 149 849.4MiB allocated
Stop Event
1 474×iter limit
1 006×node limit
152×fuel
117×done
25×saturated
3×unsound
Compiler

Compiled 237 506 to 91 042 computations (61.7% saved)

rewrite3.8min (12.6%)

Memory
-1 282.3MiB live, 210 953.1MiB allocated
Stop Event
1 932×iter limit
921×node limit
22×saturated
17×unsound
Counts
11 671 → 512 486

localize2.1min (6.9%)

Memory
-843.5MiB live, 109 021.4MiB allocated
Samples
1.2min223 634×0valid
9.2s10 593×1valid
4.0s3 982×0invalid
3.7s2 701×2valid
725.0ms211×5exit
425.0ms778×0exit
171.0ms188×3valid
60.0ms64×1invalid
32.0ms11×1exit
11.0ms11×4valid
4.0ms3×2exit
Compiler

Compiled 311 499 to 48 700 computations (84.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.8s
ival-mult: 18.6s (34.6% of total)
ival-div: 10.7s (19.9% of total)
ival-add: 7.4s (13.8% of total)
ival-sub: 4.2s (7.9% of total)
const: 2.7s (5% of total)
ival-pow: 1.8s (3.4% of total)
adjust: 1.6s (2.9% of total)
ival-log: 1.5s (2.7% of total)
ival-neg: 975.0ms (1.8% of total)
ival-cos: 961.0ms (1.8% of total)
ival-sqrt: 917.0ms (1.7% of total)
ival-sin: 563.0ms (1% of total)
ival-exp: 494.0ms (0.9% of total)
ival-pow2: 447.0ms (0.8% of total)
exact: 231.0ms (0.4% of total)
ival-true: 204.0ms (0.4% of total)
ival-assert: 106.0ms (0.2% of total)
ival-log1p: 90.0ms (0.2% of total)
ival-tan: 72.0ms (0.1% of total)
ival-hypot: 47.0ms (0.1% of total)
ival-fabs: 28.0ms (0.1% of total)
ival-expm1: 24.0ms (0% of total)
ival-cosh: 23.0ms (0% of total)
ival-acos: 22.0ms (0% of total)
ival-tanh: 19.0ms (0% of total)
ival-sinh: 15.0ms (0% of total)
ival-asin: 7.0ms (0% of total)
ival-cbrt: 5.0ms (0% of total)
ival-pi: 3.0ms (0% of total)

eval2.0min (6.6%)

Memory
241.9MiB live, 129 217.7MiB allocated
Compiler

Compiled 18 848 801 to 1 913 045 computations (89.9% saved)

regimes1.5min (5%)

Memory
-398.8MiB live, 95 817.1MiB allocated
Counts
38 417 → 4 873
Calls

511 calls:

12.8s
x
11.0s
y
8.7s
z
5.1s
t
4.6s
c
Compiler

Compiled 38 899 to 58 224 computations (-49.7% saved)

preprocess1.2min (4.1%)

Memory
538.0MiB live, 56 779.2MiB allocated
Algorithm
269×egg-herbie
Stop Event
538×iter limit
394×saturated
144×node limit
Compiler

Compiled 352 538 to 65 662 computations (81.4% saved)

series52.5s (2.9%)

Memory
-585.1MiB live, 55 023.4MiB allocated
Counts
11 671 → 75 354
Calls

9009 calls:

TimeVariablePointExpression
927.0ms
z
@-inf
((- (* x x) (* (* y 4) z)) (* (* z y) -4) (* z y) (+ (* x x) (* (* z y) -4)) (+ (* (* -4 z) y) (* x x)) (* -4 z) (* x x))
427.0ms
x
@inf
((/ (log (/ y x)) (/ -1 x)) (log (/ y x)) (/ y x) (/ -1 x) (* (/ (neg y) (neg (* x x))) x) (* (neg x) (log (* (/ (neg y) (neg (* x x))) x))) (neg x) (log (* (/ (neg y) (neg (* x x))) x)) (* x (- (log x) (log y))) (- (log x) (log y)) (log x) (log y) (* x (+ (log (/ x (* y y))) (log y))) (+ (log (/ x (* y y))) (log y)) (log (/ x (* y y))) (/ x (* y y)) (/ x (exp (* (log (log (/ x y))) -1))) (exp (* (log (log (/ x y))) -1)) (* (log (log (/ x y))) -1) (log (log (/ x y))) (/ (neg y) (neg (* x x))) (log (/ x y)))
274.0ms
z
@-inf
((* (* z z) (+ z 1)) (* x y) (* z z) (+ z 1) (/ (* x y) (* (* z z) (+ z 1))))
264.0ms
z
@0
((+ (* (/ z t) (- y x)) x) (/ z t) (- y x) (+ x (* (- y x) (/ z t))) (/ (* z y) t) (* z y) (+ x (* (- y x) (/ z t))) (/ (* (- y x) z) t) (* (- y x) z) (+ x (* (- y x) (/ z t))) (* (- y x) (/ z t)) (- y x) (neg x) (/ (- y x) (/ t z)) (+ x (/ (- y x) (/ t z))) (/ t z))
264.0ms
t
@0
((+ (- (- (* x (log y)) y) z) (log t)) (- (- (* x (log y)) y) z) (- (* x (log y)) y) (* x (log y)) (log t))

prune49.6s (2.7%)

Memory
-628.7MiB live, 53 011.3MiB allocated
Counts
533 619 → 13 538
Compiler

Compiled 827 708 to 458 892 computations (44.6% saved)

explain45.9s (2.5%)

Memory
-757.5MiB live, 46 718.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15920
/.f64#fo/n11740
sqrt.f64#foflow-rescue8250
-.f64#fcancellation6006
/.f64#fo/o5850
+.f64#fnan-rescue5200
*.f64#fn*o5030
-.f64#fnan-rescue4800
cos.f64#fsensitivity3591
/.f64#fn/o3040
+.f64#fcancellation2991
/.f64#fu/n2430
sin.f64#fsensitivity2190
*.f64#fn*u2090
cos.f64#foflow-rescue1460
/.f64#fn/u1330
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity940
log.f64#foflow-rescue840
/.f64#fu/u800
log.f64#fuflow-rescue640
sqrt.f64#fuflow-rescue480
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue350
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow35
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue350
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow35
exp.f64#fsensitivity313
*.f64#fo*u260
*.f64#fu*o30
Confusion
Predicted +Predicted -
+6054222
-171960869
Precision
0.7788498649170205
Recall
0.9646271510516252
Confusion?
Predicted +Predicted MaybePredicted -
+60543219
-1719960860
Precision?
0.7780346820809249
Recall?
0.9651051625239006
Freqs
test
numberfreq
061091
16965
2720
371
413
53
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+13910
-30126
Precision?
0.9790209790209791
Recall?
1.0
Samples
14.2s130 564×0valid
2.5s5 910×1valid
698.0ms1 186×2valid
16.0ms62×3valid
2.0ms4×4valid
1.0ms2×5exit
Compiler

Compiled 34 663 to 10 844 computations (68.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.8s
ival-mult: 3.1s (32% of total)
ival-log: 1.4s (13.9% of total)
ival-div: 1.2s (12.6% of total)
ival-add: 1.1s (11.6% of total)
ival-sub: 1.1s (11.4% of total)
const: 369.0ms (3.8% of total)
ival-sin: 332.0ms (3.4% of total)
adjust: 253.0ms (2.6% of total)
ival-sqrt: 222.0ms (2.3% of total)
ival-cos: 221.0ms (2.2% of total)
ival-exp: 125.0ms (1.3% of total)
ival-true: 119.0ms (1.2% of total)
exact: 64.0ms (0.7% of total)
ival-assert: 60.0ms (0.6% of total)
ival-tan: 11.0ms (0.1% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-hypot: 9.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-tanh: 7.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

bsearch31.7s (1.7%)

Memory
-12.9MiB live, 33 225.1MiB allocated
Algorithm
1 577×binary-search
1 171×left-value
Stop Event
1 535×narrow-enough
42×predicate-same
Samples
17.6s123 056×0valid
981.0ms3 095×1valid
338.0ms3 098×0invalid
46.0ms114×2valid
23.0ms23×1invalid
1.0ms7×3valid
Compiler

Compiled 847 204 to 617 115 computations (27.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.6s
ival-mult: 5.6s (44.7% of total)
ival-sub: 2.1s (16.9% of total)
ival-add: 1.4s (11.1% of total)
ival-div: 952.0ms (7.5% of total)
ival-log: 623.0ms (4.9% of total)
const: 553.0ms (4.4% of total)
ival-sin: 424.0ms (3.4% of total)
ival-cos: 272.0ms (2.2% of total)
adjust: 163.0ms (1.3% of total)
ival-sqrt: 134.0ms (1.1% of total)
ival-exp: 105.0ms (0.8% of total)
ival-true: 98.0ms (0.8% of total)
ival-assert: 52.0ms (0.4% of total)
exact: 50.0ms (0.4% of total)
ival-cosh: 10.0ms (0.1% of total)
ival-tanh: 6.0ms (0% of total)
ival-hypot: 6.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)
ival-sinh: 4.0ms (0% of total)
ival-tan: 2.0ms (0% of total)

analyze19.2s (1%)

Memory
-79.6MiB live, 19 779.2MiB allocated
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.8%46.8%53.1%0.1%0%0%0%1
50.5%50.1%49.2%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.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.3%0.1%0%5.6%0%8
84.3%79.3%14.7%0.1%0%5.9%0%9
85.9%80.5%13.2%0.1%0%6.2%0%10
88.5%82.8%10.8%0.1%0%6.2%0%11
89.6%83.6%9.8%0.1%0%6.5%0%12
Compiler

Compiled 3 462 to 2 977 computations (14% saved)

start7.0ms (0%)

Memory
15.2MiB live, 14.9MiB allocated

end3.0ms (0%)

Memory
-34.6MiB live, 3.5MiB allocated

Profiling

Loading profile data...