Details

analyze273.0ms (9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
6.3%	6.2%	93.6%	0.2%	0%	0%	0%	9
9.4%	9.4%	90.4%	0.2%	0%	0%	0%	10
14.1%	14%	85.8%	0.2%	0%	0%	0%	11
19.6%	18.7%	76.8%	0.2%	4.3%	0%	0%	12

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample2.0s (65.7%)

Results

1.8s	8256×	body	256	valid
229.0ms	1999×	body	256	infinite

Bogosity

preprocess149.0ms (4.9%)

Algorithm

2×	egg-herbie

Rules

1572×	`rational_best_oopsla_all_46_json_45_simplify-49`
1384×	`rational_best_oopsla_all_46_json_45_simplify-23`
1116×	`rational_best_oopsla_all_46_json_45_simplify-10`
1028×	`rational_best_oopsla_all_46_json_45_simplify-7`
936×	`rational_best_oopsla_all_46_json_45_simplify-89`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	133
1	65	133
2	210	133
3	745	133
4	3290	133
5	7591	133
0	4	4
1	4	4

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
0
3
1

Call 2

Inputs
(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
(-.f64 (.f64 x.im y.re) (.f64 x.re y.im))
(-.f64 (.f64 y.re x.re) (.f64 x.im y.im))
(-.f64 (.f64 y.im y.re) (.f64 x.im x.re))
(-.f64 (.f64 x.re x.im) (.f64 y.re y.im))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(-.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Outputs
(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
(-.f64 (.f64 x.im y.re) (.f64 x.re y.im))
(-.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(-.f64 (.f64 y.re x.re) (.f64 x.im y.im))
(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
(-.f64 (.f64 y.im y.re) (.f64 x.im x.re))
(-.f64 (.f64 y.re y.im) (.f64 x.re x.im))
(-.f64 (.f64 x.re x.im) (.f64 y.re y.im))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
(-.f64 (.f64 x.re y.im) (.f64 x.im y.re))
(-.f64 (.f64 x.re y.im) (.f64 y.re x.im))

Symmetry

(sort x.re y.re)

(sort x.im y.im)

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify97.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1524×	`rational_best_oopsla_all_46_json_45_simplify-10`
1452×	`rational_best_oopsla_all_46_json_45_simplify-30`
1420×	`rational_best_oopsla_all_46_json_45_simplify-72`
1080×	`rational_best_oopsla_all_46_json_45_simplify-89`
854×	`rational_best_oopsla_all_46_json_45_simplify-74`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	19	19
2	64	19
3	230	19
4	940	19
5	3636	19
6	6519	19

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))

Outputs
(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))

eval0.0ms (0%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))

Compiler

Compiled 11 to 7 computations (36.4% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))

Compiler

Compiled 21 to 7 computations (66.7% saved)

series4.0ms (0.1%)

Counts

1 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	y.im	@	0	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
0.0ms	x.im	@	0	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
0.0ms	x.re	@	0	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
0.0ms	x.re	@	-inf	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
0.0ms	y.im	@	inf	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))

