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

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample1.3s (24.3%)

Memory

-18.4MiB live, 1 941.8MiB allocated

Samples

536.0ms	5 777×	0	valid
390.0ms	2 433×	1	valid
24.0ms	46×	2	valid

Precisions

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

ival-mult: 406.0ms (61.1% of total)

ival-sub: 107.0ms (16.1% of total)

adjust: 73.0ms (11% of total)

ival-add: 68.0ms (10.2% of total)

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

ival-assert: 4.0ms (0.6% of total)

Bogosity

explain135.0ms (2.5%)

Memory

39.4MiB live, 272.5MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
87	-	-	`(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))`
15	-	-	`(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))`
4	-	-	`(-.f64 (.f64 x y) (.f64 y z))`
0	-	-	`z`
0	-	-	`(*.f64 x y)`
0	-	-	`y`
0	-	-	`(*.f64 y y)`
0	-	-	`(*.f64 y z)`
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	55	0
↳	`(-.f64 (.f64 x y) (.f64 y z))`	overflow	54
↳	`(*.f64 y z)`	overflow	35
↳	`(*.f64 x y)`	overflow	30
↳	`(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))`	overflow	79
↳	`(*.f64 y y)`	overflow	63
↳	`(*.f64 y y)`	overflow	63
`+.f64`	`(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))`	cancellation	32	0
`-.f64`	`(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))`	nan-rescue	15	0
↳	`(-.f64 (.f64 x y) (.f64 y z))`	overflow	54
↳	`(*.f64 y z)`	overflow	35
↳	`(*.f64 x y)`	overflow	30
↳	`(*.f64 y y)`	overflow	63
`-.f64`	`(-.f64 (.f64 x y) (.f64 y z))`	nan-rescue	4	0
↳	`(*.f64 x y)`	overflow	30
↳	`(*.f64 y z)`	overflow	35

Confusion

	Predicted +	Predicted -
+	95	0
-	0	161

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	95	0	0
-	0	0	161

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	161
1	84
2	11

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

30.0ms	374×	0	valid
20.0ms	130×	1	valid
2.0ms	8×	2	valid

Compiler

Compiled 154 to 40 computations (74% saved)

Precisions

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

ival-mult: 17.0ms (56.9% of total)

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

adjust: 3.0ms (10% of total)

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

ival-true: 1.0ms (3.3% of total)

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

preprocess467.0ms (8.6%)

Memory

-14.9MiB live, 328.9MiB 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 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))
(*.f64 (-.f64 x z) y)

Symmetry

(negabs y)

Compiler

Compiled 15 to 9 computations (40% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 15 to 9 computations (40% saved)

simplify515.0ms (9.5%)

Memory

1.1MiB live, 286.2MiB 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 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))
(*.f64 (-.f64 x z) y)
(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))
(*.f64 (-.f64 x (+.f64 z y)) y)
(-.f64 (.f64 x y) (.f64 y z))
(*.f64 (-.f64 x z) y)
(*.f64 x y)
(*.f64 y x)
x
y
(*.f64 y z)
(*.f64 z y)
z
(*.f64 y y)

localize32.0ms (0.6%)

Memory

13.7MiB live, 48.9MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 x y)
accuracy	0.8007812500000001	(-.f64 (.f64 x y) (.f64 y z))
accuracy	4.3984127299624705	(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))
accuracy	20.35242291874632	(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))

Samples

12.0ms	187×	0	valid
9.0ms	65×	1	valid
4.0ms	4×	2	valid

Compiler

Compiled 92 to 20 computations (78.3% saved)

Precisions

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

ival-mult: 10.0ms (63.9% of total)

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

adjust: 2.0ms (12.8% of total)

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

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

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

series16.0ms (0.3%)

Memory

-28.3MiB live, 21.9MiB allocated

Counts

