simple fma test

Time bar (total: 4.2s)

analyze3.0ms (0.1%)

Memory
-32.7MiB live, 0.7MiB 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.4s (32.7%)

Memory
40.9MiB live, 1 376.3MiB allocated
Samples
863.0ms6 052×1valid
136.0ms2 204×0valid
Precisions
Click to see histograms. Total time spent on operations: 517.0ms
ival-add: 192.0ms (37.1% of total)
adjust: 132.0ms (25.5% of total)
ival-mult: 114.0ms (22.1% of total)
ival-sub: 62.0ms (12% of total)
exact: 8.0ms (1.5% of total)
ival-true: 5.0ms (1% of total)
ival-assert: 3.0ms (0.6% of total)
Bogosity

preprocess1.0s (24.1%)

Memory
17.0MiB live, 848.6MiB allocated
Algorithm
1×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
040121
1112117
2312114
31101114
43150114
54174114
64764114
75251114
85381114
95387114
105423114
115431114
125431114
135431114
145714114
155714114
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)

explain133.0ms (3.2%)

Memory
33.5MiB live, 336.6MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1785(8.224046386313645e-268 1.2131829660225782e+260 -94778242.54411617)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)))cancellation1520
-.f64(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))nan-rescue310
↳(fma.f64 x y z)overflow31
↳(+.f64 (*.f64 x y) z)overflow31
↳(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))overflow31
↳(*.f64 x y)overflow31
Confusion
Predicted +Predicted -
+1780
-573
Precision
0.9726775956284153
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+17800
-5073
Precision?
0.9726775956284153
Recall?
1.0
Freqs
test
numberfreq
073
1183
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
42.0ms358×1valid
10.0ms154×0valid
Compiler

Compiled 104 to 38 computations (63.5% saved)

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

eval1.0ms (0%)

Memory
-37.0MiB live, 0.6MiB allocated
Compiler

Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Memory
2.1MiB live, 2.1MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶32.3%
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
Compiler

Compiled 15 to 9 computations (40% saved)

simplify655.0ms (15.5%)

