Details

analyze310.0ms (3.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.1s (10.8%)

Results

846.0ms	8256×	body	256	valid
202.0ms	2020×	body	256	infinite

Bogosity

preprocess382.0ms (3.9%)

Algorithm

2×

egglog

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
3

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))
(fma.f64 x.re y.re (neg.f64 (*.f64 x.im y.im)))
(-.f64 (.f64 x.im y.re) (.f64 x.re y.im))
(fma.f64 x.im y.re (neg.f64 (*.f64 y.im x.re)))
(-.f64 (.f64 y.re x.re) (.f64 x.im y.im))
(fma.f64 x.re y.re (neg.f64 (*.f64 x.im y.im)))
(-.f64 (.f64 y.im y.re) (.f64 x.im x.re))
(fma.f64 y.im y.re (neg.f64 (*.f64 x.im x.re)))
(-.f64 (.f64 x.re x.im) (.f64 y.re y.im))
(fma.f64 x.re x.im (neg.f64 (*.f64 y.im y.re)))
(-.f64 (.f64 x.re y.re) (.f64 y.im x.im))
(fma.f64 x.re y.re (neg.f64 (*.f64 x.im y.im)))
(-.f64 (.f64 x.re y.im) (.f64 x.im y.re))
(fma.f64 x.re y.im (neg.f64 (*.f64 x.im y.re)))

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify189.0ms (1.9%)

Algorithm

1×

egglog

Counts

1 → 2

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))
(fma.f64 x.re y.re (neg.f64 (*.f64 x.im y.im)))

eval0.0ms (0%)

