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

Time bar (total: 1.1s)

analyze0.0ms (0%)

Algorithm
1×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 13 to 9 computations (30.8% saved)

sample858.0ms (78.5%)

Results
658.0ms6318×body256valid
156.0ms1733×body256infinite
20.0ms118×body1024valid
12.0ms87×body512valid
Bogosity

preprocess234.0ms (21.4%)

Algorithm
1×egg-herbie
Rules
1461×fma-def
387×associate-+r+
347×associate-+l-
323×associate--r+
318×associate-+r-
Problems
256×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
041391
1124371
2342367
3997367
42699367
54139367
64899367
74998367
84998367
95893367
105893367
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5))
(+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5))
(+.f64 (*.f64 (neg.f64 x) (+.f64 y z)) (*.f64 z 5))
(+.f64 (*.f64 x (+.f64 (neg.f64 y) z)) (*.f64 z 5))
(+.f64 (*.f64 x (+.f64 y (neg.f64 z))) (*.f64 (neg.f64 z) 5))
(neg.f64 (+.f64 (*.f64 (neg.f64 x) (+.f64 y z)) (*.f64 z 5)))
(neg.f64 (+.f64 (*.f64 x (+.f64 (neg.f64 y) z)) (*.f64 z 5)))
(neg.f64 (+.f64 (*.f64 x (+.f64 y (neg.f64 z))) (*.f64 (neg.f64 z) 5)))
(+.f64 (*.f64 y (+.f64 x z)) (*.f64 z 5))
(+.f64 (*.f64 z (+.f64 y x)) (*.f64 x 5))
(+.f64 (*.f64 x (+.f64 z y)) (*.f64 y 5))
Outputs
(+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5))
(fma.f64 x (+.f64 y z) (*.f64 z 5))
(fma.f64 x y (*.f64 z (+.f64 5 x)))
(fma.f64 x y (*.f64 z (-.f64 x -5)))
(+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5))
(fma.f64 x (+.f64 y z) (*.f64 z 5))
(fma.f64 x y (*.f64 z (+.f64 5 x)))
(fma.f64 x y (*.f64 z (-.f64 x -5)))
(+.f64 (*.f64 (neg.f64 x) (+.f64 y z)) (*.f64 z 5))
(fma.f64 (neg.f64 x) (+.f64 y z) (*.f64 z 5))
(-.f64 (*.f64 z 5) (*.f64 x (+.f64 y z)))
(neg.f64 (fma.f64 x y (*.f64 z (-.f64 x 5))))
(+.f64 (*.f64 x (+.f64 (neg.f64 y) z)) (*.f64 z 5))
(fma.f64 x (+.f64 z (neg.f64 y)) (*.f64 z 5))
(fma.f64 x (-.f64 z y) (*.f64 z 5))
(+.f64 (*.f64 x (+.f64 y (neg.f64 z))) (*.f64 (neg.f64 z) 5))
(fma.f64 x (-.f64 y z) (*.f64 5 (neg.f64 z)))
(fma.f64 x (-.f64 y z) (*.f64 z -5))
(fma.f64 x y (*.f64 z (-.f64 -5 x)))
(neg.f64 (+.f64 (*.f64 (neg.f64 x) (+.f64 y z)) (*.f64 z 5)))
(neg.f64 (fma.f64 (neg.f64 x) (+.f64 y z) (*.f64 z 5)))
(+.f64 (*.f64 x (+.f64 y z)) (*.f64 z -5))
(fma.f64 x (+.f64 y z) (*.f64 z -5))
(fma.f64 x y (*.f64 z (-.f64 x 5)))
(neg.f64 (+.f64 (*.f64 x (+.f64 (neg.f64 y) z)) (*.f64 z 5)))
(fma.f64 x (-.f64 y z) (*.f64 5 (neg.f64 z)))
(fma.f64 x (-.f64 y z) (*.f64 z -5))
(fma.f64 x y (*.f64 z (-.f64 -5 x)))
(neg.f64 (+.f64 (*.f64 x (+.f64 y (neg.f64 z))) (*.f64 (neg.f64 z) 5)))
(fma.f64 x (+.f64 z (neg.f64 y)) (*.f64 z 5))
(fma.f64 x (-.f64 z y) (*.f64 z 5))
(+.f64 (*.f64 y (+.f64 x z)) (*.f64 z 5))
(fma.f64 y (+.f64 x z) (*.f64 z 5))
(fma.f64 x y (*.f64 z (+.f64 y 5)))
(+.f64 (*.f64 z (+.f64 y x)) (*.f64 x 5))
(fma.f64 z (+.f64 x y) (*.f64 x 5))
(fma.f64 x 5 (*.f64 z (+.f64 x y)))
(fma.f64 x (+.f64 z 5) (*.f64 y z))
(+.f64 (*.f64 x (+.f64 z y)) (*.f64 y 5))
(fma.f64 x (+.f64 y z) (*.f64 y 5))
(fma.f64 x z (*.f64 y (+.f64 5 x)))
(fma.f64 x z (*.f64 y (+.f64 x 5)))
Compiler

Compiled 28 to 12 computations (57.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...