4 → 132

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	y	@	-inf	((+ (- (- (* x y) (* 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	@	inf	((+ (- (- (* 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	z	@	0	((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y))

simplify140.0ms (2.6%)

Memory

25.5MiB live, 136.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	70	887
1	214	677
2	583	665
3	2206	665
4	6798	665
0	8119	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
(* x y)
(*.f64 y x)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(- (* x y) (pow y 2))
(*.f64 (-.f64 x y) y)
(- (+ (* -1 (* y z)) (* x y)) (pow y 2))
(*.f64 (-.f64 (-.f64 x y) z) y)
(- (+ (* -1 (* y z)) (* x y)) (pow y 2))
(*.f64 (-.f64 (-.f64 x y) z) y)
(- (+ (* -1 (* y z)) (* x y)) (pow y 2))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* x y)
(*.f64 y x)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 z) y)
(* z (- (/ (* x y) z) y))
(*.f64 (-.f64 x z) y)
(* z (- (/ (* x y) z) y))
(*.f64 (-.f64 x z) y)
(* z (- (/ (* x y) z) y))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 z) y)
(* z (- (/ (* x y) z) (+ y (/ (pow y 2) z))))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* z (- (/ (* x y) z) (+ y (/ (pow y 2) z))))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* z (- (/ (* x y) z) (+ y (/ (pow y 2) z))))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* -1 (* y z))
(*.f64 (neg.f64 z) y)
(* z (- (/ (* x y) z) y))
(*.f64 (-.f64 x z) y)
(* z (- (/ (* x y) z) y))
(*.f64 (-.f64 x z) y)
(* z (- (/ (* x y) z) y))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 z) y)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(*.f64 (-.f64 x z) y)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(*.f64 (-.f64 x z) y)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 z) y)
(* -1 (* z (- (* -1 (/ (- (* x y) (pow y 2)) z)) (* -1 y))))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* -1 (* z (- (* -1 (/ (- (* x y) (pow y 2)) z)) (* -1 y))))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* -1 (* z (- (* -1 (/ (- (* x y) (pow y 2)) z)) (* -1 y))))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* -1 (* y z))
(*.f64 (neg.f64 z) y)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(*.f64 (-.f64 x z) y)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(*.f64 (-.f64 x z) y)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- (+ x (* -1 y)) z))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* y (- (+ x (* -1 y)) z))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* y (- (+ x (* -1 y)) z))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* (pow y 2) (- (/ x y) (+ 1 (/ z y))))
(*.f64 (fma.f64 (/.f64 (-.f64 z x) y) y y) (neg.f64 y))
(* (pow y 2) (- (/ x y) (+ 1 (/ z y))))
(*.f64 (fma.f64 (/.f64 (-.f64 z x) y) y y) (neg.f64 y))
(* (pow y 2) (- (/ x y) (+ 1 (/ z y))))
(*.f64 (fma.f64 (/.f64 (-.f64 z x) y) y y) (neg.f64 y))
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* -1 (pow y 2))
(*.f64 (neg.f64 y) y)
(* (pow y 2) (- (* -1 (/ (- (* -1 x) (* -1 z)) y)) 1))
(*.f64 (fma.f64 (/.f64 (-.f64 z x) y) y y) (neg.f64 y))
(* (pow y 2) (- (* -1 (/ (- (* -1 x) (* -1 z)) y)) 1))
(*.f64 (fma.f64 (/.f64 (-.f64 z x) y) y y) (neg.f64 y))
(* (pow y 2) (- (* -1 (/ (- (* -1 x) (* -1 z)) y)) 1))
(*.f64 (fma.f64 (/.f64 (-.f64 z x) y) y y) (neg.f64 y))
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* -1 (* y z))
(*.f64 (neg.f64 z) y)
(- (* x y) (* y z))
(*.f64 (-.f64 x z) y)
(- (* x y) (* y z))
(*.f64 (-.f64 x z) y)
(- (* x y) (* y z))
(*.f64 (-.f64 x z) y)
(* -1 (+ (* y z) (pow y 2)))
(*.f64 (+.f64 z y) (neg.f64 y))
(- (* x y) (+ (* y z) (pow y 2)))
(*.f64 (-.f64 (-.f64 x y) z) y)
(- (* x y) (+ (* y z) (pow y 2)))
(*.f64 (-.f64 (-.f64 x y) z) y)
(- (* x y) (+ (* y z) (pow y 2)))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* -1 (* y z))
(*.f64 (neg.f64 z) y)
(- (* x y) (* y z))
(*.f64 (-.f64 x z) y)
(- (* x y) (* y z))
(*.f64 (-.f64 x z) y)
(- (* x y) (* y z))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x (+ y (* -1 (/ (+ (* y z) (pow y 2)) x))))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* x (+ y (* -1 (/ (+ (* y z) (pow y 2)) x))))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* x (+ y (* -1 (/ (+ (* y z) (pow y 2)) x))))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* x y)
(*.f64 y x)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* -1 (* x (+ (* -1 y) (+ (/ (* y z) x) (/ (pow y 2) x)))))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* -1 (* x (+ (* -1 y) (+ (/ (* y z) x) (/ (pow y 2) x)))))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* -1 (* x (+ (* -1 y) (+ (/ (* y z) x) (/ (pow y 2) x)))))
(*.f64 (-.f64 (-.f64 x y) z) y)
(* x y)
(*.f64 y x)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)

