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.5MiB live, 0.6MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample1.3s (24.4%)

Memory

-137.0MiB live, 1 350.6MiB allocated

Samples

509.0ms	5 761×	0	valid
411.0ms	2 446×	1	valid
8.0ms	49×	2	valid

Precisions

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

ival-mult: 328.0ms (49.2% of total)

ival-sub: 224.0ms (33.6% of total)

ival-add: 53.0ms (7.9% of total)

adjust: 52.0ms (7.8% of total)

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

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

Bogosity

explain277.0ms (5.1%)

Memory

-15.8MiB live, 150.3MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
85	-	-	`(+.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))`
5	-	-	`(-.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	52	0
↳	`(-.f64 (.f64 x y) (.f64 y z))`	overflow	44
↳	`(*.f64 y z)`	overflow	27
↳	`(*.f64 x y)`	overflow	26
↳	`(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))`	overflow	71
↳	`(*.f64 y y)`	overflow	61
↳	`(*.f64 y y)`	overflow	61
`+.f64`	`(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))`	cancellation	33	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	44
↳	`(*.f64 y z)`	overflow	27
↳	`(*.f64 x y)`	overflow	26
↳	`(*.f64 y y)`	overflow	61
`-.f64`	`(-.f64 (.f64 x y) (.f64 y z))`	nan-rescue	5	0
↳	`(*.f64 x y)`	overflow	26
↳	`(*.f64 y z)`	overflow	27

Confusion

	Predicted +	Predicted -
+	94	0
-	0	162

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	94	0	0
-	0	0	162

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	162
1	82
2	11
3	1

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

23.0ms	372×	0	valid
18.0ms	138×	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: 24.0ms

ival-mult: 12.0ms (50.5% of total)

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

adjust: 3.0ms (12.6% of total)

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

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

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

preprocess532.0ms (9.8%)

Memory

-1.5MiB live, 398.8MiB allocated

Algorithm

1×	egg-herbie

Rules

36 560×	`lower-fma.f64`
36 560×	`lower-fma.f32`
4 512×	`lower-+.f32`
4 510×	`lower-+.f64`
3 672×	`lower-*.f32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	40	143
1	157	68
2	493	47
3	1466	47
4	4433	47
5	6356	47
6	7458	47
7	7880	47
8	7880	47
9	7880	47
0	9	15
0	15	15
1	31	7
2	84	5
3	203	5
4	653	5
5	2719	5
6	4293	5
7	4957	5
8	5213	5
9	5326	5
10	5371	5
11	6626	5
12	6836	5
13	7040	5
14	7040	5
15	7452	5
16	7658	5
17	7658	5
18	7658	5
19	7760	5
20	7760	5
0	9258	5

Stop Event

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

Calls

Call 1

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

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

Symmetry

(negabs y)

Compiler

Compiled 15 to 9 computations (40% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

2.4MiB live, 2.4MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 15 to 9 computations (40% saved)

simplify530.0ms (9.7%)

Memory

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

Rules

36 560×	`lower-fma.f64`
36 560×	`lower-fma.f32`
4 512×	`lower-+.f32`
4 510×	`lower-+.f64`
3 672×	`lower-*.f32`

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)

localize39.0ms (0.7%)

Memory

-5.5MiB live, 33.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 x y)
accuracy	1.1093708716604118	(-.f64 (.f64 x y) (.f64 y z))
accuracy	5.006166489730912	(-.f64 (-.f64 (.f64 x y) (.f64 y z)) (*.f64 y y))
accuracy	18.94228239151379	(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))

Samples

11.0ms	186×	0	valid
9.0ms	69×	1	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: 12.0ms

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

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

adjust: 1.0ms (8.5% of total)

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

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

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

series10.0ms (0.2%)

Memory

20.8MiB live, 20.8MiB 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	x	@	-inf	((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y))

simplify133.0ms (2.5%)

Memory

-13.5MiB live, 104.4MiB allocated

Algorithm

1×	egg-herbie

Rules

8 280×	`lower-fma.f64`
8 280×	`lower-fma.f32`
2 270×	`lower-*.f64`
2 270×	`lower-*.f32`
1 468×	`lower-+.f64`

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)

rewrite309.0ms (5.7%)

Memory

-4.5MiB live, 326.4MiB allocated

Rules

12 002×	`lower-fma.f64`
12 002×	`lower-fma.f32`
5 170×	`lower-*.f32`
5 164×	`lower-*.f64`
3 244×	`lower-/.f64`

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>

eval123.0ms (2.3%)

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

prune20.0ms (0.4%)

Memory

4.8MiB live, 78.8MiB 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
▶	98.4%	(fma.f64 (neg.f64 z) y (*.f64 y x))
▶	100.0%	(*.f64 (-.f64 x z) y)
▶	56.1%	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 (neg.f64 z) y))
▶	50.5%	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 y x))

Compiler

Compiled 21 to 22 computations (-4.8% saved)

simplify508.0ms (9.3%)

Memory

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

Rules

34 952×	`lower-fma.f32`
34 950×	`lower-fma.f64`
4 432×	`lower-+.f64`
4 432×	`lower-+.f32`
3 580×	`lower-*.f32`

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

localize117.0ms (2.1%)