rewrite66.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1924×	`rational_best_oopsla_all_46_json-2`
1924×	`rational_best_oopsla_all_46_json-1`
1924×	`rational_best_oopsla_all_46_json-4`
1924×	`rational_best_oopsla_all_46_json-3`
678×	`rational_best_oopsla_all_46_json_45_simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	57	19
2	204	19
3	948	19
4	4278	19

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

Inputs
(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))

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

Outputs

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

simplify106.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1618×	`rational_best_oopsla_all_46_json_45_simplify-89`
1492×	`rational_best_oopsla_all_46_json_45_simplify-74`
1108×	`rational_best_oopsla_all_46_json_45_simplify-24`
990×	`rational_best_oopsla_all_46_json_45_simplify-37`
554×	`rational_best_oopsla_all_46_json_45_simplify-108`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	77	1810
1	276	1810
2	1712	1514

Stop Event

1×	node limit

Counts

86 → 46

Calls

Call 1

Inputs
(.f64 -1 (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(.f64 -1 (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(.f64 -1 (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(.f64 -1 (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(.f64 -1 (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(.f64 -1 (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(+.f64 (.f64 x.re y.re) (.f64 1 (*.f64 x.im (neg.f64 y.im))))
(+.f64 (.f64 x.re y.re) (.f64 (*.f64 x.im y.im) -1))
(+.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) 0)
(+.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))) 0))
(+.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)) 0))
(+.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 0 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))))
(+.f64 0 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(+.f64 (.f64 x.im (neg.f64 y.im)) (.f64 x.re y.re))
(+.f64 (.f64 1 (.f64 x.im (neg.f64 y.im))) (*.f64 x.re y.re))
(+.f64 (.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) 0) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))
(+.f64 (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) 0) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))
(+.f64 (.f64 (.f64 x.re y.re) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (.f64 x.im (neg.f64 y.im))))
(+.f64 (.f64 0 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))
(+.f64 (.f64 (.f64 x.im y.im) -1) (*.f64 x.re y.re))
(+.f64 (.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (.f64 x.im (neg.f64 y.im))) (.f64 (.f64 x.re y.re) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(.f64 (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)) 1)
(.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))))
(.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 1 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 1 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))))
(.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))))
(.f64 1 (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))
(.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))
(.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 1 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))))))
(.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))))))
(.f64 (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re)) -1)
(.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (neg.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))))
(.f64 -1 (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re)))
(.f64 (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 1 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(.f64 (.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(.f64 (neg.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re)))
(/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) 1)
(/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))))
(/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(/.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) -1)
(neg.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))

Outputs
(.f64 -1 (.f64 y.im x.im))
(neg.f64 (*.f64 y.im x.im))
(*.f64 x.im (neg.f64 y.im))
(*.f64 y.im (neg.f64 x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.im))
(neg.f64 (*.f64 y.im x.im))
(*.f64 x.im (neg.f64 y.im))
(*.f64 y.im (neg.f64 x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.im))
(neg.f64 (*.f64 y.im x.im))
(*.f64 x.im (neg.f64 y.im))
(*.f64 y.im (neg.f64 x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.im))
(neg.f64 (*.f64 y.im x.im))
(*.f64 x.im (neg.f64 y.im))
(*.f64 y.im (neg.f64 x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.im))
(neg.f64 (*.f64 y.im x.im))
(*.f64 x.im (neg.f64 y.im))
(*.f64 y.im (neg.f64 x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.im))
(neg.f64 (*.f64 y.im x.im))
(*.f64 x.im (neg.f64 y.im))
(*.f64 y.im (neg.f64 x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 x.re y.re) (.f64 1 (*.f64 x.im (neg.f64 y.im))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 x.re y.re) (.f64 (*.f64 x.im y.im) -1))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) 0)
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))) 0))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)) 0))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 0 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 0 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 x.im (neg.f64 y.im)) (.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 1 (.f64 x.im (neg.f64 y.im))) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) 0) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) 0) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 (.f64 x.re y.re) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (.f64 x.im (neg.f64 y.im))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 0 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 (.f64 x.im y.im) -1) (*.f64 x.re y.re))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(+.f64 (.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (.f64 x.im (neg.f64 y.im))) (.f64 (.f64 x.re y.re) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)) 1)
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 1 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 1 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 1 (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 1 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re)) -1)
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (neg.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 -1 (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re)))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 1 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 (neg.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re)))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) 1)
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (/.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(/.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) -1)
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(neg.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))

eval5.0ms (0.2%)

Compiler: Compiled 911 to 110 computations (87.9% saved)

prune8.0ms (0.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	44	2	46
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	44	3	47

Error

0.0b

Counts

47 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
▶	31.8b	(*.f64 y.im (neg.f64 x.im))
▶	29.7b	(*.f64 x.re y.re)

Compiler

Compiled 26 to 18 computations (30.8% saved)

localize4.0ms (0.1%)

Compiler: Compiled 9 to 5 computations (44.4% saved)

localize5.0ms (0.2%)

Compiler: Compiled 12 to 6 computations (50% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.0b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
✓	31.8b	(*.f64 y.im (neg.f64 x.im))
✓	29.7b	(*.f64 x.re y.re)

Compiler

Compiled 26 to 18 computations (30.8% saved)

regimes25.0ms (0.8%)

Counts

3 → 1

Calls

Call 1

Inputs
(*.f64 x.re y.re)
(*.f64 y.im (neg.f64 x.im))
(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))

Outputs
(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))

Calls

7 calls:

4.0ms	y.re
3.0ms	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
3.0ms	y.im
3.0ms	x.im
3.0ms	x.re

Results

Error	Segments	Branch
0.0b	1	`x.re`
0.0b	1	`x.im`
0.0b	1	`y.re`
0.0b	1	`y.im`
0.0b	1	`(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))`
0.0b	1	`(*.f64 x.re y.re)`
0.0b	1	`(*.f64 x.im y.im)`

Compiler

Compiled 63 to 42 computations (33.3% saved)

regimes211.0ms (6.9%)

Accuracy

Total -49.9b remaining (-467.3%)

Threshold costs -49.9b (-467.3%)

Counts

2 → 5

Calls

Call 1

Inputs
(*.f64 x.re y.re)
(*.f64 y.im (neg.f64 x.im))

Outputs
(*.f64 x.re y.re)
(*.f64 y.im (neg.f64 x.im))
(*.f64 x.re y.re)
(*.f64 y.im (neg.f64 x.im))
(*.f64 x.re y.re)

Calls

5 calls:

78.0ms	(*.f64 x.re y.re)
55.0ms	y.re
47.0ms	x.im
19.0ms	x.re
11.0ms	y.im

Results

Error	Segments	Branch
14.7b	7	`x.re`
16.2b	7	`x.im`
18.2b	5	`y.re`
17.2b	3	`y.im`
10.7b	5	`(*.f64 x.re y.re)`

Compiler

Compiled 38 to 28 computations (26.3% saved)

bsearch55.0ms (1.8%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
15.0ms	1.6380259859875803e-24	2.8766921681578096e-21
12.0ms	-1.661047940608354e-94	-5.637975914269193e-97
12.0ms	-1.3925054280050485e-53	-3.0400428358679635e-55
16.0ms	-1.0266608562529807e+34	-2.9536762183830204e+28

Results

50.0ms

512×

body

256

valid

Compiler

Compiled 498 to 397 computations (20.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	129

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(-.f64 (*.f64 x.re y.re) (*.f64 x.im y.im))

(if (<=.f64 (*.f64 x.re y.re) -38999999999999999931075438575616) (*.f64 x.re y.re) (if (<=.f64 (*.f64 x.re y.re) -1725436586697641/1725436586697640946858688965569256363112777243042596638790631055949824) (*.f64 y.im (neg.f64 x.im)) (if (<=.f64 (*.f64 x.re y.re) -6012269011901013/150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464) (*.f64 x.re y.re) (if (<=.f64 (*.f64 x.re y.re) 8613397412686255/5316911983139663491615228241121378304) (*.f64 y.im (neg.f64 x.im)) (*.f64 x.re y.re)))))

(*.f64 x.re y.re)

Outputs

(-.f64 (*.f64 x.re y.re) (*.f64 x.im y.im))

(if (<=.f64 (*.f64 x.re y.re) -38999999999999999931075438575616) (*.f64 x.re y.re) (if (<=.f64 (*.f64 x.re y.re) -1725436586697641/1725436586697640946858688965569256363112777243042596638790631055949824) (*.f64 y.im (neg.f64 x.im)) (if (<=.f64 (*.f64 x.re y.re) -6012269011901013/150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464) (*.f64 x.re y.re) (if (<=.f64 (*.f64 x.re y.re) 8613397412686255/5316911983139663491615228241121378304) (*.f64 y.im (neg.f64 x.im)) (*.f64 x.re y.re)))))

(*.f64 x.re y.re)

Compiler

Compiled 63 to 31 computations (50.8% saved)

soundness0.0ms (0%)

end26.0ms (0.9%)

Remove

(sort x.im y.im)

(sort x.re y.re)

Compiler

Compiled 99 to 49 computations (50.5% saved)

Details

analyze273.0ms (9%)

sample2.0s (65.7%)

preprocess149.0ms (4.9%)

simplify97.0ms (3.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.2%)

series4.0ms (0.1%)

rewrite66.0ms (2.1%)

simplify106.0ms (3.5%)

eval5.0ms (0.2%)

prune8.0ms (0.3%)

localize4.0ms (0.1%)

localize5.0ms (0.2%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes25.0ms (0.8%)

regimes211.0ms (6.9%)

bsearch55.0ms (1.8%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

end26.0ms (0.9%)

Profiling