math.log10 on complex, imaginary part

analyze2.0ms (0.2%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
50%	50%	50%	0.1%	0%	0%	0%	2
75%	74.9%	25%	0.1%	0%	0%	0%	3
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	4
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	5
96.9%	96.8%	3.1%	0.1%	0%	0%	0%	6
98.4%	98.3%	1.6%	0.1%	0%	0%	0%	7
99.2%	99.1%	0.8%	0.1%	0%	0%	0%	8
99.6%	99.5%	0.4%	0.1%	0%	0%	0%	9
99.8%	99.7%	0.2%	0.1%	0%	0%	0%	10
99.9%	99.8%	0.1%	0.1%	0%	0%	0%	11
100%	99.9%	0%	0.1%	0%	0%	0%	12

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample852.0ms (85.2%)

Results

840.0ms

8256×

body

256

valid

Bogosity

preprocess146.0ms (14.6%)

Algorithm

1×	egg-herbie

Rules

22×	`associate-+l-`
16×	`fma-def`
16×	`+-commutative`
12×	`sub-neg`
9×	`*-commutative`

Problems

255×	No Errors
1×	`(/.f64 (atan2.f64 im re) (log.f64 10))`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	185
1	36	185
2	50	185
3	66	185
4	96	185
5	121	185
6	140	185
7	153	185
8	201	185

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (atan2.f64 im re) (log.f64 10))
(/.f64 (atan2.f64 im re) (log.f64 10))
(/.f64 (atan2.f64 im (neg.f64 re)) (log.f64 10))
(/.f64 (atan2.f64 (neg.f64 im) re) (log.f64 10))
(neg.f64 (/.f64 (atan2.f64 im (neg.f64 re)) (log.f64 10)))
(neg.f64 (/.f64 (atan2.f64 (neg.f64 im) re) (log.f64 10)))
(/.f64 (atan2.f64 re im) (log.f64 10))

Outputs
(/.f64 (atan2.f64 im re) (log.f64 10))
(/.f64 (atan2.f64 im re) (log.f64 10))
(/.f64 (atan2.f64 im (neg.f64 re)) (log.f64 10))
(/.f64 (atan2.f64 (neg.f64 im) re) (log.f64 10))
(neg.f64 (/.f64 (atan2.f64 im (neg.f64 re)) (log.f64 10)))
(/.f64 (neg.f64 (atan2.f64 im (neg.f64 re))) (log.f64 10))
(neg.f64 (/.f64 (atan2.f64 (neg.f64 im) re) (log.f64 10)))
(/.f64 (neg.f64 (atan2.f64 (neg.f64 im) re)) (log.f64 10))
(/.f64 (atan2.f64 re im) (log.f64 10))

Compiler

Compiled 17 to 10 computations (41.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...