Graphics.Rendering.Chart.Plot.AreaSpots:renderSpotLegend from Chart-1.5.3

Time bar (total: 1.0s)

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 11 to 8 computations (27.3% saved)

sample703.0ms (70.2%)

Results
653.0ms8010×body256valid
15.0ms101×body1024valid
13.0ms72×body2048valid
9.0ms71×body512valid
0.0ms2×body256infinite
Bogosity

preprocess297.0ms (29.7%)

Algorithm
1×egg-herbie
Rules
233×fma-def
57×associate-+l-
52×associate--r+
50×+-commutative
46×*-commutative
Problems
256×No Errors
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
029256
158228
2147228
3305224
4538224
5695216
6819204
7887204
8937204
9959204
10965204
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
(+.f64 (neg.f64 x) (/.f64 (fabs.f64 (-.f64 y (neg.f64 x))) 2))
(+.f64 x (/.f64 (fabs.f64 (-.f64 (neg.f64 y) x)) 2))
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (fabs.f64 (-.f64 y (neg.f64 x))) 2)))
(neg.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 (neg.f64 y) x)) 2)))
(+.f64 y (/.f64 (fabs.f64 (-.f64 x y)) 2))
Outputs
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
(+.f64 x (*.f64 1/2 (fabs.f64 (-.f64 y x))))
(fma.f64 1/2 (fabs.f64 (-.f64 y x)) x)
(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
(+.f64 x (/.f64 (fabs.f64 (-.f64 y x)) 2))
(+.f64 x (*.f64 1/2 (fabs.f64 (-.f64 y x))))
(fma.f64 1/2 (fabs.f64 (-.f64 y x)) x)
(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 x)
(+.f64 (neg.f64 x) (/.f64 (fabs.f64 (-.f64 y (neg.f64 x))) 2))
(-.f64 (/.f64 (fabs.f64 (+.f64 x y)) 2) x)
(-.f64 (*.f64 1/2 (fabs.f64 (+.f64 x y))) x)
(-.f64 (*.f64 (fabs.f64 (+.f64 x y)) 1/2) x)
(+.f64 x (/.f64 (fabs.f64 (-.f64 (neg.f64 y) x)) 2))
(+.f64 x (/.f64 (fabs.f64 (+.f64 x y)) 2))
(+.f64 x (*.f64 1/2 (fabs.f64 (+.f64 x y))))
(fma.f64 1/2 (fabs.f64 (+.f64 x y)) x)
(fma.f64 (fabs.f64 (+.f64 x y)) 1/2 x)
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (fabs.f64 (-.f64 y (neg.f64 x))) 2)))
(-.f64 x (/.f64 (fabs.f64 (+.f64 x y)) 2))
(-.f64 x (*.f64 1/2 (fabs.f64 (+.f64 x y))))
(fma.f64 -1/2 (fabs.f64 (+.f64 x y)) x)
(fma.f64 (fabs.f64 (+.f64 x y)) -1/2 x)
(neg.f64 (+.f64 x (/.f64 (fabs.f64 (-.f64 (neg.f64 y) x)) 2)))
(-.f64 (neg.f64 x) (/.f64 (fabs.f64 (+.f64 x y)) 2))
(-.f64 (/.f64 (fabs.f64 (+.f64 x y)) -2) x)
(-.f64 (*.f64 -1/2 (fabs.f64 (+.f64 x y))) x)
(neg.f64 (fma.f64 1/2 (fabs.f64 (+.f64 x y)) x))
(neg.f64 (fma.f64 (fabs.f64 (+.f64 x y)) 1/2 x))
(+.f64 y (/.f64 (fabs.f64 (-.f64 x y)) 2))
(+.f64 y (/.f64 (fabs.f64 (-.f64 y x)) 2))
(+.f64 y (*.f64 1/2 (fabs.f64 (-.f64 y x))))
(fma.f64 1/2 (fabs.f64 (-.f64 y x)) y)
(fma.f64 (fabs.f64 (-.f64 y x)) 1/2 y)
Compiler

Compiled 27 to 11 computations (59.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...