Details

analyze865.0ms (7%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
28.1%	28.1%	71.8%	0.1%	0%	0%	0%	9
36.7%	34.3%	59.3%	0.1%	6.2%	0%	0%	10
44.2%	40.6%	51.3%	0.1%	8%	0%	0%	11
52.6%	48%	43.2%	0.1%	8.7%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample5.0s (40.9%)

Results

3.6s	8256×	body	256	valid
1.3s	1299×	body	256	infinite

Bogosity

preprocess306.0ms (2.5%)

Algorithm

2×	egg-herbie

Rules

1062×	`rational_best-simplify-65`
976×	`rational_best-simplify-49`
792×	`rational_best-simplify-75`
716×	`rational_best-simplify-53`
522×	`rational_best-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	76
1	33	76
2	44	76
3	63	76
4	81	76
5	120	76
6	189	76
7	410	76
8	1131	76
9	3141	76
0	3	3

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify459.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1590×	`rational_best-simplify-83`
1400×	`rational_best-simplify-108`
568×	`rational_best-simplify-50`
550×	`rational_best-simplify-3`
516×	`rational_best-simplify-57`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	13	19
2	18	19
3	25	19
4	32	19
5	45	19
6	68	19
7	144	19
8	371	19
9	1169	19
10	3413	19
11	6953	19

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 10 to 6 computations (40% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 x (*.f64 (-.f64 y x) z))

Compiler

Compiled 10 to 6 computations (40% saved)

localize35.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (-.f64 y x) z)

Compiler

Compiled 21 to 6 computations (71.4% saved)

series5.0ms (0%)

Counts

1 → 24

Calls

9 calls:

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

rewrite592.0ms (4.8%)

Algorithm

1×	batch-egg-rewrite

Rules

672×	`rational_best-simplify-79`
664×	`rational_best-simplify-1`
624×	`rational_best-simplify-83`
564×	`rational_best-simplify-80`
542×	`rational_best-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	45	13
2	91	13
3	252	13
4	991	13
5	6519	13

Stop Event

1×	node limit

Counts

1 → 86

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 y x) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (-.f64 y x) z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 y x) (.f64 z 1/2)) (.f64 (-.f64 y x) (.f64 z 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (.f64 (-.f64 y x) (.f64 z 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (/.f64 (.f64 -3 (.f64 (-.f64 y x) (/.f64 z -2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (/.f64 (.f64 (-.f64 y x) (.f64 z 3)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (-.f64 y x) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 z (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (-.f64 y x) (.f64 z 1/2)) (.f64 (-.f64 y x) (/.f64 z -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (.f64 (-.f64 y x) (.f64 z 1/2))) (neg.f64 (.f64 (-.f64 y x) (/.f64 z 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 -3 (.f64 (-.f64 y x) (/.f64 z -2))) 2) (/.f64 (.f64 (-.f64 y x) (/.f64 z -2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (-.f64 y x) (.f64 z 3)) 4) (/.f64 (.f64 z (-.f64 x y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 y x) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 y x) (+.f64 z z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (-.f64 x y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 y x) (.f64 z 1/2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 y x) (.f64 z 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x y) (.f64 z 4)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 z 4) (.f64 (-.f64 y x) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 y x) (.f64 2 (.f64 z 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 y x) (/.f64 z -1/2)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 (-.f64 x y) (.f64 z 4)) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x y) (.f64 2 (.f64 z 4))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (-.f64 y x) (/.f64 z -1/2)) (.f64 (-.f64 y x) (/.f64 z -1/2))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (-.f64 x y) (.f64 z 4)) (.f64 (-.f64 x y) (.f64 z 4))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (-.f64 y x) (.f64 2 (.f64 z 4))) (.f64 (-.f64 y x) (.f64 2 (.f64 z 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (.f64 z 4) (.f64 (-.f64 y x) 4)) (.f64 (.f64 z 4) (.f64 (-.f64 y x) 4))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (-.f64 y x) 4) (.f64 4 (.f64 z 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 z 4) (.f64 4 (-.f64 x y))) -16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x y) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (.f64 z 4)))) -16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 (-.f64 y x) -2) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (.f64 z 4)))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 y x) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (.f64 z 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 y x) (neg.f64 (.f64 2 (.f64 z 4)))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (neg.f64 (.f64 2 (.f64 (-.f64 y x) 4)))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (+.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (neg.f64 (.f64 (-.f64 y x) 4)))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 y 4)))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 2 (+.f64 y x))))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (-.f64 (.f64 2 (+.f64 y x)) (.f64 y 4))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (.f64 2 (.f64 y 4)))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (-.f64 y x) 1/2) (neg.f64 z)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (-.f64 y x) 1/2) (/.f64 z -1/2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (-.f64 y x) 4) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (.f64 z 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 z z) (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 z 4) (+.f64 (.f64 2 (.f64 (-.f64 y x) 4)) (.f64 2 (.f64 (-.f64 y x) 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 2 (.f64 z 4)) (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (.f64 z 4))) (+.f64 (.f64 2 (.f64 (-.f64 y x) 4)) (.f64 2 (.f64 (-.f64 y x) 4)))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 2 (.f64 (-.f64 y x) 4)) (.f64 2 (.f64 (-.f64 y x) 4))) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (.f64 z 4)))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4)) (.f64 2 (.f64 z 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (+.f64 (.f64 2 (.f64 (-.f64 y x) 4)) (.f64 2 (.f64 (-.f64 y x) 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4)) (+.f64 z z)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (neg.f64 (.f64 x 4)) (.f64 y 4)) (.f64 z 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 2 (.f64 y 4)) (.f64 2 (.f64 2 (+.f64 y x)))) (.f64 z 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 2 (+.f64 y x)) (.f64 x 4)) (+.f64 z z)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (.f64 (+.f64 x x) 4)) (.f64 z 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 z z) (-.f64 (.f64 2 (+.f64 y x)) (.f64 x 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 z 4) (+.f64 (neg.f64 (.f64 x 4)) (.f64 y 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 z 4) (-.f64 (.f64 2 (.f64 y 4)) (.f64 2 (.f64 2 (+.f64 y x))))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 z 4) (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (.f64 (+.f64 x x) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (.f64 2 (.f64 (-.f64 y x) 4))) (neg.f64 (.f64 2 (.f64 z 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (neg.f64 (.f64 (-.f64 y x) 4))) (neg.f64 (.f64 2 (.f64 z 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 y 4))) (neg.f64 (.f64 2 (.f64 z 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 2 (+.f64 y x)))) (neg.f64 (.f64 z 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 2 (+.f64 y x)) (.f64 y 4)) (/.f64 z -1/2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (.f64 2 (.f64 y 4))) (neg.f64 (.f64 z 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (neg.f64 (.f64 x 4)) (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4))) (+.f64 z z)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (+.f64 (.f64 x -2) (.f64 y 4)) (.f64 x -2)) z) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)) (neg.f64 (.f64 x 4))) (+.f64 z z)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)) (.f64 x 4)) (+.f64 z z)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (+.f64 (+.f64 (.f64 x -2) (.f64 y 4)) (.f64 x -2))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 z z) (+.f64 (neg.f64 (.f64 x 4)) (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 z z) (+.f64 (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)) (neg.f64 (.f64 x 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)) (.f64 x 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4)) (.f64 z 1/2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (neg.f64 (.f64 (-.f64 y x) 4))) (/.f64 z -1/2)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (.f64 (-.f64 y x) 4)) (/.f64 z -1/2)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 y 4))) (/.f64 z -1/2)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 z -1/2) (-.f64 (.f64 2 (+.f64 y x)) (.f64 y 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (.f64 z 4)) (neg.f64 (.f64 (-.f64 y x) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (.f64 z 4)) (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 2 (+.f64 y x))))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (.f64 z 4)) (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (.f64 2 (.f64 y 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (.f64 2 (.f64 z 4))) (neg.f64 (.f64 2 (.f64 (-.f64 y x) 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (.f64 2 (.f64 z 4))) (+.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (neg.f64 (.f64 (-.f64 y x) 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (.f64 2 (.f64 z 4))) (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 y 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 z 1/2) (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (-.f64 y x) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 z (-.f64 x y)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 y x) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (-.f64 y x) z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 y x) (*.f64 z 1/2)) (*.f64 (-.f64 y x) (*.f64 z 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 y x) (/.f64 z 4)) (+.f64 (*.f64 (-.f64 y x) (/.f64 z 4)) (*.f64 (-.f64 y x) (*.f64 z 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 y x) (/.f64 z 4)) (/.f64 (*.f64 -3 (*.f64 (-.f64 y x) (/.f64 z -2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 y x) (/.f64 z 4)) (/.f64 (*.f64 (-.f64 y x) (*.f64 z 3)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (-.f64 y x) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 z (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (-.f64 y x) (*.f64 z 1/2)) (*.f64 (-.f64 y x) (/.f64 z -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 (-.f64 y x) (/.f64 z 4)) (*.f64 (-.f64 y x) (*.f64 z 1/2))) (neg.f64 (*.f64 (-.f64 y x) (/.f64 z 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 -3 (*.f64 (-.f64 y x) (/.f64 z -2))) 2) (/.f64 (*.f64 (-.f64 y x) (/.f64 z -2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (-.f64 y x) (*.f64 z 3)) 4) (/.f64 (*.f64 z (-.f64 x y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y x) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y x) (+.f64 z z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 x y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y x) (*.f64 z 1/2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y x) (*.f64 z 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x y) (*.f64 z 4)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 z 4) (*.f64 (-.f64 y x) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y x) (*.f64 2 (*.f64 z 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y x) (/.f64 z -1/2)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (-.f64 x y) (*.f64 z 4)) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x y) (*.f64 2 (*.f64 z 4))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (-.f64 y x) (/.f64 z -1/2)) (*.f64 (-.f64 y x) (/.f64 z -1/2))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (-.f64 x y) (*.f64 z 4)) (*.f64 (-.f64 x y) (*.f64 z 4))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (-.f64 y x) (*.f64 2 (*.f64 z 4))) (*.f64 (-.f64 y x) (*.f64 2 (*.f64 z 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (*.f64 z 4) (*.f64 (-.f64 y x) 4)) (*.f64 (*.f64 z 4) (*.f64 (-.f64 y x) 4))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (-.f64 y x) 4) (*.f64 4 (*.f64 z 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 z 4) (*.f64 4 (-.f64 x y))) -16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x y) (+.f64 (*.f64 2 (*.f64 z 4)) (*.f64 2 (*.f64 z 4)))) -16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 (-.f64 y x) -2) (+.f64 (*.f64 2 (*.f64 z 4)) (*.f64 2 (*.f64 z 4)))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y x) (+.f64 (*.f64 2 (*.f64 z 4)) (*.f64 2 (*.f64 z 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y x) (neg.f64 (*.f64 2 (*.f64 z 4)))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (neg.f64 (*.f64 2 (*.f64 (-.f64 y x) 4)))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (+.f64 (neg.f64 (*.f64 (-.f64 y x) 4)) (neg.f64 (*.f64 (-.f64 y x) 4)))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 (*.f64 (+.f64 x x) 4) (*.f64 2 (*.f64 y 4)))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 (*.f64 (+.f64 x x) 4) (*.f64 2 (*.f64 2 (+.f64 y x))))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 (*.f64 2 (+.f64 y x)) (*.f64 y 4))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 (*.f64 2 (*.f64 2 (+.f64 y x))) (*.f64 2 (*.f64 y 4)))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (-.f64 y x) 1/2) (neg.f64 z)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (-.f64 y x) 1/2) (/.f64 z -1/2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (-.f64 y x) 4) (+.f64 (*.f64 2 (*.f64 z 4)) (*.f64 2 (*.f64 z 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 z z) (-.f64 (*.f64 2 (*.f64 y 4)) (*.f64 (+.f64 x x) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 z 4) (+.f64 (*.f64 2 (*.f64 (-.f64 y x) 4)) (*.f64 2 (*.f64 (-.f64 y x) 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (*.f64 z 4)) (-.f64 (*.f64 2 (*.f64 y 4)) (*.f64 (+.f64 x x) 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 2 (*.f64 z 4)) (*.f64 2 (*.f64 z 4))) (+.f64 (*.f64 2 (*.f64 (-.f64 y x) 4)) (*.f64 2 (*.f64 (-.f64 y x) 4)))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 2 (*.f64 (-.f64 y x) 4)) (*.f64 2 (*.f64 (-.f64 y x) 4))) (+.f64 (*.f64 2 (*.f64 z 4)) (*.f64 2 (*.f64 z 4)))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 2 (*.f64 y 4)) (*.f64 (+.f64 x x) 4)) (*.f64 2 (*.f64 z 4))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (+.f64 (*.f64 2 (*.f64 (-.f64 y x) 4)) (*.f64 2 (*.f64 (-.f64 y x) 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 2 (*.f64 y 4)) (*.f64 (+.f64 x x) 4)) (+.f64 z z)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (neg.f64 (*.f64 x 4)) (*.f64 y 4)) (*.f64 z 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 2 (*.f64 y 4)) (*.f64 2 (*.f64 2 (+.f64 y x)))) (*.f64 z 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 2 (+.f64 y x)) (*.f64 x 4)) (+.f64 z z)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 2 (*.f64 2 (+.f64 y x))) (*.f64 (+.f64 x x) 4)) (*.f64 z 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 z z) (-.f64 (*.f64 2 (+.f64 y x)) (*.f64 x 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 z 4) (+.f64 (neg.f64 (*.f64 x 4)) (*.f64 y 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 z 4) (-.f64 (*.f64 2 (*.f64 y 4)) (*.f64 2 (*.f64 2 (+.f64 y x))))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 z 4) (-.f64 (*.f64 2 (*.f64 2 (+.f64 y x))) (*.f64 (+.f64 x x) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (*.f64 2 (*.f64 (-.f64 y x) 4))) (neg.f64 (*.f64 2 (*.f64 z 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (neg.f64 (*.f64 (-.f64 y x) 4)) (neg.f64 (*.f64 (-.f64 y x) 4))) (neg.f64 (*.f64 2 (*.f64 z 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 (+.f64 x x) 4) (*.f64 2 (*.f64 y 4))) (neg.f64 (*.f64 2 (*.f64 z 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 (+.f64 x x) 4) (*.f64 2 (*.f64 2 (+.f64 y x)))) (neg.f64 (*.f64 z 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 2 (+.f64 y x)) (*.f64 y 4)) (/.f64 z -1/2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 2 (*.f64 2 (+.f64 y x))) (*.f64 2 (*.f64 y 4))) (neg.f64 (*.f64 z 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (neg.f64 (*.f64 x 4)) (+.f64 (*.f64 (-.f64 y x) 4) (*.f64 y 4))) (+.f64 z z)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (+.f64 (*.f64 x -2) (*.f64 y 4)) (*.f64 x -2)) z) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (+.f64 (*.f64 (-.f64 y x) 4) (*.f64 y 4)) (neg.f64 (*.f64 x 4))) (+.f64 z z)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (+.f64 (*.f64 (-.f64 y x) 4) (*.f64 y 4)) (*.f64 x 4)) (+.f64 z z)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (+.f64 (+.f64 (*.f64 x -2) (*.f64 y 4)) (*.f64 x -2))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 z z) (+.f64 (neg.f64 (*.f64 x 4)) (+.f64 (*.f64 (-.f64 y x) 4) (*.f64 y 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 z z) (+.f64 (+.f64 (*.f64 (-.f64 y x) 4) (*.f64 y 4)) (neg.f64 (*.f64 x 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 z z) (-.f64 (+.f64 (*.f64 (-.f64 y x) 4) (*.f64 y 4)) (*.f64 x 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 2 (*.f64 y 4)) (*.f64 (+.f64 x x) 4)) (*.f64 z 1/2)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (neg.f64 (*.f64 (-.f64 y x) 4)) (neg.f64 (*.f64 (-.f64 y x) 4))) (/.f64 z -1/2)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (neg.f64 (*.f64 (-.f64 y x) 4)) (*.f64 (-.f64 y x) 4)) (/.f64 z -1/2)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 (+.f64 x x) 4) (*.f64 2 (*.f64 y 4))) (/.f64 z -1/2)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 z -1/2) (-.f64 (*.f64 2 (+.f64 y x)) (*.f64 y 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (*.f64 z 4)) (neg.f64 (*.f64 (-.f64 y x) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (*.f64 z 4)) (-.f64 (*.f64 (+.f64 x x) 4) (*.f64 2 (*.f64 2 (+.f64 y x))))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (*.f64 z 4)) (-.f64 (*.f64 2 (*.f64 2 (+.f64 y x))) (*.f64 2 (*.f64 y 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (*.f64 2 (*.f64 z 4))) (neg.f64 (*.f64 2 (*.f64 (-.f64 y x) 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (*.f64 2 (*.f64 z 4))) (+.f64 (neg.f64 (*.f64 (-.f64 y x) 4)) (neg.f64 (*.f64 (-.f64 y x) 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (*.f64 2 (*.f64 z 4))) (-.f64 (*.f64 (+.f64 x x) 4) (*.f64 2 (*.f64 y 4)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 z 1/2) (-.f64 (*.f64 2 (*.f64 y 4)) (*.f64 (+.f64 x x) 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (-.f64 y x) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 z (-.f64 x y)))))))

simplify492.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1106×	`rational_best-simplify-55`
918×	`rational_best-simplify-48`
770×	`rational_best-simplify-63`
760×	`rational_best-simplify-47`
740×	`rational_best-simplify-52`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	246	2822
1	569	2660
2	1439	2528
3	4051	2504

Stop Event

1×	node limit

Counts

110 → 160

Calls

Call 1

Inputs
(.f64 -1 (.f64 z x))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(.f64 -1 (.f64 z x))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(.f64 -1 (.f64 z x))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (*.f64 (-.f64 y x) z) 0)
(+.f64 0 (*.f64 (-.f64 y x) z))
(+.f64 (.f64 (-.f64 y x) (.f64 z 1/2)) (.f64 (-.f64 y x) (.f64 z 1/2)))
(+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (.f64 (-.f64 y x) (.f64 z 1/2))))
(+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (/.f64 (.f64 -3 (*.f64 (-.f64 y x) (/.f64 z -2))) 2))
(+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (/.f64 (.f64 (-.f64 y x) (*.f64 z 3)) 4))
(-.f64 (*.f64 (-.f64 y x) z) 0)
(-.f64 0 (*.f64 z (-.f64 x y)))
(-.f64 (.f64 (-.f64 y x) (.f64 z 1/2)) (*.f64 (-.f64 y x) (/.f64 z -2)))
(-.f64 (+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (.f64 (-.f64 y x) (.f64 z 1/2))) (neg.f64 (.f64 (-.f64 y x) (/.f64 z 4))))
(-.f64 (/.f64 (.f64 -3 (.f64 (-.f64 y x) (/.f64 z -2))) 2) (/.f64 (*.f64 (-.f64 y x) (/.f64 z -2)) 2))
(-.f64 (/.f64 (.f64 (-.f64 y x) (.f64 z 3)) 4) (/.f64 (*.f64 z (-.f64 x y)) 4))
(/.f64 (*.f64 (-.f64 y x) z) 1)
(/.f64 (*.f64 (-.f64 y x) (+.f64 z z)) 2)
(/.f64 (*.f64 z (-.f64 x y)) -1)
(/.f64 (.f64 (-.f64 y x) (.f64 z 1/2)) 1/2)
(/.f64 (.f64 (-.f64 y x) (.f64 z 4)) 4)
(/.f64 (.f64 (-.f64 x y) (.f64 z 4)) -4)
(/.f64 (.f64 (.f64 z 4) (*.f64 (-.f64 y x) 4)) 16)
(/.f64 (.f64 (-.f64 y x) (.f64 2 (*.f64 z 4))) 8)
(/.f64 (*.f64 (-.f64 y x) (/.f64 z -1/2)) -2)
(/.f64 (/.f64 (.f64 (-.f64 x y) (.f64 z 4)) 2) -2)
(/.f64 (.f64 (-.f64 x y) (.f64 2 (*.f64 z 4))) -8)
(/.f64 (+.f64 (.f64 (-.f64 y x) (/.f64 z -1/2)) (.f64 (-.f64 y x) (/.f64 z -1/2))) -4)
(/.f64 (+.f64 (.f64 (-.f64 x y) (.f64 z 4)) (.f64 (-.f64 x y) (.f64 z 4))) -8)
(/.f64 (+.f64 (.f64 (-.f64 y x) (.f64 2 (.f64 z 4))) (.f64 (-.f64 y x) (.f64 2 (.f64 z 4)))) 16)
(/.f64 (+.f64 (.f64 (.f64 z 4) (.f64 (-.f64 y x) 4)) (.f64 (.f64 z 4) (.f64 (-.f64 y x) 4))) 32)
(/.f64 (.f64 (.f64 (-.f64 y x) 4) (.f64 4 (.f64 z 4))) 64)
(/.f64 (.f64 (.f64 z 4) (*.f64 4 (-.f64 x y))) -16)
(/.f64 (.f64 (-.f64 x y) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (*.f64 z 4)))) -16)
(/.f64 (.f64 (/.f64 (-.f64 y x) -2) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (*.f64 z 4)))) -8)
(/.f64 (.f64 (-.f64 y x) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (*.f64 z 4)))) 16)
(/.f64 (.f64 (-.f64 y x) (neg.f64 (.f64 2 (*.f64 z 4)))) -8)
(/.f64 (.f64 z (neg.f64 (.f64 2 (*.f64 (-.f64 y x) 4)))) -8)
(/.f64 (.f64 z (+.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (neg.f64 (*.f64 (-.f64 y x) 4)))) -8)
(/.f64 (.f64 z (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 y 4)))) -8)
(/.f64 (.f64 z (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 2 (+.f64 y x))))) -4)
(/.f64 (.f64 z (-.f64 (.f64 2 (+.f64 y x)) (*.f64 y 4))) -2)
(/.f64 (.f64 z (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (.f64 2 (*.f64 y 4)))) -4)
(/.f64 (.f64 (.f64 (-.f64 y x) 1/2) (neg.f64 z)) -1/2)
(/.f64 (.f64 (.f64 (-.f64 y x) 1/2) (/.f64 z -1/2)) -1)
(/.f64 (.f64 (.f64 (-.f64 y x) 4) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (.f64 z 4)))) 64)
(/.f64 (.f64 (+.f64 z z) (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4))) 16)
(/.f64 (.f64 (.f64 z 4) (+.f64 (.f64 2 (.f64 (-.f64 y x) 4)) (.f64 2 (.f64 (-.f64 y x) 4)))) 64)
(/.f64 (.f64 (.f64 2 (.f64 z 4)) (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4))) 64)
(/.f64 (.f64 (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (.f64 z 4))) (+.f64 (.f64 2 (.f64 (-.f64 y x) 4)) (.f64 2 (*.f64 (-.f64 y x) 4)))) 256)
(/.f64 (.f64 (+.f64 (.f64 2 (.f64 (-.f64 y x) 4)) (.f64 2 (.f64 (-.f64 y x) 4))) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (*.f64 z 4)))) 256)
(/.f64 (.f64 (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4)) (.f64 2 (.f64 z 4))) 64)
(/.f64 (.f64 z (+.f64 (.f64 2 (.f64 (-.f64 y x) 4)) (.f64 2 (*.f64 (-.f64 y x) 4)))) 16)
(/.f64 (.f64 (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4)) (+.f64 z z)) 16)
(/.f64 (.f64 (+.f64 (neg.f64 (.f64 x 4)) (.f64 y 4)) (.f64 z 4)) 16)
(/.f64 (.f64 (-.f64 (.f64 2 (.f64 y 4)) (.f64 2 (.f64 2 (+.f64 y x)))) (.f64 z 4)) 16)
(/.f64 (.f64 (-.f64 (.f64 2 (+.f64 y x)) (*.f64 x 4)) (+.f64 z z)) 4)
(/.f64 (.f64 (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (.f64 (+.f64 x x) 4)) (*.f64 z 4)) 16)
(/.f64 (.f64 (+.f64 z z) (-.f64 (.f64 2 (+.f64 y x)) (*.f64 x 4))) 4)
(/.f64 (.f64 (.f64 z 4) (+.f64 (neg.f64 (.f64 x 4)) (.f64 y 4))) 16)
(/.f64 (.f64 (.f64 z 4) (-.f64 (.f64 2 (.f64 y 4)) (.f64 2 (.f64 2 (+.f64 y x))))) 16)
(/.f64 (.f64 (.f64 z 4) (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (*.f64 (+.f64 x x) 4))) 16)
(/.f64 (.f64 (neg.f64 (.f64 2 (.f64 (-.f64 y x) 4))) (neg.f64 (.f64 2 (*.f64 z 4)))) 64)
(/.f64 (.f64 (+.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (neg.f64 (.f64 (-.f64 y x) 4))) (neg.f64 (.f64 2 (*.f64 z 4)))) 64)
(/.f64 (.f64 (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 y 4))) (neg.f64 (.f64 2 (.f64 z 4)))) 64)
(/.f64 (.f64 (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 2 (+.f64 y x)))) (neg.f64 (*.f64 z 4))) 16)
(/.f64 (.f64 (-.f64 (.f64 2 (+.f64 y x)) (*.f64 y 4)) (/.f64 z -1/2)) 4)
(/.f64 (.f64 (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (.f64 2 (.f64 y 4))) (neg.f64 (.f64 z 4))) 16)
(/.f64 (.f64 (+.f64 (neg.f64 (.f64 x 4)) (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4))) (+.f64 z z)) 16)
(/.f64 (.f64 (+.f64 (+.f64 (.f64 x -2) (.f64 y 4)) (.f64 x -2)) z) 4)
(/.f64 (.f64 (+.f64 (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)) (neg.f64 (.f64 x 4))) (+.f64 z z)) 16)
(/.f64 (.f64 (-.f64 (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)) (.f64 x 4)) (+.f64 z z)) 16)
(/.f64 (.f64 z (+.f64 (+.f64 (.f64 x -2) (.f64 y 4)) (.f64 x -2))) 4)
(/.f64 (.f64 (+.f64 z z) (+.f64 (neg.f64 (.f64 x 4)) (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)))) 16)
(/.f64 (.f64 (+.f64 z z) (+.f64 (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)) (neg.f64 (.f64 x 4)))) 16)
(/.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)) (.f64 x 4))) 16)
(/.f64 (.f64 (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4)) (*.f64 z 1/2)) 4)
(/.f64 (.f64 (+.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (neg.f64 (*.f64 (-.f64 y x) 4))) (/.f64 z -1/2)) 16)
(/.f64 (.f64 (-.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (*.f64 (-.f64 y x) 4)) (/.f64 z -1/2)) 16)
(/.f64 (.f64 (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 y 4))) (/.f64 z -1/2)) 16)
(/.f64 (.f64 (/.f64 z -1/2) (-.f64 (.f64 2 (+.f64 y x)) (*.f64 y 4))) 4)
(/.f64 (.f64 (neg.f64 (.f64 z 4)) (neg.f64 (*.f64 (-.f64 y x) 4))) 16)
(/.f64 (.f64 (neg.f64 (.f64 z 4)) (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (*.f64 2 (+.f64 y x))))) 16)
(/.f64 (.f64 (neg.f64 (.f64 z 4)) (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (.f64 2 (.f64 y 4)))) 16)
(/.f64 (.f64 (neg.f64 (.f64 2 (.f64 z 4))) (neg.f64 (.f64 2 (*.f64 (-.f64 y x) 4)))) 64)
(/.f64 (.f64 (neg.f64 (.f64 2 (.f64 z 4))) (+.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (neg.f64 (*.f64 (-.f64 y x) 4)))) 64)
(/.f64 (.f64 (neg.f64 (.f64 2 (.f64 z 4))) (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 y 4)))) 64)
(/.f64 (.f64 (.f64 z 1/2) (-.f64 (.f64 2 (.f64 y 4)) (*.f64 (+.f64 x x) 4))) 4)
(pow.f64 (*.f64 (-.f64 y x) z) 1)
(neg.f64 (*.f64 z (-.f64 x y)))

