Graphics.Rendering.Plot.Render.Plot.Axis:renderAxisTick from plot-0.2.3.4, B

Time bar (total: 1.5s)

analyze108.0ms (7.4%)

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.2s (80.3%)

Results
896.0ms6796×body256valid
83.0ms338×body1024valid
80.0ms659×body256infinite
78.0ms406×body512valid
17.0ms57×body2048valid
Bogosity

preprocess179.0ms (12.3%)

Algorithm
1×egg-herbie
Rules
618×distribute-lft-in
449×associate-/l*
415×+-commutative
393×associate--r+
383×associate-+r+
Problems
194×No Errors
38×(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
24×(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0941336
12471304
28561285
328551281
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
(-.f64 (+.f64 (neg.f64 x) y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
(-.f64 (+.f64 x (neg.f64 y)) (/.f64 (*.f64 (-.f64 z t) (neg.f64 y)) (-.f64 a t)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 (neg.f64 z) t) y) (-.f64 a t)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z (neg.f64 t)) y) (-.f64 a (neg.f64 t))))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 (neg.f64 a) t)))
(neg.f64 (-.f64 (+.f64 (neg.f64 x) y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))))
(neg.f64 (-.f64 (+.f64 x (neg.f64 y)) (/.f64 (*.f64 (-.f64 z t) (neg.f64 y)) (-.f64 a t))))
(neg.f64 (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 (neg.f64 z) t) y) (-.f64 a t))))
(neg.f64 (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z (neg.f64 t)) y) (-.f64 a (neg.f64 t)))))
(neg.f64 (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 (neg.f64 a) t))))
(-.f64 (+.f64 y x) (/.f64 (*.f64 (-.f64 z t) x) (-.f64 a t)))
(-.f64 (+.f64 z y) (/.f64 (*.f64 (-.f64 x t) y) (-.f64 a t)))
(-.f64 (+.f64 t y) (/.f64 (*.f64 (-.f64 z x) y) (-.f64 a x)))
(-.f64 (+.f64 a y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 x t)))
(-.f64 (+.f64 x z) (/.f64 (*.f64 (-.f64 y t) z) (-.f64 a t)))
(-.f64 (+.f64 x t) (/.f64 (*.f64 (-.f64 z y) t) (-.f64 a y)))
(-.f64 (+.f64 x a) (/.f64 (*.f64 (-.f64 z t) a) (-.f64 y t)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 t z) y) (-.f64 a z)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 a t) y) (-.f64 z t)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z a) y) (-.f64 t a)))
Outputs
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
(+.f64 x (-.f64 y (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t))))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(+.f64 x (+.f64 y (/.f64 (-.f64 t z) (/.f64 (-.f64 a t) y))))
(+.f64 (+.f64 x y) (*.f64 y (/.f64 (-.f64 t z) (-.f64 a t))))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
(+.f64 x (-.f64 y (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t))))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(+.f64 x (+.f64 y (/.f64 (-.f64 t z) (/.f64 (-.f64 a t) y))))
(+.f64 (+.f64 x y) (*.f64 y (/.f64 (-.f64 t z) (-.f64 a t))))
(-.f64 (+.f64 (neg.f64 x) y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
(+.f64 (neg.f64 x) (-.f64 y (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t))))
(-.f64 (-.f64 y x) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(-.f64 y (-.f64 x (/.f64 (-.f64 t z) (/.f64 (-.f64 a t) y))))
(+.f64 y (-.f64 (*.f64 y (/.f64 (-.f64 t z) (-.f64 a t))) x))
(-.f64 (+.f64 x (neg.f64 y)) (/.f64 (*.f64 (-.f64 z t) (neg.f64 y)) (-.f64 a t)))
(-.f64 (-.f64 x y) (/.f64 (-.f64 z t) (/.f64 (-.f64 a t) (neg.f64 y))))
(+.f64 (-.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(-.f64 x (+.f64 y (/.f64 (-.f64 t z) (/.f64 (-.f64 a t) y))))
(+.f64 (-.f64 x y) (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 (neg.f64 z) t) y) (-.f64 a t)))
(-.f64 (+.f64 x y) (/.f64 (*.f64 y (-.f64 (neg.f64 z) t)) (-.f64 a t)))
(+.f64 y (+.f64 x (*.f64 (/.f64 (+.f64 z t) (-.f64 a t)) y)))
(+.f64 x (+.f64 y (*.f64 y (/.f64 (+.f64 z t) (-.f64 a t)))))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z (neg.f64 t)) y) (-.f64 a (neg.f64 t))))
(+.f64 x (-.f64 y (/.f64 (-.f64 z (neg.f64 t)) (/.f64 (-.f64 a (neg.f64 t)) y))))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (+.f64 z t) (+.f64 t a)) y))
(+.f64 y (-.f64 x (*.f64 y (/.f64 (+.f64 z t) (+.f64 t a)))))
(+.f64 x (-.f64 y (*.f64 y (/.f64 (+.f64 z t) (+.f64 t a)))))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 (neg.f64 a) t)))
(+.f64 x (-.f64 y (/.f64 (-.f64 z t) (/.f64 (-.f64 (neg.f64 a) t) y))))
(+.f64 x (-.f64 y (*.f64 (/.f64 (-.f64 z t) (neg.f64 (+.f64 t a))) y)))
(+.f64 x (+.f64 y (*.f64 (/.f64 (-.f64 t z) (-.f64 (neg.f64 t) a)) y)))
(+.f64 x (+.f64 y (/.f64 (-.f64 z t) (/.f64 (+.f64 t a) y))))
(neg.f64 (-.f64 (+.f64 (neg.f64 x) y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))))
(-.f64 (-.f64 x y) (/.f64 (-.f64 z t) (/.f64 (-.f64 a t) (neg.f64 y))))
(+.f64 (-.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(-.f64 x (+.f64 y (/.f64 (-.f64 t z) (/.f64 (-.f64 a t) y))))
(+.f64 (-.f64 x y) (*.f64 (-.f64 z t) (/.f64 y (-.f64 a t))))
(neg.f64 (-.f64 (+.f64 x (neg.f64 y)) (/.f64 (*.f64 (-.f64 z t) (neg.f64 y)) (-.f64 a t))))
(+.f64 (neg.f64 x) (-.f64 y (/.f64 (*.f64 y (-.f64 z t)) (-.f64 a t))))
(-.f64 (-.f64 y x) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) y))
(-.f64 y (-.f64 x (/.f64 (-.f64 t z) (/.f64 (-.f64 a t) y))))
(+.f64 y (-.f64 (*.f64 y (/.f64 (-.f64 t z) (-.f64 a t))) x))
(neg.f64 (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 (neg.f64 z) t) y) (-.f64 a t))))
(neg.f64 (-.f64 (+.f64 x y) (/.f64 (*.f64 y (-.f64 (neg.f64 z) t)) (-.f64 a t))))
(-.f64 (neg.f64 x) (-.f64 y (/.f64 (*.f64 y (-.f64 (neg.f64 z) t)) (-.f64 a t))))
(-.f64 (neg.f64 x) (+.f64 y (*.f64 (/.f64 (+.f64 z t) (-.f64 a t)) y)))
(-.f64 (*.f64 (-.f64 (neg.f64 z) t) (/.f64 y (-.f64 a t))) (+.f64 x y))
(neg.f64 (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z (neg.f64 t)) y) (-.f64 a (neg.f64 t)))))
(neg.f64 (+.f64 x (-.f64 y (/.f64 (-.f64 z (neg.f64 t)) (/.f64 (-.f64 a (neg.f64 t)) y)))))
(-.f64 (neg.f64 x) (-.f64 y (*.f64 (/.f64 (+.f64 z t) (+.f64 t a)) y)))
(-.f64 (*.f64 y (/.f64 (+.f64 z t) (+.f64 t a))) (+.f64 x y))
(neg.f64 (-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 (neg.f64 a) t))))
(neg.f64 (+.f64 x (-.f64 y (/.f64 (-.f64 z t) (/.f64 (-.f64 (neg.f64 a) t) y)))))
(-.f64 (neg.f64 x) (-.f64 y (*.f64 (/.f64 (-.f64 z t) (neg.f64 (+.f64 t a))) y)))
(-.f64 (*.f64 y (/.f64 (-.f64 z t) (-.f64 (neg.f64 t) a))) (+.f64 x y))
(-.f64 (neg.f64 x) (+.f64 y (/.f64 (-.f64 z t) (/.f64 (+.f64 t a) y))))
(-.f64 (+.f64 y x) (/.f64 (*.f64 (-.f64 z t) x) (-.f64 a t)))
(-.f64 (+.f64 x y) (/.f64 (-.f64 z t) (/.f64 (-.f64 a t) x)))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) x))
(-.f64 x (-.f64 (*.f64 x (/.f64 (-.f64 z t) (-.f64 a t))) y))
(+.f64 y (+.f64 x (*.f64 (/.f64 x (-.f64 a t)) (-.f64 t z))))
(-.f64 (+.f64 z y) (/.f64 (*.f64 (-.f64 x t) y) (-.f64 a t)))
(+.f64 z (-.f64 y (/.f64 (*.f64 y (-.f64 x t)) (-.f64 a t))))
(-.f64 (+.f64 y z) (/.f64 (*.f64 y (-.f64 x t)) (-.f64 a t)))
(-.f64 y (-.f64 (*.f64 y (/.f64 (-.f64 x t) (-.f64 a t))) z))
(+.f64 y (-.f64 z (/.f64 (-.f64 x t) (/.f64 (-.f64 a t) y))))
(-.f64 (+.f64 t y) (/.f64 (*.f64 (-.f64 z x) y) (-.f64 a x)))
(-.f64 (+.f64 y t) (/.f64 (*.f64 y (-.f64 z x)) (-.f64 a x)))
(+.f64 y (-.f64 t (*.f64 (/.f64 (-.f64 z x) (-.f64 a x)) y)))
(+.f64 y (-.f64 t (*.f64 y (/.f64 (-.f64 z x) (-.f64 a x)))))
(+.f64 y (+.f64 t (*.f64 (/.f64 y (-.f64 a x)) (-.f64 x z))))
(-.f64 (+.f64 a y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 x t)))
(+.f64 a (-.f64 y (/.f64 (-.f64 z t) (/.f64 (-.f64 x t) y))))
(+.f64 a (-.f64 y (*.f64 (/.f64 (-.f64 z t) (-.f64 x t)) y)))
(+.f64 a (+.f64 y (/.f64 (*.f64 y (-.f64 t z)) (-.f64 x t))))
(+.f64 a (+.f64 y (*.f64 y (/.f64 (-.f64 t z) (-.f64 x t)))))
(-.f64 (+.f64 x z) (/.f64 (*.f64 (-.f64 y t) z) (-.f64 a t)))
(+.f64 x (-.f64 z (/.f64 (-.f64 y t) (/.f64 (-.f64 a t) z))))
(+.f64 x (-.f64 z (/.f64 z (/.f64 (-.f64 a t) (-.f64 y t)))))
(+.f64 x (-.f64 z (*.f64 z (/.f64 (-.f64 y t) (-.f64 a t)))))
(+.f64 x (+.f64 z (*.f64 z (/.f64 (-.f64 t y) (-.f64 a t)))))
(-.f64 (+.f64 x t) (/.f64 (*.f64 (-.f64 z y) t) (-.f64 a y)))
(+.f64 x (-.f64 t (/.f64 (-.f64 z y) (/.f64 (-.f64 a y) t))))
(+.f64 t (-.f64 x (/.f64 t (/.f64 (-.f64 a y) (-.f64 z y)))))
(+.f64 x (*.f64 t (-.f64 1 (/.f64 (-.f64 z y) (-.f64 a y)))))
(-.f64 (+.f64 x a) (/.f64 (*.f64 (-.f64 z t) a) (-.f64 y t)))
(+.f64 x (-.f64 a (/.f64 (-.f64 z t) (/.f64 (-.f64 y t) a))))
(+.f64 x (+.f64 a (*.f64 (/.f64 (-.f64 t z) (-.f64 y t)) a)))
(+.f64 x (-.f64 a (*.f64 (-.f64 z t) (/.f64 a (-.f64 y t)))))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 t z) y) (-.f64 a z)))
(-.f64 (+.f64 x y) (/.f64 (-.f64 t z) (/.f64 (-.f64 a z) y)))
(-.f64 (+.f64 x y) (/.f64 y (/.f64 (-.f64 a z) (-.f64 t z))))
(+.f64 x (-.f64 y (*.f64 y (/.f64 (-.f64 t z) (-.f64 a z)))))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 a t) y) (-.f64 z t)))
(-.f64 (+.f64 x y) (/.f64 (-.f64 a t) (/.f64 (-.f64 z t) y)))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 a t) (-.f64 z t)) y))
(+.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 t a) (-.f64 z t)) y))
(+.f64 y (-.f64 x (*.f64 (-.f64 a t) (/.f64 y (-.f64 z t)))))
(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z a) y) (-.f64 t a)))
(+.f64 x (-.f64 y (/.f64 (-.f64 z a) (/.f64 (-.f64 t a) y))))
(-.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 z a) (-.f64 t a)) y))
(+.f64 (+.f64 x y) (*.f64 (/.f64 (-.f64 a z) (-.f64 t a)) y))
(+.f64 x (+.f64 y (*.f64 (/.f64 y (-.f64 t a)) (-.f64 a z))))
Compiler

Compiled 47 to 12 computations (74.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...