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

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

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

sample2.0s (34.6%)

Memory

37.3MiB live, 1 907.4MiB allocated

Samples

918.0ms	5 720×	0	valid
638.0ms	2 498×	1	valid
6.0ms	38×	2	valid

Precisions

Click to see histograms. Total time spent on operations: 1.0s

ival-mult: 698.0ms (66.7% of total)

ival-sub: 176.0ms (16.8% of total)

ival-add: 101.0ms (9.7% of total)

adjust: 60.0ms (5.7% of total)

ival-true: 7.0ms (0.7% of total)

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

Bogosity

explain265.0ms (4.6%)

Memory

-52.1MiB live, 213.7MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
82	-	-	`(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))`
12	-	-	`(+.f64 (.f64 x y) (.f64 y y))`
7	-	-	`(-.f64 (+.f64 (.f64 x y) (.f64 y 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 y)) (.f64 y z)) (.f64 y y))`	nan-rescue	53	0
↳	`(-.f64 (+.f64 (.f64 x y) (.f64 y y)) (*.f64 y z))`	overflow	70
↳	`(+.f64 (.f64 x y) (.f64 y y))`	overflow	63
↳	`(*.f64 y z)`	overflow	23
↳	`(*.f64 y y)`	overflow	57
↳	`(*.f64 x y)`	overflow	30
↳	`(*.f64 y y)`	overflow	57
`-.f64`	`(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))`	cancellation	29	0
`+.f64`	`(+.f64 (.f64 x y) (.f64 y y))`	nan-rescue	12	0
↳	`(*.f64 x y)`	overflow	30
↳	`(*.f64 y y)`	overflow	57
`-.f64`	`(-.f64 (+.f64 (.f64 x y) (.f64 y y)) (*.f64 y z))`	nan-rescue	7	0
↳	`(+.f64 (.f64 x y) (.f64 y y))`	overflow	63
↳	`(*.f64 y y)`	overflow	57
↳	`(*.f64 x y)`	overflow	30
↳	`(*.f64 y z)`	overflow	23

Confusion

	Predicted +	Predicted -
+	87	0
-	0	169

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	87	0	0
-	0	0	169

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	169
1	75
2	10
3	2

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

59.0ms	372×	0	valid
19.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: 25.0ms

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

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

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

adjust: 3.0ms (12.1% of total)

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

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

preprocess313.0ms (5.4%)

Memory

32.0MiB live, 264.8MiB allocated

Algorithm

1×	egg-herbie

Rules

13 904×	`lower-fma.f64`
13 904×	`lower-fma.f32`
2 508×	`associate-+r-`
2 064×	`lower-+.f32`
2 064×	`lower--.f32`

Iterations

Useful iterations: 3 (0.0ms)

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

Stop Event

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

Calls

Call 1

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

Outputs
(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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
▶	66.5%	(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))

Compiler

Compiled 15 to 9 computations (40% saved)

simplify173.0ms (3%)

Memory

-37.2MiB live, 203.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Rules

13 904×	`lower-fma.f64`
13 904×	`lower-fma.f32`
2 064×	`lower-+.f32`
2 064×	`lower--.f32`
2 062×	`lower-+.f64`

Iterations

Useful iterations: 3 (0.0ms)

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

Stop Event

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

Calls

Call 1

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

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

localize48.0ms (0.8%)

Memory

13.4MiB live, 91.9MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 x y)
accuracy	1.3476500574906176	(+.f64 (.f64 x y) (.f64 y y))
accuracy	1.6054604933208232	(-.f64 (+.f64 (.f64 x y) (.f64 y y)) (*.f64 y z))
accuracy	18.215964672291047	(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))

Samples

28.0ms	69×	1	valid
13.0ms	186×	0	valid
0.0ms	1×	2	valid

Compiler

Compiled 47 to 11 computations (76.6% saved)

Precisions

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

ival-mult: 7.0ms (54.3% of total)

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

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

adjust: 1.0ms (7.8% of total)

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

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

series10.0ms (0.2%)

Memory

20.2MiB live, 20.2MiB allocated

Counts

4 → 120

Calls

Call 1