rewrite319.0ms (5.9%)

Memory

4.1MiB live, 323.7MiB 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>

eval156.0ms (2.9%)

Memory: 20.6MiB live, 173.9MiB allocated
Compiler: Compiled 29 577 to 1 949 computations (93.4% saved)

prune33.0ms (0.6%)

Memory

-19.2MiB live, 61.5MiB 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
▶	99.6%	(fma.f64 (neg.f64 z) y (*.f64 y x))
▶	100.0%	(*.f64 (-.f64 x z) y)
▶	52.0%	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 (neg.f64 z) y))
▶	54.4%	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 y x))

Compiler

Compiled 21 to 22 computations (-4.8% saved)

simplify572.0ms (10.5%)

Memory

-19.3MiB live, 311.1MiB 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	689	56
5	2808	56
6	4426	56
7	5005	56
8	5230	56
9	5336	56
10	5373	56
11	6580	56
12	6782	56
13	6978	56
14	6978	56
15	7374	56
16	7572	56
17	7572	56
18	7572	56
19	7670	56
20	7670	56
0	9114	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))
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 x y))
(*.f64 y x)
(*.f64 x y)
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))
(*.f64 (-.f64 x z) y)
(neg.f64 z)
z
y
(*.f64 y x)
(*.f64 x y)
x

localize83.0ms (1.5%)

Memory

22.4MiB live, 96.3MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 y x)
accuracy	0	(neg.f64 z)
accuracy	0.2539034976055602	(fma.f64 (neg.f64 z) y (*.f64 y x))
accuracy	0	(-.f64 x z)
accuracy	0.01953125	(*.f64 (-.f64 x z) y)
accuracy	0	(*.f64 (neg.f64 z) y)
accuracy	0	(neg.f64 z)
accuracy	30.73457097093565	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 (neg.f64 z) y))
accuracy	0	(*.f64 y x)
accuracy	29.209940294134253	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 y x))

Samples

56.0ms	187×	0	valid
14.0ms	65×	1	valid
1.0ms	4×	2	valid

Compiler

Compiled 120 to 28 computations (76.7% saved)

Precisions

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

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

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

adjust: 3.0ms (13.7% of total)

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

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

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

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

series47.0ms (0.9%)

Memory

-6.6MiB live, 34.3MiB allocated

Counts

8 → 228

Calls

Call 1

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

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

Calls

9 calls:

Time	Variable		Point	Expression
34.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	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)))
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)))

simplify314.0ms (5.8%)

Memory

