Metrics for _divideComplex, real part

analyze38.0ms (1.1%)

Memory

-1.7MiB live, 13.9MiB allocated

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 37 to 25 computations (32.4% saved)

sample2.8s (85.9%)

Memory

28.8MiB live, 890.8MiB allocated

Samples

615.0ms	8 256×	73	valid-baseline
585.0ms	8 256×	73	valid-sollya
515.0ms	8 256×	73	valid-rival

Precisions

Click to see Rival histograms. Total time spent on operations: 320.0ms

ival-mult: 194.0ms (60.6% of total)

ival-add: 62.0ms (19.4% of total)

ival-div: 54.0ms (16.9% of total)

ival-true: 7.0ms (2.2% of total)

ival-assert: 3.0ms (0.9% of total)

Precisions

Click to see Base histograms. Total time spent on operations: 320.0ms

ival-mult: 195.0ms (61% of total)

ival-add: 70.0ms (21.9% of total)

ival-div: 48.0ms (15% of total)

const: 7.0ms (2.2% of total)

Bogosity

preprocess412.0ms (12.4%)

Memory

-14.3MiB live, 33.9MiB allocated

Algorithm

1×	egg-herbie

Rules

1 573×	`fmm-def`
912×	`fma-define`
860×	`times-frac`
537×	`div-sub`
318×	`distribute-rgt-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	976
1	162	976
2	263	976
3	484	976
4	1174	976
5	3112	976
6	4405	976
7	5572	976
8	6433	976
9	6831	976
10	6959	976
11	7132	976
12	7586	976
13	7586	976
14	7586	976
15	7586	976
16	7946	976

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.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.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))
(/.f64 (+.f64 (.f64 (neg.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.re y.re) (.f64 (neg.f64 x.im) y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))
(/.f64 (+.f64 (.f64 x.re (neg.f64 y.re)) (.f64 x.im y.im)) (+.f64 (.f64 (neg.f64 y.re) (neg.f64 y.re)) (.f64 y.im y.im)))
(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im (neg.f64 y.im))) (+.f64 (.f64 y.re y.re) (.f64 (neg.f64 y.im) (neg.f64 y.im))))
(neg.f64 (/.f64 (+.f64 (.f64 (neg.f64 x.re) y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im))))
(neg.f64 (/.f64 (+.f64 (.f64 x.re y.re) (.f64 (neg.f64 x.im) y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im))))
(neg.f64 (/.f64 (+.f64 (.f64 x.re (neg.f64 y.re)) (.f64 x.im y.im)) (+.f64 (.f64 (neg.f64 y.re) (neg.f64 y.re)) (.f64 y.im y.im))))
(neg.f64 (/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im (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)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))
(/.f64 (+.f64 (.f64 y.re x.re) (.f64 x.im y.im)) (+.f64 (.f64 x.re x.re) (.f64 y.im y.im)))
(/.f64 (+.f64 (.f64 y.im y.re) (.f64 x.im x.re)) (+.f64 (.f64 y.re y.re) (.f64 x.re x.re)))
(/.f64 (+.f64 (.f64 x.re x.im) (.f64 y.re y.im)) (+.f64 (.f64 x.im x.im) (.f64 y.im y.im)))
(/.f64 (+.f64 (.f64 x.re y.re) (.f64 y.im x.im)) (+.f64 (.f64 y.re y.re) (.f64 x.im x.im)))
(/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 y.im y.im) (.f64 y.re y.re)))

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

Compiler

Compiled 19 to 11 computations (42.1% saved)

eval0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated
Compiler: Compiled 4 to 4 computations (0% saved)

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 38 to 22 computations (42.1% saved)

simplify2.0ms (0.1%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative`
2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	67
1	22	67

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 19 to 11 computations (42.1% saved)

preprocess15.0ms (0.5%)

Memory: 6.5MiB live, 22.0MiB allocated
Compiler: Compiled 76 to 44 computations (42.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze38.0ms (1.1%)

sample2.8s (85.9%)

preprocess412.0ms (12.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess15.0ms (0.5%)

end0.0ms (0%)

Profiling