Inputs
#s(alt (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())
#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())
#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (+ (* x y) (pow y 2)) (taylor 0 z) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (* y z)) (+ (* x y) (pow y 2))) (taylor 0 z) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (* y z)) (+ (* x y) (pow y 2))) (taylor 0 z) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (* y z)) (+ (* x y) (pow y 2))) (taylor 0 z) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y z)) (taylor inf z) (#s(alt (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y z)) (taylor inf z) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* z (- (+ (/ (* x y) z) (/ (pow y 2) z)) y)) (taylor inf z) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* z (- (+ (/ (* x y) z) (/ (pow y 2) z)) y)) (taylor inf z) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* z (- (+ (/ (* x y) z) (/ (pow y 2) z)) y)) (taylor inf z) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y z)) (taylor -inf z) (#s(alt (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y z)) (taylor -inf z) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<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 y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<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 y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<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 y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* y (- x z)) (taylor 0 y) (#s(alt (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* y (- x z)) (taylor 0 y) (#s(alt (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* y (- x z)) (taylor 0 y) (#s(alt (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* y (- x z)) (taylor 0 y) (#s(alt (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* y (- x z)) (taylor 0 y) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* y (- (+ x y) z)) (taylor 0 y) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* y (- (+ x y) z)) (taylor 0 y) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* y (- (+ x y) z)) (taylor 0 y) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* y (+ x y)) (taylor 0 y) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* y (+ x y)) (taylor 0 y) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* y (+ x y)) (taylor 0 y) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y 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 (* 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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* y (- x z)) (taylor inf y) (#s(alt (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* y (- x z)) (taylor inf y) (#s(alt (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* y (- x z)) (taylor inf y) (#s(alt (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor inf y) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (+ 1 (/ x y)) (/ z y))) (taylor inf y) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (+ 1 (/ x y)) (/ z y))) (taylor inf y) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (- (+ 1 (/ x y)) (/ z y))) (taylor inf y) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor inf y) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (+ 1 (/ x y))) (taylor inf y) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y 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 (* 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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor -inf y) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (+ 1 (* -1 (/ (- (* -1 x) (* -1 z)) y)))) (taylor -inf y) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (+ 1 (* -1 (/ (- (* -1 x) (* -1 z)) y)))) (taylor -inf y) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (+ 1 (* -1 (/ (- (* -1 x) (* -1 z)) y)))) (taylor -inf y) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor -inf y) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (+ 1 (/ x y))) (taylor -inf y) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (+ 1 (/ x y))) (taylor -inf y) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* (pow y 2) (+ 1 (/ x y))) (taylor -inf y) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y 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 (* 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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (- (* x y) (* y z)) (taylor 0 x) (#s(alt (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (- (* x y) (* y z)) (taylor 0 x) (#s(alt (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (- (* x y) (* y z)) (taylor 0 x) (#s(alt (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (- (pow y 2) (* y z)) (taylor 0 x) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* x y) (pow y 2)) (* y z)) (taylor 0 x) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* x y) (pow y 2)) (* y z)) (taylor 0 x) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* x y) (pow y 2)) (* y z)) (taylor 0 x) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (pow y 2) (taylor 0 x) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (+ (* x y) (pow y 2)) (taylor 0 x) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (+ (* x y) (pow y 2)) (taylor 0 x) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (+ (* x y) (pow y 2)) (taylor 0 x) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y 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 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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x))) (taylor inf x) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x))) (taylor inf x) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x))) (taylor inf x) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ (pow y 2) x))) (taylor inf x) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ (pow y 2) x))) (taylor inf x) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ (pow y 2) x))) (taylor inf x) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y 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 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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.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 y)) (.f64 y z)) (.f64 y y)) (patch (-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ (- (pow y 2) (* y z)) x))))) (taylor -inf x) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ (- (pow y 2) (* y z)) x))))) (taylor -inf x) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ (- (pow y 2) (* y z)) x))))) (taylor -inf x) (#s(alt (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (patch (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ (pow y 2) x))))) (taylor -inf x) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ (pow y 2) x))))) (taylor -inf x) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y y)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ (pow y 2) x))))) (taylor -inf x) (#s(alt (+.f64 (.f64 x y) (.f64 y y)) (patch (+.f64 (.f64 x y) (.f64 y 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 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())

Calls

9 calls:

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

simplify131.0ms (2.3%)

Memory

-27.4MiB live, 170.1MiB allocated

Algorithm

1×	egg-herbie

Rules

