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

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.6MiB live, 0.6MiB 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.1s (20.8%)

Memory

-155.1MiB live, 1 538.6MiB allocated

Samples

505.0ms	5 763×	0	valid
307.0ms	2 441×	1	valid
9.0ms	52×	2	valid

Precisions

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

ival-mult: 380.0ms (64.5% of total)

ival-sub: 94.0ms (16% of total)

adjust: 58.0ms (9.8% of total)

ival-add: 48.0ms (8.1% of total)

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

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

Bogosity

explain130.0ms (2.4%)

Memory

20.6MiB live, 216.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
89	-	1	(3.2854250099784445e-204 -1.969199152285285e-20 -2.131168530615515e-22)	`(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))`
15	-	0	-	`(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))`
9	-	0	-	`(-.f64 (.f64 x y) (.f64 y z))`
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 z)) (.f64 y y)) (.f64 y y))`	nan-rescue	64	0
↳	`(-.f64 (.f64 x y) (.f64 y z))`	overflow	55
↳	`(*.f64 y z)`	overflow	38
↳	`(*.f64 x y)`	overflow	34
↳	`(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))`	overflow	87
↳	`(*.f64 y y)`	overflow	70
↳	`(*.f64 y y)`	overflow	70
`+.f64`	`(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))`	cancellation	24	1
`-.f64`	`(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))`	nan-rescue	15	0
↳	`(-.f64 (.f64 x y) (.f64 y z))`	overflow	55
↳	`(*.f64 y z)`	overflow	38
↳	`(*.f64 x y)`	overflow	34
↳	`(*.f64 y y)`	overflow	70
`-.f64`	`(-.f64 (.f64 x y) (.f64 y z))`	nan-rescue	9	0
↳	`(*.f64 x y)`	overflow	34
↳	`(*.f64 y z)`	overflow	38

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	85
2	9
3	3

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

27.0ms	362×	0	valid
20.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: 28.0ms

ival-mult: 16.0ms (57.1% of total)

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

adjust: 3.0ms (10.7% of total)

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

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

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

preprocess626.0ms (11.6%)

Memory

-5.2MiB live, 279.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	40	143
1	157	68
2	493	47
3	1466	47
4	4433	47
5	6356	47
6	7458	47
7	7880	47
8	7880	47
9	7880	47
0	9	15
0	15	15
1	31	7
2	84	5
3	203	5
4	653	5
5	2719	5
6	4293	5
7	4957	5
8	5213	5
9	5326	5
10	5371	5
11	6626	5
12	6836	5
13	7040	5
14	7040	5
15	7452	5
16	7658	5
17	7658	5
18	7658	5
19	7760	5
20	7760	5
0	9258	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 z)) (.f64 y y)) (.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.2MiB live, 0.2MiB allocated
Compiler: Compiled 0 to 3 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 15 to 9 computations (40% saved)

simplify454.0ms (8.4%)

Memory

32.5MiB live, 253.6MiB 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 z))
cost-diff	320	(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))
cost-diff	704	(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	45
0	15	37
1	31	31
2	84	29
3	203	29
4	653	29
5	2719	29
6	4293	29
7	4957	29
8	5213	29
9	5326	29
10	5371	29
11	6626	29
12	6836	29
13	7040	29
14	7040	29
15	7452	29
16	7658	29
17	7658	29
18	7658	29
19	7760	29
20	7760	29
0	9258	29

Stop Event

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

Calls

Call 1

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

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

localize35.0ms (0.7%)

Memory

-34.9MiB live, 55.6MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 x y)
accuracy	2.0507709291510294	(-.f64 (.f64 x y) (.f64 y z))
accuracy	3.656231422471852	(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))
accuracy	20.4354930314992	(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))

Samples

18.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: 12.0ms

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

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

adjust: 2.0ms (16.8% of total)

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

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

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

series11.0ms (0.2%)

Memory

19.4MiB live, 19.4MiB allocated

Counts

4 → 132

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<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 z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<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 z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<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 z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<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 z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<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 z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<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 z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 (-.f64 (.f64 x 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 z)) (*.f64 y y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 (.f64 x y) (.f64 y z)) #<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 z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y))
1.0ms	x	@	0	((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y))
1.0ms	y	@	0	((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y))
1.0ms	y	@	inf	((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y))
1.0ms	z	@	0	((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y))

simplify198.0ms (3.7%)

Memory

-4.8MiB live, 105.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	70	887
1	214	677
2	583	665
3	2207	665
4	6782	665
0	8092	665

Stop Event

1×	iter limit
1×	node limit

Counts

132 → 132

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))
(* x y)
(+ (* -1 (* y z)) (* x y))
(+ (* -1 (* y z)) (* x y))
(+ (* -1 (* y z)) (* x y))
(* -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 (/ (pow y 2) z))))
(* z (- (/ (* x y) z) (+ y (/ (pow y 2) z))))
(* z (- (/ (* x y) z) (+ y (/ (pow y 2) z))))
(* -1 (* y z))
(* z (- (/ (* x y) z) y))
(* z (- (/ (* x y) z) y))
(* z (- (/ (* x y) 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))))
(* -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))))
(* y (- x z))
(* y (- x z))
(* y (- x z))
(* y (- x z))
(* y (- x z))
(* y (- (+ x (* -1 y)) z))
(* y (- (+ x (* -1 y)) z))
(* y (- (+ x (* -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 (pow y 2))
(* (pow y 2) (- (/ x y) (+ 1 (/ z y))))
(* (pow y 2) (- (/ x y) (+ 1 (/ z y))))
(* (pow y 2) (- (/ x y) (+ 1 (/ z y))))
(* y (- x z))
(* y (- x z))
(* y (- x z))
(* y (- x 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 (pow y 2))
(* (pow y 2) (- (* -1 (/ (- (* -1 x) (* -1 z)) y)) 1))
(* (pow y 2) (- (* -1 (/ (- (* -1 x) (* -1 z)) y)) 1))
(* (pow y 2) (- (* -1 (/ (- (* -1 x) (* -1 z)) 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 z))
(- (* x y) (* y z))
(- (* x y) (* y z))
(- (* x y) (* y z))
(* -1 (+ (* y z) (pow y 2)))
(- (* x y) (+ (* y z) (pow y 2)))
(- (* x y) (+ (* y z) (pow y 2)))
(- (* x y) (+ (* y z) (pow y 2)))
(* -1 (* y z))
(- (* x y) (* y z))
(- (* x y) (* y z))
(- (* x y) (* y z))
(* 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) (pow y 2)) x))))
(* x (+ y (* -1 (/ (+ (* y z) (pow y 2)) x))))
(* x (+ y (* -1 (/ (+ (* y z) (pow y 2)) 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)
(* 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) (/ (pow y 2) x)))))
(* -1 (* x (+ (* -1 y) (+ (/ (* y z) x) (/ (pow y 2) x)))))
(* -1 (* x (+ (* -1 y) (+ (/ (* y z) x) (/ (pow y 2) 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)

Outputs
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x y) y)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 z) y)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (neg.f64 z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (neg.f64 z) y)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (neg.f64 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 (-.f64 x y) z) y)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (-.f64 (-.f64 x y) z) 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) y)
(*.f64 (fma.f64 (/.f64 (-.f64 z x) y) y y) (neg.f64 y))
(*.f64 (fma.f64 (/.f64 (-.f64 z x) y) y y) (neg.f64 y))
(*.f64 (fma.f64 (/.f64 (-.f64 z x) y) y y) (neg.f64 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) y)
(*.f64 (fma.f64 (/.f64 (-.f64 z x) y) y y) (neg.f64 y))
(*.f64 (fma.f64 (/.f64 (-.f64 z x) y) y y) (neg.f64 y))
(*.f64 (fma.f64 (/.f64 (-.f64 z x) y) y y) (neg.f64 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 (neg.f64 z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (+.f64 z y) (neg.f64 y))
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (neg.f64 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 y x)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 (-.f64 x z) y)
(*.f64 y x)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (-.f64 (-.f64 x y) z) 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 (-.f64 x y) z) y)
(*.f64 (-.f64 (-.f64 x y) z) y)
(*.f64 (-.f64 (-.f64 x y) z) 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)

rewrite442.0ms (8.2%)

Memory

-17.7MiB live, 270.2MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	36
0	15	28
1	68	22
2	637	20
0	8283	20

Stop Event

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

Counts

4 → 866

Calls

Call 1

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

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

eval188.0ms (3.5%)

Memory: 19.1MiB live, 205.1MiB allocated
Compiler: Compiled 30 837 to 1 955 computations (93.7% saved)

prune47.0ms (0.9%)

Memory

0.3MiB live, 53.6MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	994	4	998
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	995	4	999

Accuracy

100.0%

Counts

999 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 51 to 34 computations (33.3% saved)

simplify548.0ms (10.2%)

Memory

2.7MiB live, 265.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 y x)
cost-diff	0	(neg.f64 z)
cost-diff	320	(fma.f64 (neg.f64 z) y (*.f64 y x))
cost-diff	0	(-.f64 x z)
cost-diff	0	(*.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 z)) (* y y)) (* y y)) (*.f64 (neg.f64 z) y))
cost-diff	0	(*.f64 y x)
cost-diff	0	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 y x))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	78
0	23	76
1	51	60
2	109	56
3	235	56
4	685	56
5	2795	56
6	4427	56
7	4994	56
8	5219	56
9	5325	56
10	5362	56
11	6569	56
12	6771	56
13	6967	56
14	6967	56
15	7363	56
16	7561	56
17	7561	56
18	7561	56
19	7659	56
20	7659	56
0	9103	56

Stop Event

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

Calls

Call 1

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

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

localize120.0ms (2.2%)

Memory

5.7MiB live, 101.9MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 y x)
accuracy	0	(neg.f64 z)
accuracy	1.4999834856333614	(fma.f64 (neg.f64 z) y (*.f64 y x))
accuracy	0	(-.f64 x z)
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 z)) (* y y)) (* y y)) (*.f64 (neg.f64 z) y))
accuracy	0	(*.f64 y x)
accuracy	32.54813713081525	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 y x))

Samples

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

Compiler

Compiled 150 to 34 computations (77.3% saved)

Precisions

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

ival-mult: 11.0ms (44.4% of total)

adjust: 6.0ms (24.2% of total)

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

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

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

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

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

series19.0ms (0.4%)

Memory

4.7MiB live, 42.0MiB allocated

Counts

8 → 228

Calls

Call 1

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

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

Calls

9 calls:

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

simplify214.0ms (4%)

Memory

-29.0MiB live, 92.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	56	1179
1	190	939
2	474	939
3	1371	939
4	2853	939
5	4009	939
6	4791	939
7	5408	939
8	5623	939
9	5748	939
10	6337	939
11	6651	939
12	6651	939
13	6651	939
14	6651	939
0	8071	939

Stop Event

1×	iter limit
1×	node limit

Counts

228 → 225

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
(+ x (* -1 z))
(+ x (* -1 z))
(+ x (* -1 z))
(* x y)
(+ (* -1 (* y z)) (* x y))
(+ (* -1 (* y z)) (* x y))
(+ (* -1 (* y z)) (* x y))
(* -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 (+ (* -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) (/ (* x y) z)))
(* z (+ (* -1 y) (/ (* x y) z)))
(* z (+ (* -1 y) (/ (* 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 (* 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 (+ 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 (/ (* x y) z)))))
(* -1 (* z (+ y (* -1 (/ (* x y) z)))))
(* -1 (* z (+ y (* -1 (/ (* x 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 (* -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))
(* 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 (* -1 z)))
(* y (+ x (* -1 z)))
(* y (+ x (* -1 z)))
(* y (+ x (* -1 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))))
(* 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))
(* 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))))
(* -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))
(+ (* -1 (* y z)) (* x y))
(+ (* -1 (* y z)) (* x y))
(+ (* -1 (* y z)) (* x y))
(* -1 z)
(- x z)
(- x z)
(- x z)
(* -1 (* y z))
(+ (* -1 (* y z)) (* x y))
(+ (* -1 (* y z)) (* x y))
(+ (* -1 (* y z)) (* 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
(* x (+ 1 (* -1 (/ z x))))
(* x (+ 1 (* -1 (/ z x))))
(* x (+ 1 (* -1 (/ z x))))
(* x y)
(* x (+ y (* -1 (/ (* y z) x))))
(* x (+ y (* -1 (/ (* y z) x))))
(* x (+ y (* -1 (/ (* 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)
(* 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
(* -1 (* x (- (/ z x) 1)))
(* -1 (* x (- (/ z x) 1)))
(* -1 (* x (- (/ z x) 1)))
(* x y)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))

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)
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 (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)
(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) 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)
(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 (-.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)
(*.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)
(*.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 (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)
(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 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)
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 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)
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)

rewrite272.0ms (5.1%)

Memory

43.2MiB live, 311.0MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	63
0	23	61
1	117	45
2	1005	41
0	8486	41

Stop Event

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

Counts

8 → 684

Calls

Call 1

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

eval255.0ms (4.7%)

Memory: -9.9MiB live, 291.6MiB allocated
Compiler: Compiled 22 422 to 1 005 computations (95.5% saved)

prune29.0ms (0.5%)

Memory

35.1MiB live, 110.2MiB allocated

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	970	0	970
Fresh	0	0	0
Picked	0	4	4
Done	0	0	0
Total	970	4	974

Accuracy

100.0%

Counts

974 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 117 to 57 computations (51.3% saved)

regimes12.0ms (0.2%)

Memory

-2.7MiB live, 34.1MiB allocated

Counts

5 → 1

Calls

Call 1

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

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

Calls

4 calls:

4.0ms	(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))
2.0ms	x
2.0ms	y
2.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 z)) (.f64 y y)) (.f64 y y))`

