Metrics for Diagrams.Color.HSV:lerp from diagrams-contrib-1.3.0.5

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

1.2MiB live, 1.2MiB 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 11 to 10 computations (9.1% saved)

sample631.0ms (16.1%)

Memory

21.9MiB live, 1 493.0MiB allocated

Samples

401.0ms

8 256×

valid

Precisions

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

ival-mult: 114.0ms (52.9% of total)

ival-sub: 49.0ms (22.7% of total)

ival-add: 39.0ms (18.1% of total)

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

exact: 5.0ms (2.3% of total)

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

Bogosity

explain79.0ms (2%)

Memory

-5.6MiB live, 238.4MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
7	-	-	`(+.f64 (.f64 (-.f64 #s(literal 1 binary64) x) y) (.f64 x z))`
0	-	-	`y`
0	-	-	`(*.f64 (-.f64 #s(literal 1 binary64) x) y)`
0	-	-	`(-.f64 #s(literal 1 binary64) x)`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`z`
0	-	-	`(*.f64 x z)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`(+.f64 (.f64 (-.f64 #s(literal 1 binary64) x) y) (.f64 x z))`	nan-rescue	7	0
↳	`(*.f64 (-.f64 #s(literal 1 binary64) x) y)`	overflow	34
↳	`(*.f64 x z)`	overflow	37

Confusion

	Predicted +	Predicted -
+	7	0
-	0	249

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	7	0	0
-	0	0	249

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	249
1	7

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

31.0ms

512×

valid

Compiler

Compiled 85 to 36 computations (57.6% saved)

Precisions

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

ival-mult: 8.0ms (55.8% of total)

ival-sub: 3.0ms (20.9% of total)

ival-add: 2.0ms (14% of total)

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

exact: 0.0ms (0% of total)

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

preprocess84.0ms (2.2%)

Memory

6.9MiB live, 86.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	90
1	80	81
2	187	81
3	531	68
4	1127	64
5	1897	63
6	2272	63
7	2308	63
8	2312	63
9	2312	63
0	8	9
0	12	9
1	19	9
2	29	9
3	52	9
4	107	8
5	155	7
6	246	7
7	396	7
8	558	7
9	628	7
10	630	7
0	630	6

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

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

Outputs
(fma.f64 (-.f64 z y) x y)

Compiler

Compiled 9 to 8 computations (11.1% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

1.7MiB live, 1.7MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify20.0ms (0.5%)

Memory

-5.9MiB live, 33.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 x z)
cost-diff	0	(-.f64 #s(literal 1 binary64) x)
cost-diff	0	(*.f64 (-.f64 #s(literal 1 binary64) x) y)
cost-diff	448	(+.f64 (.f64 (-.f64 #s(literal 1 binary64) x) y) (.f64 x z))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	24
0	12	24
1	19	24
2	29	24
3	52	24
4	107	23
5	155	22
6	246	22
7	396	22
8	558	22
9	628	22
10	630	22
0	630	21

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

Outputs
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(-.f64 #s(literal 1 binary64) x)
#s(literal 1 binary64)
x
y
(*.f64 z x)
z

localize21.0ms (0.5%)

Memory

17.8MiB live, 57.0MiB allocated

Localize:

Found 4 expressions of interest:

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

Samples

15.0ms

256×

valid

Compiler

Compiled 50 to 18 computations (64% saved)

Precisions

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

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

ival-sub: 1.0ms (16.4% of total)

ival-add: 1.0ms (16.4% of total)

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

exact: 0.0ms (0% of total)

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

series16.0ms (0.4%)

Memory

-2.1MiB live, 39.1MiB allocated

Counts

4 → 96

Calls

Call 1

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

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

Calls

9 calls:

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

simplify122.0ms (3.1%)

Memory

-2.1MiB live, 156.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	498
1	192	442
2	558	442
3	1391	442
4	3884	442
5	6283	442
6	7991	442
0	8233	415

Stop Event

1×	iter limit
1×	node limit

Counts

96 → 94

Calls

Call 1

Inputs
(* y (- 1 x))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* x z)
(* x z)
(* x z)
(* x z)
(* x z)
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* x z)
(* x z)
(* x z)
(* x z)
(* x z)
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* x z)
(* x z)
(* x z)
(* x z)
(* x z)
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
y
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
y
(+ y (* -1 (* x y)))
(+ y (* -1 (* x y)))
(+ y (* -1 (* x y)))
1
(+ 1 (* -1 x))
(+ 1 (* -1 x))
(+ 1 (* -1 x))
(* x z)
(* x z)
(* x z)
(* x z)
(* x (+ z (* -1 y)))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* -1 (* x y))
(* x (+ (* -1 y) (/ y x)))
(* x (+ (* -1 y) (/ y x)))
(* x (+ (* -1 y) (/ y x)))
(* -1 x)
(* x (- (/ 1 x) 1))
(* x (- (/ 1 x) 1))
(* x (- (/ 1 x) 1))
(* x z)
(* x z)
(* x z)
(* x z)
(* -1 (* x (+ y (* -1 z))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x y))
(* -1 (* x (+ y (* -1 (/ y x)))))
(* -1 (* x (+ y (* -1 (/ y x)))))
(* -1 (* x (+ y (* -1 (/ y x)))))
(* -1 x)
(* -1 (* x (- 1 (/ 1 x))))
(* -1 (* x (- 1 (/ 1 x))))
(* -1 (* x (- 1 (/ 1 x))))
(* x z)
(* x z)
(* x z)
(* x z)

Outputs
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
y
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
y
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
#s(literal 1 binary64)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (neg.f64 y) x)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(neg.f64 x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (neg.f64 y) x)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(*.f64 (-.f64 #s(literal 1 binary64) x) y)
(neg.f64 x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)

rewrite235.0ms (6%)

Memory

-1.3MiB live, 397.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	20
0	12	20
1	44	20
2	313	20
3	3728	20
0	12507	19

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

4 → 284

Calls

Call 1

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

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

eval47.0ms (1.2%)

Memory: -0.0MiB live, 121.9MiB allocated
Compiler: Compiled 8 152 to 926 computations (88.6% saved)

prune10.0ms (0.3%)

Memory

-0.0MiB live, 38.2MiB allocated

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	373	5	378
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	374	5	379

Accuracy

100.0%

Counts

379 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.2%	(fma.f64 (-.f64 #s(literal 1 binary64) x) y (*.f64 z x))
▶	100.0%	#s(approx (+ (* (- 1 x) y) (* x z)) (fma.f64 (-.f64 z y) x y))
▶	67.8%	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 (-.f64 z y) x))
▶	56.2%	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 (-.f64 #s(literal 1 binary64) x) y))
▶	45.7%	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 z x))

Compiler

Compiled 134 to 102 computations (23.9% saved)

simplify24.0ms (0.6%)

Memory

-12.1MiB live, 27.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 14 expressions of interest:

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	19	116
0	26	110
1	37	110
2	54	102
3	87	102
4	150	102
5	212	102
6	339	102
7	525	102
8	689	102
9	710	102
10	710	102
0	710	102

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize42.0ms (1.1%)

Memory

19.3MiB live, 102.1MiB allocated

Localize:

Found 14 expressions of interest:

New	Metric	Score
accuracy	0	(-.f64 #s(literal 1 binary64) x)
accuracy	0	(*.f64 z x)
accuracy	0.5039007452111204	(fma.f64 (-.f64 #s(literal 1 binary64) x) y (*.f64 z x))
accuracy	0	(-.f64 z y)
accuracy	0.03125	(*.f64 (-.f64 z y) x)
accuracy	20.61174334610985	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 (-.f64 z y) x))
accuracy	0	(-.f64 #s(literal 1 binary64) x)
accuracy	0.00390625	(*.f64 (-.f64 #s(literal 1 binary64) x) y)
accuracy	28.01583240356958	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 (-.f64 #s(literal 1 binary64) x) y))
accuracy	0	(*.f64 z x)
accuracy	34.771468043597864	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 z x))
accuracy	0	(-.f64 z y)
accuracy	0	#s(approx (+ (* (- 1 x) y) (* x z)) (fma.f64 (-.f64 z y) x y))
accuracy	0.01953125	(fma.f64 (-.f64 z y) x y)

Samples

31.0ms

256×

valid

Compiler

Compiled 213 to 35 computations (83.6% saved)

Precisions

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

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

ival-sub: 3.0ms (23.9% of total)

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

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

exact: 0.0ms (0% of total)

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

series25.0ms (0.6%)

Memory

-28.0MiB live, 49.6MiB allocated

Counts

11 → 336

Calls

Call 1

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

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

Calls

9 calls:

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

simplify148.0ms (3.8%)

Memory

2.7MiB live, 246.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	113	2246
1	388	1796
2	1116	1796
3	2669	1796
4	5325	1796
5	7573	1796
0	8017	1634

Stop Event

1×	iter limit
1×	node limit

Counts

336 → 326

Calls

Call 1

Inputs
(* y (- 1 x))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ y (* -1 (* x y)))
(+ y (+ (* -1 (* x y)) (* x z)))
(+ y (+ (* -1 (* x y)) (* x z)))
(+ y (+ (* -1 (* x y)) (* x z)))
(* -1 y)
(- z y)
(- z y)
(- z y)
(* y (- 1 x))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* x z)
(* x z)
(* x z)
(* x z)
(* y (- 1 x))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* y (- 1 x))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* -1 (* x y))
(+ (* -1 (* x y)) (* x z))
(+ (* -1 (* x y)) (* x z))
(+ (* -1 (* x y)) (* x z))
(* y (- 1 x))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* x z)
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* x z)
(* z (+ x (+ (* -1 (/ (* x y) z)) (/ y z))))
(* z (+ x (+ (* -1 (/ (* x y) z)) (/ y z))))
(* z (+ x (+ (* -1 (/ (* x y) z)) (/ y z))))
z
(* z (+ 1 (* -1 (/ y z))))
(* z (+ 1 (* -1 (/ y z))))
(* z (+ 1 (* -1 (/ y z))))
(* x z)
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* x z)
(* x z)
(* x z)
(* x z)
(* x z)
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* x z)
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* x z)
(* z (+ x (* -1 (/ (* x y) z))))
(* z (+ x (* -1 (/ (* x y) z))))
(* z (+ x (* -1 (/ (* x y) z))))
(* x z)
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* x z)
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* x z)
(* -1 (* z (+ (* -1 x) (* -1 (/ (+ y (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (+ y (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (+ y (* -1 (* x y))) z)))))
z
(* -1 (* z (- (/ y z) 1)))
(* -1 (* z (- (/ y z) 1)))
(* -1 (* z (- (/ y z) 1)))
(* x z)
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* x z)
(* x z)
(* x z)
(* x z)
(* x z)
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* x z)
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* x z)
(* -1 (* z (+ (* -1 x) (/ (* x y) z))))
(* -1 (* z (+ (* -1 x) (/ (* x y) z))))
(* -1 (* z (+ (* -1 x) (/ (* x y) z))))
(* x z)
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* x z)
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* x z)
(+ (* x z) (* y (+ 1 (* -1 x))))
(+ (* x z) (* y (+ 1 (* -1 x))))
(+ (* x z) (* y (+ 1 (* -1 x))))
z
(+ z (* -1 y))
(+ z (* -1 y))
(+ z (* -1 y))
(* x z)
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* x z)
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* x z)
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* x z)
(+ (* -1 (* x y)) (* x z))
(+ (* -1 (* x y)) (* x z))
(+ (* -1 (* x y)) (* x z))
(* x z)
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* y (- 1 x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (+ 1 (* -1 x)))
(* y (+ 1 (+ (* -1 x) (/ (* x z) y))))
(* y (+ 1 (+ (* -1 x) (/ (* x z) y))))
(* y (+ 1 (+ (* -1 x) (/ (* x z) y))))
(* -1 y)
(* y (- (/ z y) 1))
(* y (- (/ z y) 1))
(* y (- (/ z y) 1))
(* y (- 1 x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- 1 x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* -1 (* x y))
(* y (+ (* -1 x) (/ (* x z) y)))
(* y (+ (* -1 x) (/ (* x z) y)))
(* y (+ (* -1 x) (/ (* x z) y)))
(* y (- 1 x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- 1 x))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (- x 1)))
(* -1 (* y (- (+ x (* -1 (/ (* x z) y))) 1)))
(* -1 (* y (- (+ x (* -1 (/ (* x z) y))) 1)))
(* -1 (* y (- (+ x (* -1 (/ (* x z) y))) 1)))
(* -1 y)
(* -1 (* y (+ 1 (* -1 (/ z y)))))
(* -1 (* y (+ 1 (* -1 (/ z y)))))
(* -1 (* y (+ 1 (* -1 (/ z y)))))
(* y (- 1 x))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* y (- 1 x))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* x y))
(* -1 (* y (+ x (* -1 (/ (* x z) y)))))
(* -1 (* y (+ x (* -1 (/ (* x z) y)))))
(* -1 (* y (+ x (* -1 (/ (* x z) y)))))
(* y (- 1 x))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
y
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
y
(+ y (* x (- z y)))
(+ y (* x (- z y)))
(+ y (* x (- z y)))
y
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
(* x z)
(* x z)
(* x z)
(* x z)
y
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
y
(+ y (* -1 (* x y)))
(+ y (* -1 (* x y)))
(+ y (* -1 (* x y)))
1
(+ 1 (* -1 x))
(+ 1 (* -1 x))
(+ 1 (* -1 x))
y
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
(* x (- z y))
(* x (- z y))
(* x (- z y))
(* x (- z y))
y
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
(* x (+ z (* -1 y)))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (- z y))
(* x (- (+ z (/ y x)) y))
(* x (- (+ z (/ y x)) y))
(* x (- (+ z (/ y x)) y))
(* x (+ z (* -1 y)))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x z)
(* x z)
(* x z)
(* x z)
(* x (+ z (* -1 y)))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* -1 (* x y))
(* x (+ (* -1 y) (/ y x)))
(* x (+ (* -1 y) (/ y x)))
(* x (+ (* -1 y) (/ y x)))
(* -1 x)
(* x (- (/ 1 x) 1))
(* x (- (/ 1 x) 1))
(* x (- (/ 1 x) 1))
(* x (+ z (* -1 y)))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (- z y))
(* x (- z y))
(* x (- z y))
(* x (- z y))
(* x (+ z (* -1 y)))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* -1 (* x (+ y (* -1 z))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* x (- z y))
(* -1 (* x (+ (* -1 (- z y)) (* -1 (/ y x)))))
(* -1 (* x (+ (* -1 (- z y)) (* -1 (/ y x)))))
(* -1 (* x (+ (* -1 (- z y)) (* -1 (/ y x)))))
(* -1 (* x (+ y (* -1 z))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* x z)
(* x z)
(* x z)
(* x z)
(* -1 (* x (+ y (* -1 z))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x y))
(* -1 (* x (+ y (* -1 (/ y x)))))
(* -1 (* x (+ y (* -1 (/ y x)))))
(* -1 (* x (+ y (* -1 (/ y x)))))
(* -1 x)
(* -1 (* x (- 1 (/ 1 x))))
(* -1 (* x (- 1 (/ 1 x))))
(* -1 (* x (- 1 (/ 1 x))))
(* -1 (* x (+ y (* -1 z))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* x (- z y))
(* x (- z y))
(* x (- z y))
(* x (- z y))
(* -1 (* x (+ y (* -1 z))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))

Outputs
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(neg.f64 y)
(-.f64 z y)
(-.f64 z y)
(-.f64 z y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (neg.f64 x) y)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
z
(-.f64 z y)
(-.f64 z y)
(-.f64 z y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
z
(-.f64 z y)
(-.f64 z y)
(-.f64 z y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
z
(-.f64 z y)
(-.f64 z y)
(-.f64 z y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(neg.f64 y)
(-.f64 z y)
(-.f64 z y)
(-.f64 z y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (neg.f64 x) y)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(neg.f64 y)
(-.f64 z y)
(-.f64 z y)
(-.f64 z y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (neg.f64 x) y)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
y
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
y
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
y
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
y
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
y
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
#s(literal 1 binary64)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
y
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
y
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (neg.f64 x) y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(neg.f64 x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (neg.f64 x) y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(neg.f64 x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)

rewrite169.0ms (4.3%)

Memory

24.8MiB live, 303.3MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	19	92
0	26	86
1	97	86
2	594	78
3	7396	78
0	8479	78

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

11 → 558

Calls

Call 1

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

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

eval148.0ms (3.8%)

Memory: -1.1MiB live, 348.6MiB allocated
Compiler: Compiled 29 067 to 1 732 computations (94% saved)

prune36.0ms (0.9%)

Memory

-13.6MiB live, 111.3MiB allocated

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	1 084	3	1 087
Fresh	0	0	0
Picked	1	4	5
Done	0	0	0
Total	1 085	7	1 092

Accuracy

100.0%

Counts

1 092 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	67.0%	(fma.f64 #s(approx (- 1 x) (neg.f64 x)) y (*.f64 z x))
✓	100.0%	#s(approx (+ (* (- 1 x) y) (* x z)) (fma.f64 (-.f64 z y) x y))
✓	67.8%	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 (-.f64 z y) x))
✓	56.2%	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 (-.f64 #s(literal 1 binary64) x) y))
▶	24.7%	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 #s(approx (- z y) (neg.f64 y)) x))
▶	33.8%	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 #s(approx (- 1 x) #s(literal 1 binary64)) y))
✓	45.7%	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 z x))

Compiler

Compiled 105 to 78 computations (25.7% saved)

simplify45.0ms (1.2%)

Memory

4.7MiB live, 44.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	92
0	27	92
1	44	92
2	59	92
3	94	88
4	188	88
5	259	88
6	439	88
7	660	88
8	754	88
9	801	88
10	988	88
11	1071	88
12	1079	88
13	1085	88
14	1095	88
15	1099	88
0	1099	86

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize37.0ms (0.9%)

Memory

2.2MiB live, 80.3MiB allocated

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 z x)
accuracy	0	(neg.f64 x)
accuracy	0.5039007452111204	(fma.f64 #s(approx (- 1 x) (neg.f64 x)) y (*.f64 z x))
accuracy	31.79074574355768	#s(approx (- 1 x) (neg.f64 x))
accuracy	0	(neg.f64 y)
accuracy	0.03125	(*.f64 #s(approx (- z y) (neg.f64 y)) x)
accuracy	20.61174334610985	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 #s(approx (- z y) (neg.f64 y)) x))
accuracy	34.48827163830937	#s(approx (- z y) (neg.f64 y))
accuracy	0.00390625	(*.f64 #s(approx (- 1 x) #s(literal 1 binary64)) y)
accuracy	28.01583240356958	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 #s(approx (- 1 x) #s(literal 1 binary64)) y))
accuracy	31.383496532531748	#s(approx (- 1 x) #s(literal 1 binary64))

Samples

26.0ms

256×

valid

Compiler

Compiled 154 to 37 computations (76% saved)

Precisions

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

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

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

ival-add: 2.0ms (14% of total)

ival-neg: 2.0ms (14% of total)

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

exact: 0.0ms (0% of total)

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

series18.0ms (0.4%)

Memory

-1.3MiB live, 39.7MiB allocated

Counts

11 → 264

Calls

Call 1

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

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

Calls

9 calls:

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

simplify149.0ms (3.8%)

Memory

7.4MiB live, 171.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	86	1474
1	291	1204
2	832	1204
3	2158	1204
4	4285	1204
5	6321	1204
6	7354	1204
7	7915	1204
0	8059	1123

Stop Event

1×	iter limit
1×	node limit

Counts

264 → 257

Calls

Call 1

Inputs
(* y (- 1 x))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* y (- 1 x))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* -1 (* x y))
(+ (* -1 (* x y)) (* x z))
(+ (* -1 (* x y)) (* x z))
(+ (* -1 (* x y)) (* x z))
(* -1 y)
(- z y)
(- z y)
(- z y)
(* y (- 1 x))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* x z)
(* x z)
(* x z)
(* x z)
(* x z)
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* x z)
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* x z)
(* z (+ x (* -1 (/ (* x y) z))))
(* z (+ x (* -1 (/ (* x y) z))))
(* z (+ x (* -1 (/ (* x y) z))))
z
(* z (+ 1 (* -1 (/ y z))))
(* z (+ 1 (* -1 (/ y z))))
(* z (+ 1 (* -1 (/ y z))))
(* x z)
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* z (+ x (/ (* y (- 1 x)) z)))
(* x z)
(* x z)
(* x z)
(* x z)
(* x z)
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* x z)
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* x z)
(* -1 (* z (+ (* -1 x) (/ (* x y) z))))
(* -1 (* z (+ (* -1 x) (/ (* x y) z))))
(* -1 (* z (+ (* -1 x) (/ (* x y) z))))
z
(* -1 (* z (- (/ y z) 1)))
(* -1 (* z (- (/ y z) 1)))
(* -1 (* z (- (/ y z) 1)))
(* x z)
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ (* y (- 1 x)) z)))))
(* x z)
(* x z)
(* x z)
(* x z)
(* x z)
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* x z)
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* x z)
(+ (* -1 (* x y)) (* x z))
(+ (* -1 (* x y)) (* x z))
(+ (* -1 (* x y)) (* x z))
z
(+ z (* -1 y))
(+ z (* -1 y))
(+ z (* -1 y))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* x z)
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(+ (* x z) (* y (- 1 x)))
(* y (- 1 x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* -1 (* x y))
(* y (+ (* -1 x) (/ (* x z) y)))
(* y (+ (* -1 x) (/ (* x z) y)))
(* y (+ (* -1 x) (/ (* x z) y)))
(* -1 y)
(* y (- (/ z y) 1))
(* y (- (/ z y) 1))
(* y (- (/ z y) 1))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* y (- 1 x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- (+ 1 (/ (* x z) y)) x))
(* y (- 1 x))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* y (- 1 x))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* x y))
(* -1 (* y (+ x (* -1 (/ (* x z) y)))))
(* -1 (* y (+ x (* -1 (/ (* x z) y)))))
(* -1 (* y (+ x (* -1 (/ (* x z) y)))))
(* -1 y)
(* -1 (* y (+ 1 (* -1 (/ z y)))))
(* -1 (* y (+ 1 (* -1 (/ z y)))))
(* -1 (* y (+ 1 (* -1 (/ z y)))))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* y (- 1 x))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 (- 1 x)) (* -1 (/ (* x z) y)))))
y
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
y
(+ y (* -1 (* x y)))
(+ y (* -1 (* x y)))
(+ y (* -1 (* x y)))
1
(+ 1 (* -1 x))
(+ 1 (* -1 x))
(+ 1 (* -1 x))
y
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
(* x (- z y))
(* x (- z y))
(* x (- z y))
(* x (- z y))
y
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
(+ y (* x (+ z (* -1 y))))
1
(+ 1 (* -1 x))
(+ 1 (* -1 x))
(+ 1 (* -1 x))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(* x z)
(* x z)
(* x z)
(* x z)
(* x (+ z (* -1 y)))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* -1 (* x y))
(* x (+ (* -1 y) (/ y x)))
(* x (+ (* -1 y) (/ y x)))
(* x (+ (* -1 y) (/ y x)))
(* -1 x)
(* x (- (/ 1 x) 1))
(* x (- (/ 1 x) 1))
(* x (- (/ 1 x) 1))
(* x (+ z (* -1 y)))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (- z y))
(* x (- z y))
(* x (- z y))
(* x (- z y))
(* x (+ z (* -1 y)))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* x (+ z (+ (* -1 y) (/ y x))))
(* -1 x)
(* x (- (/ 1 x) 1))
(* x (- (/ 1 x) 1))
(* x (- (/ 1 x) 1))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(* x z)
(* x z)
(* x z)
(* x z)
(* -1 (* x (+ y (* -1 z))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x y))
(* -1 (* x (+ y (* -1 (/ y x)))))
(* -1 (* x (+ y (* -1 (/ y x)))))
(* -1 (* x (+ y (* -1 (/ y x)))))
(* -1 x)
(* -1 (* x (- 1 (/ 1 x))))
(* -1 (* x (- 1 (/ 1 x))))
(* -1 (* x (- 1 (/ 1 x))))
(* -1 (* x (+ y (* -1 z))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* x (- z y))
(* x (- z y))
(* x (- z y))
(* x (- z y))
(* -1 (* x (+ y (* -1 z))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 (* x (+ y (+ (* -1 z) (* -1 (/ y x))))))
(* -1 x)
(* -1 (* x (- 1 (/ 1 x))))
(* -1 (* x (- 1 (/ 1 x))))
(* -1 (* x (- 1 (/ 1 x))))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(* x z)
(* x z)
(* x z)
(* x z)

Outputs
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (neg.f64 x) y)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(neg.f64 y)
(-.f64 z y)
(-.f64 z y)
(-.f64 z y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
z
(-.f64 z y)
(-.f64 z y)
(-.f64 z y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
z
(-.f64 z y)
(-.f64 z y)
(-.f64 z y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 z x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
z
(-.f64 z y)
(-.f64 z y)
(-.f64 z y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(*.f64 z x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (neg.f64 x) y)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(neg.f64 y)
(-.f64 z y)
(-.f64 z y)
(-.f64 z y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (neg.f64 x) y)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(neg.f64 y)
(-.f64 z y)
(-.f64 z y)
(-.f64 z y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
y
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
y
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
#s(literal 1 binary64)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
y
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
y
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
#s(literal 1 binary64)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (neg.f64 x) y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(neg.f64 x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(neg.f64 x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (neg.f64 x) y)
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(*.f64 y (-.f64 #s(literal 1 binary64) x))
(neg.f64 x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(*.f64 (-.f64 z y) x)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(fma.f64 (-.f64 z y) x y)
(neg.f64 x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(-.f64 #s(literal 1 binary64) x)
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(neg.f64 x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)

rewrite160.0ms (4.1%)

Memory

7.6MiB live, 198.4MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	85
0	27	85
1	98	85
2	608	85
3	6974	85
0	8027	83

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

11 → 148

Calls

Call 1

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

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>

eval48.0ms (1.2%)

Memory: -25.3MiB live, 93.2MiB allocated
Compiler: Compiled 9 031 to 511 computations (94.3% saved)

prune12.0ms (0.3%)

Memory

37.5MiB live, 37.5MiB allocated

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	405	0	405
Fresh	0	0	0
Picked	0	3	3
Done	0	4	4
Total	405	7	412

Accuracy

100.0%

Counts

412 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	67.0%	(fma.f64 #s(approx (- 1 x) (neg.f64 x)) y (*.f64 z x))
✓	100.0%	#s(approx (+ (* (- 1 x) y) (* x z)) (fma.f64 (-.f64 z y) x y))
✓	67.8%	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 (-.f64 z y) x))
✓	56.2%	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 (-.f64 #s(literal 1 binary64) x) y))
✓	24.7%	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 #s(approx (- z y) (neg.f64 y)) x))
✓	33.8%	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 #s(approx (- 1 x) #s(literal 1 binary64)) y))
✓	45.7%	#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 z x))

Compiler

Compiled 227 to 111 computations (51.1% saved)

regimes17.0ms (0.4%)

Memory

-7.2MiB live, 31.5MiB allocated

Counts

9 → 1

Calls

Call 1

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

Outputs
#s(approx (+ (* (- 1 x) y) (* x z)) (fma.f64 (-.f64 z y) x y))

Calls

4 calls:

5.0ms	(+.f64 (.f64 (-.f64 #s(literal 1 binary64) x) y) (.f64 x z))
4.0ms	x
4.0ms	z
4.0ms	y

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`
100.0%	1	`(+.f64 (.f64 (-.f64 #s(literal 1 binary64) x) y) (.f64 x z))`

Compiler

Compiled 12 to 17 computations (-41.7% saved)

regimes13.0ms (0.3%)

Memory

-12.1MiB live, 26.1MiB allocated

Counts

5 → 3

Calls

Call 1

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

Outputs

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

#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 (-.f64 z y) x))

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

Calls

4 calls:

5.0ms	z
3.0ms	(+.f64 (.f64 (-.f64 #s(literal 1 binary64) x) y) (.f64 x z))
2.0ms	y
2.0ms	x

Results

Accuracy	Segments	Branch
83.0%	3	`x`
83.9%	3	`y`
82.0%	3	`z`
76.5%	5	`(+.f64 (.f64 (-.f64 #s(literal 1 binary64) x) y) (.f64 x z))`

Compiler

Compiled 12 to 17 computations (-41.7% saved)

regimes7.0ms (0.2%)

Memory

16.4MiB live, 16.4MiB allocated

Counts

4 → 3

Calls

Call 1

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

Outputs

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

#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 z x))

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

Calls

3 calls:

2.0ms	z
2.0ms	x
2.0ms	y

Results

Accuracy	Segments	Branch
76.7%	3	`z`
63.0%	2	`x`
78.9%	3	`y`

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes10.0ms (0.3%)

Memory

-20.0MiB live, 18.5MiB allocated

Counts

3 → 4

Calls

Call 1

Inputs

#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 z x))

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

#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 #s(approx (- z y) (neg.f64 y)) x))

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
63.9%	4	`x`
54.3%	5	`(+.f64 (.f64 (-.f64 #s(literal 1 binary64) x) y) (.f64 x z))`
64.9%	5	`z`
62.4%	4	`y`

Compiler

Compiled 12 to 17 computations (-41.7% saved)

regimes5.0ms (0.1%)

Memory

11.7MiB live, 11.7MiB allocated

Counts

2 → 3

Calls

Call 1

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

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

Calls

3 calls:

2.0ms	z
2.0ms	y
2.0ms	x

Results

Accuracy	Segments	Branch
60.2%	3	`y`
60.8%	3	`z`
60.8%	3	`x`

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes6.0ms (0.1%)

Memory

15.3MiB live, 15.3MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

Outputs
#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 z x))

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
45.7%	1	`(+.f64 (.f64 (-.f64 #s(literal 1 binary64) x) y) (.f64 x z))`
45.7%	1	`y`
45.7%	1	`x`
45.7%	1	`z`

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch34.0ms (0.9%)

Memory

-26.9MiB live, 54.7MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	2.7076760352651484e+57	4.1405326960697716e+71
15.0ms	-4.8475539725800405e+79	-4.92991771774107e+72

Samples

17.0ms

304×

valid

Compiler

Compiled 582 to 489 computations (16% saved)

Precisions

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

ival-sub: 5.0ms (47.1% of total)

ival-mult: 4.0ms (37.7% of total)

ival-add: 1.0ms (9.4% of total)

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

exact: 0.0ms (0% of total)

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

bsearch21.0ms (0.5%)

Memory

2.9MiB live, 40.2MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	5.443728302179448e-17	2.1209528456279105e-16
9.0ms	-1.3627283905434045e-33	-1.0838453969927393e-35

Samples

12.0ms

192×

valid

Compiler

Compiled 348 to 302 computations (13.2% saved)

Precisions

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

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

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

ival-sub: 1.0ms (13.1% of total)

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

exact: 0.0ms (0% of total)

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

bsearch35.0ms (0.9%)

Memory

26.9MiB live, 64.1MiB allocated

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
9.0ms	5.741774146922947e-20	1.2364895147237366e-17
14.0ms	-1.5842197894135483e-103	-3.2807720232123745e-104
9.0ms	-9.438074708162785e+199	-1.1488430366137706e+198

Samples

20.0ms

320×

valid

Compiler

Compiled 619 to 501 computations (19.1% saved)

Precisions

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

ival-mult: 9.0ms (69.9% of total)

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

ival-add: 1.0ms (7.8% of total)

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

exact: 0.0ms (0% of total)

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

bsearch55.0ms (1.4%)

Memory

-15.3MiB live, 76.3MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
9.0ms	4.949316099475015e-13	1.0612354622103994e-10
43.0ms	-5.9609779536872206e+29	-6.789488644021488e+23

Samples

12.0ms

256×

valid

Compiler

Compiled 492 to 398 computations (19.1% saved)

Precisions

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

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

ival-sub: 1.0ms (16.7% of total)

ival-add: 1.0ms (16.7% of total)

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

exact: 0.0ms (0% of total)

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

simplify30.0ms (0.8%)

Memory

-14.7MiB live, 63.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	257
1	67	257
2	73	257
3	76	257
4	77	257

Stop Event

1×

saturated

Calls

Call 1

Inputs
#s(approx (+ (* (- 1 x) y) (* x z)) (fma.f64 (-.f64 z y) x y))
(if (<=.f64 y #s(literal -2399999999999999984389279249453904970617336950594983181650650785752153063424 binary64)) #s(approx (+ (* (- 1 x) y) (* x z)) (.f64 (-.f64 #s(literal 1 binary64) x) y)) (if (<=.f64 y #s(literal 7599999999999999740226401369534032981523724410532740988928 binary64)) #s(approx (+ ( (- 1 x) y) (* x z)) (.f64 (-.f64 z y) x)) #s(approx (+ ( (- 1 x) y) (* x z)) (*.f64 (-.f64 #s(literal 1 binary64) x) y))))
(if (<=.f64 y #s(literal -1099049231272839/23384026197294446691258957323460528314494920687616 binary64)) #s(approx (+ (* (- 1 x) y) (* x z)) (.f64 (-.f64 #s(literal 1 binary64) x) y)) (if (<=.f64 y #s(literal 4259306016766851/40564819207303340847894502572032 binary64)) #s(approx (+ ( (- 1 x) y) (* x z)) (.f64 z x)) #s(approx (+ ( (- 1 x) y) (* x z)) (*.f64 (-.f64 #s(literal 1 binary64) x) y))))
(if (<=.f64 x #s(literal -30999999999999998551834315483724796701704923248735850184545549776656876743555390743213447439040785049492526674331789304402705770857525355505493198578045412306878133614781036495388342122934319674556416 binary64)) #s(approx (+ (* (- 1 x) y) (* x z)) (.f64 #s(approx (- z y) (neg.f64 y)) x)) (if (<=.f64 x #s(literal -1563471605872933/10086913586276986678343434265636765134100413253239154346994763111486904773503285916522052161250538404046496765518544896 binary64)) #s(approx (+ ( (- 1 x) y) (* x z)) (.f64 z x)) (if (<=.f64 x #s(literal 1784852045121347/162259276829213363391578010288128 binary64)) #s(approx (+ ( (- 1 x) y) (* x z)) (.f64 #s(approx (- 1 x) #s(literal 1 binary64)) y)) #s(approx (+ ( (- 1 x) y) (* x z)) (*.f64 z x)))))
(if (<=.f64 z #s(literal -20499999999999999035444297728 binary64)) #s(approx (+ (* (- 1 x) y) (* x z)) (.f64 z x)) (if (<=.f64 z #s(literal 7118155225890937/618970019642690137449562112 binary64)) #s(approx (+ ( (- 1 x) y) (* x z)) (.f64 #s(approx (- 1 x) #s(literal 1 binary64)) y)) #s(approx (+ ( (- 1 x) y) (* x z)) (*.f64 z x))))
#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 z x))

Outputs
#s(approx (+ (* (- 1 x) y) (* x z)) (fma.f64 (-.f64 z y) x y))
(if (<=.f64 y #s(literal -2399999999999999984389279249453904970617336950594983181650650785752153063424 binary64)) #s(approx (+ (* (- 1 x) y) (* x z)) (.f64 (-.f64 #s(literal 1 binary64) x) y)) (if (<=.f64 y #s(literal 7599999999999999740226401369534032981523724410532740988928 binary64)) #s(approx (+ ( (- 1 x) y) (* x z)) (.f64 (-.f64 z y) x)) #s(approx (+ ( (- 1 x) y) (* x z)) (*.f64 (-.f64 #s(literal 1 binary64) x) y))))
(if (<=.f64 y #s(literal -1099049231272839/23384026197294446691258957323460528314494920687616 binary64)) #s(approx (+ (* (- 1 x) y) (* x z)) (.f64 (-.f64 #s(literal 1 binary64) x) y)) (if (<=.f64 y #s(literal 4259306016766851/40564819207303340847894502572032 binary64)) #s(approx (+ ( (- 1 x) y) (* x z)) (.f64 z x)) #s(approx (+ ( (- 1 x) y) (* x z)) (*.f64 (-.f64 #s(literal 1 binary64) x) y))))
(if (<=.f64 x #s(literal -30999999999999998551834315483724796701704923248735850184545549776656876743555390743213447439040785049492526674331789304402705770857525355505493198578045412306878133614781036495388342122934319674556416 binary64)) #s(approx (+ (* (- 1 x) y) (* x z)) (.f64 #s(approx (- z y) (neg.f64 y)) x)) (if (<=.f64 x #s(literal -1563471605872933/10086913586276986678343434265636765134100413253239154346994763111486904773503285916522052161250538404046496765518544896 binary64)) #s(approx (+ ( (- 1 x) y) (* x z)) (.f64 z x)) (if (<=.f64 x #s(literal 1784852045121347/162259276829213363391578010288128 binary64)) #s(approx (+ ( (- 1 x) y) (* x z)) (.f64 #s(approx (- 1 x) #s(literal 1 binary64)) y)) #s(approx (+ ( (- 1 x) y) (* x z)) (*.f64 z x)))))
(if (<=.f64 z #s(literal -20499999999999999035444297728 binary64)) #s(approx (+ (* (- 1 x) y) (* x z)) (.f64 z x)) (if (<=.f64 z #s(literal 7118155225890937/618970019642690137449562112 binary64)) #s(approx (+ ( (- 1 x) y) (* x z)) (.f64 #s(approx (- 1 x) #s(literal 1 binary64)) y)) #s(approx (+ ( (- 1 x) y) (* x z)) (*.f64 z x))))
#s(approx (+ (* (- 1 x) y) (* x z)) (*.f64 z x))

soundness1.3s (32.7%)

Memory

4.2MiB live, 365.5MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	113	2246
1	388	1796
2	1116	1796
3	2669	1796
4	5325	1796
5	7573	1796
0	8017	1634
0	57	498
1	192	442
2	558	442
3	1391	442
4	3884	442
5	6283	442
6	7991	442
0	8233	415

Stop Event

1×	done
1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Compiler

Compiled 325 to 132 computations (59.4% saved)

preprocess75.0ms (1.9%)

Memory: 1.9MiB live, 206.2MiB allocated
Compiler: Compiled 546 to 136 computations (75.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	8	24
0	12	24
1	19	24
2	29	24
3	52	24
4	107	23
5	155	22
6	246	22
7	396	22
8	558	22
9	628	22
10	630	22
0	630	21

Iter	Nodes	Cost
0	19	116
0	26	110
1	37	110
2	54	102
3	87	102
4	150	102
5	212	102
6	339	102
7	525	102
8	689	102
9	710	102
10	710	102
0	710	102

Iter	Nodes	Cost
0	8	24
0	12	24
1	19	24
2	29	24
3	52	24
4	107	23
5	155	22
6	246	22
7	396	22
8	558	22
9	628	22
10	630	22
0	630	21

Iter	Nodes	Cost
0	19	116
0	26	110
1	37	110
2	54	102
3	87	102
4	150	102
5	212	102
6	339	102
7	525	102
8	689	102
9	710	102
10	710	102
0	710	102

start0.0ms (0%)

analyze0.0ms (0%)

sample631.0ms (16.1%)

explain79.0ms (2%)

preprocess84.0ms (2.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify20.0ms (0.5%)

localize21.0ms (0.5%)

series16.0ms (0.4%)

simplify122.0ms (3.1%)

rewrite235.0ms (6%)

eval47.0ms (1.2%)

prune10.0ms (0.3%)

simplify24.0ms (0.6%)

localize42.0ms (1.1%)

series25.0ms (0.6%)

simplify148.0ms (3.8%)

rewrite169.0ms (4.3%)

eval148.0ms (3.8%)

prune36.0ms (0.9%)

simplify45.0ms (1.2%)

localize37.0ms (0.9%)

series18.0ms (0.4%)

simplify149.0ms (3.8%)

rewrite160.0ms (4.1%)

eval48.0ms (1.2%)

prune12.0ms (0.3%)

regimes17.0ms (0.4%)

regimes13.0ms (0.3%)

regimes7.0ms (0.2%)

regimes10.0ms (0.3%)

regimes5.0ms (0.1%)

regimes6.0ms (0.1%)

bsearch34.0ms (0.9%)

bsearch21.0ms (0.5%)

bsearch35.0ms (0.9%)

bsearch55.0ms (1.4%)

simplify30.0ms (0.8%)

soundness1.3s (32.7%)

preprocess75.0ms (1.9%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	8	24
0	12	24
1	19	24
2	29	24
3	52	24
4	107	23
5	155	22
6	246	22
7	396	22
8	558	22
9	628	22
10	630	22
0	630	21

Iter	Nodes	Cost
0	19	116
0	26	110
1	37	110
2	54	102
3	87	102
4	150	102
5	212	102
6	339	102
7	525	102
8	689	102
9	710	102
10	710	102
0	710	102