Memory

-9.7MiB live, 64.9MiB allocated

Localize:

Found 10 expressions of interest:

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

Samples

19.0ms	186×	0	valid
14.0ms	69×	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: 21.0ms

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

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

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

adjust: 2.0ms (9.6% of total)

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

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

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

series14.0ms (0.3%)

Memory

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

simplify200.0ms (3.7%)

Memory

5.7MiB live, 85.0MiB allocated

Algorithm

1×	egg-herbie

Rules

3 238×	`associate-/r*`
2 872×	`lower-/.f32`
2 872×	`lower-/.f64`
2 624×	`lower-fma.f64`
2 624×	`lower-fma.f32`

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)

rewrite301.0ms (5.5%)

Memory

-0.1MiB live, 362.0MiB allocated

Rules

10 172×	`lower-fma.f32`
10 170×	`lower-fma.f64`
4 506×	`lower-*.f32`
4 500×	`lower-*.f64`
3 478×	`lower-/.f64`

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>

eval213.0ms (3.9%)

Memory: 9.8MiB live, 243.0MiB allocated
Compiler: Compiled 18 873 to 993 computations (94.7% saved)

prune97.0ms (1.8%)

Memory

0.9MiB live, 73.6MiB 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
✓	98.4%	(fma.f64 (neg.f64 z) y (*.f64 y x))
✓	100.0%	(*.f64 (-.f64 x z) y)
✓	56.1%	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 (neg.f64 z) y))
✓	50.5%	#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 y x))

Compiler

Compiled 57 to 39 computations (31.6% saved)

regimes69.0ms (1.3%)

Memory

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

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

Results

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

Compiler

Compiled 18 to 18 computations (0% saved)

regimes7.0ms (0.1%)

Memory

14.3MiB live, 14.3MiB allocated

Counts

2 → 3

Calls

Call 1

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

Outputs

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
77.7%	3	`x`
60.8%	3	`y`
80.2%	3	`z`
60.0%	2	`(+.f64 (-.f64 (-.f64 (.f64 x y) (.f64 y z)) (.f64 y y)) (.f64 y y))`

Compiler

Compiled 18 to 18 computations (0% saved)

regimes5.0ms (0.1%)

Memory

14.0MiB live, 14.0MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 18 to 18 computations (0% saved)

bsearch93.0ms (1.7%)

Memory

-5.9MiB live, 77.4MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	1031470902.7145107	265361951242.38174
74.0ms	-1.3068112936162502e+48	-2.1176350136309103e+46

Samples

11.0ms	168×	0	valid
8.0ms	72×	1	valid

Compiler

Compiled 153 to 210 computations (-37.3% saved)

Precisions

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

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

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

adjust: 2.0ms (15.3% of total)

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

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

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

simplify65.0ms (1.2%)

Memory

-12.8MiB live, 63.2MiB allocated

Algorithm

1×	egg-herbie

Rules

14×	`-commutative-binary64-.f64`
8×	`+-commutative-binary64-+.f64`
8×	`sub-neg-binary64-neg.f64-+.f64--.f64`
6×	`neg-sub0-binary64--.f64-neg.f64`
6×	`neg-mul-1-binary64-*.f64-neg.f64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Calls

Call 1

Inputs

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

(if (<=.f64 z #s(literal -38999999999999999478922822356287950196530216960 binary64)) #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (*.f64 (neg.f64 z) y)) (if (<=.f64 z #s(literal 50000000000 binary64)) #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))

Outputs
(*.f64 (-.f64 x z) y)
(*.f64 y (-.f64 x z))
(if (<=.f64 z #s(literal -38999999999999999478922822356287950196530216960 binary64)) #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (.f64 (neg.f64 z) y)) (if (<=.f64 z #s(literal 50000000000 binary64)) #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))

soundness400.0ms (7.4%)

Memory

-25.2MiB live, 303.7MiB allocated

Rules

12 002×	`lower-fma.f64`
12 002×	`lower-fma.f32`
8 280×	`lower-fma.f64`
8 280×	`lower-fma.f32`
5 170×	`lower-*.f32`

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 68 to 40 computations (41.2% saved)

preprocess49.0ms (0.9%)

Memory: 14.3MiB live, 130.6MiB allocated
Remove: (negabs y)
Compiler: Compiled 122 to 80 computations (34.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample1.3s (24.4%)

explain277.0ms (5.1%)

preprocess532.0ms (9.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify530.0ms (9.7%)

localize39.0ms (0.7%)

series10.0ms (0.2%)

simplify133.0ms (2.5%)

rewrite309.0ms (5.7%)

eval123.0ms (2.3%)

prune20.0ms (0.4%)

simplify508.0ms (9.3%)

localize117.0ms (2.1%)

series14.0ms (0.3%)

simplify200.0ms (3.7%)

rewrite301.0ms (5.5%)

eval213.0ms (3.9%)

prune97.0ms (1.8%)

regimes69.0ms (1.3%)

regimes7.0ms (0.1%)

regimes5.0ms (0.1%)

bsearch93.0ms (1.7%)

simplify65.0ms (1.2%)

soundness400.0ms (7.4%)

preprocess49.0ms (0.9%)

end0.0ms (0%)

Profiling