Herbie run

Date:Friday, June 28th, 2024
Commit:698d17c4 on main
Hostname:nightly with Racket 8.11.1
Seed:2024180
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)

sample1.2min (20.3%)

Memory
88.9MiB live, 84 674.5MiB allocated
Samples
32.5s285 253×0valid
15.9s46 328×1valid
6.4s15 077×2valid
439.0ms4 199×0invalid
231.0ms202×5exit
130.0ms1 028×0exit
14.0ms94×3valid
Precisions
Click to see histograms. Total time spent on operations: 42.9s
ival-mult: 10.8s (25.1% of total)
ival-pow: 5.1s (11.8% of total)
ival-add: 4.9s (11.4% of total)
ival-div: 4.5s (10.6% of total)
ival-sub: 3.2s (7.5% of total)
...in/eval/compile.rkt:105:19: 2.8s (6.5% of total)
ival-<=: 2.8s (6.5% of total)
ival-sin: 2.3s (5.4% of total)
adjust: 1.6s (3.6% of total)
ival-cos: 1.1s (2.5% of total)
ival-sqrt: 607.0ms (1.4% of total)
ival-exp: 546.0ms (1.3% of total)
ival-neg: 460.0ms (1.1% of total)
ival-==: 426.0ms (1% of total)
...in/eval/compile.rkt:104:19: 362.0ms (0.8% of total)
ival-and: 343.0ms (0.8% of total)
ival-pow2: 294.0ms (0.7% of total)
ival-pi: 149.0ms (0.3% of total)
ival-true: 139.0ms (0.3% of total)
ival-assert: 138.0ms (0.3% of total)
ival-expm1: 99.0ms (0.2% of total)
ival-log1p: 95.0ms (0.2% of total)
ival-atan: 78.0ms (0.2% of total)
ival-<: 61.0ms (0.1% of total)
ival-tan: 55.0ms (0.1% of total)
ival-hypot: 38.0ms (0.1% of total)
ival-if: 7.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)
Bogosity

simplify1.2min (19.3%)

Memory
656.0MiB live, 71 850.2MiB allocated
Algorithm
328×egg-herbie
Rules
103 149×fma-define
94 976×fmm-def
65 467×distribute-lft-in
59 419×distribute-rgt-in
52 881×times-frac
Stop Event
211×node limit
116×saturated
1×unsound
Counts
74 559 → 71 501

soundness47.5s (13.1%)

Memory
-329.6MiB live, 34 522.5MiB allocated
Rules
39 020×fma-define
37 487×log1p-expm1-u
32 310×fmm-def
30 542×expm1-log1p-u
28 043×distribute-lft-in
Stop Event
148×node limit
24×fuel
18×done
8×saturated
1×unsound
Compiler

Compiled 34 324 to 9 092 computations (73.5% saved)

rewrite36.8s (10.2%)

Memory
155.8MiB live, 34 610.7MiB allocated
Algorithm
140×batch-egg-rewrite
Rules
86 199×log1p-expm1-u
66 507×expm1-log1p-u
29 650×pow1
27 039×add-exp-log
26 796×prod-diff
Stop Event
140×node limit
Counts
1 473 → 48 593

localize33.8s (9.3%)

Memory
-28.7MiB live, 33 931.0MiB allocated
Samples
7.3s29 693×0valid
3.8s3 860×1valid
3.8s1 273×5exit
2.3s1 651×2valid
158.0ms551×0invalid
117.0ms58×3valid
74.0ms288×0exit
12.0ms2×4valid
Compiler

