FastMath test1

Time bar (total: 772.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 7 computations (22.2% saved)

sample703.0ms (91.1%)

Results
692.0ms8233×body256valid
2.0ms23×body256infinite
Bogosity

preprocess69.0ms (8.9%)

Algorithm
egg-herbie
Rules
92×fma-def
26×associate-*r*
22×*-commutative
15×+-commutative
13×distribute-lft-neg-in
Problems
256×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01644
14044
210240
323740
435440
538040
Stop Event
saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 d 10) (*.f64 d 20))
(+.f64 (*.f64 d 10) (*.f64 d 20))
(+.f64 (*.f64 (neg.f64 d) 10) (*.f64 (neg.f64 d) 20))
(neg.f64 (+.f64 (*.f64 (neg.f64 d) 10) (*.f64 (neg.f64 d) 20)))
Outputs
(+.f64 (*.f64 d 10) (*.f64 d 20))
(*.f64 d 30)
(*.f64 30 d)
(+.f64 (*.f64 d 10) (*.f64 d 20))
(*.f64 d 30)
(*.f64 30 d)
(+.f64 (*.f64 (neg.f64 d) 10) (*.f64 (neg.f64 d) 20))
(*.f64 (neg.f64 d) 30)
(*.f64 d -30)
(neg.f64 (+.f64 (*.f64 (neg.f64 d) 10) (*.f64 (neg.f64 d) 20)))
(*.f64 d 30)
(*.f64 30 d)
Symmetry

(negabs d)

Compiler

Compiled 18 to 13 computations (27.8% saved)

end0.0ms (0%)

Profiling

Loading profile data...