Metrics for Linear.Quaternion:$c/ from linear-1.19.1.3, C

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

1.3MiB live, 1.3MiB 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 17 to 11 computations (35.3% saved)

sample1.2s (18.2%)

Memory

-146.9MiB live, 1 704.4MiB allocated

Samples

524.0ms	5 763×	0	valid
327.0ms	2 441×	1	valid
12.0ms	52×	2	valid

Precisions

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

ival-mult: 219.0ms (48.1% of total)

ival-sub: 108.0ms (23.7% of total)

adjust: 62.0ms (13.6% of total)

ival-add: 57.0ms (12.5% of total)

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

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

Bogosity

explain131.0ms (2%)

Memory

22.6MiB live, 218.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
86	-	1	(3.2854250099784445e-204 -1.969199152285285e-20 -2.131168530615515e-22)	`(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))`
20	-	0	-	`(-.f64 (+.f64 (.f64 x y) (.f64 y y)) (*.f64 y z))`
11	-	0	-	`(+.f64 (.f64 x y) (.f64 y y))`
0	-	0	-	`z`
0	-	0	-	`(*.f64 x y)`
0	-	0	-	`y`
0	-	0	-	`(*.f64 y y)`
0	-	0	-	`(*.f64 y z)`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))`	nan-rescue	61	0
↳	`(-.f64 (+.f64 (.f64 x y) (.f64 y y)) (*.f64 y z))`	overflow	87
↳	`(+.f64 (.f64 x y) (.f64 y y))`	overflow	81
↳	`(*.f64 y z)`	overflow	38
↳	`(*.f64 y y)`	overflow	70
↳	`(*.f64 x y)`	overflow	34
↳	`(*.f64 y y)`	overflow	70
`-.f64`	`(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))`	cancellation	24	1
`-.f64`	`(-.f64 (+.f64 (.f64 x y) (.f64 y y)) (*.f64 y z))`	nan-rescue	20	0
↳	`(+.f64 (.f64 x y) (.f64 y y))`	overflow	81
↳	`(*.f64 y y)`	overflow	70
↳	`(*.f64 x y)`	overflow	34
↳	`(*.f64 y z)`	overflow	38
`+.f64`	`(+.f64 (.f64 x y) (.f64 y y))`	nan-rescue	11	0
↳	`(*.f64 x y)`	overflow	34
↳	`(*.f64 y y)`	overflow	70

Confusion

	Predicted +	Predicted -
+	97	1
-	0	158

Precision

1.0

Recall

0.9897959183673469

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	97	1	0
-	0	0	158

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	159
1	78
2	19

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

24.0ms	362×	0	valid
23.0ms	148×	1	valid
0.0ms	2×	2	valid

Compiler

Compiled 154 to 40 computations (74% saved)

Precisions

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

ival-mult: 13.0ms (52% of total)

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

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

adjust: 3.0ms (12% of total)

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

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

preprocess474.0ms (7.3%)

Memory

-25.0MiB live, 203.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	121
1	167	92
2	499	82
3	1955	47
4	4905	47
5	5830	47
6	6305	47
7	6417	47
8	6458	47
9	6465	47
10	6900	47
11	7332	47
12	7440	47
13	7476	47
14	7512	47
15	7512	47
0	9	15
0	15	13
1	33	11
2	83	9
3	211	5
4	536	5
5	1811	5
6	3648	5
7	4094	5
8	4572	5
9	4902	5
10	4992	5
11	5588	5
12	6912	5
13	7630	5
14	7872	5
0	8008	5

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))

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

Symmetry

(negabs y)

Compiler

Compiled 15 to 9 computations (40% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	63.0%	(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))

Compiler

Compiled 15 to 9 computations (40% saved)

simplify394.0ms (6.1%)

Memory

-2.2MiB live, 127.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 x y)
cost-diff	320	(+.f64 (.f64 x y) (.f64 y y))
cost-diff	320	(-.f64 (+.f64 (.f64 x y) (.f64 y y)) (*.f64 y z))
cost-diff	704	(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	9	45
0	15	39
1	33	35
2	83	33
3	211	29
4	536	29
5	1811	29
6	3648	29
7	4094	29
8	4572	29
9	4902	29
10	4992	29
11	5588	29
12	6912	29
13	7630	29
14	7872	29
0	8008	29

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))
(-.f64 (+.f64 (.f64 x y) (.f64 y y)) (*.f64 y z))
(+.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)
x
y
(*.f64 y y)
(*.f64 y z)
z

Outputs
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 (+.f64 y x) z) y)
(*.f64 (+.f64 y x) y)
(*.f64 y x)
x
y
(*.f64 y y)
(*.f64 z y)
z

localize64.0ms (1%)

Memory

14.3MiB live, 49.5MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 x y)
accuracy	2.6015542433208236	(-.f64 (+.f64 (.f64 x y) (.f64 y y)) (*.f64 y z))
accuracy	3.2538959291510294	(+.f64 (.f64 x y) (.f64 y y))
accuracy	19.82347034741188	(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))

Samples

47.0ms	181×	0	valid
10.0ms	74×	1	valid
0.0ms	1×	2	valid

Compiler

Compiled 92 to 20 computations (78.3% saved)

Precisions

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

ival-mult: 41.0ms (86.6% of total)

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

adjust: 2.0ms (4.2% of total)

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

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

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

series11.0ms (0.2%)

Memory

18.1MiB live, 18.1MiB allocated

Counts

4 → 120

Calls

Call 1

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

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

Calls

9 calls:

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

simplify143.0ms (2.2%)

Memory

4.0MiB live, 153.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	75	789
1	247	707
2	703	671
3	2586	671
4	6885	671
0	8211	659

Stop Event

1×	iter limit
1×	node limit

Counts

120 → 120

Calls

Call 1

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

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

rewrite361.0ms (5.6%)

Memory

-22.4MiB live, 224.4MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	36
0	15	30
1	70	26
2	657	24
0	8351	24

Stop Event

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

Counts

4 → 336

Calls

Call 1

Inputs
(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))
(-.f64 (+.f64 (.f64 x y) (.f64 y y)) (*.f64 y z))
(+.f64 (.f64 x y) (.f64 y y))
(*.f64 x y)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval72.0ms (1.1%)

Memory: 34.8MiB live, 103.2MiB allocated
Compiler: Compiled 13 293 to 1 167 computations (91.2% saved)

prune98.0ms (1.5%)

Memory

-31.7MiB live, 67.2MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	452	4	456
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	453	4	457

Accuracy

100.0%

Counts

457 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	73.1%	(fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y)))
▶	100.0%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y))
▶	58.1%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y))
▶	49.1%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x))

Compiler

Compiled 70 to 42 computations (40% saved)

simplify286.0ms (4.4%)

Memory

10.2MiB live, 199.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

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

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	21	108
0	31	97
1	65	91
2	131	85
3	306	73
4	803	73
5	2136	73
6	3221	73
7	4047	73
8	4456	73
9	4607	73
10	4707	73
11	5229	73
12	5918	73
13	6819	73
14	7422	73
15	7560	73
16	7660	73
17	7710	73
18	7710	73
19	7760	73
20	7810	73
0	8602	73

Stop Event

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

Calls

Call 1

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

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

localize276.0ms (4.3%)

Memory

10.9MiB live, 133.9MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0	(-.f64 y z)
accuracy	0	(-.f64 x y)
accuracy	0.0078125	(*.f64 y (-.f64 x y))
accuracy	17.198617459499072	(fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y)))
accuracy	0	(-.f64 x z)
accuracy	0	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y))
accuracy	0.0078125	(*.f64 (-.f64 x z) y)
accuracy	0	(*.f64 (neg.f64 z) y)
accuracy	0	(neg.f64 z)
accuracy	26.80551912150427	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y))
accuracy	0	(*.f64 y x)
accuracy	32.54813713081525	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x))

Samples

243.0ms	181×	0	valid
19.0ms	74×	1	valid
0.0ms	1×	2	valid

Compiler

Compiled 204 to 42 computations (79.4% saved)

Precisions

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

ival-mult: 43.0ms (74.8% of total)

ival-sub: 7.0ms (12.2% of total)

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

adjust: 3.0ms (5.2% of total)

ival-neg: 1.0ms (1.7% of total)

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

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

series80.0ms (1.2%)

Memory

-10.8MiB live, 59.8MiB allocated

Counts

12 → 336

Calls

Call 1

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

Outputs
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (neg.f64 z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (neg.f64 z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (neg.f64 z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (neg.f64 z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<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 0 z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (neg.f64 z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (neg.f64 z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (neg.f64 z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (neg.f64 z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<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 (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (neg.f64 z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (neg.f64 z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (neg.f64 z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (neg.f64 z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<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 (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<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 0 x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<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 (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (-.f64 x z) y) #<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 (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) (*.f64 y (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 y (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())

Calls

9 calls:

Time	Variable		Point	Expression
53.0ms	z	@	0	((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* y x) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* (neg z) y) (neg z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* (- x z) y) (- x z) (+ (* y (- y z)) (* y (- x y))) (- y z) (* y (- x y)) (- x y))
3.0ms	y	@	0	((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* y x) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* (neg z) y) (neg z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* (- x z) y) (- x z) (+ (* y (- y z)) (* y (- x y))) (- y z) (* y (- x y)) (- x y))
2.0ms	y	@	-inf	((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* y x) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* (neg z) y) (neg z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* (- x z) y) (- x z) (+ (* y (- y z)) (* y (- x y))) (- y z) (* y (- x y)) (- x y))
1.0ms	x	@	-inf	((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* y x) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* (neg z) y) (neg z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* (- x z) y) (- x z) (+ (* y (- y z)) (* y (- x y))) (- y z) (* y (- x y)) (- x y))
1.0ms	z	@	inf	((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* y x) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* (neg z) y) (neg z) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (* (- x z) y) (- x z) (+ (* y (- y z)) (* y (- x y))) (- y z) (* y (- x y)) (- x y))

simplify258.0ms (4%)

Memory

12.1MiB live, 132.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	127	1647
1	413	1347
2	1126	1347
3	3692	1347
4	7372	1347
0	8011	1347

Stop Event

1×	iter limit
1×	node limit

Counts

336 → 327

Calls

Call 1

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

Outputs
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(neg.f64 z)
(neg.f64 z)
(neg.f64 z)
(neg.f64 z)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
x
(-.f64 x z)
(-.f64 x z)
(-.f64 x z)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
y
(-.f64 y z)
(-.f64 y z)
(-.f64 y z)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(neg.f64 z)
(neg.f64 z)
(neg.f64 z)
(neg.f64 z)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(neg.f64 z)
(-.f64 x z)
(-.f64 x z)
(-.f64 x z)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(neg.f64 z)
(-.f64 y z)
(-.f64 y z)
(-.f64 y z)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(neg.f64 z)
(neg.f64 z)
(neg.f64 z)
(neg.f64 z)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(neg.f64 z)
(-.f64 x z)
(-.f64 x z)
(-.f64 x z)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(neg.f64 z)
(-.f64 y z)
(-.f64 y z)
(-.f64 y z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(neg.f64 z)
(-.f64 y z)
(-.f64 y z)
(-.f64 y z)
(*.f64 y x)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
y
(-.f64 y z)
(-.f64 y z)
(-.f64 y z)
(*.f64 (neg.f64 y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
y
(-.f64 y z)
(-.f64 y z)
(-.f64 y z)
(*.f64 (neg.f64 y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(neg.f64 z)
(-.f64 x z)
(-.f64 x z)
(-.f64 x z)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
x
(-.f64 x z)
(-.f64 x z)
(-.f64 x z)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
x
(-.f64 x z)
(-.f64 x z)
(-.f64 x z)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)

rewrite390.0ms (6%)

Memory

-6.5MiB live, 285.0MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	98
0	31	91
1	140	85
2	1212	85
0	8723	85

Stop Event

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

Counts

12 → 356

Calls

Call 1

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

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval118.0ms (1.8%)

Memory: -13.9MiB live, 169.3MiB allocated
Compiler: Compiled 18 353 to 1 261 computations (93.1% saved)

prune32.0ms (0.5%)

Memory

37.4MiB live, 71.7MiB allocated

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	681	2	683
Fresh	0	0	0
Picked	1	3	4
Done	0	0	0
Total	682	5	687

Accuracy

100.0%

Counts

687 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	73.7%	(fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x)))
▶	98.8%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z)))
✓	100.0%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y))
✓	58.1%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y))
✓	49.1%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x))

Compiler

Compiled 97 to 57 computations (41.2% saved)

simplify391.0ms (6%)

Memory

0.9MiB live, 427.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

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

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	19	71
0	26	69
1	56	67
2	107	61
3	266	57
4	621	57
5	2051	57
6	4027	57
7	4581	57
8	5139	57
9	5499	57
10	5603	57
11	5715	57
12	5787	57
13	5787	57
14	5787	57
0	8772	57

Stop Event

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

Calls

Call 1

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

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

localize68.0ms (1.1%)

Memory

23.8MiB live, 176.0MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0	(-.f64 y z)
accuracy	0	(*.f64 y x)
accuracy	17.198617459499072	(fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x)))
accuracy	26.910599758699437	#s(approx (* y (- x y)) (*.f64 y x))
accuracy	0	(*.f64 (neg.f64 y) z)
accuracy	0	(neg.f64 y)
accuracy	0	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z)))
accuracy	0.7538979928166807	(fma.f64 y x (*.f64 (neg.f64 y) z))

Samples

26.0ms	181×	0	valid
22.0ms	74×	1	valid
0.0ms	1×	2	valid

Compiler

Compiled 130 to 39 computations (70% saved)

Precisions

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

ival-mult: 18.0ms (50.2% of total)

ival-sub: 9.0ms (25.1% of total)

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

adjust: 3.0ms (8.4% of total)

ival-neg: 1.0ms (2.8% of total)

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

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

series34.0ms (0.5%)

Memory

-1.4MiB live, 36.1MiB allocated

Counts

8 → 216

Calls

Call 1

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

Outputs
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<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 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<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 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) z) #<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 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 y z) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 y x (*.f64 (neg.f64 y) z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (* y (- x y)) (*.f64 y x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 y x) #<representation binary64>) () ())) ())

Calls

9 calls:

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

simplify382.0ms (5.9%)

Memory

-33.2MiB live, 243.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	101	1083
1	331	903
2	874	903
3	2958	903
0	8174	903

Stop Event

1×	iter limit
1×	node limit

Counts

216 → 213

Calls

Call 1

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

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

rewrite218.0ms (3.4%)

Memory

4.9MiB live, 225.5MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	65
0	26	63
1	140	61
2	1163	61
0	8339	61

Stop Event

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

Counts

8 → 162

Calls

Call 1

Inputs
(fma.f64 y x (*.f64 (neg.f64 y) z))
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (fma.f64 y x (*.f64 (neg.f64 y) z)))
(*.f64 (neg.f64 y) z)
(neg.f64 y)
(fma.f64 y (-.f64 y z) #s(approx (* y (- x y)) (*.f64 y x)))
(-.f64 y z)
#s(approx (* y (- x y)) (*.f64 y x))
(*.f64 y 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>

eval44.0ms (0.7%)

Memory: -6.2MiB live, 121.7MiB allocated
Compiler: Compiled 10 447 to 603 computations (94.2% saved)

prune10.0ms (0.2%)

Memory

-4.0MiB live, 33.5MiB allocated

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	374	1	375
Fresh	0	0	0
Picked	2	0	2
Done	0	3	3
Total	376	4	380

Accuracy

100.0%

Counts

380 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	97.7%	(fma.f64 y #s(approx (- y z) (neg.f64 z)) #s(approx (* y (- x y)) (*.f64 y x)))
✓	100.0%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y))
✓	58.1%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y))
✓	49.1%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x))

Compiler

Compiled 77 to 46 computations (40.3% saved)

simplify29.0ms (0.4%)

Memory

-8.1MiB live, 35.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	40
0	15	40
1	26	40
2	38	40
3	56	40
4	118	40
5	194	40
6	267	40
7	405	40
8	471	40
9	509	40
10	524	40
11	544	40
12	566	40
13	582	40
14	585	40
0	585	40

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(fma.f64 y #s(approx (- y z) (neg.f64 z)) #s(approx (* y (- x y)) (*.f64 y x)))
y
#s(approx (- y z) (neg.f64 z))
(neg.f64 z)
z
#s(approx (* y (- x y)) (*.f64 y x))
(*.f64 y x)
x

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

localize34.0ms (0.5%)

Memory

11.1MiB live, 87.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(neg.f64 z)
accuracy	17.198617459499072	(fma.f64 y #s(approx (- y z) (neg.f64 z)) #s(approx (* y (- x y)) (*.f64 y x)))
accuracy	26.910599758699437	#s(approx (* y (- x y)) (*.f64 y x))
accuracy	29.791027554925964	#s(approx (- y z) (neg.f64 z))

Samples

16.0ms	181×	0	valid
10.0ms	74×	1	valid
1.0ms	1×	2	valid

Compiler

Compiled 69 to 23 computations (66.7% saved)

Precisions

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

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

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

adjust: 2.0ms (13.3% of total)

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

ival-neg: 1.0ms (6.7% of total)

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

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

series7.0ms (0.1%)

Memory

14.1MiB live, 14.1MiB allocated

Counts

4 → 96

Calls

Call 1

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

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

Calls

9 calls:

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

simplify196.0ms (3%)

Memory

-20.6MiB live, 224.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	77	675
1	242	573
2	640	513
3	1839	369
4	5500	369
0	8564	369

Stop Event

1×	iter limit
1×	node limit

Counts

96 → 93

Calls

Call 1

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

Outputs
(*.f64 x y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
y
(-.f64 y z)
(-.f64 y z)
(-.f64 y z)
(neg.f64 z)
(neg.f64 z)
(neg.f64 z)
(neg.f64 z)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(neg.f64 z)
(-.f64 y z)
(-.f64 y z)
(-.f64 y z)
(neg.f64 z)
(neg.f64 z)
(neg.f64 z)
(neg.f64 z)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(neg.f64 z)
(-.f64 y z)
(-.f64 y z)
(-.f64 y z)
(neg.f64 z)
(neg.f64 z)
(neg.f64 z)
(neg.f64 z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(neg.f64 z)
(-.f64 y z)
(-.f64 y z)
(-.f64 y z)
(*.f64 x y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
y
(-.f64 y z)
(-.f64 y z)
(-.f64 y z)
(*.f64 (neg.f64 y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
y
(-.f64 y z)
(-.f64 y z)
(-.f64 y z)
(*.f64 (neg.f64 y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (neg.f64 y) z)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 x y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 x y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 x y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 x y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 x y) y)

rewrite156.0ms (2.4%)

Memory

8.9MiB live, 113.2MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	34
0	15	34
1	61	34
2	421	34
3	4379	31
0	8571	31

Stop Event

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

Counts

4 → 110

Calls

Call 1

Inputs
(fma.f64 y #s(approx (- y z) (neg.f64 z)) #s(approx (* y (- x y)) (*.f64 y x)))
#s(approx (- y z) (neg.f64 z))
(neg.f64 z)
#s(approx (* y (- x y)) (*.f64 y 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>

eval66.0ms (1%)

Memory: 3.1MiB live, 51.3MiB allocated
Compiler: Compiled 6 957 to 357 computations (94.9% saved)

prune11.0ms (0.2%)

Memory

-18.4MiB live, 17.7MiB allocated

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	203	0	203
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	203	4	207

Accuracy

100.0%

Counts

207 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	97.7%	(fma.f64 y #s(approx (- y z) (neg.f64 z)) #s(approx (* y (- x y)) (*.f64 y x)))
✓	100.0%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y))
✓	58.1%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y))
✓	49.1%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x))

Compiler

Compiled 216 to 84 computations (61.1% saved)

regimes13.0ms (0.2%)

Memory

34.5MiB live, 34.5MiB allocated

Counts

8 → 1

Calls

Call 1

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

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

Calls

4 calls:

3.0ms	y
3.0ms	x
3.0ms	(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))
3.0ms	z

Results

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

Compiler

Compiled 18 to 18 computations (0% saved)

regimes10.0ms (0.1%)

Memory

-19.1MiB live, 18.4MiB allocated

Counts

2 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

4 calls:

4.0ms	z
2.0ms	x
2.0ms	y
2.0ms	(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))

Results

Accuracy	Segments	Branch
81.3%	3	`x`
64.0%	4	`y`
80.8%	3	`z`
58.1%	1	`(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))`

Compiler

Compiled 18 to 18 computations (0% saved)

regimes6.0ms (0.1%)

Memory

16.8MiB live, 16.8MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

1.0ms	y
1.0ms	z
1.0ms	(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))
1.0ms	x

Results

Accuracy	Segments	Branch
49.1%	1	`(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))`
49.1%	1	`y`
49.1%	1	`z`
49.1%	1	`x`

Compiler

Compiled 18 to 18 computations (0% saved)

bsearch37.0ms (0.6%)

Memory

-8.2MiB live, 78.7MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
19.0ms	5.0152768584899553e+64	6.123598691826831e+71
15.0ms	-7.309807590208201e-72	-5.772139200411518e-73

Samples

12.0ms	80×	1	valid
9.0ms	160×	0	valid

Compiler

Compiled 603 to 390 computations (35.3% saved)

Precisions

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

ival-sub: 6.0ms (41.2% of total)

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

adjust: 2.0ms (13.7% of total)

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

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

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

simplify43.0ms (0.7%)

Memory

-8.9MiB live, 67.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	106
1	33	106
2	42	106
3	49	106
4	52	106
5	53	106

Stop Event

1×

saturated

Calls

Call 1

Inputs

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

(if (<=.f64 x #s(literal -55948864096101/7770675568902916283677847627294075626569627356208558085007249638955617140820833992704 binary64)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) (if (<=.f64 x #s(literal 179999999999999989222659048392762254977378089665403493860054663168 binary64)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x))))

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

Outputs

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

(if (<=.f64 x #s(literal -55948864096101/7770675568902916283677847627294075626569627356208558085007249638955617140820833992704 binary64)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) (if (<=.f64 x #s(literal 179999999999999989222659048392762254977378089665403493860054663168 binary64)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x))))

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

soundness308.0ms (4.8%)

Memory

1.2MiB live, 195.4MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	75	789
1	247	707
2	703	671
3	2586	671
4	6885	671
0	8211	659

Stop Event

1×	done
1×	iter limit
1×	node limit

Compiler

Compiled 121 to 41 computations (66.1% saved)

preprocess52.0ms (0.8%)

Memory: 11.9MiB live, 137.2MiB allocated
Remove: (negabs y)
Compiler: Compiled 294 to 98 computations (66.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	11	40
0	15	40
1	26	40
2	38	40
3	56	40
4	118	40
5	194	40
6	267	40
7	405	40
8	471	40
9	509	40
10	524	40
11	544	40
12	566	40
13	582	40
14	585	40
0	585	40

Iter	Nodes	Cost
0	11	40
0	15	40
1	26	40
2	38	40
3	56	40
4	118	40
5	194	40
6	267	40
7	405	40
8	471	40
9	509	40
10	524	40
11	544	40
12	566	40
13	582	40
14	585	40
0	585	40

start0.0ms (0%)

analyze0.0ms (0%)

sample1.2s (18.2%)

explain131.0ms (2%)

preprocess474.0ms (7.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify394.0ms (6.1%)

localize64.0ms (1%)

series11.0ms (0.2%)

simplify143.0ms (2.2%)

rewrite361.0ms (5.6%)

eval72.0ms (1.1%)

prune98.0ms (1.5%)

simplify286.0ms (4.4%)

localize276.0ms (4.3%)

series80.0ms (1.2%)

simplify258.0ms (4%)

rewrite390.0ms (6%)

eval118.0ms (1.8%)

prune32.0ms (0.5%)

simplify391.0ms (6%)

localize68.0ms (1.1%)

series34.0ms (0.5%)

simplify382.0ms (5.9%)

rewrite218.0ms (3.4%)

eval44.0ms (0.7%)

prune10.0ms (0.2%)

simplify29.0ms (0.4%)

localize34.0ms (0.5%)

series7.0ms (0.1%)

simplify196.0ms (3%)

rewrite156.0ms (2.4%)

eval66.0ms (1%)

prune11.0ms (0.2%)

regimes13.0ms (0.2%)

regimes10.0ms (0.1%)

regimes6.0ms (0.1%)

bsearch37.0ms (0.6%)

simplify43.0ms (0.7%)

soundness308.0ms (4.8%)

preprocess52.0ms (0.8%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	11	40
0	15	40
1	26	40
2	38	40
3	56	40
4	118	40
5	194	40
6	267	40
7	405	40
8	471	40
9	509	40
10	524	40
11	544	40
12	566	40
13	582	40
14	585	40
0	585	40