FastMath repmul

Time bar (total: 829.0ms)

analyze0.0ms (0%)

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

Compiled 9 to 5 computations (44.4% saved)

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

sample756.0ms (91.2%)

Results
441.0ms5167×256valid
275.0ms3088×256infinite
0.0ms256valid
Precisions
Click to see histograms. Total time spent on operations: 214.0ms
Operation ival-mult, time spent: 206.0ms, 96.0% of total-time
Operation const, time spent: 8.0ms, 4.0% of total-time
Bogosity

preprocess73.0ms (8.8%)

Algorithm
egg-herbie
Rules
112×fma-define
34×distribute-lft-neg-in
32×associate-*r*
28×fma-neg
24×unsub-neg
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
014128
13980
211544
320544
426044
531644
Stop Event
saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1))
(neg.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1)))
Outputs
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))
(*.f64 d1 (pow.f64 d1 #s(literal 3 binary64)))
(pow.f64 d1 #s(literal 4 binary64))
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))
(*.f64 d1 (pow.f64 d1 #s(literal 3 binary64)))
(pow.f64 d1 #s(literal 4 binary64))
(*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1))
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))
(*.f64 d1 (pow.f64 d1 #s(literal 3 binary64)))
(pow.f64 d1 #s(literal 4 binary64))
(neg.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1)))
(neg.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))
(*.f64 (neg.f64 d1) (pow.f64 d1 #s(literal 3 binary64)))
(neg.f64 (pow.f64 d1 #s(literal 4 binary64)))
Symmetry

(abs d1)

Compiler

Compiled 21 to 5 computations (76.2% saved)

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

end0.0ms (0%)

Profiling

Loading profile data...