-3.3MiB live, 106.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	56	1179
1	190	939
2	474	939
3	1375	939
4	2923	939
5	4087	939
6	4868	939
7	5484	939
8	5693	939
9	5809	939
10	6398	939
11	6712	939
12	6712	939
13	6712	939
14	6712	939
0	8189	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
(* x y)
(*.f64 y x)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 z)
(neg.f64 z)
(* -1 z)
(neg.f64 z)
(* -1 z)
(neg.f64 z)
(* -1 z)
(neg.f64 z)
(* x y)
(*.f64 y x)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
x
(+ x (* -1 z))
(-.f64 x z)
(+ x (* -1 z))
(-.f64 x z)
(+ x (* -1 z))
(-.f64 x z)
(* x y)
(*.f64 y x)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* z (- (/ (* x y) z) y))
(*.f64 (-.f64 x z) y)
(* z (- (/ (* x y) z) y))
(*.f64 (-.f64 x z) y)
(* z (- (/ (* x y) z) y))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* z (- (/ (* x y) z) y))
(*.f64 (-.f64 x z) y)
(* z (- (/ (* x y) z) y))
(*.f64 (-.f64 x z) y)
(* z (- (/ (* x y) z) y))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 z)
(neg.f64 z)
(* -1 z)
(neg.f64 z)
(* -1 z)
(neg.f64 z)
(* -1 z)
(neg.f64 z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* z (+ (* -1 y) (/ (* x y) z)))
(*.f64 (-.f64 x z) y)
(* z (+ (* -1 y) (/ (* x y) z)))
(*.f64 (-.f64 x z) y)
(* z (+ (* -1 y) (/ (* x y) z)))
(*.f64 (-.f64 x z) y)
(* -1 z)
(neg.f64 z)
(* z (- (/ x z) 1))
(-.f64 x z)
(* z (- (/ x z) 1))
(-.f64 x z)
(* z (- (/ x z) 1))
(-.f64 x z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* z (+ (* -1 y) (/ (* x y) z)))
(*.f64 (-.f64 x z) y)
(* z (+ (* -1 y) (/ (* x y) z)))
(*.f64 (-.f64 x z) y)
(* z (+ (* -1 y) (/ (* x y) z)))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(*.f64 (-.f64 x z) y)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(*.f64 (-.f64 x z) y)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(*.f64 (-.f64 x z) y)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(*.f64 (-.f64 x z) y)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 z)
(neg.f64 z)
(* -1 z)
(neg.f64 z)
(* -1 z)
(neg.f64 z)
(* -1 z)
(neg.f64 z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* z (+ y (* -1 (/ (* x y) z)))))
(*.f64 (-.f64 x z) y)
(* -1 (* z (+ y (* -1 (/ (* x y) z)))))
(*.f64 (-.f64 x z) y)
(* -1 (* z (+ y (* -1 (/ (* x y) z)))))
(*.f64 (-.f64 x z) y)
(* -1 z)
(neg.f64 z)
(* -1 (* z (+ 1 (* -1 (/ x z)))))
(-.f64 x z)
(* -1 (* z (+ 1 (* -1 (/ x z)))))
(-.f64 x z)
(* -1 (* z (+ 1 (* -1 (/ x z)))))
(-.f64 x z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* z (+ y (* -1 (/ (* x y) z)))))
(*.f64 (-.f64 x z) y)
(* -1 (* z (+ y (* -1 (/ (* x y) z)))))
(*.f64 (-.f64 x z) y)
(* -1 (* z (+ y (* -1 (/ (* x y) z)))))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (+ x (* -1 z)))
(*.f64 (-.f64 x z) y)
(* y (+ x (* -1 z)))
(*.f64 (-.f64 x z) y)
(* y (+ x (* -1 z)))
(*.f64 (-.f64 x z) y)
(* y (+ x (* -1 z)))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (+ x (* -1 z)))
(*.f64 (-.f64 x z) y)
(* y (+ x (* -1 z)))
(*.f64 (-.f64 x z) y)
(* y (+ x (* -1 z)))
(*.f64 (-.f64 x z) y)
(* y (+ x (* -1 z)))
(*.f64 (-.f64 x z) y)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (- (* -1 x) (* -1 z))))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* y (- x z))
(*.f64 (-.f64 x z) y)
(* -1 (* y (+ z (* -1 x))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (+ z (* -1 x))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (+ z (* -1 x))))
(*.f64 (-.f64 x z) y)
(* -1 (* y (+ z (* -1 x))))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(- (* x y) (* y z))
(*.f64 (-.f64 x z) y)
(- (* x y) (* y z))
(*.f64 (-.f64 x z) y)
(- (* x y) (* y z))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(- (* x y) (* y z))
(*.f64 (-.f64 x z) y)
(- (* x y) (* y z))
(*.f64 (-.f64 x z) y)
(- (* x y) (* y z))
(*.f64 (-.f64 x z) y)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(* -1 z)
(neg.f64 z)
(- x z)
(-.f64 x z)
(- x z)
(-.f64 x z)
(- x z)
(-.f64 x z)
(* -1 (* y z))
(*.f64 (neg.f64 y) z)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(+ (* -1 (* y z)) (* x y))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
x
(* x (+ 1 (* -1 (/ z x))))
(-.f64 x z)
(* x (+ 1 (* -1 (/ z x))))
(-.f64 x z)
(* x (+ 1 (* -1 (/ z x))))
(-.f64 x z)
(* x y)
(*.f64 y x)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x (+ y (* -1 (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* x y)
(*.f64 y x)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
x
(* -1 (* x (- (/ z x) 1)))
(-.f64 x z)
(* -1 (* x (- (/ z x) 1)))
(-.f64 x z)
(* -1 (* x (- (/ z x) 1)))
(-.f64 x z)
(* x y)
(*.f64 y x)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)
(* -1 (* x (+ (* -1 y) (/ (* y z) x))))
(*.f64 (-.f64 x z) y)

rewrite317.0ms (5.8%)

Memory

1.7MiB live, 281.3MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	63
0	23	61
1	117	45
2	1006	41
0	8496	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>

eval312.0ms (5.7%)

Memory: 2.7MiB live, 261.7MiB allocated
Compiler: Compiled 18 873 to 994 computations (94.7% saved)

prune30.0ms (0.5%)

Memory

6.8MiB live, 82.0MiB 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
✓	99.6%	(fma.f64 (neg.f64 z) y (*.f64 y x))
✓	100.0%	(*.f64 (-.f64 x z) y)
✓	52.0%	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 (neg.f64 z) y))
✓	54.4%	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 y x))

