Metrics for Data.HashTable.ST.Basic:computeOverhead from hashtables-1.2.0.2

analyze183.0ms (8.8%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	5
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	6
18.8%	18.7%	81.1%	0.2%	0%	0%	0%	7
28.1%	28.1%	71.7%	0.2%	0%	0%	0%	8
42.2%	42.1%	57.7%	0.2%	0%	0%	0%	9
42.2%	42.1%	57.7%	0.2%	0%	0%	0%	10
49.2%	49.1%	50.7%	0.2%	0%	0%	0%	11
57.4%	57.3%	42.5%	0.2%	0%	0%	0%	12

Compiler

Compiled 22 to 16 computations (27.3% saved)

sample1.7s (83.5%)

Results

1.5s	6349×	body	256	valid
251.0ms	1907×	body	256	infinite

Bogosity

preprocess160.0ms (7.7%)

Algorithm

1×	egg-herbie

Rules

540×	`fma-def`
475×	`associate-*r/`
416×	`*-commutative`
352×	`associate-r`
341×	`associate-/r*`

Problems

223×	No Errors
32×	`(/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z))`
1×	`(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z)))`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	83	1136
1	194	1032
2	473	1032
3	1321	966
4	4498	952

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
(+.f64 (/.f64 (neg.f64 x) y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
(+.f64 (/.f64 x (neg.f64 y)) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 (neg.f64 z) 2) (-.f64 1 t))) (*.f64 t (neg.f64 z))))
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 (neg.f64 t)))) (*.f64 (neg.f64 t) z)))
(neg.f64 (+.f64 (/.f64 (neg.f64 x) y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z))))
(neg.f64 (+.f64 (/.f64 x (neg.f64 y)) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z))))
(neg.f64 (+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 (neg.f64 z) 2) (-.f64 1 t))) (*.f64 t (neg.f64 z)))))
(neg.f64 (+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 (neg.f64 t)))) (*.f64 (neg.f64 t) z))))
(+.f64 (/.f64 y x) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
(+.f64 (/.f64 z y) (/.f64 (+.f64 2 (.f64 (.f64 x 2) (-.f64 1 t))) (*.f64 t x)))
(+.f64 (/.f64 t y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 x))) (*.f64 x z)))
(+.f64 (/.f64 x z) (/.f64 (+.f64 2 (.f64 (.f64 y 2) (-.f64 1 t))) (*.f64 t y)))
(+.f64 (/.f64 x t) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 y))) (*.f64 y z)))
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 t 2) (-.f64 1 z))) (*.f64 z t)))