8 148×	`lower-fma.f64`
8 148×	`lower-fma.f32`
2 966×	`lower-*.f64`
2 966×	`lower-*.f32`
1 494×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	75	789
1	247	707
2	703	671
3	2588	671
4	6888	671
0	8210	659

Stop Event

1×	iter limit
1×	node limit

Counts

120 → 120

Calls

Call 1

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

Outputs
(* 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 y x) y)
(+ (* -1 (* y z)) (+ (* x y) (pow y 2)))
(*.f64 (-.f64 (+.f64 y x) z) y)
(+ (* -1 (* y z)) (+ (* x y) (pow y 2)))
(*.f64 (-.f64 (+.f64 y x) z) y)
(+ (* -1 (* y z)) (+ (* x y) (pow y 2)))
(*.f64 (-.f64 (+.f64 y x) z) y)
(* -1 (* y z))
(*.f64 (neg.f64 z) y)
(* z (- (/ (* x y) z) y))
(.f64 (-.f64 (/.f64 (.f64 y x) z) y) z)
(* z (- (/ (* x y) z) y))
(.f64 (-.f64 (/.f64 (.f64 y x) z) y) z)
(* z (- (/ (* x y) z) y))
(.f64 (-.f64 (/.f64 (.f64 y x) z) y) z)
(* -1 (* y z))
(*.f64 (neg.f64 z) y)
(* z (- (+ (/ (* x y) z) (/ (pow y 2) z)) y))
(.f64 (.f64 y (-.f64 (/.f64 (+.f64 y x) z) #s(literal 1 binary64))) z)
(* z (- (+ (/ (* x y) z) (/ (pow y 2) z)) y))
(.f64 (.f64 y (-.f64 (/.f64 (+.f64 y x) z) #s(literal 1 binary64))) z)
(* z (- (+ (/ (* x y) z) (/ (pow y 2) z)) y))
(.f64 (.f64 y (-.f64 (/.f64 (+.f64 y x) z) #s(literal 1 binary64))) z)
(* -1 (* y z))
(*.f64 (neg.f64 z) y)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(.f64 (-.f64 (/.f64 (.f64 y x) z) y) z)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(.f64 (-.f64 (/.f64 (.f64 y x) z) y) z)
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y))))
(.f64 (-.f64 (/.f64 (.f64 y x) z) y) z)
(* -1 (* y z))
(*.f64 (neg.f64 z) y)
(* -1 (* z (- (* -1 (/ (+ (* x y) (pow y 2)) z)) (* -1 y))))
(.f64 (.f64 y (-.f64 (/.f64 (+.f64 y x) z) #s(literal 1 binary64))) z)
(* -1 (* z (- (* -1 (/ (+ (* x y) (pow y 2)) z)) (* -1 y))))
(.f64 (.f64 y (-.f64 (/.f64 (+.f64 y x) z) #s(literal 1 binary64))) z)
(* -1 (* z (- (* -1 (/ (+ (* x y) (pow y 2)) z)) (* -1 y))))
(.f64 (.f64 y (-.f64 (/.f64 (+.f64 y x) z) #s(literal 1 binary64))) 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 z))
(*.f64 (-.f64 x z) y)
(* y (- (+ x y) z))
(*.f64 (-.f64 (+.f64 y x) z) y)
(* y (- (+ x y) z))
(*.f64 (-.f64 (+.f64 y x) z) y)
(* y (- (+ x y) z))
(*.f64 (-.f64 (+.f64 y x) z) y)
(* x y)
(*.f64 y x)
(* y (+ x y))
(*.f64 (+.f64 y x) y)
(* y (+ x y))
(*.f64 (+.f64 y x) y)
(* y (+ x y))
(*.f64 (+.f64 y x) 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)
(pow y 2)
(*.f64 y y)
(* (pow y 2) (- (+ 1 (/ x y)) (/ z y)))
(*.f64 (fma.f64 (/.f64 (-.f64 x z) y) y y) y)
(* (pow y 2) (- (+ 1 (/ x y)) (/ z y)))
(*.f64 (fma.f64 (/.f64 (-.f64 x z) y) y y) y)
(* (pow y 2) (- (+ 1 (/ x y)) (/ z y)))
(*.f64 (fma.f64 (/.f64 (-.f64 x z) y) y y) y)
(pow y 2)
(*.f64 y y)
(* (pow y 2) (+ 1 (/ x y)))
(*.f64 (fma.f64 (/.f64 x y) y y) y)
(* (pow y 2) (+ 1 (/ x y)))
(*.f64 (fma.f64 (/.f64 x y) y y) y)
(* (pow y 2) (+ 1 (/ x y)))
(*.f64 (fma.f64 (/.f64 x y) y y) 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)
(pow y 2)
(*.f64 y y)
(* (pow y 2) (+ 1 (* -1 (/ (- (* -1 x) (* -1 z)) y))))
(*.f64 (fma.f64 (/.f64 (-.f64 x z) y) y y) y)
(* (pow y 2) (+ 1 (* -1 (/ (- (* -1 x) (* -1 z)) y))))
(*.f64 (fma.f64 (/.f64 (-.f64 x z) y) y y) y)
(* (pow y 2) (+ 1 (* -1 (/ (- (* -1 x) (* -1 z)) y))))
(*.f64 (fma.f64 (/.f64 (-.f64 x z) y) y y) y)
(pow y 2)
(*.f64 y y)
(* (pow y 2) (+ 1 (/ x y)))
(*.f64 (fma.f64 (/.f64 x y) y y) y)
(* (pow y 2) (+ 1 (/ x y)))
(*.f64 (fma.f64 (/.f64 x y) y y) y)
(* (pow y 2) (+ 1 (/ x y)))
(*.f64 (fma.f64 (/.f64 x y) y y) 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)
(- (pow y 2) (* y z))
(*.f64 (-.f64 y z) y)
(- (+ (* x y) (pow y 2)) (* y z))
(*.f64 (-.f64 (+.f64 y x) z) y)
(- (+ (* x y) (pow y 2)) (* y z))
(*.f64 (-.f64 (+.f64 y x) z) y)
(- (+ (* x y) (pow y 2)) (* y z))
(*.f64 (-.f64 (+.f64 y x) z) y)
(pow y 2)
(*.f64 y y)
(+ (* x y) (pow y 2))
(*.f64 (+.f64 y x) y)
(+ (* x y) (pow y 2))
(*.f64 (+.f64 y x) y)
(+ (* x y) (pow y 2))
(*.f64 (+.f64 y x) 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 (/ (pow y 2) x)) (/ (* y z) x)))
(*.f64 (-.f64 (+.f64 y x) z) y)
(* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x)))
(*.f64 (-.f64 (+.f64 y x) z) y)
(* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x)))
(*.f64 (-.f64 (+.f64 y x) z) y)
(* x y)
(*.f64 y x)
(* x (+ y (/ (pow y 2) x)))
(*.f64 (+.f64 y x) y)
(* x (+ y (/ (pow y 2) x)))
(*.f64 (+.f64 y x) y)
(* x (+ y (/ (pow y 2) x)))
(*.f64 (+.f64 y x) 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) (* -1 (/ (- (pow y 2) (* y z)) x)))))
(*.f64 (-.f64 (+.f64 y x) z) y)
(* -1 (* x (+ (* -1 y) (* -1 (/ (- (pow y 2) (* y z)) x)))))
(*.f64 (-.f64 (+.f64 y x) z) y)
(* -1 (* x (+ (* -1 y) (* -1 (/ (- (pow y 2) (* y z)) x)))))
(*.f64 (-.f64 (+.f64 y x) z) y)
(* x y)
(*.f64 y x)
(* -1 (* x (+ (* -1 y) (* -1 (/ (pow y 2) x)))))
(*.f64 (+.f64 y x) y)
(* -1 (* x (+ (* -1 y) (* -1 (/ (pow y 2) x)))))
(*.f64 (+.f64 y x) y)
(* -1 (* x (+ (* -1 y) (* -1 (/ (pow y 2) x)))))
(*.f64 (+.f64 y x) y)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)
(* x y)
(*.f64 y x)

rewrite189.0ms (3.3%)

Memory

24.7MiB live, 297.0MiB allocated

Rules

14 530×	`lower-fma.f64`
14 530×	`lower-fma.f32`
5 844×	`lower-*.f32`
5 838×	`lower-*.f64`
3 416×	`lower-/.f64`

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

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

Counts

4 → 336

Calls

Call 1

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

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

eval56.0ms (1%)

Memory: 5.2MiB live, 122.1MiB allocated
Compiler: Compiled 12 117 to 1 161 computations (90.4% saved)

prune9.0ms (0.2%)

Memory

-7.5MiB live, 30.9MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Accuracy

100.0%

Counts

457 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	88.4%	(fma.f64 y x (*.f64 y (-.f64 (-.f64 y z) y)))
▶	100.0%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y))
▶	50.3%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y))
▶	56.4%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x))

