Herbie run

Date:Friday, August 9th, 2024
Commit:71352b24 on artem-batch-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024222
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: 5.6min)

sample1.8min (32.7%)

Memory
26.7MiB live, 127 337.0MiB allocated
Samples
27.9s41 725×2valid
23.3s145 393×0invalid
18.4s91 769×1valid
9.6s5 056×5exit
8.1s94 670×0valid
1.9s3 002×3valid
443.0ms2 332×1exit
384.0ms4 229×0exit
9.0ms4×3exit
7.0ms4×4exit
7.0ms7×2exit
2.0ms2×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-tan: 12.9s (17.1% of total)
ival-pow: 9.8s (13% of total)
adjust: 5.7s (7.6% of total)
ival-mult: 5.6s (7.4% of total)
const: 5.2s (6.9% of total)
ival-cos: 4.4s (5.9% of total)
ival-div: 3.9s (5.1% of total)
ival-log: 3.5s (4.7% of total)
ival-sub: 3.4s (4.6% of total)
ival-add: 3.4s (4.5% of total)
ival-sin: 3.0s (4% of total)
ival-exp: 2.3s (3.1% of total)
ival-fabs: 2.1s (2.7% of total)
ival-<=: 2.0s (2.7% of total)
ival-expm1: 1.6s (2.1% of total)
ival-sqrt: 1.3s (1.7% of total)
ival-log1p: 954.0ms (1.3% of total)
ival-<: 906.0ms (1.2% of total)
ival-and: 582.0ms (0.8% of total)
ival-fmin: 564.0ms (0.8% of total)
ival-atan: 511.0ms (0.7% of total)
ival->: 391.0ms (0.5% of total)
ival-cbrt: 381.0ms (0.5% of total)
exact: 334.0ms (0.4% of total)
ival-neg: 243.0ms (0.3% of total)
ival-assert: 142.0ms (0.2% of total)
ival-true: 67.0ms (0.1% of total)
Bogosity

simplify1.2min (21.4%)

Memory
-385.9MiB live, 86 470.2MiB allocated
Algorithm
244×egg-herbie
Rules
2 134 356×lower-fma.f32
2 133 718×lower-fma.f64
744 208×lower-*.f32
743 122×lower-*.f64
488 650×lower-+.f32
Stop Event
321×iter limit
169×node limit
78×saturated
Counts
30 168 → 29 773

rewrite39.1s (11.6%)

Memory
627.7MiB live, 50 413.4MiB allocated
Algorithm
108×batch-egg-rewrite
Rules
474 104×lower-fma.f32
473 470×lower-fma.f64
431 594×lower-*.f32
430 512×lower-*.f64
390 408×lower-/.f32
Stop Event
220×iter limit
107×node limit
3×saturated
Counts
1 727 → 63 182

soundness28.7s (8.5%)

Memory
242.7MiB live, 17 769.9MiB allocated
Rules
1 129 006×lower-fma.f32
1 128 682×lower-fma.f64
564 106×lower-*.f32
563 558×lower-*.f64
328 286×lower-+.f32
Stop Event
193×iter limit
127×node limit
23×fuel
5×done
2×saturated
Compiler

Compiled 9 719 to 4 691 computations (51.7% saved)

localize25.8s (7.7%)

Memory
-361.1MiB live, 32 604.6MiB allocated
Samples
7.1s5 588×2valid
7.1s10 551×1valid
2.8s10 510×0valid
1.8s636×3valid
544.0ms86×5exit
53.0ms93×0exit
37.0ms164×0invalid
14.0ms18×1exit
2.0ms2×4exit
Compiler

