Details

analyze787.0ms (18.9%)

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
25%	25%	74.9%	0.1%	0%	0%	0%	9
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	10
44.5%	44.5%	55.4%	0.1%	0%	0%	0%	11
50.4%	50.3%	49.5%	0.1%	0%	0%	0%	12

Compiler

Compiled 16 to 10 computations (37.5% saved)

sample2.5s (60.5%)

Results

1.2s	2816×	body	1024	valid
446.0ms	1247×	body	512	valid
427.0ms	3029×	body	256	valid
412.0ms	1163×	body	2048	valid
0.0ms	1×	body	4096	valid

Bogosity

preprocess15.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

56×	`rational_best-simplify-1`
20×	`rational_best-simplify-17`
16×	`rational_best-simplify-49`
12×	`rational_best-simplify-43`
8×	`rational_best-simplify-46`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	132
1	49	132
2	77	132
3	97	132
4	108	132
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify10.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

16×	`rational_best-simplify-1`
6×	`rational_best-simplify-17`
4×	`rational_best-simplify-49`
4×	`rational_best-simplify-43`
2×	`rational_best-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	33
1	19	33
2	27	33
3	33	33
4	36	33

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 51 to 21 computations (58.8% saved)

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	3	1	4
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	4	1	5

Error

43.8b

Counts

5 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	43.8b	(-.f64 (fma.f64 x y z) (+.f64 (*.f64 x y) (+.f64 z 1)))

Compiler

Compiled 15 to 9 computations (40% saved)

localize12.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 x y) (+.f64 z 1))
✓	9.6b	(-.f64 (fma.f64 x y z) (+.f64 (*.f64 x y) (+.f64 z 1)))

Compiler

Compiled 36 to 15 computations (58.3% saved)

series6.0ms (0.1%)

Counts

2 → 72

Calls

18 calls:

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

rewrite334.0ms (8%)

Algorithm

1×	batch-egg-rewrite

Rules

1720×	`rational_best-2`
1720×	`rational_best-3`
1720×	`rational_best-1`
1686×	`rational_best-4`
1682×	`exponential-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	52
1	78	52
2	126	52
3	193	52
4	355	52
5	734	52
6	1738	52
7	3517	52
8	5780	52

Stop Event

1×	node limit

Counts

2 → 89

Calls

Call 1

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

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

Outputs

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

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

simplify374.0ms (9%)

Algorithm

1×	egg-herbie

Rules

3758×	`rational_best-simplify-43`
1054×	`rational_best-simplify-1`
934×	`rational_best-simplify-46`
924×	`rational_best-simplify-2`
850×	`rational_best-simplify-49`

Iterations

Useful iterations: 17 (0.0ms)

Iter	Nodes	Cost
0	212	5893
1	437	5873
2	878	4223
3	1208	4223
4	1293	4223
5	1333	4223
6	1372	4205
7	1411	4205
8	1480	4197
9	1552	4197
10	1621	4197
11	1688	4197
12	1779	4197
13	1946	4197
14	2177	4197
15	2417	4197
16	2624	4197
17	2867	4139
18	5878	4139
19	6463	4139
20	7415	4139
21	7822	4139

Stop Event

1×	node limit

Counts

161 → 153

Calls

Call 1

