Herbie run

Date:Thursday, June 27th, 2024
Commit:1ed5d077 on no-const-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024179
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.5min)

sample1.5min (23.3%)

Memory
69.7MiB live, 86 235.4MiB allocated
Samples
47.0s275 801×0valid
17.0s54 498×1valid
6.9s16 363×2valid
425.0ms4 137×0invalid
349.0ms202×5exit
118.0ms945×0exit
21.0ms90×3valid
Precisions
Click to see histograms. Total time spent on operations: 50.5s
...in/eval/compile.rkt:77:19: 10.9s (21.6% of total)
ival-mult: 9.9s (19.7% of total)
ival-pow: 5.0s (9.9% of total)
ival-add: 4.6s (9.1% of total)
ival-div: 3.9s (7.7% of total)
ival-sub: 3.8s (7.5% of total)
ival-sin: 2.4s (4.8% of total)
ival-<=: 2.0s (4% of total)
adjust: 1.9s (3.7% of total)
ival-log: 1.1s (2.2% of total)
ival-exp: 971.0ms (1.9% of total)
ival-cos: 735.0ms (1.5% of total)
ival-neg: 671.0ms (1.3% of total)
ival-sqrt: 399.0ms (0.8% of total)
...in/eval/compile.rkt:76:19: 362.0ms (0.7% of total)
ival-atan: 336.0ms (0.7% of total)
ival-and: 336.0ms (0.7% of total)
ival-pow2: 296.0ms (0.6% of total)
ival-==: 260.0ms (0.5% of total)
ival-tan: 159.0ms (0.3% of total)
ival-true: 134.0ms (0.3% of total)
ival-assert: 128.0ms (0.3% of total)
ival-pi: 76.0ms (0.2% of total)
ival-<: 64.0ms (0.1% of total)
ival-if: 7.0ms (0% of total)
ival-fabs: 6.0ms (0% of total)
Bogosity

simplify1.4min (22.1%)

Memory
102.0MiB live, 78 399.7MiB allocated
Algorithm
327×egg-herbie
Rules
111 361×fma-define
89 799×fmm-def
72 417×distribute-lft-in
63 862×distribute-rgt-in
56 187×*-commutative
Stop Event
228×node limit
99×saturated
Counts
80 607 → 78 271

soundness48.6s (12.5%)

Memory
298.6MiB live, 37 158.8MiB allocated
Rules
41 728×log1p-expm1-u
37 418×fma-define
34 742×expm1-log1p-u
32 081×fmm-def
25 305×*-commutative
Stop Event
150×node limit
25×fuel
17×done
9×saturated
Compiler

Compiled 37 426 to 9 992 computations (73.3% saved)

rewrite36.4s (9.4%)

Memory
84.8MiB live, 33 804.7MiB allocated
Algorithm
141×batch-egg-rewrite
Rules
82 817×log1p-expm1-u
68 450×expm1-log1p-u
31 677×pow1
30 046×add-exp-log
28 691×add-log-exp
Stop Event
141×node limit
Counts
1 696 → 50 303

localize30.8s (7.9%)

Memory
82.7MiB live, 37 138.5MiB allocated
Samples
8.1s28 438×0valid
4.9s1 345×5exit
4.3s4 519×1valid
3.0s1 838×2valid
275.0ms629×0invalid
226.0ms87×3valid
12.0ms4×4valid
2.0ms3×1exit
0.0ms1×0exit
Compiler