Compiler

Compiled 25 to 24 computations (4% saved)

simplify266.0ms (4.6%)

Memory

10.5MiB live, 296.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

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

Rules

15 760×	`lower-fma.f32`
15 758×	`lower-fma.f64`
2 888×	`lower-+.f64`
2 888×	`lower-+.f32`
2 888×	`lower--.f32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	21	112
0	30	95
1	67	83
2	140	83
3	314	71
4	759	71
5	2088	71
6	3365	71
7	3756	71
8	3827	71
9	3861	71
10	3867	71
11	4046	71
12	4118	71
13	4118	71
14	4118	71
15	7033	71
0	8134	71

Stop Event

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

Calls

Call 1

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

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

localize68.0ms (1.2%)

Memory

9.1MiB live, 127.4MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0	(-.f64 y z)
accuracy	0	(*.f64 y (-.f64 (-.f64 y z) y))
accuracy	0.24999724760556022	(fma.f64 y x (*.f64 y (-.f64 (-.f64 y z) y)))
accuracy	26.42183749287315	(-.f64 (-.f64 y z) y)
accuracy	0	(-.f64 x z)
accuracy	0	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y))
accuracy	0.0078125	(*.f64 (-.f64 x z) y)
accuracy	0	(*.f64 (neg.f64 z) y)
accuracy	0	(neg.f64 z)
accuracy	31.798167871372954	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y))
accuracy	0	(*.f64 y x)
accuracy	27.89314342034387	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x))

Samples

28.0ms	98×	1	valid
18.0ms	146×	0	valid
6.0ms	12×	2	valid

Compiler

Compiled 100 to 20 computations (80% saved)

Precisions

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

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

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

ival-add: 6.0ms (18.1% of total)

adjust: 5.0ms (15.1% of total)

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

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

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

series22.0ms (0.4%)

Memory

-5.6MiB live, 31.6MiB allocated

Counts

12 → 336

Calls

Call 1

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

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

Calls

9 calls:

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

simplify127.0ms (2.2%)

Memory

-13.7MiB live, 107.3MiB allocated

Algorithm

1×	egg-herbie

Rules

4 476×	`lower-fma.f64`
4 476×	`lower-fma.f32`
3 026×	`lower-*.f64`
3 026×	`lower-*.f32`
1 188×	`div-sub`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	72	1617
1	236	1317
2	600	1317
3	1796	1317
4	3565	1317
5	4696	1317
6	5954	1317
7	7593	1317
0	8057	1317

Stop Event

1×	iter limit
1×	node limit

Counts

336 → 330

Calls

Call 1

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

rewrite418.0ms (7.2%)

Memory

-1.6MiB live, 194.1MiB allocated

Rules

6 756×	`lower-fma.f32`
6 754×	`lower-fma.f64`
4 352×	`lower-/.f64`
4 352×	`lower-/.f32`
3 742×	`lower-*.f32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	102
0	30	95
1	151	83
2	1258	83
0	8309	83

