Details

analyze282.0ms (8.6%)

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.1s (65.7%)

Results

856.0ms	2837×	body	1024	valid
487.0ms	1275×	body	2048	valid
478.0ms	2913×	body	256	valid
283.0ms	1230×	body	512	valid
1.0ms	1×	body	4096	valid

Bogosity

preprocess110.0ms (3.4%)

Algorithm

2×	egg-herbie

Rules

1602×	`rational_best_oopsla_all_46_json_45_simplify-10`
1518×	`rational_best_oopsla_all_46_json_45_simplify-30`
894×	`rational_best_oopsla_all_46_json_45_simplify-80`
718×	`rational_best_oopsla_all_46_json_45_simplify-49`
620×	`rational_best_oopsla_all_46_json_45_simplify-77`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	132
1	60	132
2	148	132
3	431	132
4	1626	132
5	3720	132
6	6459	132
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 (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 1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 1 (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 (*.f64 x y) (+.f64 z 1)))
(-.f64 (fma.f64 y x z) (+.f64 1 (+.f64 (*.f64 y x) z)))
(-.f64 (fma.f64 y x z) (+.f64 1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 y x z) (+.f64 z (+.f64 1 (*.f64 x y))))
(-.f64 (fma.f64 y x z) (+.f64 (*.f64 x y) (+.f64 z 1)))
(-.f64 -1 (-.f64 (+.f64 z (*.f64 x y)) (fma.f64 y x z)))
(-.f64 (fma.f64 z y x) (+.f64 1 (+.f64 (*.f64 z y) x)))
(-.f64 (fma.f64 z y x) (+.f64 1 (+.f64 x (*.f64 y z))))
(-.f64 (fma.f64 z y x) (+.f64 x (+.f64 1 (*.f64 y z))))
(-.f64 -1 (+.f64 x (-.f64 (*.f64 y z) (fma.f64 z y x))))
(-.f64 (fma.f64 x z y) (+.f64 1 (+.f64 (*.f64 x z) y)))
(-.f64 (fma.f64 x z y) (+.f64 1 (+.f64 y (*.f64 x z))))
(-.f64 (fma.f64 x z y) (+.f64 (*.f64 x z) (+.f64 y 1)))

Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify95.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

1098×	`rational_best_oopsla_all_46_json_45_simplify-49`
1028×	`rational_best_oopsla_all_46_json_45_simplify-7`
966×	`rational_best_oopsla_all_46_json_45_simplify-72`
744×	`rational_best_oopsla_all_46_json_45_simplify-10`
708×	`rational_best_oopsla_all_46_json_45_simplify-30`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	33
1	21	33
2	50	33
3	140	33
4	499	33
5	2515	33
6	5331	33

Stop Event

1×	node limit

Counts

1 → 6

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

eval1.0ms (0%)

Compiler: Compiled 75 to 29 computations (61.3% saved)

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	4	2	6
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	5	2	7

Error

14.8b

Counts

7 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 30 to 18 computations (40% saved)

localize14.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	1.9b	(-.f64 z (fma.f64 x y z))
✓	10.5b	(+.f64 (*.f64 x y) (-.f64 z (fma.f64 x y z)))

Compiler

Compiled 42 to 10 computations (76.2% saved)

series8.0ms (0.2%)

Counts

2 → 72

Calls

18 calls:

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

rewrite97.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

1850×	`rational_best_oopsla_all_46_json-2`
1850×	`rational_best_oopsla_all_46_json-1`
1850×	`rational_best_oopsla_all_46_json-4`
1850×	`rational_best_oopsla_all_46_json-3`
810×	`rational_best_oopsla_all_46_json_45_simplify-7`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	42
1	60	42
2	179	42
3	727	42
4	3602	42

Stop Event

1×	node limit

Counts

2 → 75

Calls

Call 1

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

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

Outputs

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

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

simplify103.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

1030×	`rational_best_oopsla_all_46_json_45_simplify-49`
830×	`rational_best_oopsla_all_46_json_45_simplify-23`
732×	`rational_best_oopsla_all_46_json_45_simplify-36`
636×	`rational_best_oopsla_all_46_json_45_simplify-35`
630×	`rational_best_oopsla_all_46_json_45_simplify-13`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	144	2297
1	572	2073
2	4524	2073

Stop Event

1×	node limit

Counts

147 → 83

Calls

Call 1

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

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

localize15.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 36 to 15 computations (58.3% saved)

series1.0ms (0%)

Counts

2 → 72

Calls

18 calls:

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

rewrite78.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

2048×	`rational_best_oopsla_all_46_json-2`
2048×	`rational_best_oopsla_all_46_json-1`
2048×	`rational_best_oopsla_all_46_json-4`
2048×	`rational_best_oopsla_all_46_json-3`
864×	`rational_best_oopsla_all_46_json_45_simplify-7`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	52
1	72	52
2	201	52
3	802	52
4	3974	52

Stop Event

1×	node limit

Counts

