Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

Time bar (total: 1.4s)

analyze143.0ms (10.5%)

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
50%49.9%49.9%0.2%0%0%0%6
50%49.9%49.9%0.2%0%0%0%7
50%49.9%49.9%0.2%0%0%0%8
50%49.9%49.9%0.2%0%0%0%9
50%49.9%49.9%0.2%0%0%0%10
75%74.8%24.9%0.2%0%0%0%11
75%74.8%24.9%0.2%0%0%0%12
Compiler

Compiled 19 to 12 computations (36.8% saved)

sample1.1s (80.7%)

Results
789.0ms6322×body256valid
127.0ms1120×body256infinite
81.0ms339×body1024valid
72.0ms417×body512valid
16.0ms58×body2048valid
Bogosity

preprocess120.0ms (8.8%)

Algorithm
1×egg-herbie
Rules
435×div-sub
426×associate-/l*
425×associate-*r*
356×*-commutative
344×associate-+l+
Problems
168×No Errors
57×(/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z))
31×(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0941344
12121312
27131228
327561228
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
(+.f64 (neg.f64 x) (/.f64 (*.f64 (-.f64 y z) (-.f64 t (neg.f64 x))) (-.f64 a z)))
(+.f64 x (/.f64 (*.f64 (-.f64 (neg.f64 y) z) (-.f64 t x)) (-.f64 a z)))
(+.f64 x (/.f64 (*.f64 (-.f64 y (neg.f64 z)) (-.f64 t x)) (-.f64 a (neg.f64 z))))
(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 (neg.f64 t) x)) (-.f64 a z)))
(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 (neg.f64 a) z)))
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (*.f64 (-.f64 y z) (-.f64 t (neg.f64 x))) (-.f64 a z))))
(neg.f64 (+.f64 x (/.f64 (*.f64 (-.f64 (neg.f64 y) z) (-.f64 t x)) (-.f64 a z))))
(neg.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y (neg.f64 z)) (-.f64 t x)) (-.f64 a (neg.f64 z)))))
(neg.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 (neg.f64 t) x)) (-.f64 a z))))
(neg.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 (neg.f64 a) z))))
(+.f64 y (/.f64 (*.f64 (-.f64 x z) (-.f64 t y)) (-.f64 a z)))
(+.f64 z (/.f64 (*.f64 (-.f64 y x) (-.f64 t z)) (-.f64 a x)))
(+.f64 t (/.f64 (*.f64 (-.f64 y z) (-.f64 x t)) (-.f64 a z)))
(+.f64 a (/.f64 (*.f64 (-.f64 y z) (-.f64 t a)) (-.f64 x z)))
(+.f64 x (/.f64 (*.f64 (-.f64 z y) (-.f64 t x)) (-.f64 a y)))
(+.f64 x (/.f64 (*.f64 (-.f64 t z) (-.f64 y x)) (-.f64 a z)))
(+.f64 x (/.f64 (*.f64 (-.f64 a z) (-.f64 t x)) (-.f64 y z)))
(+.f64 x (/.f64 (*.f64 (-.f64 y t) (-.f64 z x)) (-.f64 a t)))
(+.f64 x (/.f64 (*.f64 (-.f64 y a) (-.f64 t x)) (-.f64 z a)))
(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 a x)) (-.f64 t z)))
Outputs
(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
(fma.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (-.f64 t x) x)
(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 a z)))
(fma.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (-.f64 t x) x)
(+.f64 (neg.f64 x) (/.f64 (*.f64 (-.f64 y z) (-.f64 t (neg.f64 x))) (-.f64 a z)))
(+.f64 (neg.f64 x) (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) (-.f64 t (neg.f64 x)))))
(-.f64 (*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (+.f64 x t)) x)
(-.f64 (*.f64 (+.f64 x t) (/.f64 (-.f64 y z) (-.f64 a z))) x)
(-.f64 (*.f64 (-.f64 y z) (/.f64 (+.f64 x t) (-.f64 a z))) x)
(+.f64 x (/.f64 (*.f64 (-.f64 (neg.f64 y) z) (-.f64 t x)) (-.f64 a z)))
(+.f64 x (/.f64 (-.f64 (neg.f64 y) z) (/.f64 (-.f64 a z) (-.f64 t x))))
(+.f64 x (*.f64 (/.f64 (-.f64 (neg.f64 y) z) (-.f64 a z)) (-.f64 t x)))
(-.f64 x (*.f64 (/.f64 (+.f64 y z) (-.f64 a z)) (-.f64 t x)))
(-.f64 x (*.f64 (-.f64 t x) (/.f64 (+.f64 y z) (-.f64 a z))))
(+.f64 x (/.f64 (*.f64 (-.f64 y (neg.f64 z)) (-.f64 t x)) (-.f64 a (neg.f64 z))))
(+.f64 x (/.f64 (-.f64 y (neg.f64 z)) (/.f64 (-.f64 a (neg.f64 z)) (-.f64 t x))))
(+.f64 x (*.f64 (/.f64 (+.f64 y z) (+.f64 z a)) (-.f64 t x)))
(fma.f64 (/.f64 (+.f64 y z) (+.f64 z a)) (-.f64 t x) x)
(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 (neg.f64 t) x)) (-.f64 a z)))
(+.f64 x (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) (-.f64 (neg.f64 t) x))))
(+.f64 x (*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (-.f64 (neg.f64 t) x)))
(fma.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (-.f64 (neg.f64 t) x) x)
(+.f64 x (*.f64 (+.f64 x t) (/.f64 (-.f64 z y) (-.f64 a z))))
(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 (neg.f64 a) z)))
(+.f64 x (/.f64 (-.f64 y z) (/.f64 (-.f64 (neg.f64 a) z) (-.f64 t x))))
(fma.f64 (/.f64 (-.f64 y z) (-.f64 (neg.f64 z) a)) (-.f64 t x) x)
(fma.f64 (/.f64 (-.f64 y z) (-.f64 (neg.f64 a) z)) (-.f64 t x) x)
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (*.f64 (-.f64 y z) (-.f64 t (neg.f64 x))) (-.f64 a z))))
(+.f64 x (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) (-.f64 (neg.f64 t) x))))
(+.f64 x (*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (-.f64 (neg.f64 t) x)))
(fma.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (-.f64 (neg.f64 t) x) x)
(+.f64 x (*.f64 (+.f64 x t) (/.f64 (-.f64 z y) (-.f64 a z))))
(neg.f64 (+.f64 x (/.f64 (*.f64 (-.f64 (neg.f64 y) z) (-.f64 t x)) (-.f64 a z))))
(neg.f64 (+.f64 x (/.f64 (-.f64 (neg.f64 y) z) (/.f64 (-.f64 a z) (-.f64 t x)))))
(-.f64 (neg.f64 x) (*.f64 (/.f64 (-.f64 (neg.f64 y) z) (-.f64 a z)) (-.f64 t x)))
(-.f64 (*.f64 (/.f64 (+.f64 y z) (-.f64 a z)) (-.f64 t x)) x)
(-.f64 (*.f64 (-.f64 t x) (/.f64 (+.f64 y z) (-.f64 a z))) x)
(neg.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y (neg.f64 z)) (-.f64 t x)) (-.f64 a (neg.f64 z)))))
(neg.f64 (+.f64 x (/.f64 (-.f64 y (neg.f64 z)) (/.f64 (-.f64 a (neg.f64 z)) (-.f64 t x)))))
(-.f64 (neg.f64 x) (*.f64 (/.f64 (+.f64 y z) (+.f64 z a)) (-.f64 t x)))
(-.f64 (*.f64 (/.f64 (+.f64 y z) (+.f64 z a)) (-.f64 x t)) x)
(-.f64 (*.f64 (-.f64 x t) (/.f64 (+.f64 y z) (+.f64 z a))) x)
(neg.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 (neg.f64 t) x)) (-.f64 a z))))
(+.f64 (neg.f64 x) (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) (-.f64 t (neg.f64 x)))))
(-.f64 (*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (+.f64 x t)) x)
(-.f64 (*.f64 (+.f64 x t) (/.f64 (-.f64 y z) (-.f64 a z))) x)
(-.f64 (*.f64 (-.f64 y z) (/.f64 (+.f64 x t) (-.f64 a z))) x)
(neg.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 (neg.f64 a) z))))
(neg.f64 (+.f64 x (/.f64 (-.f64 y z) (/.f64 (-.f64 (neg.f64 a) z) (-.f64 t x)))))
(-.f64 (neg.f64 x) (/.f64 (*.f64 (-.f64 y z) (-.f64 t x)) (-.f64 (neg.f64 a) z)))
(neg.f64 (fma.f64 (/.f64 (-.f64 y z) (-.f64 (neg.f64 z) a)) (-.f64 t x) x))
(-.f64 (*.f64 (-.f64 t x) (/.f64 (-.f64 z y) (-.f64 (neg.f64 a) z))) x)
(+.f64 y (/.f64 (*.f64 (-.f64 x z) (-.f64 t y)) (-.f64 a z)))
(+.f64 y (/.f64 (-.f64 x z) (/.f64 (-.f64 a z) (-.f64 t y))))
(+.f64 y (*.f64 (/.f64 (-.f64 x z) (-.f64 a z)) (-.f64 t y)))
(fma.f64 (/.f64 (-.f64 x z) (-.f64 a z)) (-.f64 t y) y)
(+.f64 z (/.f64 (*.f64 (-.f64 y x) (-.f64 t z)) (-.f64 a x)))
(+.f64 z (*.f64 (/.f64 (-.f64 y x) (-.f64 a x)) (-.f64 t z)))
(fma.f64 (/.f64 (-.f64 y x) (-.f64 a x)) (-.f64 t z) z)
(+.f64 t (/.f64 (*.f64 (-.f64 y z) (-.f64 x t)) (-.f64 a z)))
(+.f64 t (/.f64 (-.f64 y z) (/.f64 (-.f64 a z) (-.f64 x t))))
(+.f64 t (*.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (-.f64 x t)))
(fma.f64 (/.f64 (-.f64 y z) (-.f64 a z)) (-.f64 x t) t)
(+.f64 a (/.f64 (*.f64 (-.f64 y z) (-.f64 t a)) (-.f64 x z)))
(+.f64 a (*.f64 (/.f64 (-.f64 y z) (-.f64 x z)) (-.f64 t a)))
(fma.f64 (/.f64 (-.f64 y z) (-.f64 x z)) (-.f64 t a) a)
(+.f64 x (/.f64 (*.f64 (-.f64 z y) (-.f64 t x)) (-.f64 a y)))
(+.f64 x (/.f64 (*.f64 (-.f64 t x) (-.f64 z y)) (-.f64 a y)))
(+.f64 x (*.f64 (/.f64 (-.f64 z y) (-.f64 a y)) (-.f64 t x)))
(fma.f64 (/.f64 (-.f64 z y) (-.f64 a y)) (-.f64 t x) x)
(+.f64 x (/.f64 (*.f64 (-.f64 t z) (-.f64 y x)) (-.f64 a z)))
(+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 t z)) (-.f64 a z)))
(+.f64 x (*.f64 (/.f64 (-.f64 t z) (-.f64 a z)) (-.f64 y x)))
(fma.f64 (/.f64 (-.f64 t z) (-.f64 a z)) (-.f64 y x) x)
(+.f64 x (/.f64 (*.f64 (-.f64 a z) (-.f64 t x)) (-.f64 y z)))
(+.f64 x (/.f64 (-.f64 a z) (/.f64 (-.f64 y z) (-.f64 t x))))
(+.f64 x (*.f64 (/.f64 (-.f64 a z) (-.f64 y z)) (-.f64 t x)))
(fma.f64 (/.f64 (-.f64 a z) (-.f64 y z)) (-.f64 t x) x)
(+.f64 x (/.f64 (*.f64 (-.f64 y t) (-.f64 z x)) (-.f64 a t)))
(+.f64 x (/.f64 (-.f64 y t) (/.f64 (-.f64 a t) (-.f64 z x))))
(fma.f64 (/.f64 (-.f64 y t) (-.f64 a t)) (-.f64 z x) x)
(+.f64 x (/.f64 (*.f64 (-.f64 y a) (-.f64 t x)) (-.f64 z a)))
(+.f64 x (/.f64 (-.f64 y a) (/.f64 (-.f64 z a) (-.f64 t x))))
(+.f64 x (*.f64 (/.f64 (-.f64 y a) (-.f64 z a)) (-.f64 t x)))
(fma.f64 (/.f64 (-.f64 y a) (-.f64 z a)) (-.f64 t x) x)
(+.f64 x (/.f64 (*.f64 (-.f64 y z) (-.f64 a x)) (-.f64 t z)))
(+.f64 x (/.f64 (-.f64 y z) (/.f64 (-.f64 t z) (-.f64 a x))))
(+.f64 x (*.f64 (/.f64 (-.f64 y z) (-.f64 t z)) (-.f64 a x)))
(fma.f64 (/.f64 (-.f64 y z) (-.f64 t z)) (-.f64 a x) x)
Compiler

Compiled 51 to 12 computations (76.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...