Octave 3.8, jcobi/2

Time bar (total: 1.8s)

analyze44.0ms (2.5%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%28.1%71.9%0%0%0%0
0%0%28.1%71.9%0%0%0%1
0%0%28.1%71.9%0%0%0%2
25%7%21.1%71.9%0%0%0%3
62.5%17.5%10.5%71.9%0%0%0%4
75%21.1%7%71.9%0%0%0%5
81.3%22.8%5.3%71.9%0%0%0%6
82.8%23.2%4.8%71.9%0%0%0%7
84.4%23.7%4.4%71.9%0%0%0%8
87.5%24.6%3.5%71.9%0%0%0%9
89.5%25.1%3%71.9%0%0%0%10
91.8%25.8%2.3%71.9%0%0%0%11
93.7%26.3%1.8%71.9%0%0%0%12
Compiler

Compiled 43 to 28 computations (34.9% saved)

sample1.6s (87.3%)

Results
1.1s6971×body256valid
243.0ms724×body1024valid
165.0ms511×body512valid
22.0ms50×body2048valid
Bogosity

preprocess186.0ms (10.3%)

Algorithm
1×egg-herbie
Rules
743×associate-*r*
606×associate-*l*
471×distribute-lft-in
442×distribute-rgt-in
301×associate-/l*
Problems
148×No Errors
74×(/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))
34×(+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0821309
12111213
27501153
336241141
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1) 2)
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1) 2)
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 (neg.f64 alpha) beta) (-.f64 beta (neg.f64 alpha))) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)) 2)) 1) 2)
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha (neg.f64 beta)) (-.f64 (neg.f64 beta) alpha)) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)) 2)) 1) 2)
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) 2)) 1) 2)
(neg.f64 (/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 (neg.f64 alpha) beta) (-.f64 beta (neg.f64 alpha))) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)) 2)) 1) 2))
(neg.f64 (/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha (neg.f64 beta)) (-.f64 (neg.f64 beta) alpha)) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)) 2)) 1) 2))
(neg.f64 (/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) 2)) 1) 2))
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 beta alpha) (-.f64 alpha beta)) (+.f64 (+.f64 beta alpha) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 beta alpha) (*.f64 2 i)) 2)) 1) 2)
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 i beta) (-.f64 beta i)) (+.f64 (+.f64 i beta) (*.f64 2 alpha))) (+.f64 (+.f64 (+.f64 i beta) (*.f64 2 alpha)) 2)) 1) 2)
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha i) (-.f64 i alpha)) (+.f64 (+.f64 alpha i) (*.f64 2 beta))) (+.f64 (+.f64 (+.f64 alpha i) (*.f64 2 beta)) 2)) 1) 2)
Outputs
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1) 2)
(/.f64 (+.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (*.f64 (+.f64 (+.f64 alpha beta) (+.f64 (*.f64 2 i) 2)) (+.f64 alpha (+.f64 beta (*.f64 2 i))))) 1) 2)
(/.f64 (+.f64 (*.f64 (/.f64 (+.f64 alpha beta) (+.f64 alpha (+.f64 beta (fma.f64 2 i 2)))) (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta)))) 1) 2)
(/.f64 (fma.f64 (/.f64 (+.f64 alpha beta) (+.f64 alpha (+.f64 beta (fma.f64 2 i 2)))) (/.f64 (-.f64 beta alpha) (+.f64 alpha (fma.f64 2 i beta))) 1) 2)
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1) 2)
(/.f64 (+.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (*.f64 (+.f64 (+.f64 alpha beta) (+.f64 (*.f64 2 i) 2)) (+.f64 alpha (+.f64 beta (*.f64 2 i))))) 1) 2)
(/.f64 (+.f64 (*.f64 (/.f64 (+.f64 alpha beta) (+.f64 alpha (+.f64 beta (fma.f64 2 i 2)))) (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta)))) 1) 2)
(/.f64 (fma.f64 (/.f64 (+.f64 alpha beta) (+.f64 alpha (+.f64 beta (fma.f64 2 i 2)))) (/.f64 (-.f64 beta alpha) (+.f64 alpha (fma.f64 2 i beta))) 1) 2)
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 (neg.f64 alpha) beta) (-.f64 beta (neg.f64 alpha))) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)) 2)) 1) 2)
(/.f64 (+.f64 1 (/.f64 (/.f64 (*.f64 (-.f64 beta alpha) (-.f64 beta (neg.f64 alpha))) (+.f64 (*.f64 2 i) (-.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (-.f64 beta alpha))))) 2)
(/.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 beta alpha) (+.f64 (-.f64 beta alpha) (fma.f64 2 i 2))) (/.f64 (+.f64 alpha beta) (fma.f64 2 i (-.f64 beta alpha))))) 2)
(/.f64 (fma.f64 (/.f64 (-.f64 beta alpha) (+.f64 (-.f64 beta alpha) (fma.f64 2 i 2))) (/.f64 (+.f64 alpha beta) (-.f64 beta (fma.f64 i -2 alpha))) 1) 2)
(/.f64 (fma.f64 (/.f64 (-.f64 beta alpha) (+.f64 beta (-.f64 (fma.f64 2 i 2) alpha))) (/.f64 (+.f64 alpha beta) (-.f64 (fma.f64 2 i beta) alpha)) 1) 2)
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha (neg.f64 beta)) (-.f64 (neg.f64 beta) alpha)) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)) 2)) 1) 2)
(/.f64 (+.f64 1 (/.f64 (/.f64 (-.f64 alpha beta) (/.f64 (+.f64 (*.f64 2 i) (-.f64 alpha beta)) (-.f64 (neg.f64 beta) alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (-.f64 alpha beta))))) 2)
(/.f64 (+.f64 1 (*.f64 (/.f64 (-.f64 alpha beta) (+.f64 (-.f64 alpha beta) (fma.f64 2 i 2))) (/.f64 (-.f64 (neg.f64 beta) alpha) (fma.f64 2 i (-.f64 alpha beta))))) 2)
(/.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 2 (-.f64 alpha (fma.f64 i -2 beta)))) (/.f64 (-.f64 (neg.f64 beta) alpha) (-.f64 alpha (fma.f64 i -2 beta))) 1) 2)
(/.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 alpha (-.f64 2 (fma.f64 i -2 beta)))) (/.f64 (-.f64 (neg.f64 beta) alpha) (-.f64 alpha (fma.f64 i -2 beta))) 1) 2)
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) 2)) 1) 2)
(/.f64 (+.f64 1 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (*.f64 (+.f64 2 (+.f64 alpha (+.f64 beta (*.f64 2 (neg.f64 i))))) (+.f64 alpha (+.f64 beta (*.f64 2 (neg.f64 i))))))) 2)
(/.f64 (+.f64 1 (*.f64 (/.f64 (+.f64 alpha beta) (+.f64 2 (+.f64 (+.f64 (*.f64 i -2) alpha) beta))) (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 (*.f64 i -2) alpha) beta)))) 2)
(/.f64 (fma.f64 (/.f64 (+.f64 alpha beta) (+.f64 (fma.f64 i -2 beta) (+.f64 alpha 2))) (/.f64 (-.f64 beta alpha) (+.f64 alpha (fma.f64 i -2 beta))) 1) 2)
(/.f64 (fma.f64 (/.f64 (+.f64 alpha beta) (+.f64 alpha (+.f64 beta (fma.f64 i -2 2)))) (/.f64 (-.f64 beta alpha) (+.f64 alpha (fma.f64 i -2 beta))) 1) 2)
(neg.f64 (/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 (neg.f64 alpha) beta) (-.f64 beta (neg.f64 alpha))) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)) 2)) 1) 2))
(/.f64 (neg.f64 (+.f64 1 (/.f64 (/.f64 (*.f64 (-.f64 beta alpha) (-.f64 beta (neg.f64 alpha))) (+.f64 (*.f64 2 i) (-.f64 beta alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (-.f64 beta alpha)))))) 2)
(/.f64 (+.f64 -1 (neg.f64 (*.f64 (/.f64 (-.f64 beta alpha) (+.f64 (-.f64 beta alpha) (fma.f64 2 i 2))) (/.f64 (+.f64 alpha beta) (fma.f64 2 i (-.f64 beta alpha)))))) 2)
(/.f64 (+.f64 -1 (/.f64 (-.f64 alpha beta) (*.f64 (+.f64 (-.f64 beta alpha) (fma.f64 2 i 2)) (/.f64 (-.f64 beta (fma.f64 i -2 alpha)) (+.f64 alpha beta))))) 2)
(*.f64 -1/2 (fma.f64 (/.f64 (-.f64 beta alpha) (+.f64 beta (-.f64 (fma.f64 2 i 2) alpha))) (/.f64 (+.f64 alpha beta) (-.f64 (fma.f64 2 i beta) alpha)) 1))
(neg.f64 (/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha (neg.f64 beta)) (-.f64 (neg.f64 beta) alpha)) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)) 2)) 1) 2))
(/.f64 (neg.f64 (+.f64 1 (/.f64 (/.f64 (-.f64 alpha beta) (/.f64 (+.f64 (*.f64 2 i) (-.f64 alpha beta)) (-.f64 (neg.f64 beta) alpha))) (+.f64 2 (+.f64 (*.f64 2 i) (-.f64 alpha beta)))))) 2)
(/.f64 (+.f64 -1 (neg.f64 (*.f64 (/.f64 (-.f64 alpha beta) (+.f64 (-.f64 alpha beta) (fma.f64 2 i 2))) (/.f64 (-.f64 (neg.f64 beta) alpha) (fma.f64 2 i (-.f64 alpha beta)))))) 2)
(/.f64 (+.f64 -1 (/.f64 (-.f64 beta alpha) (*.f64 (+.f64 2 (-.f64 alpha (fma.f64 i -2 beta))) (/.f64 (-.f64 alpha (fma.f64 i -2 beta)) (-.f64 (neg.f64 beta) alpha))))) 2)
(*.f64 -1/2 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 alpha (-.f64 2 (fma.f64 i -2 beta)))) (/.f64 (-.f64 (neg.f64 beta) alpha) (-.f64 alpha (fma.f64 i -2 beta))) 1))
(neg.f64 (/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i)))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) 2)) 1) 2))
(/.f64 (neg.f64 (+.f64 1 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (*.f64 (+.f64 2 (+.f64 alpha (+.f64 beta (*.f64 2 (neg.f64 i))))) (+.f64 alpha (+.f64 beta (*.f64 2 (neg.f64 i)))))))) 2)
(/.f64 (+.f64 -1 (neg.f64 (*.f64 (/.f64 (+.f64 alpha beta) (+.f64 2 (+.f64 (+.f64 (*.f64 i -2) alpha) beta))) (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 (*.f64 i -2) alpha) beta))))) 2)
(/.f64 (+.f64 -1 (/.f64 (-.f64 alpha beta) (/.f64 (*.f64 (+.f64 alpha (fma.f64 i -2 beta)) (+.f64 (fma.f64 i -2 beta) (+.f64 alpha 2))) (+.f64 alpha beta)))) 2)
(*.f64 -1/2 (fma.f64 (/.f64 (+.f64 alpha beta) (+.f64 alpha (+.f64 beta (fma.f64 i -2 2)))) (/.f64 (-.f64 beta alpha) (+.f64 alpha (fma.f64 i -2 beta))) 1))
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 beta alpha) (-.f64 alpha beta)) (+.f64 (+.f64 beta alpha) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 beta alpha) (*.f64 2 i)) 2)) 1) 2)
(/.f64 (+.f64 1 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 alpha beta)) (*.f64 (+.f64 (+.f64 alpha beta) (+.f64 (*.f64 2 i) 2)) (+.f64 alpha (+.f64 beta (*.f64 2 i)))))) 2)
(/.f64 (+.f64 1 (*.f64 (/.f64 (+.f64 alpha beta) (+.f64 alpha (+.f64 beta (fma.f64 2 i 2)))) (/.f64 (-.f64 alpha beta) (fma.f64 2 i (+.f64 alpha beta))))) 2)
(/.f64 (fma.f64 (/.f64 (+.f64 alpha beta) (+.f64 alpha (+.f64 beta (fma.f64 2 i 2)))) (/.f64 (-.f64 alpha beta) (+.f64 alpha (fma.f64 2 i beta))) 1) 2)
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 i beta) (-.f64 beta i)) (+.f64 (+.f64 i beta) (*.f64 2 alpha))) (+.f64 (+.f64 (+.f64 i beta) (*.f64 2 alpha)) 2)) 1) 2)
(/.f64 (+.f64 1 (/.f64 (/.f64 (*.f64 (+.f64 beta i) (-.f64 beta i)) (+.f64 i (+.f64 beta (*.f64 alpha 2)))) (+.f64 2 (+.f64 i (+.f64 beta (*.f64 alpha 2)))))) 2)
(/.f64 (+.f64 1 (*.f64 (/.f64 (+.f64 beta i) (+.f64 beta (+.f64 i (fma.f64 alpha 2 2)))) (/.f64 (-.f64 beta i) (fma.f64 alpha 2 (+.f64 beta i))))) 2)
(/.f64 (fma.f64 (/.f64 (+.f64 beta i) (+.f64 2 (fma.f64 alpha 2 (+.f64 beta i)))) (/.f64 (-.f64 beta i) (fma.f64 alpha 2 (+.f64 beta i))) 1) 2)
(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha i) (-.f64 i alpha)) (+.f64 (+.f64 alpha i) (*.f64 2 beta))) (+.f64 (+.f64 (+.f64 alpha i) (*.f64 2 beta)) 2)) 1) 2)
(/.f64 (+.f64 1 (/.f64 (/.f64 (+.f64 alpha i) (/.f64 (+.f64 alpha (+.f64 i (*.f64 beta 2))) (-.f64 i alpha))) (+.f64 2 (+.f64 alpha (+.f64 i (*.f64 beta 2)))))) 2)
(/.f64 (+.f64 1 (/.f64 (/.f64 (-.f64 i alpha) (/.f64 (fma.f64 beta 2 (+.f64 alpha i)) (+.f64 alpha i))) (+.f64 alpha (+.f64 i (fma.f64 beta 2 2))))) 2)
(/.f64 (fma.f64 (/.f64 (+.f64 alpha i) (+.f64 alpha (+.f64 2 (fma.f64 beta 2 i)))) (/.f64 (-.f64 i alpha) (+.f64 alpha (fma.f64 beta 2 i))) 1) 2)
(/.f64 (fma.f64 (/.f64 (+.f64 alpha i) (+.f64 alpha (+.f64 i (fma.f64 beta 2 2)))) (/.f64 (-.f64 i alpha) (+.f64 alpha (fma.f64 beta 2 i))) 1) 2)
Compiler

Compiled 137 to 59 computations (56.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...