Metrics for Complex division, real part

analyze22.0ms (1.9%)

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)

sample974.0ms (83.6%)

Results

911.0ms	7795×	body	256	valid
53.0ms	461×	body	256	infinite

Bogosity

preprocess170.0ms (14.5%)

Algorithm

1×	egg-herbie

Rules

524×	`fma-def`
475×	`distribute-lft-in`
415×	`associate--r+`
404×	`*-commutative`
378×	`distribute-rgt-in`

Problems

144×	No Errors
111×	`(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))`
1×	`(+.f64 (.f64 a c) (.f64 b d))`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	976
1	152	976
2	238	976
3	467	976
4	1320	976
5	3514	976
6	5219	976
7	7459	976

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))
(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))
(/.f64 (+.f64 (.f64 (neg.f64 a) c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))
(/.f64 (+.f64 (.f64 a c) (.f64 (neg.f64 b) d)) (+.f64 (.f64 c c) (.f64 d d)))
(/.f64 (+.f64 (.f64 a (neg.f64 c)) (.f64 b d)) (+.f64 (.f64 (neg.f64 c) (neg.f64 c)) (.f64 d d)))
(/.f64 (+.f64 (.f64 a c) (.f64 b (neg.f64 d))) (+.f64 (.f64 c c) (.f64 (neg.f64 d) (neg.f64 d))))
(neg.f64 (/.f64 (+.f64 (.f64 (neg.f64 a) c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d))))
(neg.f64 (/.f64 (+.f64 (.f64 a c) (.f64 (neg.f64 b) d)) (+.f64 (.f64 c c) (.f64 d d))))
(neg.f64 (/.f64 (+.f64 (.f64 a (neg.f64 c)) (.f64 b d)) (+.f64 (.f64 (neg.f64 c) (neg.f64 c)) (.f64 d d))))
(neg.f64 (/.f64 (+.f64 (.f64 a c) (.f64 b (neg.f64 d))) (+.f64 (.f64 c c) (.f64 (neg.f64 d) (neg.f64 d)))))
(/.f64 (+.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))
(/.f64 (+.f64 (.f64 c a) (.f64 b d)) (+.f64 (.f64 a a) (.f64 d d)))
(/.f64 (+.f64 (.f64 d c) (.f64 b a)) (+.f64 (.f64 c c) (.f64 a a)))
(/.f64 (+.f64 (.f64 a b) (.f64 c d)) (+.f64 (.f64 b b) (.f64 d d)))
(/.f64 (+.f64 (.f64 a c) (.f64 d b)) (+.f64 (.f64 c c) (.f64 b b)))
(/.f64 (+.f64 (.f64 a d) (.f64 b c)) (+.f64 (.f64 d d) (.f64 c c)))

Outputs
(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))
(/.f64 (fma.f64 a c (.f64 b d)) (fma.f64 c c (.f64 d d)))
(/.f64 (fma.f64 a c (.f64 b d)) (fma.f64 d d (.f64 c c)))
(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))
(/.f64 (fma.f64 a c (.f64 b d)) (fma.f64 c c (.f64 d d)))
(/.f64 (fma.f64 a c (.f64 b d)) (fma.f64 d d (.f64 c c)))
(/.f64 (+.f64 (.f64 (neg.f64 a) c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))
(/.f64 (fma.f64 a (neg.f64 c) (.f64 b d)) (fma.f64 c c (.f64 d d)))
(/.f64 (-.f64 (.f64 b d) (.f64 a c)) (fma.f64 c c (*.f64 d d)))
(/.f64 (-.f64 (.f64 b d) (.f64 a c)) (fma.f64 d d (*.f64 c c)))
(/.f64 (+.f64 (.f64 a c) (.f64 (neg.f64 b) d)) (+.f64 (.f64 c c) (.f64 d d)))
(/.f64 (fma.f64 a c (.f64 b (neg.f64 d))) (fma.f64 c c (.f64 d d)))
(/.f64 (-.f64 (.f64 a c) (.f64 b d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (-.f64 (.f64 a c) (.f64 b d)) (fma.f64 d d (*.f64 c c)))
(/.f64 (+.f64 (.f64 a (neg.f64 c)) (.f64 b d)) (+.f64 (.f64 (neg.f64 c) (neg.f64 c)) (.f64 d d)))
(/.f64 (fma.f64 a (neg.f64 c) (.f64 b d)) (fma.f64 c c (.f64 d d)))
(/.f64 (-.f64 (.f64 b d) (.f64 a c)) (fma.f64 c c (*.f64 d d)))
(/.f64 (-.f64 (.f64 b d) (.f64 a c)) (fma.f64 d d (*.f64 c c)))
(/.f64 (+.f64 (.f64 a c) (.f64 b (neg.f64 d))) (+.f64 (.f64 c c) (.f64 (neg.f64 d) (neg.f64 d))))
(/.f64 (fma.f64 a c (.f64 b (neg.f64 d))) (fma.f64 c c (.f64 d d)))
(/.f64 (-.f64 (.f64 a c) (.f64 b d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (-.f64 (.f64 a c) (.f64 b d)) (fma.f64 d d (*.f64 c c)))
(neg.f64 (/.f64 (+.f64 (.f64 (neg.f64 a) c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d))))
(/.f64 (fma.f64 a c (.f64 b (neg.f64 d))) (fma.f64 c c (.f64 d d)))
(/.f64 (-.f64 (.f64 a c) (.f64 b d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (-.f64 (.f64 a c) (.f64 b d)) (fma.f64 d d (*.f64 c c)))
(neg.f64 (/.f64 (+.f64 (.f64 a c) (.f64 (neg.f64 b) d)) (+.f64 (.f64 c c) (.f64 d d))))
(/.f64 (fma.f64 a (neg.f64 c) (.f64 b d)) (fma.f64 c c (.f64 d d)))
(/.f64 (-.f64 (.f64 b d) (.f64 a c)) (fma.f64 c c (*.f64 d d)))
(/.f64 (-.f64 (.f64 b d) (.f64 a c)) (fma.f64 d d (*.f64 c c)))
(neg.f64 (/.f64 (+.f64 (.f64 a (neg.f64 c)) (.f64 b d)) (+.f64 (.f64 (neg.f64 c) (neg.f64 c)) (.f64 d d))))
(/.f64 (fma.f64 a c (.f64 b (neg.f64 d))) (fma.f64 c c (.f64 d d)))
(/.f64 (-.f64 (.f64 a c) (.f64 b d)) (fma.f64 c c (*.f64 d d)))
(/.f64 (-.f64 (.f64 a c) (.f64 b d)) (fma.f64 d d (*.f64 c c)))
(neg.f64 (/.f64 (+.f64 (.f64 a c) (.f64 b (neg.f64 d))) (+.f64 (.f64 c c) (.f64 (neg.f64 d) (neg.f64 d)))))
(/.f64 (fma.f64 a (neg.f64 c) (.f64 b d)) (fma.f64 c c (.f64 d d)))
(/.f64 (-.f64 (.f64 b d) (.f64 a c)) (fma.f64 c c (*.f64 d d)))
(/.f64 (-.f64 (.f64 b d) (.f64 a c)) (fma.f64 d d (*.f64 c c)))
(/.f64 (+.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))
(/.f64 (fma.f64 a d (.f64 c b)) (fma.f64 c c (.f64 d d)))
(/.f64 (fma.f64 c b (.f64 a d)) (fma.f64 c c (.f64 d d)))
(/.f64 (fma.f64 a d (.f64 c b)) (fma.f64 d d (.f64 c c)))
(/.f64 (+.f64 (.f64 c a) (.f64 b d)) (+.f64 (.f64 a a) (.f64 d d)))
(/.f64 (fma.f64 a c (.f64 b d)) (fma.f64 a a (.f64 d d)))
(/.f64 (fma.f64 a c (.f64 b d)) (fma.f64 d d (.f64 a a)))
(/.f64 (+.f64 (.f64 d c) (.f64 b a)) (+.f64 (.f64 c c) (.f64 a a)))
(/.f64 (fma.f64 a b (.f64 c d)) (fma.f64 c c (.f64 a a)))
(/.f64 (fma.f64 a b (.f64 c d)) (fma.f64 a a (.f64 c c)))
(/.f64 (+.f64 (.f64 a b) (.f64 c d)) (+.f64 (.f64 b b) (.f64 d d)))
(/.f64 (fma.f64 a b (.f64 c d)) (fma.f64 b b (.f64 d d)))
(/.f64 (fma.f64 a b (.f64 c d)) (fma.f64 d d (.f64 b b)))
(/.f64 (+.f64 (.f64 a c) (.f64 d b)) (+.f64 (.f64 c c) (.f64 b b)))
(/.f64 (fma.f64 a c (.f64 b d)) (fma.f64 c c (.f64 b b)))
(/.f64 (+.f64 (.f64 a d) (.f64 b c)) (+.f64 (.f64 d d) (.f64 c c)))
(/.f64 (fma.f64 a d (.f64 c b)) (fma.f64 c c (.f64 d d)))
(/.f64 (fma.f64 c b (.f64 a d)) (fma.f64 c c (.f64 d d)))
(/.f64 (fma.f64 a d (.f64 c b)) (fma.f64 d d (.f64 c c)))

Compiler

Compiled 50 to 12 computations (76% saved)

Complex division, real part

analyze22.0ms (1.9%)

sample974.0ms (83.6%)

preprocess170.0ms (14.5%)

end0.0ms (0%)

Profiling