Metrics for simple fma test

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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 (30%)

Memory

27.5MiB live, 1 355.7MiB allocated

Samples

814.0ms	6 001×	1	valid
123.0ms	2 255×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 503.0ms

adjust: 163.0ms (32.4% of total)

ival-add: 162.0ms (32.2% of total)

ival-mult: 94.0ms (18.7% of total)

ival-sub: 69.0ms (13.7% of total)

ival-true: 6.0ms (1.2% of total)

exact: 5.0ms (1% of total)

ival-assert: 4.0ms (0.8% of total)

Bogosity

explain358.0ms (8.3%)

Memory

28.4MiB live, 153.0MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
181	7	(1.0536956108992449e+155 -1.1351371515866245e-141 -3.592616555115017e-116)	-	`(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))`
0	0	-	-	`(+.f64 (*.f64 x y) z)`
0	0	-	-	`(fma.f64 x y z)`
0	0	-	-	`#s(literal 1 binary64)`
0	0	-	-	`(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))`
0	0	-	-	`z`
0	0	-	-	`(*.f64 x y)`
0	0	-	-	`y`
0	0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))`	cancellation	161	0
`-.f64`	`(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))`	nan-rescue	27	0
↳	`(fma.f64 x y z)`	overflow	27
↳	`(+.f64 (*.f64 x y) z)`	overflow	27
↳	`(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))`	overflow	27
↳	`(*.f64 x y)`	overflow	27

Confusion

	Predicted +	Predicted -
+	181	0
-	7	68

Precision

0.9627659574468085

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	181	0	0
-	7	0	68

Precision?

0.9627659574468085

Recall?

1.0

Freqs

test

number	freq
0	68
1	188

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

251.0ms	366×	1	valid
40.0ms	144×	0	valid
0.0ms	2×	2	valid

Compiler

Compiled 93 to 29 computations (68.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 39.0ms

ival-sub: 17.0ms (43.5% of total)

ival-add: 8.0ms (20.5% of total)

adjust: 8.0ms (20.5% of total)

ival-mult: 6.0ms (15.4% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

preprocess498.0ms (11.5%)

Memory

0.3MiB live, 308.2MiB 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)

Iter	Nodes	Cost
0	34	138
1	119	117
2	389	9
3	1499	9
4	3070	9
5	3872	9
6	4575	9
7	5309	9
8	5959	9
9	6043	9
10	6043	9
11	6151	9
12	6238	9
13	6259	9
14	6271	9
15	6277	9
16	6277	9
0	9	11
0	15	11
1	28	11
2	71	1
3	233	1
4	544	1
5	1918	1
6	3446	1
7	4600	1
8	5183	1
9	5313	1
10	5345	1
11	5345	1
12	5613	1
13	5783	1
14	5859	1
15	5875	1
16	5875	1
17	5891	1
18	5891	1
19	6019	1
20	6765	1
0	8508	1

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)

Compiler

Compiled 15 to 9 computations (40% saved)

eval0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated
Compiler: Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Memory

2.0MiB live, 2.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	17.1%	(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))

Compiler

Compiled 15 to 9 computations (40% saved)

simplify381.0ms (8.8%)

Memory

11.4MiB live, 241.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
cost-diff	0	(fma.f64 x y z)
cost-diff	128	(+.f64 (*.f64 x y) z)
cost-diff	1152	(-.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)

Iter	Nodes	Cost
0	9	32
0	15	32
1	28	32
2	71	22
3	233	22
4	544	22
5	1918	22
6	3446	22
7	4600	22
8	5183	22
9	5313	22
10	5345	22
11	5345	22
12	5613	22
13	5783	22
14	5859	22
15	5875	22
16	5875	22
17	5891	22
18	5891	22
19	6019	22
20	6765	22
0	8508	22

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)
(fma.f64 y x z)
x
y
z
(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
(-.f64 (fma.f64 y x z) #s(literal -1 binary64))
#s(literal 1 binary64)
(+.f64 (*.f64 x y) z)
(fma.f64 y x z)
(*.f64 x y)
(*.f64 y x)

localize38.0ms (0.9%)

Memory

2.0MiB live, 79.9MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
accuracy	0	(*.f64 x y)
accuracy	0.0078125	(+.f64 (*.f64 x y) z)
accuracy	53.04835177089228	(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))

Samples

29.0ms	222×	1	valid
2.0ms	34×	0	valid

Compiler

Compiled 39 to 10 computations (74.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 16.0ms

adjust: 6.0ms (37.2% of total)

ival-add: 4.0ms (24.8% of total)

ival-mult: 3.0ms (18.6% of total)

ival-sub: 2.0ms (12.4% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

series10.0ms (0.2%)

Memory

-8.1MiB live, 26.1MiB allocated

Counts

5 → 168

Calls

Call 1

Inputs
#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())
#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())
#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())
#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())
#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())

Outputs
#s(alt -1 (taylor 0 z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* x y)) (taylor 0 z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt z (taylor inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (/ (* x y) z))) (taylor inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (/ (* x y) z))) (taylor inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (/ (* x y) z))) (taylor inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt z (taylor inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (/ (* x y) z))) (taylor inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (/ (* x y) z))) (taylor inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (/ (* x y) z))) (taylor inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt z (taylor inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (+ (/ 1 z) (/ (* x y) z)))) (taylor inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (+ (/ 1 z) (/ (* x y) z)))) (taylor inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (+ (/ 1 z) (/ (* x y) z)))) (taylor inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt z (taylor -inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1))) (taylor -inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1))) (taylor -inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1))) (taylor -inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt z (taylor -inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1))) (taylor -inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1))) (taylor -inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1))) (taylor -inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt z (taylor -inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1))) (taylor -inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1))) (taylor -inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1))) (taylor -inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt z (taylor 0 y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt z (taylor 0 y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ 1 z) (taylor 0 y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (/ z y))) (taylor inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (/ z y))) (taylor inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (/ z y))) (taylor inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (/ z y))) (taylor inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (/ z y))) (taylor inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (/ z y))) (taylor inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (+ (/ 1 y) (/ z y)))) (taylor inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (+ (/ 1 y) (/ z y)))) (taylor inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (+ (/ 1 y) (/ z y)))) (taylor inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y))))) (taylor -inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y))))) (taylor -inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y))))) (taylor -inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y))))) (taylor -inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y))))) (taylor -inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y))))) (taylor -inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y))))) (taylor -inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y))))) (taylor -inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y))))) (taylor -inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt z (taylor 0 x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt z (taylor 0 x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ 1 z) (taylor 0 x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ z x))) (taylor inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ z x))) (taylor inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ z x))) (taylor inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ z x))) (taylor inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ z x))) (taylor inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ z x))) (taylor inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (+ (/ 1 x) (/ z x)))) (taylor inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (+ (/ 1 x) (/ z x)))) (taylor inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (+ (/ 1 x) (/ z x)))) (taylor inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x))))) (taylor -inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x))))) (taylor -inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x))))) (taylor -inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x))))) (taylor -inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x))))) (taylor -inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x))))) (taylor -inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x))))) (taylor -inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x))))) (taylor -inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x))))) (taylor -inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	((- (+ (* x y) z) (+ 1 (+ (* x y) z))) (+ (* x y) z) (+ (* x y) z) (+ 1 (+ (* x y) z)) (* x y))
1.0ms	y	@	-inf	((- (+ (* x y) z) (+ 1 (+ (* x y) z))) (+ (* x y) z) (+ (* x y) z) (+ 1 (+ (* x y) z)) (* x y))
1.0ms	x	@	-inf	((- (+ (* x y) z) (+ 1 (+ (* x y) z))) (+ (* x y) z) (+ (* x y) z) (+ 1 (+ (* x y) z)) (* x y))
0.0ms	y	@	inf	((- (+ (* x y) z) (+ 1 (+ (* x y) z))) (+ (* x y) z) (+ (* x y) z) (+ 1 (+ (* x y) z)) (* x y))
0.0ms	z	@	inf	((- (+ (* x y) z) (+ 1 (+ (* x y) z))) (+ (* x y) z) (+ (* x y) z) (+ 1 (+ (* x y) z)) (* x y))

simplify127.0ms (2.9%)

Memory

10.5MiB live, 160.6MiB 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)

Iter	Nodes	Cost
0	60	630
1	204	630
2	610	630
3	1490	630
4	3757	630
5	5460	630
6	6796	630
7	7547	630
0	8018	548

Stop Event

1×	iter limit
1×	node limit

Counts

168 → 158

Calls

Call 1

Inputs
-1
-1
-1
-1
(* x y)
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
(* x y)
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
(+ 1 (* x y))
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
-1
-1
-1
-1
z
(* z (+ 1 (/ (* x y) z)))
(* z (+ 1 (/ (* x y) z)))
(* z (+ 1 (/ (* x y) z)))
z
(* z (+ 1 (/ (* x y) z)))
(* z (+ 1 (/ (* x y) z)))
(* z (+ 1 (/ (* x y) z)))
z
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
-1
-1
-1
-1
z
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
z
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
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)))
-1
-1
-1
-1
z
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
z
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
(+ 1 z)
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(* x y)
(* x y)
(* x y)
(* x y)
-1
-1
-1
-1
(* x y)
(* y (+ x (/ z y)))
(* y (+ x (/ z y)))
(* y (+ x (/ z y)))
(* x y)
(* y (+ x (/ z y)))
(* y (+ x (/ z y)))
(* y (+ x (/ z y)))
(* x y)
(* y (+ x (+ (/ 1 y) (/ z y))))
(* y (+ x (+ (/ 1 y) (/ z y))))
(* y (+ x (+ (/ 1 y) (/ z y))))
(* x y)
(* x y)
(* x y)
(* x y)
-1
-1
-1
-1
(* 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)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ 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)))))
(* x y)
(* x y)
(* x y)
(* x y)
-1
-1
-1
-1
z
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
z
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
(+ 1 z)
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(* x y)
(* x y)
(* x y)
(* x y)
-1
-1
-1
-1
(* x y)
(* x (+ y (/ z x)))
(* x (+ y (/ z x)))
(* x (+ y (/ z x)))
(* x y)
(* x (+ y (/ z x)))
(* x (+ y (/ z x)))
(* x (+ y (/ z x)))
(* x y)
(* x (+ y (+ (/ 1 x) (/ z x))))
(* x (+ y (+ (/ 1 x) (/ z x))))
(* x (+ y (+ (/ 1 x) (/ z x))))
(* x y)
(* x y)
(* x y)
(* x y)
-1
-1
-1
-1
(* x y)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ 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)))))
(* 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)))))
(* 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)
(* x y)
(*.f64 y x)
(+ z (* x y))
(fma.f64 y x z)
(+ z (* x y))
(fma.f64 y x z)
(+ z (* x y))
(fma.f64 y x z)
(* x y)
(*.f64 y x)
(+ z (* x y))
(fma.f64 y x z)
(+ z (* x y))
(fma.f64 y x z)
(+ z (* x y))
(fma.f64 y x z)
(+ 1 (* x y))
(fma.f64 y x #s(literal 1 binary64))
(+ 1 (+ z (* x y)))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(+ 1 (+ z (* x y)))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(+ 1 (+ z (* x y)))
(fma.f64 y x (-.f64 z #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 (+ 1 (/ (* x y) z)))
(fma.f64 y x z)
(* z (+ 1 (/ (* x y) z)))
(fma.f64 y x z)
(* z (+ 1 (/ (* x y) z)))
(fma.f64 y x z)
z
(* z (+ 1 (/ (* x y) z)))
(fma.f64 y x z)
(* z (+ 1 (/ (* x y) z)))
(fma.f64 y x z)
(* z (+ 1 (/ (* x y) z)))
(fma.f64 y x z)
z
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(fma.f64 y x (-.f64 z #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
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 y x z)
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 y x z)
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 y x z)
z
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 y x z)
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 y x z)
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 y x z)
z
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(fma.f64 y x (-.f64 z #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 y x z)
(+ z (* x y))
(fma.f64 y x z)
(+ z (* x y))
(fma.f64 y x z)
z
(+ z (* x y))
(fma.f64 y x z)
(+ z (* x y))
(fma.f64 y x z)
(+ z (* x y))
(fma.f64 y x z)
(+ 1 z)
(-.f64 z #s(literal -1 binary64))
(+ 1 (+ z (* x y)))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(+ 1 (+ z (* x y)))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(+ 1 (+ z (* x y)))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
(* x y)
(*.f64 y x)
(* y (+ x (/ z y)))
(fma.f64 y x z)
(* y (+ x (/ z y)))
(fma.f64 y x z)
(* y (+ x (/ z y)))
(fma.f64 y x z)
(* x y)
(*.f64 y x)
(* y (+ x (/ z y)))
(fma.f64 y x z)
(* y (+ x (/ z y)))
(fma.f64 y x z)
(* y (+ x (/ z y)))
(fma.f64 y x z)
(* x y)
(*.f64 y x)
(* y (+ x (+ (/ 1 y) (/ z y))))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* y (+ x (+ (/ 1 y) (/ z y))))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* y (+ x (+ (/ 1 y) (/ z y))))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
(* x y)
(*.f64 y x)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 y x z)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 y x z)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 y x z)
(* x y)
(*.f64 y x)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 y x z)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 y x z)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 y x z)
(* x y)
(*.f64 y x)
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
-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 y x z)
(+ z (* x y))
(fma.f64 y x z)
(+ z (* x y))
(fma.f64 y x z)
z
(+ z (* x y))
(fma.f64 y x z)
(+ z (* x y))
(fma.f64 y x z)
(+ z (* x y))
(fma.f64 y x z)
(+ 1 z)
(-.f64 z #s(literal -1 binary64))
(+ 1 (+ z (* x y)))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(+ 1 (+ z (* x y)))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(+ 1 (+ z (* x y)))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
(* x y)
(*.f64 y x)
(* x (+ y (/ z x)))
(fma.f64 y x z)
(* x (+ y (/ z x)))
(fma.f64 y x z)
(* x (+ y (/ z x)))
(fma.f64 y x z)
(* x y)
(*.f64 y x)
(* x (+ y (/ z x)))
(fma.f64 y x z)
(* x (+ y (/ z x)))
(fma.f64 y x z)
(* x (+ y (/ z x)))
(fma.f64 y x z)
(* x y)
(*.f64 y x)
(* x (+ y (+ (/ 1 x) (/ z x))))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* x (+ y (+ (/ 1 x) (/ z x))))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* x (+ y (+ (/ 1 x) (/ z x))))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
(* x y)
(*.f64 y x)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 y x z)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 y x z)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 y x z)
(* x y)
(*.f64 y x)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 y x z)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 y x z)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 y x z)
(* x y)
(*.f64 y x)
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(fma.f64 y x (-.f64 z #s(literal -1 binary64)))
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)

rewrite243.0ms (5.6%)

Memory

4.6MiB live, 287.5MiB 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)

Iter	Nodes	Cost
0	9	28
0	15	28
1	63	28
2	628	18
0	8466	18

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 (-.f64 (.f64 z z) (.f64 (.f64 (.f64 y x) y) x)) (/.f64 #s(literal 1 binary64) (-.f64 z (.f64 y x))))
(.f64 (neg.f64 (.f64 (fma.f64 y x z) (-.f64 (.f64 y x) z))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (.f64 y x) z))))
(.f64 (neg.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 (.f64 y x) y) x (.f64 z (-.f64 z (*.f64 y x)))))))
(.f64 (.f64 (fma.f64 y x z) (-.f64 (.f64 y x) z)) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 y x) z)))
(.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z)) (/.f64 #s(literal 1 binary64) (fma.f64 z z (-.f64 (.f64 (.f64 (.f64 y x) y) x) (.f64 (.f64 y x) z)))))
(.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z)) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 y x) y) x (.f64 z (-.f64 z (*.f64 y x))))))
(*.f64 #s(literal 1 binary64) (fma.f64 y x z))
(*.f64 (fma.f64 y x z) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y x z)) #s(literal -1 binary64))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 (.f64 y x) z)) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 z z) (-.f64 (.f64 y x) z)) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 (.f64 y x) z)) (/.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 (.f64 y x) z)) (fma.f64 (/.f64 (.f64 z z) (-.f64 (.f64 y x) z)) (/.f64 (.f64 z z) (-.f64 (.f64 y x) z)) (.f64 (/.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 (.f64 y x) z)) (/.f64 (.f64 z z) (-.f64 (*.f64 y x) z))))))
(/.f64 (neg.f64 (-.f64 (.f64 z z) (.f64 (.f64 (.f64 y x) y) x))) (neg.f64 (-.f64 z (*.f64 y x))))
(/.f64 (neg.f64 (neg.f64 (.f64 (fma.f64 y x z) (-.f64 (.f64 y x) z)))) (neg.f64 (neg.f64 (-.f64 (*.f64 y x) z))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z)))) (neg.f64 (neg.f64 (fma.f64 (.f64 (.f64 y x) y) x (.f64 z (-.f64 z (.f64 y x)))))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 (.f64 y x) z)) (.f64 (-.f64 (.f64 y x) z) (.f64 z z))) (.f64 (-.f64 (.f64 y x) z) (-.f64 (*.f64 y x) z)))
(/.f64 (-.f64 (.f64 z z) (.f64 (.f64 (.f64 y x) y) x)) (-.f64 z (*.f64 y x)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y x z))))
(/.f64 (neg.f64 (.f64 (fma.f64 y x z) (-.f64 (.f64 y x) z))) (neg.f64 (-.f64 (*.f64 y x) z)))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z))) (neg.f64 (fma.f64 z z (-.f64 (.f64 (.f64 (.f64 y x) y) x) (.f64 (*.f64 y x) z)))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z))) (neg.f64 (fma.f64 (.f64 (.f64 y x) y) x (.f64 z (-.f64 z (.f64 y x))))))
(/.f64 (.f64 (fma.f64 y x z) (-.f64 (.f64 y x) z)) (-.f64 (*.f64 y x) z))
(/.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z)) (fma.f64 z z (-.f64 (.f64 (.f64 (.f64 y x) y) x) (.f64 (*.f64 y x) z))))
(/.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z)) (fma.f64 (.f64 (.f64 y x) y) x (.f64 z (-.f64 z (.f64 y x)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 z (.f64 y x)) (-.f64 (.f64 z z) (.f64 (.f64 (*.f64 y x) y) x))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z z (-.f64 (.f64 (.f64 (.f64 y x) y) x) (.f64 (.f64 y x) z))) (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (*.f64 z z) z))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y x z)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 y x z)))
(fma.f64 (.f64 (.f64 (.f64 y x) y) x) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (.f64 z z) (-.f64 (.f64 y x) z))))
(fma.f64 (*.f64 y x) #s(literal 1 binary64) z)
(fma.f64 #s(literal 1 binary64) (*.f64 y x) z)
(fma.f64 #s(literal 1 binary64) z (*.f64 y x))
(fma.f64 z #s(literal 1 binary64) (*.f64 y x))
(fma.f64 y x z)
(fma.f64 x y z)
(-.f64 (/.f64 (.f64 z z) (-.f64 z (.f64 y x))) (/.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 z (.f64 y x))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 (.f64 y x) z)) (/.f64 (.f64 z z) (-.f64 (.f64 y x) z)))
(+.f64 (/.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (.f64 z z) (-.f64 (.f64 y x) z))))
(+.f64 (*.f64 y x) z)
(+.f64 z (*.f64 y x))
(.f64 (-.f64 (.f64 z z) (.f64 (.f64 (.f64 y x) y) x)) (/.f64 #s(literal 1 binary64) (-.f64 z (.f64 y x))))
(.f64 (neg.f64 (.f64 (fma.f64 y x z) (-.f64 (.f64 y x) z))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (.f64 y x) z))))
(.f64 (neg.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 (.f64 y x) y) x (.f64 z (-.f64 z (*.f64 y x)))))))
(.f64 (.f64 (fma.f64 y x z) (-.f64 (.f64 y x) z)) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 y x) z)))
(.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z)) (/.f64 #s(literal 1 binary64) (fma.f64 z z (-.f64 (.f64 (.f64 (.f64 y x) y) x) (.f64 (.f64 y x) z)))))
(.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z)) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 y x) y) x (.f64 z (-.f64 z (*.f64 y x))))))
(*.f64 #s(literal 1 binary64) (fma.f64 y x z))
(*.f64 (fma.f64 y x z) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y x z)) #s(literal -1 binary64))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 (.f64 y x) z)) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 z z) (-.f64 (.f64 y x) z)) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 (.f64 y x) z)) (/.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 (.f64 y x) z)) (fma.f64 (/.f64 (.f64 z z) (-.f64 (.f64 y x) z)) (/.f64 (.f64 z z) (-.f64 (.f64 y x) z)) (.f64 (/.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 (.f64 y x) z)) (/.f64 (.f64 z z) (-.f64 (*.f64 y x) z))))))
(/.f64 (neg.f64 (-.f64 (.f64 z z) (.f64 (.f64 (.f64 y x) y) x))) (neg.f64 (-.f64 z (*.f64 y x))))
(/.f64 (neg.f64 (neg.f64 (.f64 (fma.f64 y x z) (-.f64 (.f64 y x) z)))) (neg.f64 (neg.f64 (-.f64 (*.f64 y x) z))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z)))) (neg.f64 (neg.f64 (fma.f64 (.f64 (.f64 y x) y) x (.f64 z (-.f64 z (.f64 y x)))))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 (.f64 y x) z)) (.f64 (-.f64 (.f64 y x) z) (.f64 z z))) (.f64 (-.f64 (.f64 y x) z) (-.f64 (*.f64 y x) z)))
(/.f64 (-.f64 (.f64 z z) (.f64 (.f64 (.f64 y x) y) x)) (-.f64 z (*.f64 y x)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y x z))))
(/.f64 (neg.f64 (.f64 (fma.f64 y x z) (-.f64 (.f64 y x) z))) (neg.f64 (-.f64 (*.f64 y x) z)))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z))) (neg.f64 (fma.f64 z z (-.f64 (.f64 (.f64 (.f64 y x) y) x) (.f64 (*.f64 y x) z)))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z))) (neg.f64 (fma.f64 (.f64 (.f64 y x) y) x (.f64 z (-.f64 z (.f64 y x))))))
(/.f64 (.f64 (fma.f64 y x z) (-.f64 (.f64 y x) z)) (-.f64 (*.f64 y x) z))
(/.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z)) (fma.f64 z z (-.f64 (.f64 (.f64 (.f64 y x) y) x) (.f64 (*.f64 y x) z))))
(/.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z)) (fma.f64 (.f64 (.f64 y x) y) x (.f64 z (-.f64 z (.f64 y x)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 z (.f64 y x)) (-.f64 (.f64 z z) (.f64 (.f64 (*.f64 y x) y) x))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z z (-.f64 (.f64 (.f64 (.f64 y x) y) x) (.f64 (.f64 y x) z))) (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (*.f64 z z) z))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y x z)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 y x z)))
(fma.f64 (.f64 (.f64 (.f64 y x) y) x) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (.f64 z z) (-.f64 (.f64 y x) z))))
(fma.f64 (*.f64 y x) #s(literal 1 binary64) z)
(fma.f64 #s(literal 1 binary64) (*.f64 y x) z)
(fma.f64 #s(literal 1 binary64) z (*.f64 y x))
(fma.f64 z #s(literal 1 binary64) (*.f64 y x))
(fma.f64 y x z)
(fma.f64 x y z)
(-.f64 (/.f64 (.f64 z z) (-.f64 z (.f64 y x))) (/.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 z (.f64 y x))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 (.f64 y x) z)) (/.f64 (.f64 z z) (-.f64 (.f64 y x) z)))
(+.f64 (/.f64 (.f64 (.f64 (.f64 y x) y) x) (-.f64 (.f64 y x) z)) (neg.f64 (/.f64 (.f64 z z) (-.f64 (.f64 y x) z))))
(+.f64 (*.f64 y x) z)
(+.f64 z (*.f64 y x))
(.f64 (fma.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64)) (neg.f64 (.f64 z z))) (/.f64 #s(literal 1 binary64) (-.f64 (fma.f64 y x #s(literal 1 binary64)) z)))
(*.f64 (fma.f64 (fma.f64 y x z) (fma.f64 y x z) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (fma.f64 y x z) #s(literal 1 binary64))))
(.f64 (fma.f64 (.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64))) (fma.f64 y x #s(literal 1 binary64)) (.f64 (.f64 z z) z)) (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64)) (-.f64 (.f64 z z) (.f64 (fma.f64 y x #s(literal 1 binary64)) z)))))
(.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (.f64 (fma.f64 y x z) (fma.f64 y x z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 #s(literal 1 binary64) (fma.f64 y x z)))))
(.f64 (neg.f64 (fma.f64 (.f64 (fma.f64 y x z) (fma.f64 y x z)) (fma.f64 y x z) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (fma.f64 y x z) (-.f64 (fma.f64 y x z) #s(literal 1 binary64)) #s(literal 1 binary64)))))
(.f64 (-.f64 #s(literal 1 binary64) (.f64 (fma.f64 y x z) (fma.f64 y x z))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))))
(.f64 (fma.f64 (.f64 (fma.f64 y x z) (fma.f64 y x z)) (fma.f64 y x z) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 y x z) (fma.f64 y x z) (-.f64 #s(literal 1 binary64) (fma.f64 y x z)))))
(.f64 (fma.f64 (.f64 (fma.f64 y x z) (fma.f64 y x z)) (fma.f64 y x z) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 y x z) (-.f64 (fma.f64 y x z) #s(literal 1 binary64)) #s(literal 1 binary64))))
(*.f64 (+.f64 #s(literal 1 binary64) (fma.f64 y x z)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (fma.f64 y x z)))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (fma.f64 y x z))) #s(literal -1 binary64))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) z) (+.f64 #s(literal 1 binary64) z)) (.f64 (.f64 (.f64 y x) y) x)) (-.f64 (+.f64 #s(literal 1 binary64) z) (*.f64 y x)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 y x) y) x) (.f64 (+.f64 z #s(literal 1 binary64)) (+.f64 z #s(literal 1 binary64)))) (-.f64 (*.f64 y x) (+.f64 z #s(literal 1 binary64))))
(/.f64 (-.f64 (.f64 z z) (.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64)))) (-.f64 z (fma.f64 y x #s(literal 1 binary64))))
(/.f64 (-.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 (fma.f64 y x z) (fma.f64 y x z)) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))) #s(literal 3 binary64))) (fma.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))) (fma.f64 (/.f64 (.f64 (fma.f64 y x z) (fma.f64 y x z)) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))) (/.f64 (.f64 (fma.f64 y x z) (fma.f64 y x z)) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))) (/.f64 (*.f64 (fma.f64 y x z) (fma.f64 y x z)) (-.f64 #s(literal 1 binary64) (fma.f64 y x z)))))))
(/.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) z) #s(literal 3 binary64)) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (fma.f64 (+.f64 #s(literal 1 binary64) z) (+.f64 #s(literal 1 binary64) z) (-.f64 (.f64 (.f64 (.f64 y x) y) x) (.f64 (+.f64 #s(literal 1 binary64) z) (.f64 y x)))))
(/.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (pow.f64 (+.f64 z #s(literal 1 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 y x) y) x (-.f64 (.f64 (+.f64 z #s(literal 1 binary64)) (+.f64 z #s(literal 1 binary64))) (.f64 (*.f64 y x) (+.f64 z #s(literal 1 binary64))))))
(/.f64 (fma.f64 (.f64 z z) z (.f64 (.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64))) (fma.f64 y x #s(literal 1 binary64)))) (fma.f64 z z (-.f64 (.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64))) (*.f64 z (fma.f64 y x #s(literal 1 binary64))))))
(/.f64 (neg.f64 (fma.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64)) (neg.f64 (*.f64 z z)))) (neg.f64 (-.f64 (fma.f64 y x #s(literal 1 binary64)) z)))
(/.f64 (neg.f64 (fma.f64 (.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64))) (fma.f64 y x #s(literal 1 binary64)) (.f64 (.f64 z z) z))) (neg.f64 (fma.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64)) (-.f64 (.f64 z z) (*.f64 (fma.f64 y x #s(literal 1 binary64)) z)))))
(/.f64 (neg.f64 (fma.f64 (fma.f64 y x z) (fma.f64 y x z) #s(literal -1 binary64))) (neg.f64 (-.f64 (fma.f64 y x z) #s(literal 1 binary64))))
(/.f64 (neg.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 (fma.f64 y x z) (fma.f64 y x z))))) (neg.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (fma.f64 y x z)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (*.f64 (fma.f64 y x z) (fma.f64 y x z)) (fma.f64 y x z) #s(literal 1 binary64)))) (neg.f64 (neg.f64 (fma.f64 (fma.f64 y x z) (-.f64 (fma.f64 y x z) #s(literal 1 binary64)) #s(literal 1 binary64)))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))) (.f64 (-.f64 #s(literal 1 binary64) (fma.f64 y x z)) (.f64 (fma.f64 y x z) (fma.f64 y x z)))) (.f64 (-.f64 #s(literal 1 binary64) (fma.f64 y x z)) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))))
(/.f64 (fma.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64)) (neg.f64 (*.f64 z z))) (-.f64 (fma.f64 y x #s(literal 1 binary64)) z))
(/.f64 (fma.f64 (fma.f64 y x z) (fma.f64 y x z) #s(literal -1 binary64)) (-.f64 (fma.f64 y x z) #s(literal 1 binary64)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (fma.f64 y x z)))))
(/.f64 (fma.f64 (.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64))) (fma.f64 y x #s(literal 1 binary64)) (.f64 (.f64 z z) z)) (fma.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64)) (-.f64 (.f64 z z) (*.f64 (fma.f64 y x #s(literal 1 binary64)) z))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 (fma.f64 y x z) (fma.f64 y x z)))) (neg.f64 (-.f64 #s(literal 1 binary64) (fma.f64 y x z))))
(/.f64 (neg.f64 (fma.f64 (*.f64 (fma.f64 y x z) (fma.f64 y x z)) (fma.f64 y x z) #s(literal 1 binary64))) (neg.f64 (fma.f64 (fma.f64 y x z) (fma.f64 y x z) (-.f64 #s(literal 1 binary64) (fma.f64 y x z)))))
(/.f64 (neg.f64 (fma.f64 (*.f64 (fma.f64 y x z) (fma.f64 y x z)) (fma.f64 y x z) #s(literal 1 binary64))) (neg.f64 (fma.f64 (fma.f64 y x z) (-.f64 (fma.f64 y x z) #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (fma.f64 y x z) (fma.f64 y x z))) (-.f64 #s(literal 1 binary64) (fma.f64 y x z)))
(/.f64 (fma.f64 (*.f64 (fma.f64 y x z) (fma.f64 y x z)) (fma.f64 y x z) #s(literal 1 binary64)) (fma.f64 (fma.f64 y x z) (fma.f64 y x z) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))))
(/.f64 (fma.f64 (*.f64 (fma.f64 y x z) (fma.f64 y x z)) (fma.f64 y x z) #s(literal 1 binary64)) (fma.f64 (fma.f64 y x z) (-.f64 (fma.f64 y x z) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (fma.f64 y x #s(literal 1 binary64)) z) (fma.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64)) (neg.f64 (*.f64 z z)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (fma.f64 y x z) #s(literal 1 binary64)) (fma.f64 (fma.f64 y x z) (fma.f64 y x z) #s(literal -1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64)) (-.f64 (.f64 z z) (.f64 (fma.f64 y x #s(literal 1 binary64)) z))) (fma.f64 (.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64))) (fma.f64 y x #s(literal 1 binary64)) (.f64 (*.f64 z z) z))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (fma.f64 y x z) (fma.f64 y x z) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))) (fma.f64 (*.f64 (fma.f64 y x z) (fma.f64 y x z)) (fma.f64 y x z) #s(literal 1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (fma.f64 y x z))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (fma.f64 y x z))))
(fma.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 y x) y) x)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (.f64 y x))) z)
(fma.f64 (-.f64 (.f64 z z) (.f64 (.f64 (.f64 y x) y) x)) (/.f64 #s(literal 1 binary64) (-.f64 z (*.f64 y x))) #s(literal 1 binary64))
(fma.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 (.f64 y x) y) x) (*.f64 y x)))) z)
(fma.f64 (neg.f64 (.f64 (fma.f64 y x z) (-.f64 (.f64 y x) z))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 (*.f64 y x) z))) #s(literal 1 binary64))
(fma.f64 (neg.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 (.f64 y x) y) x (.f64 z (-.f64 z (.f64 y x)))))) #s(literal 1 binary64))
(fma.f64 (.f64 (fma.f64 y x z) (-.f64 (.f64 y x) z)) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 y x) z)) #s(literal 1 binary64))
(fma.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z)) (/.f64 #s(literal 1 binary64) (fma.f64 z z (-.f64 (.f64 (.f64 (.f64 y x) y) x) (.f64 (*.f64 y x) z)))) #s(literal 1 binary64))
(fma.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 z z) z)) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 y x) y) x (.f64 z (-.f64 z (.f64 y x))))) #s(literal 1 binary64))
(fma.f64 (*.f64 y x) #s(literal 1 binary64) (+.f64 z #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))) (neg.f64 (/.f64 (*.f64 (fma.f64 y x z) (fma.f64 y x z)) (-.f64 #s(literal 1 binary64) (fma.f64 y x z)))))
(fma.f64 #s(literal 1 binary64) (*.f64 y x) (+.f64 z #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 y x z) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) z (fma.f64 y x #s(literal 1 binary64)))
(fma.f64 (fma.f64 y x z) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 z #s(literal 1 binary64) (fma.f64 y x #s(literal 1 binary64)))
(fma.f64 y x (+.f64 z #s(literal 1 binary64)))
(fma.f64 x y (+.f64 z #s(literal 1 binary64)))
(-.f64 (/.f64 (.f64 (fma.f64 y x #s(literal 1 binary64)) (fma.f64 y x #s(literal 1 binary64))) (-.f64 (fma.f64 y x #s(literal 1 binary64)) z)) (/.f64 (.f64 z z) (-.f64 (fma.f64 y x #s(literal 1 binary64)) z)))
(-.f64 (/.f64 (*.f64 (fma.f64 y x z) (fma.f64 y x z)) (-.f64 (fma.f64 y x z) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (fma.f64 y x z) #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))) (/.f64 (*.f64 (fma.f64 y x z) (fma.f64 y x z)) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))))
(+.f64 (+.f64 #s(literal 1 binary64) z) (*.f64 y x))
(+.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 y x z))) (neg.f64 (/.f64 (*.f64 (fma.f64 y x z) (fma.f64 y x z)) (-.f64 #s(literal 1 binary64) (fma.f64 y x z)))))
(+.f64 (fma.f64 y x #s(literal 1 binary64)) z)
(+.f64 (*.f64 y x) (+.f64 z #s(literal 1 binary64)))
(+.f64 #s(literal 1 binary64) (fma.f64 y x z))
(+.f64 (fma.f64 y x z) #s(literal 1 binary64))
(+.f64 z (fma.f64 y x #s(literal 1 binary64)))
(.f64 (.f64 y x) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 y x))
(*.f64 y x)
(*.f64 x y)

eval46.0ms (1.1%)

Memory: 25.8MiB live, 94.8MiB allocated
Compiler: Compiled 5 628 to 461 computations (91.8% saved)

prune28.0ms (0.7%)

Memory

-16.2MiB live, 67.5MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	305	1	306
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	306	1	307

Accuracy

100.0%

Counts

307 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

Compiler

Compiled 5 to 4 computations (20% saved)

simplify566.0ms (13.1%)

Memory

-11.3MiB live, 288.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
cost-diff	0	#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

Rules

23 408×	`lower-fma.f64`
23 408×	`lower-fma.f32`
4 272×	`lower-+.f64`
4 272×	`lower-+.f32`
2 274×	`distribute-lft-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	16
0	10	16
1	23	16
2	65	4
3	228	4
4	536	4
5	1948	4
6	3453	4
7	4597	4
8	5166	4
9	5296	4
10	5328	4
11	5328	4
12	5596	4
13	5763	4
14	5839	4
15	5855	4
16	5855	4
17	5871	4
18	5871	4
19	5999	4
20	6764	4
0	8507	4

