Numeric.Interval.Internal:bisect from intervals-0.7.1, A

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 10 to 7 computations (30% saved)

sample767.0ms (76.4%)

Results
756.0ms8256×body256valid
Bogosity

preprocess237.0ms (23.6%)

Algorithm
1×egg-herbie
Rules
790×fma-def
602×associate-+r+
491×*-commutative
453×fma-neg
445×associate-+r-
Problems
256×No Errors
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
025220
156196
2161196
3441133
41223133
52034133
63468133
73864133
83968133
93996133
104000133
116958133
127185133
137600133
147973133
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f64 x (/.f64 (-.f64 y x) 2))
(+.f64 x (/.f64 (-.f64 y x) 2))
(+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) 2))
(+.f64 x (/.f64 (-.f64 (neg.f64 y) x) 2))
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) 2)))
(neg.f64 (+.f64 x (/.f64 (-.f64 (neg.f64 y) x) 2)))
(+.f64 y (/.f64 (-.f64 x y) 2))
Outputs
(+.f64 x (/.f64 (-.f64 y x) 2))
(/.f64 (+.f64 x y) 2)
(*.f64 1/2 (+.f64 x y))
(*.f64 (+.f64 x y) 1/2)
(+.f64 x (/.f64 (-.f64 y x) 2))
(/.f64 (+.f64 x y) 2)
(*.f64 1/2 (+.f64 x y))
(*.f64 (+.f64 x y) 1/2)
(+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) 2))
(-.f64 (/.f64 (+.f64 x y) 2) x)
(/.f64 (-.f64 y x) 2)
(*.f64 -1/2 (-.f64 x y))
(*.f64 (-.f64 x y) -1/2)
(*.f64 (-.f64 y x) 1/2)
(+.f64 x (/.f64 (-.f64 (neg.f64 y) x) 2))
(-.f64 x (/.f64 (+.f64 x y) 2))
(/.f64 (-.f64 x y) 2)
(*.f64 1/2 (-.f64 x y))
(*.f64 (-.f64 x y) 1/2)
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) 2)))
(+.f64 x (/.f64 (-.f64 (neg.f64 y) x) 2))
(-.f64 x (/.f64 (+.f64 x y) 2))
(/.f64 (-.f64 x y) 2)
(*.f64 1/2 (-.f64 x y))
(*.f64 (-.f64 x y) 1/2)
(neg.f64 (+.f64 x (/.f64 (-.f64 (neg.f64 y) x) 2)))
(+.f64 (neg.f64 x) (/.f64 (-.f64 y (neg.f64 x)) 2))
(-.f64 (/.f64 (+.f64 x y) 2) x)
(/.f64 (-.f64 y x) 2)
(*.f64 -1/2 (-.f64 x y))
(*.f64 (-.f64 x y) -1/2)
(*.f64 (-.f64 y x) 1/2)
(+.f64 y (/.f64 (-.f64 x y) 2))
(+.f64 x (/.f64 (-.f64 y x) 2))
(/.f64 (+.f64 x y) 2)
(*.f64 1/2 (+.f64 x y))
(*.f64 (+.f64 x y) 1/2)
Symmetry

(sort x y)

Compiler

Compiled 21 to 10 computations (52.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...