Falkner and Boettcher, Appendix A

Time bar (total: 1.9s)

analyze271.0ms (14.5%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
50%49.9%49.9%0.1%0%0%0%3
50%49.9%49.9%0.1%0%0%0%4
50%49.9%49.9%0.1%0%0%0%5
50%49.9%49.9%0.1%0%0%0%6
50%49.9%49.9%0.1%0%0%0%7
50%49.9%49.9%0.1%0%0%0%8
50%49.9%49.9%0.1%0%0%0%9
53.3%49.9%43.7%0.1%0%4.7%1.6%10
53.3%49.9%43.7%0.1%0%4.7%1.6%11
54.7%49.9%41.3%0.1%0%5.5%3.1%12
Compiler

Compiled 19 to 13 computations (31.6% saved)

sample1.5s (77.7%)

Results
789.0ms5850×body256valid
424.0ms2406×body256infinite
224.0ms2396×body256invalid
Bogosity

preprocess145.0ms (7.8%)

Algorithm
1×egg-herbie
Rules
566×associate-*r*
559×distribute-lft-in
545×distribute-rgt-in
501×associate-*r/
482×associate-*l/
Problems
223×No Errors
33×(/.f64 (*.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k)))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
054707
1144610
2373564
31119556
45031556
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k)))
(/.f64 (*.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k)))
(/.f64 (*.f64 (neg.f64 a) (pow.f64 k m)) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k)))
(/.f64 (*.f64 a (pow.f64 (neg.f64 k) m)) (+.f64 (+.f64 1 (*.f64 10 (neg.f64 k))) (*.f64 (neg.f64 k) (neg.f64 k))))
(/.f64 (*.f64 a (pow.f64 k (neg.f64 m))) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k)))
(neg.f64 (/.f64 (*.f64 (neg.f64 a) (pow.f64 k m)) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k))))
(neg.f64 (/.f64 (*.f64 a (pow.f64 (neg.f64 k) m)) (+.f64 (+.f64 1 (*.f64 10 (neg.f64 k))) (*.f64 (neg.f64 k) (neg.f64 k)))))
(neg.f64 (/.f64 (*.f64 a (pow.f64 k (neg.f64 m))) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k))))
(/.f64 (*.f64 k (pow.f64 a m)) (+.f64 (+.f64 1 (*.f64 10 a)) (*.f64 a a)))
(/.f64 (*.f64 m (pow.f64 k a)) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k)))
(/.f64 (*.f64 a (pow.f64 m k)) (+.f64 (+.f64 1 (*.f64 10 m)) (*.f64 m m)))
Outputs
(/.f64 (*.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k)))
(/.f64 (*.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (*.f64 k 10)) (*.f64 k k)))
(*.f64 (/.f64 a (+.f64 1 (*.f64 k (+.f64 10 k)))) (pow.f64 k m))
(*.f64 (/.f64 (pow.f64 k m) (fma.f64 k (+.f64 k 10) 1)) a)
(/.f64 (*.f64 a (pow.f64 k m)) (fma.f64 k (+.f64 k 10) 1))
(*.f64 (pow.f64 k m) (/.f64 a (fma.f64 k (+.f64 k 10) 1)))
(/.f64 (*.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k)))
(/.f64 (*.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (*.f64 k 10)) (*.f64 k k)))
(*.f64 (/.f64 a (+.f64 1 (*.f64 k (+.f64 10 k)))) (pow.f64 k m))
(*.f64 (/.f64 (pow.f64 k m) (fma.f64 k (+.f64 k 10) 1)) a)
(/.f64 (*.f64 a (pow.f64 k m)) (fma.f64 k (+.f64 k 10) 1))
(*.f64 (pow.f64 k m) (/.f64 a (fma.f64 k (+.f64 k 10) 1)))
(/.f64 (*.f64 (neg.f64 a) (pow.f64 k m)) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k)))
(/.f64 (neg.f64 a) (/.f64 (+.f64 (+.f64 1 (*.f64 k 10)) (*.f64 k k)) (pow.f64 k m)))
(*.f64 (/.f64 (neg.f64 a) (+.f64 1 (*.f64 k (+.f64 10 k)))) (pow.f64 k m))
(*.f64 (pow.f64 k m) (/.f64 (neg.f64 a) (fma.f64 k (+.f64 k 10) 1)))
(*.f64 a (/.f64 (neg.f64 (pow.f64 k m)) (fma.f64 k (+.f64 k 10) 1)))
(/.f64 (*.f64 a (pow.f64 (neg.f64 k) m)) (+.f64 (+.f64 1 (*.f64 10 (neg.f64 k))) (*.f64 (neg.f64 k) (neg.f64 k))))
(/.f64 (*.f64 a (pow.f64 (neg.f64 k) m)) (+.f64 (+.f64 1 (*.f64 10 (neg.f64 k))) (*.f64 k k)))
(/.f64 a (/.f64 (fma.f64 k k (+.f64 1 (*.f64 k -10))) (pow.f64 (neg.f64 k) m)))
(*.f64 (/.f64 (pow.f64 (neg.f64 k) m) (+.f64 1 (*.f64 k (+.f64 -10 k)))) a)
(*.f64 a (/.f64 (pow.f64 (neg.f64 k) m) (fma.f64 k (+.f64 k -10) 1)))
(/.f64 (*.f64 a (pow.f64 k (neg.f64 m))) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k)))
(/.f64 a (/.f64 (+.f64 (+.f64 1 (*.f64 k 10)) (*.f64 k k)) (pow.f64 k (neg.f64 m))))
(*.f64 (/.f64 a (+.f64 1 (*.f64 k (+.f64 10 k)))) (pow.f64 k (neg.f64 m)))
(*.f64 (pow.f64 k (neg.f64 m)) (/.f64 a (fma.f64 k (+.f64 k 10) 1)))
(/.f64 (*.f64 a (pow.f64 k (neg.f64 m))) (fma.f64 k (+.f64 k 10) 1))
(neg.f64 (/.f64 (*.f64 (neg.f64 a) (pow.f64 k m)) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k))))
(/.f64 (*.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (*.f64 k 10)) (*.f64 k k)))
(*.f64 (/.f64 a (+.f64 1 (*.f64 k (+.f64 10 k)))) (pow.f64 k m))
(*.f64 (/.f64 (pow.f64 k m) (fma.f64 k (+.f64 k 10) 1)) a)
(/.f64 (*.f64 a (pow.f64 k m)) (fma.f64 k (+.f64 k 10) 1))
(*.f64 (pow.f64 k m) (/.f64 a (fma.f64 k (+.f64 k 10) 1)))
(neg.f64 (/.f64 (*.f64 a (pow.f64 (neg.f64 k) m)) (+.f64 (+.f64 1 (*.f64 10 (neg.f64 k))) (*.f64 (neg.f64 k) (neg.f64 k)))))
(/.f64 (neg.f64 (*.f64 a (pow.f64 (neg.f64 k) m))) (+.f64 (+.f64 1 (*.f64 10 (neg.f64 k))) (*.f64 k k)))
(/.f64 (neg.f64 a) (/.f64 (fma.f64 k k (+.f64 1 (*.f64 k -10))) (pow.f64 (neg.f64 k) m)))
(/.f64 (*.f64 (neg.f64 a) (pow.f64 (neg.f64 k) m)) (+.f64 1 (*.f64 k (+.f64 -10 k))))
(*.f64 (pow.f64 (neg.f64 k) m) (/.f64 (neg.f64 a) (fma.f64 k (+.f64 k -10) 1)))
(neg.f64 (/.f64 (*.f64 a (pow.f64 k (neg.f64 m))) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k))))
(neg.f64 (/.f64 a (/.f64 (+.f64 (+.f64 1 (*.f64 k 10)) (*.f64 k k)) (pow.f64 k (neg.f64 m)))))
(/.f64 (*.f64 a (neg.f64 (pow.f64 k (neg.f64 m)))) (+.f64 1 (*.f64 k (+.f64 10 k))))
(*.f64 (/.f64 a (fma.f64 k (+.f64 k 10) 1)) (neg.f64 (pow.f64 k (neg.f64 m))))
(/.f64 a (/.f64 (fma.f64 k (+.f64 k 10) 1) (neg.f64 (pow.f64 k (neg.f64 m)))))
(*.f64 (pow.f64 k (neg.f64 m)) (neg.f64 (/.f64 a (fma.f64 k (+.f64 k 10) 1))))
(/.f64 (*.f64 k (pow.f64 a m)) (+.f64 (+.f64 1 (*.f64 10 a)) (*.f64 a a)))
(/.f64 k (/.f64 (+.f64 (+.f64 1 (*.f64 a 10)) (*.f64 a a)) (pow.f64 a m)))
(/.f64 k (/.f64 (+.f64 1 (*.f64 a (+.f64 10 a))) (pow.f64 a m)))
(/.f64 (*.f64 k (pow.f64 a m)) (fma.f64 a (+.f64 a 10) 1))
(*.f64 (pow.f64 a m) (/.f64 k (fma.f64 a (+.f64 a 10) 1)))
(/.f64 (*.f64 m (pow.f64 k a)) (+.f64 (+.f64 1 (*.f64 10 k)) (*.f64 k k)))
(/.f64 m (/.f64 (+.f64 (+.f64 1 (*.f64 k 10)) (*.f64 k k)) (pow.f64 k a)))
(/.f64 m (/.f64 (+.f64 1 (*.f64 k (+.f64 10 k))) (pow.f64 k a)))
(*.f64 (/.f64 (pow.f64 k a) (fma.f64 k (+.f64 k 10) 1)) m)
(*.f64 m (/.f64 (pow.f64 k a) (fma.f64 k (+.f64 k 10) 1)))
(/.f64 (*.f64 a (pow.f64 m k)) (+.f64 (+.f64 1 (*.f64 10 m)) (*.f64 m m)))
(/.f64 a (/.f64 (+.f64 (+.f64 1 (*.f64 m 10)) (*.f64 m m)) (pow.f64 m k)))
(/.f64 (pow.f64 m k) (/.f64 (+.f64 1 (*.f64 m (+.f64 10 m))) a))
(*.f64 (/.f64 (pow.f64 m k) (fma.f64 m (+.f64 m 10) 1)) a)
(*.f64 a (/.f64 (pow.f64 m k) (fma.f64 m (+.f64 m 10) 1)))
Symmetry

(negabs a)

Compiler

Compiled 52 to 26 computations (50% saved)

end0.0ms (0%)

Profiling

Loading profile data...