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

analyze373.0ms (7.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 44 to 30 computations (31.8% saved)

sample4.3s (89.3%)

Results

1.1s	8253×	valid-sollya
799.0ms	8253×	valid-rival
734.0ms	8253×	valid-baseline
0.0ms	3×	valid-rival+baseline
0.0ms	3×	valid-baseline+rival

Bogosity

preprocess109.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

790×	`fma-neg`
579×	`fma-define`
455×	`div-sub`
385×	`times-frac`
382×	`unsub-neg`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	83	1136
1	193	1032
2	468	1008
3	1412	952
4	4666	948

Stop Event

1×	node limit

Calls

Call 1

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

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

Compiler

Compiled 21 to 14 computations (33.3% saved)

eval0.0ms (0%)

Compiler: Compiled 4 to 4 computations (0% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	86.6%	(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))

Compiler

Compiled 42 to 28 computations (33.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative`
4×	`+-commutative`
3×	`1-exp`
2×	`sub-neg`
1×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	67
1	34	67
2	38	67
3	40	67
4	41	67

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (.f64 (.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))

Outputs

(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 (*.f64 z #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) t))) (*.f64 t z)))

(+.f64 (/.f64 x y) (/.f64 (+.f64 #s(literal 2 binary64) (*.f64 (*.f64 #s(literal 2 binary64) z) (-.f64 #s(literal 1 binary64) t))) (*.f64 z t)))

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 21 to 14 computations (33.3% saved)

preprocess26.0ms (0.6%)

Compiler: Compiled 118 to 78 computations (33.9% saved)

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

analyze373.0ms (7.8%)

sample4.3s (89.3%)

preprocess109.0ms (2.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

preprocess26.0ms (0.6%)

end0.0ms (0%)

Profiling