Compiled 33 805 to 3 477 computations (89.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.8s
ival-mult: 3.0s (23.6% of total)
ival-div: 2.2s (17.6% of total)
ival-pow: 1.3s (10.3% of total)
ival-add: 1.3s (10.3% of total)
ival-sub: 831.0ms (6.5% of total)
adjust: 714.0ms (5.6% of total)
ival-log1p: 571.0ms (4.5% of total)
...in/eval/compile.rkt:105:19: 568.0ms (4.4% of total)
ival-expm1: 443.0ms (3.5% of total)
ival-cbrt: 391.0ms (3.1% of total)
ival-tan: 304.0ms (2.4% of total)
ival-sin: 201.0ms (1.6% of total)
ival-sqrt: 184.0ms (1.4% of total)
ival-pow2: 174.0ms (1.4% of total)
ival-exp: 138.0ms (1.1% of total)
ival-cos: 85.0ms (0.7% of total)
ival-neg: 81.0ms (0.6% of total)
ival-hypot: 71.0ms (0.6% of total)
...in/eval/compile.rkt:104:19: 51.0ms (0.4% of total)
ival-true: 31.0ms (0.2% of total)
ival-atan: 21.0ms (0.2% of total)
ival-assert: 16.0ms (0.1% of total)
ival-log: 10.0ms (0.1% of total)
ival-pi: 5.0ms (0% of total)

eval30.8s (8.5%)

Memory
621.9MiB live, 32 349.3MiB allocated
Compiler

Compiled 3 261 434 to 403 698 computations (87.6% saved)

prune24.8s (6.8%)

Memory
-334.6MiB live, 37 503.3MiB allocated
Counts
105 022 → 2 060
Compiler

Compiled 88 516 to 41 566 computations (53% saved)

explain11.4s (3.1%)

Memory
312.8MiB live, 15 501.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13321
+.f64#fcancellation37390
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2220
sqrt.f64#foflow-rescue1900
/.f64#fo/o1880
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1570
/.f64#fn/o1500
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1170
/.f64#fu/n790
-.f64#fnan-rescue650
*.f64#fn*u580
/.f64#fu/u530
/.f64#fo/n520
/.f64#fn/u480
+.f64#fnan-rescue440
*.f64#fn*o260
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue230
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow31
↳(/.f64 i n)overflow23
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow23
sqrt.f64#fuflow-rescue100
*.f64(*.f64 (*.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 #s(literal 1 binary64) a) (/.f64 #s(literal 1 binary64) b)))u*o10
↳(*.f64 b b)underflow65
↳(*.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 b b) (*.f64 a a))))underflow114
↳(/.f64 #s(literal 1 binary64) (-.f64 (*.f64 b b) (*.f64 a a)))underflow114
↳(*.f64 a a)underflow55
↳(-.f64 (*.f64 b b) (*.f64 a a))underflow12
↳(-.f64 (/.f64 #s(literal 1 binary64) a) (/.f64 #s(literal 1 binary64) b))overflow1
↳(/.f64 #s(literal 1 binary64) a)overflow1
Confusion
Predicted +Predicted -
+3595463
-1366558
Precision
0.9635486464754758
Recall
0.88590438639724
Confusion?
Predicted +Predicted MaybePredicted -
+3595149314
-1361986360
Precision?
0.918097106424718
Recall?
0.9226219812715624
Freqs
test
numberfreq
07021
13291
2403
337
Total Confusion?
Predicted +Predicted MaybePredicted -
+3011
-208
Precision?
0.9393939393939394
Recall?
0.96875
Samples
2.3s16 820×0valid
981.0ms3 434×1valid
806.0ms1 244×2valid
8.0ms4×3valid
2.0ms2×4valid
Compiler

Compiled 8 444 to 1 926 computations (77.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult: 698.0ms (28.8% of total)
ival-div: 323.0ms (13.3% of total)
ival-sub: 268.0ms (11.1% of total)
ival-add: 217.0ms (9% of total)
ival-pow: 182.0ms (7.5% of total)
adjust: 170.0ms (7% of total)
ival-exp: 162.0ms (6.7% of total)
ival-cos: 120.0ms (5% of total)
ival-sin: 96.0ms (4% of total)
...in/eval/compile.rkt:105:19: 39.0ms (1.6% of total)
ival-pow2: 33.0ms (1.4% of total)
ival-neg: 26.0ms (1.1% of total)
ival-sqrt: 24.0ms (1% of total)
ival-true: 19.0ms (0.8% of total)
...in/eval/compile.rkt:104:19: 16.0ms (0.7% of total)
ival-assert: 9.0ms (0.4% of total)
ival-tan: 5.0ms (0.2% of total)
ival-log1p: 5.0ms (0.2% of total)
ival-atan: 4.0ms (0.2% of total)
ival-expm1: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

preprocess10.4s (2.9%)

Memory
-635.4MiB live, 9 305.7MiB allocated
Algorithm
42×egg-herbie
Rules
18 502×fmm-def
16 342×fma-define
9 180×sub-neg
8 997×unsub-neg
7 628×distribute-rgt-in
Stop Event
22×node limit
20×saturated
Compiler

Compiled 25 732 to 7 270 computations (71.7% saved)

bsearch7.7s (2.1%)

Memory
-102.5MiB live, 10 786.1MiB allocated
Algorithm
259×binary-search
38×left-value
Stop Event
234×narrow-enough
25×predicate-same
Samples
3.6s28 158×0valid
877.0ms3 347×1valid
476.0ms1 719×0invalid
234.0ms431×2valid
1.0ms7×0exit
Compiler

Compiled 93 271 to 51 396 computations (44.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.8s
ival-mult: 1.3s (35.7% of total)
ival-sub: 638.0ms (16.9% of total)
ival-add: 553.0ms (14.6% of total)
ival-div: 473.0ms (12.5% of total)
ival-pow: 407.0ms (10.8% of total)
ival-exp: 88.0ms (2.3% of total)
ival-neg: 74.0ms (2% of total)
adjust: 62.0ms (1.6% of total)
ival-sqrt: 50.0ms (1.3% of total)
...in/eval/compile.rkt:104:19: 24.0ms (0.6% of total)
ival-true: 24.0ms (0.6% of total)
ival-pow2: 19.0ms (0.5% of total)
ival-assert: 13.0ms (0.3% of total)
...in/eval/compile.rkt:105:19: 6.0ms (0.2% of total)
ival-pi: 1.0ms (0% of total)

series6.2s (1.7%)

Memory
-92.8MiB live, 8 111.0MiB allocated
Counts
1 473 → 25 966
Calls

6903 calls:

TimeVariablePointExpression
224.0ms
x
@0
(cbrt (cos x))
112.0ms
a
@inf
(/ (+ (* a c) (* b d)) (+ (* c c) (* d d)))
106.0ms
a
@0
(* (/ -1/2 a) (+ (* -2 (/ (* a c) b)) (* 2 b)))
103.0ms
x
@-inf
(* 1/2 (/ 1 x))
101.0ms
x
@inf
(sqrt (sqrt (pow (exp 80) x)))

regimes6.0s (1.7%)

Memory
-35.6MiB live, 9 036.2MiB allocated
Counts
4 673 → 576
Calls

96 calls:

760.0ms
x
335.0ms
a
313.0ms
b
288.0ms
x1
230.0ms
c
Compiler

Compiled 4 320 to 2 639 computations (38.9% saved)

analyze3.9s (1.1%)

Memory
4.7MiB live, 5 134.5MiB allocated
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
37.4%20.4%34.1%45.5%0%0%0%2
48.7%26.2%27.7%45.5%0%0.6%0%3
57.7%30.7%22.6%45.5%0%1.2%0%4
71.2%37.7%15.3%45.5%0%1.6%0%5
72.9%38.4%14.3%45.5%0%1.8%0%6
77.9%40.7%11.6%45.5%0%2.2%0%7
81.5%42.6%9.7%45.5%0%2.3%0%8
84.1%43.8%8.3%45.5%0%2.5%0%9
86.2%44.6%7.2%45.5%0%2.7%0%10
88.2%45.6%6.1%45.5%0%2.8%0%11
89.1%45.9%5.6%45.5%0%2.9%0%12
Compiler

Compiled 1 401 to 721 computations (48.5% saved)

end0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated

Profiling

Loading profile data...