Memory
9.8MiB live, 924.5MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
✓cost-diff0
(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
✓cost-diff0
(fma.f64 x y z)
✓cost-diff128
(+.f64 (*.f64 x y) z)
✓cost-diff1152
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
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: 0 (0.0ms)

IterNodesCost
0837
12137
26425
322725
453725
5192225
6344925
7463225
8521325
9534325
10537525
11537525
12564325
13581625
14589225
15590825
16590825
17592425
18592425
19605225
20682125
0859322
Stop Event
1×iter limit
1×node limit
Calls
Call 1
Inputs
(- (+ (* x y) z) (+ 1 (+ (* x y) z)))
(+ (* x y) z)
x
y
z
(+ 1 (+ (* x y) z))
1
(+ (* x y) z)
(* x y)
Outputs
(- (+ (* x y) z) (+ 1 (+ (* x y) z)))
#s(literal -1 binary64)
(+ (* x y) z)
(fma.f64 x y z)
x
y
z
(+ 1 (+ (* x y) z))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
1
#s(literal 1 binary64)
(+ (* x y) z)
(fma.f64 x y z)
(* x y)
(*.f64 x y)

localize51.0ms (1.2%)

Memory
29.0MiB live, 68.1MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
✓accuracy100.0%
(*.f64 x y)
✓accuracy100.0%
(+.f64 (*.f64 x y) z)
✓accuracy100.0%
(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
✓accuracy32.4%
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
Samples
37.0ms179×1valid
4.0ms77×0valid
Compiler

Compiled 37 to 10 computations (73% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.0ms
ival-add: 4.0ms (32.2% of total)
adjust: 3.0ms (24.1% of total)
ival-mult: 3.0ms (24.1% of total)
ival-sub: 2.0ms (16.1% of total)
ival-assert: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

series35.0ms (0.8%)

Memory
-31.8MiB live, 10.2MiB allocated
Counts
5 → 168
Calls
Call 1
Inputs
#<alt (- (+ (* x y) z) (+ 1 (+ (* x y) z)))>
#<alt (+ (* x y) z)>
#<alt (+ (* x y) z)>
#<alt (+ 1 (+ (* x y) z))>
#<alt (* x y)>
Outputs
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt -1>
#<alt z>
#<alt (+ z (* x y))>
#<alt (+ z (* x y))>
#<alt (+ z (* x y))>
#<alt (* x y)>
#<alt (* x (+ y (/ z x)))>
#<alt (* x (+ y (/ z x)))>
#<alt (* x (+ y (/ z x)))>
#<alt (* x y)>
#<alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))>
#<alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))>
#<alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))>
#<alt z>
#<alt (+ z (* x y))>
#<alt (+ z (* x y))>
#<alt (+ z (* x y))>
#<alt (* x y)>
#<alt (* y (+ x (/ z y)))>
#<alt (* y (+ x (/ z y)))>
#<alt (* y (+ x (/ z y)))>
#<alt (* x y)>
#<alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))>
#<alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))>
#<alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))>
#<alt (* x y)>
#<alt (+ z (* x y))>
#<alt (+ z (* x y))>
#<alt (+ z (* x y))>
#<alt z>
#<alt (* z (+ 1 (/ (* x y) z)))>
#<alt (* z (+ 1 (/ (* x y) z)))>
#<alt (* z (+ 1 (/ (* x y) z)))>
#<alt z>
#<alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1)))>
#<alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1)))>
#<alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1)))>
#<alt z>
#<alt (+ z (* x y))>
#<alt (+ z (* x y))>
#<alt (+ z (* x y))>
#<alt (* x y)>
#<alt (* x (+ y (/ z x)))>
#<alt (* x (+ y (/ z x)))>
#<alt (* x (+ y (/ z x)))>
#<alt (* x y)>
#<alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))>
#<alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))>
#<alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))>
#<alt z>
#<alt (+ z (* x y))>
#<alt (+ z (* x y))>
#<alt (+ z (* x y))>
#<alt (* x y)>
#<alt (* y (+ x (/ z y)))>
#<alt (* y (+ x (/ z y)))>
#<alt (* y (+ x (/ z y)))>
#<alt (* x y)>
#<alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))>
#<alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))>
#<alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))>
#<alt (* x y)>
#<alt (+ z (* x y))>
#<alt (+ z (* x y))>
#<alt (+ z (* x y))>
#<alt z>
#<alt (* z (+ 1 (/ (* x y) z)))>
#<alt (* z (+ 1 (/ (* x y) z)))>
#<alt (* z (+ 1 (/ (* x y) z)))>
#<alt z>
#<alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1)))>
#<alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1)))>
#<alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1)))>
#<alt (+ 1 z)>
#<alt (+ 1 (+ z (* x y)))>
#<alt (+ 1 (+ z (* x y)))>
#<alt (+ 1 (+ z (* x y)))>
#<alt (* x y)>
#<alt (* x (+ y (+ (/ 1 x) (/ z x))))>
#<alt (* x (+ y (+ (/ 1 x) (/ z x))))>
#<alt (* x (+ y (+ (/ 1 x) (/ z x))))>
#<alt (* x y)>
#<alt (* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))>
#<alt (* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))>
#<alt (* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))>
#<alt (+ 1 z)>
#<alt (+ 1 (+ z (* x y)))>
#<alt (+ 1 (+ z (* x y)))>
#<alt (+ 1 (+ z (* x y)))>
#<alt (* x y)>
#<alt (* y (+ x (+ (/ 1 y) (/ z y))))>
#<alt (* y (+ x (+ (/ 1 y) (/ z y))))>
#<alt (* y (+ x (+ (/ 1 y) (/ z y))))>
#<alt (* x y)>
#<alt (* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))>
#<alt (* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))>
#<alt (* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))>
#<alt (+ 1 (* x y))>
#<alt (+ 1 (+ z (* x y)))>
#<alt (+ 1 (+ z (* x y)))>
#<alt (+ 1 (+ z (* x y)))>
#<alt z>
#<alt (* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))>
#<alt (* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))>
#<alt (* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))>
#<alt z>
#<alt (* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))>
#<alt (* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))>
#<alt (* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
#<alt (* x y)>
Calls

42 calls:

TimeVariablePointExpression
30.0ms
y
@inf
(* x y)
0.0ms
z
@0
(+ (* x y) z)
0.0ms
x
@-inf
(+ (* x y) z)
0.0ms
y
@inf
(+ (* x y) z)
0.0ms
x
@inf
(+ (* x y) z)

rewrite355.0ms (8.4%)

Memory
3.2MiB live, 529.1MiB allocated
Algorithm
1×batch-egg-rewrite
Rules
4 312×accelerator-lowering-fma.f32
4 312×accelerator-lowering-fma.f64
4 202×*-lowering-*.f32
4 202×*-lowering-*.f64
3 672×/-lowering-/.f32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0833
15633
262121
0846518
Stop Event
1×iter limit
1×node limit
Counts
5 → 148
Calls
Call 1
Inputs
(- (+ (* x y) z) (+ 1 (+ (* x y) z)))
(+ (* x y) z)
(+ (* x y) z)
(+ 1 (+ (* x y) z))
(* x y)
Outputs
#s(literal -1 binary64)
(+.f64 (*.f64 x y) z)
(+.f64 z (*.f64 x y))
(+.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 (*.f64 x y) z)) (neg.f64 (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z))))
(-.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 (*.f64 x y) z)) (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z)))
(-.f64 (/.f64 (*.f64 z z) (-.f64 z (*.f64 x y))) (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 z (*.f64 x y))))
(fma.f64 x y z)
(fma.f64 y x z)
(fma.f64 (*.f64 x y) #s(literal 1 binary64) z)
(fma.f64 z #s(literal 1 binary64) (*.f64 x y))
(fma.f64 #s(literal 1 binary64) (*.f64 x y) z)
(fma.f64 #s(literal 1 binary64) z (*.f64 x y))
(fma.f64 (*.f64 x (*.f64 y (*.f64 x y))) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x y) z)) (neg.f64 (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 x y z)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z z (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 (*.f64 x y) z))) (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 z (*.f64 x y)) (-.f64 (*.f64 z z) (*.f64 x (*.f64 y (*.f64 x y))))))
(/.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z))) (fma.f64 x (*.f64 y (*.f64 x y)) (*.f64 z (-.f64 z (*.f64 x y)))))
(/.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z))) (fma.f64 z z (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 (*.f64 x y) z))))
(/.f64 (*.f64 (fma.f64 x y z) (-.f64 (*.f64 x y) z)) (-.f64 (*.f64 x y) z))
(/.f64 (neg.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z)))) (neg.f64 (fma.f64 x (*.f64 y (*.f64 x y)) (*.f64 z (-.f64 z (*.f64 x y))))))
(/.f64 (neg.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z)))) (neg.f64 (fma.f64 z z (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 (*.f64 x y) z)))))
(/.f64 (neg.f64 (*.f64 (fma.f64 x y z) (-.f64 (*.f64 x y) z))) (neg.f64 (-.f64 (*.f64 x y) z)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(/.f64 (-.f64 (*.f64 z z) (*.f64 x (*.f64 y (*.f64 x y)))) (-.f64 z (*.f64 x y)))
(/.f64 (-.f64 (*.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 (*.f64 x y) z)) (*.f64 (-.f64 (*.f64 x y) z) (*.f64 z z))) (*.f64 (-.f64 (*.f64 x y) z) (-.f64 (*.f64 x y) z)))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z))))) (neg.f64 (neg.f64 (fma.f64 x (*.f64 y (*.f64 x y)) (*.f64 z (-.f64 z (*.f64 x y)))))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (fma.f64 x y z) (-.f64 (*.f64 x y) z)))) (neg.f64 (neg.f64 (-.f64 (*.f64 x y) z))))
(/.f64 (neg.f64 (-.f64 (*.f64 z z) (*.f64 x (*.f64 y (*.f64 x y))))) (neg.f64 (-.f64 z (*.f64 x y))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 (*.f64 x y) z)) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z)) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 (*.f64 x y) z)) (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 (*.f64 x y) z)) (fma.f64 (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z)) (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z)) (*.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 (*.f64 x y) z)) (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z))))))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z)) #s(literal -1 binary64))
(*.f64 (fma.f64 x y z) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (fma.f64 x y z))
(*.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z))) (/.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 y (*.f64 x y)) (*.f64 z (-.f64 z (*.f64 x y))))))
(*.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z))) (/.f64 #s(literal 1 binary64) (fma.f64 z z (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 (*.f64 x y) z)))))
(*.f64 (*.f64 (fma.f64 x y z) (-.f64 (*.f64 x y) z)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x y) z)))
(*.f64 (neg.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x (*.f64 y (*.f64 x y)) (*.f64 z (-.f64 z (*.f64 x y)))))))
(*.f64 (neg.f64 (*.f64 (fma.f64 x y z) (-.f64 (*.f64 x y) z))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (*.f64 x y) z))))
(*.f64 (-.f64 (*.f64 z z) (*.f64 x (*.f64 y (*.f64 x y)))) (/.f64 #s(literal 1 binary64) (-.f64 z (*.f64 x y))))
(+.f64 (*.f64 x y) z)
(+.f64 z (*.f64 x y))
(+.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 (*.f64 x y) z)) (neg.f64 (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z))))
(-.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 (*.f64 x y) z)) (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z)))
(-.f64 (/.f64 (*.f64 z z) (-.f64 z (*.f64 x y))) (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 z (*.f64 x y))))
(fma.f64 x y z)
(fma.f64 y x z)
(fma.f64 (*.f64 x y) #s(literal 1 binary64) z)
(fma.f64 z #s(literal 1 binary64) (*.f64 x y))
(fma.f64 #s(literal 1 binary64) (*.f64 x y) z)
(fma.f64 #s(literal 1 binary64) z (*.f64 x y))
(fma.f64 (*.f64 x (*.f64 y (*.f64 x y))) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x y) z)) (neg.f64 (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 x y z)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z z (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 (*.f64 x y) z))) (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 z (*.f64 x y)) (-.f64 (*.f64 z z) (*.f64 x (*.f64 y (*.f64 x y))))))
(/.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z))) (fma.f64 x (*.f64 y (*.f64 x y)) (*.f64 z (-.f64 z (*.f64 x y)))))
(/.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z))) (fma.f64 z z (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 (*.f64 x y) z))))
(/.f64 (*.f64 (fma.f64 x y z) (-.f64 (*.f64 x y) z)) (-.f64 (*.f64 x y) z))
(/.f64 (neg.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z)))) (neg.f64 (fma.f64 x (*.f64 y (*.f64 x y)) (*.f64 z (-.f64 z (*.f64 x y))))))
(/.f64 (neg.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z)))) (neg.f64 (fma.f64 z z (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 (*.f64 x y) z)))))
(/.f64 (neg.f64 (*.f64 (fma.f64 x y z) (-.f64 (*.f64 x y) z))) (neg.f64 (-.f64 (*.f64 x y) z)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(/.f64 (-.f64 (*.f64 z z) (*.f64 x (*.f64 y (*.f64 x y)))) (-.f64 z (*.f64 x y)))
(/.f64 (-.f64 (*.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 (*.f64 x y) z)) (*.f64 (-.f64 (*.f64 x y) z) (*.f64 z z))) (*.f64 (-.f64 (*.f64 x y) z) (-.f64 (*.f64 x y) z)))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z))))) (neg.f64 (neg.f64 (fma.f64 x (*.f64 y (*.f64 x y)) (*.f64 z (-.f64 z (*.f64 x y)))))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (fma.f64 x y z) (-.f64 (*.f64 x y) z)))) (neg.f64 (neg.f64 (-.f64 (*.f64 x y) z))))
(/.f64 (neg.f64 (-.f64 (*.f64 z z) (*.f64 x (*.f64 y (*.f64 x y))))) (neg.f64 (-.f64 z (*.f64 x y))))
(/.f64 (-.f64 (pow.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 (*.f64 x y) z)) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z)) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 (*.f64 x y) z)) (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 (*.f64 x y) z)) (fma.f64 (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z)) (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z)) (*.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (-.f64 (*.f64 x y) z)) (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z))))))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z)) #s(literal -1 binary64))
(*.f64 (fma.f64 x y z) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (fma.f64 x y z))
(*.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z))) (/.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 y (*.f64 x y)) (*.f64 z (-.f64 z (*.f64 x y))))))
(*.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z))) (/.f64 #s(literal 1 binary64) (fma.f64 z z (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 (*.f64 x y) z)))))
(*.f64 (*.f64 (fma.f64 x y z) (-.f64 (*.f64 x y) z)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x y) z)))
(*.f64 (neg.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x (*.f64 y (*.f64 x y)) (*.f64 z (-.f64 z (*.f64 x y)))))))
(*.f64 (neg.f64 (*.f64 (fma.f64 x y z) (-.f64 (*.f64 x y) z))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (*.f64 x y) z))))
(*.f64 (-.f64 (*.f64 z z) (*.f64 x (*.f64 y (*.f64 x y)))) (/.f64 #s(literal 1 binary64) (-.f64 z (*.f64 x y))))
(+.f64 (*.f64 x y) (+.f64 z #s(literal 1 binary64)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+.f64 (fma.f64 x y z) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (fma.f64 x y z))
(+.f64 (fma.f64 x y #s(literal 1 binary64)) z)
(+.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (neg.f64 (/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))))
(+.f64 (+.f64 #s(literal 1 binary64) z) (*.f64 x y))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(-.f64 (/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (+.f64 z (fma.f64 x y #s(literal -1 binary64)))) (/.f64 #s(literal 1 binary64) (+.f64 z (fma.f64 x y #s(literal -1 binary64)))))
(-.f64 (/.f64 (*.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (-.f64 (fma.f64 x y #s(literal 1 binary64)) z)) (/.f64 (*.f64 z z) (-.f64 (fma.f64 x y #s(literal 1 binary64)) z)))
(fma.f64 x y (+.f64 z #s(literal 1 binary64)))
(fma.f64 y x (+.f64 z #s(literal 1 binary64)))
(fma.f64 (*.f64 x y) #s(literal 1 binary64) (+.f64 z #s(literal 1 binary64)))
(fma.f64 z #s(literal 1 binary64) (fma.f64 x y #s(literal 1 binary64)))
(fma.f64 (fma.f64 x y z) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 x y) (+.f64 z #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) z (fma.f64 x y #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 x y z) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (neg.f64 (/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))))
(fma.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z))) (/.f64 #s(literal 1 binary64) (fma.f64 x (*.f64 y (*.f64 x y)) (*.f64 z (-.f64 z (*.f64 x y))))) #s(literal 1 binary64))
(fma.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z))) (/.f64 #s(literal 1 binary64) (fma.f64 z z (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 (*.f64 x y) z)))) #s(literal 1 binary64))
(fma.f64 (*.f64 (fma.f64 x y z) (-.f64 (*.f64 x y) z)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 x y) z)) #s(literal 1 binary64))
(fma.f64 (neg.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 z z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x (*.f64 y (*.f64 x y)) (*.f64 z (-.f64 z (*.f64 x y)))))) #s(literal 1 binary64))
(fma.f64 (neg.f64 (*.f64 (fma.f64 x y z) (-.f64 (*.f64 x y) z))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (*.f64 x y) z))) #s(literal 1 binary64))
(fma.f64 (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 x y)))) z)
(fma.f64 (-.f64 (*.f64 z z) (*.f64 x (*.f64 y (*.f64 x y)))) (/.f64 #s(literal 1 binary64) (-.f64 z (*.f64 x y))) #s(literal 1 binary64))
(fma.f64 (-.f64 #s(literal 1 binary64) (*.f64 x (*.f64 y (*.f64 x y)))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x y))) z)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 z (fma.f64 x y #s(literal 1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 z (fma.f64 x y #s(literal 1 binary64)))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (fma.f64 x y z) (fma.f64 x y z) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64)) (-.f64 (*.f64 z z) (*.f64 (fma.f64 x y #s(literal 1 binary64)) z))) (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (*.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (*.f64 z (*.f64 z z)))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 z (fma.f64 x y #s(literal -1 binary64))) (fma.f64 (fma.f64 x y z) (fma.f64 x y z) #s(literal -1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (fma.f64 x y #s(literal 1 binary64)) z) (-.f64 (*.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (*.f64 z z))))
(/.f64 (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64)) (fma.f64 (fma.f64 x y z) (+.f64 z (fma.f64 x y #s(literal -1 binary64))) #s(literal 1 binary64)))
(/.f64 (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64)) (fma.f64 (fma.f64 x y z) (fma.f64 x y z) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x y z) (fma.f64 x y z))) (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))
(/.f64 (neg.f64 (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64))) (neg.f64 (fma.f64 (fma.f64 x y z) (+.f64 z (fma.f64 x y #s(literal -1 binary64))) #s(literal 1 binary64))))
(/.f64 (neg.f64 (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64))) (neg.f64 (fma.f64 (fma.f64 x y z) (fma.f64 x y z) (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x y z) (fma.f64 x y z)))) (neg.f64 (-.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(/.f64 (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (*.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (*.f64 z (*.f64 z z))) (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64)) (-.f64 (*.f64 z z) (*.f64 (fma.f64 x y #s(literal 1 binary64)) z))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 z (fma.f64 x y #s(literal 1 binary64))))))
(/.f64 (fma.f64 (fma.f64 x y z) (fma.f64 x y z) #s(literal -1 binary64)) (+.f64 z (fma.f64 x y #s(literal -1 binary64))))
(/.f64 (-.f64 (*.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (*.f64 z z)) (-.f64 (fma.f64 x y #s(literal 1 binary64)) z))
(/.f64 (-.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (*.f64 (-.f64 #s(literal 1 binary64) (fma.f64 x y z)) (*.f64 (fma.f64 x y z) (fma.f64 x y z)))) (*.f64 (-.f64 #s(literal 1 binary64) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(/.f64 (neg.f64 (fma.f64 (fma.f64 x y z) (fma.f64 x y z) #s(literal -1 binary64))) (neg.f64 (+.f64 z (fma.f64 x y #s(literal -1 binary64)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64)))) (neg.f64 (neg.f64 (fma.f64 (fma.f64 x y z) (+.f64 z (fma.f64 x y #s(literal -1 binary64))) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x y z) (fma.f64 x y z))))) (neg.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))))
(/.f64 (neg.f64 (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (*.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (*.f64 z (*.f64 z z)))) (neg.f64 (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64)) (-.f64 (*.f64 z z) (*.f64 (fma.f64 x y #s(literal 1 binary64)) z)))))
(/.f64 (neg.f64 (-.f64 (*.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (*.f64 z z))) (neg.f64 (-.f64 (fma.f64 x y #s(literal 1 binary64)) z)))
(/.f64 (fma.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))) (pow.f64 (+.f64 z #s(literal 1 binary64)) #s(literal 3 binary64))) (fma.f64 x (*.f64 y (*.f64 x y)) (-.f64 (*.f64 (+.f64 z #s(literal 1 binary64)) (+.f64 z #s(literal 1 binary64))) (*.f64 (*.f64 x y) (+.f64 z #s(literal 1 binary64))))))
(/.f64 (fma.f64 z (*.f64 z z) (*.f64 (fma.f64 x y #s(literal 1 binary64)) (*.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))))) (fma.f64 z z (-.f64 (*.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (*.f64 z (fma.f64 x y #s(literal 1 binary64))))))
(/.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) z) #s(literal 3 binary64)) (*.f64 (*.f64 x y) (*.f64 x (*.f64 y (*.f64 x y))))) (fma.f64 (+.f64 #s(literal 1 binary64) z) (+.f64 #s(literal 1 binary64) z) (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 (+.f64 #s(literal 1 binary64) z) (*.f64 x y)))))
(/.f64 (-.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) #s(literal 3 binary64))) (fma.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (fma.f64 (/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (*.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))))))
(/.f64 (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 (+.f64 z #s(literal 1 binary64)) (+.f64 z #s(literal 1 binary64)))) (-.f64 (*.f64 x y) (+.f64 z #s(literal 1 binary64))))
(/.f64 (-.f64 (*.f64 z z) (*.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64)))) (-.f64 z (fma.f64 x y #s(literal 1 binary64))))
(/.f64 (-.f64 (*.f64 (+.f64 #s(literal 1 binary64) z) (+.f64 #s(literal 1 binary64) z)) (*.f64 x (*.f64 y (*.f64 x y)))) (-.f64 (+.f64 #s(literal 1 binary64) z) (*.f64 x y)))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 z (fma.f64 x y #s(literal 1 binary64)))) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (+.f64 z (fma.f64 x y #s(literal 1 binary64))))
(*.f64 (+.f64 z (fma.f64 x y #s(literal 1 binary64))) #s(literal 1 binary64))
(*.f64 (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 x y z) (+.f64 z (fma.f64 x y #s(literal -1 binary64))) #s(literal 1 binary64))))
(*.f64 (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 x y z) (fma.f64 x y z) (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))))
(*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x y z) (fma.f64 x y z))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(*.f64 (neg.f64 (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (fma.f64 x y z) (+.f64 z (fma.f64 x y #s(literal -1 binary64))) #s(literal 1 binary64)))))
(*.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x y z) (fma.f64 x y z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))))
(*.f64 (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (*.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (*.f64 z (*.f64 z z))) (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64)) (-.f64 (*.f64 z z) (*.f64 (fma.f64 x y #s(literal 1 binary64)) z)))))
(*.f64 (fma.f64 (fma.f64 x y z) (fma.f64 x y z) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 z (fma.f64 x y #s(literal -1 binary64)))))
(*.f64 (-.f64 (*.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (*.f64 z z)) (/.f64 #s(literal 1 binary64) (-.f64 (fma.f64 x y #s(literal 1 binary64)) z)))
(*.f64 x y)
(*.f64 y x)
(*.f64 (*.f64 x y) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (*.f64 x y))

simplify267.0ms (6.3%)

Memory
18.8MiB live, 399.3MiB allocated
Algorithm
1×egg-herbie
Rules
5 866×accelerator-lowering-fma.f32
5 866×accelerator-lowering-fma.f64
2 620×*-lowering-*.f32
2 620×*-lowering-*.f64
1 204×sub-neg
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
060630
1204630
2610630
31487630
43776630
55497630
66816630
77550630
08021548
Stop Event
1×iter limit
1×node limit
Counts
168 → 168
Calls
Call 1
Inputs
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
z
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
(* x y)
(* x (+ y (/ z x)))
(* x (+ y (/ z x)))
(* x (+ y (/ z x)))
(* x y)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
z
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
(* x y)
(* y (+ x (/ z y)))
(* y (+ x (/ z y)))
(* y (+ x (/ z y)))
(* x y)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(* x y)
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
z
(* z (+ 1 (/ (* x y) z)))
(* z (+ 1 (/ (* x y) z)))
(* z (+ 1 (/ (* x y) z)))
z
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
z
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
(* x y)
(* x (+ y (/ z x)))
(* x (+ y (/ z x)))
(* x (+ y (/ z x)))
(* x y)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
z
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
(* x y)
(* y (+ x (/ z y)))
(* y (+ x (/ z y)))
(* y (+ x (/ z y)))
(* x y)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(* x y)
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
z
(* z (+ 1 (/ (* x y) z)))
(* z (+ 1 (/ (* x y) z)))
(* z (+ 1 (/ (* x y) z)))
z
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(+ 1 z)
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(* x y)
(* x (+ y (+ (/ 1 x) (/ z x))))
(* x (+ y (+ (/ 1 x) (/ z x))))
(* x (+ y (+ (/ 1 x) (/ z x))))
(* x y)
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(+ 1 z)
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(* x y)
(* y (+ x (+ (/ 1 y) (/ z y))))
(* y (+ x (+ (/ 1 y) (/ z y))))
(* y (+ x (+ (/ 1 y) (/ z y))))
(* x y)
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(+ 1 (* x y))
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
z
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
z
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
Outputs
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
z
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* x (+ y (/ z x)))
(fma.f64 x y z)
(* x (+ y (/ z x)))
(fma.f64 x y z)
(* x (+ y (/ z x)))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 x y z)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 x y z)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 x y z)
z
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* y (+ x (/ z y)))
(fma.f64 x y z)
(* y (+ x (/ z y)))
(fma.f64 x y z)
(* y (+ x (/ z y)))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 x y z)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 x y z)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
z
(* z (+ 1 (/ (* x y) z)))
(fma.f64 x y z)
(* z (+ 1 (/ (* x y) z)))
(fma.f64 x y z)
(* z (+ 1 (/ (* x y) z)))
(fma.f64 x y z)
z
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 x y z)
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 x y z)
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 x y z)
z
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* x (+ y (/ z x)))
(fma.f64 x y z)
(* x (+ y (/ z x)))
(fma.f64 x y z)
(* x (+ y (/ z x)))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 x y z)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 x y z)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 x y z)
z
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* y (+ x (/ z y)))
(fma.f64 x y z)
(* y (+ x (/ z y)))
(fma.f64 x y z)
(* y (+ x (/ z y)))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 x y z)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 x y z)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
z
(* z (+ 1 (/ (* x y) z)))
(fma.f64 x y z)
(* z (+ 1 (/ (* x y) z)))
(fma.f64 x y z)
(* z (+ 1 (/ (* x y) z)))
(fma.f64 x y z)
z
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 x y z)
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 x y z)
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 x y z)
(+ 1 z)
(+.f64 z #s(literal 1 binary64))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* x y)
(*.f64 x y)
(* x (+ y (+ (/ 1 x) (/ z x))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* x (+ y (+ (/ 1 x) (/ z x))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* x (+ y (+ (/ 1 x) (/ z x))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* x y)
(*.f64 x y)
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 z)
(+.f64 z #s(literal 1 binary64))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* x y)
(*.f64 x y)
(* y (+ x (+ (/ 1 y) (/ z y))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* y (+ x (+ (/ 1 y) (/ z y))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* y (+ x (+ (/ 1 y) (/ z y))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* x y)
(*.f64 x y)
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 (* x y))
(fma.f64 x y #s(literal 1 binary64))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
z
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
z
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)

eval76.0ms (1.8%)

Memory
-5.3MiB live, 84.5MiB allocated
Compiler

Compiled 5 550 to 457 computations (91.8% saved)

prune21.0ms (0.5%)

Memory
25.0MiB live, 62.3MiB allocated
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New3151316
Fresh000
Picked101
Done000
Total3161317
Accuracy
100.0%
Counts
317 → 1
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
-31.9MiB live, 6.3MiB 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
19.7MiB live, 19.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

rewrite6.0ms (0.2%)

Memory
15.7MiB live, 15.7MiB 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

simplify6.0ms (0.2%)

Memory
-38.3MiB live, 6.4MiB 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

eval0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Compiler

Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Memory
2.9MiB live, 2.9MiB 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.1%)

Memory
15.1MiB live, 15.1MiB allocated
Accuracy

Total -43.4b remaining (-∞%)

Threshold costs -43.4b (-∞%)

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
x
1.0ms
z
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)

simplify6.0ms (0.2%)

Memory
16.7MiB live, 16.7MiB 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)

soundness135.0ms (3.2%)

Memory
-26.3MiB live, 125.2MiB allocated
Rules
4 312×accelerator-lowering-fma.f32
4 312×accelerator-lowering-fma.f64
4 202×*-lowering-*.f32
4 202×*-lowering-*.f64
3 672×/-lowering-/.f32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0833
15633
262121
0846518
Stop Event
1×done
1×iter limit
1×node limit
Compiler

Compiled 8 to 8 computations (0% saved)

preprocess54.0ms (1.3%)

Memory
3.0MiB live, 76.9MiB allocated
Compiler

Compiled 46 to 34 computations (26.1% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...