Compiler: Compiled 18 to 9 computations (50% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.01%

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.01%	(fma.f64 x.re y.re (neg.f64 (*.f64 x.im y.im)))

Compiler

Compiled 22 to 14 computations (36.4% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.01%	(fma.f64 x.re y.re (neg.f64 (*.f64 x.im y.im)))

Compiler

Compiled 22 to 7 computations (68.2% saved)

series4.0ms (0%)

Counts

1 → 48

Calls

12 calls:

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

rewrite7.2s (73.5%)

Algorithm

1×	batch-egg-rewrite

Counts

1 → 54

Calls

Call 1

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

Outputs
((fma.f64 x.re y.re (neg.f64 (.f64 x.im y.im))) (+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im))) (+.f64 (neg.f64 (.f64 y.im x.im)) (.f64 x.re y.re)) (+.f64 0 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (pow.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 1) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 3) (pow.f64 (pow.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 3) 1/3) (.f64 1 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 1) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) 2) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) 2) 2) (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) 2) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 2))) (.f64 -1 (.f64 -1 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) (.f64 (.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) 2) 2)) (.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 2)) (.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 2) (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) 2)) (.f64 (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 2) (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) (.f64 (.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) -1) -1) (neg.f64 (-.f64 (.f64 y.im x.im) (.f64 x.re y.re))) (if (and (>.f64 1 0) (>.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 0) (>.f64 (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (>.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 (cbrt.f64 (.f64 y.im x.im)) 0) (>.f64 (pow.f64 (cbrt.f64 (.f64 y.im x.im)) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 x.im 0) (>.f64 y.im 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (>.f64 (.f64 y.im x.im) 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 1 0) (>.f64 (.f64 y.im x.im) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 y.im 0) (>.f64 x.im 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 x.re 0) (>.f64 y.re 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 (cbrt.f64 y.re) 0) (>.f64 (pow.f64 (cbrt.f64 y.re) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (>.f64 y.re 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 1 0) (>.f64 y.re 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 1 0) (>.f64 x.re 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 (cbrt.f64 x.re) 0) (>.f64 (pow.f64 (cbrt.f64 x.re) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (>.f64 x.re 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 -1 0) (>.f64 (.f64 y.im x.im) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 1 0) (>.f64 (neg.f64 (.f64 y.im x.im)) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 x.im 0) (>.f64 (neg.f64 y.im) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (>.f64 (neg.f64 (.f64 y.im x.im)) 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 (neg.f64 x.im) 0) (>.f64 y.im 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 (cbrt.f64 (neg.f64 (.f64 y.im x.im))) 0) (>.f64 (pow.f64 (cbrt.f64 (.f64 y.im x.im)) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (!=.f64 (fma.f64 y.re x.re (.f64 y.im x.im)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x.re y.re) 2) (pow.f64 (.f64 y.im x.im) 2)) (fma.f64 y.re x.re (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (!=.f64 (neg.f64 (.f64 y.im x.im)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x.re y.re) 3) (pow.f64 (.f64 y.im x.im) 3)) (+.f64 (pow.f64 (.f64 x.re y.re) 2) (.f64 (neg.f64 (.f64 y.im x.im)) (-.f64 (neg.f64 (.f64 y.im x.im)) (.f64 x.re y.re))))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (>.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 0) (exp.f64 (log.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (>.f64 (.f64 y.im x.im) 0) (fma.f64 y.re x.re (neg.f64 (exp.f64 (log.f64 (.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (>.f64 y.re 0) (fma.f64 x.re (exp.f64 (log.f64 y.re)) (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (>.f64 x.re 0) (fma.f64 (exp.f64 (log.f64 x.re)) y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (>.f64 (neg.f64 (.f64 y.im x.im)) 0) (fma.f64 x.re y.re (exp.f64 (log.f64 (neg.f64 (.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (!=.f64 0 0) (fma.f64 x.re y.re (/.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (>.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 0) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (+.f64 2 1)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (>.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 0) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (+.f64 1 2)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (!=.f64 (.f64 x.re y.re) 0) (/.f64 (-.f64 (pow.f64 (.f64 x.re y.re) 3) (pow.f64 (.f64 y.im x.im) 3)) (+.f64 (pow.f64 (.f64 x.re y.re) 2) (+.f64 (pow.f64 (.f64 y.im x.im) 2) (.f64 (.f64 x.re y.re) (.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (if (and (>.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 0) (>.f64 (pow.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (-.f64 (fma.f64 y.re x.re 0) (.f64 y.im x.im)) (fma.f64 x.re y.re (.f64 (neg.f64 x.im) y.im)) (fma.f64 x.re y.re (.f64 (neg.f64 x.im) y.im)))

Outputs

((fma.f64 x.re y.re (neg.f64 (*.f64 x.im y.im))) (+.f64 (*.f64 x.re y.re) (neg.f64 (*.f64 y.im x.im))) (+.f64 (neg.f64 (*.f64 y.im x.im)) (*.f64 x.re y.re)) (+.f64 0 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (pow.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) 1) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 3) (pow.f64 (pow.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) 3) 1/3) (*.f64 1 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (*.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) 1) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))) 2) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))) 2) 2) (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))))) (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))) 2) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 2))) (*.f64 -1 (*.f64 -1 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))) (*.f64 (*.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))) 2) 2)) (*.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 2)) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 2) (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))) 2)) (*.f64 (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 2) (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))) (*.f64 (*.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) -1) -1) (neg.f64 (-.f64 (*.f64 y.im x.im) (*.f64 x.re y.re))) (if (and (>.f64 1 0) (>.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 0) (>.f64 (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 2) 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (>.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) 0) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 (cbrt.f64 (*.f64 y.im x.im)) 0) (>.f64 (pow.f64 (cbrt.f64 (*.f64 y.im x.im)) 2) 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 x.im 0) (>.f64 y.im 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (>.f64 (*.f64 y.im x.im) 0) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 1 0) (>.f64 (*.f64 y.im x.im) 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 y.im 0) (>.f64 x.im 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 x.re 0) (>.f64 y.re 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 (cbrt.f64 y.re) 0) (>.f64 (pow.f64 (cbrt.f64 y.re) 2) 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (>.f64 y.re 0) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 1 0) (>.f64 y.re 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 1 0) (>.f64 x.re 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 (cbrt.f64 x.re) 0) (>.f64 (pow.f64 (cbrt.f64 x.re) 2) 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (>.f64 x.re 0) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 -1 0) (>.f64 (*.f64 y.im x.im) 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 1 0) (>.f64 (neg.f64 (*.f64 y.im x.im)) 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 x.im 0) (>.f64 (neg.f64 y.im) 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (>.f64 (neg.f64 (*.f64 y.im x.im)) 0) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 (neg.f64 x.im) 0) (>.f64 y.im 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 (cbrt.f64 (neg.f64 (*.f64 y.im x.im))) 0) (>.f64 (pow.f64 (cbrt.f64 (*.f64 y.im x.im)) 2) 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (!=.f64 (fma.f64 y.re x.re (*.f64 y.im x.im)) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x.re y.re) 2) (pow.f64 (*.f64 y.im x.im) 2)) (fma.f64 y.re x.re (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (!=.f64 (neg.f64 (*.f64 y.im x.im)) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x.re y.re) 3) (pow.f64 (*.f64 y.im x.im) 3)) (+.f64 (pow.f64 (*.f64 x.re y.re) 2) (*.f64 (neg.f64 (*.f64 y.im x.im)) (-.f64 (neg.f64 (*.f64 y.im x.im)) (*.f64 x.re y.re))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (>.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) 0) (exp.f64 (log.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (>.f64 (*.f64 y.im x.im) 0) (fma.f64 y.re x.re (neg.f64 (exp.f64 (log.f64 (*.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (>.f64 y.re 0) (fma.f64 x.re (exp.f64 (log.f64 y.re)) (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (>.f64 x.re 0) (fma.f64 (exp.f64 (log.f64 x.re)) y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (>.f64 (neg.f64 (*.f64 y.im x.im)) 0) (fma.f64 x.re y.re (exp.f64 (log.f64 (neg.f64 (*.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (!=.f64 0 0) (fma.f64 x.re y.re (/.f64 (neg.f64 (pow.f64 (*.f64 y.im x.im) 2)) (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (>.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 0) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (+.f64 2 1)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (>.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 0) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (+.f64 1 2)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (!=.f64 (*.f64 x.re y.re) 0) (/.f64 (-.f64 (pow.f64 (*.f64 x.re y.re) 3) (pow.f64 (*.f64 y.im x.im) 3)) (+.f64 (pow.f64 (*.f64 x.re y.re) 2) (+.f64 (pow.f64 (*.f64 y.im x.im) 2) (*.f64 (*.f64 x.re y.re) (*.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (if (and (>.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) 0) (>.f64 (pow.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) 2) 0)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) (-.f64 (fma.f64 y.re x.re 0) (*.f64 y.im x.im)) (fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im)) (fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im)))

simplify557.0ms (5.7%)

Algorithm

1×

egglog

Counts

102 → 68

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))
(fma.f64 x.re y.re (neg.f64 (*.f64 x.im y.im)))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(+.f64 (neg.f64 (.f64 y.im x.im)) (.f64 x.re y.re))
(+.f64 0 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(pow.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) 1)
(pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 3)
(pow.f64 (pow.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) 3) 1/3)
(.f64 1 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 1)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) 2) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) 2) 2) (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))))
(.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) 2) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 2)))
(.f64 -1 (.f64 -1 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))))
(.f64 (.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))) 2) 2))
(.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 2))
(.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 2) (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))) 2))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 2) (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))))
(.f64 (.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) -1) -1)
(neg.f64 (-.f64 (.f64 y.im x.im) (.f64 x.re y.re)))
(if (and (>.f64 1 0) (>.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (and (>.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 0) (>.f64 (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (>.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (and (>.f64 (cbrt.f64 (.f64 y.im x.im)) 0) (>.f64 (pow.f64 (cbrt.f64 (.f64 y.im x.im)) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (and (>.f64 x.im 0) (>.f64 y.im 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (>.f64 (.f64 y.im x.im) 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (and (>.f64 1 0) (>.f64 (.f64 y.im x.im) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (and (>.f64 y.im 0) (>.f64 x.im 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (and (>.f64 x.re 0) (>.f64 y.re 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (and (>.f64 (cbrt.f64 y.re) 0) (>.f64 (pow.f64 (cbrt.f64 y.re) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (>.f64 y.re 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (and (>.f64 1 0) (>.f64 y.re 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (and (>.f64 1 0) (>.f64 x.re 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (and (>.f64 (cbrt.f64 x.re) 0) (>.f64 (pow.f64 (cbrt.f64 x.re) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (>.f64 x.re 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (and (>.f64 -1 0) (>.f64 (.f64 y.im x.im) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (and (>.f64 1 0) (>.f64 (neg.f64 (.f64 y.im x.im)) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (and (>.f64 x.im 0) (>.f64 (neg.f64 y.im) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (>.f64 (neg.f64 (.f64 y.im x.im)) 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (and (>.f64 (neg.f64 x.im) 0) (>.f64 y.im 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (and (>.f64 (cbrt.f64 (neg.f64 (.f64 y.im x.im))) 0) (>.f64 (pow.f64 (cbrt.f64 (.f64 y.im x.im)) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (!=.f64 (fma.f64 y.re x.re (.f64 y.im x.im)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x.re y.re) 2) (pow.f64 (.f64 y.im x.im) 2)) (fma.f64 y.re x.re (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (!=.f64 (neg.f64 (.f64 y.im x.im)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x.re y.re) 3) (pow.f64 (.f64 y.im x.im) 3)) (+.f64 (pow.f64 (.f64 x.re y.re) 2) (.f64 (neg.f64 (.f64 y.im x.im)) (-.f64 (neg.f64 (.f64 y.im x.im)) (.f64 x.re y.re))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (>.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 0) (exp.f64 (log.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (>.f64 (.f64 y.im x.im) 0) (fma.f64 y.re x.re (neg.f64 (exp.f64 (log.f64 (.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (>.f64 y.re 0) (fma.f64 x.re (exp.f64 (log.f64 y.re)) (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (>.f64 x.re 0) (fma.f64 (exp.f64 (log.f64 x.re)) y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (>.f64 (neg.f64 (.f64 y.im x.im)) 0) (fma.f64 x.re y.re (exp.f64 (log.f64 (neg.f64 (.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (!=.f64 0 0) (fma.f64 x.re y.re (/.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (>.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 0) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (+.f64 2 1)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (>.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 0) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (+.f64 1 2)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (!=.f64 (.f64 x.re y.re) 0) (/.f64 (-.f64 (pow.f64 (.f64 x.re y.re) 3) (pow.f64 (.f64 y.im x.im) 3)) (+.f64 (pow.f64 (.f64 x.re y.re) 2) (+.f64 (pow.f64 (.f64 y.im x.im) 2) (.f64 (.f64 x.re y.re) (.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (and (>.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 0) (>.f64 (pow.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(-.f64 (fma.f64 y.re x.re 0) (*.f64 y.im x.im))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))

Outputs
(.f64 -1 (.f64 y.im x.im))
(*.f64 (neg.f64 x.im) y.im)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(.f64 -1 (.f64 y.im x.im))
(*.f64 (neg.f64 x.im) y.im)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(.f64 -1 (.f64 y.im x.im))
(*.f64 (neg.f64 x.im) y.im)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(.f64 -1 (.f64 y.im x.im))
(*.f64 (neg.f64 x.im) y.im)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(*.f64 x.re y.re)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(.f64 -1 (.f64 y.im x.im))
(*.f64 (neg.f64 x.im) y.im)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(.f64 -1 (.f64 y.im x.im))
(*.f64 (neg.f64 x.im) y.im)
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 -1 (.f64 y.im x.im)) (*.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(fma.f64 x.re y.re (neg.f64 (*.f64 x.im y.im)))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 x.re y.re) (neg.f64 (.f64 y.im x.im)))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 (neg.f64 (.f64 y.im x.im)) (.f64 x.re y.re))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(+.f64 0 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(pow.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) 1)
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 3)
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(pow.f64 (pow.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) 3) 1/3)
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(.f64 1 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 1)
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) 2) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) 2) 2) (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (.f64 (neg.f64 x.im) y.im)))) 2) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (.f64 (neg.f64 x.im) y.im)))) 2) 2)) (cbrt.f64 (fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))))
(.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) 2) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 2)))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(.f64 -1 (.f64 -1 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(.f64 (.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))) 2) 2))
(.f64 (cbrt.f64 (fma.f64 x.re y.re (.f64 (neg.f64 x.im) y.im))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (.f64 (neg.f64 x.im) y.im)))) 2) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im)))) 2) 2)))
(.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))) 2))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 2) (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))) 2))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 2) (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im)))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(.f64 (.f64 (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))) -1) -1)
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(neg.f64 (-.f64 (.f64 y.im x.im) (.f64 x.re y.re)))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 1 0) (>.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 0) (>.f64 (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (>.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 (cbrt.f64 (.f64 y.im x.im)) 0) (>.f64 (pow.f64 (cbrt.f64 (.f64 y.im x.im)) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 x.im 0) (>.f64 y.im 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (>.f64 (.f64 y.im x.im) 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 1 0) (>.f64 (.f64 y.im x.im) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 y.im 0) (>.f64 x.im 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 x.re 0) (>.f64 y.re 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 (cbrt.f64 y.re) 0) (>.f64 (pow.f64 (cbrt.f64 y.re) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (>.f64 y.re 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 1 0) (>.f64 y.re 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 1 0) (>.f64 x.re 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 (cbrt.f64 x.re) 0) (>.f64 (pow.f64 (cbrt.f64 x.re) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (>.f64 x.re 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 -1 0) (>.f64 (.f64 y.im x.im) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 1 0) (>.f64 (neg.f64 (.f64 y.im x.im)) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 x.im 0) (>.f64 (neg.f64 y.im) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (>.f64 (neg.f64 (.f64 y.im x.im)) 0) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 (neg.f64 x.im) 0) (>.f64 y.im 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (and (>.f64 (cbrt.f64 (neg.f64 (.f64 y.im x.im))) 0) (>.f64 (pow.f64 (cbrt.f64 (.f64 y.im x.im)) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (!=.f64 (fma.f64 y.re x.re (.f64 y.im x.im)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x.re y.re) 2) (pow.f64 (.f64 y.im x.im) 2)) (fma.f64 y.re x.re (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (!=.f64 (fma.f64 y.re x.re (.f64 y.im x.im)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x.re y.re) 2) (pow.f64 (.f64 y.im x.im) 2)) (fma.f64 y.re x.re (.f64 y.im x.im))) (fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im)))
(if (!=.f64 (neg.f64 (.f64 y.im x.im)) 0) (/.f64 (-.f64 (pow.f64 (.f64 x.re y.re) 3) (pow.f64 (.f64 y.im x.im) 3)) (+.f64 (pow.f64 (.f64 x.re y.re) 2) (.f64 (neg.f64 (.f64 y.im x.im)) (-.f64 (neg.f64 (.f64 y.im x.im)) (.f64 x.re y.re))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (!=.f64 (.f64 (neg.f64 x.im) y.im) 0) (/.f64 (-.f64 (pow.f64 (.f64 x.re y.re) 3) (pow.f64 (.f64 y.im x.im) 3)) (+.f64 (pow.f64 (.f64 x.re y.re) 2) (.f64 (.f64 (neg.f64 x.im) y.im) (-.f64 (.f64 (neg.f64 x.im) y.im) (.f64 x.re y.re))))) (fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im)))
(if (>.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 0) (exp.f64 (log.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (>.f64 (.f64 y.im x.im) 0) (fma.f64 y.re x.re (neg.f64 (exp.f64 (log.f64 (.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (>.f64 (.f64 y.im x.im) 0) (fma.f64 y.re x.re (neg.f64 (exp.f64 (log.f64 (.f64 y.im x.im))))) (fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im)))
(if (>.f64 y.re 0) (fma.f64 x.re (exp.f64 (log.f64 y.re)) (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (>.f64 y.re 0) (fma.f64 x.re (exp.f64 (log.f64 y.re)) (.f64 (neg.f64 x.im) y.im)) (fma.f64 x.re y.re (.f64 (neg.f64 x.im) y.im)))
(if (>.f64 x.re 0) (fma.f64 (exp.f64 (log.f64 x.re)) y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(if (>.f64 x.re 0) (fma.f64 (exp.f64 (log.f64 x.re)) y.re (.f64 (neg.f64 x.im) y.im)) (fma.f64 x.re y.re (.f64 (neg.f64 x.im) y.im)))
(if (>.f64 (neg.f64 (.f64 y.im x.im)) 0) (fma.f64 x.re y.re (exp.f64 (log.f64 (neg.f64 (.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (>.f64 (.f64 (neg.f64 x.im) y.im) 0) (fma.f64 x.re y.re (exp.f64 (log.f64 (.f64 (neg.f64 x.im) y.im)))) (fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im)))
(if (!=.f64 0 0) (fma.f64 x.re y.re (/.f64 (neg.f64 (pow.f64 (.f64 y.im x.im) 2)) (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (!=.f64 0 0) (fma.f64 x.re y.re (neg.f64 (/.f64 (pow.f64 (.f64 y.im x.im) 2) (.f64 y.im x.im)))) (fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im)))
(if (>.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 0) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (+.f64 2 1)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (>.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) 0) (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im)))) (+.f64 1 2)) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(if (!=.f64 (.f64 x.re y.re) 0) (/.f64 (-.f64 (pow.f64 (.f64 x.re y.re) 3) (pow.f64 (.f64 y.im x.im) 3)) (+.f64 (pow.f64 (.f64 x.re y.re) 2) (+.f64 (pow.f64 (.f64 y.im x.im) 2) (.f64 (.f64 x.re y.re) (.f64 y.im x.im))))) (fma.f64 x.re y.re (neg.f64 (*.f64 y.im x.im))))
(if (!=.f64 (.f64 x.re y.re) 0) (/.f64 (-.f64 (pow.f64 (.f64 x.re y.re) 3) (pow.f64 (.f64 y.im x.im) 3)) (+.f64 (pow.f64 (.f64 x.re y.re) 2) (+.f64 (pow.f64 (.f64 y.im x.im) 2) (.f64 (.f64 x.re y.re) (.f64 y.im x.im))))) (fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im)))
(if (and (>.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 0) (>.f64 (pow.f64 (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) 2) 0)) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))) (fma.f64 x.re y.re (neg.f64 (.f64 y.im x.im))))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(-.f64 (fma.f64 y.re x.re 0) (*.f64 y.im x.im))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))
(fma.f64 x.re y.re (*.f64 (neg.f64 x.im) y.im))

eval15.0ms (0.2%)

Compiler: Compiled 1490 to 399 computations (73.2% saved)

prune24.0ms (0.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	68	1	69

Error

0.01%

Counts

69 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.01%	(fma.f64 x.re y.re (neg.f64 (*.f64 x.im y.im)))

Compiler

Compiled 11 to 7 computations (36.4% saved)

regimes29.0ms (0.3%)

Accuracy

Total -0.0b remaining (-200%)

Threshold costs -0b (-200%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

7 calls:

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

Results

Error	Segments	Branch
0.01%	1	`x.re`
0.01%	1	`x.im`
0.01%	1	`y.re`
0.01%	1	`y.im`
0.01%	1	`(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))`
0.01%	1	`(*.f64 x.re y.re)`
0.01%	1	`(*.f64 x.im y.im)`

Compiler

Compiled 63 to 42 computations (33.3% saved)

simplify0.0ms (0%)

Stop Event

1×

done

Compiler

Compiled 11 to 7 computations (36.4% saved)

soundness0.0ms (0%)

end11.0ms (0.1%)

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

Details

analyze310.0ms (3.2%)

sample1.1s (10.8%)

preprocess382.0ms (3.9%)

simplify189.0ms (1.9%)

eval0.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.1%)

series4.0ms (0%)

rewrite7.2s (73.5%)

simplify557.0ms (5.7%)

eval15.0ms (0.2%)

prune24.0ms (0.2%)

regimes29.0ms (0.3%)

simplify0.0ms (0%)

soundness0.0ms (0%)

end11.0ms (0.1%)

Profiling