simple fma test

Time bar (total: 3.9s)

analyze0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 14 to 10 computations (28.6% saved)

sample1.2s (32%)

Memory
47.1MiB live, 1 344.4MiB allocated
Samples
761.0ms6 093×1valid
132.0ms2 163×0valid
Precisions
Click to see histograms. Total time spent on operations: 648.0ms
ival-sub: 245.0ms (37.8% of total)
ival-add: 157.0ms (24.2% of total)
ival-mult: 130.0ms (20.1% of total)
adjust: 100.0ms (15.4% of total)
exact: 7.0ms (1.1% of total)
ival-true: 6.0ms (0.9% of total)
ival-assert: 3.0ms (0.5% of total)
Bogosity

preprocess893.0ms (23.2%)

Memory
-6.2MiB live, 980.7MiB allocated
Algorithm
2×egg-herbie
Rules
23 408×accelerator-lowering-fma.f32
23 408×accelerator-lowering-fma.f64
4 272×+-lowering-+.f64
4 272×+-lowering-+.f32
2 324×distribute-lft-in
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
044133
1123129
2334126
31142126
43336126
54421126
65060126
75644126
85794126
95800126
105800126
115808126
125808126
136174126
0813
12113
2641
32271
45371
519221
634491
746321
852131
953431
1053751
1153751
1256431
1358161
1458921
1559081
1659081
1759241
1859241
1960521
2068211
085931
Stop Event
1×iter limit
1×node limit
1×saturated
Calls
Call 1
Inputs
(- (+ (* x y) z) (+ 1 (+ (* x y) z)))
Outputs
(- (+ (* x y) z) (+ 1 (+ (* x y) z)))
#s(literal -1 binary64)
Call 2
Inputs
(- (fma x y z) (+ 1 (+ (* x y) z)))
(- (fma (neg x) y z) (+ 1 (+ (* (neg x) y) z)))
(- (fma x (neg y) z) (+ 1 (+ (* x (neg y)) z)))
(- (fma x y (neg z)) (+ 1 (+ (* x y) (neg z))))
(neg (- (fma (neg x) y z) (+ 1 (+ (* (neg x) y) z))))
(neg (- (fma x (neg y) z) (+ 1 (+ (* x (neg y)) z))))
(neg (- (fma x y (neg z)) (+ 1 (+ (* x y) (neg z)))))
(- (fma y x z) (+ 1 (+ (* y x) z)))
(- (fma z y x) (+ 1 (+ (* z y) x)))
(- (fma x z y) (+ 1 (+ (* x z) y)))
Outputs
(- (fma x y z) (+ 1 (+ (* x y) z)))
(+ (fma x y z) (- -1 (+ z (* x y))))
(- (fma (neg x) y z) (+ 1 (+ (* (neg x) y) z)))
(+ (- (* x y) z) (+ (fma (neg x) y z) -1))
(- (fma x (neg y) z) (+ 1 (+ (* x (neg y)) z)))
(+ (* x y) (+ (fma x (neg y) z) (- -1 z)))
(- (fma x y (neg z)) (+ 1 (+ (* x y) (neg z))))
(+ (fma x y (neg z)) (+ z (- -1 (* x y))))
(neg (- (fma (neg x) y z) (+ 1 (+ (* (neg x) y) z))))
(+ (- z (* x y)) (- 1 (fma (neg x) y z)))
(neg (- (fma x (neg y) z) (+ 1 (+ (* x (neg y)) z))))
(- (- z (+ (* x y) -1)) (fma x (neg y) z))
(neg (- (fma x y (neg z)) (+ 1 (+ (* x y) (neg z)))))
(+ (- 1 z) (- (* x y) (fma x y (neg z))))
(- (fma y x z) (+ 1 (+ (* y x) z)))
(+ (fma y x z) (- -1 (+ z (* x y))))
(- (fma z y x) (+ 1 (+ (* z y) x)))
(+ (fma z y x) (- (- -1 x) (* y z)))
(- (fma x z y) (+ 1 (+ (* x z) y)))
(+ (fma x z y) (- (- -1 (* x z)) y))

explain129.0ms (3.3%)

