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

Time bar (total: 1.5s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
100%99.8%0%0.2%0%0%0%1
Compiler

Compiled 20 to 13 computations (35% saved)

sample1.2s (78%)

Results
903.0ms5890×body256valid
240.0ms2204×body256infinite
21.0ms103×body1024valid
9.0ms58×body512valid
0.0ms1×body2048valid
Bogosity

preprocess334.0ms (22%)

Algorithm
1×egg-herbie
Rules
763×associate-+r-
648×associate-+l-
523×associate-*r*
429×fma-def
427×associate-*l*
Problems
255×No Errors
1×(*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0821000
1280788
21001728
33877724
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (*.f64 y 5))
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (*.f64 y 5))
(+.f64 (*.f64 (neg.f64 x) (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (*.f64 y 5))
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 y) z) z) (neg.f64 y)) t)) (*.f64 (neg.f64 y) 5))
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y (neg.f64 z)) (neg.f64 z)) y) t)) (*.f64 y 5))
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) (neg.f64 t))) (*.f64 y 5))
(neg.f64 (+.f64 (*.f64 (neg.f64 x) (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (*.f64 y 5)))
(neg.f64 (+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 y) z) z) (neg.f64 y)) t)) (*.f64 (neg.f64 y) 5)))
(neg.f64 (+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y (neg.f64 z)) (neg.f64 z)) y) t)) (*.f64 y 5)))
(neg.f64 (+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) (neg.f64 t))) (*.f64 y 5)))
(+.f64 (*.f64 y (+.f64 (+.f64 (+.f64 (+.f64 x z) z) x) t)) (*.f64 x 5))
(+.f64 (*.f64 z (+.f64 (+.f64 (+.f64 (+.f64 y x) x) y) t)) (*.f64 y 5))
(+.f64 (*.f64 t (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) x)) (*.f64 y 5))
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 z y) y) z) t)) (*.f64 z 5))
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 t z) z) t) y)) (*.f64 t 5))
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y t) t) y) z)) (*.f64 y 5))
Outputs
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (*.f64 y 5))
(fma.f64 x (+.f64 (+.f64 y (+.f64 z z)) (+.f64 y t)) (*.f64 y 5))
(fma.f64 x (+.f64 (*.f64 2 (+.f64 y z)) t) (*.f64 y 5))
(fma.f64 x (fma.f64 2 (+.f64 y z) t) (*.f64 y 5))
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (*.f64 y 5))
(fma.f64 x (+.f64 (+.f64 y (+.f64 z z)) (+.f64 y t)) (*.f64 y 5))
(fma.f64 x (+.f64 (*.f64 2 (+.f64 y z)) t) (*.f64 y 5))
(fma.f64 x (fma.f64 2 (+.f64 y z) t) (*.f64 y 5))
(+.f64 (*.f64 (neg.f64 x) (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (*.f64 y 5))
(fma.f64 (neg.f64 x) (+.f64 (+.f64 y (+.f64 z z)) (+.f64 y t)) (*.f64 y 5))
(-.f64 (*.f64 y 5) (*.f64 x (+.f64 (*.f64 2 (+.f64 y z)) t)))
(-.f64 (*.f64 y 5) (*.f64 x (fma.f64 2 (+.f64 y z) t)))
(fma.f64 (fma.f64 2 (+.f64 y z) t) (neg.f64 x) (*.f64 y 5))
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 y) z) z) (neg.f64 y)) t)) (*.f64 (neg.f64 y) 5))
(fma.f64 x (+.f64 t (-.f64 (+.f64 (neg.f64 y) (+.f64 z z)) y)) (*.f64 5 (neg.f64 y)))
(fma.f64 x (+.f64 t (*.f64 2 (-.f64 z y))) (*.f64 y -5))
(fma.f64 x (fma.f64 2 (-.f64 z y) t) (*.f64 y -5))
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y (neg.f64 z)) (neg.f64 z)) y) t)) (*.f64 y 5))
(fma.f64 x (+.f64 t (+.f64 (-.f64 y z) (-.f64 y z))) (*.f64 y 5))
(fma.f64 x (+.f64 t (*.f64 2 (-.f64 y z))) (*.f64 y 5))
(fma.f64 x (fma.f64 2 (-.f64 y z) t) (*.f64 y 5))
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) (neg.f64 t))) (*.f64 y 5))
(fma.f64 x (-.f64 (+.f64 y (+.f64 y (+.f64 z z))) t) (*.f64 y 5))
(fma.f64 x (-.f64 (*.f64 2 (+.f64 y z)) t) (*.f64 y 5))
(fma.f64 x (-.f64 (*.f64 (+.f64 y z) 2) t) (*.f64 y 5))
(neg.f64 (+.f64 (*.f64 (neg.f64 x) (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) t)) (*.f64 y 5)))
(neg.f64 (fma.f64 (neg.f64 x) (+.f64 (+.f64 y (+.f64 z z)) (+.f64 y t)) (*.f64 y 5)))
(+.f64 (*.f64 x (+.f64 (*.f64 2 (+.f64 y z)) t)) (*.f64 y -5))
(fma.f64 x (fma.f64 2 (+.f64 y z) t) (*.f64 y -5))
(neg.f64 (+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 y) z) z) (neg.f64 y)) t)) (*.f64 (neg.f64 y) 5)))
(neg.f64 (fma.f64 x (+.f64 t (-.f64 (+.f64 (neg.f64 y) (+.f64 z z)) y)) (*.f64 5 (neg.f64 y))))
(-.f64 (*.f64 y 5) (*.f64 x (+.f64 t (*.f64 2 (-.f64 z y)))))
(fma.f64 (neg.f64 x) (fma.f64 2 (-.f64 z y) t) (*.f64 y 5))
(fma.f64 x (-.f64 (*.f64 (-.f64 z y) -2) t) (*.f64 y 5))
(neg.f64 (+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y (neg.f64 z)) (neg.f64 z)) y) t)) (*.f64 y 5)))
(neg.f64 (fma.f64 x (+.f64 t (+.f64 (-.f64 y z) (-.f64 y z))) (*.f64 y 5)))
(-.f64 (*.f64 y -5) (*.f64 x (+.f64 t (*.f64 2 (-.f64 y z)))))
(-.f64 (*.f64 y -5) (*.f64 x (fma.f64 2 (-.f64 y z) t)))
(fma.f64 x (-.f64 (*.f64 (-.f64 z y) 2) t) (*.f64 y -5))
(neg.f64 (+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) (neg.f64 t))) (*.f64 y 5)))
(neg.f64 (fma.f64 x (-.f64 (+.f64 y (+.f64 y (+.f64 z z))) t) (*.f64 y 5)))
(-.f64 (*.f64 y -5) (*.f64 x (-.f64 (*.f64 2 (+.f64 y z)) t)))
(-.f64 (*.f64 y -5) (*.f64 x (-.f64 (*.f64 (+.f64 y z) 2) t)))
(fma.f64 x (+.f64 t (*.f64 (+.f64 y z) -2)) (*.f64 y -5))
(+.f64 (*.f64 y (+.f64 (+.f64 (+.f64 (+.f64 x z) z) x) t)) (*.f64 x 5))
(fma.f64 y (+.f64 t (+.f64 x (+.f64 x (+.f64 z z)))) (*.f64 x 5))
(fma.f64 x 5 (*.f64 y (+.f64 t (*.f64 2 (+.f64 x z)))))
(fma.f64 x 5 (*.f64 y (fma.f64 2 (+.f64 x z) t)))
(+.f64 (*.f64 z (+.f64 (+.f64 (+.f64 (+.f64 y x) x) y) t)) (*.f64 y 5))
(fma.f64 z (+.f64 t (+.f64 (+.f64 x y) (+.f64 x y))) (*.f64 y 5))
(fma.f64 y 5 (*.f64 z (+.f64 t (*.f64 2 (+.f64 x y)))))
(fma.f64 y 5 (*.f64 z (fma.f64 2 (+.f64 x y) t)))
(fma.f64 z (fma.f64 2 (+.f64 x y) t) (*.f64 y 5))
(+.f64 (*.f64 t (+.f64 (+.f64 (+.f64 (+.f64 y z) z) y) x)) (*.f64 y 5))
(fma.f64 t (+.f64 (+.f64 y (+.f64 z z)) (+.f64 x y)) (*.f64 y 5))
(fma.f64 y 5 (*.f64 t (+.f64 x (*.f64 2 (+.f64 y z)))))
(fma.f64 y 5 (*.f64 t (fma.f64 2 (+.f64 y z) x)))
(fma.f64 t (fma.f64 2 (+.f64 y z) x) (*.f64 y 5))
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 z y) y) z) t)) (*.f64 z 5))
(fma.f64 x (+.f64 (+.f64 y (+.f64 z z)) (+.f64 y t)) (*.f64 z 5))
(fma.f64 x (+.f64 (*.f64 2 (+.f64 y z)) t) (*.f64 z 5))
(fma.f64 x (fma.f64 2 (+.f64 y z) t) (*.f64 z 5))
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 t z) z) t) y)) (*.f64 t 5))
(fma.f64 x (+.f64 y (+.f64 t (+.f64 t (+.f64 z z)))) (*.f64 t 5))
(fma.f64 x (+.f64 y (*.f64 2 (+.f64 z t))) (*.f64 t 5))
(fma.f64 x (fma.f64 2 (+.f64 z t) y) (*.f64 t 5))
(+.f64 (*.f64 x (+.f64 (+.f64 (+.f64 (+.f64 y t) t) y) z)) (*.f64 y 5))
(fma.f64 x (+.f64 z (+.f64 (+.f64 y t) (+.f64 y t))) (*.f64 y 5))
(fma.f64 x (+.f64 z (*.f64 2 (+.f64 y t))) (*.f64 y 5))
(fma.f64 x (fma.f64 2 (+.f64 y t) z) (*.f64 y 5))
Compiler

Compiled 63 to 16 computations (74.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...