Metrics for _divideComplex, imaginary part

analyze52.0ms (0.5%)

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
75%	74.9%	25%	0.2%	0%	0%	0%	5
75%	74.9%	25%	0.2%	0%	0%	0%	6
75%	74.9%	25%	0.2%	0%	0%	0%	7
87.5%	87.3%	12.5%	0.2%	0%	0%	0%	8
93.8%	93.6%	6.2%	0.2%	0%	0%	0%	9
93.8%	93.6%	6.2%	0.2%	0%	0%	0%	10
93.8%	93.6%	6.2%	0.2%	0%	0%	0%	11
96.9%	96.7%	3.1%	0.2%	0%	0%	0%	12

Compiler

Compiled 20 to 12 computations (40% saved)

sample9.3s (94.9%)

Results

1.5s	8256×	valid-rival
996.0ms	8214×	valid-sollya
210.0ms	42×	exit-sollya

Bogosity

preprocess395.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1255×	`fma-define`
795×	`fma-neg`
518×	`div-sub`
436×	`unsub-neg`
415×	`distribute-rgt-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	70	1024
1	237	992
2	469	992
3	1150	992
4	3391	992
5	5801	992
6	6625	992
7	6734	992
8	6754	992
9	6770	992
10	7716	992

Stop Event

1×	node limit

Calls

Call 1

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

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

Compiler

Compiled 19 to 11 computations (42.1% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	63.3%	(/.f64 (-.f64 (.f64 x.im y.re) (.f64 x.re y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))

Compiler

Compiled 38 to 22 computations (42.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative`
5×	`+-commutative`
4×	`sub-neg`
3×	`neg-sub0`
3×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	67
1	27	67
2	39	67
3	45	67
4	49	67
5	50	67

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 19 to 11 computations (42.1% saved)

preprocess48.0ms (0.5%)

Compiler: Compiled 76 to 44 computations (42.1% saved)

_divideComplex, imaginary part

analyze52.0ms (0.5%)

sample9.3s (94.9%)

preprocess395.0ms (4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0%)

soundness0.0ms (0%)

preprocess48.0ms (0.5%)

end0.0ms (0%)

Profiling