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

0.9MiB live, 0.9MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample1.1s (19.6%)

Memory

35.9MiB live, 1 763.2MiB allocated

Samples

366.0ms	5 830×	0	valid
292.0ms	2 362×	1	valid
10.0ms	64×	2	valid

Precisions

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

ival-mult: 217.0ms (50.7% of total)

ival-sub: 100.0ms (23.4% of total)

adjust: 56.0ms (13.1% of total)

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

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

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

Bogosity

explain285.0ms (5.1%)

Memory

-16.5MiB live, 231.0MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
76	-	-	`(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))`
17	-	-	`(-.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	46	0
↳	`(-.f64 (.f64 x y) (.f64 y z))`	overflow	50
↳	`(*.f64 y z)`	overflow	30
↳	`(*.f64 x y)`	overflow	31
↳	`(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))`	overflow	77
↳	`(*.f64 y y)`	overflow	56
↳	`(*.f64 y y)`	overflow	56
`+.f64`	`(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))`	cancellation	30	0
`-.f64`	`(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))`	nan-rescue	17	0
↳	`(-.f64 (.f64 x y) (.f64 y z))`	overflow	50
↳	`(*.f64 y z)`	overflow	30
↳	`(*.f64 x y)`	overflow	31
↳	`(*.f64 y y)`	overflow	56
`-.f64`	`(-.f64 (.f64 x y) (.f64 y z))`	nan-rescue	4	0
↳	`(*.f64 x y)`	overflow	31
↳	`(*.f64 y z)`	overflow	30

Confusion

	Predicted +	Predicted -
+	86	0
-	0	170

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	86	0	0
-	0	0	170

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	170
1	75
2	11

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

111.0ms	376×	0	valid
18.0ms	134×	1	valid
0.0ms	2×	2	valid

Compiler

Compiled 109 to 31 computations (71.6% saved)

Precisions

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

ival-mult: 96.0ms (86.9% of total)

ival-sub: 8.0ms (7.2% of total)

adjust: 3.0ms (2.7% of total)

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

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

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

preprocess524.0ms (9.5%)

Memory

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

prune0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 15 to 9 computations (40% saved)

simplify407.0ms (7.3%)

Memory

-3.0MiB live, 265.8MiB 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	53
1	31	35
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)

localize56.0ms (1%)

Memory

7.9MiB live, 47.1MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 x y)
accuracy	0.9023396216604117	(-.f64 (.f64 x y) (.f64 y z))
accuracy	2.4531146791510294	(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))
accuracy	18.420193759766867	(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))

Samples

37.0ms	67×	1	valid
12.0ms	188×	0	valid
0.0ms	1×	2	valid

Compiler

Compiled 47 to 11 computations (76.6% saved)

Precisions

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

ival-sub: 31.0ms (76.9% of total)

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

adjust: 2.0ms (5% of total)

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

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

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

series10.0ms (0.2%)

Memory

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

simplify135.0ms (2.4%)

Memory

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

rewrite608.0ms (11%)

Memory

-189.4MiB live, 284.1MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	36
0	15	44
1	68	26
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>

eval184.0ms (3.3%)

Memory: -25.6MiB live, 174.3MiB allocated
Compiler: Compiled 29 577 to 1 949 computations (93.4% saved)

prune45.0ms (0.8%)

Memory

9.0MiB live, 47.3MiB 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.2%	(fma.f64 (neg.f64 z) y (*.f64 y x))
▶	100.0%	(*.f64 (-.f64 x z) y)
▶	52.9%	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 (neg.f64 z) y))
▶	55.6%	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 y x))

Compiler

Compiled 21 to 22 computations (-4.8% saved)

simplify387.0ms (7%)

Memory

13.5MiB live, 239.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

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

Calls

Call 1

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

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

localize118.0ms (2.1%)

Memory

-13.5MiB live, 202.1MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 y x)
accuracy	0	(neg.f64 z)
accuracy	0.49999449521112044	(fma.f64 (neg.f64 z) y (*.f64 y x))
accuracy	0	(-.f64 x z)
accuracy	0.015625	(*.f64 (-.f64 x z) y)
accuracy	0	(*.f64 (neg.f64 z) y)
accuracy	0	(neg.f64 z)
accuracy	30.175306016377583	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 (neg.f64 z) y))
accuracy	0	(*.f64 y x)
accuracy	28.436947092824596	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 y x))

Samples

83.0ms	188×	0	valid
24.0ms	67×	1	valid
0.0ms	1×	2	valid

Compiler

Compiled 72 to 17 computations (76.4% saved)

Precisions

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

ival-mult: 23.0ms (64.6% of total)

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

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

adjust: 2.0ms (5.6% of total)

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

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

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

series90.0ms (1.6%)

Memory

-8.1MiB live, 29.5MiB 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
2.0ms	x	@	inf	((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (* y x) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (* (neg z) y) (neg z) (* (- x z) y) (- x z) (+ (* (neg z) y) (* y x)))
1.0ms	y	@	-inf	((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (* y x) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (* (neg z) y) (neg z) (* (- x z) y) (- x z) (+ (* (neg z) y) (* y x)))
1.0ms	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)))

simplify338.0ms (6.1%)

Memory

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

rewrite256.0ms (4.6%)

Memory

24.4MiB live, 240.6MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

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

Counts

8 → 684

Calls

Call 1

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

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

eval241.0ms (4.4%)

Memory: -8.6MiB live, 303.2MiB allocated
Compiler: Compiled 18 873 to 993 computations (94.7% saved)

prune103.0ms (1.9%)

Memory

-6.6MiB live, 117.8MiB 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.2%	(fma.f64 (neg.f64 z) y (*.f64 y x))
✓	100.0%	(*.f64 (-.f64 x z) y)
✓	52.9%	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 (neg.f64 z) y))
✓	55.6%	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 y x))

Compiler

Compiled 57 to 39 computations (31.6% saved)

regimes10.0ms (0.2%)

Memory

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

2.0ms	x
2.0ms	y
2.0ms	z
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)

regimes134.0ms (2.4%)

Memory

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

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

Results

Accuracy	Segments	Branch
84.2%	3	`x`
65.9%	4	`y`
78.7%	3	`z`
62.7%	3	`(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))`

Compiler

Compiled 18 to 18 computations (0% saved)

regimes6.0ms (0.1%)

Memory

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

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

Results

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

Compiler

Compiled 18 to 18 computations (0% saved)

bsearch65.0ms (1.2%)

Memory

23.3MiB live, 60.3MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
9.0ms	5.173773070515955e+27	1.3651745778648122e+28
53.0ms	-1.1264514025229556e-6	-2.5540685969530477e-12

Samples

44.0ms	71×	1	valid
9.0ms	153×	0	valid

Compiler

Compiled 144 to 197 computations (-36.8% saved)

Precisions

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

ival-mult: 5.0ms (45.2% of total)

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

adjust: 2.0ms (18.1% of total)

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

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

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

simplify30.0ms (0.5%)

Memory

-16.6MiB live, 62.6MiB 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 -4835703278458517/19342813113834066795298816 binary64)) #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 y x)) (if (<=.f64 x #s(literal 12199999999999999447425613824 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 -4835703278458517/19342813113834066795298816 binary64)) #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (.f64 y x)) (if (<=.f64 x #s(literal 12199999999999999447425613824 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))

soundness367.0ms (6.6%)

Memory

-21.4MiB live, 204.0MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	36
0	15	44
1	68	26
2	637	20
0	8283	20
0	70	887
1	214	677
2	583	665
3	2206	665
4	6798	665
0	8119	665

Stop Event

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

Compiler

Compiled 67 to 40 computations (40.3% saved)

preprocess53.0ms (1%)

Memory: 0.6MiB live, 84.8MiB 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.1s (19.6%)

explain285.0ms (5.1%)

preprocess524.0ms (9.5%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify407.0ms (7.3%)

localize56.0ms (1%)

series10.0ms (0.2%)

simplify135.0ms (2.4%)

rewrite608.0ms (11%)

eval184.0ms (3.3%)

prune45.0ms (0.8%)

simplify387.0ms (7%)

localize118.0ms (2.1%)

series90.0ms (1.6%)

simplify338.0ms (6.1%)

rewrite256.0ms (4.6%)

eval241.0ms (4.4%)

prune103.0ms (1.9%)

regimes10.0ms (0.2%)

regimes134.0ms (2.4%)

regimes6.0ms (0.1%)

bsearch65.0ms (1.2%)

simplify30.0ms (0.5%)

soundness367.0ms (6.6%)

preprocess53.0ms (1%)

end0.0ms (0%)

Profiling