Details

analyze316.0ms (14.2%)

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)

sample1.2s (53%)

Results

938.0ms	8256×	body	256	valid
221.0ms	2050×	body	256	infinite

Bogosity

preprocess59.0ms (2.6%)

Algorithm

2×	egg-herbie

Rules

1356×	`rational_best-simplify-61`
1322×	`rational_best-simplify-65`
726×	`rational_best-simplify-62`
682×	`rational_best-simplify-52`
522×	`rational_best-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	133
1	120	133
2	633	133
3	3949	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)

simplify96.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

836×	`rational_best-simplify-113`
822×	`rational_best-simplify-1`
610×	`rational_best-simplify-21`
608×	`rational_best-simplify-20`
606×	`rational_best-simplify-18`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	36	19
2	155	19
3	932	19
4	6786	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.3%)

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)

series3.0ms (0.1%)

Counts

1 → 48

Calls

12 calls:

Time	Variable		Point	Expression
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	x.im	@	-inf	(-.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))

rewrite97.0ms (4.4%)

Algorithm

1×	batch-egg-rewrite

Rules

836×	`rational_best-simplify-113`
824×	`rational_best-simplify-1`
610×	`rational_best-simplify-21`
608×	`rational_best-simplify-20`
606×	`rational_best-simplify-18`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	36	19
2	155	19
3	932	19
4	6788	19

Stop Event

1×	node limit

Counts

1 → 28

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 (.f64 x.re y.re) (.f64 x.im y.im)) 0)))) (#(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 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 x.im y.im)) 1)))) (#(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 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))))) (#(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 x.re y.re) (.f64 x.im y.im)) 1)))) (#(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 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) 1))))) (#(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))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))) (+.f64 (+.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)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 -2 (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) (.f64 (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))) (-.f64 4 (.f64 -2 (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.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)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))) (.f64 (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))))) (-.f64 (.f64 (+.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)) 1)) (.f64 (+.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)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) 0) (/.f64 (-.f64 (.f64 y.re (.f64 x.re (.f64 x.re y.re))) (.f64 x.im (.f64 x.im (.f64 y.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 if (!=.f64 (.f64 x.im y.im) 0) (/.f64 (.f64 x.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) y.im)) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 x.re y.re) 0) (/.f64 (.f64 x.re (.f64 y.re (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 x.re y.re)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 x.re (neg.f64 y.re)) 0) (/.f64 (.f64 x.re (.f64 y.re (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 x.re y.re)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) 0) (/.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) (.f64 x.im y.im)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 x.im (neg.f64 y.im)) 0) (/.f64 (.f64 x.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) y.im)) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 0 0) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (.f64 x.im (neg.f64 y.im)) (.f64 x.re y.re)) 0) (/.f64 (-.f64 (.f64 y.re (.f64 x.re (.f64 x.re y.re))) (.f64 x.im (.f64 x.im (.f64 y.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 if (!=.f64 -1 0) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.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 (*.f64 x.re y.re) (*.f64 x.im y.im)) 0)))) (#(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 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 x.im y.im)) 1)))) (#(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 -1 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)))))) (#(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 x.re y.re) (*.f64 x.im y.im)) 1)))) (#(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 (*.f64 x.im y.im) (*.f64 x.re y.re)) (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)) (-.f64 -1 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)))) (+.f64 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)) 1))))) (#(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))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)) (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re))) (+.f64 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)) (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)) (-.f64 -1 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)))) (*.f64 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)) (-.f64 -1 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re))))) (+.f64 (+.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)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 -2 (+.f64 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)) (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)))) (*.f64 (+.f64 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)) (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re))) (+.f64 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)) (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re))))) (-.f64 4 (*.f64 -2 (+.f64 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)) (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.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)) (-.f64 -1 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re))))) (*.f64 (*.f64 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)) (-.f64 -1 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)))) (*.f64 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)) (-.f64 -1 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)))))) (-.f64 (*.f64 (+.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)) 1)) (*.f64 (+.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)) (-.f64 -1 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) 0) (/.f64 (-.f64 (*.f64 y.re (*.f64 x.re (*.f64 x.re y.re))) (*.f64 x.im (*.f64 x.im (*.f64 y.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 if (!=.f64 (*.f64 x.im y.im) 0) (/.f64 (*.f64 x.im (*.f64 (-.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) y.im)) (*.f64 x.im y.im)) (-.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 x.re y.re) 0) (/.f64 (*.f64 x.re (*.f64 y.re (-.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)))) (*.f64 x.re y.re)) (-.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 x.re (neg.f64 y.re)) 0) (/.f64 (*.f64 x.re (*.f64 y.re (-.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)))) (*.f64 x.re y.re)) (-.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (*.f64 x.im y.im) (*.f64 x.re y.re)) 0) (/.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) (*.f64 x.im y.im)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 x.im (neg.f64 y.im)) 0) (/.f64 (*.f64 x.im (*.f64 (-.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) y.im)) (*.f64 x.im y.im)) (-.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 0 0) (-.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (*.f64 x.im (neg.f64 y.im)) (*.f64 x.re y.re)) 0) (/.f64 (-.f64 (*.f64 y.re (*.f64 x.re (*.f64 x.re y.re))) (*.f64 x.im (*.f64 x.im (*.f64 y.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 if (!=.f64 -1 0) (-.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (-.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)))))))

simplify64.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

864×	`rational_best-simplify-61`
862×	`rational_best-simplify-96`
858×	`rational_best-simplify-65`
774×	`rational_best-simplify-3`
546×	`rational_best-simplify-62`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	100	1720
1	455	1324
2	2818	1324

Stop Event

1×	node limit

Counts

76 → 33

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 (.f64 x.re y.re) (.f64 x.im y.im)) 0)
(+.f64 (.f64 x.im (neg.f64 y.im)) (.f64 x.re y.re))
(+.f64 0 (-.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.im y.im) (*.f64 x.re y.re)) -1)
(.f64 -1 (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re)))
(.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)) 1)
(/.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) -1)
(/.f64 (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) -2)
(/.f64 (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) (+.f64 (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re)) 1))
(/.f64 (+.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) 2)
(/.f64 (+.f64 (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) -4)
(/.f64 (+.f64 (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))) (+.f64 (+.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)) 1)))
(/.f64 (-.f64 (.f64 -2 (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) (.f64 (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))) (-.f64 4 (.f64 -2 (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))))))
(/.f64 (-.f64 (.f64 (+.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)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))) (.f64 (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))))) (-.f64 (.f64 (+.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)) 1)) (.f64 (+.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)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))))))
(pow.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) 1)
(neg.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))
(if (!=.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) 0) (/.f64 (-.f64 (.f64 y.re (.f64 x.re (.f64 x.re y.re))) (.f64 x.im (.f64 x.im (.f64 y.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)))
(if (!=.f64 (.f64 x.im y.im) 0) (/.f64 (.f64 x.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) y.im)) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(if (!=.f64 (.f64 x.re y.re) 0) (/.f64 (.f64 x.re (.f64 y.re (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 x.re y.re)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(if (!=.f64 (.f64 x.re (neg.f64 y.re)) 0) (/.f64 (.f64 x.re (.f64 y.re (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 x.re y.re)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(if (!=.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) 0) (/.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) (*.f64 x.im y.im)))
(if (!=.f64 (.f64 x.im (neg.f64 y.im)) 0) (/.f64 (.f64 x.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) y.im)) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(if (!=.f64 0 0) (/.f64 0 0) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(if (!=.f64 (-.f64 (.f64 x.im (neg.f64 y.im)) (.f64 x.re y.re)) 0) (/.f64 (-.f64 (.f64 y.re (.f64 x.re (.f64 x.re y.re))) (.f64 x.im (.f64 x.im (.f64 y.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)))
(if (!=.f64 -1 0) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))

Outputs
(.f64 -1 (.f64 y.im x.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) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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) (.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 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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) (.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 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.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) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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) (.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 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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) (.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 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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) (.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 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.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) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.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) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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) (.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 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.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) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.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) (.f64 y.im x.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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) (.f64 y.im x.im))
(+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(/.f64 (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) -2)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(/.f64 (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) (+.f64 (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re)) 1))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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))) 2)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(/.f64 (+.f64 (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) -4)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(/.f64 (+.f64 (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))) (+.f64 (+.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)) 1)))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(/.f64 (-.f64 (.f64 -2 (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) (.f64 (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))) (-.f64 4 (.f64 -2 (+.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 (.f64 x.im y.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 y.im x.im))
(/.f64 (-.f64 (.f64 (+.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)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))) (.f64 (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (-.f64 -1 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))))) (-.f64 (.f64 (+.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)) 1)) (.f64 (+.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)) (-.f64 -1 (-.f64 (.f64 x.im y.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 y.im x.im))
(pow.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) 1)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.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 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(if (!=.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) 0) (/.f64 (-.f64 (.f64 y.re (.f64 x.re (.f64 x.re y.re))) (.f64 x.im (.f64 x.im (.f64 y.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 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(if (!=.f64 (.f64 x.im y.im) 0) (/.f64 (.f64 x.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) y.im)) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(if (!=.f64 (.f64 x.re y.re) 0) (/.f64 (.f64 x.re (.f64 y.re (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 x.re y.re)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(if (!=.f64 (.f64 x.re (neg.f64 y.re)) 0) (/.f64 (.f64 x.re (.f64 y.re (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 x.re y.re)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(if (!=.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) 0) (/.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) (*.f64 x.im y.im)))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(if (!=.f64 (.f64 x.im (neg.f64 y.im)) 0) (/.f64 (.f64 x.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) y.im)) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(if (!=.f64 0 0) (/.f64 0 0) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(if (!=.f64 (-.f64 (.f64 x.im (neg.f64 y.im)) (.f64 x.re y.re)) 0) (/.f64 (-.f64 (.f64 y.re (.f64 x.re (.f64 x.re y.re))) (.f64 x.im (.f64 x.im (.f64 y.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 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(if (!=.f64 -1 0) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))

eval5.0ms (0.2%)

Compiler: Compiled 733 to 155 computations (78.9% saved)

prune7.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	30	3	33
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	30	4	34

Error

0.0b

Counts

34 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	22.9b	(if (!=.f64 (.f64 x.im y.im) 0) (/.f64 (.f64 x.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) y.im)) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
✓	0.0b	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
▶	31.2b	(*.f64 y.im (neg.f64 x.im))
▶	29.9b	(*.f64 x.re y.re)

Compiler

Compiled 58 to 31 computations (46.6% saved)

localize4.0ms (0.2%)

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

localize5.0ms (0.2%)

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

localize16.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(!=.f64 (*.f64 x.im y.im) 0)
✓	0.2b	(.f64 (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)) y.im)
✓	4.7b	(.f64 x.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) y.im))
✓	27.2b	(/.f64 (.f64 x.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) y.im)) (*.f64 x.im y.im))

Compiler

Compiled 90 to 16 computations (82.2% saved)

series9.0ms (0.4%)

Counts

4 → 168

Calls

42 calls:

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

rewrite65.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

710×	`rational_best-simplify-111`
692×	`rational_best-simplify-110`
682×	`rational_best-simplify-3`
618×	`rational_best-simplify-61`
612×	`rational_best-simplify-65`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	112
1	53	112
2	271	112
3	1798	112

Stop Event

1×	node limit

Counts

4 → 50

Calls

Call 1

Inputs
(/.f64 (.f64 x.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) y.im)) (*.f64 x.im y.im))
(.f64 x.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) y.im))
(.f64 (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)) y.im)
(!=.f64 (*.f64 x.im y.im) 0)

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

simplify106.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

932×	`rational_best-simplify-52`
832×	`rational_best-simplify-53`
540×	`rational_best-simplify-113`
514×	`rational_best-simplify-1`
500×	`rational_best-simplify-21`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	166	6750
1	964	6074
2	5914	5786

Stop Event

1×	node limit

Counts

218 → 93

Calls

Call 1

Inputs
(*.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 -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 (.f64 y.re (*.f64 y.im x.im)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(.f64 -1 (.f64 (pow.f64 y.im 2) (pow.f64 x.im 2)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(.f64 -1 (.f64 (pow.f64 y.im 2) (pow.f64 x.im 2)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(.f64 -1 (.f64 (pow.f64 y.im 2) (pow.f64 x.im 2)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(.f64 x.re (.f64 y.re (*.f64 y.im x.im)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(.f64 x.re (.f64 y.re (*.f64 y.im x.im)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(.f64 -1 (.f64 (pow.f64 y.im 2) (pow.f64 x.im 2)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(.f64 x.re (.f64 y.re (*.f64 y.im x.im)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(.f64 x.re (.f64 y.re (*.f64 y.im x.im)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(.f64 x.re (.f64 y.re (*.f64 y.im x.im)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(.f64 -1 (.f64 (pow.f64 y.im 2) (pow.f64 x.im 2)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(.f64 -1 (.f64 (pow.f64 y.im 2) (pow.f64 x.im 2)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(.f64 -1 (.f64 (pow.f64 y.im 2) x.im))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(.f64 x.re (.f64 y.re y.im))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(.f64 x.re (.f64 y.re y.im))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(.f64 -1 (.f64 (pow.f64 y.im 2) x.im))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(.f64 x.re (.f64 y.re y.im))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(.f64 x.re (.f64 y.re y.im))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(.f64 x.re (.f64 y.re y.im))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(.f64 -1 (.f64 (pow.f64 y.im 2) x.im))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(.f64 -1 (.f64 (pow.f64 y.im 2) x.im))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(.f64 x.re (.f64 y.re y.im))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(.f64 -1 (.f64 (pow.f64 y.im 2) x.im))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(.f64 -1 (.f64 (pow.f64 y.im 2) x.im))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(if (!=.f64 (.f64 x.im y.im) 0) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 x.im y.im)))
(+.f64 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) 0)
(+.f64 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 (.f64 x.im y.im) 0))
(+.f64 0 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 x.im y.im))) (.f64 x.im (.f64 y.im (.f64 x.im (neg.f64 y.im)))))
(+.f64 (.f64 x.im (.f64 y.im (.f64 x.im (neg.f64 y.im)))) (.f64 x.re (.f64 y.re (.f64 x.im y.im))))
(+.f64 (.f64 (.f64 x.im y.im) 0) (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(-.f64 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) 0)
(-.f64 0 (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))
(-.f64 (.f64 x.re (.f64 y.re (.f64 x.im y.im))) (.f64 (.f64 x.im y.im) (.f64 x.im y.im)))
(-.f64 (.f64 x.im (.f64 y.im (.f64 x.im (neg.f64 y.im)))) (.f64 x.re (neg.f64 (.f64 y.re (.f64 x.im y.im)))))
(-.f64 (.f64 x.im (.f64 y.im (.f64 x.im (neg.f64 y.im)))) (.f64 x.im (.f64 (.f64 x.re y.re) (neg.f64 y.im))))
(-.f64 (.f64 x.im (.f64 y.im (.f64 x.im (neg.f64 y.im)))) (.f64 y.im (.f64 (.f64 x.re y.re) (neg.f64 x.im))))
(-.f64 (-.f64 x.im x.im) (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))
(-.f64 (.f64 (.f64 x.im y.im) 0) (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))
(-.f64 (.f64 0 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))))
(-.f64 (.f64 (.f64 y.im (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) 0) (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))
(-.f64 (.f64 x.im (-.f64 y.im y.im)) (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))))
(-.f64 (.f64 y.im (-.f64 x.im x.im)) (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))))
(/.f64 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) 1)
(/.f64 (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) -1)
(/.f64 (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 (+.f64 y.im y.im) (neg.f64 x.im))) -2)
(/.f64 (-.f64 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 x.im (.f64 y.im (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))))) (-.f64 1 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))))))
(neg.f64 (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))
(neg.f64 (.f64 (.f64 x.im (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) y.im))
(if (!=.f64 (.f64 (.f64 x.im y.im) (+.f64 (.f64 x.re y.re) (.f64 x.im y.im))) 0) (/.f64 (.f64 (.f64 x.im y.im) (-.f64 (.f64 (.f64 x.re y.re) (.f64 x.re (.f64 y.re (.f64 x.im y.im)))) (.f64 (.f64 x.im y.im) (.f64 (.f64 x.im y.im) (.f64 x.im y.im))))) (.f64 (.f64 x.im y.im) (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(if (!=.f64 (.f64 x.re (.f64 y.re (.f64 x.im y.im))) 0) (/.f64 (.f64 (.f64 x.re y.re) (.f64 x.im (.f64 y.im (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))))))) (.f64 x.re (.f64 y.re (.f64 x.im y.im)))) (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(if (!=.f64 (.f64 (.f64 x.im y.im) (.f64 x.im y.im)) 0) (.f64 (/.f64 (.f64 (.f64 x.im y.im) (.f64 x.im y.im)) (.f64 x.im y.im)) (/.f64 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 x.im y.im))) (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 y.im (.f64 x.im (neg.f64 y.im))))
(+.f64 (.f64 y.im (.f64 x.im (neg.f64 y.im))) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 y.im (.f64 x.im (neg.f64 y.im))) (neg.f64 (.f64 (.f64 x.re y.re) (neg.f64 y.im))))
(+.f64 (-.f64 y.im y.im) (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))))
(-.f64 (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (.f64 (neg.f64 y.im) 0))
(-.f64 0 (.f64 y.im (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))))
(-.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 x.im (.f64 y.im y.im)))
(-.f64 (.f64 y.im (.f64 x.im (neg.f64 y.im))) (.f64 (.f64 x.re y.re) (neg.f64 y.im)))
(-.f64 (.f64 y.im (.f64 x.im (neg.f64 y.im))) (.f64 (neg.f64 y.im) (.f64 x.re y.re)))
(-.f64 (-.f64 y.im y.im) (.f64 y.im (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))))
(-.f64 (.f64 0 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) (.f64 y.im (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))
(-.f64 (.f64 (neg.f64 y.im) 0) (.f64 y.im (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))
(-.f64 (.f64 (neg.f64 y.im) (.f64 x.re (neg.f64 y.re))) (.f64 (neg.f64 y.im) (.f64 x.im (neg.f64 y.im))))
(/.f64 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))) 1)
(/.f64 (.f64 y.im (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))) -1)
(/.f64 (+.f64 (.f64 y.im (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) (.f64 y.im (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) -2)
(/.f64 (-.f64 (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (.f64 y.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))) (-.f64 1 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))))
(neg.f64 (.f64 y.im (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))))
(if (!=.f64 (+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 x.im (.f64 y.im y.im))) 0) (/.f64 (-.f64 (.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 x.re (.f64 y.re y.im))) (.f64 (.f64 x.im (.f64 y.im y.im)) (.f64 x.im (.f64 y.im y.im)))) (+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 x.im (.f64 y.im y.im)))) (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))))
(if (!=.f64 (.f64 x.im (.f64 y.im y.im)) 0) (/.f64 (.f64 (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (.f64 x.im (.f64 y.im y.im))) (.f64 x.im (.f64 y.im y.im))) (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))))
(if (!=.f64 (.f64 x.re (.f64 y.re y.im)) 0) (/.f64 (-.f64 (.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 x.re (.f64 y.re y.im))) (.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 x.im (.f64 y.im y.im)))) (.f64 x.re (.f64 y.re y.im))) (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))))

Outputs
(*.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 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 -1 (.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.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) (.f64 -1 (*.f64 y.im x.im)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(.f64 x.re (.f64 y.re (*.f64 y.im x.im)))
(.f64 y.im (.f64 y.re (*.f64 x.im x.re)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(.f64 -1 (.f64 (pow.f64 y.im 2) (pow.f64 x.im 2)))
(.f64 -1 (pow.f64 (.f64 y.im x.im) 2))
(neg.f64 (pow.f64 (*.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(.f64 -1 (.f64 (pow.f64 y.im 2) (pow.f64 x.im 2)))
(.f64 -1 (pow.f64 (.f64 y.im x.im) 2))
(neg.f64 (pow.f64 (*.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(.f64 -1 (.f64 (pow.f64 y.im 2) (pow.f64 x.im 2)))
(.f64 -1 (pow.f64 (.f64 y.im x.im) 2))
(neg.f64 (pow.f64 (*.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(.f64 x.re (.f64 y.re (*.f64 y.im x.im)))
(.f64 y.im (.f64 y.re (*.f64 x.im x.re)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(.f64 x.re (.f64 y.re (*.f64 y.im x.im)))
(.f64 y.im (.f64 y.re (*.f64 x.im x.re)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(.f64 -1 (.f64 (pow.f64 y.im 2) (pow.f64 x.im 2)))
(.f64 -1 (pow.f64 (.f64 y.im x.im) 2))
(neg.f64 (pow.f64 (*.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(.f64 x.re (.f64 y.re (*.f64 y.im x.im)))
(.f64 y.im (.f64 y.re (*.f64 x.im x.re)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(.f64 x.re (.f64 y.re (*.f64 y.im x.im)))
(.f64 y.im (.f64 y.re (*.f64 x.im x.re)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(.f64 x.re (.f64 y.re (*.f64 y.im x.im)))
(.f64 y.im (.f64 y.re (*.f64 x.im x.re)))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(.f64 -1 (.f64 (pow.f64 y.im 2) (pow.f64 x.im 2)))
(.f64 -1 (pow.f64 (.f64 y.im x.im) 2))
(neg.f64 (pow.f64 (*.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(.f64 -1 (.f64 (pow.f64 y.im 2) (pow.f64 x.im 2)))
(.f64 -1 (pow.f64 (.f64 y.im x.im) 2))
(neg.f64 (pow.f64 (*.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(+.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) (.f64 -1 (*.f64 (pow.f64 y.im 2) (pow.f64 x.im 2))))
(+.f64 (.f64 -1 (pow.f64 (.f64 y.im x.im) 2)) (.f64 x.re (.f64 y.re (*.f64 y.im x.im))))
(+.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im (.f64 y.re (.f64 x.im x.re))))
(-.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) (pow.f64 (.f64 y.im x.im) 2))
(.f64 -1 (.f64 (pow.f64 y.im 2) x.im))
(.f64 -1 (.f64 x.im (pow.f64 y.im 2)))
(*.f64 (pow.f64 y.im 2) (neg.f64 x.im))
(*.f64 x.im (neg.f64 (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(.f64 x.re (.f64 y.re y.im))
(.f64 y.re (.f64 x.re y.im))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(.f64 x.re (.f64 y.re y.im))
(.f64 y.re (.f64 x.re y.im))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(.f64 -1 (.f64 (pow.f64 y.im 2) x.im))
(.f64 -1 (.f64 x.im (pow.f64 y.im 2)))
(*.f64 (pow.f64 y.im 2) (neg.f64 x.im))
(*.f64 x.im (neg.f64 (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(.f64 x.re (.f64 y.re y.im))
(.f64 y.re (.f64 x.re y.im))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(.f64 x.re (.f64 y.re y.im))
(.f64 y.re (.f64 x.re y.im))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(.f64 x.re (.f64 y.re y.im))
(.f64 y.re (.f64 x.re y.im))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(.f64 -1 (.f64 (pow.f64 y.im 2) x.im))
(.f64 -1 (.f64 x.im (pow.f64 y.im 2)))
(*.f64 (pow.f64 y.im 2) (neg.f64 x.im))
(*.f64 x.im (neg.f64 (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(.f64 -1 (.f64 (pow.f64 y.im 2) x.im))
(.f64 -1 (.f64 x.im (pow.f64 y.im 2)))
(*.f64 (pow.f64 y.im 2) (neg.f64 x.im))
(*.f64 x.im (neg.f64 (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(.f64 x.re (.f64 y.re y.im))
(.f64 y.re (.f64 x.re y.im))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)) (.f64 x.re (.f64 y.re y.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(.f64 -1 (.f64 (pow.f64 y.im 2) x.im))
(.f64 -1 (.f64 x.im (pow.f64 y.im 2)))
(*.f64 (pow.f64 y.im 2) (neg.f64 x.im))
(*.f64 x.im (neg.f64 (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(.f64 -1 (.f64 (pow.f64 y.im 2) x.im))
(.f64 -1 (.f64 x.im (pow.f64 y.im 2)))
(*.f64 (pow.f64 y.im 2) (neg.f64 x.im))
(*.f64 x.im (neg.f64 (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 -1 (.f64 (pow.f64 y.im 2) x.im)))
(+.f64 (.f64 -1 (.f64 x.im (pow.f64 y.im 2))) (.f64 y.re (.f64 x.re y.im)))
(+.f64 (.f64 (pow.f64 y.im 2) (neg.f64 x.im)) (.f64 y.re (*.f64 x.re y.im)))
(-.f64 (.f64 y.re (.f64 x.re y.im)) (*.f64 x.im (pow.f64 y.im 2)))
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(!=.f64 (*.f64 y.im x.im) 0)
(if (!=.f64 (.f64 x.im y.im) 0) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (/.f64 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 x.im y.im)))
(if (!=.f64 (.f64 y.im x.im) 0) (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)) (/.f64 (/.f64 (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))) x.im) (/.f64 y.im x.im)))
(if (!=.f64 (.f64 y.im x.im) 0) (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)) (/.f64 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))) (.f64 y.im x.im)))
(+.f64 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) 0)
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(+.f64 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 (.f64 x.im y.im) 0))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(+.f64 0 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(+.f64 (.f64 x.re (.f64 y.re (.f64 x.im y.im))) (.f64 x.im (.f64 y.im (.f64 x.im (neg.f64 y.im)))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(+.f64 (.f64 x.im (.f64 y.im (.f64 x.im (neg.f64 y.im)))) (.f64 x.re (.f64 y.re (.f64 x.im y.im))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(+.f64 (.f64 (.f64 x.im y.im) 0) (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(-.f64 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) 0)
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(-.f64 0 (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(-.f64 (.f64 x.re (.f64 y.re (.f64 x.im y.im))) (.f64 (.f64 x.im y.im) (.f64 x.im y.im)))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(-.f64 (.f64 x.im (.f64 y.im (.f64 x.im (neg.f64 y.im)))) (.f64 x.re (neg.f64 (.f64 y.re (.f64 x.im y.im)))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(-.f64 (.f64 x.im (.f64 y.im (.f64 x.im (neg.f64 y.im)))) (.f64 x.im (.f64 (.f64 x.re y.re) (neg.f64 y.im))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(-.f64 (.f64 x.im (.f64 y.im (.f64 x.im (neg.f64 y.im)))) (.f64 y.im (.f64 (.f64 x.re y.re) (neg.f64 x.im))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(-.f64 (-.f64 x.im x.im) (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(-.f64 (.f64 (.f64 x.im y.im) 0) (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(-.f64 (.f64 0 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(-.f64 (.f64 (.f64 y.im (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) 0) (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(-.f64 (.f64 x.im (-.f64 y.im y.im)) (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(-.f64 (.f64 y.im (-.f64 x.im x.im)) (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(/.f64 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) 1)
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(/.f64 (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) -1)
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.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 y.im y.im) (neg.f64 x.im))) -2)
(/.f64 (.f64 (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)) (.f64 x.im (neg.f64 (+.f64 y.im y.im)))) -2)
(/.f64 (.f64 (+.f64 y.im y.im) (.f64 x.im (-.f64 (.f64 y.im x.im) (.f64 x.re y.re)))) -2)
(/.f64 (.f64 x.im (.f64 (-.f64 (.f64 y.im x.im) (.f64 x.re y.re)) (+.f64 y.im y.im))) -2)
(/.f64 (-.f64 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 x.im (.f64 y.im (.f64 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)) (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))))) (-.f64 1 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))))))
(/.f64 (.f64 x.im (-.f64 (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))) (.f64 y.im (.f64 (.f64 y.im x.im) (.f64 (-.f64 (.f64 y.im x.im) (.f64 x.re y.re)) (-.f64 (.f64 y.im x.im) (.f64 x.re y.re))))))) (-.f64 1 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))))
(/.f64 (.f64 x.im (.f64 y.im (-.f64 (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)) (.f64 (.f64 y.im x.im) (.f64 (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)) (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))))) (-.f64 1 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))))
(neg.f64 (.f64 (.f64 x.im y.im) (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(neg.f64 (.f64 (.f64 x.im (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) y.im))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(if (!=.f64 (.f64 (.f64 x.im y.im) (+.f64 (.f64 x.re y.re) (.f64 x.im y.im))) 0) (/.f64 (.f64 (.f64 x.im y.im) (-.f64 (.f64 (.f64 x.re y.re) (.f64 x.re (.f64 y.re (.f64 x.im y.im)))) (.f64 (.f64 x.im y.im) (.f64 (.f64 x.im y.im) (.f64 x.im y.im))))) (.f64 (.f64 x.im y.im) (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(if (!=.f64 (.f64 (.f64 y.im x.im) (+.f64 (.f64 x.re y.re) (.f64 y.im x.im))) 0) (/.f64 (.f64 (.f64 y.im x.im) (-.f64 (.f64 x.re (.f64 (.f64 x.re y.re) (.f64 y.re (.f64 y.im x.im)))) (.f64 (.f64 y.im x.im) (.f64 (.f64 y.im x.im) (.f64 y.im x.im))))) (.f64 (.f64 y.im x.im) (+.f64 (.f64 x.re y.re) (.f64 y.im x.im)))) (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(if (!=.f64 (.f64 y.im (.f64 (+.f64 (.f64 x.re y.re) (.f64 y.im x.im)) x.im)) 0) (/.f64 (.f64 x.im (.f64 (-.f64 (.f64 (.f64 x.re y.re) (.f64 y.im (.f64 y.re (.f64 x.im x.re)))) (.f64 y.im (.f64 (.f64 y.im (.f64 y.im (.f64 x.im x.im))) x.im))) y.im)) (.f64 y.im (.f64 (+.f64 (.f64 x.re y.re) (.f64 y.im x.im)) x.im))) (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(if (!=.f64 (.f64 x.re (.f64 y.re (.f64 x.im y.im))) 0) (/.f64 (.f64 (.f64 x.re y.re) (.f64 x.im (.f64 y.im (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))))))) (.f64 x.re (.f64 y.re (.f64 x.im y.im)))) (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))
(if (!=.f64 (.f64 x.re (.f64 y.re (.f64 y.im x.im))) 0) (/.f64 (.f64 (.f64 x.re y.re) (.f64 y.im (.f64 x.im (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))))) (.f64 x.re (.f64 y.re (.f64 y.im x.im)))) (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(if (!=.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) 0) (/.f64 (.f64 (.f64 x.re y.re) (.f64 y.im (.f64 x.im (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))))) (.f64 y.im (.f64 y.re (.f64 x.im x.re)))) (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(if (!=.f64 (.f64 y.im (.f64 y.re (.f64 x.im x.re))) 0) (/.f64 (.f64 (.f64 (.f64 y.im (.f64 y.im x.im)) (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))) (.f64 y.re (.f64 x.im x.re))) (.f64 y.im (.f64 y.re (.f64 x.im x.re)))) (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(if (!=.f64 (.f64 (.f64 x.im y.im) (.f64 x.im y.im)) 0) (.f64 (/.f64 (.f64 (.f64 x.im y.im) (.f64 x.im y.im)) (.f64 x.im y.im)) (/.f64 (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))) (.f64 x.im y.im))) (.f64 x.im (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))))
(+.f64 0 (.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im)))))
(.f64 y.im (.f64 x.im (-.f64 (.f64 x.re y.re) (.f64 y.im x.im))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 y.im (.f64 x.im (neg.f64 y.im))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(+.f64 (.f64 y.im (.f64 x.im (neg.f64 y.im))) (.f64 x.re (.f64 y.re y.im)))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(+.f64 (.f64 y.im (.f64 x.im (neg.f64 y.im))) (neg.f64 (.f64 (.f64 x.re y.re) (neg.f64 y.im))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(+.f64 (-.f64 y.im y.im) (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(-.f64 (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (.f64 (neg.f64 y.im) 0))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(-.f64 0 (.f64 y.im (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(-.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 x.im (.f64 y.im y.im)))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(-.f64 (.f64 y.im (.f64 x.im (neg.f64 y.im))) (.f64 (.f64 x.re y.re) (neg.f64 y.im)))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(-.f64 (.f64 y.im (.f64 x.im (neg.f64 y.im))) (.f64 (neg.f64 y.im) (.f64 x.re y.re)))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(-.f64 (-.f64 y.im y.im) (.f64 y.im (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(-.f64 (.f64 0 (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) (.f64 y.im (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(-.f64 (.f64 (neg.f64 y.im) 0) (.f64 y.im (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(-.f64 (.f64 (neg.f64 y.im) (.f64 x.re (neg.f64 y.re))) (.f64 (neg.f64 y.im) (.f64 x.im (neg.f64 y.im))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(/.f64 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))) 1)
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(/.f64 (.f64 y.im (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))) -1)
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(/.f64 (+.f64 (.f64 y.im (-.f64 (.f64 x.im y.im) (.f64 x.re y.re))) (.f64 y.im (-.f64 (.f64 x.im y.im) (.f64 x.re y.re)))) -2)
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(/.f64 (-.f64 (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (.f64 y.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))))) (-.f64 1 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im)))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(neg.f64 (.f64 y.im (-.f64 (.f64 x.im y.im) (*.f64 x.re y.re))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(if (!=.f64 (+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 x.im (.f64 y.im y.im))) 0) (/.f64 (-.f64 (.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 x.re (.f64 y.re y.im))) (.f64 (.f64 x.im (.f64 y.im y.im)) (.f64 x.im (.f64 y.im y.im)))) (+.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 x.im (.f64 y.im y.im)))) (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(if (!=.f64 (.f64 x.im (.f64 y.im y.im)) 0) (/.f64 (.f64 (.f64 y.im (-.f64 (.f64 x.re y.re) (.f64 x.im y.im))) (.f64 x.im (.f64 y.im y.im))) (.f64 x.im (.f64 y.im y.im))) (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))
(if (!=.f64 (.f64 x.re (.f64 y.re y.im)) 0) (/.f64 (-.f64 (.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 x.re (.f64 y.re y.im))) (.f64 (.f64 x.re (.f64 y.re y.im)) (.f64 x.im (.f64 y.im y.im)))) (.f64 x.re (.f64 y.re y.im))) (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 x.im y.im))))
(+.f64 0 (.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im))))
(.f64 y.im (-.f64 (.f64 x.re y.re) (*.f64 y.im x.im)))

eval21.0ms (0.9%)

Compiler: Compiled 3388 to 760 computations (77.6% saved)

prune16.0ms (0.7%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	93	4	97

Error

0.0b

Counts

97 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	22.9b	(if (!=.f64 (.f64 x.im y.im) 0) (/.f64 (.f64 x.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) y.im)) (.f64 x.im y.im)) (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)))
✓	0.0b	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
✓	31.2b	(*.f64 y.im (neg.f64 x.im))
✓	29.9b	(*.f64 x.re y.re)

Compiler

Compiled 58 to 31 computations (46.6% saved)

regimes28.0ms (1.2%)

Counts

4 → 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))
(if (!=.f64 (.f64 x.im y.im) 0) (/.f64 (.f64 x.im (.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im y.im)) y.im)) (.f64 x.im y.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.im
4.0ms	y.re
4.0ms	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
4.0ms	x.re
4.0ms	x.im

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 91 to 48 computations (47.3% saved)

regimes78.0ms (3.5%)

Accuracy

Total -46.1b remaining (-331.3%)

Threshold costs -46.1b (-331.3%)

Counts

2 → 3

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)

Calls

5 calls:

26.0ms	y.re
16.0ms	x.re
14.0ms	y.im
11.0ms	x.im
11.0ms	(*.f64 x.re y.re)

Results

Error	Segments	Branch
15.2b	5	`x.re`
16.9b	3	`x.im`
18.4b	7	`y.re`
16.0b	5	`y.im`
13.9b	3	`(*.f64 x.re y.re)`

Compiler

Compiled 38 to 28 computations (26.3% saved)

bsearch21.0ms (1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
11.0ms	12305971451455.225	706761228283950.1
10.0ms	-3.168278333250511e-68	-2.6124794695035452e-70

Results

19.0ms

224×

body

256

valid

Compiler

Compiled 228 to 181 computations (20.6% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	81

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) -1068467890724151/971334446112864535459730953411759453321203419526069760625906204869452142602604249088) (*.f64 x.re y.re) (if (<=.f64 (*.f64 x.re y.re) 20000000000000) (*.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) -1068467890724151/971334446112864535459730953411759453321203419526069760625906204869452142602604249088) (*.f64 x.re y.re) (if (<=.f64 (*.f64 x.re y.re) 20000000000000) (*.f64 y.im (neg.f64 x.im)) (*.f64 x.re y.re)))

(*.f64 x.re y.re)

Compiler

Compiled 44 to 25 computations (43.2% saved)

soundness0.0ms (0%)

end23.0ms (1%)

Remove

(sort x.im y.im)

(sort x.re y.re)

Compiler

Compiled 80 to 43 computations (46.3% saved)

Details

analyze316.0ms (14.2%)

sample1.2s (53%)

preprocess59.0ms (2.6%)

simplify96.0ms (4.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.3%)

series3.0ms (0.1%)

rewrite97.0ms (4.4%)

simplify64.0ms (2.9%)

eval5.0ms (0.2%)

prune7.0ms (0.3%)

localize4.0ms (0.2%)

localize5.0ms (0.2%)

localize16.0ms (0.7%)

series9.0ms (0.4%)

rewrite65.0ms (2.9%)

simplify106.0ms (4.7%)

eval21.0ms (0.9%)

prune16.0ms (0.7%)

regimes28.0ms (1.2%)

regimes78.0ms (3.5%)

bsearch21.0ms (1%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end23.0ms (1%)

Profiling