Outputs
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 2 z) (-.f64 1 t))) (*.f64 z t)))
(+.f64 (/.f64 x y) (/.f64 (fma.f64 (.f64 2 z) (-.f64 1 t) 2) (.f64 z t)))
(+.f64 (/.f64 x y) (/.f64 (fma.f64 2 (.f64 z (-.f64 1 t)) 2) (.f64 z t)))
(+.f64 (/.f64 x y) (/.f64 (fma.f64 z (fma.f64 t -2 2) 2) (*.f64 z t)))
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 2 z) (-.f64 1 t))) (*.f64 z t)))
(+.f64 (/.f64 x y) (/.f64 (fma.f64 (.f64 2 z) (-.f64 1 t) 2) (.f64 z t)))
(+.f64 (/.f64 x y) (/.f64 (fma.f64 2 (.f64 z (-.f64 1 t)) 2) (.f64 z t)))
(+.f64 (/.f64 x y) (/.f64 (fma.f64 z (fma.f64 t -2 2) 2) (*.f64 z t)))
(+.f64 (/.f64 (neg.f64 x) y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
(+.f64 (/.f64 (+.f64 2 (.f64 (.f64 2 z) (-.f64 1 t))) (*.f64 z t)) (/.f64 (neg.f64 x) y))
(-.f64 (/.f64 (fma.f64 (.f64 2 z) (-.f64 1 t) 2) (.f64 z t)) (/.f64 x y))
(-.f64 (/.f64 (fma.f64 2 (.f64 z (-.f64 1 t)) 2) (.f64 z t)) (/.f64 x y))
(-.f64 (/.f64 (fma.f64 z (fma.f64 t -2 2) 2) (*.f64 z t)) (/.f64 x y))
(+.f64 (/.f64 x (neg.f64 y)) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
(+.f64 (/.f64 (+.f64 2 (.f64 (.f64 2 z) (-.f64 1 t))) (*.f64 z t)) (/.f64 (neg.f64 x) y))
(-.f64 (/.f64 (fma.f64 (.f64 2 z) (-.f64 1 t) 2) (.f64 z t)) (/.f64 x y))
(-.f64 (/.f64 (fma.f64 2 (.f64 z (-.f64 1 t)) 2) (.f64 z t)) (/.f64 x y))
(-.f64 (/.f64 (fma.f64 z (fma.f64 t -2 2) 2) (*.f64 z t)) (/.f64 x y))
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 (neg.f64 z) 2) (-.f64 1 t))) (*.f64 t (neg.f64 z))))
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (-.f64 1 t) (.f64 2 (neg.f64 z)))) (*.f64 z (neg.f64 t))))
(+.f64 (/.f64 x y) (/.f64 (fma.f64 (-.f64 1 t) (.f64 z -2) 2) (.f64 z (neg.f64 t))))
(+.f64 (/.f64 x y) (/.f64 (/.f64 (fma.f64 z (+.f64 t -1) 1) -1/2) (*.f64 z t)))
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 (neg.f64 t)))) (*.f64 (neg.f64 t) z)))
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 2 z) (-.f64 1 (neg.f64 t)))) (*.f64 z (neg.f64 t))))
(+.f64 (/.f64 x y) (/.f64 (fma.f64 z (+.f64 2 (.f64 2 t)) 2) (.f64 z (neg.f64 t))))
(+.f64 (/.f64 x y) (.f64 (/.f64 (fma.f64 z (+.f64 1 t) 1) (.f64 z t)) -2))
(-.f64 (/.f64 x y) (/.f64 (fma.f64 z (fma.f64 2 t 2) 2) (*.f64 z t)))
(neg.f64 (+.f64 (/.f64 (neg.f64 x) y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z))))
(neg.f64 (+.f64 (/.f64 (+.f64 2 (.f64 (.f64 2 z) (-.f64 1 t))) (*.f64 z t)) (/.f64 (neg.f64 x) y)))
(-.f64 (/.f64 x y) (/.f64 (fma.f64 (.f64 2 z) (-.f64 1 t) 2) (.f64 z t)))
(-.f64 (/.f64 x y) (/.f64 (fma.f64 2 (.f64 z (-.f64 1 t)) 2) (.f64 z t)))
(-.f64 (/.f64 x y) (/.f64 (fma.f64 z (fma.f64 t -2 2) 2) (*.f64 z t)))
(neg.f64 (+.f64 (/.f64 x (neg.f64 y)) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z))))
(neg.f64 (+.f64 (/.f64 (+.f64 2 (.f64 (.f64 2 z) (-.f64 1 t))) (*.f64 z t)) (/.f64 (neg.f64 x) y)))
(-.f64 (/.f64 x y) (/.f64 (fma.f64 (.f64 2 z) (-.f64 1 t) 2) (.f64 z t)))
(-.f64 (/.f64 x y) (/.f64 (fma.f64 2 (.f64 z (-.f64 1 t)) 2) (.f64 z t)))
(-.f64 (/.f64 x y) (/.f64 (fma.f64 z (fma.f64 t -2 2) 2) (*.f64 z t)))
(neg.f64 (+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 (neg.f64 z) 2) (-.f64 1 t))) (*.f64 t (neg.f64 z)))))
(neg.f64 (+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (-.f64 1 t) (.f64 2 (neg.f64 z)))) (*.f64 z (neg.f64 t)))))
(-.f64 (/.f64 (neg.f64 x) y) (/.f64 (fma.f64 (-.f64 1 t) (.f64 z -2) 2) (.f64 z (neg.f64 t))))
(-.f64 (/.f64 x (neg.f64 y)) (/.f64 (/.f64 (fma.f64 z (+.f64 t -1) 1) -1/2) (*.f64 z t)))
(-.f64 (.f64 (/.f64 (fma.f64 z (+.f64 t -1) 1) (.f64 z t)) 2) (/.f64 x y))
(neg.f64 (+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 (neg.f64 t)))) (*.f64 (neg.f64 t) z))))
(neg.f64 (+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 2 z) (-.f64 1 (neg.f64 t)))) (*.f64 z (neg.f64 t)))))
(-.f64 (/.f64 (neg.f64 x) y) (/.f64 (fma.f64 z (+.f64 2 (.f64 2 t)) 2) (.f64 z (neg.f64 t))))
(-.f64 (.f64 1 (/.f64 (fma.f64 z (fma.f64 2 t 2) 2) (.f64 z t))) (/.f64 x y))
(-.f64 (/.f64 (fma.f64 z (fma.f64 2 t 2) 2) (*.f64 z t)) (/.f64 x y))
(+.f64 (/.f64 y x) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 t))) (*.f64 t z)))
(+.f64 (/.f64 (+.f64 2 (.f64 (.f64 2 z) (-.f64 1 t))) (*.f64 z t)) (/.f64 y x))
(+.f64 (/.f64 (fma.f64 (.f64 2 z) (-.f64 1 t) 2) (.f64 z t)) (/.f64 y x))
(+.f64 (/.f64 (fma.f64 2 (.f64 z (-.f64 1 t)) 2) (.f64 z t)) (/.f64 y x))
(+.f64 (/.f64 (fma.f64 z (fma.f64 t -2 2) 2) (*.f64 z t)) (/.f64 y x))
(+.f64 (/.f64 z y) (/.f64 (+.f64 2 (.f64 (.f64 x 2) (-.f64 1 t))) (*.f64 t x)))
(+.f64 (/.f64 z y) (/.f64 (+.f64 2 (.f64 (-.f64 1 t) (.f64 x 2))) (*.f64 x t)))
(+.f64 (/.f64 z y) (/.f64 (fma.f64 x (.f64 2 (-.f64 1 t)) 2) (.f64 x t)))
(+.f64 (/.f64 z y) (/.f64 (fma.f64 (-.f64 1 t) (.f64 x 2) 2) (.f64 x t)))
(+.f64 (/.f64 z y) (/.f64 (fma.f64 x (fma.f64 t -2 2) 2) (*.f64 x t)))
(+.f64 (/.f64 t y) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 x))) (*.f64 x z)))
(+.f64 (/.f64 t y) (/.f64 (+.f64 2 (.f64 z (.f64 2 (-.f64 1 x)))) (*.f64 x z)))
(+.f64 (/.f64 t y) (/.f64 (fma.f64 (.f64 2 z) (-.f64 1 x) 2) (.f64 x z)))
(+.f64 (/.f64 t y) (/.f64 (fma.f64 2 (.f64 z (-.f64 1 x)) 2) (.f64 x z)))
(+.f64 (/.f64 t y) (/.f64 (fma.f64 z (fma.f64 x -2 2) 2) (*.f64 x z)))
(+.f64 (/.f64 x z) (/.f64 (+.f64 2 (.f64 (.f64 y 2) (-.f64 1 t))) (*.f64 t y)))
(+.f64 (/.f64 x z) (/.f64 (+.f64 2 (.f64 (-.f64 1 t) (.f64 y 2))) (*.f64 y t)))
(+.f64 (/.f64 x z) (/.f64 (fma.f64 (-.f64 1 t) (.f64 y 2) 2) (.f64 y t)))
(+.f64 (/.f64 x z) (/.f64 (fma.f64 2 (.f64 y (-.f64 1 t)) 2) (.f64 y t)))
(+.f64 (/.f64 x z) (/.f64 (fma.f64 y (fma.f64 t -2 2) 2) (*.f64 y t)))
(+.f64 (/.f64 x t) (/.f64 (+.f64 2 (.f64 (.f64 z 2) (-.f64 1 y))) (*.f64 y z)))
(+.f64 (/.f64 x t) (/.f64 (+.f64 2 (.f64 (.f64 2 z) (-.f64 1 y))) (*.f64 y z)))
(+.f64 (/.f64 x t) (/.f64 (fma.f64 (.f64 2 z) (-.f64 1 y) 2) (.f64 y z)))
(+.f64 (/.f64 x t) (/.f64 (fma.f64 z (+.f64 2 (.f64 y -2)) 2) (.f64 y z)))
(+.f64 (/.f64 x t) (/.f64 (fma.f64 z (fma.f64 y -2 2) 2) (*.f64 y z)))
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 t 2) (-.f64 1 z))) (*.f64 z t)))
(+.f64 (/.f64 x y) (/.f64 (+.f64 2 (.f64 (.f64 2 t) (-.f64 1 z))) (*.f64 z t)))
(+.f64 (/.f64 x y) (/.f64 (fma.f64 t (+.f64 2 (.f64 z -2)) 2) (.f64 z t)))
(+.f64 (/.f64 x y) (/.f64 (fma.f64 t (fma.f64 z -2 2) 2) (*.f64 z t)))

Compiler

Compiled 69 to 42 computations (39.1% saved)

Data.HashTable.ST.Basic:computeOverhead from hashtables-1.2.0.2

analyze183.0ms (8.8%)

sample1.7s (83.5%)

preprocess160.0ms (7.7%)

end0.0ms (0%)

Profiling