Graphics.Rendering.Chart.Drawing:drawTextsR 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 13 to 9 computations (30.8% saved)

sample812.0ms (77.4%)

Results
643.0ms6525×body256valid
158.0ms1731×body256infinite
Bogosity

preprocess237.0ms (22.6%)

Algorithm
1×egg-herbie
Rules
1261×fma-def
383×associate-+r+
293×associate-+r-
286×associate-+l+
250×associate-+l-
Problems
253×No Errors
3×(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
040399
1101391
2231381
3645353
42178329
53653329
63924329
74482329
84650329
94650329
105110329
115110329
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
(+.f64 (*.f64 (neg.f64 x) y) (*.f64 (-.f64 (neg.f64 x) 1) z))
(+.f64 (*.f64 x (neg.f64 y)) (*.f64 (-.f64 x 1) z))
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) (neg.f64 z)))
(neg.f64 (+.f64 (*.f64 (neg.f64 x) y) (*.f64 (-.f64 (neg.f64 x) 1) z)))
(neg.f64 (+.f64 (*.f64 x (neg.f64 y)) (*.f64 (-.f64 x 1) z)))
(neg.f64 (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) (neg.f64 z))))
(+.f64 (*.f64 y x) (*.f64 (-.f64 y 1) z))
(+.f64 (*.f64 z y) (*.f64 (-.f64 z 1) x))
(+.f64 (*.f64 x z) (*.f64 (-.f64 x 1) y))
Outputs
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
(fma.f64 x y (*.f64 (+.f64 x -1) z))
(fma.f64 (+.f64 x -1) z (*.f64 x y))
(-.f64 (*.f64 x (+.f64 y z)) z)
(fma.f64 x (+.f64 y z) (neg.f64 z))
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) z))
(fma.f64 x y (*.f64 (+.f64 x -1) z))
(fma.f64 (+.f64 x -1) z (*.f64 x y))
(-.f64 (*.f64 x (+.f64 y z)) z)
(fma.f64 x (+.f64 y z) (neg.f64 z))
(+.f64 (*.f64 (neg.f64 x) y) (*.f64 (-.f64 (neg.f64 x) 1) z))
(fma.f64 (neg.f64 x) y (*.f64 z (+.f64 (neg.f64 x) -1)))
(-.f64 (*.f64 z (fma.f64 -1 x -1)) (*.f64 x y))
(-.f64 (*.f64 z (-.f64 -1 x)) (*.f64 x y))
(-.f64 (*.f64 (neg.f64 x) (+.f64 y z)) z)
(neg.f64 (fma.f64 x (+.f64 y z) z))
(+.f64 (*.f64 x (neg.f64 y)) (*.f64 (-.f64 x 1) z))
(fma.f64 x (neg.f64 y) (*.f64 (+.f64 x -1) z))
(fma.f64 (+.f64 x -1) z (*.f64 x (neg.f64 y)))
(-.f64 (*.f64 x (+.f64 (neg.f64 y) z)) z)
(-.f64 (*.f64 x (-.f64 z y)) z)
(+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) (neg.f64 z)))
(fma.f64 x y (*.f64 (+.f64 x -1) (neg.f64 z)))
(-.f64 (*.f64 x y) (*.f64 (+.f64 x -1) z))
(fma.f64 x y (fma.f64 x (neg.f64 z) z))
(+.f64 z (*.f64 x (-.f64 y z)))
(fma.f64 x (-.f64 y z) z)
(neg.f64 (+.f64 (*.f64 (neg.f64 x) y) (*.f64 (-.f64 (neg.f64 x) 1) z)))
(neg.f64 (fma.f64 (neg.f64 x) y (*.f64 z (+.f64 (neg.f64 x) -1))))
(-.f64 (*.f64 x y) (*.f64 z (fma.f64 -1 x -1)))
(fma.f64 x y (*.f64 z (+.f64 x 1)))
(+.f64 z (*.f64 x (+.f64 y z)))
(fma.f64 x (+.f64 y z) z)
(neg.f64 (+.f64 (*.f64 x (neg.f64 y)) (*.f64 (-.f64 x 1) z)))
(fma.f64 x y (*.f64 (+.f64 x -1) (neg.f64 z)))
(-.f64 (*.f64 x y) (*.f64 (+.f64 x -1) z))
(fma.f64 x y (fma.f64 x (neg.f64 z) z))
(+.f64 z (*.f64 x (-.f64 y z)))
(fma.f64 x (-.f64 y z) z)
(neg.f64 (+.f64 (*.f64 x y) (*.f64 (-.f64 x 1) (neg.f64 z))))
(fma.f64 x (neg.f64 y) (*.f64 (+.f64 x -1) z))
(fma.f64 (+.f64 x -1) z (*.f64 x (neg.f64 y)))
(-.f64 (*.f64 x (+.f64 (neg.f64 y) z)) z)
(-.f64 (*.f64 x (-.f64 z y)) z)
(+.f64 (*.f64 y x) (*.f64 (-.f64 y 1) z))
(fma.f64 y x (*.f64 z (+.f64 y -1)))
(fma.f64 x y (*.f64 z (+.f64 y -1)))
(-.f64 (*.f64 y (+.f64 x z)) z)
(+.f64 (*.f64 z y) (*.f64 (-.f64 z 1) x))
(fma.f64 z y (*.f64 x (+.f64 z -1)))
(fma.f64 x (+.f64 z -1) (*.f64 y z))
(-.f64 (*.f64 z (+.f64 y x)) x)
(fma.f64 z (+.f64 x y) (neg.f64 x))
(+.f64 (*.f64 x z) (*.f64 (-.f64 x 1) y))
(fma.f64 x z (*.f64 y (+.f64 x -1)))
(fma.f64 y (+.f64 x -1) (*.f64 x z))
(-.f64 (*.f64 x (+.f64 y z)) y)
Compiler

Compiled 28 to 15 computations (46.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...