simple fma test

Time bar (total: 4.2s)

analyze0.0ms (0%)

Memory
1.0MiB live, 1.0MiB 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 15 to 10 computations (33.3% saved)

sample1.3s (31.8%)

Memory
21.2MiB live, 1 419.0MiB allocated
Samples
864.0ms6 019×1valid
103.0ms2 237×0valid
Precisions
Click to see histograms. Total time spent on operations: 476.0ms
ival-add: 158.0ms (33.2% of total)
adjust: 130.0ms (27.3% of total)
ival-mult: 107.0ms (22.5% of total)
ival-sub: 64.0ms (13.4% of total)
exact: 7.0ms (1.5% of total)
ival-true: 6.0ms (1.3% of total)
ival-assert: 3.0ms (0.6% of total)
Bogosity

preprocess927.0ms (21.9%)

Memory
12.2MiB live, 925.5MiB allocated
Algorithm
1×egg-herbie
Rules
23 408×lower-fma.f32
23 406×lower-fma.f64
4 272×lower-+.f32
4 268×lower-+.f64
3 446×associate--l+
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
034138
1119117
23899
314999
430709
538729
645759
753099
859599
960439
1060439
1161519
1262389
1362599
1462719
1562779
1662779
0911
01511
12811
2711
32331
45441
519181
634461
746001
851831
953131
1053451
1153451
1256131
1357831
1458591
1558751
1658751
1758911
1858911
1960191
2067651
085081
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
Outputs
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
#s(literal -1 binary64)
Symmetry

(abs z)

(abs y)

(abs x)

(sort x y z)

explain147.0ms (3.5%)

Memory
8.7MiB live, 353.7MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
2282(2.2452452059613927e-8 3660577737647.657 20055219939848.12)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)))cancellation2150
-.f64(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))nan-rescue150
↳(fma.f64 x y z)overflow15
↳(+.f64 (*.f64 x y) z)overflow15
↳(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))overflow15
↳(*.f64 x y)overflow15
Confusion
Predicted +Predicted -
+2280
-226
Precision
0.991304347826087
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+22800
-2026
Precision?
0.991304347826087
Recall?
1.0
Freqs
test
numberfreq
026
1230
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
53.0ms458×1valid
3.0ms54×0valid
Compiler

Compiled 108 to 38 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 32.0ms
ival-add: 12.0ms (38% of total)
adjust: 9.0ms (28.5% of total)
ival-mult: 5.0ms (15.8% of total)
ival-sub: 4.0ms (12.7% of total)
exact: 1.0ms (3.2% of total)
ival-true: 1.0ms (3.2% of total)
ival-assert: 0.0ms (0% of total)

eval0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Compiler

Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

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

Compiled 15 to 9 computations (40% saved)

simplify700.0ms (16.5%)