Compiled 26 700 to 3 474 computations (87% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.0s
ival-mult: 2.6s (16.3% of total)
ival-tan: 2.3s (14.5% of total)
ival-div: 2.1s (13% of total)
adjust: 1.8s (11.5% of total)
ival-add: 1.6s (9.7% of total)
const: 809.0ms (5.1% of total)
ival-log: 807.0ms (5% of total)
ival-pow: 734.0ms (4.6% of total)
ival-sub: 679.0ms (4.2% of total)
ival-sin: 640.0ms (4% of total)
ival-cos: 621.0ms (3.9% of total)
ival-exp: 403.0ms (2.5% of total)
ival-sqrt: 198.0ms (1.2% of total)
ival-log1p: 146.0ms (0.9% of total)
ival-neg: 137.0ms (0.9% of total)
ival-pow2: 121.0ms (0.8% of total)
ival-cbrt: 90.0ms (0.6% of total)
ival-expm1: 75.0ms (0.5% of total)
exact: 41.0ms (0.3% of total)
ival-atan: 31.0ms (0.2% of total)
ival-atan2: 24.0ms (0.1% of total)
ival-true: 23.0ms (0.1% of total)
ival-assert: 12.0ms (0.1% of total)
ival-fabs: 1.0ms (0% of total)

eval18.3s (5.4%)

Memory
592.2MiB live, 26 771.6MiB allocated
Compiler

Compiled 3 442 244 to 257 870 computations (92.5% saved)

prune16.0s (4.7%)

Memory
-711.4MiB live, 26 092.4MiB allocated
Counts
109 997 → 2 006
Compiler

Compiled 78 732 to 35 534 computations (54.9% saved)

series8.6s (2.6%)

Memory
-19.4MiB live, 10 208.9MiB allocated
Counts
1 727 → 30 168
Calls

3918 calls:

TimeVariablePointExpression
272.0ms
x
@inf
(sin (+ x eps))
212.0ms
N
@0
(log (/ 1 (atan2 1 (+ (* N N) (+ N 1)))))
137.0ms
x
@-inf
(/ 1 (/ (+ (* (pow (+ x 1) (/ 1 n)) (pow (+ x 1) (/ 1 n))) (* (pow x (/ 1 n)) (+ (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))))) (- (* (pow (+ x 1) (/ 1 n)) (* (pow (+ x 1) (/ 1 n)) (pow (+ x 1) (/ 1 n)))) (pow x (* (/ 1 n) 3)))))
132.0ms
x
@0
(pow x (/ 1 n))
117.0ms
x
@0
(* x (+ (* (* x x) (* x (+ (* (* x x) 1/360) 1/12))) x))

explain6.3s (1.9%)