Compiler

Compiled 18 to 18 computations (0% saved)

regimes14.0ms (0.3%)

Memory

-11.0MiB live, 34.5MiB allocated

Counts

2 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

4 calls:

8.0ms	(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))
2.0ms	x
2.0ms	z
2.0ms	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 z)) (.f64 y y)) (.f64 y y))`

Compiler

Compiled 18 to 18 computations (0% saved)

regimes10.0ms (0.2%)

Memory

-2.9MiB live, 32.0MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 18 to 18 computations (0% saved)

bsearch55.0ms (1%)

Memory

2.3MiB live, 74.8MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
36.0ms	5.0152768584899553e+64	6.123598691826831e+71
16.0ms	-7.309807590208201e-72	-5.772139200411518e-73

Samples

28.0ms	160×	0	valid
14.0ms	80×	1	valid

Compiler

Compiled 603 to 390 computations (35.3% saved)

Precisions

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

ival-mult: 25.0ms (70.7% of total)

adjust: 6.0ms (17% of total)

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

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

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

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

simplify36.0ms (0.7%)

Memory

11.3MiB live, 54.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	90
1	32	90
2	41	90
3	48	90
4	51	90
5	52	90

Stop Event

1×

saturated

Calls

Call 1

Inputs

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

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

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

Outputs

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

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

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

soundness464.0ms (8.6%)

Memory

-37.5MiB live, 233.7MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	70	887
1	214	677
2	583	665
3	2207	665
4	6782	665
0	8092	665
0	9	36
0	15	28
1	68	22
2	637	20
0	8283	20

Stop Event

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

Compiler

Compiled 127 to 46 computations (63.8% saved)

preprocess73.0ms (1.4%)

Memory: 0.7MiB live, 113.0MiB allocated
Remove: (negabs y)
Compiler: Compiled 240 to 92 computations (61.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample1.1s (20.8%)

explain130.0ms (2.4%)

preprocess626.0ms (11.6%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify454.0ms (8.4%)

localize35.0ms (0.7%)

series11.0ms (0.2%)

simplify198.0ms (3.7%)

rewrite442.0ms (8.2%)

eval188.0ms (3.5%)

prune47.0ms (0.9%)

simplify548.0ms (10.2%)

localize120.0ms (2.2%)

series19.0ms (0.4%)

simplify214.0ms (4%)

rewrite272.0ms (5.1%)

eval255.0ms (4.7%)

prune29.0ms (0.5%)

regimes12.0ms (0.2%)

regimes14.0ms (0.3%)

regimes10.0ms (0.2%)

bsearch55.0ms (1%)

simplify36.0ms (0.7%)

soundness464.0ms (8.6%)

preprocess73.0ms (1.4%)

end0.0ms (0%)

Profiling