Metrics for Graphics.Rendering.Plot.Render.Plot.Legend:renderLegendOutside from plot-0.2.3.4, B

analyze14.0ms (0.5%)

Memory

4.4MiB live, 4.4MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
100%	99.8%	0%	0.2%	0%	0%	0%	1

Compiler

Compiled 37 to 27 computations (27% saved)

sample2.7s (95.9%)

Memory

-5.5MiB live, 871.7MiB allocated

Samples

593.0ms	8 025×	0	valid-sollya
491.0ms	8 025×	0	valid-baseline
450.0ms	8 025×	0	valid-rival
29.0ms	147×	1	valid-baseline
23.0ms	84×	2	valid-baseline
17.0ms	147×	1	valid-rival
14.0ms	84×	2	valid-rival
10.0ms	147×	1	valid-sollya
6.0ms	84×	2	valid-sollya

Bogosity

preprocess79.0ms (2.8%)

Memory

6.3MiB live, 22.1MiB allocated

Algorithm

1×	egg-herbie

Rules

594×	`fmm-def`
503×	`associate-+r+`
450×	`associate-+l-`
445×	`associate-+l+`
438×	`distribute-neg-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	82	1000
1	289	788
2	1072	728
3	4840	724

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (.f64 y #s(literal 5 binary64)))
(+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (.f64 y #s(literal 5 binary64)))
(+.f64 (.f64 (neg.f64 x) (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (.f64 y #s(literal 5 binary64)))
(+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 y) z) z) (neg.f64 y)) t)) (.f64 (neg.f64 y) #s(literal 5 binary64)))
(+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y (neg.f64 z)) (neg.f64 z)) y) t)) (.f64 y #s(literal 5 binary64)))
(+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) (neg.f64 t))) (.f64 y #s(literal 5 binary64)))
(neg.f64 (+.f64 (.f64 (neg.f64 x) (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (.f64 y #s(literal 5 binary64))))
(neg.f64 (+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 y) z) z) (neg.f64 y)) t)) (.f64 (neg.f64 y) #s(literal 5 binary64))))
(neg.f64 (+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y (neg.f64 z)) (neg.f64 z)) y) t)) (.f64 y #s(literal 5 binary64))))
(neg.f64 (+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) (neg.f64 t))) (.f64 y #s(literal 5 binary64))))
(+.f64 (.f64 y (+.f64 (+.f64 (+.f64 (+.f64 x z) z) x) t)) (.f64 x #s(literal 5 binary64)))
(+.f64 (.f64 z (+.f64 (+.f64 (+.f64 (+.f64 y x) x) y) t)) (.f64 y #s(literal 5 binary64)))
(+.f64 (.f64 t (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) x)) (.f64 y #s(literal 5 binary64)))
(+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 z y) y) z) t)) (.f64 z #s(literal 5 binary64)))
(+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 t z) z) t) y)) (.f64 t #s(literal 5 binary64)))
(+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y t) t) y) z)) (.f64 y #s(literal 5 binary64)))

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

Compiler

Compiled 19 to 12 computations (36.8% saved)

eval0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated
Compiler: Compiled 4 to 4 computations (0% saved)

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.9%	(+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (.f64 y #s(literal 5 binary64)))

Compiler

Compiled 38 to 24 computations (36.8% saved)

simplify2.0ms (0.1%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative`
2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	64
1	26	64

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (.f64 y #s(literal 5 binary64)))

Outputs
(+.f64 (.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (.f64 y #s(literal 5 binary64)))
(+.f64 (.f64 x (+.f64 (+.f64 y (+.f64 z (+.f64 y z))) t)) (.f64 y #s(literal 5 binary64)))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 19 to 12 computations (36.8% saved)

preprocess19.0ms (0.7%)

Memory: -10.8MiB live, 22.7MiB allocated
Compiler: Compiled 76 to 48 computations (36.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze14.0ms (0.5%)

sample2.7s (95.9%)

preprocess79.0ms (2.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess19.0ms (0.7%)

end0.0ms (0%)

Profiling