Inputs
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
(+.f64 1 z)
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(*.f64 y x)
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(*.f64 y x)
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 z)
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(*.f64 y x)
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(*.f64 y x)
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (*.f64 y x))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
z
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
z
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 z (+.f64 (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2) (+.f64 (fma.f64 x y z) (+.f64 (*.f64 x y) 1))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(+.f64 (.f64 x y) (+.f64 (+.f64 (fma.f64 x y z) (+.f64 z 1)) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 1 (-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 2))))
(+.f64 (+.f64 z 1) (+.f64 (+.f64 (fma.f64 x y z) (.f64 x y)) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) 0)
(+.f64 0 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))
(+.f64 (+.f64 z (.f64 x y)) (+.f64 (+.f64 (fma.f64 x y z) 1) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 -1 (-.f64 (fma.f64 x y z) (+.f64 z (*.f64 x y))))
(+.f64 (+.f64 (.f64 x y) 1) (+.f64 (+.f64 z (fma.f64 x y z)) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 (.f64 (fma.f64 x y z) 2) (-.f64 -1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))))
(+.f64 (+.f64 1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2))
(+.f64 (+.f64 z (fma.f64 x y z)) (+.f64 (+.f64 (.f64 x y) 1) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 (+.f64 (fma.f64 x y z) (.f64 x y)) (+.f64 (+.f64 z 1) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 (+.f64 (fma.f64 x y z) 1) (+.f64 (+.f64 z (.f64 x y)) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 (+.f64 (fma.f64 x y z) (+.f64 z 1)) (+.f64 (.f64 x y) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y))) (+.f64 -1 (.f64 (+.f64 z (*.f64 x y)) -2)))
(+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y))) (+.f64 1 (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y))) (-.f64 1 (+.f64 2 (.f64 (+.f64 z (*.f64 x y)) 2))))
(+.f64 (-.f64 (fma.f64 x y z) (+.f64 z (*.f64 x y))) -1)
(+.f64 (-.f64 -1 (+.f64 z (*.f64 x y))) (fma.f64 x y z))
(+.f64 (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2) (+.f64 1 (+.f64 (fma.f64 x y z) (+.f64 z (*.f64 x y)))))
(+.f64 (neg.f64 (+.f64 z (*.f64 x y))) (+.f64 (fma.f64 x y z) -1))
(+.f64 (-.f64 -1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) (.f64 (fma.f64 x y z) 2))
(+.f64 (.f64 (fma.f64 x y z) 4) (-.f64 -1 (+.f64 (+.f64 z (.f64 x y)) (*.f64 (fma.f64 x y z) 3))))
(+.f64 (+.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (fma.f64 x y z) 3)) (.f64 (+.f64 1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) -2))
(+.f64 (+.f64 (+.f64 z (.f64 x y)) (.f64 (fma.f64 x y z) 3)) (-.f64 -1 (.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y))) 2)))
(+.f64 (+.f64 (fma.f64 x y z) (+.f64 (.f64 x y) 1)) (+.f64 z (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 (+.f64 (fma.f64 x y z) -1) (neg.f64 (+.f64 z (*.f64 x y))))
(+.f64 (+.f64 -1 (.f64 (fma.f64 x y z) 2)) (neg.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))))
(+.f64 (-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 2))) 1)
(+.f64 (+.f64 -1 (.f64 (+.f64 z (.f64 x y)) -2)) (+.f64 (fma.f64 x y z) (+.f64 z (*.f64 x y))))
(+.f64 (.f64 (+.f64 z (.f64 x y)) -2) (+.f64 -1 (+.f64 (fma.f64 x y z) (+.f64 z (*.f64 x y)))))
(+.f64 (.f64 (+.f64 z (.f64 x y)) -2) (-.f64 -1 (neg.f64 (+.f64 (fma.f64 x y z) (+.f64 z (*.f64 x y))))))
(+.f64 (-.f64 -1 (+.f64 (+.f64 z (.f64 x y)) (.f64 (fma.f64 x y z) 3))) (*.f64 (fma.f64 x y z) 4))
(+.f64 (neg.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) (+.f64 -1 (.f64 (fma.f64 x y z) 2)))
(+.f64 (.f64 (+.f64 1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) 2) (neg.f64 (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) 3))))
(+.f64 (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) 3)) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -4))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y))) (+.f64 2 (.f64 (+.f64 z (.f64 x y)) 2))) (-.f64 1 (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) 4)))
(+.f64 (+.f64 -1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) (.f64 (+.f64 z (*.f64 x y)) -2))
(+.f64 (+.f64 z (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2)) (+.f64 (fma.f64 x y z) (+.f64 (*.f64 x y) 1)))
(+.f64 (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2)) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 (+.f64 (.f64 x y) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)) (+.f64 (fma.f64 x y z) (+.f64 z 1)))
(+.f64 (+.f64 1 (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2)) (+.f64 (fma.f64 x y z) (+.f64 z (*.f64 x y))))
(+.f64 (+.f64 (+.f64 z 1) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2)) (+.f64 (fma.f64 x y z) (*.f64 x y)))
(+.f64 (+.f64 (+.f64 z (.f64 x y)) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)) (+.f64 (fma.f64 x y z) 1))
(+.f64 (+.f64 (+.f64 (.f64 x y) 1) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)) (+.f64 z (fma.f64 x y z)))
(+.f64 (+.f64 (+.f64 z (fma.f64 x y z)) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2)) (+.f64 (*.f64 x y) 1))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (.f64 x y)) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)) (+.f64 z 1))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) 1) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2)) (+.f64 z (*.f64 x y)))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (+.f64 z 1)) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2)) (*.f64 x y))
(+.f64 (+.f64 (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2) (+.f64 (fma.f64 x y z) (+.f64 (*.f64 x y) 1))) z)
(+.f64 (+.f64 (.f64 (fma.f64 x y z) 4) -1) (neg.f64 (+.f64 (+.f64 z (.f64 x y)) (*.f64 (fma.f64 x y z) 3))))
(+.f64 (.f64 (+.f64 1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) -2) (+.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (fma.f64 x y z) 3)))
(+.f64 (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -4) (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) 3)))
(+.f64 (neg.f64 (+.f64 (+.f64 z (.f64 x y)) (.f64 (fma.f64 x y z) 3))) (-.f64 -1 (*.f64 (fma.f64 x y z) -4)))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) 1) (+.f64 z (+.f64 (.f64 x y) 2))) (neg.f64 (.f64 2 (+.f64 z (+.f64 (*.f64 x y) 2)))))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y))) (+.f64 1 (.f64 (+.f64 z (.f64 x y)) 2))) (.f64 2 (+.f64 -1 (.f64 (+.f64 z (.f64 x y)) -2))))
(+.f64 (+.f64 (+.f64 2 (+.f64 z (.f64 x (+.f64 y y)))) (+.f64 (fma.f64 x y z) (+.f64 (.f64 x y) 1))) (neg.f64 (.f64 2 (+.f64 2 (+.f64 z (.f64 x (+.f64 y y)))))))
(+.f64 (+.f64 (.f64 (fma.f64 x y z) 4) (+.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (fma.f64 x y z) 3))) (.f64 (+.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (fma.f64 x y z) 3)) -2))
(+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (+.f64 (.f64 x y) 2))) (-.f64 1 (.f64 2 (+.f64 z (+.f64 (*.f64 x y) 2)))))
(+.f64 (+.f64 (+.f64 z (fma.f64 x y z)) (+.f64 (.f64 x y) (+.f64 z (+.f64 z 1)))) (neg.f64 (.f64 2 (+.f64 (*.f64 x y) (+.f64 z (+.f64 z 1))))))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (.f64 x y)) (+.f64 1 (+.f64 z (.f64 x (+.f64 y y))))) (neg.f64 (.f64 2 (+.f64 1 (+.f64 z (.f64 x (+.f64 y y)))))))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (+.f64 z 1)) (+.f64 (+.f64 z (.f64 x y)) (+.f64 z 2))) (neg.f64 (.f64 2 (+.f64 (+.f64 z (*.f64 x y)) (+.f64 z 2)))))
(+.f64 (neg.f64 (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) 3))) (.f64 (+.f64 1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) 2))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y))) (.f64 (+.f64 z (.f64 x y)) 2)) (-.f64 -1 (.f64 (+.f64 z (*.f64 x y)) 4)))
(.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))
(.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) 1)
(.f64 -1 (+.f64 (+.f64 z (.f64 x y)) (-.f64 1 (fma.f64 x y z))))
(.f64 -1 (+.f64 (-.f64 -1 (+.f64 z (.f64 x y))) (+.f64 (neg.f64 (fma.f64 x y z)) (+.f64 2 (.f64 (+.f64 z (.f64 x y)) 2)))))
(.f64 (+.f64 (+.f64 z (.f64 x y)) (-.f64 1 (fma.f64 x y z))) -1)
(.f64 (+.f64 (-.f64 -1 (+.f64 z (.f64 x y))) (+.f64 (neg.f64 (fma.f64 x y z)) (+.f64 2 (.f64 (+.f64 z (.f64 x y)) 2)))) -1)
(/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) 1)
(/.f64 (+.f64 (+.f64 z (*.f64 x y)) (-.f64 1 (fma.f64 x y z))) -1)
(pow.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) 1)
(neg.f64 (+.f64 (+.f64 z (*.f64 x y)) (-.f64 1 (fma.f64 x y z))))
(-.f64 1 (neg.f64 (+.f64 z (*.f64 x y))))
(-.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) 0)
(-.f64 0 (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (+.f64 z (*.f64 x y)) -1)
(.f64 1 (+.f64 z (+.f64 (.f64 x y) 1)))
(.f64 (+.f64 z (+.f64 (.f64 x y) 1)) 1)
(.f64 -1 (-.f64 -1 (+.f64 z (.f64 x y))))
(.f64 (-.f64 -1 (+.f64 z (.f64 x y))) -1)
(/.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) 1)
(/.f64 (-.f64 -1 (+.f64 z (*.f64 x y))) -1)
(pow.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) 1)
(neg.f64 (-.f64 -1 (+.f64 z (*.f64 x y))))

