Data.Spline.Key:interpolateKeys from smoothie-0.4.0.2

Time bar (total: 964.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 11 to 8 computations (27.3% saved)

sample743.0ms (77.1%)

Results
508.0ms5532×body256valid
225.0ms2724×body256infinite
Bogosity

preprocess221.0ms (22.9%)

Algorithm
egg-herbie
Rules
705×fma-def
462×distribute-lft-neg-out
443×distribute-lft-in
358×*-commutative
326×associate-*r*
Problems
256×No Errors
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
018140
150136
2189124
3532120
41463120
52385120
62417120
72446120
82493120
92570120
103055120
114164120
124955120
135856120
146599120
Stop Event
node limit
Calls
Call 1
Inputs
(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))
(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))
(*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (-.f64 3 (*.f64 (neg.f64 x) 2)))
(neg.f64 (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (-.f64 3 (*.f64 (neg.f64 x) 2))))
Outputs
(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))
(*.f64 (-.f64 3 (*.f64 x 2)) (*.f64 x x))
(*.f64 (+.f64 3 (*.f64 x -2)) (*.f64 x x))
(*.f64 (fma.f64 x -2 3) (*.f64 x x))
(*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 2)))
(*.f64 (-.f64 3 (*.f64 x 2)) (*.f64 x x))
(*.f64 (+.f64 3 (*.f64 x -2)) (*.f64 x x))
(*.f64 (fma.f64 x -2 3) (*.f64 x x))
(*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (-.f64 3 (*.f64 (neg.f64 x) 2)))
(*.f64 (*.f64 x x) (+.f64 3 (*.f64 x 2)))
(*.f64 (*.f64 x x) (fma.f64 x 2 3))
(*.f64 x (*.f64 x (fma.f64 x 2 3)))
(neg.f64 (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (-.f64 3 (*.f64 (neg.f64 x) 2))))
(*.f64 (*.f64 x x) (neg.f64 (+.f64 3 (*.f64 x 2))))
(*.f64 (*.f64 x x) (+.f64 -3 (*.f64 x -2)))
(*.f64 (*.f64 x x) (+.f64 (*.f64 x -2) -3))
(*.f64 (*.f64 x x) (fma.f64 x -2 -3))
(*.f64 x (*.f64 x (fma.f64 x -2 -3)))
Compiler

Compiled 25 to 16 computations (36% saved)

end0.0ms (0%)

Profiling

Loading profile data...