Outputs
(.f64 -1 (.f64 z x))
(*.f64 x (neg.f64 z))
(*.f64 z (neg.f64 x))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(*.f64 y z)
(*.f64 z y)
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(*.f64 y z)
(*.f64 z y)
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(*.f64 y z)
(*.f64 z y)
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(.f64 -1 (.f64 z x))
(*.f64 x (neg.f64 z))
(*.f64 z (neg.f64 x))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(.f64 -1 (.f64 z x))
(*.f64 x (neg.f64 z))
(*.f64 z (neg.f64 x))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(+.f64 (.f64 y z) (.f64 -1 (*.f64 z x)))
(+.f64 (.f64 x (neg.f64 z)) (.f64 z y))
(+.f64 (.f64 z (neg.f64 x)) (.f64 z y))
(+.f64 (*.f64 (-.f64 y x) z) 0)
(*.f64 z (-.f64 y x))
(+.f64 0 (*.f64 (-.f64 y x) z))
(*.f64 z (-.f64 y x))
(+.f64 (.f64 (-.f64 y x) (.f64 z 1/2)) (.f64 (-.f64 y x) (.f64 z 1/2)))
(*.f64 z (-.f64 y x))
(+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (.f64 (-.f64 y x) (.f64 z 1/2))))
(+.f64 (.f64 (-.f64 y x) (.f64 z 1/2)) (+.f64 (.f64 z (/.f64 (-.f64 y x) 4)) (.f64 z (/.f64 (-.f64 y x) 4))))
(+.f64 (.f64 z (.f64 (-.f64 y x) 1/2)) (*.f64 (/.f64 (-.f64 y x) 4) (+.f64 z z)))
(+.f64 (.f64 z (.f64 (-.f64 y x) 1/2)) (*.f64 (-.f64 y x) (/.f64 (+.f64 z z) 4)))
(+.f64 (.f64 z (.f64 (-.f64 y x) 1/2)) (.f64 (.f64 (-.f64 y x) (/.f64 z 4)) 2))
(+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (/.f64 (.f64 -3 (*.f64 (-.f64 y x) (/.f64 z -2))) 2))
(+.f64 (.f64 z (/.f64 (-.f64 y x) 4)) (/.f64 (.f64 -3 (*.f64 z (/.f64 (-.f64 y x) -2))) 2))
(+.f64 (.f64 z (/.f64 (-.f64 y x) 4)) (/.f64 (.f64 (/.f64 (-.f64 y x) -2) (*.f64 z -3)) 2))
(+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (/.f64 (.f64 -3 (*.f64 z (neg.f64 (-.f64 y x)))) 4))
(+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (/.f64 (.f64 (-.f64 y x) (*.f64 z 3/2)) 2))
(+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (/.f64 (.f64 (-.f64 y x) (*.f64 z 3)) 4))
(+.f64 (.f64 z (/.f64 (-.f64 y x) 4)) (/.f64 (.f64 (-.f64 y x) (*.f64 z 3)) 4))
(+.f64 (.f64 z (/.f64 (-.f64 y x) 4)) (/.f64 (.f64 z (*.f64 (-.f64 y x) 3)) 4))
(+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (/.f64 (.f64 z (*.f64 (-.f64 y x) 3)) 4))
(+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (/.f64 (.f64 (-.f64 y x) (*.f64 z 6)) 8))
(-.f64 (*.f64 (-.f64 y x) z) 0)
(*.f64 z (-.f64 y x))
(-.f64 0 (*.f64 z (-.f64 x y)))
(neg.f64 (*.f64 z (-.f64 x y)))
(*.f64 (-.f64 x y) (neg.f64 z))
(*.f64 z (neg.f64 (-.f64 x y)))
(-.f64 (.f64 (-.f64 y x) (.f64 z 1/2)) (*.f64 (-.f64 y x) (/.f64 z -2)))
(*.f64 z (-.f64 y x))
(-.f64 (+.f64 (.f64 (-.f64 y x) (/.f64 z 4)) (.f64 (-.f64 y x) (.f64 z 1/2))) (neg.f64 (.f64 (-.f64 y x) (/.f64 z 4))))
(+.f64 (.f64 (-.f64 y x) (.f64 z 1/2)) (+.f64 (.f64 z (/.f64 (-.f64 y x) 4)) (.f64 z (/.f64 (-.f64 y x) 4))))
(+.f64 (.f64 z (.f64 (-.f64 y x) 1/2)) (*.f64 (/.f64 (-.f64 y x) 4) (+.f64 z z)))
(+.f64 (.f64 z (.f64 (-.f64 y x) 1/2)) (*.f64 (-.f64 y x) (/.f64 (+.f64 z z) 4)))
(+.f64 (.f64 z (.f64 (-.f64 y x) 1/2)) (.f64 (.f64 (-.f64 y x) (/.f64 z 4)) 2))
(-.f64 (/.f64 (.f64 -3 (.f64 (-.f64 y x) (/.f64 z -2))) 2) (/.f64 (*.f64 (-.f64 y x) (/.f64 z -2)) 2))
(/.f64 (-.f64 (.f64 -3 (.f64 z (/.f64 (-.f64 y x) -2))) (*.f64 z (/.f64 (-.f64 y x) -2))) 2)
(/.f64 (-.f64 (.f64 (/.f64 (-.f64 y x) -2) (.f64 z -3)) (*.f64 z (/.f64 (-.f64 y x) -2))) 2)
(/.f64 (.f64 (/.f64 z -2) (-.f64 (.f64 (-.f64 y x) -3) (-.f64 y x))) 2)
(/.f64 (.f64 (/.f64 z -2) (-.f64 x (-.f64 y (.f64 (-.f64 y x) -3)))) 2)
(-.f64 (/.f64 (.f64 (-.f64 y x) (.f64 z 3)) 4) (/.f64 (*.f64 z (-.f64 x y)) 4))
(/.f64 (-.f64 (.f64 (-.f64 y x) (.f64 z 3)) (*.f64 z (-.f64 x y))) 4)
(/.f64 (-.f64 (.f64 z (.f64 (-.f64 y x) 3)) (*.f64 z (-.f64 x y))) 4)
(/.f64 (*.f64 (-.f64 y x) z) 1)
(*.f64 z (-.f64 y x))
(/.f64 (*.f64 (-.f64 y x) (+.f64 z z)) 2)
(*.f64 z (-.f64 y x))
(/.f64 (*.f64 z (-.f64 x y)) -1)
(neg.f64 (*.f64 z (-.f64 x y)))
(*.f64 (-.f64 x y) (neg.f64 z))
(*.f64 z (neg.f64 (-.f64 x y)))
(/.f64 (.f64 (-.f64 y x) (.f64 z 1/2)) 1/2)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (-.f64 y x) (.f64 z 4)) 4)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (-.f64 x y) (.f64 z 4)) -4)
(/.f64 (.f64 4 (.f64 z (-.f64 x y))) -4)
(/.f64 (.f64 (-.f64 x y) (.f64 z 16)) -16)
(/.f64 (.f64 z (.f64 4 (-.f64 x y))) -4)
(/.f64 (.f64 (.f64 z 4) (*.f64 (-.f64 y x) 4)) 16)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (-.f64 y x) (.f64 2 (*.f64 z 4))) 8)
(*.f64 z (-.f64 y x))
(/.f64 (*.f64 (-.f64 y x) (/.f64 z -1/2)) -2)
(*.f64 z (-.f64 y x))
(/.f64 (/.f64 (.f64 (-.f64 x y) (.f64 z 4)) 2) -2)
(/.f64 (.f64 4 (.f64 z (-.f64 x y))) -4)
(/.f64 (.f64 (-.f64 x y) (.f64 z 4)) -4)
(/.f64 (.f64 (-.f64 x y) (.f64 z 16)) -16)
(/.f64 (.f64 z (.f64 4 (-.f64 x y))) -4)
(/.f64 (.f64 (-.f64 x y) (.f64 2 (*.f64 z 4))) -8)
(/.f64 (.f64 4 (.f64 z (-.f64 x y))) -4)
(/.f64 (.f64 (-.f64 x y) (.f64 z 4)) -4)
(/.f64 (.f64 (-.f64 x y) (.f64 z 16)) -16)
(/.f64 (.f64 z (.f64 4 (-.f64 x y))) -4)
(/.f64 (+.f64 (.f64 (-.f64 y x) (/.f64 z -1/2)) (.f64 (-.f64 y x) (/.f64 z -1/2))) -4)
(*.f64 z (-.f64 y x))
(/.f64 (+.f64 (.f64 (-.f64 x y) (.f64 z 4)) (.f64 (-.f64 x y) (.f64 z 4))) -8)
(/.f64 (.f64 4 (.f64 z (-.f64 x y))) -4)
(/.f64 (.f64 (-.f64 x y) (.f64 z 4)) -4)
(/.f64 (.f64 (-.f64 x y) (.f64 z 16)) -16)
(/.f64 (.f64 z (.f64 4 (-.f64 x y))) -4)
(/.f64 (+.f64 (.f64 (-.f64 y x) (.f64 2 (.f64 z 4))) (.f64 (-.f64 y x) (.f64 2 (.f64 z 4)))) 16)
(*.f64 z (-.f64 y x))
(/.f64 (+.f64 (.f64 (.f64 z 4) (.f64 (-.f64 y x) 4)) (.f64 (.f64 z 4) (.f64 (-.f64 y x) 4))) 32)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (.f64 (-.f64 y x) 4) (.f64 4 (.f64 z 4))) 64)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (.f64 z 4) (*.f64 4 (-.f64 x y))) -16)
(/.f64 (.f64 4 (.f64 z (-.f64 x y))) -4)
(/.f64 (.f64 (-.f64 x y) (.f64 z 4)) -4)
(/.f64 (.f64 (-.f64 x y) (.f64 z 16)) -16)
(/.f64 (.f64 z (.f64 4 (-.f64 x y))) -4)
(/.f64 (.f64 (-.f64 x y) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (*.f64 z 4)))) -16)
(/.f64 (.f64 4 (.f64 z (-.f64 x y))) -4)
(/.f64 (.f64 (-.f64 x y) (.f64 z 4)) -4)
(/.f64 (.f64 (-.f64 x y) (.f64 z 16)) -16)
(/.f64 (.f64 z (.f64 4 (-.f64 x y))) -4)
(/.f64 (.f64 (/.f64 (-.f64 y x) -2) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (*.f64 z 4)))) -8)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (-.f64 y x) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (*.f64 z 4)))) 16)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (-.f64 y x) (neg.f64 (.f64 2 (*.f64 z 4)))) -8)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 z (neg.f64 (.f64 2 (*.f64 (-.f64 y x) 4)))) -8)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 z (+.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (neg.f64 (*.f64 (-.f64 y x) 4)))) -8)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 z (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 y 4)))) -8)
(/.f64 (.f64 z (-.f64 (.f64 4 (+.f64 x x)) (.f64 4 (.f64 y 2)))) -8)
(/.f64 (.f64 z (.f64 4 (-.f64 (+.f64 x x) (*.f64 y 2)))) -8)
(/.f64 (.f64 z (-.f64 (.f64 x 8) (*.f64 y 8))) -8)
(/.f64 (.f64 z (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 2 (+.f64 y x))))) -4)
(/.f64 (.f64 z (-.f64 (.f64 4 (+.f64 x x)) (*.f64 (+.f64 x y) 4))) -4)
(/.f64 (.f64 z (-.f64 (.f64 4 (+.f64 x x)) (*.f64 4 (+.f64 x y)))) -4)
(/.f64 (.f64 z (-.f64 (.f64 x 8) (*.f64 4 (+.f64 x y)))) -4)
(/.f64 (.f64 z (-.f64 (.f64 2 (+.f64 y x)) (*.f64 y 4))) -2)
(/.f64 (.f64 z (-.f64 (.f64 2 (+.f64 x y)) (*.f64 y 4))) -2)
(/.f64 (.f64 z (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (.f64 2 (*.f64 y 4)))) -4)
(/.f64 (.f64 z (-.f64 (.f64 (+.f64 x y) 4) (.f64 4 (.f64 y 2)))) -4)
(/.f64 (.f64 z (-.f64 (.f64 4 (+.f64 x y)) (*.f64 y 8))) -4)
(/.f64 (.f64 (.f64 (-.f64 y x) 1/2) (neg.f64 z)) -1/2)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (.f64 (-.f64 y x) 1/2) (/.f64 z -1/2)) -1)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (.f64 (-.f64 y x) 4) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (.f64 z 4)))) 64)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (+.f64 z z) (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4))) 16)
(/.f64 (.f64 (+.f64 z z) (-.f64 (.f64 4 (.f64 y 2)) (.f64 4 (+.f64 x x)))) 16)
(/.f64 (.f64 (+.f64 z z) (-.f64 (.f64 y 8) (*.f64 4 (+.f64 x x)))) 16)
(/.f64 (.f64 (+.f64 z z) (-.f64 (.f64 y 8) (*.f64 x 8))) 16)
(/.f64 (.f64 (.f64 z 4) (+.f64 (.f64 2 (.f64 (-.f64 y x) 4)) (.f64 2 (.f64 (-.f64 y x) 4)))) 64)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (.f64 2 (.f64 z 4)) (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4))) 64)
(/.f64 (.f64 (.f64 z 4) (.f64 2 (-.f64 (.f64 4 (.f64 y 2)) (.f64 4 (+.f64 x x))))) 64)
(/.f64 (.f64 (.f64 z 8) (-.f64 (.f64 y 8) (.f64 4 (+.f64 x x)))) 64)
(/.f64 (.f64 (.f64 z 8) (-.f64 (.f64 y 8) (.f64 x 8))) 64)
(/.f64 (.f64 (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (.f64 z 4))) (+.f64 (.f64 2 (.f64 (-.f64 y x) 4)) (.f64 2 (*.f64 (-.f64 y x) 4)))) 256)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (+.f64 (.f64 2 (.f64 (-.f64 y x) 4)) (.f64 2 (.f64 (-.f64 y x) 4))) (+.f64 (.f64 2 (.f64 z 4)) (.f64 2 (*.f64 z 4)))) 256)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4)) (.f64 2 (.f64 z 4))) 64)
(/.f64 (.f64 (.f64 z 4) (.f64 2 (-.f64 (.f64 4 (.f64 y 2)) (.f64 4 (+.f64 x x))))) 64)
(/.f64 (.f64 (.f64 z 8) (-.f64 (.f64 y 8) (.f64 4 (+.f64 x x)))) 64)
(/.f64 (.f64 (.f64 z 8) (-.f64 (.f64 y 8) (.f64 x 8))) 64)
(/.f64 (.f64 z (+.f64 (.f64 2 (.f64 (-.f64 y x) 4)) (.f64 2 (*.f64 (-.f64 y x) 4)))) 16)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4)) (+.f64 z z)) 16)
(/.f64 (.f64 (+.f64 z z) (-.f64 (.f64 4 (.f64 y 2)) (.f64 4 (+.f64 x x)))) 16)
(/.f64 (.f64 (+.f64 z z) (-.f64 (.f64 y 8) (*.f64 4 (+.f64 x x)))) 16)
(/.f64 (.f64 (+.f64 z z) (-.f64 (.f64 y 8) (*.f64 x 8))) 16)
(/.f64 (.f64 (+.f64 (neg.f64 (.f64 x 4)) (.f64 y 4)) (.f64 z 4)) 16)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (-.f64 (.f64 2 (.f64 y 4)) (.f64 2 (.f64 2 (+.f64 y x)))) (.f64 z 4)) 16)
(/.f64 (.f64 (.f64 z 4) (-.f64 (.f64 4 (.f64 y 2)) (*.f64 (+.f64 x y) 4))) 16)
(/.f64 (.f64 (.f64 z 4) (-.f64 (.f64 y 8) (.f64 4 (+.f64 x y)))) 16)
(/.f64 (.f64 z (.f64 4 (-.f64 (.f64 y 8) (.f64 4 (+.f64 x y))))) 16)
(/.f64 (.f64 (-.f64 (.f64 2 (+.f64 y x)) (*.f64 x 4)) (+.f64 z z)) 4)
(/.f64 (.f64 (+.f64 z z) (-.f64 (.f64 2 (+.f64 x y)) (*.f64 x 4))) 4)
(/.f64 (.f64 (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (.f64 (+.f64 x x) 4)) (*.f64 z 4)) 16)
(/.f64 (.f64 (.f64 z 4) (-.f64 (.f64 (+.f64 x y) 4) (.f64 4 (+.f64 x x)))) 16)
(/.f64 (.f64 z (.f64 4 (*.f64 4 (-.f64 (+.f64 x y) (+.f64 x x))))) 16)
(/.f64 (.f64 z (.f64 (-.f64 (+.f64 y y) (+.f64 x y)) 16)) 16)
(/.f64 (.f64 z (.f64 (-.f64 (+.f64 x y) (+.f64 x x)) 16)) 16)
(/.f64 (.f64 (+.f64 z z) (-.f64 (.f64 2 (+.f64 y x)) (*.f64 x 4))) 4)
(/.f64 (.f64 (+.f64 z z) (-.f64 (.f64 2 (+.f64 x y)) (*.f64 x 4))) 4)
(/.f64 (.f64 (.f64 z 4) (+.f64 (neg.f64 (.f64 x 4)) (.f64 y 4))) 16)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (.f64 z 4) (-.f64 (.f64 2 (.f64 y 4)) (.f64 2 (.f64 2 (+.f64 y x))))) 16)
(/.f64 (.f64 (.f64 z 4) (-.f64 (.f64 4 (.f64 y 2)) (*.f64 (+.f64 x y) 4))) 16)
(/.f64 (.f64 (.f64 z 4) (-.f64 (.f64 y 8) (.f64 4 (+.f64 x y)))) 16)
(/.f64 (.f64 z (.f64 4 (-.f64 (.f64 y 8) (.f64 4 (+.f64 x y))))) 16)
(/.f64 (.f64 (.f64 z 4) (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (*.f64 (+.f64 x x) 4))) 16)
(/.f64 (.f64 (.f64 z 4) (-.f64 (.f64 (+.f64 x y) 4) (.f64 4 (+.f64 x x)))) 16)
(/.f64 (.f64 z (.f64 4 (*.f64 4 (-.f64 (+.f64 x y) (+.f64 x x))))) 16)
(/.f64 (.f64 z (.f64 (-.f64 (+.f64 y y) (+.f64 x y)) 16)) 16)
(/.f64 (.f64 z (.f64 (-.f64 (+.f64 x y) (+.f64 x x)) 16)) 16)
(/.f64 (.f64 (neg.f64 (.f64 2 (.f64 (-.f64 y x) 4))) (neg.f64 (.f64 2 (*.f64 z 4)))) 64)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (+.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (neg.f64 (.f64 (-.f64 y x) 4))) (neg.f64 (.f64 2 (*.f64 z 4)))) 64)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 y 4))) (neg.f64 (.f64 2 (.f64 z 4)))) 64)
(/.f64 (.f64 (neg.f64 (.f64 4 (.f64 z 2))) (-.f64 (.f64 4 (+.f64 x x)) (.f64 4 (.f64 y 2)))) 64)
(/.f64 (.f64 (neg.f64 (.f64 z 8)) (.f64 4 (-.f64 (+.f64 x x) (.f64 y 2)))) 64)
(/.f64 (.f64 (.f64 z 8) (neg.f64 (-.f64 (.f64 x 8) (.f64 y 8)))) 64)
(/.f64 (.f64 (.f64 z -8) (-.f64 (.f64 x 8) (.f64 y 8))) 64)
(/.f64 (.f64 (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 2 (+.f64 y x)))) (neg.f64 (*.f64 z 4))) 16)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x x)) (.f64 (+.f64 x y) 4)) (neg.f64 (.f64 z 4))) 16)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x x)) (.f64 4 (+.f64 x y))) (neg.f64 (.f64 z 4))) 16)
(/.f64 (.f64 (-.f64 (.f64 x 8) (.f64 4 (+.f64 x y))) (.f64 z -4)) 16)
(/.f64 (.f64 (-.f64 (.f64 2 (+.f64 y x)) (*.f64 y 4)) (/.f64 z -1/2)) 4)
(/.f64 (.f64 z (/.f64 (-.f64 (.f64 2 (+.f64 x y)) (*.f64 y 4)) -1/2)) 4)
(/.f64 (.f64 (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (.f64 2 (.f64 y 4))) (neg.f64 (.f64 z 4))) 16)
(/.f64 (.f64 (-.f64 (.f64 (+.f64 x y) 4) (.f64 4 (.f64 y 2))) (neg.f64 (*.f64 z 4))) 16)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 y 8)) (neg.f64 (.f64 z 4))) 16)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 y 8)) (.f64 z -4)) 16)
(/.f64 (.f64 (-.f64 (+.f64 x y) (.f64 y 2)) (/.f64 z -1/16)) 16)
(/.f64 (.f64 (+.f64 (neg.f64 (.f64 x 4)) (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4))) (+.f64 z z)) 16)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (+.f64 (+.f64 (.f64 x -2) (.f64 y 4)) (.f64 x -2)) z) 4)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (+.f64 (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)) (neg.f64 (.f64 x 4))) (+.f64 z z)) 16)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (-.f64 (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)) (.f64 x 4)) (+.f64 z z)) 16)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 z (+.f64 (+.f64 (.f64 x -2) (.f64 y 4)) (.f64 x -2))) 4)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (+.f64 z z) (+.f64 (neg.f64 (.f64 x 4)) (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)))) 16)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (+.f64 z z) (+.f64 (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)) (neg.f64 (.f64 x 4)))) 16)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 (.f64 (-.f64 y x) 4) (.f64 y 4)) (.f64 x 4))) 16)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (-.f64 (.f64 2 (.f64 y 4)) (.f64 (+.f64 x x) 4)) (*.f64 z 1/2)) 4)
(/.f64 (.f64 (.f64 z 1/2) (-.f64 (.f64 4 (.f64 y 2)) (*.f64 4 (+.f64 x x)))) 4)
(/.f64 (.f64 1/2 (.f64 z (-.f64 (.f64 y 8) (.f64 4 (+.f64 x x))))) 4)
(/.f64 (.f64 z (-.f64 (.f64 y 8) (*.f64 x 8))) 8)
(/.f64 (.f64 (+.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (neg.f64 (*.f64 (-.f64 y x) 4))) (/.f64 z -1/2)) 16)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (-.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (*.f64 (-.f64 y x) 4)) (/.f64 z -1/2)) 16)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 y 4))) (/.f64 z -1/2)) 16)
(/.f64 (.f64 (/.f64 z -1/2) (-.f64 (.f64 4 (+.f64 x x)) (.f64 4 (.f64 y 2)))) 16)
(/.f64 (.f64 (/.f64 z -1/2) (.f64 4 (-.f64 (+.f64 x x) (*.f64 y 2)))) 16)
(/.f64 (.f64 z (/.f64 (-.f64 (.f64 x 8) (*.f64 y 8)) -1/2)) 16)
(/.f64 (.f64 (-.f64 (+.f64 x x) (.f64 y 2)) (*.f64 z -8)) 16)
(/.f64 (.f64 (/.f64 z -1/2) (-.f64 (.f64 2 (+.f64 y x)) (*.f64 y 4))) 4)
(/.f64 (.f64 z (/.f64 (-.f64 (.f64 2 (+.f64 x y)) (*.f64 y 4)) -1/2)) 4)
(/.f64 (.f64 (neg.f64 (.f64 z 4)) (neg.f64 (*.f64 (-.f64 y x) 4))) 16)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (neg.f64 (.f64 z 4)) (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (*.f64 2 (+.f64 y x))))) 16)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x x)) (.f64 (+.f64 x y) 4)) (neg.f64 (.f64 z 4))) 16)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x x)) (.f64 4 (+.f64 x y))) (neg.f64 (.f64 z 4))) 16)
(/.f64 (.f64 (-.f64 (.f64 x 8) (.f64 4 (+.f64 x y))) (.f64 z -4)) 16)
(/.f64 (.f64 (neg.f64 (.f64 z 4)) (-.f64 (.f64 2 (.f64 2 (+.f64 y x))) (.f64 2 (.f64 y 4)))) 16)
(/.f64 (.f64 (-.f64 (.f64 (+.f64 x y) 4) (.f64 4 (.f64 y 2))) (neg.f64 (*.f64 z 4))) 16)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 y 8)) (neg.f64 (.f64 z 4))) 16)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 y 8)) (.f64 z -4)) 16)
(/.f64 (.f64 (-.f64 (+.f64 x y) (.f64 y 2)) (/.f64 z -1/16)) 16)
(/.f64 (.f64 (neg.f64 (.f64 2 (.f64 z 4))) (neg.f64 (.f64 2 (*.f64 (-.f64 y x) 4)))) 64)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (neg.f64 (.f64 2 (.f64 z 4))) (+.f64 (neg.f64 (.f64 (-.f64 y x) 4)) (neg.f64 (*.f64 (-.f64 y x) 4)))) 64)
(*.f64 z (-.f64 y x))
(/.f64 (.f64 (neg.f64 (.f64 2 (.f64 z 4))) (-.f64 (.f64 (+.f64 x x) 4) (.f64 2 (.f64 y 4)))) 64)
(/.f64 (.f64 (neg.f64 (.f64 4 (.f64 z 2))) (-.f64 (.f64 4 (+.f64 x x)) (.f64 4 (.f64 y 2)))) 64)
(/.f64 (.f64 (neg.f64 (.f64 z 8)) (.f64 4 (-.f64 (+.f64 x x) (.f64 y 2)))) 64)
(/.f64 (.f64 (.f64 z 8) (neg.f64 (-.f64 (.f64 x 8) (.f64 y 8)))) 64)
(/.f64 (.f64 (.f64 z -8) (-.f64 (.f64 x 8) (.f64 y 8))) 64)
(/.f64 (.f64 (.f64 z 1/2) (-.f64 (.f64 2 (.f64 y 4)) (*.f64 (+.f64 x x) 4))) 4)
(/.f64 (.f64 (.f64 z 1/2) (-.f64 (.f64 4 (.f64 y 2)) (*.f64 4 (+.f64 x x)))) 4)
(/.f64 (.f64 1/2 (.f64 z (-.f64 (.f64 y 8) (.f64 4 (+.f64 x x))))) 4)
(/.f64 (.f64 z (-.f64 (.f64 y 8) (*.f64 x 8))) 8)
(pow.f64 (*.f64 (-.f64 y x) z) 1)
(*.f64 z (-.f64 y x))
(neg.f64 (*.f64 z (-.f64 x y)))
(*.f64 (-.f64 x y) (neg.f64 z))
(*.f64 z (neg.f64 (-.f64 x y)))