Stop Event

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

Counts

12 → 385

Calls

Call 1

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

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>

eval91.0ms (1.6%)

Memory: 15.3MiB live, 204.4MiB allocated
Compiler: Compiled 13 456 to 1 474 computations (89% saved)

prune28.0ms (0.5%)

Memory

-14.7MiB live, 71.7MiB allocated

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	714	1	715
Fresh	0	0	0
Picked	1	3	4
Done	0	0	0
Total	715	4	719

Accuracy

100.0%

Counts

719 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(fma.f64 y x (*.f64 y #s(approx (- (- y z) y) (neg.f64 z))))
✓	100.0%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y))
✓	50.3%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y))
✓	56.4%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x))

Compiler

Compiled 23 to 24 computations (-4.3% saved)

simplify345.0ms (6%)

Memory

34.3MiB live, 214.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Rules

26 192×	`lower-fma.f32`
26 190×	`lower-fma.f64`
4 300×	`lower-+.f64`
4 300×	`lower-+.f32`
3 252×	`distribute-lft-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	9	36
0	13	35
1	27	35
2	47	35
3	85	26
4	167	26
5	325	26
6	855	26
7	2100	26
8	3408	26
9	3979	26
10	4385	26
11	4553	26
12	4581	26
13	4593	26
14	5455	26
15	5969	26
16	6345	26
17	6588	26
18	6644	26
19	6644	26
20	6700	26
21	6700	26
22	6700	26
0	8985	26

Stop Event

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

Calls

Call 1

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

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

localize36.0ms (0.6%)

Memory

-12.1MiB live, 61.7MiB allocated

Localize:

Found 4 expressions of interest:

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

Samples

12.0ms	99×	1	valid
9.0ms	146×	0	valid
2.0ms	11×	2	valid

Compiler

Compiled 30 to 11 computations (63.3% saved)

Precisions

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

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

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

adjust: 2.0ms (14.6% of total)

ival-add: 2.0ms (14.6% of total)

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

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

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

series6.0ms (0.1%)

Memory

10.2MiB live, 10.2MiB allocated

Counts

4 → 96

Calls

Call 1

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

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

Calls

9 calls:

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

simplify211.0ms (3.7%)

Memory

-26.1MiB live, 136.7MiB allocated

Algorithm

1×	egg-herbie

Rules

4 900×	`lower-fma.f64`
4 900×	`lower-fma.f32`
3 692×	`lower-*.f64`
3 692×	`lower-*.f32`
2 168×	`lower-/.f32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	30	429
1	106	339
2	277	339
3	635	339
4	1716	339
5	4012	339
6	4945	339
7	5402	339
8	5688	339
9	5803	339
10	5962	339
11	7893	339
0	8078	339