Memory
18.9MiB live, 849.2MiB 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×lower-fma.f32
23 406×lower-fma.f64
4 272×lower-+.f32
4 268×lower-+.f64
2 278×distribute-lft-in
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0932
01532
12832
27122
323322
454422
5191822
6344622
7460022
8518322
9531322
10534522
11534522
12561322
13578322
14585922
15587522
16587522
17589122
18589122
19601922
20676522
0850822
Stop Event
1×iter limit
1×node limit
1×iter limit
Calls
Call 1
Inputs
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
(fma.f64 x y z)
x
y
z
(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
#s(literal 1 binary64)
(+.f64 (*.f64 x y) z)
(*.f64 x y)
Outputs
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
#s(literal -1 binary64)
(fma.f64 x y z)
x
y
z
(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
(+.f64 (fma.f64 x y z) #s(literal 1 binary64))
#s(literal 1 binary64)
(+.f64 (*.f64 x y) z)
(fma.f64 x y z)
(*.f64 x y)

localize67.0ms (1.6%)

Memory
-1.7MiB live, 74.2MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
✓accuracy100.0%
(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
✓accuracy100.0%
(*.f64 x y)
✓accuracy100.0%
(+.f64 (*.f64 x y) z)
✓accuracy13.6%
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
Samples
54.0ms229×1valid
1.0ms27×0valid
Compiler

Compiled 39 to 10 computations (74.4% saved)

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

series5.0ms (0.1%)

Memory
11.4MiB live, 11.4MiB allocated
Counts
5 → 168
Calls
Call 1
Inputs
#<alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))>
#<alt (+.f64 (*.f64 x y) z)>
#<alt (fma.f64 x y z)>
#<alt (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))>
#<alt (*.f64 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
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)
0.0ms
z
@inf
(+ (* x y) z)

rewrite308.0ms (7.3%)

Memory
-3.1MiB live, 628.4MiB allocated
Algorithm
1×batch-egg-rewrite
Rules
4 312×lower-fma.f32
4 310×lower-fma.f64
4 202×lower-*.f32
4 200×lower-*.f64
3 672×lower-/.f64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0928
01528
16328
262818
0846618
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
5 → 148
Calls
Call 1
Inputs
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
(+.f64 (*.f64 x y) z)
(fma.f64 x y z)
(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
(*.f64 x y)
Outputs
#s(literal -1 binary64)
(+.f64 z (*.f64 x y))
(+.f64 (*.f64 x y) z)
(+.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (fma.f64 x y (neg.f64 z))) (neg.f64 (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 z)))))
(-.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (fma.f64 x y (neg.f64 z))) (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 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 z #s(literal 1 binary64) (*.f64 x y))
(fma.f64 #s(literal 1 binary64) z (*.f64 x y))
(fma.f64 #s(literal 1 binary64) (*.f64 x y) z)
(fma.f64 (*.f64 x y) #s(literal 1 binary64) z)
(fma.f64 (*.f64 x (*.f64 y (*.f64 x y))) (/.f64 #s(literal 1 binary64) (fma.f64 x y (neg.f64 z))) (neg.f64 (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 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 z (*.f64 x y)))) (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 z (-.f64 z (*.f64 x y)) (*.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 z z (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 x y)))))
(/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z))) (fma.f64 x y (neg.f64 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 z (-.f64 z (*.f64 x y)) (*.f64 x (*.f64 y (*.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 z (*.f64 x y))))))
(/.f64 (neg.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z)))) (neg.f64 (fma.f64 x y (neg.f64 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))) (fma.f64 x y (neg.f64 z))) (*.f64 (fma.f64 x y (neg.f64 z)) (*.f64 z z))) (*.f64 (fma.f64 x y (neg.f64 z)) (fma.f64 x y (neg.f64 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 z (-.f64 z (*.f64 x y)) (*.f64 x (*.f64 y (*.f64 x y)))))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z))))) (neg.f64 (neg.f64 (fma.f64 x y (neg.f64 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))) (fma.f64 x y (neg.f64 z))) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 z))) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (fma.f64 x y (neg.f64 z))) (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (fma.f64 x y (neg.f64 z))) (fma.f64 (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 z))) (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 z))) (*.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (fma.f64 x y (neg.f64 z))) (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 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 z (-.f64 z (*.f64 x y)) (*.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))) (/.f64 #s(literal 1 binary64) (fma.f64 z z (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 x y))))))
(*.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z))) (/.f64 #s(literal 1 binary64) (fma.f64 x y (neg.f64 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 z (-.f64 z (*.f64 x y)) (*.f64 x (*.f64 y (*.f64 x y)))))))
(*.f64 (neg.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x y (neg.f64 z)))))
(*.f64 (-.f64 (*.f64 z z) (*.f64 x (*.f64 y (*.f64 x y)))) (/.f64 #s(literal 1 binary64) (-.f64 z (*.f64 x y))))
(+.f64 z (*.f64 x y))
(+.f64 (*.f64 x y) z)
(+.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (fma.f64 x y (neg.f64 z))) (neg.f64 (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 z)))))
(-.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (fma.f64 x y (neg.f64 z))) (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 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 z #s(literal 1 binary64) (*.f64 x y))
(fma.f64 #s(literal 1 binary64) z (*.f64 x y))
(fma.f64 #s(literal 1 binary64) (*.f64 x y) z)
(fma.f64 (*.f64 x y) #s(literal 1 binary64) z)
(fma.f64 (*.f64 x (*.f64 y (*.f64 x y))) (/.f64 #s(literal 1 binary64) (fma.f64 x y (neg.f64 z))) (neg.f64 (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 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 z (*.f64 x y)))) (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 z (-.f64 z (*.f64 x y)) (*.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 z z (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 x y)))))
(/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z))) (fma.f64 x y (neg.f64 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 z (-.f64 z (*.f64 x y)) (*.f64 x (*.f64 y (*.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 z (*.f64 x y))))))
(/.f64 (neg.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z)))) (neg.f64 (fma.f64 x y (neg.f64 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))) (fma.f64 x y (neg.f64 z))) (*.f64 (fma.f64 x y (neg.f64 z)) (*.f64 z z))) (*.f64 (fma.f64 x y (neg.f64 z)) (fma.f64 x y (neg.f64 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 z (-.f64 z (*.f64 x y)) (*.f64 x (*.f64 y (*.f64 x y)))))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z))))) (neg.f64 (neg.f64 (fma.f64 x y (neg.f64 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))) (fma.f64 x y (neg.f64 z))) #s(literal 3 binary64)) (pow.f64 (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 z))) #s(literal 3 binary64))) (fma.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (fma.f64 x y (neg.f64 z))) (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (fma.f64 x y (neg.f64 z))) (fma.f64 (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 z))) (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 z))) (*.f64 (/.f64 (*.f64 x (*.f64 y (*.f64 x y))) (fma.f64 x y (neg.f64 z))) (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 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 z (-.f64 z (*.f64 x y)) (*.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))) (/.f64 #s(literal 1 binary64) (fma.f64 z z (-.f64 (*.f64 x (*.f64 y (*.f64 x y))) (*.f64 z (*.f64 x y))))))
(*.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z))) (/.f64 #s(literal 1 binary64) (fma.f64 x y (neg.f64 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 z (-.f64 z (*.f64 x y)) (*.f64 x (*.f64 y (*.f64 x y)))))))
(*.f64 (neg.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x y (neg.f64 z)))))
(*.f64 (-.f64 (*.f64 z z) (*.f64 x (*.f64 y (*.f64 x y)))) (/.f64 #s(literal 1 binary64) (-.f64 z (*.f64 x y))))
(+.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 (*.f64 x y) (+.f64 z #s(literal 1 binary64)))
(+.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 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) 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 x y) (+.f64 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 (*.f64 x y) #s(literal 1 binary64) (+.f64 z #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 (-.f64 z (*.f64 x y)) (*.f64 x (*.f64 y (*.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 z (*.f64 x y))))) #s(literal 1 binary64))
(fma.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z))) (/.f64 #s(literal 1 binary64) (fma.f64 x y (neg.f64 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 z (-.f64 z (*.f64 x y)) (*.f64 x (*.f64 y (*.f64 x y)))))) #s(literal 1 binary64))
(fma.f64 (neg.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x y (neg.f64 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 (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 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 (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 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 (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 (+.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 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 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 (+.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 #s(literal 1 binary64) (*.f64 x y))
(*.f64 (*.f64 x y) #s(literal 1 binary64))

simplify237.0ms (5.6%)

Memory
41.2MiB live, 271.9MiB allocated
Algorithm
1×egg-herbie
Rules
5 866×lower-fma.f64
5 866×lower-fma.f32
2 620×lower-*.f64
2 620×lower-*.f32
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 → 158
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)

eval270.0ms (6.4%)

Memory
-46.8MiB live, 87.4MiB allocated
Compiler

Compiled 5 470 to 454 computations (91.7% saved)

prune34.0ms (0.8%)

Memory
11.4MiB live, 54.7MiB allocated
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New3051306
Fresh000
Picked101
Done000
Total3061307
Accuracy
100.0%
Counts
307 → 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
7.8MiB live, 7.8MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

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

localize25.0ms (0.6%)

Memory
-20.7MiB live, 18.7MiB allocated
Samples
22.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.0MiB live, 0.0MiB allocated
Counts
0 → 0
Calls
Call 1
Inputs
Outputs

rewrite7.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

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

simplify2.0ms (0.1%)

Memory
5.9MiB live, 5.9MiB 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.5MiB live, 0.5MiB 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)

regimes8.0ms (0.2%)

Memory
-17.6MiB live, 20.5MiB allocated
Accuracy

Total -55.3b remaining (-∞%)

Threshold costs -55.3b (-∞%)

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:

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

simplify5.0ms (0.1%)

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

soundness92.0ms (2.2%)

Memory
-24.8MiB live, 94.0MiB allocated
Rules
4 312×lower-fma.f32
4 310×lower-fma.f64
4 202×lower-*.f32
4 200×lower-*.f64
3 672×lower-/.f64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0928
01528
16328
262818
0846618
Stop Event
1×done
1×iter limit
1×node limit
1×iter limit
Compiler

Compiled 8 to 8 computations (0% saved)

preprocess47.0ms (1.1%)

Memory
28.0MiB live, 147.4MiB allocated
Remove

(sort x y z)

(abs x)

(abs y)

(abs z)

Compiler

Compiled 78 to 66 computations (15.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...