eval178.0ms (1.4%)

Compiler: Compiled 2723 to 1634 computations (40% saved)

prune179.0ms (1.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	157	3	160
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	157	4	161

Error

Counts

161 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(+.f64 x (/.f64 (.f64 z (-.f64 (.f64 x 8) (*.f64 4 (+.f64 x y)))) -4))
✓	0.0b	(+.f64 x (*.f64 (-.f64 y x) z))
▶	21.6b	(+.f64 x (*.f64 z (neg.f64 x)))
▶	13.0b	(+.f64 x (*.f64 z y))

Compiler

Compiled 45 to 30 computations (33.3% saved)

localize8.0ms (0.1%)

Compiler: Compiled 14 to 5 computations (64.3% saved)

localize26.0ms (0.2%)

Compiler: Compiled 17 to 6 computations (64.7% saved)

localize110.0ms (0.9%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 z (-.f64 (.f64 x 8) (*.f64 4 (+.f64 x y))))
✓	0.0b	(-.f64 (.f64 x 8) (.f64 4 (+.f64 x y)))

Compiler

Compiled 68 to 39 computations (42.6% saved)

series10.0ms (0.1%)

Counts

2 → 60

Calls

15 calls:

Time	Variable		Point	Expression
2.0ms	y	@	-inf	(.f64 z (-.f64 (.f64 x 8) (*.f64 4 (+.f64 x y))))
1.0ms	x	@	inf	(-.f64 (.f64 x 8) (.f64 4 (+.f64 x y)))
1.0ms	z	@	0	(.f64 z (-.f64 (.f64 x 8) (*.f64 4 (+.f64 x y))))
1.0ms	x	@	-inf	(.f64 z (-.f64 (.f64 x 8) (*.f64 4 (+.f64 x y))))
1.0ms	x	@	0	(-.f64 (.f64 x 8) (.f64 4 (+.f64 x y)))

rewrite414.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

930×	`rational_best-simplify-48`
822×	`rational_best-simplify-52`
778×	`rational_best-simplify-51`
776×	`rational_best-simplify-57`
578×	`rational_best-simplify-63`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	56
1	78	56
2	140	56
3	384	56
4	1465	56

Stop Event

1×	node limit

Counts

2 → 89

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x 8) (.f64 (+.f64 x y) -4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 x y) -4) (.f64 x 8))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 x y) -4) (neg.f64 (neg.f64 (.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x 16) (neg.f64 (+.f64 (.f64 x 8) (.f64 4 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 x 16)) (neg.f64 (.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 x 4) (.f64 (+.f64 x y) 2)) (-.f64 (.f64 x 4) (.f64 (+.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (.f64 x 8)) (+.f64 (.f64 (+.f64 x y) -4) (.f64 x 16)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x 4) (+.f64 (.f64 (+.f64 x y) -4) (.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 x 8) (.f64 4 (+.f64 x y))) (neg.f64 (.f64 8 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 3) 2) (-.f64 (.f64 (+.f64 x y) 2) (.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 8 (-.f64 x (+.f64 x y))) (.f64 4 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 (+.f64 x y) -4) (+.f64 (.f64 x 8) (.f64 4 (+.f64 x y)))) (.f64 (+.f64 x y) -4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -2 (+.f64 x y)) (-.f64 (.f64 x 8) (.f64 (+.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -2 (+.f64 x y)) (neg.f64 (-.f64 (.f64 (+.f64 x y) 2) (.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -2 (+.f64 x y)) (/.f64 (-.f64 (.f64 (+.f64 x y) 2) (.f64 x 8)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 x 8) (.f64 (+.f64 x y) 2)) (.f64 -2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (neg.f64 (.f64 x 8))) (.f64 (+.f64 x y) -4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 x x) (+.f64 x y)) (/.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 3) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 x x) (+.f64 x y)) (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 3) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 x 4)) (.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 x 4)) (neg.f64 (neg.f64 (.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 x 8) (+.f64 x y)) (neg.f64 (.f64 (+.f64 x y) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 x 8) (+.f64 y (+.f64 x x))) (neg.f64 (+.f64 y (.f64 (+.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 x 8) (+.f64 x (+.f64 y y))) (neg.f64 (+.f64 x (.f64 (+.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 x 16) (.f64 x 8)) (.f64 (+.f64 x y) -4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 x 16) (.f64 (+.f64 x y) 2)) (neg.f64 (+.f64 (.f64 x 8) (.f64 (+.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 x 16) (.f64 x 4)) (neg.f64 (.f64 2 (.f64 2 (+.f64 y (+.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (.f64 x 8) (.f64 4 (+.f64 x y))) (.f64 (+.f64 x y) 2)) (neg.f64 (.f64 (+.f64 x y) 6)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 (.f64 (+.f64 x y) 2) (.f64 x 8)) -1) (.f64 -2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 4)) -1) (/.f64 (neg.f64 (.f64 x 4)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 x 16)) 4) (/.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (-.f64 (+.f64 x x) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (-.f64 (.f64 x 4) (.f64 (+.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (-.f64 (.f64 x 32) (.f64 8 (+.f64 (+.f64 x y) (+.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 x 4) (.f64 (+.f64 x y) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 x 32) (.f64 (+.f64 x y) 16)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (-.f64 (.f64 x 32) (.f64 (+.f64 x y) 16)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 4) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (+.f64 x x) (+.f64 x y)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 x 32) (.f64 (+.f64 x y) 16)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 8 (+.f64 x y)) (.f64 x 16)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 4) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 x y) 16) (.f64 x 32)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (+.f64 x y) (.f64 x -2)) 16) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (.f64 (+.f64 x y) 16) (.f64 x 32)) -1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 (+.f64 (+.f64 x y) (.f64 x -2)) 16) -1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 x 32) (.f64 8 (+.f64 (+.f64 x y) (+.f64 x x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (.f64 (+.f64 x y) 16)) (.f64 x 32)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 2 (.f64 x 32)) (.f64 2 (.f64 (+.f64 x y) 16))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 2 (.f64 x 32)) (+.f64 (.f64 x 32) (.f64 (+.f64 x y) 16))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 8 (+.f64 (+.f64 x y) (+.f64 x x))) (.f64 (+.f64 x y) 16)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 (.f64 x 32) (.f64 (+.f64 x y) 16)) (.f64 2 (.f64 (+.f64 x y) 16))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (.f64 4 (+.f64 x y)) (*.f64 x 8)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))) (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 4) (/.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (.f64 z 3)) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 4) (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (.f64 z 3)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))) (neg.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))) (/.f64 (.f64 z (-.f64 (.f64 8 (+.f64 x y)) (.f64 x 16))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (.f64 z 3)) 2) 2) (/.f64 (neg.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (.f64 z 3)) 4) (/.f64 (.f64 z (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (-.f64 (.f64 x 32) (.f64 (+.f64 x y) 16))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (-.f64 (.f64 8 (+.f64 x y)) (.f64 x 16))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)) (.f64 z 4)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 z 4) (-.f64 (.f64 x 32) (.f64 (+.f64 x y) 16))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (.f64 (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)) (.f64 z 4)) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)) (.f64 2 (.f64 z 4))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (-.f64 (.f64 (+.f64 x y) 16) (.f64 x 32))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (.f64 (+.f64 (+.f64 x y) (.f64 x -2)) 16)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 z (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x 8) (*.f64 (+.f64 x y) -4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x y) -4) (*.f64 x 8))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x y) -4) (neg.f64 (neg.f64 (*.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x 16) (neg.f64 (+.f64 (*.f64 x 8) (*.f64 4 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (+.f64 x y) -4) (*.f64 x 16)) (neg.f64 (*.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x 4) (*.f64 (+.f64 x y) 2)) (-.f64 (*.f64 x 4) (*.f64 (+.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (*.f64 x 8)) (+.f64 (*.f64 (+.f64 x y) -4) (*.f64 x 16)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x 4) (+.f64 (*.f64 (+.f64 x y) -4) (*.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 x 8) (*.f64 4 (+.f64 x y))) (neg.f64 (*.f64 8 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 3) 2) (-.f64 (*.f64 (+.f64 x y) 2) (*.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 8 (-.f64 x (+.f64 x y))) (*.f64 4 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (+.f64 x y) -4) (+.f64 (*.f64 x 8) (*.f64 4 (+.f64 x y)))) (*.f64 (+.f64 x y) -4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -2 (+.f64 x y)) (-.f64 (*.f64 x 8) (*.f64 (+.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -2 (+.f64 x y)) (neg.f64 (-.f64 (*.f64 (+.f64 x y) 2) (*.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -2 (+.f64 x y)) (/.f64 (-.f64 (*.f64 (+.f64 x y) 2) (*.f64 x 8)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x 8) (*.f64 (+.f64 x y) 2)) (*.f64 -2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (neg.f64 (*.f64 x 8))) (*.f64 (+.f64 x y) -4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 x x) (+.f64 x y)) (/.f64 (/.f64 (*.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 3) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 x x) (+.f64 x y)) (/.f64 (*.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 3) 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (+.f64 x y) -4) (*.f64 x 4)) (*.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (+.f64 x y) -4) (*.f64 x 4)) (neg.f64 (neg.f64 (*.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x 8) (+.f64 x y)) (neg.f64 (*.f64 (+.f64 x y) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x 8) (+.f64 y (+.f64 x x))) (neg.f64 (+.f64 y (*.f64 (+.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x 8) (+.f64 x (+.f64 y y))) (neg.f64 (+.f64 x (*.f64 (+.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x 16) (*.f64 x 8)) (*.f64 (+.f64 x y) -4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x 16) (*.f64 (+.f64 x y) 2)) (neg.f64 (+.f64 (*.f64 x 8) (*.f64 (+.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x 16) (*.f64 x 4)) (neg.f64 (*.f64 2 (*.f64 2 (+.f64 y (+.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (*.f64 x 8) (*.f64 4 (+.f64 x y))) (*.f64 (+.f64 x y) 2)) (neg.f64 (*.f64 (+.f64 x y) 6)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 (*.f64 (+.f64 x y) 2) (*.f64 x 8)) -1) (*.f64 -2 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 (*.f64 4 (+.f64 x y)) (*.f64 x 4)) -1) (/.f64 (neg.f64 (*.f64 x 4)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 (*.f64 (+.f64 x y) -4) (*.f64 x 16)) 4) (/.f64 (+.f64 (*.f64 (+.f64 x y) -4) (*.f64 8 (-.f64 (+.f64 x x) (+.f64 x y)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (-.f64 (+.f64 x x) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 4 (+.f64 x y)) (*.f64 x 8)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (-.f64 (*.f64 x 4) (*.f64 (+.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 4 (+.f64 x y)) (*.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (-.f64 (*.f64 x 32) (*.f64 8 (+.f64 (+.f64 x y) (+.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x 4) (*.f64 (+.f64 x y) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x 32) (*.f64 (+.f64 x y) 16)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (-.f64 (*.f64 x 32) (*.f64 (+.f64 x y) 16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 4) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (+.f64 x x) (+.f64 x y)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 4 (+.f64 x y)) (*.f64 x 8)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x 32) (*.f64 (+.f64 x y) 16)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 8 (+.f64 x y)) (*.f64 x 16)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 4) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 x y) 16) (*.f64 x 32)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (+.f64 x y) (*.f64 x -2)) 16) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (-.f64 (*.f64 (+.f64 x y) 16) (*.f64 x 32)) -1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (+.f64 (+.f64 x y) (*.f64 x -2)) 16) -1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x 32) (*.f64 8 (+.f64 (+.f64 x y) (+.f64 x x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 (+.f64 x y) 16)) (*.f64 x 32)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 2 (*.f64 x 32)) (*.f64 2 (*.f64 (+.f64 x y) 16))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 2 (*.f64 x 32)) (+.f64 (*.f64 x 32) (*.f64 (+.f64 x y) 16))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 8 (+.f64 (+.f64 x y) (+.f64 x x))) (*.f64 (+.f64 x y) 16)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 (*.f64 x 32) (*.f64 (+.f64 x y) 16)) (*.f64 2 (*.f64 (+.f64 x y) 16))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 4 (+.f64 x y)) (*.f64 x 8)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))) (*.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 4) (/.f64 (/.f64 (*.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (*.f64 z 3)) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 4) (/.f64 (*.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (*.f64 z 3)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))) (neg.f64 (*.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))) (/.f64 (*.f64 z (-.f64 (*.f64 8 (+.f64 x y)) (*.f64 x 16))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (*.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (*.f64 z 3)) 2) 2) (/.f64 (neg.f64 (*.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (*.f64 z 3)) 4) (/.f64 (*.f64 z (-.f64 (*.f64 4 (+.f64 x y)) (*.f64 x 8))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (*.f64 8 (-.f64 (+.f64 x x) (+.f64 x y)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 (*.f64 4 (+.f64 x y)) (*.f64 x 8))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 (*.f64 x 32) (*.f64 (+.f64 x y) 16))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 (*.f64 8 (+.f64 x y)) (*.f64 x 16))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 4 (+.f64 x y)) (*.f64 x 8)) (*.f64 z 4)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 z 4) (-.f64 (*.f64 x 32) (*.f64 (+.f64 x y) 16))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (*.f64 (*.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (-.f64 (*.f64 4 (+.f64 x y)) (*.f64 x 8)) (*.f64 z 4)) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 4 (+.f64 x y)) (*.f64 x 8)) (*.f64 2 (*.f64 z 4))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 (*.f64 (+.f64 x y) 16) (*.f64 x 32))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (*.f64 (+.f64 (+.f64 x y) (*.f64 x -2)) 16)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 z (-.f64 (*.f64 4 (+.f64 x y)) (*.f64 x 8))))))))