Stop Event

1×	iter limit
1×	node limit
1×	saturated

Calls

Call 1

Inputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))
#s(literal -1 binary64)

Outputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))
#s(literal -1 binary64)

localize86.0ms (2%)

Memory

7.4MiB live, 44.5MiB allocated

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
accuracy	0	#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

Samples

79.0ms	222×	1	valid
2.0ms	34×	0	valid

Compiler

Compiled 16 to 11 computations (31.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 73.0ms

ival-add: 64.0ms (87.6% of total)

adjust: 4.0ms (5.5% of total)

ival-mult: 2.0ms (2.7% of total)

ival-sub: 2.0ms (2.7% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

series1.0ms (0%)

Memory

2.1MiB live, 2.1MiB allocated

Counts

1 → 36

Calls

Call 1

Inputs
#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())

Outputs
#s(alt -1 (taylor 0 z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	z	@	0	((- (+ (* x y) z) (+ 1 (+ (* x y) z))))
0.0ms	z	@	inf	((- (+ (* x y) z) (+ 1 (+ (* x y) z))))
0.0ms	z	@	-inf	((- (+ (* x y) z) (+ 1 (+ (* x y) z))))
0.0ms	y	@	-inf	((- (+ (* x y) z) (+ 1 (+ (* x y) z))))
0.0ms	y	@	inf	((- (+ (* x y) z) (+ 1 (+ (* x y) z))))

simplify87.0ms (2%)

Memory

-34.5MiB live, 4.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	36
0	1	36

Stop Event

1×	saturated
1×	saturated

Counts

36 → 36

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

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)

rewrite226.0ms (5.2%)

Memory

24.3MiB live, 182.8MiB allocated

Rules

4 312×	`lower-fma.f64`
4 312×	`lower-fma.f32`
4 202×	`lower-*.f64`
4 202×	`lower-*.f32`
3 672×	`lower-/.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	15
0	10	15
1	58	15
2	622	3
0	8467	3

Stop Event

1×	iter limit
1×	node limit
1×	saturated

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

Outputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

eval3.0ms (0.1%)

Memory: 9.8MiB live, 9.8MiB allocated
Compiler: Compiled 77 to 4 computations (94.8% saved)

prune1.0ms (0%)

Memory

3.4MiB live, 3.4MiB allocated

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	37	0	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	1	38

Accuracy

100.0%

Counts

38 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

Compiler

Compiled 22 to 14 computations (36.4% saved)

regimes7.0ms (0.2%)

Memory

-21.6MiB live, 17.4MiB allocated

Accuracy

Total -53.1b remaining (-∞%)

Threshold costs -53.1b (-∞%)

Counts

2 → 1

Calls

Call 1

Inputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))

Outputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

Calls

4 calls:

2.0ms	(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
1.0ms	z
1.0ms	y
1.0ms	x

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`
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

13.8MiB live, 13.8MiB allocated

Algorithm

1×	egg-herbie

Rules

2×	`1-exp_binary64`
2×	`1-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	15
1	13	15

Stop Event

1×

saturated

Calls

Call 1

Inputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

Outputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

soundness271.0ms (6.3%)

Memory

-27.5MiB live, 92.5MiB allocated

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)

Iter	Nodes	Cost
0	60	630
1	204	630
2	610	630
3	1490	630
4	3757	630
5	5460	630
6	6796	630
7	7547	630
0	8018	548

Stop Event

1×	done
1×	iter limit
1×	node limit

Compiler

Compiled 9 to 8 computations (11.1% saved)

preprocess48.0ms (1.1%)

Memory

39.1MiB live, 116.7MiB allocated

Remove

(sort x y z)

(abs x)

(abs y)

(abs z)

Compiler

Compiled 88 to 66 computations (25% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample1.3s (30%)

explain358.0ms (8.3%)

preprocess498.0ms (11.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify381.0ms (8.8%)

localize38.0ms (0.9%)

series10.0ms (0.2%)

simplify127.0ms (2.9%)

rewrite243.0ms (5.6%)

eval46.0ms (1.1%)

prune28.0ms (0.7%)

simplify566.0ms (13.1%)

localize86.0ms (2%)

series1.0ms (0%)

simplify87.0ms (2%)

rewrite226.0ms (5.2%)

eval3.0ms (0.1%)

prune1.0ms (0%)

regimes7.0ms (0.2%)

simplify5.0ms (0.1%)

soundness271.0ms (6.3%)

preprocess48.0ms (1.1%)

end0.0ms (0%)

Profiling