Metrics for simple fma test

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

1.0MiB live, 1.0MiB 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.6s (34.3%)

Memory

48.8MiB live, 1 364.5MiB allocated

Samples

756.0ms	6 014×	1	valid
362.0ms	2 242×	0	valid

Precisions

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

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

adjust: 173.0ms (27.2% of total)

ival-mult: 115.0ms (18.1% of total)

ival-sub: 67.0ms (10.5% of total)

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

exact: 5.0ms (0.8% of total)

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

Bogosity

explain400.0ms (8.4%)

Memory

9.7MiB live, 250.8MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
198	2	(-2.502868958297245e-280 -1.626392963486854e-189 -99424288.5050476)	-	`(-.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	167	0
`-.f64`	`(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))`	nan-rescue	33	0
↳	`(fma.f64 x y z)`	overflow	33
↳	`(+.f64 (*.f64 x y) z)`	overflow	33
↳	`(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))`	overflow	33
↳	`(*.f64 x y)`	overflow	33

Confusion

	Predicted +	Predicted -
+	198	0
-	2	56

Precision

0.99

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	198	0	0
-	2	0	56

Precision?

0.99

Recall?

1.0

Freqs

test

number	freq
0	56
1	200

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

317.0ms	396×	1	valid
6.0ms	116×	0	valid

Compiler

Compiled 125 to 38 computations (69.6% saved)

Precisions

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

ival-add: 9.0ms (31.1% of total)

adjust: 8.0ms (27.7% of total)

ival-mult: 7.0ms (24.2% of total)

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

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

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

exact: 0.0ms (0% of total)

preprocess562.0ms (11.8%)

Memory

-9.5MiB live, 316.0MiB allocated

Algorithm

1×	egg-herbie

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.3MiB allocated
Compiler: Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 12 to 9 computations (25% saved)

simplify388.0ms (8.2%)

Memory

24.8MiB live, 211.3MiB 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)))

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)

localize94.0ms (2%)

Memory

-27.8MiB live, 96.0MiB allocated

Localize:

Found 4 expressions of interest:

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

Samples

44.0ms	223×	1	valid
2.0ms	33×	0	valid

Compiler

Compiled 74 to 19 computations (74.3% saved)

Precisions

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

adjust: 7.0ms (41.4% of total)

ival-add: 5.0ms (29.5% of total)

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

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

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

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

exact: 0.0ms (0% of total)

series8.0ms (0.2%)

Memory

13.8MiB live, 13.8MiB 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
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))
0.0ms	z	@	inf	((- (+ (* x y) z) (+ 1 (+ (* x y) z))) (+ (* x y) z) (+ (* x y) z) (+ 1 (+ (* x y) z)) (* x y))

simplify175.0ms (3.7%)

Memory

22.7MiB live, 92.0MiB allocated

Algorithm

1×	egg-herbie

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)

rewrite255.0ms (5.4%)

Memory

-7.5MiB live, 318.3MiB allocated

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>

eval39.0ms (0.8%)

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

prune8.0ms (0.2%)

Memory

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

simplify603.0ms (12.7%)

Memory

-30.2MiB live, 283.7MiB 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))

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	539	4
5	1943	4
6	3456	4
7	4595	4
8	5164	4
9	5294	4
10	5326	4
11	5326	4
12	5594	4
13	5767	4
14	5843	4
15	5859	4
16	5859	4
17	5875	4
18	5875	4
19	6003	4
20	6775	4
0	8453	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.6%)

Memory

18.8MiB live, 18.8MiB 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	223×	1	valid
2.0ms	33×	0	valid

Compiler

Compiled 19 to 16 computations (15.8% saved)

Precisions

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

adjust: 5.0ms (34.6% of total)

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

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

ival-sub: 2.0ms (13.8% 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

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

simplify2.0ms (0%)

Memory

1.0MiB live, 1.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)

rewrite233.0ms (4.9%)

Memory

-32.4MiB live, 122.6MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	15
0	10	15
1	58	15
2	622	3
0	8459	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: 4.2MiB live, 4.2MiB allocated
Compiler: Compiled 74 to 5 computations (93.2% saved)

prune3.0ms (0.1%)

Memory

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

regimes30.0ms (0.6%)

Memory

-22.5MiB live, 15.7MiB allocated

Accuracy

Total -54.1b remaining (-∞%)

Threshold costs -54.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:

25.0ms	(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
2.0ms	z
2.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 15 to 18 computations (-20% saved)

simplify25.0ms (0.5%)

Memory

21.7MiB live, 60.1MiB allocated

Algorithm

1×	egg-herbie

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

soundness221.0ms (4.6%)

Memory

-34.0MiB live, 89.9MiB allocated

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)

preprocess46.0ms (1%)

Memory

29.8MiB live, 150.3MiB 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.6s (34.3%)

explain400.0ms (8.4%)

preprocess562.0ms (11.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify388.0ms (8.2%)

localize94.0ms (2%)

series8.0ms (0.2%)

simplify175.0ms (3.7%)

rewrite255.0ms (5.4%)

eval39.0ms (0.8%)

prune8.0ms (0.2%)

simplify603.0ms (12.7%)

localize29.0ms (0.6%)

series1.0ms (0%)

simplify2.0ms (0%)

rewrite233.0ms (4.9%)

eval3.0ms (0.1%)

prune3.0ms (0.1%)

regimes30.0ms (0.6%)

simplify25.0ms (0.5%)

soundness221.0ms (4.6%)

preprocess46.0ms (1%)

end0.0ms (0%)

Profiling