AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1

Time bar (total: 2.0s)

analyze300.0ms (14.7%)

Memory
33.4MiB live, 662.7MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.7%0.3%0%0%0%0
0%0%99.7%0.3%0%0%0%1
0%0%99.7%0.3%0%0%0%2
0%0%99.7%0.3%0%0%0%3
0%0%99.7%0.3%0%0%0%4
12.5%12.5%87.2%0.3%0%0%0%5
12.5%12.5%87.2%0.3%0%0%0%6
12.5%12.5%87.2%0.3%0%0%0%7
18.8%18.7%81%0.3%0%0%0%8
28.1%28%71.7%0.3%0%0%0%9
28.1%28%71.7%0.3%0%0%0%10
42.2%42.1%57.6%0.3%0%0%0%11
42.2%42.1%57.6%0.3%0%0%0%12
Compiler

Compiled 23 to 18 computations (21.7% saved)

sample1.1s (55.8%)

Memory
41.4MiB live, 2 002.6MiB allocated
Samples
759.0ms8 252×0valid
1.0ms3×1valid
0.0ms1×2valid
Precisions
Click to see histograms. Total time spent on operations: 479.0ms
ival-add: 203.0ms (42.4% of total)
ival-mult: 165.0ms (34.4% of total)
ival-div: 53.0ms (11.1% of total)
ival-sub: 49.0ms (10.2% of total)
ival-true: 6.0ms (1.3% of total)
ival-assert: 3.0ms (0.6% of total)
adjust: 0.0ms (0% of total)
Bogosity

preprocess540.0ms (26.4%)

