Development.Shake.Profile:generateTrace from shake-0.15.5

Time bar (total: 628.0ms)

analyze0.0ms (0%)

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

Compiled 7 to 5 computations (28.6% saved)

sample579.0ms (92.2%)

Results
568.0ms8256×body256valid
Bogosity

preprocess49.0ms (7.8%)

Algorithm
1×egg-herbie
Rules
8×fma-def
6×*-commutative
3×1-exp
3×sub-neg
3×neg-sub0
Problems
256×No Errors
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0134
1314
2394
3554
4654
5724
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 1000000 (-.f64 x x))
(*.f64 1000000 (-.f64 x x))
(*.f64 1000000 (-.f64 (neg.f64 x) (neg.f64 x)))
(neg.f64 (*.f64 1000000 (-.f64 (neg.f64 x) (neg.f64 x))))
Outputs
(*.f64 1000000 (-.f64 x x))
0
(*.f64 1000000 (-.f64 x x))
0
(*.f64 1000000 (-.f64 (neg.f64 x) (neg.f64 x)))
0
(neg.f64 (*.f64 1000000 (-.f64 (neg.f64 x) (neg.f64 x))))
0
Symmetry

(abs x)

(negabs x)

Compiler

Compiled 12 to 6 computations (50% saved)

end0.0ms (0%)

Profiling

Loading profile data...