math.log10 on complex, real part

Time bar (total: 2.0s)

analyze105.0ms (5.3%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
18.8%18.7%81.2%0.1%0%0%0%5
34.4%34.3%65.6%0.1%0%0%0%6
54.7%54.6%45.3%0.1%0%0%0%7
64.8%64.8%35.1%0.1%0%0%0%8
76.2%76.1%23.8%0.1%0%0%0%9
81.8%81.8%18.1%0.1%0%0%0%10
87.8%87.7%12.2%0.1%0%0%0%11
90.8%90.7%9.2%0.1%0%0%0%12
Compiler

Compiled 15 to 11 computations (26.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 51.0ms
Operation ival-log, time spent: 22.0ms, 43.0% of total-time
Operation ival-mult, time spent: 12.0ms, 23.0% of total-time
Operation ival-div, time spent: 6.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 6.0ms, 12.0% of total-time
Operation ival-add, time spent: 4.0ms, 8.0% of total-time
Operation const, time spent: 1.0ms, 2.0% of total-time

sample1.8s (89.1%)

Results
1.6s8255×256valid
0.0ms256valid
Precisions
Click to see histograms. Total time spent on operations: 774.0ms
Operation ival-log, time spent: 404.0ms, 52.0% of total-time
Operation ival-mult, time spent: 137.0ms, 18.0% of total-time
Operation ival-sqrt, time spent: 90.0ms, 12.0% of total-time
Operation ival-div, time spent: 76.0ms, 10.0% of total-time
Operation ival-add, time spent: 51.0ms, 7.0% of total-time
Operation const, time spent: 16.0ms, 2.0% of total-time
Bogosity

preprocess113.0ms (5.7%)

Algorithm
egg-herbie
Rules
118×fma-define
112×fma-neg
42×sub-neg
34×neg-sub0
30×distribute-lft-neg-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034197
168197
2119197
3215197
4318197
5367197
6387197
7398197
8413197
9414197
Stop Event
saturated
Calls
Call 1
Inputs
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))) (log.f64 #s(literal 10 binary64)))
(neg.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))) (log.f64 #s(literal 10 binary64))))
(neg.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))) (log.f64 #s(literal 10 binary64))))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re)))) (log.f64 #s(literal 10 binary64)))
Outputs
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (hypot.f64 re im)) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (hypot.f64 re im)) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (hypot.f64 re im)) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (hypot.f64 re im)) (log.f64 #s(literal 10 binary64)))
(neg.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))) (log.f64 #s(literal 10 binary64))))
(/.f64 (log.f64 (hypot.f64 re im)) (neg.f64 (log.f64 #s(literal 10 binary64))))
(neg.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))) (log.f64 #s(literal 10 binary64))))
(/.f64 (log.f64 (hypot.f64 re im)) (neg.f64 (log.f64 #s(literal 10 binary64))))
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re)))) (log.f64 #s(literal 10 binary64)))
(/.f64 (log.f64 (hypot.f64 re im)) (log.f64 #s(literal 10 binary64)))
Symmetry

(abs re)

(abs im)

(sort re im)

Compiler

Compiled 52 to 14 computations (73.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 24.0ms
Operation ival-log, time spent: 12.0ms, 50.0% of total-time
Operation ival-sqrt, time spent: 4.0ms, 17.0% of total-time
Operation ival-mult, time spent: 4.0ms, 17.0% of total-time
Operation ival-div, time spent: 2.0ms, 8.0% of total-time
Operation ival-add, time spent: 2.0ms, 8.0% of total-time
Operation const, time spent: 1.0ms, 4.0% of total-time

end0.0ms (0%)

Profiling

Loading profile data...