Compiled 34 324 to 4 029 computations (88.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.8s
ival-mult: 3.7s (23.1% of total)
ival-div: 2.5s (16% of total)
ival-pow: 2.5s (15.8% of total)
ival-add: 1.8s (11.3% of total)
adjust: 1.2s (7.7% of total)
...in/eval/compile.rkt:77:19: 956.0ms (6% of total)
ival-sub: 820.0ms (5.2% of total)
ival-log1p: 779.0ms (4.9% of total)
ival-pow2: 319.0ms (2% of total)
ival-sqrt: 232.0ms (1.5% of total)
ival-tan: 174.0ms (1.1% of total)
ival-atan: 163.0ms (1% of total)
ival-cbrt: 156.0ms (1% of total)
ival-exp: 141.0ms (0.9% of total)
ival-neg: 70.0ms (0.4% of total)
ival-sin: 62.0ms (0.4% of total)
...in/eval/compile.rkt:76:19: 57.0ms (0.4% of total)
ival-hypot: 55.0ms (0.3% of total)
ival-cos: 44.0ms (0.3% of total)
ival-expm1: 37.0ms (0.2% of total)
ival-true: 30.0ms (0.2% of total)
ival-assert: 15.0ms (0.1% of total)
ival-log: 10.0ms (0.1% of total)
ival-pi: 6.0ms (0% of total)
ival-e: 5.0ms (0% of total)

eval25.9s (6.7%)

Memory
708.8MiB live, 35 373.2MiB allocated
Compiler

Compiled 3 599 009 to 488 282 computations (86.4% saved)

prune25.3s (6.5%)

Memory
-781.8MiB live, 39 852.6MiB allocated
Counts
115 256 → 2 038
Compiler

Compiled 86 821 to 45 313 computations (47.8% saved)

series11.8s (3%)

Memory
71.8MiB live, 14 915.5MiB allocated
Counts
1 696 → 30 304
Calls

8133 calls:

TimeVariablePointExpression
372.0ms
x
@inf
(/ (+ (* (+ 1 (/ 1 eps)) (pow (exp x) (+ eps -1))) (/ (+ 1 (/ -1 eps)) (exp (+ (* eps x) x)))) 2)
371.0ms
x
@-inf
(/ (+ (* (+ 1 (/ 1 eps)) (pow (exp x) (+ eps -1))) (/ (+ 1 (/ -1 eps)) (exp (+ (* eps x) x)))) 2)
276.0ms
x
@inf
(log (+ 1 (cos x)))
247.0ms
a
@-inf
(/ (+ (* -1 b) (* a (/ d c))) c)
209.0ms
eps
@inf
(pow (exp (+ 1 eps)) (neg x))

preprocess10.3s (2.7%)

Memory
-672.2MiB live, 8 802.5MiB 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 20 654 to 7 086 computations (65.7% saved)

explain10.1s (2.6%)

Memory
-8.5MiB live, 15 499.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13445
+.f64#fcancellation37285
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2220
sqrt.f64#foflow-rescue1980
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1751
/.f64#fn/o1620
/.f64#fo/o1550
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1310
-.f64#fnan-rescue900
/.f64#fu/n790
/.f64#fn/u570
/.f64#fu/u520
*.f64#fn*u520
+.f64#fnan-rescue450
/.f64#fo/n410
*.f64#fn*o390
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue220
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow31
↳(/.f64 i n)overflow22
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow22
sqrt.f64#fuflow-rescue200
Confusion
Predicted +Predicted -
+3673478
-1086493
Precision
0.9714361280084634
Recall
0.884847024813298
Confusion?
Predicted +Predicted MaybePredicted -
+3673153325
-1081936300
Precision?
0.9270656651320572
Recall?
0.9217056131052759
Freqs
test
numberfreq
06971
13333
2401
347
Total Confusion?
Predicted +Predicted MaybePredicted -
+2911
-209
Precision?
0.9375
Recall?
0.967741935483871
Samples
1.6s16 138×0valid
1.1s3 952×1valid
611.0ms1 386×2valid
22.0ms26×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.0s
ival-mult: 501.0ms (24.7% of total)
ival-add: 300.0ms (14.8% of total)
ival-div: 286.0ms (14.1% of total)
ival-sub: 225.0ms (11.1% of total)
ival-pow: 174.0ms (8.6% of total)
adjust: 106.0ms (5.2% of total)
ival-sin: 100.0ms (4.9% of total)
ival-neg: 63.0ms (3.1% of total)
...in/eval/compile.rkt:77:19: 47.0ms (2.3% of total)
ival-log: 47.0ms (2.3% of total)
ival-exp: 46.0ms (2.3% of total)
ival-cos: 43.0ms (2.1% of total)
ival-sqrt: 22.0ms (1.1% of total)
ival-true: 18.0ms (0.9% of total)
...in/eval/compile.rkt:76:19: 16.0ms (0.8% of total)
ival-pow2: 14.0ms (0.7% of total)
ival-assert: 9.0ms (0.4% of total)
ival-atan: 5.0ms (0.2% of total)
ival-tan: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

regimes4.9s (1.3%)

Memory
98.4MiB live, 8 002.7MiB allocated
Counts
4 146 → 400
Calls

96 calls:

510.0ms
b
481.0ms
x
277.0ms
a
241.0ms
n
237.0ms
c
Compiler

Compiled 3 936 to 2 404 computations (38.9% saved)

bsearch4.2s (1.1%)

Memory
10.9MiB live, 4 720.0MiB allocated
Algorithm
143×binary-search
26×left-value
Stop Event
128×narrow-enough
15×predicate-same
Samples
2.2s14 901×0valid
557.0ms2 253×1valid
88.0ms270×2valid
68.0ms968×0invalid
5.0ms41×0exit
Compiler

Compiled 53 585 to 30 251 computations (43.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 756.0ms (33.8% of total)
ival-div: 387.0ms (17.3% of total)
ival-pow: 355.0ms (15.9% of total)
ival-sub: 291.0ms (13% of total)
ival-add: 273.0ms (12.2% of total)
ival-neg: 72.0ms (3.2% of total)
adjust: 36.0ms (1.6% of total)
ival-sqrt: 25.0ms (1.1% of total)
ival-true: 13.0ms (0.6% of total)
...in/eval/compile.rkt:76:19: 12.0ms (0.5% of total)
ival-exp: 10.0ms (0.4% of total)
ival-assert: 7.0ms (0.3% of total)
ival-pi: 2.0ms (0.1% of total)

analyze4.1s (1.1%)

Memory
10.4MiB live, 6 105.8MiB 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
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.5%0%1.6%0%5
72.8%38.4%14.4%45.5%0%1.8%0%6
77.8%40.7%11.6%45.5%0%2.2%0%7
81.4%42.5%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 731 computations (47.8% saved)

end0.0ms (0%)

Memory
0.7MiB live, 0.6MiB allocated

Profiling

Loading profile data...