Metrics for Complex division, imag part

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

sample1.0s (86.8%)

Results

947.0ms	7784×	body	256	valid
57.0ms	472×	body	256	infinite

Bogosity

preprocess131.0ms (11.2%)

Algorithm

1×	egg-herbie

Rules

714×	`times-frac`
595×	`associate-+r+`
553×	`distribute-lft-in`
483×	`associate-/l*`
399×	`associate--r-`

Problems

140×	No Errors
115×	`(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))`
1×	`(-.f64 (.f64 b c) (.f64 a d))`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	70	1024
1	203	992
2	403	992
3	1114	992
4	5224	992

Stop Event

1×	node limit

Calls

Call 1

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

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

Compiler

Compiled 50 to 12 computations (76% saved)

Complex division, imag part

analyze23.0ms (1.9%)

sample1.0s (86.8%)

preprocess131.0ms (11.2%)

end0.0ms (0%)

Profiling