Stop Event

1×	iter limit
1×	node limit

Counts

96 → 96

Calls

Call 1

Inputs
(* 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)
(* -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 (* y z))
(* -1 (* y z))
(* -1 (* y z))
(* -1 (* y z))
(* -1 z)
(* -1 z)
(* -1 z)
(* -1 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 (* y z))
(* -1 (* y z))
(* -1 (* y z))
(* -1 (* y z))
(* -1 z)
(* -1 z)
(* -1 z)
(* -1 z)
(* -1 z)
(* -1 z)
(* -1 z)
(* -1 z)
(* y (+ x (* -1 z)))
(* y (+ x (* -1 z)))
(* y (+ x (* -1 z)))
(* y (+ x (* -1 z)))
(* -1 (* y z))
(* -1 (* y z))
(* -1 (* y z))
(* -1 (* y z))
(* -1 z)
(* -1 z)
(* -1 z)
(* -1 z)
(* y (+ x (* -1 z)))
(* y (+ x (* -1 z)))
(* y (+ x (* -1 z)))
(* y (+ x (* -1 z)))
(* -1 (* y z))
(* -1 (* y z))
(* -1 (* y z))
(* -1 (* y z))
(* -1 z)
(* -1 z)
(* -1 z)
(* -1 z)
(* -1 (* y (+ z (* -1 x))))
(* -1 (* y (+ z (* -1 x))))
(* -1 (* y (+ z (* -1 x))))
(* -1 (* y (+ z (* -1 x))))
(* -1 (* y z))
(* -1 (* y z))
(* -1 (* y z))
(* -1 (* y z))
(* -1 z)
(* -1 z)
(* -1 z)
(* -1 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)
(* -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)
(* -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 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 (* 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 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 (* 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 z)
(neg.f64 z)
(* -1 z)
(neg.f64 z)
(* -1 z)
(neg.f64 z)
(* -1 z)
(neg.f64 z)
(* 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 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)
(* 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 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 (* -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)
(* -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 (* 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)
(* -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)

rewrite220.0ms (3.8%)

Memory

8.9MiB live, 160.6MiB allocated

Rules

6 866×	`lower-fma.f32`
6 864×	`lower-fma.f64`
4 794×	`lower-*.f32`
4 792×	`lower-*.f64`
3 294×	`lower-/.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	33
0	13	32
1	62	32
2	513	32
3	7542	32
0	8752	32

Stop Event

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

Counts

4 → 109

Calls

Call 1

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

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>

eval45.0ms (0.8%)

Memory: -11.2MiB live, 70.1MiB allocated
Compiler: Compiled 3 693 to 367 computations (90.1% saved)

prune6.0ms (0.1%)

Memory

18.1MiB live, 18.1MiB allocated

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	205	0	205
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	205	4	209

Accuracy

100.0%

Counts

209 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(fma.f64 y x (*.f64 y #s(approx (- (- y z) y) (neg.f64 z))))
✓	100.0%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (-.f64 x z) y))
✓	50.3%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y))
✓	56.4%	#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x))

Compiler

Compiled 71 to 48 computations (32.4% saved)

regimes52.0ms (0.9%)

Memory

-15.3MiB live, 20.3MiB allocated

Counts

6 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Compiler

Compiled 18 to 18 computations (0% saved)

regimes7.0ms (0.1%)

Memory

16.5MiB live, 16.5MiB allocated

Counts

2 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
80.5%	3	`x`
62.6%	3	`y`
78.8%	3	`z`
64.0%	5	`(-.f64 (-.f64 (+.f64 (.f64 x y) (.f64 y y)) (.f64 y z)) (.f64 y y))`

Compiler

Compiled 18 to 18 computations (0% saved)

regimes33.0ms (0.6%)

Memory

-22.4MiB live, 15.9MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 18 to 18 computations (0% saved)

bsearch17.0ms (0.3%)

Memory

2.5MiB live, 39.2MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	1.1264988887873966e-13	1.9936361144978343e-13
5.0ms	-3.832107951222511e-46	-3.185809024433563e-46

Samples

7.0ms	77×	0	valid
4.0ms	35×	1	valid

Compiler

Compiled 81 to 106 computations (-30.9% saved)

Precisions

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

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

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

ival-sub: 1.0ms (12.5% of total)

adjust: 1.0ms (12.5% of total)

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

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

simplify28.0ms (0.5%)

Memory

17.3MiB live, 64.3MiB 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	23	106
1	33	106
2	42	106
3	49	106
4	52	106
5	53	106

Stop Event

1×

saturated

Calls

Call 1

Inputs

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

(if (<=.f64 x #s(literal -2442545827273665/6427752177035961102167848369364650410088811975131171341205504 binary64)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) (if (<=.f64 x #s(literal 7724745845140773/39614081257132168796771975168 binary64)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x))))

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

Outputs

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

(if (<=.f64 x #s(literal -2442545827273665/6427752177035961102167848369364650410088811975131171341205504 binary64)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x)) (if (<=.f64 x #s(literal 7724745845140773/39614081257132168796771975168 binary64)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 (neg.f64 z) y)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (*.f64 y x))))

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

soundness365.0ms (6.3%)

Memory

5.9MiB live, 205.6MiB allocated

Rules

8 148×	`lower-fma.f64`
8 148×	`lower-fma.f32`
2 966×	`lower-*.f64`
2 966×	`lower-*.f32`
1 494×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	75	789
1	247	707
2	703	671
3	2588	671
4	6888	671
0	8210	659

Stop Event

1×	done
1×	iter limit
1×	node limit

Compiler

Compiled 46 to 35 computations (23.9% saved)

preprocess190.0ms (3.3%)

Memory: -12.3MiB live, 66.4MiB allocated
Remove: (negabs y)
Compiler: Compiled 114 to 74 computations (35.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample2.0s (34.6%)

explain265.0ms (4.6%)

preprocess313.0ms (5.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify173.0ms (3%)

localize48.0ms (0.8%)

series10.0ms (0.2%)

simplify131.0ms (2.3%)

rewrite189.0ms (3.3%)

eval56.0ms (1%)

prune9.0ms (0.2%)

simplify266.0ms (4.6%)

localize68.0ms (1.2%)

series22.0ms (0.4%)

simplify127.0ms (2.2%)

rewrite418.0ms (7.2%)

eval91.0ms (1.6%)

prune28.0ms (0.5%)

simplify345.0ms (6%)

localize36.0ms (0.6%)

series6.0ms (0.1%)

simplify211.0ms (3.7%)

rewrite220.0ms (3.8%)

eval45.0ms (0.8%)

prune6.0ms (0.1%)

regimes52.0ms (0.9%)

regimes7.0ms (0.1%)

regimes33.0ms (0.6%)

bsearch17.0ms (0.3%)

simplify28.0ms (0.5%)

soundness365.0ms (6.3%)

preprocess190.0ms (3.3%)

end0.0ms (0%)

Profiling