Graphics.Rendering.Chart.SparkLine:renderSparkLine from Chart-1.5.3

Time bar (total: 1.5s)

analyze184.0ms (11.9%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
0%0%99.8%0.2%0%0%0%5
12.5%12.5%87.3%0.2%0%0%0%6
12.5%12.5%87.3%0.2%0%0%0%7
12.5%12.5%87.3%0.2%0%0%0%8
18.8%18.7%81.1%0.2%0%0%0%9
28.1%28.1%71.7%0.2%0%0%0%10
42.2%42.1%57.7%0.2%0%0%0%11
42.2%42.1%57.7%0.2%0%0%0%12
Compiler

Compiled 19 to 13 computations (31.6% saved)

sample1.2s (79.6%)

Results
1.2s7737×body256valid
64.0ms517×body256infinite
0.0ms2×body512valid
Bogosity

preprocess131.0ms (8.5%)

Algorithm
1×egg-herbie
Rules
609×associate-*r*
518×distribute-lft-in
406×+-commutative
404×distribute-rgt-in
372×associate-+r-
Problems
204×No Errors
52×(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0951270
12661254
28061162
327651146
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
(-.f64 (neg.f64 x) (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
(-.f64 x (/.f64 (-.f64 (neg.f64 y) z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
(-.f64 x (/.f64 (-.f64 y (neg.f64 z)) (/.f64 (+.f64 (-.f64 t (neg.f64 z)) 1) a)))
(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 (neg.f64 t) z) 1) a)))
(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) (neg.f64 a))))
(neg.f64 (-.f64 (neg.f64 x) (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))))
(neg.f64 (-.f64 x (/.f64 (-.f64 (neg.f64 y) z) (/.f64 (+.f64 (-.f64 t z) 1) a))))
(neg.f64 (-.f64 x (/.f64 (-.f64 y (neg.f64 z)) (/.f64 (+.f64 (-.f64 t (neg.f64 z)) 1) a))))
(neg.f64 (-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 (neg.f64 t) z) 1) a))))
(neg.f64 (-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) (neg.f64 a)))))
(-.f64 y (/.f64 (-.f64 x z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
(-.f64 z (/.f64 (-.f64 y x) (/.f64 (+.f64 (-.f64 t x) 1) a)))
(-.f64 t (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 x z) 1) a)))
(-.f64 a (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) x)))
(-.f64 x (/.f64 (-.f64 z y) (/.f64 (+.f64 (-.f64 t y) 1) a)))
(-.f64 x (/.f64 (-.f64 t z) (/.f64 (+.f64 (-.f64 y z) 1) a)))
(-.f64 x (/.f64 (-.f64 a z) (/.f64 (+.f64 (-.f64 t z) 1) y)))
(-.f64 x (/.f64 (-.f64 y t) (/.f64 (+.f64 (-.f64 z t) 1) a)))
(-.f64 x (/.f64 (-.f64 y a) (/.f64 (+.f64 (-.f64 t a) 1) z)))
(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 a z) 1) t)))
Outputs
(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a))
(-.f64 x (/.f64 (*.f64 (-.f64 y z) a) (+.f64 (-.f64 t z) 1)))
(fma.f64 (/.f64 (-.f64 z y) (+.f64 (-.f64 t z) 1)) a x)
(fma.f64 (/.f64 (-.f64 z y) (+.f64 t (-.f64 1 z))) a x)
(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a))
(-.f64 x (/.f64 (*.f64 (-.f64 y z) a) (+.f64 (-.f64 t z) 1)))
(fma.f64 (/.f64 (-.f64 z y) (+.f64 (-.f64 t z) 1)) a x)
(fma.f64 (/.f64 (-.f64 z y) (+.f64 t (-.f64 1 z))) a x)
(-.f64 (neg.f64 x) (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
(-.f64 (neg.f64 x) (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a))
(-.f64 (neg.f64 x) (/.f64 (*.f64 (-.f64 y z) a) (+.f64 (-.f64 t z) 1)))
(neg.f64 (fma.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a x))
(neg.f64 (fma.f64 (/.f64 (-.f64 y z) (+.f64 t (-.f64 1 z))) a x))
(-.f64 x (/.f64 (-.f64 (neg.f64 y) z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
(-.f64 x (*.f64 (/.f64 (-.f64 (neg.f64 y) z) (+.f64 (-.f64 t z) 1)) a))
(-.f64 x (*.f64 a (/.f64 (-.f64 (neg.f64 y) z) (+.f64 (-.f64 t z) 1))))
(fma.f64 (/.f64 (+.f64 y z) (+.f64 (-.f64 t z) 1)) a x)
(fma.f64 (/.f64 (+.f64 y z) (+.f64 t (-.f64 1 z))) a x)
(-.f64 x (/.f64 (-.f64 y (neg.f64 z)) (/.f64 (+.f64 (-.f64 t (neg.f64 z)) 1) a)))
(-.f64 x (*.f64 (/.f64 (-.f64 y (neg.f64 z)) (-.f64 t (-.f64 (neg.f64 z) 1))) a))
(-.f64 x (*.f64 a (/.f64 (+.f64 y z) (+.f64 t (+.f64 z 1)))))
(fma.f64 (/.f64 (+.f64 y z) (+.f64 1 (+.f64 z t))) (neg.f64 a) x)
(-.f64 x (*.f64 a (/.f64 (+.f64 y z) (+.f64 1 (+.f64 z t)))))
(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 (neg.f64 t) z) 1) a)))
(-.f64 x (*.f64 (/.f64 (-.f64 y z) (-.f64 (neg.f64 t) (-.f64 z 1))) a))
(-.f64 x (*.f64 a (/.f64 (-.f64 y z) (+.f64 1 (-.f64 (neg.f64 t) z)))))
(fma.f64 (/.f64 (-.f64 z y) (-.f64 1 (+.f64 z t))) a x)
(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) (neg.f64 a))))
(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) (neg.f64 a)))
(-.f64 x (*.f64 (neg.f64 a) (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1))))
(fma.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a x)
(fma.f64 (/.f64 (-.f64 y z) (+.f64 t (-.f64 1 z))) a x)
(neg.f64 (-.f64 (neg.f64 x) (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))))
(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) (neg.f64 a)))
(-.f64 x (*.f64 (neg.f64 a) (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1))))
(fma.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a x)
(fma.f64 (/.f64 (-.f64 y z) (+.f64 t (-.f64 1 z))) a x)
(neg.f64 (-.f64 x (/.f64 (-.f64 (neg.f64 y) z) (/.f64 (+.f64 (-.f64 t z) 1) a))))
(neg.f64 (-.f64 x (*.f64 (/.f64 (-.f64 (neg.f64 y) z) (+.f64 (-.f64 t z) 1)) a)))
(+.f64 (neg.f64 x) (*.f64 a (/.f64 (-.f64 (neg.f64 y) z) (+.f64 (-.f64 t z) 1))))
(neg.f64 (fma.f64 (/.f64 (+.f64 y z) (+.f64 (-.f64 t z) 1)) a x))
(neg.f64 (fma.f64 (/.f64 (+.f64 y z) (+.f64 t (-.f64 1 z))) a x))
(neg.f64 (-.f64 x (/.f64 (-.f64 y (neg.f64 z)) (/.f64 (+.f64 (-.f64 t (neg.f64 z)) 1) a))))
(neg.f64 (-.f64 x (*.f64 (/.f64 (-.f64 y (neg.f64 z)) (-.f64 t (-.f64 (neg.f64 z) 1))) a)))
(+.f64 (neg.f64 x) (*.f64 a (/.f64 (+.f64 y z) (+.f64 t (+.f64 z 1)))))
(-.f64 (*.f64 a (/.f64 (+.f64 y z) (+.f64 1 (+.f64 z t)))) x)
(neg.f64 (-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 (neg.f64 t) z) 1) a))))
(neg.f64 (-.f64 x (*.f64 (/.f64 (-.f64 y z) (-.f64 (neg.f64 t) (-.f64 z 1))) a)))
(+.f64 (neg.f64 x) (*.f64 a (/.f64 (-.f64 y z) (+.f64 1 (-.f64 (neg.f64 t) z)))))
(-.f64 (*.f64 a (/.f64 (-.f64 y z) (-.f64 1 (+.f64 z t)))) x)
(neg.f64 (fma.f64 (/.f64 (-.f64 z y) (-.f64 1 (+.f64 z t))) a x))
(neg.f64 (-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) (neg.f64 a)))))
(-.f64 (neg.f64 x) (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a))
(-.f64 (neg.f64 x) (/.f64 (*.f64 (-.f64 y z) a) (+.f64 (-.f64 t z) 1)))
(neg.f64 (fma.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a x))
(neg.f64 (fma.f64 (/.f64 (-.f64 y z) (+.f64 t (-.f64 1 z))) a x))
(-.f64 y (/.f64 (-.f64 x z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
(-.f64 y (*.f64 (/.f64 (-.f64 x z) (+.f64 (-.f64 t z) 1)) a))
(-.f64 y (/.f64 (*.f64 (-.f64 x z) a) (+.f64 (-.f64 t z) 1)))
(-.f64 y (/.f64 (*.f64 a (-.f64 x z)) (+.f64 (-.f64 t z) 1)))
(fma.f64 (/.f64 (-.f64 z x) (+.f64 t (-.f64 1 z))) a y)
(-.f64 z (/.f64 (-.f64 y x) (/.f64 (+.f64 (-.f64 t x) 1) a)))
(-.f64 z (*.f64 (/.f64 (-.f64 y x) (+.f64 1 (-.f64 t x))) a))
(-.f64 z (/.f64 (-.f64 y x) (/.f64 (+.f64 1 (-.f64 t x)) a)))
(fma.f64 (/.f64 (-.f64 y x) (+.f64 1 (-.f64 t x))) (neg.f64 a) z)
(fma.f64 (/.f64 (-.f64 x y) (+.f64 t (-.f64 1 x))) a z)
(-.f64 t (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 x z) 1) a)))
(-.f64 t (*.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 x z))) a))
(-.f64 t (*.f64 a (/.f64 (-.f64 y z) (-.f64 x (+.f64 z -1)))))
(fma.f64 (/.f64 (-.f64 z y) (+.f64 1 (-.f64 x z))) a t)
(fma.f64 (/.f64 (-.f64 z y) (+.f64 x (-.f64 1 z))) a t)
(-.f64 a (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) x)))
(-.f64 a (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) x))
(-.f64 a (/.f64 (*.f64 (-.f64 y z) x) (+.f64 (-.f64 t z) 1)))
(fma.f64 (/.f64 (-.f64 z y) (+.f64 (-.f64 t z) 1)) x a)
(fma.f64 (/.f64 (-.f64 z y) (+.f64 t (-.f64 1 z))) x a)
(-.f64 x (/.f64 (-.f64 z y) (/.f64 (+.f64 (-.f64 t y) 1) a)))
(-.f64 x (*.f64 (/.f64 (-.f64 z y) (+.f64 1 (-.f64 t y))) a))
(-.f64 x (*.f64 a (/.f64 (-.f64 z y) (+.f64 1 (-.f64 t y)))))
(fma.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t y))) a x)
(fma.f64 (/.f64 (-.f64 y z) (+.f64 t (-.f64 1 y))) a x)
(-.f64 x (/.f64 (-.f64 t z) (/.f64 (+.f64 (-.f64 y z) 1) a)))
(-.f64 x (*.f64 (/.f64 (-.f64 t z) (+.f64 (-.f64 y z) 1)) a))
(fma.f64 (/.f64 (-.f64 z t) (+.f64 (-.f64 y z) 1)) a x)
(fma.f64 (/.f64 (-.f64 z t) (+.f64 y (-.f64 1 z))) a x)
(-.f64 x (/.f64 (-.f64 a z) (/.f64 (+.f64 (-.f64 t z) 1) y)))
(-.f64 x (*.f64 (/.f64 (-.f64 a z) (+.f64 (-.f64 t z) 1)) y))
(-.f64 x (*.f64 y (/.f64 (-.f64 a z) (+.f64 (-.f64 t z) 1))))
(fma.f64 (/.f64 (-.f64 z a) (+.f64 t (-.f64 1 z))) y x)
(-.f64 x (/.f64 (-.f64 y t) (/.f64 (+.f64 (-.f64 z t) 1) a)))
(-.f64 x (*.f64 (/.f64 (-.f64 y t) (+.f64 1 (-.f64 z t))) a))
(-.f64 x (/.f64 (-.f64 y t) (/.f64 (-.f64 z (+.f64 t -1)) a)))
(fma.f64 (/.f64 (-.f64 t y) (+.f64 z (-.f64 1 t))) a x)
(fma.f64 (/.f64 (-.f64 t y) (-.f64 z (+.f64 t -1))) a x)
(-.f64 x (/.f64 (-.f64 y a) (/.f64 (+.f64 (-.f64 t a) 1) z)))
(-.f64 x (*.f64 (/.f64 (-.f64 y a) (+.f64 1 (-.f64 t a))) z))
(-.f64 x (/.f64 (-.f64 y a) (/.f64 (-.f64 t (+.f64 a -1)) z)))
(-.f64 x (/.f64 (*.f64 z (-.f64 y a)) (+.f64 1 (-.f64 t a))))
(fma.f64 (/.f64 (-.f64 a y) (+.f64 t (-.f64 1 a))) z x)
(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 a z) 1) t)))
(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 a z))) t))
(-.f64 x (*.f64 t (/.f64 (-.f64 y z) (-.f64 (+.f64 1 a) z))))
(fma.f64 (/.f64 (-.f64 z y) (+.f64 1 (-.f64 a z))) t x)
Compiler

Compiled 54 to 23 computations (57.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...