Memory
-26.1MiB live, 779.1MiB allocated
Algorithm
2×egg-herbie
Rules
17 862×accelerator-lowering-fma.f32
17 862×accelerator-lowering-fma.f64
2 758×*-lowering-*.f32
2 758×*-lowering-*.f64
2 128×--lowering--.f32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0165606
1517594
21187589
34607589
01621
13521
28021
321921
448321
5117921
6238721
7513821
8746921
0817019
Stop Event
1×iter limit
1×node limit
1×node limit
Calls
Call 1
Inputs
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
Outputs
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
(/.f64 (fma.f64 y (-.f64 a b) (fma.f64 (+.f64 x y) z (fma.f64 t a #s(literal 0 binary64)))) (+.f64 x (+.f64 y t)))
Call 2
Inputs
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
(/ (- (+ (* (+ (neg x) y) z) (* (+ t y) a)) (* y b)) (+ (+ (neg x) t) y))
(/ (- (+ (* (+ x (neg y)) z) (* (+ t (neg y)) a)) (* (neg y) b)) (+ (+ x t) (neg y)))
(/ (- (+ (* (+ x y) (neg z)) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
(/ (- (+ (* (+ x y) z) (* (+ (neg t) y) a)) (* y b)) (+ (+ x (neg t)) y))
(/ (- (+ (* (+ x y) z) (* (+ t y) (neg a))) (* y b)) (+ (+ x t) y))
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y (neg b))) (+ (+ x t) y))
(neg (/ (- (+ (* (+ (neg x) y) z) (* (+ t y) a)) (* y b)) (+ (+ (neg x) t) y)))
(neg (/ (- (+ (* (+ x (neg y)) z) (* (+ t (neg y)) a)) (* (neg y) b)) (+ (+ x t) (neg y))))
(neg (/ (- (+ (* (+ x y) (neg z)) (* (+ t y) a)) (* y b)) (+ (+ x t) y)))
(neg (/ (- (+ (* (+ x y) z) (* (+ (neg t) y) a)) (* y b)) (+ (+ x (neg t)) y)))
(neg (/ (- (+ (* (+ x y) z) (* (+ t y) (neg a))) (* y b)) (+ (+ x t) y)))
(neg (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y (neg b))) (+ (+ x t) y)))
(/ (- (+ (* (+ y x) z) (* (+ t x) a)) (* x b)) (+ (+ y t) x))
(/ (- (+ (* (+ z y) x) (* (+ t y) a)) (* y b)) (+ (+ z t) y))
(/ (- (+ (* (+ t y) z) (* (+ x y) a)) (* y b)) (+ (+ t x) y))
(/ (- (+ (* (+ a y) z) (* (+ t y) x)) (* y b)) (+ (+ a t) y))
(/ (- (+ (* (+ b y) z) (* (+ t y) a)) (* y x)) (+ (+ b t) y))
(/ (- (+ (* (+ x z) y) (* (+ t z) a)) (* z b)) (+ (+ x t) z))
(/ (- (+ (* (+ x t) z) (* (+ y t) a)) (* t b)) (+ (+ x y) t))
(/ (- (+ (* (+ x a) z) (* (+ t a) y)) (* a b)) (+ (+ x t) a))
(/ (- (+ (* (+ x b) z) (* (+ t b) a)) (* b y)) (+ (+ x t) b))
(/ (- (+ (* (+ x y) t) (* (+ z y) a)) (* y b)) (+ (+ x z) y))
(/ (- (+ (* (+ x y) a) (* (+ t y) z)) (* y b)) (+ (+ x t) y))
(/ (- (+ (* (+ x y) b) (* (+ t y) a)) (* y z)) (+ (+ x t) y))
(/ (- (+ (* (+ x y) z) (* (+ a y) t)) (* y b)) (+ (+ x a) y))
(/ (- (+ (* (+ x y) z) (* (+ b y) a)) (* y t)) (+ (+ x b) y))
(/ (- (+ (* (+ x y) z) (* (+ t y) b)) (* y a)) (+ (+ x t) y))
Outputs
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
(/ (+ (* (+ x y) z) (- (* (+ y t) a) (* y b))) (+ y (+ x t)))
(/ (- (+ (* (+ (neg x) y) z) (* (+ t y) a)) (* y b)) (+ (+ (neg x) t) y))
(/ (+ (* (+ y t) a) (- (* z (- y x)) (* y b))) (+ y (- t x)))
(/ (- (+ (* (+ x (neg y)) z) (* (+ t (neg y)) a)) (* (neg y) b)) (+ (+ x t) (neg y)))
(/ (+ (* a (- t y)) (+ (* y b) (* z (- x y)))) (+ x (- t y)))
(/ (- (+ (* (+ x y) (neg z)) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
(/ (- (* (+ y t) a) (+ (* (+ x y) z) (* y b))) (+ y (+ x t)))
(/ (- (+ (* (+ x y) z) (* (+ (neg t) y) a)) (* y b)) (+ (+ x (neg t)) y))
(/ (+ (* (+ x y) z) (- (* a (- y t)) (* y b))) (+ x (- y t)))
(/ (- (+ (* (+ x y) z) (* (+ t y) (neg a))) (* y b)) (+ (+ x t) y))
(/ (- (* (+ x y) z) (+ (* (+ y t) a) (* y b))) (+ y (+ x t)))
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y (neg b))) (+ (+ x t) y))
(/ (+ (* (+ x y) z) (+ (* (+ y t) a) (* y b))) (+ y (+ x t)))
(neg (/ (- (+ (* (+ (neg x) y) z) (* (+ t y) a)) (* y b)) (+ (+ (neg x) t) y)))
(/ (+ (* (+ y t) a) (- (* z (- y x)) (* y b))) (- x (+ y t)))
(neg (/ (- (+ (* (+ x (neg y)) z) (* (+ t (neg y)) a)) (* (neg y) b)) (+ (+ x t) (neg y))))
(/ (+ (* a (- t y)) (+ (* y b) (* z (- x y)))) (- y (+ x t)))
(neg (/ (- (+ (* (+ x y) (neg z)) (* (+ t y) a)) (* y b)) (+ (+ x t) y)))
(/ (+ (* y b) (- (* (+ x y) z) (* (+ y t) a))) (+ y (+ x t)))
(neg (/ (- (+ (* (+ x y) z) (* (+ (neg t) y) a)) (* y b)) (+ (+ x (neg t)) y)))
(/ (+ (* (+ x y) z) (- (* a (- y t)) (* y b))) (- t (+ x y)))
(neg (/ (- (+ (* (+ x y) z) (* (+ t y) (neg a))) (* y b)) (+ (+ x t) y)))
(/ (+ (* (+ y t) a) (- (* y b) (* (+ x y) z))) (+ y (+ x t)))
(neg (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y (neg b))) (+ (+ x t) y)))
(/ (+ (* (+ x y) z) (+ (* (+ y t) a) (* y b))) (- (neg x) (+ y t)))
(/ (- (+ (* (+ y x) z) (* (+ t x) a)) (* x b)) (+ (+ y t) x))
(/ (+ (* a (+ x t)) (- (* (+ x y) z) (* x b))) (+ y (+ x t)))
(/ (- (+ (* (+ z y) x) (* (+ t y) a)) (* y b)) (+ (+ z t) y))
(/ (+ (* (+ y t) a) (- (* x (+ y z)) (* y b))) (+ y (+ z t)))
(/ (- (+ (* (+ t y) z) (* (+ x y) a)) (* y b)) (+ (+ t x) y))
(/ (+ (* z (+ y t)) (- (* (+ x y) a) (* y b))) (+ y (+ x t)))
(/ (- (+ (* (+ a y) z) (* (+ t y) x)) (* y b)) (+ (+ a t) y))
(/ (+ (* z (+ y a)) (- (* x (+ y t)) (* y b))) (+ y (+ t a)))
(/ (- (+ (* (+ b y) z) (* (+ t y) a)) (* y x)) (+ (+ b t) y))
(/ (+ (* (+ y t) a) (- (* z (+ y b)) (* x y))) (+ y (+ t b)))
(/ (- (+ (* (+ x z) y) (* (+ t z) a)) (* z b)) (+ (+ x t) z))
(/ (- (+ (* y (+ x z)) (* a (+ z t))) (* z b)) (+ x (+ z t)))
(/ (- (+ (* (+ x t) z) (* (+ y t) a)) (* t b)) (+ (+ x y) t))
(/ (+ (* z (+ x t)) (- (* (+ y t) a) (* t b))) (+ y (+ x t)))
(/ (- (+ (* (+ x a) z) (* (+ t a) y)) (* a b)) (+ (+ x t) a))
(/ (+ (* z (+ x a)) (- (* y (+ t a)) (* a b))) (+ x (+ t a)))
(/ (- (+ (* (+ x b) z) (* (+ t b) a)) (* b y)) (+ (+ x t) b))
(/ (+ (* a (+ t b)) (- (* z (+ x b)) (* y b))) (+ x (+ t b)))
(/ (- (+ (* (+ x y) t) (* (+ z y) a)) (* y b)) (+ (+ x z) y))
(/ (+ (* a (+ y z)) (- (* (+ x y) t) (* y b))) (+ x (+ y z)))
(/ (- (+ (* (+ x y) a) (* (+ t y) z)) (* y b)) (+ (+ x t) y))
(/ (+ (* z (+ y t)) (- (* (+ x y) a) (* y b))) (+ y (+ x t)))
(/ (- (+ (* (+ x y) b) (* (+ t y) a)) (* y z)) (+ (+ x t) y))
(/ (+ (* (+ y t) a) (- (* (+ x y) b) (* y z))) (+ y (+ x t)))
(/ (- (+ (* (+ x y) z) (* (+ a y) t)) (* y b)) (+ (+ x a) y))
(/ (- (+ (* (+ x y) z) (* t (+ y a))) (* y b)) (+ y (+ x a)))
(/ (- (+ (* (+ x y) z) (* (+ b y) a)) (* y t)) (+ (+ x b) y))
(/ (+ (* (+ x y) z) (- (* a (+ y b)) (* y t))) (+ x (+ y b)))
(/ (- (+ (* (+ x y) z) (* (+ t y) b)) (* y a)) (+ (+ x t) y))
(/ (+ (* (+ x y) z) (- (* (+ y t) b) (* y a))) (+ y (+ x t)))

explain62.0ms (3%)

Memory
19.9MiB live, 138.8MiB allocated
Samples
13.0ms126×0valid
Compiler

Compiled 82 to 18 computations (78% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-add: 3.0ms (44.2% of total)
ival-mult: 2.0ms (29.5% of total)
ival-div: 1.0ms (14.7% of total)
ival-sub: 0.0ms (0% of total)
ival-true: 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...