math.square on complex, real part

Time bar (total: 1.1s)

analyze0.0ms (0%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 10 to 6 computations (40% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Operation ival-sub, time spent: 0.0ms, 0.0% of total-time
Operation ival-mult, time spent: 0.0ms, 0.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

sample839.0ms (76.1%)

Results
463.0ms4660×256valid
325.0ms3595×256infinite
0.0ms256valid
Precisions
Click to see histograms. Total time spent on operations: 192.0ms
Operation ival-mult, time spent: 133.0ms, 69.0% of total-time
Operation ival-sub, time spent: 50.0ms, 26.0% of total-time
Operation const, time spent: 9.0ms, 5.0% of total-time
Bogosity

preprocess263.0ms (23.9%)

Algorithm
egg-herbie
Rules
1780×fma-define
1224×sub-neg
1150×fma-neg
1128×distribute-lft-in
1028×distribute-rgt-in
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
020229
166217
2174217
3440217
41065217
52042217
63011217
73853217
85641217
96242217
106355217
116469217
126549217
136549217
147930217
Stop Event
node limit
Calls
Call 1
Inputs
(-.f64 (*.f64 re re) (*.f64 im im))
(-.f64 (*.f64 re re) (*.f64 im im))
(-.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im))
(-.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im)))
(neg.f64 (-.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))
(neg.f64 (-.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))
(-.f64 (*.f64 im im) (*.f64 re re))
Outputs
(-.f64 (*.f64 re re) (*.f64 im im))
(fma.f64 re re (*.f64 im (neg.f64 im)))
(-.f64 (*.f64 re re) (*.f64 im im))
(fma.f64 re re (*.f64 im (neg.f64 im)))
(-.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im))
(-.f64 (*.f64 re re) (*.f64 im im))
(fma.f64 re re (*.f64 im (neg.f64 im)))
(-.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im)))
(-.f64 (*.f64 re re) (*.f64 im im))
(fma.f64 re re (*.f64 im (neg.f64 im)))
(neg.f64 (-.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))
(neg.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (*.f64 im im) (*.f64 re re))
(fma.f64 re (neg.f64 re) (*.f64 im im))
(*.f64 (-.f64 im re) (+.f64 re im))
(neg.f64 (-.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))
(neg.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (*.f64 im im) (*.f64 re re))
(fma.f64 re (neg.f64 re) (*.f64 im im))
(*.f64 (-.f64 im re) (+.f64 re im))
(-.f64 (*.f64 im im) (*.f64 re re))
(neg.f64 (-.f64 (*.f64 re re) (*.f64 im im)))
(fma.f64 re (neg.f64 re) (*.f64 im im))
(*.f64 (-.f64 im re) (+.f64 re im))
Symmetry

(abs re)

(abs im)

Compiler

Compiled 20 to 6 computations (70% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0ms
Operation ival-mult, time spent: 4.0ms, 71.0% of total-time
Operation ival-sub, time spent: 2.0ms, 35.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

end0.0ms (0%)

Profiling

Loading profile data...