Numeric.AD.Rank1.Halley:findZero from ad-4.2.4

Time bar (total: 1.6s)

analyze359.0ms (22.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
25%25%74.9%0.2%0%0%0%5
25%25%74.9%0.2%0%0%0%6
31.3%31.2%68.6%0.2%0%0%0%7
40.6%40.5%59.3%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
54.7%54.6%45.2%0.2%0%0%0%11
62.5%62.4%37.4%0.2%0%0%0%12
Compiler

Compiled 22 to 15 computations (31.8% saved)

sample1.1s (66.2%)

Results
1.1s8256×body256valid
Bogosity

preprocess191.0ms (11.8%)

Algorithm
1×egg-herbie
Rules
622×associate-+r-
471×div-sub
433×associate-/r/
404×fma-def
384×associate-+l+
Problems
177×No Errors
76×(/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t)))
3×(-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0791168
12161124
25951100
32176956
47136956
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 x (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t))))
(-.f64 x (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t))))
(-.f64 (neg.f64 x) (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t))))
(-.f64 x (/.f64 (*.f64 (*.f64 (neg.f64 y) 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 (neg.f64 y) t))))
(-.f64 x (/.f64 (*.f64 (*.f64 y 2) (neg.f64 z)) (-.f64 (*.f64 (*.f64 (neg.f64 z) 2) (neg.f64 z)) (*.f64 y t))))
(-.f64 x (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y (neg.f64 t)))))
(neg.f64 (-.f64 (neg.f64 x) (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t)))))
(neg.f64 (-.f64 x (/.f64 (*.f64 (*.f64 (neg.f64 y) 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 (neg.f64 y) t)))))
(neg.f64 (-.f64 x (/.f64 (*.f64 (*.f64 y 2) (neg.f64 z)) (-.f64 (*.f64 (*.f64 (neg.f64 z) 2) (neg.f64 z)) (*.f64 y t)))))
(neg.f64 (-.f64 x (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y (neg.f64 t))))))
(-.f64 y (/.f64 (*.f64 (*.f64 x 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 x t))))
(-.f64 z (/.f64 (*.f64 (*.f64 y 2) x) (-.f64 (*.f64 (*.f64 x 2) x) (*.f64 y t))))
(-.f64 t (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y x))))
(-.f64 x (/.f64 (*.f64 (*.f64 z 2) y) (-.f64 (*.f64 (*.f64 y 2) y) (*.f64 z t))))
(-.f64 x (/.f64 (*.f64 (*.f64 t 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 t y))))
(-.f64 x (/.f64 (*.f64 (*.f64 y 2) t) (-.f64 (*.f64 (*.f64 t 2) t) (*.f64 y z))))
Outputs
(-.f64 x (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t))))
(-.f64 x (/.f64 (*.f64 y 2) (/.f64 (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 y t)) z)))
(+.f64 x (/.f64 (*.f64 y (*.f64 z -2)) (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 y t))))
(+.f64 x (/.f64 (*.f64 y (*.f64 z -2)) (fma.f64 z (*.f64 2 z) (neg.f64 (*.f64 y t)))))
(fma.f64 (/.f64 y (+.f64 (*.f64 z -2) (*.f64 (/.f64 t z) y))) 2 x)
(-.f64 x (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t))))
(-.f64 x (/.f64 (*.f64 y 2) (/.f64 (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 y t)) z)))
(+.f64 x (/.f64 (*.f64 y (*.f64 z -2)) (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 y t))))
(+.f64 x (/.f64 (*.f64 y (*.f64 z -2)) (fma.f64 z (*.f64 2 z) (neg.f64 (*.f64 y t)))))
(fma.f64 (/.f64 y (+.f64 (*.f64 z -2) (*.f64 (/.f64 t z) y))) 2 x)
(-.f64 (neg.f64 x) (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t))))
(-.f64 (neg.f64 x) (/.f64 (*.f64 y 2) (/.f64 (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 y t)) z)))
(fma.f64 -1 x (/.f64 (*.f64 y (*.f64 z -2)) (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 y t))))
(-.f64 (/.f64 (*.f64 y (*.f64 z -2)) (fma.f64 z (*.f64 2 z) (neg.f64 (*.f64 y t)))) x)
(-.f64 (/.f64 (*.f64 y -2) (-.f64 (*.f64 2 z) (*.f64 (/.f64 t z) y))) x)
(-.f64 x (/.f64 (*.f64 (*.f64 (neg.f64 y) 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 (neg.f64 y) t))))
(-.f64 x (/.f64 (*.f64 z (neg.f64 (*.f64 y 2))) (+.f64 (*.f64 z (*.f64 2 z)) (*.f64 y t))))
(-.f64 x (*.f64 (/.f64 (*.f64 y -2) (fma.f64 z (*.f64 2 z) (*.f64 y t))) z))
(-.f64 x (/.f64 (*.f64 y (*.f64 z -2)) (fma.f64 z (*.f64 2 z) (*.f64 y t))))
(fma.f64 (/.f64 y (+.f64 (*.f64 2 z) (*.f64 (/.f64 t z) y))) 2 x)
(-.f64 x (/.f64 (*.f64 (*.f64 y 2) (neg.f64 z)) (-.f64 (*.f64 (*.f64 (neg.f64 z) 2) (neg.f64 z)) (*.f64 y t))))
(-.f64 x (/.f64 (*.f64 y 2) (/.f64 (-.f64 (*.f64 (neg.f64 z) (*.f64 2 (neg.f64 z))) (*.f64 y t)) (neg.f64 z))))
(-.f64 x (/.f64 (*.f64 y (*.f64 z -2)) (-.f64 (*.f64 (neg.f64 z) (*.f64 z -2)) (*.f64 y t))))
(+.f64 x (/.f64 y (/.f64 (fma.f64 z (*.f64 2 z) (neg.f64 (*.f64 y t))) (*.f64 2 z))))
(fma.f64 (/.f64 2 (-.f64 (*.f64 2 z) (*.f64 (/.f64 t z) y))) y x)
(-.f64 x (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y (neg.f64 t)))))
(-.f64 x (/.f64 (*.f64 y (*.f64 2 z)) (+.f64 (*.f64 z (*.f64 2 z)) (*.f64 y t))))
(+.f64 x (*.f64 (/.f64 (*.f64 y -2) (fma.f64 z (*.f64 2 z) (*.f64 y t))) z))
(fma.f64 (/.f64 (*.f64 y -2) (fma.f64 z (*.f64 2 z) (*.f64 y t))) z x)
(+.f64 x (*.f64 (/.f64 2 (-.f64 (*.f64 z -2) (*.f64 (/.f64 t z) y))) y))
(neg.f64 (-.f64 (neg.f64 x) (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y t)))))
(-.f64 x (/.f64 (*.f64 y 2) (/.f64 (-.f64 (*.f64 (neg.f64 z) (*.f64 2 (neg.f64 z))) (*.f64 y t)) (neg.f64 z))))
(-.f64 x (/.f64 (*.f64 y (*.f64 z -2)) (-.f64 (*.f64 (neg.f64 z) (*.f64 z -2)) (*.f64 y t))))
(+.f64 x (/.f64 y (/.f64 (fma.f64 z (*.f64 2 z) (neg.f64 (*.f64 y t))) (*.f64 2 z))))
(fma.f64 (/.f64 2 (-.f64 (*.f64 2 z) (*.f64 (/.f64 t z) y))) y x)
(neg.f64 (-.f64 x (/.f64 (*.f64 (*.f64 (neg.f64 y) 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 (neg.f64 y) t)))))
(neg.f64 (-.f64 x (/.f64 (*.f64 z (neg.f64 (*.f64 y 2))) (+.f64 (*.f64 z (*.f64 2 z)) (*.f64 y t)))))
(+.f64 (neg.f64 x) (*.f64 (/.f64 (*.f64 y -2) (fma.f64 z (*.f64 2 z) (*.f64 y t))) z))
(-.f64 (/.f64 (*.f64 y (*.f64 z -2)) (fma.f64 z (*.f64 2 z) (*.f64 y t))) x)
(-.f64 (*.f64 (/.f64 2 (-.f64 (*.f64 z -2) (*.f64 (/.f64 t z) y))) y) x)
(neg.f64 (-.f64 x (/.f64 (*.f64 (*.f64 y 2) (neg.f64 z)) (-.f64 (*.f64 (*.f64 (neg.f64 z) 2) (neg.f64 z)) (*.f64 y t)))))
(-.f64 (neg.f64 x) (/.f64 (*.f64 y 2) (/.f64 (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 y t)) z)))
(fma.f64 -1 x (/.f64 (*.f64 y (*.f64 z -2)) (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 y t))))
(-.f64 (/.f64 (*.f64 y (*.f64 z -2)) (fma.f64 z (*.f64 2 z) (neg.f64 (*.f64 y t)))) x)
(-.f64 (/.f64 (*.f64 y -2) (-.f64 (*.f64 2 z) (*.f64 (/.f64 t z) y))) x)
(neg.f64 (-.f64 x (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y (neg.f64 t))))))
(neg.f64 (-.f64 x (/.f64 (*.f64 y (*.f64 2 z)) (+.f64 (*.f64 z (*.f64 2 z)) (*.f64 y t)))))
(-.f64 (neg.f64 x) (*.f64 (/.f64 (*.f64 y -2) (fma.f64 z (*.f64 2 z) (*.f64 y t))) z))
(-.f64 (*.f64 z (/.f64 2 (/.f64 (fma.f64 z (*.f64 2 z) (*.f64 y t)) y))) x)
(-.f64 (*.f64 y (/.f64 2 (+.f64 (*.f64 2 z) (*.f64 (/.f64 t z) y)))) x)
(-.f64 y (/.f64 (*.f64 (*.f64 x 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 x t))))
(-.f64 y (/.f64 (*.f64 x 2) (/.f64 (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 x t)) z)))
(-.f64 y (*.f64 (/.f64 (*.f64 x 2) (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 x t))) z))
(+.f64 y (/.f64 -2 (/.f64 (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 x t)) (*.f64 x z))))
(+.f64 y (/.f64 (*.f64 x -2) (-.f64 (*.f64 2 z) (*.f64 (/.f64 t z) x))))
(-.f64 z (/.f64 (*.f64 (*.f64 y 2) x) (-.f64 (*.f64 (*.f64 x 2) x) (*.f64 y t))))
(-.f64 z (/.f64 (*.f64 x (*.f64 y 2)) (-.f64 (*.f64 x (*.f64 x 2)) (*.f64 y t))))
(+.f64 z (/.f64 (*.f64 y -2) (/.f64 (-.f64 (*.f64 x (*.f64 x 2)) (*.f64 y t)) x)))
(+.f64 z (*.f64 (/.f64 (*.f64 y -2) (fma.f64 x (*.f64 x 2) (neg.f64 (*.f64 y t)))) x))
(+.f64 z (*.f64 (/.f64 y (-.f64 (*.f64 x 2) (*.f64 (/.f64 y x) t))) -2))
(-.f64 t (/.f64 (*.f64 (*.f64 y 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 y x))))
(-.f64 t (/.f64 (*.f64 y 2) (/.f64 (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 x y)) z)))
(+.f64 t (/.f64 (*.f64 y -2) (/.f64 (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 x y)) z)))
(+.f64 t (*.f64 (/.f64 (*.f64 y -2) (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 x y))) z))
(+.f64 t (*.f64 (/.f64 y (-.f64 (*.f64 2 z) (*.f64 (/.f64 y z) x))) -2))
(-.f64 x (/.f64 (*.f64 (*.f64 z 2) y) (-.f64 (*.f64 (*.f64 y 2) y) (*.f64 z t))))
(-.f64 x (/.f64 (*.f64 y (*.f64 2 z)) (-.f64 (*.f64 y (*.f64 y 2)) (*.f64 z t))))
(-.f64 x (*.f64 (/.f64 (*.f64 2 z) (-.f64 (*.f64 y (*.f64 y 2)) (*.f64 z t))) y))
(+.f64 x (/.f64 y (/.f64 (-.f64 (*.f64 2 (*.f64 y y)) (*.f64 z t)) (*.f64 z -2))))
(+.f64 x (*.f64 (/.f64 z (-.f64 (*.f64 y 2) (/.f64 z (/.f64 y t)))) -2))
(-.f64 x (/.f64 (*.f64 (*.f64 t 2) z) (-.f64 (*.f64 (*.f64 z 2) z) (*.f64 t y))))
(-.f64 x (/.f64 (*.f64 z (*.f64 2 t)) (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 y t))))
(-.f64 x (*.f64 (/.f64 (*.f64 2 t) (-.f64 (*.f64 z (*.f64 2 z)) (*.f64 y t))) z))
(+.f64 x (/.f64 -2 (/.f64 (fma.f64 z (*.f64 2 z) (neg.f64 (*.f64 y t))) (*.f64 z t))))
(+.f64 x (*.f64 (/.f64 -2 (-.f64 (*.f64 2 z) (*.f64 (/.f64 t z) y))) t))
(-.f64 x (/.f64 (*.f64 (*.f64 y 2) t) (-.f64 (*.f64 (*.f64 t 2) t) (*.f64 y z))))
(-.f64 x (/.f64 (*.f64 y (*.f64 2 t)) (-.f64 (*.f64 t (*.f64 2 t)) (*.f64 y z))))
(-.f64 x (/.f64 t (/.f64 (-.f64 (*.f64 2 (*.f64 t t)) (*.f64 y z)) (*.f64 y 2))))
(+.f64 x (/.f64 (*.f64 y (*.f64 t -2)) (fma.f64 z (neg.f64 y) (*.f64 2 (*.f64 t t)))))
(+.f64 x (*.f64 (/.f64 y (-.f64 (*.f64 2 t) (*.f64 (/.f64 z t) y))) -2))
Compiler

Compiled 70 to 38 computations (45.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...