Memory
-51.7MiB live, 7 413.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation410738
log.f64#fsensitivity7640
/.f64#fu/u4510
sqrt.f64#foflow-rescue4000
+.f64#fcancellation3400
/.f64#fu/n1060
pow.f64(pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n))sensitivity870
/.f64(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))))n/u210
↳(*.f64 b eps)underflow154
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow163
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow154
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow238
↳(*.f64 a eps)underflow163
-.f64#fnan-rescue210
sqrt.f64#fuflow-rescue180
cos.f64(cos.f64 (+.f64 x eps))sensitivity20
/.f64(/.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))o/n20
↳(*.f64 b b)overflow81
↳(*.f64 #s(literal 4 binary64) (*.f64 a c))overflow31
↳(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c)))))overflow2
↳(*.f64 a c)overflow31
↳(-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c)))overflow103
/.f64(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))o/o20
↳(exp.f64 (*.f64 #s(literal 2 binary64) x))overflow2
↳(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))overflow2
↳(exp.f64 x)overflow2
↳(-.f64 (exp.f64 x) #s(literal 1 binary64))overflow2
sin.f64(sin.f64 (+.f64 x eps))sensitivity20
tan.f64(tan.f64 (+.f64 x eps))sensitivity20
exp.f64(exp.f64 (*.f64 a x))sensitivity10
Confusion
Predicted +Predicted -
+519820
-1541796
Precision
0.9712257100149477
Recall
0.9961671138367191
Confusion?
Predicted +Predicted MaybePredicted -
+5198137
-154251771
Precision?
0.9667903525046382
Recall?
0.9986584898428517
Freqs
test
numberfreq
01816
14564
2643
3104
441
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
1.7s2 658×2valid
1.1s5 712×1valid
698.0ms5 778×0valid
227.0ms188×3valid
Compiler

Compiled 2 522 to 980 computations (61.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9s
ival-tan: 807.0ms (27.6% of total)
ival-cos: 290.0ms (9.9% of total)
adjust: 280.0ms (9.6% of total)
ival-sin: 211.0ms (7.2% of total)
ival-div: 205.0ms (7% of total)
ival-log: 186.0ms (6.4% of total)
ival-sub: 163.0ms (5.6% of total)
ival-exp: 145.0ms (5% of total)
ival-pow: 134.0ms (4.6% of total)
ival-add: 117.0ms (4% of total)
ival-mult: 94.0ms (3.2% of total)
ival-sqrt: 91.0ms (3.1% of total)
ival-log1p: 69.0ms (2.4% of total)
ival-expm1: 58.0ms (2% of total)
ival-atan: 24.0ms (0.8% of total)
ival-cbrt: 15.0ms (0.5% of total)
ival-neg: 14.0ms (0.5% of total)
ival-true: 12.0ms (0.4% of total)
exact: 8.0ms (0.3% of total)
ival-assert: 6.0ms (0.2% of total)

preprocess5.0s (1.5%)

Memory
306.4MiB live, 5 844.6MiB allocated
Algorithm
28×egg-herbie
Rules
27 478×lower-fma.f64
27 478×lower-fma.f32
10 768×div-sub
10 444×sub-neg
9 190×lower-*.f32
Stop Event
56×iter limit
50×saturated
6×node limit
Compiler

Compiled 10 888 to 3 760 computations (65.5% saved)

regimes3.9s (1.1%)

Memory
77.6MiB live, 5 510.4MiB allocated
Counts
4 287 → 317
Calls

43 calls:

1.1s
x
261.0ms
eps
205.0ms
b
191.0ms
N
145.0ms
(exp.f64 x)
Compiler

Compiled 2 951 to 1 956 computations (33.7% saved)

analyze1.7s (0.5%)

Memory
-10.2MiB live, 2 274.9MiB allocated
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
7.4%4.5%56.6%38.9%0%0%0%1
22.3%13.6%47.5%38.9%0%0%0%2
40.2%23.5%34.9%38.9%0%2.7%0%3
53.4%31.1%27.2%38.9%0%2.8%0%4
63%36.3%21.3%38.9%0%3.6%0%5
65.9%37.5%19.4%38.9%0%4.2%0%6
70.4%38.8%16.3%38.9%0%6%0%7
73.6%40.2%14.4%38.9%0%6.5%0%8
76.3%40.9%12.7%38.9%0%7.5%0%9
78.4%41.4%11.4%38.9%0%8.3%0%10
81.1%42.4%9.9%38.9%0%8.8%0%11
82.3%42.7%9.2%38.9%0%9.3%0%12
Compiler

Compiled 483 to 337 computations (30.2% saved)

bsearch833.0ms (0.2%)

Memory
45.4MiB live, 1 056.1MiB allocated
Algorithm
68×binary-search
37×left-value
Stop Event
65×narrow-enough
3×predicate-same
Samples
276.0ms3 104×0valid
88.0ms736×0invalid
78.0ms689×1valid
68.0ms217×2valid
4.0ms40×0exit
1.0ms6×3valid
0.0ms2×1exit
Compiler

Compiled 13 348 to 8 952 computations (32.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 381.0ms
ival-mult: 72.0ms (18.9% of total)
ival-add: 54.0ms (14.2% of total)
ival-neg: 45.0ms (11.8% of total)
ival-div: 41.0ms (10.8% of total)
ival-sub: 39.0ms (10.2% of total)
ival-pow: 29.0ms (7.6% of total)
ival-cos: 28.0ms (7.3% of total)
ival-sqrt: 24.0ms (6.3% of total)
adjust: 21.0ms (5.5% of total)
ival-cbrt: 11.0ms (2.9% of total)
ival-sin: 6.0ms (1.6% of total)
ival-true: 3.0ms (0.8% of total)
exact: 3.0ms (0.8% of total)
ival-assert: 2.0ms (0.5% of total)
ival-log1p: 1.0ms (0.3% of total)
ival-expm1: 1.0ms (0.3% of total)
ival-log: 1.0ms (0.3% of total)

start0.0ms (0%)

Memory
1.2MiB live, 1.2MiB allocated

end0.0ms (0%)

Memory
0.4MiB live, 0.3MiB allocated

Profiling

Loading profile data...