2 → 86

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 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x y z) (.f64 1 (-.f64 -1 (+.f64 z (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x y z) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -1))))) (#(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 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.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)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (.f64 0 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))))))) (#(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 -1 (+.f64 z (.f64 x y))) (fma.f64 x y z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1 (-.f64 -1 (+.f64 z (.f64 x y)))) (fma.f64 x y z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) 0) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) 0) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) -1) (fma.f64 x y z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 z 1) -1) (.f64 -1 (-.f64 (.f64 x y) (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (fma.f64 x y z) (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))) (.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (-.f64 -1 (+.f64 z (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 0 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 z -1) (.f64 -1 (+.f64 (.f64 x y) (-.f64 1 (fma.f64 x y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -1 (+.f64 (.f64 x y) (-.f64 1 (fma.f64 x y z)))) (.f64 z -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x y) -1) (.f64 -1 (+.f64 1 (-.f64 z (fma.f64 x y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -1 (+.f64 1 (-.f64 z (fma.f64 x y z)))) (.f64 (.f64 x y) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -1 (-.f64 (.f64 x y) (fma.f64 x y z))) (.f64 (+.f64 z 1) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 (.f64 x y) 1) -1) (.f64 -1 (-.f64 z (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -1 (-.f64 z (fma.f64 x y z))) (.f64 (+.f64 (.f64 x y) 1) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 z (.f64 x y)) -1) (.f64 -1 (-.f64 1 (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -1 (-.f64 1 (fma.f64 x y z))) (.f64 (+.f64 z (.f64 x y)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (-.f64 -1 (+.f64 z (.f64 x y)))) (.f64 (fma.f64 x y z) (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))))))) (#(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 (+.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)))) (+.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)))) (.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (/.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)))) (.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.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)))) (+.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)))) (.f64 1 (.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (/.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)))) (.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.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)))) (/.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)))) (.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.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)))) (+.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)))) (.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (/.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (+.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)))) (.f64 (.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (/.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)))) (+.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)))) (.f64 (.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.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)))) (+.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)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (+.f64 (+.f64 (.f64 x y) 1) (-.f64 z (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (+.f64 (+.f64 (.f64 x y) 1) (-.f64 z (fma.f64 x y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.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)))) (/.f64 1 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.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)))) (/.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.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)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (+.f64 (.f64 x y) 1) (-.f64 z (fma.f64 x y z))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (+.f64 (.f64 x y) 1) (-.f64 z (fma.f64 x y z))) (neg.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (/.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.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)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))) (+.f64 (+.f64 (.f64 x y) 1) (-.f64 z (fma.f64 x y z))))))) (#(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 (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)))) (+.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)))) (/.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.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)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 (.f64 x y) 1) (-.f64 z (fma.f64 x y z))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 (+.f64 (*.f64 x y) 1) (-.f64 z (fma.f64 x y z))))))))
((#(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 z 1) (.f64 x (neg.f64 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 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 -1 (+.f64 z (+.f64 (.f64 x y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 z (.f64 x y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (+.f64 z (.f64 x y)) (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1)))) (.f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) -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 (+.f64 z (+.f64 (.f64 x y) 1)) (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (/.f64 1 (+.f64 z (+.f64 (.f64 x y) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 1 (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (/.f64 1 (+.f64 z (+.f64 (.f64 x y) 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (/.f64 1 (+.f64 z (+.f64 (.f64 x y) 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) (.f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (/.f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) (+.f64 z (+.f64 (.f64 x y) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (/.f64 1 (+.f64 z (+.f64 (.f64 x y) 1)))) (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 z (+.f64 (.f64 x y) 1)) (.f64 (.f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1)))) (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 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 -1 (.f64 1 (-.f64 -1 (+.f64 z (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (.f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) (-.f64 -1 (+.f64 z (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) (+.f64 z (+.f64 (.f64 x y) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (/.f64 1 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (/.f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (/.f64 1 (+.f64 z (+.f64 (.f64 x y) 1)))) (+.f64 z (+.f64 (.f64 x y) 1)))))) (#(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 -1 (+.f64 z (.f64 x y))) (neg.f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1)))) (+.f64 z (+.f64 (.f64 x y) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1)))) (-.f64 -1 (+.f64 z (.f64 x y))))))) (#(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 z (+.f64 (.f64 x y) 1)) (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (/.f64 (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1))) (/.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (+.f64 z (+.f64 (.f64 x y) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 -1 (+.f64 z (+.f64 (*.f64 x y) 1))))))))

Outputs

((#(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 (fma.f64 x y z) (*.f64 1 (-.f64 -1 (+.f64 z (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x y z) (*.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -1))))) (#(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 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (*.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.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)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (*.f64 0 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))))))) (#(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 -1 (+.f64 z (*.f64 x y))) (fma.f64 x y z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1 (-.f64 -1 (+.f64 z (*.f64 x y)))) (fma.f64 x y z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))) 0) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) 0) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) -1) (fma.f64 x y z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 z 1) -1) (*.f64 -1 (-.f64 (*.f64 x y) (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (fma.f64 x y z) (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))) (*.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))) (-.f64 -1 (+.f64 z (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z -1) (*.f64 -1 (+.f64 (*.f64 x y) (-.f64 1 (fma.f64 x y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -1 (+.f64 (*.f64 x y) (-.f64 1 (fma.f64 x y z)))) (*.f64 z -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x y) -1) (*.f64 -1 (+.f64 1 (-.f64 z (fma.f64 x y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -1 (+.f64 1 (-.f64 z (fma.f64 x y z)))) (*.f64 (*.f64 x y) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -1 (-.f64 (*.f64 x y) (fma.f64 x y z))) (*.f64 (+.f64 z 1) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (*.f64 x y) 1) -1) (*.f64 -1 (-.f64 z (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -1 (-.f64 z (fma.f64 x y z))) (*.f64 (+.f64 (*.f64 x y) 1) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 z (*.f64 x y)) -1) (*.f64 -1 (-.f64 1 (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -1 (-.f64 1 (fma.f64 x y z))) (*.f64 (+.f64 z (*.f64 x y)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))) (-.f64 -1 (+.f64 z (*.f64 x y)))) (*.f64 (fma.f64 x y z) (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))))))) (#(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 (+.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)))) (+.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)))) (*.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (/.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)))) (*.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.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)))) (+.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)))) (*.f64 1 (*.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (/.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)))) (*.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.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)))) (/.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)))) (*.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))) (*.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.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)))) (+.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)))) (*.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (/.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))) (+.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)))) (*.f64 (*.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (/.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)))) (+.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)))) (*.f64 (*.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.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)))) (+.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)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 (+.f64 (*.f64 x y) 1) (-.f64 z (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))) (+.f64 (+.f64 (*.f64 x y) 1) (-.f64 z (fma.f64 x y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.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)))) (/.f64 1 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.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)))) (/.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.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)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 (*.f64 x y) 1) (-.f64 z (fma.f64 x y z))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 (*.f64 x y) 1) (-.f64 z (fma.f64 x y z))) (neg.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (/.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.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)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))) (+.f64 (+.f64 (*.f64 x y) 1) (-.f64 z (fma.f64 x y z))))))) (#(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 (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)))) (+.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)))) (/.f64 (/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) (+.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)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 (*.f64 x y) 1) (-.f64 z (fma.f64 x y z))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 (+.f64 (*.f64 x y) 1) (-.f64 z (fma.f64 x y z))))))))

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

simplify89.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1054×	`rational_best_oopsla_all_46_json_45_simplify-72`
1010×	`rational_best_oopsla_all_46_json_45_simplify-49`
910×	`rational_best_oopsla_all_46_json_45_simplify-35`
778×	`rational_best_oopsla_all_46_json_45_simplify-23`
650×	`rational_best_oopsla_all_46_json_45_simplify-37`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	173	3074
1	678	2972
2	4380	2972

Stop Event

1×	node limit

Counts

158 → 101

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

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

eval62.0ms (1.9%)

Compiler: Compiled 5462 to 1503 computations (72.5% saved)

prune26.0ms (0.8%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	183	1	184
Fresh	0	0	0
Picked	1	0	1
Done	1	0	1
Total	185	1	186

Error

Counts

186 → 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)

regimes14.0ms (0.4%)

Accuracy

Total -46.6b remaining (-∞%)

Threshold costs -46.6b (-∞%)

Counts

4 → 1

Calls

Call 1

Inputs
-1
(-.f64 -1 (+.f64 (*.f64 x y) (-.f64 z (fma.f64 x y z))))
(-.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	y
3.0ms	x
3.0ms	z
2.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 67 to 36 computations (46.3% 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)

soundness112.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1098×	`rational_best_oopsla_all_46_json_45_simplify-49`
1028×	`rational_best_oopsla_all_46_json_45_simplify-7`
966×	`rational_best_oopsla_all_46_json_45_simplify-72`
744×	`rational_best_oopsla_all_46_json_45_simplify-10`
708×	`rational_best_oopsla_all_46_json_45_simplify-30`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	33
1	21	33
2	50	33
3	140	33
4	499	33
5	2515	33
6	5331	33

Stop Event

1×	node limit

Compiler

Compiled 39 to 17 computations (56.4% saved)

end10.0ms (0.3%)

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

Details

analyze282.0ms (8.6%)

sample2.1s (65.7%)

preprocess110.0ms (3.4%)

simplify95.0ms (2.9%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize14.0ms (0.4%)

series8.0ms (0.2%)

rewrite97.0ms (3%)

simplify103.0ms (3.1%)

localize15.0ms (0.5%)

series1.0ms (0%)

rewrite78.0ms (2.4%)

simplify89.0ms (2.7%)

eval62.0ms (1.9%)

prune26.0ms (0.8%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes14.0ms (0.4%)

simplify1.0ms (0%)

soundness112.0ms (3.4%)

end10.0ms (0.3%)

Profiling