Outputs
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
(+.f64 1 z)
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(*.f64 y x)
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(*.f64 y x)
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 z)
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(*.f64 y x)
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(*.f64 y x)
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (*.f64 y x))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
z
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
z
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 1 (+.f64 (*.f64 y x) z))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(+.f64 z (+.f64 (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2) (+.f64 (fma.f64 x y z) (+.f64 (*.f64 x y) 1))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (.f64 x y) (+.f64 (+.f64 (fma.f64 x y z) (+.f64 z 1)) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 1 (-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 2))))
(+.f64 1 (-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 y x) 2))))
(+.f64 1 (-.f64 (fma.f64 x y z) (+.f64 (*.f64 y x) (+.f64 z 2))))
(+.f64 (+.f64 z 1) (+.f64 (+.f64 (fma.f64 x y z) (.f64 x y)) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) 0)
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 0 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 z (.f64 x y)) (+.f64 (+.f64 (fma.f64 x y z) 1) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 -1 (-.f64 (fma.f64 x y z) (+.f64 z (*.f64 x y))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (.f64 x y) 1) (+.f64 (+.f64 z (fma.f64 x y z)) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (.f64 (fma.f64 x y z) 2) (-.f64 -1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 z (fma.f64 x y z)) (+.f64 (+.f64 (.f64 x y) 1) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (fma.f64 x y z) (.f64 x y)) (+.f64 (+.f64 z 1) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (fma.f64 x y z) 1) (+.f64 (+.f64 z (.f64 x y)) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (fma.f64 x y z) (+.f64 z 1)) (+.f64 (.f64 x y) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y))) (+.f64 -1 (.f64 (+.f64 z (*.f64 x y)) -2)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y))) (+.f64 1 (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y))) (-.f64 1 (+.f64 2 (.f64 (+.f64 z (*.f64 x y)) 2))))
(+.f64 (+.f64 (.f64 y x) (+.f64 z (fma.f64 x y z))) (-.f64 1 (+.f64 2 (.f64 (+.f64 z (*.f64 y x)) 2))))
(+.f64 (fma.f64 x y z) (+.f64 (+.f64 z (.f64 y x)) (-.f64 1 (+.f64 2 (.f64 (+.f64 z (*.f64 y x)) 2)))))
(+.f64 (.f64 y x) (+.f64 (+.f64 z (fma.f64 x y z)) (-.f64 1 (+.f64 2 (.f64 (+.f64 z (*.f64 y x)) 2)))))
(+.f64 (-.f64 (fma.f64 x y z) (+.f64 z (*.f64 x y))) -1)
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (-.f64 -1 (+.f64 z (*.f64 x y))) (fma.f64 x y z))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2) (+.f64 1 (+.f64 (fma.f64 x y z) (+.f64 z (*.f64 x y)))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (neg.f64 (+.f64 z (*.f64 x y))) (+.f64 (fma.f64 x y z) -1))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (-.f64 -1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) (.f64 (fma.f64 x y z) 2))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (.f64 (fma.f64 x y z) 4) (-.f64 -1 (+.f64 (+.f64 z (.f64 x y)) (*.f64 (fma.f64 x y z) 3))))
(+.f64 (.f64 (fma.f64 x y z) 4) (-.f64 -1 (+.f64 (+.f64 z (.f64 y x)) (*.f64 (fma.f64 x y z) 3))))
(+.f64 (.f64 (fma.f64 x y z) 4) (-.f64 -1 (+.f64 (.f64 y x) (+.f64 z (*.f64 (fma.f64 x y z) 3)))))
(+.f64 (-.f64 -1 (+.f64 z (.f64 y x))) (+.f64 (.f64 (fma.f64 x y z) -3) (*.f64 (fma.f64 x y z) 4)))
(+.f64 (+.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (fma.f64 x y z) 3)) (.f64 (+.f64 1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) -2))
(+.f64 (+.f64 (+.f64 1 (+.f64 z (.f64 y x))) (.f64 (fma.f64 x y z) 3)) (.f64 -2 (+.f64 1 (+.f64 (.f64 y x) (+.f64 z (fma.f64 x y z))))))
(+.f64 (+.f64 z (+.f64 1 (.f64 y x))) (+.f64 (.f64 (fma.f64 x y z) 3) (.f64 -2 (+.f64 (.f64 y x) (+.f64 (fma.f64 x y z) (+.f64 1 z))))))
(+.f64 (+.f64 1 (+.f64 z (.f64 y x))) (+.f64 (.f64 (fma.f64 x y z) 3) (.f64 -2 (+.f64 1 (+.f64 z (+.f64 (.f64 y x) (fma.f64 x y z)))))))
(+.f64 (+.f64 (+.f64 z (.f64 x y)) (.f64 (fma.f64 x y z) 3)) (-.f64 -1 (.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y))) 2)))
(+.f64 (+.f64 (+.f64 z (.f64 y x)) (.f64 (fma.f64 x y z) 3)) (-.f64 -1 (.f64 2 (+.f64 (.f64 y x) (+.f64 z (fma.f64 x y z))))))
(+.f64 (+.f64 (.f64 y x) (+.f64 z (.f64 (fma.f64 x y z) 3))) (-.f64 -1 (.f64 2 (+.f64 (.f64 y x) (+.f64 z (fma.f64 x y z))))))
(+.f64 (+.f64 (.f64 y x) (+.f64 z (.f64 (fma.f64 x y z) 3))) (+.f64 (.f64 -2 (+.f64 (.f64 y x) (+.f64 z (fma.f64 x y z)))) -1))
(+.f64 (+.f64 (.f64 y x) (+.f64 z (.f64 (fma.f64 x y z) 3))) (+.f64 -1 (.f64 -2 (+.f64 (.f64 y x) (+.f64 z (fma.f64 x y z))))))
(+.f64 (.f64 -2 (+.f64 z (+.f64 (.f64 y x) (fma.f64 x y z)))) (+.f64 -1 (+.f64 (+.f64 z (.f64 y x)) (.f64 (fma.f64 x y z) 3))))
(+.f64 (+.f64 (fma.f64 x y z) (+.f64 (.f64 x y) 1)) (+.f64 z (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (fma.f64 x y z) -1) (neg.f64 (+.f64 z (*.f64 x y))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 -1 (.f64 (fma.f64 x y z) 2)) (neg.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 2))) 1)
(+.f64 1 (-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 y x) 2))))
(+.f64 1 (-.f64 (fma.f64 x y z) (+.f64 (*.f64 y x) (+.f64 z 2))))
(+.f64 (+.f64 -1 (.f64 (+.f64 z (.f64 x y)) -2)) (+.f64 (fma.f64 x y z) (+.f64 z (*.f64 x y))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (.f64 (+.f64 z (.f64 x y)) -2) (+.f64 -1 (+.f64 (fma.f64 x y z) (+.f64 z (*.f64 x y)))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (.f64 (+.f64 z (.f64 x y)) -2) (-.f64 -1 (neg.f64 (+.f64 (fma.f64 x y z) (+.f64 z (*.f64 x y))))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (-.f64 -1 (+.f64 (+.f64 z (.f64 x y)) (.f64 (fma.f64 x y z) 3))) (*.f64 (fma.f64 x y z) 4))
(+.f64 (.f64 (fma.f64 x y z) 4) (-.f64 -1 (+.f64 (+.f64 z (.f64 y x)) (*.f64 (fma.f64 x y z) 3))))
(+.f64 (.f64 (fma.f64 x y z) 4) (-.f64 -1 (+.f64 (.f64 y x) (+.f64 z (*.f64 (fma.f64 x y z) 3)))))
(+.f64 (-.f64 -1 (+.f64 z (.f64 y x))) (+.f64 (.f64 (fma.f64 x y z) -3) (*.f64 (fma.f64 x y z) 4)))
(+.f64 (neg.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) (+.f64 -1 (.f64 (fma.f64 x y z) 2)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (.f64 (+.f64 1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) 2) (neg.f64 (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) 3))))
(+.f64 (.f64 2 (+.f64 1 (+.f64 (.f64 y x) (+.f64 z (fma.f64 x y z))))) (neg.f64 (+.f64 (fma.f64 x y z) (.f64 (+.f64 1 (+.f64 z (.f64 y x))) 3))))
(+.f64 (.f64 2 (+.f64 (.f64 y x) (+.f64 (fma.f64 x y z) (+.f64 1 z)))) (neg.f64 (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 1 (.f64 y x))) 3))))
(+.f64 (.f64 2 (+.f64 (.f64 y x) (+.f64 (fma.f64 x y z) (+.f64 1 z)))) (+.f64 (neg.f64 (fma.f64 x y z)) (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -3)))
(+.f64 (.f64 -2 (-.f64 -1 (+.f64 z (+.f64 (.f64 y x) (fma.f64 x y z))))) (+.f64 (neg.f64 (fma.f64 x y z)) (.f64 (+.f64 1 (+.f64 z (.f64 y x))) -3)))
(+.f64 (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) 3)) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -4))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y))) (+.f64 2 (.f64 (+.f64 z (.f64 x y)) 2))) (-.f64 1 (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) 4)))
(+.f64 (+.f64 (.f64 (+.f64 z (.f64 y x)) 2) (+.f64 2 (+.f64 (.f64 y x) (+.f64 z (fma.f64 x y z))))) (-.f64 1 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) 4)))
(+.f64 (+.f64 2 (.f64 (+.f64 z (.f64 y x)) 2)) (+.f64 (+.f64 (.f64 y x) (+.f64 z (fma.f64 x y z))) (-.f64 1 (.f64 (+.f64 z (+.f64 1 (*.f64 y x))) 4))))
(+.f64 (+.f64 2 (.f64 (+.f64 z (.f64 y x)) 2)) (+.f64 (+.f64 (.f64 y x) (+.f64 z (fma.f64 x y z))) (+.f64 (.f64 (+.f64 z (+.f64 1 (*.f64 y x))) -4) 1)))
(+.f64 (+.f64 2 (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (.f64 y x)) 3))) (+.f64 1 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -4)))
(+.f64 1 (+.f64 (.f64 (+.f64 1 (+.f64 z (.f64 y x))) -4) (+.f64 (fma.f64 x y z) (+.f64 (.f64 (+.f64 z (.f64 y x)) 3) 2))))
(+.f64 (+.f64 -1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) (.f64 (+.f64 z (*.f64 x y)) -2))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 z (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2)) (+.f64 (fma.f64 x y z) (+.f64 (*.f64 x y) 1)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2)) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (.f64 x y) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)) (+.f64 (fma.f64 x y z) (+.f64 z 1)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 1 (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2)) (+.f64 (fma.f64 x y z) (+.f64 z (*.f64 x y))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (+.f64 z 1) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2)) (+.f64 (fma.f64 x y z) (*.f64 x y)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (+.f64 z (.f64 x y)) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)) (+.f64 (fma.f64 x y z) 1))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (+.f64 (.f64 x y) 1) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)) (+.f64 z (fma.f64 x y z)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (+.f64 z (fma.f64 x y z)) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2)) (+.f64 (*.f64 x y) 1))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (.f64 x y)) (.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -2)) (+.f64 z 1))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) 1) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2)) (+.f64 z (*.f64 x y)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (+.f64 z 1)) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2)) (*.f64 x y))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -2) (+.f64 (fma.f64 x y z) (+.f64 (*.f64 x y) 1))) z)
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (.f64 (fma.f64 x y z) 4) -1) (neg.f64 (+.f64 (+.f64 z (.f64 x y)) (*.f64 (fma.f64 x y z) 3))))
(+.f64 (.f64 (fma.f64 x y z) 4) (-.f64 -1 (+.f64 (+.f64 z (.f64 y x)) (*.f64 (fma.f64 x y z) 3))))
(+.f64 (.f64 (fma.f64 x y z) 4) (-.f64 -1 (+.f64 (.f64 y x) (+.f64 z (*.f64 (fma.f64 x y z) 3)))))
(+.f64 (-.f64 -1 (+.f64 z (.f64 y x))) (+.f64 (.f64 (fma.f64 x y z) -3) (*.f64 (fma.f64 x y z) 4)))
(+.f64 (.f64 (+.f64 1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) -2) (+.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (fma.f64 x y z) 3)))
(+.f64 (+.f64 (+.f64 1 (+.f64 z (.f64 y x))) (.f64 (fma.f64 x y z) 3)) (.f64 -2 (+.f64 1 (+.f64 (.f64 y x) (+.f64 z (fma.f64 x y z))))))
(+.f64 (+.f64 z (+.f64 1 (.f64 y x))) (+.f64 (.f64 (fma.f64 x y z) 3) (.f64 -2 (+.f64 (.f64 y x) (+.f64 (fma.f64 x y z) (+.f64 1 z))))))
(+.f64 (+.f64 1 (+.f64 z (.f64 y x))) (+.f64 (.f64 (fma.f64 x y z) 3) (.f64 -2 (+.f64 1 (+.f64 z (+.f64 (.f64 y x) (fma.f64 x y z)))))))
(+.f64 (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -4) (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) 3)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (neg.f64 (+.f64 (+.f64 z (.f64 x y)) (.f64 (fma.f64 x y z) 3))) (-.f64 -1 (*.f64 (fma.f64 x y z) -4)))
(+.f64 (.f64 (fma.f64 x y z) 4) (-.f64 -1 (+.f64 (+.f64 z (.f64 y x)) (*.f64 (fma.f64 x y z) 3))))
(+.f64 (.f64 (fma.f64 x y z) 4) (-.f64 -1 (+.f64 (.f64 y x) (+.f64 z (*.f64 (fma.f64 x y z) 3)))))
(+.f64 (-.f64 -1 (+.f64 z (.f64 y x))) (+.f64 (.f64 (fma.f64 x y z) -3) (*.f64 (fma.f64 x y z) 4)))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) 1) (+.f64 z (+.f64 (.f64 x y) 2))) (neg.f64 (.f64 2 (+.f64 z (+.f64 (*.f64 x y) 2)))))
(+.f64 (+.f64 (+.f64 z (+.f64 (.f64 y x) 2)) (+.f64 1 (fma.f64 x y z))) (neg.f64 (.f64 2 (+.f64 z (+.f64 (*.f64 y x) 2)))))
(+.f64 (+.f64 z (+.f64 (.f64 y x) 2)) (+.f64 (+.f64 1 (fma.f64 x y z)) (.f64 (+.f64 z (+.f64 (*.f64 y x) 2)) -2)))
(+.f64 (+.f64 z (+.f64 (.f64 y x) 2)) (+.f64 (+.f64 1 (fma.f64 x y z)) (.f64 -2 (+.f64 z (+.f64 (*.f64 y x) 2)))))
(+.f64 z (+.f64 (+.f64 (.f64 y x) (+.f64 (fma.f64 x y z) 3)) (.f64 -2 (+.f64 (*.f64 y x) (+.f64 z 2)))))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y))) (+.f64 1 (.f64 (+.f64 z (.f64 x y)) 2))) (.f64 2 (+.f64 -1 (.f64 (+.f64 z (.f64 x y)) -2))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(+.f64 (+.f64 (+.f64 2 (+.f64 z (.f64 x (+.f64 y y)))) (+.f64 (fma.f64 x y z) (+.f64 (.f64 x y) 1))) (neg.f64 (.f64 2 (+.f64 2 (+.f64 z (.f64 x (+.f64 y y)))))))
(+.f64 (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (fma.f64 x y z) (+.f64 (.f64 x (+.f64 y y)) (+.f64 z 2)))) (neg.f64 (.f64 2 (+.f64 (.f64 x (+.f64 y y)) (+.f64 z 2)))))
(+.f64 (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (fma.f64 x y z) (+.f64 z (+.f64 (.f64 x (+.f64 y y)) 2)))) (.f64 (+.f64 z (+.f64 (.f64 x (+.f64 y y)) 2)) -2))
(+.f64 (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (fma.f64 x y z) (+.f64 z (+.f64 2 (.f64 x (+.f64 y y)))))) (.f64 -2 (+.f64 z (+.f64 2 (.f64 x (+.f64 y y))))))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (.f64 x (+.f64 y y))) (+.f64 (+.f64 z (.f64 y x)) 3)) (.f64 -2 (+.f64 z (+.f64 2 (.f64 x (+.f64 y y))))))
(+.f64 (+.f64 (.f64 (fma.f64 x y z) 4) (+.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (fma.f64 x y z) 3))) (.f64 (+.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (fma.f64 x y z) 3)) -2))
(+.f64 (.f64 (fma.f64 x y z) 4) (-.f64 -1 (+.f64 (+.f64 z (.f64 y x)) (*.f64 (fma.f64 x y z) 3))))
(+.f64 (.f64 (fma.f64 x y z) 4) (-.f64 -1 (+.f64 (.f64 y x) (+.f64 z (*.f64 (fma.f64 x y z) 3)))))
(+.f64 (-.f64 -1 (+.f64 z (.f64 y x))) (+.f64 (.f64 (fma.f64 x y z) -3) (*.f64 (fma.f64 x y z) 4)))
(+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (+.f64 (.f64 x y) 2))) (-.f64 1 (.f64 2 (+.f64 z (+.f64 (*.f64 x y) 2)))))
(+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (+.f64 (.f64 y x) 2))) (-.f64 1 (.f64 2 (+.f64 z (+.f64 (*.f64 y x) 2)))))
(+.f64 (-.f64 1 (.f64 2 (+.f64 z (+.f64 (.f64 y x) 2)))) (+.f64 z (+.f64 (+.f64 (*.f64 y x) 2) (fma.f64 x y z))))
(+.f64 (-.f64 1 (.f64 2 (+.f64 z (+.f64 (.f64 y x) 2)))) (+.f64 z (+.f64 (fma.f64 x y z) (+.f64 (*.f64 y x) 2))))
(+.f64 (+.f64 (.f64 y x) 2) (+.f64 (-.f64 1 (.f64 2 (+.f64 (*.f64 y x) (+.f64 z 2)))) (+.f64 z (fma.f64 x y z))))
(+.f64 (+.f64 (+.f64 z (fma.f64 x y z)) (+.f64 (.f64 x y) (+.f64 z (+.f64 z 1)))) (neg.f64 (.f64 2 (+.f64 (*.f64 x y) (+.f64 z (+.f64 z 1))))))
(+.f64 (+.f64 (+.f64 z (fma.f64 x y z)) (+.f64 (.f64 y x) (+.f64 1 (+.f64 z z)))) (neg.f64 (.f64 2 (+.f64 (*.f64 y x) (+.f64 1 (+.f64 z z))))))
(+.f64 (+.f64 z (fma.f64 x y z)) (+.f64 (+.f64 (.f64 y x) (+.f64 1 (+.f64 z z))) (.f64 (+.f64 (*.f64 y x) (+.f64 1 (+.f64 z z))) -2)))
(+.f64 (+.f64 z (fma.f64 x y z)) (+.f64 (+.f64 (.f64 y x) (+.f64 1 (+.f64 z z))) (.f64 -2 (+.f64 (*.f64 y x) (+.f64 1 (+.f64 z z))))))
(+.f64 z (+.f64 (+.f64 (.f64 y x) (fma.f64 x y z)) (+.f64 (+.f64 1 z) (+.f64 z (.f64 -2 (+.f64 1 (+.f64 (*.f64 y x) (+.f64 z z))))))))
(+.f64 z (+.f64 (+.f64 (.f64 y x) (fma.f64 x y z)) (+.f64 (+.f64 1 z) (+.f64 z (.f64 2 (-.f64 -1 (+.f64 (*.f64 y x) (+.f64 z z))))))))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (.f64 x y)) (+.f64 1 (+.f64 z (.f64 x (+.f64 y y))))) (neg.f64 (.f64 2 (+.f64 1 (+.f64 z (.f64 x (+.f64 y y)))))))
(+.f64 (+.f64 (+.f64 (.f64 y x) (fma.f64 x y z)) (+.f64 (.f64 x (+.f64 y y)) (+.f64 1 z))) (neg.f64 (.f64 2 (+.f64 (.f64 x (+.f64 y y)) (+.f64 1 z)))))
(+.f64 (+.f64 1 (+.f64 (.f64 y x) (fma.f64 x y z))) (+.f64 (+.f64 z (.f64 x (+.f64 y y))) (.f64 (+.f64 1 (+.f64 z (.f64 x (+.f64 y y)))) -2)))
(+.f64 (+.f64 1 (+.f64 (.f64 y x) (fma.f64 x y z))) (+.f64 (+.f64 z (.f64 x (+.f64 y y))) (.f64 -2 (+.f64 1 (+.f64 z (.f64 x (+.f64 y y)))))))
(+.f64 1 (+.f64 (+.f64 (+.f64 (.f64 y x) (fma.f64 x y z)) (+.f64 z (.f64 x (+.f64 y y)))) (.f64 -2 (+.f64 (+.f64 1 z) (.f64 x (+.f64 y y))))))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (+.f64 z 1)) (+.f64 (+.f64 z (.f64 x y)) (+.f64 z 2))) (neg.f64 (.f64 2 (+.f64 (+.f64 z (*.f64 x y)) (+.f64 z 2)))))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (+.f64 1 z)) (+.f64 (+.f64 z (.f64 y x)) (+.f64 z 2))) (neg.f64 (.f64 2 (+.f64 (+.f64 z (*.f64 y x)) (+.f64 z 2)))))
(+.f64 (+.f64 (.f64 y x) (+.f64 z (+.f64 z 2))) (+.f64 (+.f64 (fma.f64 x y z) (+.f64 1 z)) (.f64 (+.f64 (*.f64 y x) (+.f64 z (+.f64 z 2))) -2)))
(+.f64 (+.f64 (.f64 y x) (+.f64 z (+.f64 z 2))) (+.f64 (+.f64 (fma.f64 x y z) (+.f64 1 z)) (.f64 -2 (+.f64 (*.f64 y x) (+.f64 z (+.f64 z 2))))))
(+.f64 (fma.f64 x y z) (+.f64 (+.f64 z (+.f64 (+.f64 (.f64 y x) (+.f64 z z)) 3)) (.f64 -2 (+.f64 z (+.f64 (*.f64 y x) (+.f64 z 2))))))
(+.f64 (neg.f64 (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) 3))) (.f64 (+.f64 1 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y)))) 2))
(+.f64 (.f64 2 (+.f64 1 (+.f64 (.f64 y x) (+.f64 z (fma.f64 x y z))))) (neg.f64 (+.f64 (fma.f64 x y z) (.f64 (+.f64 1 (+.f64 z (.f64 y x))) 3))))
(+.f64 (.f64 2 (+.f64 (.f64 y x) (+.f64 (fma.f64 x y z) (+.f64 1 z)))) (neg.f64 (+.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 1 (.f64 y x))) 3))))
(+.f64 (.f64 2 (+.f64 (.f64 y x) (+.f64 (fma.f64 x y z) (+.f64 1 z)))) (+.f64 (neg.f64 (fma.f64 x y z)) (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -3)))
(+.f64 (.f64 -2 (-.f64 -1 (+.f64 z (+.f64 (.f64 y x) (fma.f64 x y z))))) (+.f64 (neg.f64 (fma.f64 x y z)) (.f64 (+.f64 1 (+.f64 z (.f64 y x))) -3)))
(+.f64 (+.f64 (+.f64 (fma.f64 x y z) (+.f64 z (.f64 x y))) (.f64 (+.f64 z (.f64 x y)) 2)) (-.f64 -1 (.f64 (+.f64 z (*.f64 x y)) 4)))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) 1)
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(.f64 -1 (+.f64 (+.f64 z (.f64 x y)) (-.f64 1 (fma.f64 x y z))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(.f64 -1 (+.f64 (-.f64 -1 (+.f64 z (.f64 x y))) (+.f64 (neg.f64 (fma.f64 x y z)) (+.f64 2 (.f64 (+.f64 z (.f64 x y)) 2)))))
(neg.f64 (+.f64 (-.f64 -1 (+.f64 z (.f64 y x))) (+.f64 (.f64 (+.f64 z (*.f64 y x)) 2) (+.f64 2 (neg.f64 (fma.f64 x y z))))))
(neg.f64 (+.f64 (+.f64 2 (.f64 (+.f64 z (.f64 y x)) 2)) (-.f64 -1 (+.f64 (*.f64 y x) (+.f64 z (fma.f64 x y z))))))
(neg.f64 (+.f64 (neg.f64 (fma.f64 x y z)) (+.f64 -1 (+.f64 (*.f64 y x) (+.f64 z 2)))))
(.f64 (+.f64 (+.f64 z (.f64 x y)) (-.f64 1 (fma.f64 x y z))) -1)
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(.f64 (+.f64 (-.f64 -1 (+.f64 z (.f64 x y))) (+.f64 (neg.f64 (fma.f64 x y z)) (+.f64 2 (.f64 (+.f64 z (.f64 x y)) 2)))) -1)
(neg.f64 (+.f64 (-.f64 -1 (+.f64 z (.f64 y x))) (+.f64 (.f64 (+.f64 z (*.f64 y x)) 2) (+.f64 2 (neg.f64 (fma.f64 x y z))))))
(neg.f64 (+.f64 (+.f64 2 (.f64 (+.f64 z (.f64 y x)) 2)) (-.f64 -1 (+.f64 (*.f64 y x) (+.f64 z (fma.f64 x y z))))))
(neg.f64 (+.f64 (neg.f64 (fma.f64 x y z)) (+.f64 -1 (+.f64 (*.f64 y x) (+.f64 z 2)))))
(/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) 1)
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(/.f64 (+.f64 (+.f64 z (*.f64 x y)) (-.f64 1 (fma.f64 x y z))) -1)
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(pow.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) 1)
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(neg.f64 (+.f64 (+.f64 z (*.f64 x y)) (-.f64 1 (fma.f64 x y z))))
(+.f64 z (+.f64 (+.f64 1 (.f64 y x)) (+.f64 (.f64 (+.f64 1 (+.f64 z (*.f64 y x))) -2) (fma.f64 x y z))))
(+.f64 1 (+.f64 (.f64 (+.f64 z (+.f64 1 (.f64 y x))) -2) (+.f64 (+.f64 (*.f64 y x) (fma.f64 x y z)) z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 y x))))
(-.f64 1 (neg.f64 (+.f64 z (*.f64 x y))))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(-.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) 0)
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(-.f64 0 (-.f64 -1 (+.f64 z (*.f64 x y))))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(-.f64 (+.f64 z (*.f64 x y)) -1)
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(.f64 1 (+.f64 z (+.f64 (.f64 x y) 1)))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(.f64 (+.f64 z (+.f64 (.f64 x y) 1)) 1)
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(.f64 -1 (-.f64 -1 (+.f64 z (.f64 x y))))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(.f64 (-.f64 -1 (+.f64 z (.f64 x y))) -1)
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(/.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) 1)
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(/.f64 (-.f64 -1 (+.f64 z (*.f64 x y))) -1)
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(pow.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) 1)
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))
(neg.f64 (-.f64 -1 (+.f64 z (*.f64 x y))))
(+.f64 1 (+.f64 z (*.f64 y x)))
(+.f64 z (+.f64 1 (*.f64 y x)))