simplify686.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

1532×	`rational_best-simplify-57`
1050×	`rational_best-simplify-56`
932×	`rational_best-simplify-1`
836×	`rational_best-simplify-49`
654×	`rational_best-simplify-55`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	244	4299
1	637	4047
2	1541	3699
3	4535	3695

Stop Event

1×	node limit

Counts

149 → 179

Calls

Call 1

Inputs
(*.f64 -4 y)
(+.f64 (.f64 -4 y) (.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(*.f64 4 x)
(+.f64 (.f64 -4 y) (.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(*.f64 4 x)
(+.f64 (.f64 -4 y) (.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(-.f64 (.f64 8 x) (.f64 4 x))
(-.f64 (+.f64 (.f64 -4 y) (.f64 8 x)) (*.f64 4 x))
(-.f64 (+.f64 (.f64 -4 y) (.f64 8 x)) (*.f64 4 x))
(-.f64 (+.f64 (.f64 -4 y) (.f64 8 x)) (*.f64 4 x))
(*.f64 -4 y)
(-.f64 (+.f64 (.f64 8 x) (.f64 -4 y)) (*.f64 4 x))
(-.f64 (+.f64 (.f64 8 x) (.f64 -4 y)) (*.f64 4 x))
(-.f64 (+.f64 (.f64 8 x) (.f64 -4 y)) (*.f64 4 x))
(*.f64 -4 y)
(-.f64 (+.f64 (.f64 8 x) (.f64 -4 y)) (*.f64 4 x))
(-.f64 (+.f64 (.f64 8 x) (.f64 -4 y)) (*.f64 4 x))
(-.f64 (+.f64 (.f64 8 x) (.f64 -4 y)) (*.f64 4 x))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(.f64 4 (.f64 z x))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(.f64 4 (.f64 z x))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 x)) z)
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(.f64 -4 (.f64 y z))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(.f64 -4 (.f64 y z))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 x 8) (.f64 (+.f64 x y) -4))
(+.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 0)
(+.f64 0 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))))
(+.f64 (.f64 (+.f64 x y) -4) (.f64 x 8))
(+.f64 (.f64 (+.f64 x y) -4) (neg.f64 (neg.f64 (.f64 x 8))))
(+.f64 (.f64 x 16) (neg.f64 (+.f64 (.f64 x 8) (*.f64 4 (+.f64 x y)))))
(+.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 x 16)) (neg.f64 (*.f64 x 8)))
(+.f64 (-.f64 (.f64 x 4) (.f64 (+.f64 x y) 2)) (-.f64 (.f64 x 4) (.f64 (+.f64 x y) 2)))
(+.f64 (neg.f64 (.f64 x 8)) (+.f64 (.f64 (+.f64 x y) -4) (*.f64 x 16)))
(+.f64 (.f64 x 4) (+.f64 (.f64 (+.f64 x y) -4) (*.f64 x 4)))
(+.f64 (+.f64 (.f64 x 8) (.f64 4 (+.f64 x y))) (neg.f64 (*.f64 8 (+.f64 x y))))
(+.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 3) 2) (-.f64 (.f64 (+.f64 x y) 2) (.f64 x 4)))
(+.f64 (.f64 8 (-.f64 x (+.f64 x y))) (.f64 4 (+.f64 x y)))
(+.f64 (+.f64 (.f64 (+.f64 x y) -4) (+.f64 (.f64 x 8) (.f64 4 (+.f64 x y)))) (.f64 (+.f64 x y) -4))
(+.f64 (.f64 -2 (+.f64 x y)) (-.f64 (.f64 x 8) (*.f64 (+.f64 x y) 2)))
(+.f64 (.f64 -2 (+.f64 x y)) (neg.f64 (-.f64 (.f64 (+.f64 x y) 2) (*.f64 x 8))))
(+.f64 (.f64 -2 (+.f64 x y)) (/.f64 (-.f64 (.f64 (+.f64 x y) 2) (*.f64 x 8)) -1))
(+.f64 (-.f64 (.f64 x 8) (.f64 (+.f64 x y) 2)) (*.f64 -2 (+.f64 x y)))
(+.f64 (neg.f64 (neg.f64 (.f64 x 8))) (.f64 (+.f64 x y) -4))
(+.f64 (-.f64 (+.f64 x x) (+.f64 x y)) (/.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 3) 2) 2))
(+.f64 (-.f64 (+.f64 x x) (+.f64 x y)) (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 3) 4))
(+.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 x 4)) (*.f64 x 4))
(+.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 x 4)) (neg.f64 (neg.f64 (*.f64 x 4))))
(+.f64 (-.f64 (.f64 x 8) (+.f64 x y)) (neg.f64 (.f64 (+.f64 x y) 3)))
(+.f64 (-.f64 (.f64 x 8) (+.f64 y (+.f64 x x))) (neg.f64 (+.f64 y (.f64 (+.f64 x y) 2))))
(+.f64 (-.f64 (.f64 x 8) (+.f64 x (+.f64 y y))) (neg.f64 (+.f64 x (.f64 (+.f64 x y) 2))))
(+.f64 (-.f64 (.f64 x 16) (.f64 x 8)) (*.f64 (+.f64 x y) -4))
(+.f64 (-.f64 (.f64 x 16) (.f64 (+.f64 x y) 2)) (neg.f64 (+.f64 (.f64 x 8) (.f64 (+.f64 x y) 2))))
(+.f64 (-.f64 (.f64 x 16) (.f64 x 4)) (neg.f64 (.f64 2 (.f64 2 (+.f64 y (+.f64 x x))))))
(+.f64 (-.f64 (+.f64 (.f64 x 8) (.f64 4 (+.f64 x y))) (.f64 (+.f64 x y) 2)) (neg.f64 (.f64 (+.f64 x y) 6)))
(+.f64 (/.f64 (-.f64 (.f64 (+.f64 x y) 2) (.f64 x 8)) -1) (*.f64 -2 (+.f64 x y)))
(+.f64 (/.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 4)) -1) (/.f64 (neg.f64 (*.f64 x 4)) -1))
(+.f64 (/.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 x 16)) 4) (/.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y)))) 4))
(*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y)))
(.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 1)
(.f64 1 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))))
(.f64 (-.f64 (.f64 4 (+.f64 x y)) (*.f64 x 8)) -1)
(.f64 2 (-.f64 (.f64 x 4) (*.f64 (+.f64 x y) 2)))
(.f64 (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 1/2)
(.f64 -1 (-.f64 (.f64 4 (+.f64 x y)) (*.f64 x 8)))
(.f64 1/2 (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))))
(.f64 1/2 (-.f64 (.f64 x 32) (*.f64 8 (+.f64 (+.f64 x y) (+.f64 x x)))))
(.f64 (-.f64 (.f64 x 4) (*.f64 (+.f64 x y) 2)) 2)
(.f64 (-.f64 (.f64 x 32) (*.f64 (+.f64 x y) 16)) 1/4)
(.f64 1/4 (-.f64 (.f64 x 32) (*.f64 (+.f64 x y) 16)))
(.f64 (.f64 (*.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 4) 1/8)
(*.f64 (-.f64 (+.f64 x x) (+.f64 x y)) 4)
(/.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 1)
(/.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)) -1)
(/.f64 (*.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 2)
(/.f64 (-.f64 (.f64 x 32) (.f64 (+.f64 x y) 16)) 4)
(/.f64 (-.f64 (.f64 8 (+.f64 x y)) (.f64 x 16)) -2)
(/.f64 (.f64 (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 4) 8)
(/.f64 (-.f64 (.f64 (+.f64 x y) 16) (.f64 x 32)) -4)
(/.f64 (.f64 (+.f64 (+.f64 x y) (.f64 x -2)) 16) -4)
(/.f64 (/.f64 (-.f64 (.f64 (+.f64 x y) 16) (.f64 x 32)) -1) 4)
(/.f64 (/.f64 (.f64 (+.f64 (+.f64 x y) (.f64 x -2)) 16) -1) 4)
(/.f64 (-.f64 (.f64 x 32) (.f64 8 (+.f64 (+.f64 x y) (+.f64 x x)))) 2)
(/.f64 (+.f64 (neg.f64 (.f64 (+.f64 x y) 16)) (.f64 x 32)) 4)
(/.f64 (-.f64 (.f64 2 (.f64 x 32)) (.f64 2 (.f64 (+.f64 x y) 16))) 8)
(/.f64 (-.f64 (.f64 2 (.f64 x 32)) (+.f64 (.f64 x 32) (.f64 (+.f64 x y) 16))) 4)
(/.f64 (-.f64 (.f64 8 (+.f64 (+.f64 x y) (+.f64 x x))) (.f64 (+.f64 x y) 16)) 2)
(/.f64 (-.f64 (+.f64 (.f64 x 32) (.f64 (+.f64 x y) 16)) (.f64 2 (.f64 (+.f64 x y) 16))) 4)
(pow.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 1)
(neg.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)))
(+.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 0)
(+.f64 0 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z))
(+.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))) (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))))
(+.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 4) (/.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (*.f64 z 3)) 2) 2))
(+.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 4) (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (*.f64 z 3)) 4))
(-.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 0)
(-.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))) (neg.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y)))))
(-.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))) (/.f64 (.f64 z (-.f64 (.f64 8 (+.f64 x y)) (.f64 x 16))) 4))
(-.f64 (/.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (.f64 z 3)) 2) 2) (/.f64 (neg.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y)))) 2))
(-.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (.f64 z 3)) 4) (/.f64 (.f64 z (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8))) 4))
(/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 1)
(/.f64 (.f64 z (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y)))) 2)
(/.f64 (.f64 z (-.f64 (.f64 4 (+.f64 x y)) (*.f64 x 8))) -1)
(/.f64 (.f64 z (-.f64 (.f64 x 32) (*.f64 (+.f64 x y) 16))) 4)
(/.f64 (.f64 z (-.f64 (.f64 8 (+.f64 x y)) (*.f64 x 16))) -2)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)) (.f64 z 4)) -4)
(/.f64 (.f64 (.f64 z 4) (-.f64 (.f64 x 32) (.f64 (+.f64 x y) 16))) 16)
(/.f64 (.f64 z (.f64 (*.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 4)) 8)
(/.f64 (/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)) (.f64 z 4)) 2) -2)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)) (.f64 2 (*.f64 z 4))) -8)
(/.f64 (.f64 z (-.f64 (.f64 (+.f64 x y) 16) (*.f64 x 32))) -4)
(/.f64 (.f64 z (.f64 (+.f64 (+.f64 x y) (*.f64 x -2)) 16)) -4)
(pow.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 1)
(neg.f64 (.f64 z (-.f64 (.f64 4 (+.f64 x y)) (*.f64 x 8))))