Compiler

Compiled 57 to 39 computations (31.6% saved)

regimes12.0ms (0.2%)

Memory

-14.6MiB live, 22.0MiB 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	y
2.0ms	z
2.0ms	x
2.0ms	(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))

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)

regimes7.0ms (0.1%)

Memory

17.3MiB live, 17.3MiB 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:

2.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
80.5%	3	`x`
58.4%	3	`y`
80.4%	3	`z`
61.1%	5	`(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))`

Compiler

Compiled 18 to 18 computations (0% saved)

regimes9.0ms (0.2%)

Memory

-29.7MiB live, 18.8MiB 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	y
1.0ms	(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))
1.0ms	x
1.0ms	z

Results

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

Compiler

Compiled 18 to 18 computations (0% saved)

bsearch29.0ms (0.5%)

Memory

20.9MiB live, 58.0MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
14.0ms	1.832215486044839e+29	8.2879863224364e+29
13.0ms	-2.5522603336705464e+62	-3.140235402091999e+60

Samples

11.0ms	146×	0	valid
7.0ms	62×	1	valid

Compiler

Compiled 135 to 184 computations (-36.3% saved)

Precisions

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

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

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

adjust: 1.0ms (7.6% of total)

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

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

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

simplify51.0ms (0.9%)

Memory

4.6MiB live, 42.2MiB 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 -9999999999999999493871352970740188669636450110134100730839040 binary64)) #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 y x)) (if (<=.f64 x #s(literal 184999999999999986790156992512 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 (-.f64 x z) y)
(*.f64 y (-.f64 x z))
(if (<=.f64 x #s(literal -9999999999999999493871352970740188669636450110134100730839040 binary64)) #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (.f64 y x)) (if (<=.f64 x #s(literal 184999999999999986790156992512 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))

soundness389.0ms (7.1%)

Memory

-18.9MiB live, 222.2MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	70	887
1	214	677
2	583	665
3	2206	665
4	6798	665
0	8119	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 67 to 40 computations (40.3% saved)

preprocess133.0ms (2.4%)

Memory: 20.2MiB live, 96.6MiB allocated
Remove: (negabs y)
Compiler: Compiled 120 to 80 computations (33.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample1.3s (24.3%)

explain135.0ms (2.5%)

preprocess467.0ms (8.6%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify515.0ms (9.5%)

localize32.0ms (0.6%)

series16.0ms (0.3%)

simplify140.0ms (2.6%)

rewrite319.0ms (5.9%)

eval156.0ms (2.9%)

prune33.0ms (0.6%)

simplify572.0ms (10.5%)

localize83.0ms (1.5%)

series47.0ms (0.9%)

simplify314.0ms (5.8%)

rewrite317.0ms (5.8%)

eval312.0ms (5.7%)

prune30.0ms (0.5%)

regimes12.0ms (0.2%)

regimes7.0ms (0.1%)

regimes9.0ms (0.2%)

bsearch29.0ms (0.5%)

simplify51.0ms (0.9%)

soundness389.0ms (7.1%)

preprocess133.0ms (2.4%)

end0.0ms (0%)

Profiling