Metrics for Data.Array.Repa.Algorithms.ColorRamp:rampColorHotToCold from repa-algorithms-3.4.0.1, B

analyze142.0ms (2.7%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
50%	49.9%	49.9%	0.1%	0%	0%	0%	4
50%	49.9%	49.9%	0.1%	0%	0%	0%	5
50%	49.9%	49.9%	0.1%	0%	0%	0%	6
75%	74.9%	25%	0.1%	0%	0%	0%	7
75%	74.9%	25%	0.1%	0%	0%	0%	8
75%	74.9%	25%	0.1%	0%	0%	0%	9
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	10
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	11
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	12

Compiler

Compiled 15 to 11 computations (26.7% saved)

sample5.0s (93.2%)

Results

1.4s	8256×	valid-rival
770.0ms	8254×	valid-sollya
10.0ms	2×	exit-sollya

Bogosity

preprocess157.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

516×	`fma-define`
492×	`times-frac`
403×	`div-sub`
366×	`sub-neg`
279×	`distribute-rgt-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	49	513
1	142	481
2	438	437
3	1735	374
4	6434	374

Stop Event

1×	node limit

Calls

Call 1

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

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.2%	(/.f64 (.f64 #s(literal 4 binary64) (-.f64 (-.f64 x y) (.f64 z #s(literal 1/2 binary64)))) z)

Compiler

Compiled 28 to 20 computations (28.6% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`sub-neg`
6×	`*-commutative`
6×	`+-commutative`
4×	`neg-sub0`
4×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	43
1	26	43
2	41	43
3	49	43
4	54	43
5	55	43

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(/.f64 (.f64 #s(literal 4 binary64) (-.f64 (-.f64 x y) (.f64 z #s(literal 1/2 binary64)))) z)

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 14 to 10 computations (28.6% saved)

preprocess56.0ms (1%)

Compiler: Compiled 88 to 62 computations (29.5% saved)

Data.Array.Repa.Algorithms.ColorRamp:rampColorHotToCold from repa-algorithms-3.4.0.1, B

analyze142.0ms (2.7%)

sample5.0s (93.2%)

preprocess157.0ms (2.9%)

eval0.0ms (0%)

prune3.0ms (0%)

simplify5.0ms (0.1%)

soundness1.0ms (0%)

preprocess56.0ms (1%)

end0.0ms (0%)

Profiling