Outputs
(*.f64 -4 y)
(+.f64 (.f64 -4 y) (.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(*.f64 4 x)
(+.f64 (.f64 -4 y) (.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(*.f64 4 x)
(+.f64 (.f64 -4 y) (.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(-.f64 (.f64 8 x) (.f64 4 x))
(*.f64 4 x)
(-.f64 (+.f64 (.f64 -4 y) (.f64 8 x)) (*.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(-.f64 (+.f64 (.f64 -4 y) (.f64 8 x)) (*.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(-.f64 (+.f64 (.f64 -4 y) (.f64 8 x)) (*.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(*.f64 -4 y)
(-.f64 (+.f64 (.f64 8 x) (.f64 -4 y)) (*.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(-.f64 (+.f64 (.f64 8 x) (.f64 -4 y)) (*.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(-.f64 (+.f64 (.f64 8 x) (.f64 -4 y)) (*.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(*.f64 -4 y)
(-.f64 (+.f64 (.f64 8 x) (.f64 -4 y)) (*.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(-.f64 (+.f64 (.f64 8 x) (.f64 -4 y)) (*.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(-.f64 (+.f64 (.f64 8 x) (.f64 -4 y)) (*.f64 4 x))
(+.f64 (.f64 -4 y) (.f64 4 x))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 x 8) (*.f64 4 (+.f64 y x))) z)
(.f64 z (+.f64 (.f64 x 8) (/.f64 (+.f64 y x) -1/4)))
(.f64 z (-.f64 (/.f64 (+.f64 y x) -1/4) (.f64 x -8)))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 x 8) (*.f64 4 (+.f64 y x))) z)
(.f64 z (+.f64 (.f64 x 8) (/.f64 (+.f64 y x) -1/4)))
(.f64 z (-.f64 (/.f64 (+.f64 y x) -1/4) (.f64 x -8)))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 x 8) (*.f64 4 (+.f64 y x))) z)
(.f64 z (+.f64 (.f64 x 8) (/.f64 (+.f64 y x) -1/4)))
(.f64 z (-.f64 (/.f64 (+.f64 y x) -1/4) (.f64 x -8)))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 x 8) (*.f64 4 (+.f64 y x))) z)
(.f64 z (+.f64 (.f64 x 8) (/.f64 (+.f64 y x) -1/4)))
(.f64 z (-.f64 (/.f64 (+.f64 y x) -1/4) (.f64 x -8)))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 x 8) (*.f64 4 (+.f64 y x))) z)
(.f64 z (+.f64 (.f64 x 8) (/.f64 (+.f64 y x) -1/4)))
(.f64 z (-.f64 (/.f64 (+.f64 y x) -1/4) (.f64 x -8)))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 x 8) (*.f64 4 (+.f64 y x))) z)
(.f64 z (+.f64 (.f64 x 8) (/.f64 (+.f64 y x) -1/4)))
(.f64 z (-.f64 (/.f64 (+.f64 y x) -1/4) (.f64 x -8)))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 x 8) (*.f64 4 (+.f64 y x))) z)
(.f64 z (+.f64 (.f64 x 8) (/.f64 (+.f64 y x) -1/4)))
(.f64 z (-.f64 (/.f64 (+.f64 y x) -1/4) (.f64 x -8)))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 x 8) (*.f64 4 (+.f64 y x))) z)
(.f64 z (+.f64 (.f64 x 8) (/.f64 (+.f64 y x) -1/4)))
(.f64 z (-.f64 (/.f64 (+.f64 y x) -1/4) (.f64 x -8)))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 x 8) (*.f64 4 (+.f64 y x))) z)
(.f64 z (+.f64 (.f64 x 8) (/.f64 (+.f64 y x) -1/4)))
(.f64 z (-.f64 (/.f64 (+.f64 y x) -1/4) (.f64 x -8)))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 x 8) (*.f64 4 (+.f64 y x))) z)
(.f64 z (+.f64 (.f64 x 8) (/.f64 (+.f64 y x) -1/4)))
(.f64 z (-.f64 (/.f64 (+.f64 y x) -1/4) (.f64 x -8)))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 x 8) (*.f64 4 (+.f64 y x))) z)
(.f64 z (+.f64 (.f64 x 8) (/.f64 (+.f64 y x) -1/4)))
(.f64 z (-.f64 (/.f64 (+.f64 y x) -1/4) (.f64 x -8)))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 (+.f64 y x))) z)
(.f64 (-.f64 (.f64 x 8) (*.f64 4 (+.f64 y x))) z)
(.f64 z (+.f64 (.f64 x 8) (/.f64 (+.f64 y x) -1/4)))
(.f64 z (-.f64 (/.f64 (+.f64 y x) -1/4) (.f64 x -8)))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 z -4))
(.f64 y (.f64 -4 z))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(.f64 4 (.f64 z x))
(.f64 4 (.f64 x z))
(.f64 x (.f64 4 z))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(.f64 4 (.f64 z x))
(.f64 4 (.f64 x z))
(.f64 x (.f64 4 z))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(+.f64 (.f64 4 (.f64 z x)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(.f64 (-.f64 (.f64 8 x) (*.f64 4 x)) z)
(.f64 4 (.f64 x z))
(.f64 x (.f64 4 z))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 z -4))
(.f64 y (.f64 -4 z))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 z -4))
(.f64 y (.f64 -4 z))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(+.f64 (.f64 (-.f64 (.f64 8 x) (.f64 4 x)) z) (.f64 -4 (*.f64 y z)))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 4 (.f64 x z)))
(+.f64 (.f64 y (.f64 z -4)) (.f64 x (.f64 4 z)))
(.f64 z (+.f64 (.f64 -4 y) (*.f64 4 x)))
(+.f64 (.f64 x 8) (.f64 (+.f64 x y) -4))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 0)
(*.f64 4 (+.f64 (-.f64 x x) (-.f64 x y)))
(*.f64 4 (+.f64 0 (-.f64 x y)))
(*.f64 4 (-.f64 x y))
(+.f64 0 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))))
(*.f64 4 (+.f64 (-.f64 x x) (-.f64 x y)))
(*.f64 4 (+.f64 0 (-.f64 x y)))
(*.f64 4 (-.f64 x y))
(+.f64 (.f64 (+.f64 x y) -4) (.f64 x 8))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (.f64 (+.f64 x y) -4) (neg.f64 (neg.f64 (.f64 x 8))))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (.f64 x 16) (neg.f64 (+.f64 (.f64 x 8) (*.f64 4 (+.f64 x y)))))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 x 16)) (neg.f64 (*.f64 x 8)))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (-.f64 (.f64 x 4) (.f64 (+.f64 x y) 2)) (-.f64 (.f64 x 4) (.f64 (+.f64 x y) 2)))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (neg.f64 (.f64 x 8)) (+.f64 (.f64 (+.f64 x y) -4) (*.f64 x 16)))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (.f64 x 4) (+.f64 (.f64 (+.f64 x y) -4) (*.f64 x 4)))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (+.f64 (.f64 x 8) (.f64 4 (+.f64 x y))) (neg.f64 (*.f64 8 (+.f64 x y))))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 3) 2) (-.f64 (.f64 (+.f64 x y) 2) (.f64 x 4)))
(+.f64 (/.f64 (.f64 (.f64 4 (+.f64 (-.f64 x x) (-.f64 x y))) 3) 2) (-.f64 (.f64 (+.f64 y x) 2) (.f64 4 x)))
(+.f64 (/.f64 (.f64 (+.f64 0 (-.f64 x y)) 12) 2) (-.f64 (.f64 (+.f64 y x) 2) (*.f64 4 x)))
(+.f64 (/.f64 (.f64 (-.f64 x y) 12) 2) (-.f64 (.f64 (+.f64 y x) 2) (*.f64 4 x)))
(+.f64 (/.f64 (.f64 (-.f64 x y) 24) 4) (-.f64 (.f64 (+.f64 y x) 2) (*.f64 4 x)))
(+.f64 (.f64 8 (-.f64 x (+.f64 x y))) (.f64 4 (+.f64 x y)))
(+.f64 (.f64 4 (+.f64 y x)) (.f64 8 (-.f64 x (+.f64 y x))))
(+.f64 (.f64 4 (+.f64 y x)) (.f64 8 (+.f64 0 (neg.f64 y))))
(+.f64 (.f64 4 (+.f64 y x)) (.f64 8 (neg.f64 y)))
(+.f64 (.f64 4 (+.f64 y x)) (.f64 y -8))
(+.f64 (+.f64 (.f64 (+.f64 x y) -4) (+.f64 (.f64 x 8) (.f64 4 (+.f64 x y)))) (.f64 (+.f64 x y) -4))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (.f64 -2 (+.f64 x y)) (-.f64 (.f64 x 8) (*.f64 (+.f64 x y) 2)))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (.f64 -2 (+.f64 x y)) (neg.f64 (-.f64 (.f64 (+.f64 x y) 2) (*.f64 x 8))))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (.f64 -2 (+.f64 x y)) (/.f64 (-.f64 (.f64 (+.f64 x y) 2) (*.f64 x 8)) -1))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (-.f64 (.f64 x 8) (.f64 (+.f64 x y) 2)) (*.f64 -2 (+.f64 x y)))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (neg.f64 (neg.f64 (.f64 x 8))) (.f64 (+.f64 x y) -4))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (-.f64 (+.f64 x x) (+.f64 x y)) (/.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 3) 2) 2))
(+.f64 (+.f64 (-.f64 x x) (-.f64 x y)) (/.f64 (.f64 (.f64 4 (+.f64 (-.f64 x x) (-.f64 x y))) 3) 4))
(+.f64 (+.f64 0 (-.f64 x y)) (/.f64 (*.f64 (+.f64 0 (-.f64 x y)) 12) 4))
(+.f64 (-.f64 x y) (/.f64 (*.f64 (-.f64 x y) 12) 4))
(+.f64 (-.f64 x y) (/.f64 (*.f64 (-.f64 x y) 24) 8))
(+.f64 (-.f64 (+.f64 x x) (+.f64 x y)) (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 3) 4))
(+.f64 (+.f64 (-.f64 x x) (-.f64 x y)) (/.f64 (.f64 (.f64 4 (+.f64 (-.f64 x x) (-.f64 x y))) 3) 4))
(+.f64 (+.f64 0 (-.f64 x y)) (/.f64 (*.f64 (+.f64 0 (-.f64 x y)) 12) 4))
(+.f64 (-.f64 x y) (/.f64 (*.f64 (-.f64 x y) 12) 4))
(+.f64 (-.f64 x y) (/.f64 (*.f64 (-.f64 x y) 24) 8))
(+.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 x 4)) (*.f64 x 4))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 x 4)) (neg.f64 (neg.f64 (*.f64 x 4))))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (-.f64 (.f64 x 8) (+.f64 x y)) (neg.f64 (.f64 (+.f64 x y) 3)))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (-.f64 (.f64 x 8) (+.f64 y (+.f64 x x))) (neg.f64 (+.f64 y (.f64 (+.f64 x y) 2))))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (-.f64 (.f64 x 8) (+.f64 x (+.f64 y y))) (neg.f64 (+.f64 x (.f64 (+.f64 x y) 2))))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (-.f64 (.f64 x 16) (.f64 x 8)) (*.f64 (+.f64 x y) -4))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (-.f64 (.f64 x 16) (.f64 (+.f64 x y) 2)) (neg.f64 (+.f64 (.f64 x 8) (.f64 (+.f64 x y) 2))))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (-.f64 (.f64 x 16) (.f64 x 4)) (neg.f64 (.f64 2 (.f64 2 (+.f64 y (+.f64 x x))))))
(-.f64 (.f64 x 16) (+.f64 (.f64 4 x) (*.f64 (+.f64 y (+.f64 x x)) 4)))
(+.f64 (.f64 x 12) (neg.f64 (.f64 4 (+.f64 y (+.f64 x x)))))
(+.f64 (.f64 x 12) (.f64 (+.f64 y (+.f64 x x)) -4))
(+.f64 (.f64 x 12) (.f64 -4 (+.f64 y (+.f64 x x))))
(+.f64 (-.f64 (+.f64 (.f64 x 8) (.f64 4 (+.f64 x y))) (.f64 (+.f64 x y) 2)) (neg.f64 (.f64 (+.f64 x y) 6)))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (/.f64 (-.f64 (.f64 (+.f64 x y) 2) (.f64 x 8)) -1) (*.f64 -2 (+.f64 x y)))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (/.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 4)) -1) (/.f64 (neg.f64 (*.f64 x 4)) -1))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (/.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 x 16)) 4) (/.f64 (+.f64 (.f64 (+.f64 x y) -4) (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y)))) 4))
(/.f64 (+.f64 (+.f64 (.f64 -4 (+.f64 y x)) (.f64 x 16)) (+.f64 (.f64 -4 (+.f64 y x)) (.f64 8 (+.f64 (-.f64 x x) (-.f64 x y))))) 4)
(/.f64 (+.f64 (.f64 -4 (+.f64 y x)) (+.f64 (.f64 8 (+.f64 0 (-.f64 x y))) (+.f64 (.f64 -4 (+.f64 y x)) (.f64 x 16)))) 4)
(/.f64 (+.f64 (.f64 x 16) (+.f64 (.f64 8 (-.f64 x y)) (*.f64 (+.f64 y x) -8))) 4)
(+.f64 (.f64 4 x) (/.f64 (+.f64 (.f64 8 (-.f64 x y)) (*.f64 (+.f64 y x) -8)) 4))
(*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y)))
(*.f64 4 (+.f64 (-.f64 x x) (-.f64 x y)))
(*.f64 4 (+.f64 0 (-.f64 x y)))
(*.f64 4 (-.f64 x y))
(.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 1)
(*.f64 4 (+.f64 (-.f64 x x) (-.f64 x y)))
(*.f64 4 (+.f64 0 (-.f64 x y)))
(*.f64 4 (-.f64 x y))
(.f64 1 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))))
(*.f64 4 (+.f64 (-.f64 x x) (-.f64 x y)))
(*.f64 4 (+.f64 0 (-.f64 x y)))
(*.f64 4 (-.f64 x y))
(.f64 (-.f64 (.f64 4 (+.f64 x y)) (*.f64 x 8)) -1)
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(.f64 2 (-.f64 (.f64 x 4) (*.f64 (+.f64 x y) 2)))
(.f64 2 (-.f64 (.f64 4 x) (*.f64 (+.f64 y x) 2)))
(.f64 2 (+.f64 (.f64 4 x) (/.f64 (+.f64 y x) -1/2)))
(.f64 (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 1/2)
(*.f64 4 (+.f64 (-.f64 x x) (-.f64 x y)))
(*.f64 4 (+.f64 0 (-.f64 x y)))
(*.f64 4 (-.f64 x y))
(.f64 -1 (-.f64 (.f64 4 (+.f64 x y)) (*.f64 x 8)))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(.f64 1/2 (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))))
(*.f64 4 (+.f64 (-.f64 x x) (-.f64 x y)))
(*.f64 4 (+.f64 0 (-.f64 x y)))
(*.f64 4 (-.f64 x y))
(.f64 1/2 (-.f64 (.f64 x 32) (*.f64 8 (+.f64 (+.f64 x y) (+.f64 x x)))))
(.f64 1/2 (-.f64 (.f64 x 32) (*.f64 8 (+.f64 x (+.f64 y (+.f64 x x))))))
(.f64 1/2 (-.f64 (.f64 x 32) (*.f64 8 (+.f64 y (+.f64 (+.f64 x x) x)))))
(.f64 1/2 (-.f64 (.f64 x 32) (*.f64 8 (+.f64 y (+.f64 x (+.f64 x x))))))
(.f64 (-.f64 (.f64 x 4) (*.f64 (+.f64 x y) 2)) 2)
(.f64 2 (-.f64 (.f64 4 x) (*.f64 (+.f64 y x) 2)))
(.f64 2 (+.f64 (.f64 4 x) (/.f64 (+.f64 y x) -1/2)))
(.f64 (-.f64 (.f64 x 32) (*.f64 (+.f64 x y) 16)) 1/4)
(.f64 (-.f64 (.f64 x 32) (*.f64 (+.f64 y x) 16)) 1/4)
(.f64 1/4 (-.f64 (.f64 x 32) (*.f64 (+.f64 y x) 16)))
(.f64 1/4 (-.f64 (.f64 x 32) (*.f64 (+.f64 x y) 16)))
(.f64 (-.f64 (.f64 x 32) (*.f64 (+.f64 y x) 16)) 1/4)
(.f64 1/4 (-.f64 (.f64 x 32) (*.f64 (+.f64 y x) 16)))
(.f64 (.f64 (*.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 4) 1/8)
(*.f64 4 (+.f64 (-.f64 x x) (-.f64 x y)))
(*.f64 4 (+.f64 0 (-.f64 x y)))
(*.f64 4 (-.f64 x y))
(*.f64 (-.f64 (+.f64 x x) (+.f64 x y)) 4)
(*.f64 4 (+.f64 (-.f64 x x) (-.f64 x y)))
(*.f64 4 (+.f64 0 (-.f64 x y)))
(*.f64 4 (-.f64 x y))
(/.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 1)
(*.f64 4 (+.f64 (-.f64 x x) (-.f64 x y)))
(*.f64 4 (+.f64 0 (-.f64 x y)))
(*.f64 4 (-.f64 x y))
(/.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)) -1)
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(/.f64 (*.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 2)
(*.f64 4 (+.f64 (-.f64 x x) (-.f64 x y)))
(*.f64 4 (+.f64 0 (-.f64 x y)))
(*.f64 4 (-.f64 x y))
(/.f64 (-.f64 (.f64 x 32) (.f64 (+.f64 x y) 16)) 4)
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(/.f64 (-.f64 (.f64 8 (+.f64 x y)) (.f64 x 16)) -2)
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(/.f64 (.f64 (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 4) 8)
(*.f64 4 (+.f64 (-.f64 x x) (-.f64 x y)))
(*.f64 4 (+.f64 0 (-.f64 x y)))
(*.f64 4 (-.f64 x y))
(/.f64 (-.f64 (.f64 (+.f64 x y) 16) (.f64 x 32)) -4)
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(/.f64 (.f64 (+.f64 (+.f64 x y) (.f64 x -2)) 16) -4)
(/.f64 (.f64 16 (+.f64 (+.f64 y x) (.f64 x -2))) -4)
(/.f64 (.f64 16 (+.f64 y (+.f64 x (.f64 x -2)))) -4)
(/.f64 (/.f64 (-.f64 (.f64 (+.f64 x y) 16) (.f64 x 32)) -1) 4)
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(/.f64 (/.f64 (.f64 (+.f64 (+.f64 x y) (.f64 x -2)) 16) -1) 4)
(/.f64 (.f64 16 (+.f64 (+.f64 y x) (.f64 x -2))) -4)
(/.f64 (.f64 16 (+.f64 y (+.f64 x (.f64 x -2)))) -4)
(/.f64 (-.f64 (.f64 x 32) (.f64 8 (+.f64 (+.f64 x y) (+.f64 x x)))) 2)
(/.f64 (-.f64 (.f64 x 32) (.f64 8 (+.f64 x (+.f64 y (+.f64 x x))))) 2)
(/.f64 (-.f64 (.f64 x 32) (.f64 8 (+.f64 y (+.f64 (+.f64 x x) x)))) 2)
(/.f64 (-.f64 (.f64 x 32) (.f64 8 (+.f64 y (+.f64 x (+.f64 x x))))) 2)
(/.f64 (+.f64 (neg.f64 (.f64 (+.f64 x y) 16)) (.f64 x 32)) 4)
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(/.f64 (-.f64 (.f64 2 (.f64 x 32)) (.f64 2 (.f64 (+.f64 x y) 16))) 8)
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(/.f64 (-.f64 (.f64 2 (.f64 x 32)) (+.f64 (.f64 x 32) (.f64 (+.f64 x y) 16))) 4)
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(/.f64 (-.f64 (.f64 8 (+.f64 (+.f64 x y) (+.f64 x x))) (.f64 (+.f64 x y) 16)) 2)
(/.f64 (-.f64 (.f64 8 (+.f64 x (+.f64 y (+.f64 x x)))) (.f64 (+.f64 y x) 16)) 2)
(/.f64 (-.f64 (.f64 8 (+.f64 y (+.f64 (+.f64 x x) x))) (.f64 (+.f64 y x) 16)) 2)
(/.f64 (-.f64 (.f64 8 (+.f64 y (+.f64 x (+.f64 x x)))) (.f64 (+.f64 y x) 16)) 2)
(/.f64 (-.f64 (+.f64 (.f64 x 32) (.f64 (+.f64 x y) 16)) (.f64 2 (.f64 (+.f64 x y) 16))) 4)
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(pow.f64 (*.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) 1)
(*.f64 4 (+.f64 (-.f64 x x) (-.f64 x y)))
(*.f64 4 (+.f64 0 (-.f64 x y)))
(*.f64 4 (-.f64 x y))
(neg.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)))
(+.f64 (.f64 x 8) (.f64 -4 (+.f64 y x)))
(-.f64 (/.f64 (+.f64 y x) -1/4) (*.f64 x -8))
(+.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 0)
(.f64 z (.f64 4 (+.f64 (-.f64 x x) (-.f64 x y))))
(.f64 (+.f64 0 (-.f64 x y)) (.f64 4 z))
(.f64 4 (.f64 z (-.f64 x y)))
(+.f64 0 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z))
(.f64 z (.f64 4 (+.f64 (-.f64 x x) (-.f64 x y))))
(.f64 (+.f64 0 (-.f64 x y)) (.f64 4 z))
(.f64 4 (.f64 z (-.f64 x y)))
(+.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))) (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))))
(*.f64 (+.f64 (-.f64 x x) (-.f64 x y)) (+.f64 (+.f64 z z) (+.f64 z z)))
(.f64 -2 (neg.f64 (.f64 (+.f64 0 (-.f64 x y)) (+.f64 z z))))
(.f64 (.f64 (-.f64 x y) (+.f64 z z)) 2)
(.f64 2 (.f64 (-.f64 x y) (+.f64 z z)))
(+.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 4) (/.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (*.f64 z 3)) 2) 2))
(.f64 z (.f64 4 (+.f64 (-.f64 x x) (-.f64 x y))))
(.f64 (+.f64 0 (-.f64 x y)) (.f64 4 z))
(.f64 4 (.f64 z (-.f64 x y)))
(+.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 4) (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (*.f64 z 3)) 4))
(.f64 z (.f64 4 (+.f64 (-.f64 x x) (-.f64 x y))))
(.f64 (+.f64 0 (-.f64 x y)) (.f64 4 z))
(.f64 4 (.f64 z (-.f64 x y)))
(-.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 0)
(.f64 z (.f64 4 (+.f64 (-.f64 x x) (-.f64 x y))))
(.f64 (+.f64 0 (-.f64 x y)) (.f64 4 z))
(.f64 4 (.f64 z (-.f64 x y)))
(-.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))) (neg.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y)))))
(*.f64 (+.f64 (-.f64 x x) (-.f64 x y)) (+.f64 (+.f64 z z) (+.f64 z z)))
(.f64 -2 (neg.f64 (.f64 (+.f64 0 (-.f64 x y)) (+.f64 z z))))
(.f64 (.f64 (-.f64 x y) (+.f64 z z)) 2)
(.f64 2 (.f64 (-.f64 x y) (+.f64 z z)))
(-.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y))) (/.f64 (.f64 z (-.f64 (.f64 8 (+.f64 x y)) (.f64 x 16))) 4))
(-.f64 (.f64 (+.f64 (-.f64 x x) (-.f64 x y)) (+.f64 z z)) (/.f64 (.f64 z (-.f64 (.f64 8 (+.f64 y x)) (.f64 x 16))) 4))
(-.f64 (.f64 (+.f64 0 (-.f64 x y)) (+.f64 z z)) (/.f64 (.f64 z (-.f64 (.f64 8 (+.f64 y x)) (.f64 x 16))) 4))
(-.f64 (.f64 (-.f64 x y) (+.f64 z z)) (/.f64 (.f64 z (-.f64 (.f64 8 (+.f64 y x)) (.f64 x 16))) 4))
(-.f64 (/.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (.f64 z 3)) 2) 2) (/.f64 (neg.f64 (.f64 (+.f64 z z) (-.f64 (+.f64 x x) (+.f64 x y)))) 2))
(-.f64 (/.f64 (.f64 (.f64 4 (+.f64 (-.f64 x x) (-.f64 x y))) (.f64 z 3)) 4) (/.f64 (neg.f64 (.f64 (+.f64 (-.f64 x x) (-.f64 x y)) (+.f64 z z))) 2))
(-.f64 (/.f64 (.f64 z (.f64 (+.f64 0 (-.f64 x y)) 12)) 4) (/.f64 (*.f64 (+.f64 0 (-.f64 x y)) (+.f64 z z)) -2))
(-.f64 (/.f64 (.f64 (-.f64 x y) (.f64 z 12)) 4) (/.f64 (*.f64 (-.f64 x y) (+.f64 z z)) -2))
(-.f64 (/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) (.f64 z 3)) 4) (/.f64 (.f64 z (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8))) 4))
(/.f64 (-.f64 (.f64 (.f64 4 (+.f64 (-.f64 x x) (-.f64 x y))) (.f64 z 3)) (.f64 z (-.f64 (.f64 4 (+.f64 y x)) (.f64 x 8)))) 4)
(/.f64 (-.f64 (.f64 z (.f64 (+.f64 0 (-.f64 x y)) 12)) (.f64 z (-.f64 (.f64 4 (+.f64 y x)) (*.f64 x 8)))) 4)
(/.f64 (-.f64 (.f64 (-.f64 x y) (.f64 z 12)) (.f64 z (-.f64 (.f64 4 (+.f64 y x)) (*.f64 x 8)))) 4)
(/.f64 (-.f64 (.f64 (-.f64 x y) (.f64 z 12)) (.f64 z (+.f64 (.f64 x -8) (/.f64 (+.f64 y x) 1/4)))) 4)
(/.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 1)
(.f64 z (.f64 4 (+.f64 (-.f64 x x) (-.f64 x y))))
(.f64 (+.f64 0 (-.f64 x y)) (.f64 4 z))
(.f64 4 (.f64 z (-.f64 x y)))
(/.f64 (.f64 z (.f64 8 (-.f64 (+.f64 x x) (+.f64 x y)))) 2)
(.f64 z (.f64 4 (+.f64 (-.f64 x x) (-.f64 x y))))
(.f64 (+.f64 0 (-.f64 x y)) (.f64 4 z))
(.f64 4 (.f64 z (-.f64 x y)))
(/.f64 (.f64 z (-.f64 (.f64 4 (+.f64 x y)) (*.f64 x 8))) -1)
(.f64 (-.f64 (.f64 x 8) (*.f64 4 (+.f64 y x))) z)
(.f64 z (+.f64 (.f64 x 8) (/.f64 (+.f64 y x) -1/4)))
(.f64 z (-.f64 (/.f64 (+.f64 y x) -1/4) (.f64 x -8)))
(/.f64 (.f64 z (-.f64 (.f64 x 32) (*.f64 (+.f64 x y) 16))) 4)
(/.f64 (.f64 z (-.f64 (.f64 x 32) (*.f64 (+.f64 y x) 16))) 4)
(/.f64 (.f64 z (-.f64 (.f64 8 (+.f64 x y)) (*.f64 x 16))) -2)
(/.f64 (.f64 z (-.f64 (.f64 8 (+.f64 y x)) (*.f64 x 16))) -2)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)) (.f64 z 4)) -4)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 y x)) (.f64 x 8)) (.f64 4 z)) -4)
(/.f64 (.f64 4 (.f64 z (+.f64 (*.f64 x -8) (/.f64 (+.f64 y x) 1/4)))) -4)
(/.f64 (.f64 (.f64 z 4) (-.f64 (.f64 x 32) (.f64 (+.f64 x y) 16))) 16)
(/.f64 (.f64 (-.f64 (.f64 x 32) (.f64 (+.f64 y x) 16)) (.f64 4 z)) 16)
(/.f64 (.f64 z (.f64 4 (-.f64 (.f64 x 32) (.f64 (+.f64 y x) 16)))) 16)
(/.f64 (.f64 z (.f64 (*.f64 8 (-.f64 (+.f64 x x) (+.f64 x y))) 4)) 8)
(.f64 z (.f64 4 (+.f64 (-.f64 x x) (-.f64 x y))))
(.f64 (+.f64 0 (-.f64 x y)) (.f64 4 z))
(.f64 4 (.f64 z (-.f64 x y)))
(/.f64 (/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)) (.f64 z 4)) 2) -2)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 y x)) (.f64 x 8)) (.f64 4 z)) -4)
(/.f64 (.f64 4 (.f64 z (+.f64 (*.f64 x -8) (/.f64 (+.f64 y x) 1/4)))) -4)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 x y)) (.f64 x 8)) (.f64 2 (*.f64 z 4))) -8)
(/.f64 (.f64 (-.f64 (.f64 4 (+.f64 y x)) (.f64 x 8)) (.f64 4 z)) -4)
(/.f64 (.f64 4 (.f64 z (+.f64 (*.f64 x -8) (/.f64 (+.f64 y x) 1/4)))) -4)
(/.f64 (.f64 z (-.f64 (.f64 (+.f64 x y) 16) (*.f64 x 32))) -4)
(/.f64 (.f64 z (-.f64 (.f64 (+.f64 y x) 16) (*.f64 x 32))) -4)
(/.f64 (.f64 z (.f64 (+.f64 (+.f64 x y) (*.f64 x -2)) 16)) -4)
(/.f64 (.f64 z (.f64 16 (+.f64 (+.f64 y x) (*.f64 x -2)))) -4)
(/.f64 (.f64 z (.f64 (+.f64 y (+.f64 x (*.f64 x -2))) 32)) -8)
(/.f64 (.f64 z (.f64 16 (+.f64 y (+.f64 x (*.f64 x -2))))) -4)
(/.f64 (.f64 z (.f64 32 (+.f64 y (+.f64 x (*.f64 x -2))))) -8)
(pow.f64 (.f64 (.f64 4 (-.f64 (+.f64 x x) (+.f64 x y))) z) 1)
(.f64 z (.f64 4 (+.f64 (-.f64 x x) (-.f64 x y))))
(.f64 (+.f64 0 (-.f64 x y)) (.f64 4 z))
(.f64 4 (.f64 z (-.f64 x y)))
(neg.f64 (.f64 z (-.f64 (.f64 4 (+.f64 x y)) (*.f64 x 8))))
(.f64 (-.f64 (.f64 x 8) (*.f64 4 (+.f64 y x))) z)
(.f64 z (+.f64 (.f64 x 8) (/.f64 (+.f64 y x) -1/4)))
(.f64 z (-.f64 (/.f64 (+.f64 y x) -1/4) (.f64 x -8)))

