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

Time bar (total: 1.3s)

analyze64.0ms (5.1%)

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
50%49.9%49.9%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
75%74.9%25%0.2%0%0%0%9
75%74.9%25%0.2%0%0%0%10
75%74.9%25%0.2%0%0%0%11
75%74.9%25%0.2%0%0%0%12
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.1s (85.4%)

Results
994.0ms7583×body256valid
68.0ms673×body256infinite
Bogosity

preprocess120.0ms (9.5%)

Algorithm
1×egg-herbie
Rules
542×*-commutative
442×associate--r+
391×associate--r-
382×associate-+r-
375×associate-/l*
Problems
213×No Errors
43×(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
054688
1125672
2361656
31282644
45358644
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
(/.f64 (*.f64 (neg.f64 x) (-.f64 y z)) (-.f64 t z))
(/.f64 (*.f64 x (-.f64 (neg.f64 y) z)) (-.f64 t z))
(/.f64 (*.f64 x (-.f64 y (neg.f64 z))) (-.f64 t (neg.f64 z)))
(/.f64 (*.f64 x (-.f64 y z)) (-.f64 (neg.f64 t) z))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) (-.f64 y z)) (-.f64 t z)))
(neg.f64 (/.f64 (*.f64 x (-.f64 (neg.f64 y) z)) (-.f64 t z)))
(neg.f64 (/.f64 (*.f64 x (-.f64 y (neg.f64 z))) (-.f64 t (neg.f64 z))))
(neg.f64 (/.f64 (*.f64 x (-.f64 y z)) (-.f64 (neg.f64 t) z)))
(/.f64 (*.f64 y (-.f64 x z)) (-.f64 t z))
(/.f64 (*.f64 z (-.f64 y x)) (-.f64 t x))
(/.f64 (*.f64 t (-.f64 y z)) (-.f64 x z))
(/.f64 (*.f64 x (-.f64 z y)) (-.f64 t y))
(/.f64 (*.f64 x (-.f64 t z)) (-.f64 y z))
(/.f64 (*.f64 x (-.f64 y t)) (-.f64 z t))
Outputs
(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
(*.f64 (/.f64 x (-.f64 t z)) (-.f64 y z))
(*.f64 (-.f64 z y) (/.f64 x (-.f64 z t)))
(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
(*.f64 (/.f64 x (-.f64 t z)) (-.f64 y z))
(*.f64 (-.f64 z y) (/.f64 x (-.f64 z t)))
(/.f64 (*.f64 (neg.f64 x) (-.f64 y z)) (-.f64 t z))
(/.f64 (neg.f64 x) (/.f64 (-.f64 t z) (-.f64 y z)))
(/.f64 x (/.f64 (-.f64 t z) (-.f64 z y)))
(*.f64 (-.f64 y z) (/.f64 x (-.f64 z t)))
(*.f64 x (/.f64 (-.f64 z y) (-.f64 t z)))
(/.f64 (*.f64 x (-.f64 (neg.f64 y) z)) (-.f64 t z))
(/.f64 x (/.f64 (-.f64 t z) (-.f64 (neg.f64 y) z)))
(*.f64 (/.f64 x (-.f64 t z)) (-.f64 (neg.f64 y) z))
(*.f64 (/.f64 (-.f64 (neg.f64 y) z) (-.f64 t z)) x)
(*.f64 (+.f64 y z) (/.f64 x (-.f64 z t)))
(/.f64 (*.f64 x (-.f64 y (neg.f64 z))) (-.f64 t (neg.f64 z)))
(*.f64 (/.f64 x (+.f64 z t)) (+.f64 y z))
(*.f64 (+.f64 y z) (/.f64 x (+.f64 z t)))
(/.f64 (*.f64 x (-.f64 y z)) (-.f64 (neg.f64 t) z))
(*.f64 (/.f64 x (-.f64 (neg.f64 t) z)) (-.f64 y z))
(*.f64 (-.f64 y z) (/.f64 x (-.f64 (neg.f64 z) t)))
(*.f64 (/.f64 x (+.f64 z t)) (-.f64 z y))
(*.f64 (-.f64 z y) (/.f64 x (+.f64 z t)))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) (-.f64 y z)) (-.f64 t z)))
(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
(*.f64 (/.f64 x (-.f64 t z)) (-.f64 y z))
(*.f64 (-.f64 z y) (/.f64 x (-.f64 z t)))
(neg.f64 (/.f64 (*.f64 x (-.f64 (neg.f64 y) z)) (-.f64 t z)))
(/.f64 (neg.f64 (*.f64 x (-.f64 (neg.f64 y) z))) (-.f64 t z))
(/.f64 (neg.f64 x) (/.f64 (-.f64 t z) (-.f64 (neg.f64 y) z)))
(/.f64 x (/.f64 (-.f64 t z) (+.f64 y z)))
(*.f64 (+.f64 y z) (/.f64 x (-.f64 t z)))
(*.f64 x (/.f64 (+.f64 y z) (-.f64 t z)))
(neg.f64 (/.f64 (*.f64 x (-.f64 y (neg.f64 z))) (-.f64 t (neg.f64 z))))
(/.f64 (neg.f64 (*.f64 x (-.f64 y (neg.f64 z)))) (-.f64 t (neg.f64 z)))
(/.f64 (neg.f64 x) (/.f64 (+.f64 z t) (+.f64 y z)))
(*.f64 (/.f64 x (+.f64 z t)) (-.f64 (neg.f64 y) z))
(*.f64 (-.f64 (neg.f64 y) z) (/.f64 x (+.f64 z t)))
(neg.f64 (/.f64 (*.f64 x (-.f64 y z)) (-.f64 (neg.f64 t) z)))
(/.f64 (*.f64 (-.f64 y z) (neg.f64 x)) (-.f64 (neg.f64 t) z))
(/.f64 (-.f64 y z) (/.f64 (-.f64 (neg.f64 t) z) (neg.f64 x)))
(*.f64 (/.f64 x (-.f64 (neg.f64 z) t)) (-.f64 z y))
(*.f64 (-.f64 y z) (/.f64 x (+.f64 z t)))
(/.f64 (*.f64 y (-.f64 x z)) (-.f64 t z))
(/.f64 y (/.f64 (-.f64 t z) (-.f64 x z)))
(*.f64 (/.f64 y (-.f64 t z)) (-.f64 x z))
(*.f64 (-.f64 x z) (/.f64 y (-.f64 t z)))
(*.f64 y (/.f64 (-.f64 x z) (-.f64 t z)))
(/.f64 (*.f64 z (-.f64 y x)) (-.f64 t x))
(/.f64 z (/.f64 (-.f64 t x) (-.f64 y x)))
(*.f64 (-.f64 y x) (/.f64 z (-.f64 t x)))
(*.f64 z (/.f64 (-.f64 y x) (-.f64 t x)))
(/.f64 (*.f64 t (-.f64 y z)) (-.f64 x z))
(/.f64 (*.f64 (-.f64 y z) t) (-.f64 x z))
(*.f64 (/.f64 t (-.f64 x z)) (-.f64 y z))
(*.f64 (-.f64 y z) (/.f64 t (-.f64 x z)))
(/.f64 (*.f64 x (-.f64 z y)) (-.f64 t y))
(/.f64 x (/.f64 (-.f64 t y) (-.f64 z y)))
(*.f64 (/.f64 x (-.f64 t y)) (-.f64 z y))
(*.f64 (-.f64 z y) (/.f64 x (-.f64 t y)))
(*.f64 x (/.f64 (-.f64 z y) (-.f64 t y)))
(/.f64 (*.f64 x (-.f64 t z)) (-.f64 y z))
(/.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
(*.f64 (-.f64 t z) (/.f64 x (-.f64 y z)))
(*.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))
(/.f64 (*.f64 x (-.f64 y t)) (-.f64 z t))
(*.f64 (/.f64 x (-.f64 z t)) (-.f64 y t))
(*.f64 x (/.f64 (-.f64 y t) (-.f64 z t)))
Symmetry

(negabs x)

Compiler

Compiled 29 to 9 computations (69% saved)

end0.0ms (0%)

Profiling

Loading profile data...