Numeric.Signal:interpolate from hsignal-0.2.7.1

Time bar (total: 1.9s)

analyze153.0ms (7.9%)

Memory
-12.9MiB live, 357.8MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
0%0%99.8%0.2%0%0%0%5
50%49.9%49.9%0.2%0%0%0%6
50%49.9%49.9%0.2%0%0%0%7
50%49.9%49.9%0.2%0%0%0%8
50%49.9%49.9%0.2%0%0%0%9
50%49.9%49.9%0.2%0%0%0%10
75%74.8%24.9%0.2%0%0%0%11
75%74.8%24.9%0.2%0%0%0%12
Compiler

Compiled 15 to 13 computations (13.3% saved)

sample1.2s (61.8%)

Memory
13.4MiB live, 1 884.8MiB allocated
Samples
546.0ms6 960×0valid
281.0ms1 235×1valid
11.0ms61×2valid
Precisions
Click to see histograms. Total time spent on operations: 526.0ms
ival-sub: 299.0ms (56.8% of total)
ival-div: 66.0ms (12.5% of total)
ival-add: 65.0ms (12.4% of total)
ival-mult: 60.0ms (11.4% of total)
adjust: 27.0ms (5.1% of total)
ival-true: 6.0ms (1.1% of total)
ival-assert: 3.0ms (0.6% of total)
Bogosity

preprocess577.0ms (29.7%)

Memory
12.4MiB live, 821.8MiB allocated
Algorithm
2×egg-herbie
Rules
14 016×accelerator-lowering-fma.f32
14 016×accelerator-lowering-fma.f64
1 984×*-lowering-*.f32
1 984×*-lowering-*.f64
1 856×+-lowering-+.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
085290
1243282
2702273
32957273
01113
12313
24813
314513
450513
5140513
6373013
7638613
8744813
9775613
10784813
11785913
12790713
13790713
14791313
15791313
0811312
Stop Event
1×iter limit
1×node limit
1×node limit
Calls
Call 1
Inputs
(+ x (* (- y z) (/ (- t x) (- a z))))
Outputs
(+ x (* (- y z) (/ (- t x) (- a z))))
(fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)
Call 2
Inputs
(+ x (* (- y z) (/ (- t x) (- a z))))
(+ (neg x) (* (- y z) (/ (- t (neg x)) (- a z))))
(+ x (* (- (neg y) z) (/ (- t x) (- a z))))
(+ x (* (- y (neg z)) (/ (- t x) (- a (neg z)))))
(+ x (* (- y z) (/ (- (neg t) x) (- a z))))
(+ x (* (- y z) (/ (- t x) (- (neg a) z))))
(neg (+ (neg x) (* (- y z) (/ (- t (neg x)) (- a z)))))
(neg (+ x (* (- (neg y) z) (/ (- t x) (- a z)))))
(neg (+ x (* (- y (neg z)) (/ (- t x) (- a (neg z))))))
(neg (+ x (* (- y z) (/ (- (neg t) x) (- a z)))))
(neg (+ x (* (- y z) (/ (- t x) (- (neg a) z)))))
(+ y (* (- x z) (/ (- t y) (- a z))))
(+ z (* (- y x) (/ (- t z) (- a x))))
(+ t (* (- y z) (/ (- x t) (- a z))))
(+ a (* (- y z) (/ (- t a) (- x z))))
(+ x (* (- z y) (/ (- t x) (- a y))))
(+ x (* (- t z) (/ (- y x) (- a z))))
(+ x (* (- a z) (/ (- t x) (- y z))))
(+ x (* (- y t) (/ (- z x) (- a t))))
(+ x (* (- y a) (/ (- t x) (- z a))))
(+ x (* (- y z) (/ (- a x) (- t z))))
Outputs
(+ x (* (- y z) (/ (- t x) (- a z))))
(+ (neg x) (* (- y z) (/ (- t (neg x)) (- a z))))
(- (* (+ x t) (/ (- y z) (- a z))) x)
(+ x (* (- (neg y) z) (/ (- t x) (- a z))))
(+ x (* (+ y z) (/ (- t x) (- z a))))
(+ x (* (- y (neg z)) (/ (- t x) (- a (neg z)))))
(+ x (* (- t x) (/ (+ y z) (+ z a))))
(+ x (* (- y z) (/ (- (neg t) x) (- a z))))
(+ x (/ (* (- z y) (+ x t)) (- a z)))
(+ x (* (- y z) (/ (- t x) (- (neg a) z))))
(+ x (* (- y z) (/ (- x t) (+ z a))))
(neg (+ (neg x) (* (- y z) (/ (- t (neg x)) (- a z)))))
(+ x (/ (* (- z y) (+ x t)) (- a z)))
(neg (+ x (* (- (neg y) z) (/ (- t x) (- a z)))))
(- (* (/ (- t x) (- a z)) (+ y z)) x)
(neg (+ x (* (- y (neg z)) (/ (- t x) (- a (neg z))))))
(- (* (+ y z) (/ (- x t) (+ z a))) x)
(neg (+ x (* (- y z) (/ (- (neg t) x) (- a z)))))
(- (* (+ x t) (/ (- y z) (- a z))) x)
(neg (+ x (* (- y z) (/ (- t x) (- (neg a) z)))))
(- (* (/ (- x t) (+ z a)) (- z y)) x)
(+ y (* (- x z) (/ (- t y) (- a z))))
(+ z (* (- y x) (/ (- t z) (- a x))))
(+ t (* (- y z) (/ (- x t) (- a z))))
(+ t (* (- y z) (/ (- t x) (- z a))))
(+ a (* (- y z) (/ (- t a) (- x z))))
(+ x (* (- z y) (/ (- t x) (- a y))))
(+ x (* (- t x) (/ (- z y) (- a y))))
(+ x (* (- t z) (/ (- y x) (- a z))))
(+ x (/ (* (- y x) (- t z)) (- a z)))
(+ x (* (- a z) (/ (- t x) (- y z))))
(+ x (* (- t x) (/ (- a z) (- y z))))
(+ x (* (- y t) (/ (- z x) (- a t))))
(+ x (/ (* (- x z) (- t y)) (- a t)))
(+ x (* (- y a) (/ (- t x) (- z a))))
(+ x (* (- y z) (/ (- a x) (- t z))))

explain12.0ms (0.6%)

Memory
-37.8MiB live, 1.6MiB allocated
Samples
0.0ms2×0valid
Compiler

Compiled 47 to 13 computations (72.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-div: 0.0ms (0% of total)
ival-sub: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...