eval34.0ms (0.8%)

Compiler: Compiled 3347 to 1306 computations (61% saved)

prune29.0ms (0.7%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	152	1	153
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	153	1	154

Error

Counts

154 → 1

Alt Table

Click to see full alt table

Status	Error	Program
	0b	-1

Compiler

Compiled 4 to 4 computations (0% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
	0b	-1

Compiler

Compiled 4 to 4 computations (0% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
	0b	-1

Compiler

Compiled 4 to 4 computations (0% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
	0b	-1

Compiler

Compiled 4 to 4 computations (0% saved)

regimes13.0ms (0.3%)

Accuracy

Total -43.8b remaining (-∞%)

Threshold costs -43.8b (-∞%)

Counts

3 → 1

Calls

Call 1

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

Outputs
-1

Calls

4 calls:

3.0ms	x
3.0ms	z
3.0ms	y
3.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

Results

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

Compiler

Compiled 55 to 32 computations (41.8% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
-1

Outputs
-1

Compiler

Compiled 4 to 4 computations (0% saved)

soundness12.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

16×	`rational_best-simplify-1`
6×	`rational_best-simplify-17`
4×	`rational_best-simplify-49`
4×	`rational_best-simplify-43`
2×	`rational_best-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	33
1	19	33
2	27	33
3	33	33
4	36	33

Stop Event

1×

saturated

Compiler

Compiled 39 to 17 computations (56.4% saved)

end10.0ms (0.3%)

Compiler: Compiled 4 to 4 computations (0% saved)

Details

analyze787.0ms (18.9%)

sample2.5s (60.5%)

preprocess15.0ms (0.4%)

simplify10.0ms (0.2%)

eval1.0ms (0%)

prune4.0ms (0.1%)

localize12.0ms (0.3%)

series6.0ms (0.1%)

rewrite334.0ms (8%)

simplify374.0ms (9%)

eval34.0ms (0.8%)

prune29.0ms (0.7%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes13.0ms (0.3%)

simplify1.0ms (0%)

soundness12.0ms (0.3%)

end10.0ms (0.3%)

Profiling