Octave 3.8, jcobi/4

Time bar (total: 1.8s)

analyze4.0ms (0.2%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%14%86%0%0%0%0
0%0%14%86%0%0%0%1
50%7%7%86%0%0%0%2
75%10.5%3.5%86%0%0%0%3
87.5%12.3%1.8%86%0%0%0%4
93.8%13.2%0.9%86%0%0%0%5
96.9%13.6%0.4%86%0%0%0%6
98.4%13.8%0.2%86%0%0%0%7
99.2%13.9%0.1%86%0%0%0%8
99.6%14%0.1%86%0%0%0%9
99.8%14%0%86%0%0%0%10
99.9%14%0%86%0%0%0%11
100%14%0%86%0%0%0%12
Compiler

Compiled 67 to 35 computations (47.8% saved)

sample1.6s (88.8%)

Results
1.6s8256×body256valid
Bogosity

preprocess202.0ms (11%)

Algorithm
1×egg-herbie
Rules
576×associate-*r*
564×associate-*l*
507×times-frac
433×*-commutative
426×associate-/l*
Problems
135×(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
84×(/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))
37×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0972489
14522265
220142257
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 (neg.f64 alpha) beta) i)) (+.f64 (*.f64 beta (neg.f64 alpha)) (*.f64 i (+.f64 (+.f64 (neg.f64 alpha) beta) i)))) (*.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i))) 1))
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha (neg.f64 beta)) i)) (+.f64 (*.f64 (neg.f64 beta) alpha) (*.f64 i (+.f64 (+.f64 alpha (neg.f64 beta)) i)))) (*.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i))) 1))
(/.f64 (/.f64 (*.f64 (*.f64 (neg.f64 i) (+.f64 (+.f64 alpha beta) (neg.f64 i))) (+.f64 (*.f64 beta alpha) (*.f64 (neg.f64 i) (+.f64 (+.f64 alpha beta) (neg.f64 i))))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i)))) 1))
(neg.f64 (/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 (neg.f64 alpha) beta) i)) (+.f64 (*.f64 beta (neg.f64 alpha)) (*.f64 i (+.f64 (+.f64 (neg.f64 alpha) beta) i)))) (*.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i))) 1)))
(neg.f64 (/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha (neg.f64 beta)) i)) (+.f64 (*.f64 (neg.f64 beta) alpha) (*.f64 i (+.f64 (+.f64 alpha (neg.f64 beta)) i)))) (*.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i))) 1)))
(neg.f64 (/.f64 (/.f64 (*.f64 (*.f64 (neg.f64 i) (+.f64 (+.f64 alpha beta) (neg.f64 i))) (+.f64 (*.f64 beta alpha) (*.f64 (neg.f64 i) (+.f64 (+.f64 alpha beta) (neg.f64 i))))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i)))) 1)))
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 beta alpha) i)) (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 beta alpha) i)))) (*.f64 (+.f64 (+.f64 beta alpha) (*.f64 2 i)) (+.f64 (+.f64 beta alpha) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 beta alpha) (*.f64 2 i)) (+.f64 (+.f64 beta alpha) (*.f64 2 i))) 1))
(/.f64 (/.f64 (*.f64 (*.f64 alpha (+.f64 (+.f64 i beta) alpha)) (+.f64 (*.f64 beta i) (*.f64 alpha (+.f64 (+.f64 i beta) alpha)))) (*.f64 (+.f64 (+.f64 i beta) (*.f64 2 alpha)) (+.f64 (+.f64 i beta) (*.f64 2 alpha)))) (-.f64 (*.f64 (+.f64 (+.f64 i beta) (*.f64 2 alpha)) (+.f64 (+.f64 i beta) (*.f64 2 alpha))) 1))
(/.f64 (/.f64 (*.f64 (*.f64 beta (+.f64 (+.f64 alpha i) beta)) (+.f64 (*.f64 i alpha) (*.f64 beta (+.f64 (+.f64 alpha i) beta)))) (*.f64 (+.f64 (+.f64 alpha i) (*.f64 2 beta)) (+.f64 (+.f64 alpha i) (*.f64 2 beta)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha i) (*.f64 2 beta)) (+.f64 (+.f64 alpha i) (*.f64 2 beta))) 1))
Outputs
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
(/.f64 (*.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 alpha beta (*.f64 i (+.f64 i (+.f64 alpha beta))))) (*.f64 (fma.f64 (+.f64 alpha (+.f64 beta (*.f64 i 2))) (+.f64 alpha (+.f64 beta (*.f64 i 2))) -1) (*.f64 (+.f64 alpha (+.f64 beta (*.f64 i 2))) (+.f64 alpha (+.f64 beta (*.f64 i 2))))))
(*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1)) (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))))
(*.f64 (*.f64 (/.f64 i (fma.f64 i 2 (+.f64 alpha beta))) (/.f64 (+.f64 i (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))) (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1)))
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1))
(/.f64 (*.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 alpha beta (*.f64 i (+.f64 i (+.f64 alpha beta))))) (*.f64 (fma.f64 (+.f64 alpha (+.f64 beta (*.f64 i 2))) (+.f64 alpha (+.f64 beta (*.f64 i 2))) -1) (*.f64 (+.f64 alpha (+.f64 beta (*.f64 i 2))) (+.f64 alpha (+.f64 beta (*.f64 i 2))))))
(*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1)) (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))))
(*.f64 (*.f64 (/.f64 i (fma.f64 i 2 (+.f64 alpha beta))) (/.f64 (+.f64 i (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))) (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1)))
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 (neg.f64 alpha) beta) i)) (+.f64 (*.f64 beta (neg.f64 alpha)) (*.f64 i (+.f64 (+.f64 (neg.f64 alpha) beta) i)))) (*.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i))) 1))
(/.f64 (*.f64 i (*.f64 (+.f64 i (+.f64 beta (neg.f64 alpha))) (fma.f64 beta (neg.f64 alpha) (*.f64 i (+.f64 i (+.f64 beta (neg.f64 alpha))))))) (*.f64 (fma.f64 (+.f64 (neg.f64 alpha) (+.f64 beta (*.f64 i 2))) (+.f64 (neg.f64 alpha) (+.f64 beta (*.f64 i 2))) -1) (*.f64 (+.f64 (neg.f64 alpha) (+.f64 beta (*.f64 i 2))) (+.f64 (neg.f64 alpha) (+.f64 beta (*.f64 i 2))))))
(*.f64 (/.f64 (*.f64 i (+.f64 i (-.f64 beta alpha))) (fma.f64 (fma.f64 i 2 (-.f64 beta alpha)) (fma.f64 i 2 (-.f64 beta alpha)) -1)) (/.f64 (-.f64 (*.f64 i (+.f64 i (-.f64 beta alpha))) (*.f64 alpha beta)) (*.f64 (fma.f64 i 2 (-.f64 beta alpha)) (fma.f64 i 2 (-.f64 beta alpha)))))
(*.f64 (/.f64 i (*.f64 (fma.f64 i 2 (-.f64 beta alpha)) (*.f64 (fma.f64 i 2 (-.f64 beta alpha)) (fma.f64 (fma.f64 i 2 (-.f64 beta alpha)) (fma.f64 i 2 (-.f64 beta alpha)) -1)))) (*.f64 (+.f64 i (-.f64 beta alpha)) (-.f64 (*.f64 i (+.f64 i (-.f64 beta alpha))) (*.f64 alpha beta))))
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha (neg.f64 beta)) i)) (+.f64 (*.f64 (neg.f64 beta) alpha) (*.f64 i (+.f64 (+.f64 alpha (neg.f64 beta)) i)))) (*.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i))) 1))
(/.f64 (*.f64 (*.f64 i (+.f64 i (-.f64 alpha beta))) (fma.f64 (neg.f64 beta) alpha (*.f64 i (+.f64 i (-.f64 alpha beta))))) (*.f64 (fma.f64 (+.f64 (*.f64 i 2) (-.f64 alpha beta)) (+.f64 (*.f64 i 2) (-.f64 alpha beta)) -1) (*.f64 (+.f64 (*.f64 i 2) (-.f64 alpha beta)) (+.f64 (*.f64 i 2) (-.f64 alpha beta)))))
(*.f64 (/.f64 (-.f64 (*.f64 i (+.f64 i (-.f64 alpha beta))) (*.f64 alpha beta)) (fma.f64 (fma.f64 i 2 (-.f64 alpha beta)) (fma.f64 i 2 (-.f64 alpha beta)) -1)) (/.f64 (*.f64 i (+.f64 i (-.f64 alpha beta))) (*.f64 (fma.f64 i 2 (-.f64 alpha beta)) (fma.f64 i 2 (-.f64 alpha beta)))))
(*.f64 (*.f64 (/.f64 i (fma.f64 i 2 (-.f64 alpha beta))) (/.f64 (+.f64 i (-.f64 alpha beta)) (fma.f64 i 2 (-.f64 alpha beta)))) (/.f64 (-.f64 (*.f64 i (+.f64 i (-.f64 alpha beta))) (*.f64 alpha beta)) (fma.f64 (fma.f64 i 2 (-.f64 alpha beta)) (fma.f64 i 2 (-.f64 alpha beta)) -1)))
(/.f64 (/.f64 (*.f64 (*.f64 (neg.f64 i) (+.f64 (+.f64 alpha beta) (neg.f64 i))) (+.f64 (*.f64 beta alpha) (*.f64 (neg.f64 i) (+.f64 (+.f64 alpha beta) (neg.f64 i))))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i)))) 1))
(/.f64 (*.f64 (*.f64 (neg.f64 i) (-.f64 (+.f64 alpha beta) i)) (fma.f64 beta alpha (*.f64 (neg.f64 i) (-.f64 (+.f64 alpha beta) i)))) (*.f64 (fma.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) -1) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))))))
(*.f64 (/.f64 (*.f64 (neg.f64 i) (+.f64 alpha (-.f64 beta i))) (fma.f64 (+.f64 alpha (+.f64 beta (*.f64 i -2))) (+.f64 alpha (+.f64 beta (*.f64 i -2))) -1)) (/.f64 (-.f64 (*.f64 alpha beta) (*.f64 i (+.f64 alpha (-.f64 beta i)))) (*.f64 (+.f64 alpha (+.f64 beta (*.f64 i -2))) (+.f64 alpha (+.f64 beta (*.f64 i -2))))))
(*.f64 (/.f64 (*.f64 (+.f64 alpha (-.f64 beta i)) (fma.f64 (neg.f64 i) (+.f64 alpha (-.f64 beta i)) (*.f64 alpha beta))) (fma.f64 (+.f64 alpha (+.f64 beta (*.f64 i -2))) (+.f64 alpha (+.f64 beta (*.f64 i -2))) -1)) (/.f64 (neg.f64 i) (*.f64 (+.f64 alpha (+.f64 beta (*.f64 i -2))) (+.f64 alpha (+.f64 beta (*.f64 i -2))))))
(neg.f64 (/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 (neg.f64 alpha) beta) i)) (+.f64 (*.f64 beta (neg.f64 alpha)) (*.f64 i (+.f64 (+.f64 (neg.f64 alpha) beta) i)))) (*.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i)) (+.f64 (+.f64 (neg.f64 alpha) beta) (*.f64 2 i))) 1)))
(/.f64 (neg.f64 (*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 beta (neg.f64 alpha)))) (+.f64 (neg.f64 alpha) (+.f64 beta (*.f64 i 2)))) (/.f64 (fma.f64 beta (neg.f64 alpha) (*.f64 i (+.f64 i (+.f64 beta (neg.f64 alpha))))) (+.f64 (neg.f64 alpha) (+.f64 beta (*.f64 i 2)))))) (fma.f64 (+.f64 (neg.f64 alpha) (+.f64 beta (*.f64 i 2))) (+.f64 (neg.f64 alpha) (+.f64 beta (*.f64 i 2))) -1))
(/.f64 (*.f64 (neg.f64 (/.f64 i (/.f64 (fma.f64 i 2 (-.f64 beta alpha)) (+.f64 i (-.f64 beta alpha))))) (/.f64 (-.f64 (*.f64 i (+.f64 i (-.f64 beta alpha))) (*.f64 alpha beta)) (fma.f64 i 2 (-.f64 beta alpha)))) (fma.f64 (fma.f64 i 2 (-.f64 beta alpha)) (fma.f64 i 2 (-.f64 beta alpha)) -1))
(/.f64 (*.f64 (/.f64 (-.f64 (*.f64 i (+.f64 i (-.f64 beta alpha))) (*.f64 alpha beta)) (fma.f64 i 2 (-.f64 beta alpha))) (/.f64 (*.f64 (+.f64 i (-.f64 beta alpha)) (neg.f64 i)) (fma.f64 i 2 (-.f64 beta alpha)))) (fma.f64 (fma.f64 i 2 (-.f64 beta alpha)) (fma.f64 i 2 (-.f64 beta alpha)) -1))
(neg.f64 (/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha (neg.f64 beta)) i)) (+.f64 (*.f64 (neg.f64 beta) alpha) (*.f64 i (+.f64 (+.f64 alpha (neg.f64 beta)) i)))) (*.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i)) (+.f64 (+.f64 alpha (neg.f64 beta)) (*.f64 2 i))) 1)))
(/.f64 (neg.f64 (/.f64 (*.f64 i (+.f64 i (-.f64 alpha beta))) (/.f64 (*.f64 (+.f64 (*.f64 i 2) (-.f64 alpha beta)) (+.f64 (*.f64 i 2) (-.f64 alpha beta))) (fma.f64 (neg.f64 beta) alpha (*.f64 i (+.f64 i (-.f64 alpha beta))))))) (fma.f64 (+.f64 (*.f64 i 2) (-.f64 alpha beta)) (+.f64 (*.f64 i 2) (-.f64 alpha beta)) -1))
(/.f64 (/.f64 (neg.f64 (*.f64 i (+.f64 i (-.f64 alpha beta)))) (/.f64 (*.f64 (fma.f64 i 2 (-.f64 alpha beta)) (fma.f64 i 2 (-.f64 alpha beta))) (-.f64 (*.f64 i (+.f64 i (-.f64 alpha beta))) (*.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (-.f64 alpha beta)) (fma.f64 i 2 (-.f64 alpha beta)) -1))
(/.f64 (*.f64 (/.f64 (*.f64 (+.f64 i (-.f64 alpha beta)) (neg.f64 i)) (*.f64 (fma.f64 i 2 (-.f64 alpha beta)) (fma.f64 i 2 (-.f64 alpha beta)))) (-.f64 (*.f64 i (+.f64 i (-.f64 alpha beta))) (*.f64 alpha beta))) (fma.f64 (fma.f64 i 2 (-.f64 alpha beta)) (fma.f64 i 2 (-.f64 alpha beta)) -1))
(neg.f64 (/.f64 (/.f64 (*.f64 (*.f64 (neg.f64 i) (+.f64 (+.f64 alpha beta) (neg.f64 i))) (+.f64 (*.f64 beta alpha) (*.f64 (neg.f64 i) (+.f64 (+.f64 alpha beta) (neg.f64 i))))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i)))) 1)))
(/.f64 (neg.f64 (/.f64 (*.f64 (*.f64 (neg.f64 i) (-.f64 (+.f64 alpha beta) i)) (fma.f64 beta alpha (*.f64 (neg.f64 i) (-.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i)))))) (fma.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) (+.f64 (+.f64 alpha beta) (*.f64 2 (neg.f64 i))) -1))
(/.f64 (/.f64 (neg.f64 (*.f64 (neg.f64 i) (+.f64 alpha (-.f64 beta i)))) (/.f64 (+.f64 alpha (+.f64 beta (*.f64 i -2))) (/.f64 (-.f64 (*.f64 alpha beta) (*.f64 i (+.f64 alpha (-.f64 beta i)))) (+.f64 alpha (+.f64 beta (*.f64 i -2)))))) (fma.f64 (+.f64 alpha (+.f64 beta (*.f64 i -2))) (+.f64 alpha (+.f64 beta (*.f64 i -2))) -1))
(/.f64 (*.f64 i (+.f64 alpha (-.f64 beta i))) (*.f64 (fma.f64 (+.f64 alpha (+.f64 beta (*.f64 i -2))) (+.f64 alpha (+.f64 beta (*.f64 i -2))) -1) (*.f64 (/.f64 (+.f64 alpha (+.f64 beta (*.f64 i -2))) (fma.f64 (neg.f64 i) (+.f64 alpha (-.f64 beta i)) (*.f64 alpha beta))) (+.f64 alpha (+.f64 beta (*.f64 i -2))))))
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 beta alpha) i)) (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 (+.f64 beta alpha) i)))) (*.f64 (+.f64 (+.f64 beta alpha) (*.f64 2 i)) (+.f64 (+.f64 beta alpha) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 beta alpha) (*.f64 2 i)) (+.f64 (+.f64 beta alpha) (*.f64 2 i))) 1))
(/.f64 (*.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 alpha beta (*.f64 i (+.f64 i (+.f64 alpha beta))))) (*.f64 (fma.f64 (+.f64 alpha (+.f64 beta (*.f64 i 2))) (+.f64 alpha (+.f64 beta (*.f64 i 2))) -1) (*.f64 (+.f64 alpha (+.f64 beta (*.f64 i 2))) (+.f64 alpha (+.f64 beta (*.f64 i 2))))))
(*.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1)) (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))))
(*.f64 (*.f64 (/.f64 i (fma.f64 i 2 (+.f64 alpha beta))) (/.f64 (+.f64 i (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))) (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1)))
(/.f64 (/.f64 (*.f64 (*.f64 alpha (+.f64 (+.f64 i beta) alpha)) (+.f64 (*.f64 beta i) (*.f64 alpha (+.f64 (+.f64 i beta) alpha)))) (*.f64 (+.f64 (+.f64 i beta) (*.f64 2 alpha)) (+.f64 (+.f64 i beta) (*.f64 2 alpha)))) (-.f64 (*.f64 (+.f64 (+.f64 i beta) (*.f64 2 alpha)) (+.f64 (+.f64 i beta) (*.f64 2 alpha))) 1))
(/.f64 (*.f64 (*.f64 alpha (+.f64 i (+.f64 alpha beta))) (fma.f64 beta i (*.f64 alpha (+.f64 i (+.f64 alpha beta))))) (*.f64 (fma.f64 (+.f64 i (+.f64 beta (*.f64 alpha 2))) (+.f64 i (+.f64 beta (*.f64 alpha 2))) -1) (*.f64 (+.f64 i (+.f64 beta (*.f64 alpha 2))) (+.f64 i (+.f64 beta (*.f64 alpha 2))))))
(*.f64 (/.f64 alpha (fma.f64 (fma.f64 alpha 2 (+.f64 i beta)) (fma.f64 alpha 2 (+.f64 i beta)) -1)) (/.f64 (*.f64 (fma.f64 alpha (+.f64 i (+.f64 alpha beta)) (*.f64 i beta)) (+.f64 i (+.f64 alpha beta))) (*.f64 (fma.f64 alpha 2 (+.f64 i beta)) (fma.f64 alpha 2 (+.f64 i beta)))))
(*.f64 (*.f64 (/.f64 alpha (fma.f64 alpha 2 (+.f64 i beta))) (/.f64 (+.f64 i (+.f64 alpha beta)) (fma.f64 alpha 2 (+.f64 i beta)))) (/.f64 (fma.f64 alpha (+.f64 i (+.f64 alpha beta)) (*.f64 i beta)) (fma.f64 (fma.f64 alpha 2 (+.f64 i beta)) (fma.f64 alpha 2 (+.f64 i beta)) -1)))
(/.f64 (/.f64 (*.f64 (*.f64 beta (+.f64 (+.f64 alpha i) beta)) (+.f64 (*.f64 i alpha) (*.f64 beta (+.f64 (+.f64 alpha i) beta)))) (*.f64 (+.f64 (+.f64 alpha i) (*.f64 2 beta)) (+.f64 (+.f64 alpha i) (*.f64 2 beta)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha i) (*.f64 2 beta)) (+.f64 (+.f64 alpha i) (*.f64 2 beta))) 1))
(/.f64 (*.f64 beta (*.f64 (+.f64 i (+.f64 alpha beta)) (fma.f64 i alpha (*.f64 beta (+.f64 i (+.f64 alpha beta)))))) (*.f64 (fma.f64 (+.f64 (+.f64 i alpha) (*.f64 beta 2)) (+.f64 (+.f64 i alpha) (*.f64 beta 2)) -1) (*.f64 (+.f64 (+.f64 i alpha) (*.f64 beta 2)) (+.f64 (+.f64 i alpha) (*.f64 beta 2)))))
(/.f64 beta (/.f64 (*.f64 (*.f64 (fma.f64 beta 2 (+.f64 i alpha)) (fma.f64 beta 2 (+.f64 i alpha))) (fma.f64 (fma.f64 beta 2 (+.f64 i alpha)) (fma.f64 beta 2 (+.f64 i alpha)) -1)) (*.f64 (+.f64 i (+.f64 alpha beta)) (fma.f64 i alpha (*.f64 beta (+.f64 i (+.f64 alpha beta)))))))
(*.f64 (*.f64 (/.f64 beta (fma.f64 beta 2 (+.f64 i alpha))) (/.f64 (+.f64 i (+.f64 alpha beta)) (fma.f64 beta 2 (+.f64 i alpha)))) (/.f64 (fma.f64 i alpha (*.f64 beta (+.f64 i (+.f64 alpha beta)))) (fma.f64 (fma.f64 beta 2 (+.f64 i alpha)) (fma.f64 beta 2 (+.f64 i alpha)) -1)))
Symmetry

(sort alpha beta)

Compiler

Compiled 187 to 59 computations (68.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...