Metrics for simple fma test

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.4MiB live, 0.4MiB 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.4s (31.6%)

Memory

39.2MiB live, 1 323.1MiB allocated

Samples

860.0ms	6 002×	1	valid
117.0ms	2 254×	0	valid

Precisions

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

ival-mult: 187.0ms (34.2% of total)

ival-add: 150.0ms (27.5% of total)

adjust: 125.0ms (22.9% of total)

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

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

exact: 5.0ms (0.9% of total)

ival-assert: 3.0ms (0.5% of total)

Bogosity

explain366.0ms (8.5%)

Memory

7.7MiB live, 236.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
183	4	(2.375997289837602e-114 -0.0005546539620789807 265361951242.38174)	-	`(-.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	26	0
↳	`(fma.f64 x y z)`	overflow	26
↳	`(+.f64 (*.f64 x y) z)`	overflow	26
↳	`(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))`	overflow	26
↳	`(*.f64 x y)`	overflow	26

Confusion

	Predicted +	Predicted -
+	183	0
-	4	69

Precision

0.9786096256684492

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	183	0	0
-	4	0	69

Precision?

0.9786096256684492

Recall?

1.0

Freqs

test

number	freq
0	69
1	187

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

249.0ms	372×	1	valid
8.0ms	140×	0	valid

Compiler

Compiled 90 to 29 computations (67.8% saved)

Precisions

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

ival-add: 13.0ms (41.7% of total)

adjust: 8.0ms (25.6% of total)

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

ival-sub: 4.0ms (12.8% of total)

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

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

exact: 0.0ms (0% of total)

preprocess523.0ms (12.2%)

Memory

6.1MiB live, 274.1MiB 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 12 to 9 computations (25% saved)

eval0.0ms (0%)

Memory: 0.3MiB live, 0.4MiB allocated
Compiler: Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 12 to 9 computations (25% saved)

simplify424.0ms (9.9%)

Memory

-20.4MiB live, 266.7MiB 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)

localize37.0ms (0.9%)

Memory

30.2MiB live, 100.5MiB 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.00390625	(+.f64 (*.f64 x y) z)
accuracy	52.832838743876685	(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))

Samples

26.0ms	220×	1	valid
5.0ms	36×	0	valid

Compiler

Compiled 39 to 10 computations (74.4% saved)

Precisions

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

ival-mult: 5.0ms (29.9% of total)

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

adjust: 4.0ms (23.9% of total)

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

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

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

exact: 0.0ms (0% of total)

series12.0ms (0.3%)

Memory

-9.3MiB live, 44.2MiB 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
5.0ms	x	@	0	((- (+ (* 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	x	@	inf	((- (+ (* x y) z) (+ 1 (+ (* x y) z))) (+ (* x y) z) (+ (* x y) z) (+ 1 (+ (* x y) z)) (* x y))

simplify158.0ms (3.7%)

Memory

-9.9MiB live, 66.1MiB 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)

rewrite432.0ms (10%)

Memory

23.0MiB live, 177.2MiB 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
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval116.0ms (2.7%)

Memory: -25.0MiB live, 67.6MiB allocated
Compiler: Compiled 5 134 to 470 computations (90.8% saved)

prune8.0ms (0.2%)

Memory

21.5MiB live, 21.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 2 to 5 computations (-150% saved)

simplify348.0ms (8.1%)

Memory

-1.3MiB live, 306.3MiB 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)

localize29.0ms (0.7%)

Memory

14.7MiB live, 92.9MiB 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

21.0ms	220×	1	valid
3.0ms	36×	0	valid

Compiler

Compiled 16 to 11 computations (31.3% saved)

Precisions

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

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

adjust: 4.0ms (29.4% of total)

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

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

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

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

exact: 0.0ms (0% of total)

series3.0ms (0.1%)

Memory

-33.7MiB live, 4.2MiB 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))))

simplify3.0ms (0.1%)

Memory

8.1MiB live, 8.0MiB 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)

rewrite124.0ms (2.9%)

Memory

4.0MiB live, 150.6MiB 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
#<batchref>

eval3.0ms (0.1%)

Memory: 8.0MiB live, 8.0MiB allocated
Compiler: Compiled 74 to 5 computations (93.2% saved)

prune3.0ms (0.1%)

Memory

7.9MiB live, 7.9MiB 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 16 to 16 computations (0% saved)

regimes6.0ms (0.1%)

Memory

17.3MiB live, 17.3MiB allocated

Accuracy

Total -52.8b remaining (-∞%)

Threshold costs -52.8b (-∞%)

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:

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

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 15 to 18 computations (-20% saved)

simplify88.0ms (2.1%)

Memory

-57.1MiB live, 105.2MiB allocated

Algorithm

1×	egg-herbie

Rules

2×	`1-exp-binary32-exp.f32`
2×	`1-exp-binary64-exp.f64`

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))

soundness224.0ms (5.2%)

Memory

-7.3MiB live, 104.3MiB 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 3 to 9 computations (-200% saved)

preprocess33.0ms (0.8%)

Memory

28.7MiB live, 105.1MiB allocated

Remove

(sort x y z)

(abs x)

(abs y)

(abs z)

Compiler

Compiled 46 to 76 computations (-65.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample1.4s (31.6%)

explain366.0ms (8.5%)

preprocess523.0ms (12.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify424.0ms (9.9%)

localize37.0ms (0.9%)

series12.0ms (0.3%)

simplify158.0ms (3.7%)

rewrite432.0ms (10%)

eval116.0ms (2.7%)

prune8.0ms (0.2%)

simplify348.0ms (8.1%)

localize29.0ms (0.7%)

series3.0ms (0.1%)

simplify3.0ms (0.1%)

rewrite124.0ms (2.9%)

eval3.0ms (0.1%)

prune3.0ms (0.1%)

regimes6.0ms (0.1%)

simplify88.0ms (2.1%)

soundness224.0ms (5.2%)

preprocess33.0ms (0.8%)

end0.0ms (0%)

Profiling