Graphics.Rendering.Plot.Render.Plot.Legend:renderLegendInside from plot-0.2.3.4

Time bar (total: 2.7s)

analyze13.0ms (0.5%)

Memory
4.0MiB live, 4.0MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 28 to 19 computations (32.1% saved)

sample2.3s (82.7%)

Memory
-1.4MiB live, 734.4MiB allocated
Samples
459.0ms7 627×0valid-sollya
357.0ms7 627×0valid-baseline
321.0ms7 627×0valid-rival
49.0ms356×1valid-baseline
39.0ms186×2valid-baseline
30.0ms356×1valid-rival
23.0ms186×2valid-rival
21.0ms356×1valid-sollya
21.0ms87×3valid-baseline
14.0ms87×3valid-rival
11.0ms186×2valid-sollya
5.0ms87×3valid-sollya
Bogosity

preprocess444.0ms (16.2%)

Memory
-6.2MiB live, 24.7MiB allocated
Algorithm
egg-herbie
Rules
6 031×fma-define
992×unsub-neg
676×distribute-neg-in
523×fmm-def
479×sub-neg
Iterations

Useful iterations: 16 (0.0ms)

IterNodesCost
048559
1152415
2590367
32616361
45058361
56444361
66858361
76949361
86960361
96960361
107609361
117832358
127880358
137894358
147894358
157894358
167898318
Stop Event
node limit
Calls
Call 1
Inputs
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 x) y) y) (neg.f64 x)) z) (neg.f64 x))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x (neg.f64 y)) (neg.f64 y)) x) z) x)
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) (neg.f64 z)) x)
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 x) y) y) (neg.f64 x)) z) (neg.f64 x)))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x (neg.f64 y)) (neg.f64 y)) x) z) x))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) (neg.f64 z)) x))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 y x) x) y) z) y)
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 z y) y) z) x) z)
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x z) z) x) y) x)
Outputs
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
(+.f64 x (+.f64 (+.f64 x (+.f64 y y)) (+.f64 x z)))
(+.f64 (*.f64 #s(literal 2 binary64) (+.f64 x y)) (+.f64 x z))
(+.f64 x (fma.f64 #s(literal 2 binary64) (+.f64 x y) z))
(fma.f64 #s(literal 2 binary64) (+.f64 x y) (+.f64 x z))
(+.f64 z (fma.f64 x #s(literal 3 binary64) (*.f64 y #s(literal 2 binary64))))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
(+.f64 x (+.f64 (+.f64 x (+.f64 y y)) (+.f64 x z)))
(+.f64 (*.f64 #s(literal 2 binary64) (+.f64 x y)) (+.f64 x z))
(+.f64 x (fma.f64 #s(literal 2 binary64) (+.f64 x y) z))
(fma.f64 #s(literal 2 binary64) (+.f64 x y) (+.f64 x z))
(+.f64 z (fma.f64 x #s(literal 3 binary64) (*.f64 y #s(literal 2 binary64))))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 x) y) y) (neg.f64 x)) z) (neg.f64 x))
(-.f64 (+.f64 z (-.f64 (+.f64 y (+.f64 y (neg.f64 x))) x)) x)
(+.f64 z (-.f64 (*.f64 #s(literal 2 binary64) (-.f64 y x)) x))
(-.f64 z (fma.f64 #s(literal 2 binary64) (-.f64 x y) x))
(-.f64 (fma.f64 #s(literal 2 binary64) y z) (*.f64 x #s(literal 3 binary64)))
(+.f64 (fma.f64 #s(literal 2 binary64) y z) (*.f64 x #s(literal -3 binary64)))
(fma.f64 x #s(literal -3 binary64) (fma.f64 y #s(literal 2 binary64) z))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x (neg.f64 y)) (neg.f64 y)) x) z) x)
(+.f64 x (+.f64 z (+.f64 x (-.f64 (-.f64 x y) y))))
(+.f64 (*.f64 #s(literal 2 binary64) (-.f64 x y)) (+.f64 x z))
(+.f64 z (fma.f64 #s(literal 2 binary64) (-.f64 x y) x))
(+.f64 z (fma.f64 (-.f64 x y) #s(literal 2 binary64) x))
(+.f64 z (fma.f64 x #s(literal 3 binary64) (*.f64 y #s(literal -2 binary64))))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) (neg.f64 z)) x)
(+.f64 x (-.f64 (+.f64 x (+.f64 x (+.f64 y y))) z))
(+.f64 x (-.f64 (*.f64 #s(literal 2 binary64) (+.f64 x y)) z))
(-.f64 (fma.f64 #s(literal 2 binary64) (+.f64 x y) x) z)
(-.f64 (fma.f64 (+.f64 x y) #s(literal 2 binary64) x) z)
(-.f64 (fma.f64 x #s(literal 3 binary64) (*.f64 y #s(literal 2 binary64))) z)
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 x) y) y) (neg.f64 x)) z) (neg.f64 x)))
(neg.f64 (-.f64 (+.f64 z (-.f64 (+.f64 y (+.f64 y (neg.f64 x))) x)) x))
(-.f64 x (+.f64 z (*.f64 #s(literal 2 binary64) (-.f64 y x))))
(-.f64 x (fma.f64 #s(literal 2 binary64) (-.f64 y x) z))
(-.f64 x (fma.f64 #s(literal -2 binary64) (-.f64 x y) z))
(-.f64 (*.f64 x #s(literal 3 binary64)) (fma.f64 #s(literal 2 binary64) y z))
(-.f64 (*.f64 x #s(literal 3 binary64)) (fma.f64 y #s(literal 2 binary64) z))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x (neg.f64 y)) (neg.f64 y)) x) z) x))
(neg.f64 (+.f64 x (+.f64 z (+.f64 x (-.f64 (-.f64 x y) y)))))
(-.f64 (neg.f64 x) (+.f64 z (*.f64 #s(literal 2 binary64) (-.f64 x y))))
(-.f64 (*.f64 (-.f64 y x) #s(literal 2 binary64)) (+.f64 x z))
(-.f64 (+.f64 (*.f64 y #s(literal 2 binary64)) (*.f64 x #s(literal -3 binary64))) z)
(-.f64 (fma.f64 x #s(literal -3 binary64) (*.f64 y #s(literal 2 binary64))) z)
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) (neg.f64 z)) x))
(neg.f64 (+.f64 x (-.f64 (+.f64 x (+.f64 x (+.f64 y y))) z)))
(-.f64 (neg.f64 x) (-.f64 (*.f64 #s(literal 2 binary64) (+.f64 x y)) z))
(-.f64 z (fma.f64 #s(literal 2 binary64) (+.f64 x y) x))
(-.f64 z (fma.f64 (+.f64 x y) #s(literal 2 binary64) x))
(fma.f64 x #s(literal -3 binary64) (fma.f64 y #s(literal -2 binary64) z))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 y x) x) y) z) y)
(+.f64 y (+.f64 (+.f64 x (+.f64 y y)) (+.f64 x z)))
(+.f64 (*.f64 #s(literal 2 binary64) (+.f64 x y)) (+.f64 y z))
(+.f64 y (fma.f64 #s(literal 2 binary64) (+.f64 x y) z))
(+.f64 z (fma.f64 #s(literal 2 binary64) (+.f64 x y) y))
(+.f64 z (fma.f64 x #s(literal 2 binary64) (*.f64 y #s(literal 3 binary64))))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 z y) y) z) x) z)
(+.f64 z (+.f64 x (+.f64 z (+.f64 y (+.f64 y z)))))
(+.f64 (*.f64 #s(literal 2 binary64) (+.f64 y z)) (+.f64 x z))
(+.f64 x (fma.f64 #s(literal 2 binary64) (+.f64 y z) z))
(+.f64 x (fma.f64 y #s(literal 2 binary64) (*.f64 z #s(literal 3 binary64))))
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x z) z) x) y) x)
(+.f64 x (+.f64 y (+.f64 x (+.f64 z (+.f64 x z)))))
(+.f64 (+.f64 x y) (*.f64 #s(literal 2 binary64) (+.f64 x z)))
(+.f64 y (fma.f64 #s(literal 2 binary64) (+.f64 x z) x))
(+.f64 y (fma.f64 (+.f64 x z) #s(literal 2 binary64) x))
(fma.f64 z #s(literal 2 binary64) (fma.f64 x #s(literal 3 binary64) y))
Compiler

Compiled 14 to 8 computations (42.9% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.9%
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
Compiler

Compiled 28 to 16 computations (42.9% saved)

simplify2.0ms (0.1%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
egg-herbie
Rules
+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01449
11949
Stop Event
saturated
Calls
Call 1
Inputs
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
Outputs
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 x y) y) x) z) x)
(+.f64 x (+.f64 (+.f64 x (+.f64 y (+.f64 x y))) z))

soundness0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
fuel
Compiler

Compiled 14 to 8 computations (42.9% saved)

preprocess14.0ms (0.5%)

Memory
6.3MiB live, 21.9MiB allocated
Compiler

Compiled 56 to 32 computations (42.9% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...