Memory
37.0MiB live, 344.7MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1816(-4.199325424466319e-77 1.9232236938336521e+87 -1.0958928492815178e-131)0-(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
00-0-(+.f64 (*.f64 x y) z)
00-0-(fma.f64 x y z)
00-0-#s(literal 1 binary64)
00-0-(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
00-0-z
00-0-(*.f64 x y)
00-0-y
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))cancellation1654
-.f64(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))nan-rescue220
↳(fma.f64 x y z)overflow22
↳(+.f64 (*.f64 x y) z)overflow22
↳(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))overflow22
↳(*.f64 x y)overflow22
Confusion
Predicted +Predicted -
+1810
-669
Precision
0.9679144385026738
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+18100
-6465
Precision?
0.9476439790575916
Recall?
1.0
Freqs
test
numberfreq
069
1187
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
42.0ms372×1valid
9.0ms140×0valid
Compiler

Compiled 104 to 38 computations (63.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 26.0ms
ival-add: 9.0ms (34.2% of total)
ival-mult: 6.0ms (22.8% of total)
ival-sub: 6.0ms (22.8% of total)
adjust: 5.0ms (19% of total)
exact: 1.0ms (3.8% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

eval0.0ms (0%)

Memory
1.2MiB live, 1.2MiB allocated
Compiler

Compiled 4 to 4 computations (0% saved)

prune1.0ms (0%)

Memory
3.2MiB live, 3.2MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
#s(literal -1 binary64)
Compiler

Compiled 4 to 4 computations (0% saved)

simplify4.0ms (0.1%)

Memory
-29.1MiB live, 7.9MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
011
011
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
-1
Outputs
-1
#s(literal -1 binary64)

localize7.0ms (0.2%)

Memory
27.7MiB live, 27.7MiB allocated
Samples
5.0ms256×0valid
Compiler

Compiled 3 to 6 computations (-100% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Counts
0 → 0
Calls
Call 1
Inputs
Outputs

rewrite18.0ms (0.5%)

Memory
4.8MiB live, 44.5MiB allocated
Algorithm
1×batch-egg-rewrite
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
000
Stop Event
1×saturated
1×saturated
Counts
0 → 0
Calls
Call 1
Inputs
Outputs

simplify4.0ms (0.1%)

Memory
-30.1MiB live, 6.2MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
000
Stop Event
1×saturated
1×saturated
Counts
0 → 0
Calls
Call 1
Inputs
Outputs

eval1.0ms (0%)

Memory
1.9MiB live, 1.9MiB allocated
Compiler

Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Memory
3.7MiB live, 3.7MiB allocated
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accuracy
100.0%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
#s(literal -1 binary64)
Compiler

Compiled 20 to 14 computations (30% saved)

regimes6.0ms (0.2%)

Memory
21.1MiB live, 21.1MiB allocated
Accuracy

Total -44.0b remaining (-∞%)

Threshold costs -44b (-∞%)

Counts
2 → 1
Calls
Call 1
Inputs
#s(literal -1 binary64)
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
Outputs
#s(literal -1 binary64)
Calls

4 calls:

1.0ms
y
1.0ms
z
1.0ms
x
1.0ms
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
100.0%1z
100.0%1(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
Compiler

Compiled 27 to 18 computations (33.3% saved)

simplify8.0ms (0.2%)

Memory
-14.3MiB live, 23.0MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
011
Stop Event
1×saturated
Calls
Call 1
Inputs
#s(literal -1 binary64)
Outputs
#s(literal -1 binary64)

soundness1.5s (39.4%)

Memory
-23.8MiB live, 1 112.1MiB allocated
Rules
23 408×accelerator-lowering-fma.f32
23 408×accelerator-lowering-fma.f64
4 272×+-lowering-+.f64
4 272×+-lowering-+.f32
2 324×distribute-lft-in
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0813
12113
2641
32271
45371
519221
634491
746321
852131
953431
1053751
1153751
1256431
1358161
1458921
1559081
1659081
1759241
1859241
1960521
2068211
085931
Stop Event
1×done
1×iter limit
1×node limit
Compiler

Compiled 8 to 8 computations (0% saved)

preprocess29.0ms (0.8%)

Memory
7.8MiB live, 84.8MiB allocated
Compiler

Compiled 46 to 34 computations (26.1% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...