eval858.0ms (7%)

Compiler: Compiled 3484 to 2001 computations (42.6% saved)

prune120.0ms (1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	179	0	179
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	179	4	183

Error

Counts

183 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(+.f64 x (/.f64 (.f64 z (-.f64 (.f64 x 8) (*.f64 4 (+.f64 x y)))) -4))
✓	0.0b	(+.f64 x (*.f64 (-.f64 y x) z))
✓	21.6b	(+.f64 x (*.f64 z (neg.f64 x)))
✓	13.0b	(+.f64 x (*.f64 z y))

Compiler

Compiled 45 to 30 computations (33.3% saved)

regimes257.0ms (2.1%)

Counts

4 → 1

Calls

Call 1

Inputs
(+.f64 x (*.f64 z y))
(+.f64 x (*.f64 z (neg.f64 x)))
(+.f64 x (*.f64 (-.f64 y x) z))
(+.f64 x (/.f64 (.f64 z (-.f64 (.f64 x 8) (*.f64 4 (+.f64 x y)))) -4))

Outputs
(+.f64 x (/.f64 (.f64 z (-.f64 (.f64 x 8) (*.f64 4 (+.f64 x y)))) -4))

Calls

4 calls:

180.0ms	(+.f64 x (*.f64 (-.f64 y x) z))
31.0ms	y
29.0ms	x
15.0ms	z

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`y`
0b	1	`z`
0b	1	`(+.f64 x (*.f64 (-.f64 y x) z))`

Compiler

Compiled 58 to 36 computations (37.9% saved)

regimes73.0ms (0.6%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

4 calls:

42.0ms	y
16.0ms	(+.f64 x (*.f64 (-.f64 y x) z))
7.0ms	x
7.0ms	z

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`z`
0.0b	1	`(+.f64 x (*.f64 (-.f64 y x) z))`

Compiler

Compiled 43 to 26 computations (39.5% saved)

regimes318.0ms (2.6%)

Accuracy

Total -28.5b remaining (-482.9%)

Threshold costs -28.5b (-482.9%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

3 calls:

211.0ms	z
57.0ms	y
49.0ms	x

Results

Error	Segments	Branch
5.9b	3	`x`
6.6b	3	`y`
8.2b	3	`z`

Compiler

Compiled 26 to 17 computations (34.6% saved)

bsearch95.0ms (0.8%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
27.0ms	2.021076066464846e-44	3.1945915348493285e-43
68.0ms	-1.5117175588903745e-80	-1.7445274833831406e-84

Results

91.0ms

224×

body

256

valid

Compiler

Compiled 282 to 193 computations (31.6% saved)

simplify21.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	140

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (/.f64 (.f64 z (-.f64 (.f64 x 8) (*.f64 4 (+.f64 x y)))) -4))
(+.f64 x (*.f64 (-.f64 y x) z))
(if (<=.f64 x -6194362404170639/4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873152) (+.f64 x (.f64 z (neg.f64 x))) (if (<=.f64 x 4770597318893877/50216813883093446110686315385661331328818843555712276103168) (+.f64 x (.f64 z y)) (+.f64 x (*.f64 z (neg.f64 x)))))
(+.f64 x (*.f64 z y))

Outputs
(+.f64 x (/.f64 (.f64 z (-.f64 (.f64 x 8) (*.f64 4 (+.f64 x y)))) -4))
(+.f64 x (*.f64 (-.f64 y x) z))
(if (<=.f64 x -6194362404170639/4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873152) (+.f64 x (.f64 z (neg.f64 x))) (if (<=.f64 x 4770597318893877/50216813883093446110686315385661331328818843555712276103168) (+.f64 x (.f64 z y)) (+.f64 x (*.f64 z (neg.f64 x)))))
(+.f64 x (*.f64 z y))

Compiler

Compiled 64 to 38 computations (40.6% saved)

soundness720.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

1106×	`rational_best-simplify-55`
918×	`rational_best-simplify-48`
770×	`rational_best-simplify-63`
760×	`rational_best-simplify-47`
740×	`rational_best-simplify-52`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	246	2822
1	569	2660
2	1439	2528
3	4051	2504

Stop Event

1×	node limit

Compiler

Compiled 202 to 132 computations (34.7% saved)

end450.0ms (3.7%)

Compiler: Compiled 55 to 27 computations (50.9% saved)

Details

analyze865.0ms (7%)

sample5.0s (40.9%)

preprocess306.0ms (2.5%)

simplify459.0ms (3.7%)

eval1.0ms (0%)

prune1.0ms (0%)

localize35.0ms (0.3%)

series5.0ms (0%)

rewrite592.0ms (4.8%)

simplify492.0ms (4%)

eval178.0ms (1.4%)

prune179.0ms (1.5%)

localize8.0ms (0.1%)

localize26.0ms (0.2%)

localize110.0ms (0.9%)

series10.0ms (0.1%)

rewrite414.0ms (3.4%)

simplify686.0ms (5.6%)

eval858.0ms (7%)

prune120.0ms (1%)

regimes257.0ms (2.1%)

regimes73.0ms (0.6%)

regimes318.0ms (2.6%)

bsearch95.0ms (0.8%)

simplify21.0ms (0.2%)

soundness720.0ms (5.8%)

end450.0ms (3.7%)

Profiling