Metrics for _multiplyComplex, real part

analyze1.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
100%	99.8%	0%	0.2%	0%	0%	0%	1

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample8.0s (97%)

Results

987.0ms	8256×	valid-rival
872.0ms	8210×	valid-sollya
230.0ms	46×	exit-sollya

Bogosity

preprocess135.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

280×	`fma-define`
195×	`fma-neg`
62×	`unsub-neg`
47×	`cancel-sign-sub-inv`
45×	`distribute-lft-neg-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	45	512
1	126	480
2	227	480
3	472	480
4	853	480
5	1158	480
6	1188	480
7	1194	480

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
(-.f64 (.f64 (neg.f64 x.re) y.re) (.f64 x.im y.im))
(-.f64 (.f64 x.re y.re) (.f64 (neg.f64 x.im) y.im))
(-.f64 (.f64 x.re (neg.f64 y.re)) (.f64 x.im y.im))
(-.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(neg.f64 (-.f64 (.f64 (neg.f64 x.re) y.re) (.f64 x.im y.im)))
(neg.f64 (-.f64 (.f64 x.re y.re) (.f64 (neg.f64 x.im) y.im)))
(neg.f64 (-.f64 (.f64 x.re (neg.f64 y.re)) (.f64 x.im y.im)))
(neg.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 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.re y.re) (.f64 x.im y.im))
(-.f64 (.f64 (neg.f64 x.re) y.re) (.f64 x.im y.im))
(-.f64 (.f64 x.re (neg.f64 y.re)) (.f64 x.im y.im))
(neg.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)))
(-.f64 (.f64 x.re y.re) (.f64 (neg.f64 x.im) y.im))
(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))
(fma.f64 x.re y.re (*.f64 x.im y.im))
(-.f64 (.f64 x.re (neg.f64 y.re)) (.f64 x.im y.im))
(neg.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)))
(-.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))
(fma.f64 x.re y.re (*.f64 x.im y.im))
(neg.f64 (-.f64 (.f64 (neg.f64 x.re) y.re) (.f64 x.im y.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))
(fma.f64 x.re y.re (*.f64 x.im y.im))
(neg.f64 (-.f64 (.f64 x.re y.re) (.f64 (neg.f64 x.im) y.im)))
(-.f64 (.f64 x.re (neg.f64 y.re)) (.f64 x.im y.im))
(neg.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)))
(neg.f64 (-.f64 (.f64 x.re (neg.f64 y.re)) (.f64 x.im y.im)))
(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))
(fma.f64 x.re y.re (*.f64 x.im y.im))
(neg.f64 (-.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im))))
(-.f64 (.f64 x.re (neg.f64 y.re)) (.f64 x.im y.im))
(neg.f64 (fma.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))
(fma.f64 y.re y.im (*.f64 x.re (neg.f64 x.im)))
(-.f64 (.f64 x.re x.im) (.f64 y.re y.im))
(fma.f64 y.re (neg.f64 y.im) (*.f64 x.re x.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 11 to 7 computations (36.4% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	100.0%	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))

Compiler

Compiled 22 to 14 computations (36.4% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	31
1	22	31
2	34	31
3	40	31
4	44	31
5	45	31

Stop Event

1×

saturated

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

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 11 to 7 computations (36.4% saved)

preprocess106.0ms (1.3%)

Remove

(sort x.im y.im)

(sort x.re y.re)

Compiler

Compiled 132 to 84 computations (36.4% saved)

_multiplyComplex, real part

analyze1.0ms (0%)

sample8.0s (97%)

preprocess135.0ms (1.6%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify4.0ms (0%)

soundness0.0ms (0%)

preprocess106.0ms (1.3%)

end0.0ms (0%)

Profiling