21.393 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [progress]: [2/2] Setting up program. 0.043 * [progress]: [Phase 2 of 3] Improving. 0.043 * [simplify]: Simplifying using # : (/ (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) 2.0) 0.045 * * [simplify]: iteration 0 : 31 enodes (cost 14 ) 0.046 * * [simplify]: iteration 1 : 103 enodes (cost 14 ) 0.049 * * [simplify]: iteration 2 : 454 enodes (cost 14 ) 0.057 * * [simplify]: iteration 3 : 2127 enodes (cost 14 ) 0.094 * * [simplify]: iteration 4 : 5001 enodes (cost 14 ) 0.094 * [simplify]: Simplified to: (/ (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) 2.0) 0.095 * * [progress]: iteration 1 / 4 0.095 * * * [progress]: picking best candidate 0.099 * * * * [pick]: Picked # 0.099 * * * [progress]: localizing error 0.111 * * * [progress]: generating rewritten candidates 0.111 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1) 0.128 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.158 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 0.181 * * * [progress]: generating series expansions 0.181 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1) 0.181 * [approximate]: Approximating (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in (alpha beta i) around 0 0.184 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in beta 0.186 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in beta 0.191 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in beta 0.191 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in i 0.193 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in i 0.199 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in beta 0.199 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in i 0.208 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in i 0.212 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in i 0.217 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in i 0.221 * [approximate]: Approximating (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in (alpha beta i) around 0 0.233 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in beta 0.235 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in beta 0.236 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 0.236 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 0.242 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in beta 0.242 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 0.245 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 0.248 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 0.248 * [approximate]: Approximating (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in (alpha beta i) around 0 0.259 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in beta 0.261 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in beta 0.262 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 0.262 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 0.268 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in beta 0.269 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 0.272 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 0.274 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 0.274 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.275 * [approximate]: Approximating (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in (alpha beta i) around 0 0.281 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in beta 0.285 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 0.291 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in beta 0.296 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 0.310 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in beta 0.322 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 0.333 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 0.346 * [approximate]: Approximating (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in (alpha beta i) around 0 0.372 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 0.372 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 0.375 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 0.377 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 0.379 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 0.388 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 0.396 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 0.405 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 0.405 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 0.423 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 0.446 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 0.460 * [approximate]: Approximating (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in (alpha beta i) around 0 0.490 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 0.490 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 0.493 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 0.495 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 0.498 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 0.507 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 0.518 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 0.527 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 0.528 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 0.546 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 0.566 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 0.582 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 0.582 * [approximate]: Approximating (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in (alpha beta i) around 0 0.588 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in beta 0.593 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in beta 0.605 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in beta 0.617 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in i 0.628 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in i 0.652 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in beta 0.682 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in i 0.717 * [approximate]: Approximating (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in (alpha beta i) around 0 0.734 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in beta 0.734 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 0.738 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in beta 0.743 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 0.747 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 0.756 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in beta 0.763 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 0.776 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 0.776 * [approximate]: Approximating (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in (alpha beta i) around 0 0.796 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in beta 0.796 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 0.800 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in beta 0.802 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 0.806 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 0.815 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in beta 0.826 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 0.838 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 0.838 * * * [progress]: simplifying candidates 0.841 * [simplify]: Simplifying using # : (- (+ (log (+ alpha beta)) (log (- beta alpha))) (log (+ (+ alpha beta) (* 2.0 i)))) (- (log (* (+ alpha beta) (- beta alpha))) (log (+ (+ alpha beta) (* 2.0 i)))) (log (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (exp (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (/ (* (* (* (+ alpha beta) (+ alpha beta)) (+ alpha beta)) (* (* (- beta alpha) (- beta alpha)) (- beta alpha))) (* (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ alpha beta) (* 2.0 i)))) (/ (* (* (* (+ alpha beta) (- beta alpha)) (* (+ alpha beta) (- beta alpha))) (* (+ alpha beta) (- beta alpha))) (* (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ alpha beta) (* 2.0 i)))) (* (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))))) (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (* (* (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (neg (* (+ alpha beta) (- beta alpha))) (neg (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (/ (+ alpha beta) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (+ alpha beta) 1) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ 1 (+ (+ alpha beta) (* 2.0 i))) (/ (+ (+ alpha beta) (* 2.0 i)) (* (+ alpha beta) (- beta alpha))) (/ (* (+ alpha beta) (- beta alpha)) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (* (+ alpha beta) (- beta alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (* (+ alpha beta) (- beta alpha)) 1) (/ (+ (+ alpha beta) (* 2.0 i)) (- beta alpha)) (/ (* (+ alpha beta) (- beta alpha)) (+ (pow (+ alpha beta) 3) (pow (* 2.0 i) 3))) (/ (* (+ alpha beta) (- beta alpha)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 i) (* 2.0 i)))) (* (+ (+ alpha beta) (* 2.0 i)) (* (+ (* alpha alpha) (- (* beta beta) (* alpha beta))) (+ (* beta beta) (+ (* alpha alpha) (* beta alpha))))) (* (+ (+ alpha beta) (* 2.0 i)) (* (+ (* alpha alpha) (- (* beta beta) (* alpha beta))) (+ beta alpha))) (* (+ (+ alpha beta) (* 2.0 i)) (* (- alpha beta) (+ (* beta beta) (+ (* alpha alpha) (* beta alpha))))) (* (+ (+ alpha beta) (* 2.0 i)) (* (- alpha beta) (+ beta alpha))) (* (+ (+ alpha beta) (* 2.0 i)) (+ (* beta beta) (+ (* alpha alpha) (* beta alpha)))) (* (+ (+ alpha beta) (* 2.0 i)) (+ beta alpha)) (* (+ (+ alpha beta) (* 2.0 i)) (+ (* alpha alpha) (- (* beta beta) (* alpha beta)))) (* (+ (+ alpha beta) (* 2.0 i)) (- alpha beta)) (* (exp (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp 1.0)) (log (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (exp (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (* (cbrt (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (cbrt (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0))) (cbrt (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (* (* (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (sqrt (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (sqrt (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (+ (pow (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3) (pow 1.0 3)) (+ (* (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (- (* 1.0 1.0) (* (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0))) (- (* (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* 1.0 1.0)) (- (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) (- (- (+ (log (+ alpha beta)) (log (- beta alpha))) (log (+ (+ alpha beta) (* 2.0 i)))) (log (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (- (- (log (* (+ alpha beta) (- beta alpha))) (log (+ (+ alpha beta) (* 2.0 i)))) (log (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (- (log (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (log (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (* (* (* (+ alpha beta) (+ alpha beta)) (+ alpha beta)) (* (* (- beta alpha) (- beta alpha)) (- beta alpha))) (* (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ alpha beta) (* 2.0 i)))) (* (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (* (* (* (+ alpha beta) (- beta alpha)) (* (+ alpha beta) (- beta alpha))) (* (+ alpha beta) (- beta alpha))) (* (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ alpha beta) (* 2.0 i)))) (* (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (* (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (* (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* (cbrt (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* (* (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (neg (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (neg (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (* (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))))) 1) (/ (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (* (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))))) 1) (/ (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) 1) (/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) 1) (/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) 1) (/ (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) 1) (/ (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (+ alpha beta) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (+ alpha beta) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (+ alpha beta) (sqrt (+ (+ alpha beta) (* 2.0 i)))) 1) (/ (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (+ alpha beta) (sqrt (+ (+ alpha beta) (* 2.0 i)))) 1) (/ (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (+ alpha beta) 1) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (+ alpha beta) 1) 1) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (+ alpha beta) 1) 1) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ 1 (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ 1 (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ 1 1) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ 1 1) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (* (+ alpha beta) (- beta alpha)) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ 1 (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (+ alpha beta) (- beta alpha)) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ 1 (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (+ alpha beta) (- beta alpha)) 1) (/ (/ 1 (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (* (+ alpha beta) (- beta alpha)) 1) (/ (/ 1 (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (pow (+ alpha beta) 3) (pow (* 2.0 i) 3))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (+ (* (+ alpha beta) (+ alpha beta)) (- (* (* 2.0 i) (* 2.0 i)) (* (+ alpha beta) (* 2.0 i)))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (pow (+ alpha beta) 3) (pow (* 2.0 i) 3))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (+ (* (+ alpha beta) (+ alpha beta)) (- (* (* 2.0 i) (* 2.0 i)) (* (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (pow (+ alpha beta) 3) (pow (* 2.0 i) 3))) 1) (/ (+ (* (+ alpha beta) (+ alpha beta)) (- (* (* 2.0 i) (* 2.0 i)) (* (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (pow (+ alpha beta) 3) (pow (* 2.0 i) 3))) 1) (/ (+ (* (+ alpha beta) (+ alpha beta)) (- (* (* 2.0 i) (* 2.0 i)) (* (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (* (+ alpha beta) (- beta alpha)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 i) (* 2.0 i)))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (- (+ alpha beta) (* 2.0 i)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (* (+ alpha beta) (- beta alpha)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 i) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (- (+ alpha beta) (* 2.0 i)) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (* (+ alpha beta) (- beta alpha)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 i) (* 2.0 i)))) 1) (/ (- (+ alpha beta) (* 2.0 i)) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (* (+ alpha beta) (- beta alpha)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 i) (* 2.0 i)))) 1) (/ (- (+ alpha beta) (* 2.0 i)) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ 1 (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) 1) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) 1) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i))))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ 1 (+ (+ alpha beta) (* 2.0 i)))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (+ (* (+ alpha beta) (+ alpha beta)) (- (* (* 2.0 i) (* 2.0 i)) (* (+ alpha beta) (* 2.0 i))))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- (+ alpha beta) (* 2.0 i))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (+ (+ alpha beta) (* 2.0 i))) 0 0 0 (- (+ 1.0 (* 0.25 (pow alpha 2))) (* 0.25 (pow beta 2))) (- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2)))) (- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2)))) (- (* 0.25 (pow alpha 2)) (+ (* 0.125 (pow alpha 3)) (* 0.25 (pow beta 2)))) 0 0 0.850 * * [simplify]: iteration 0 : 681 enodes (cost 1905 ) 0.864 * * [simplify]: iteration 1 : 3622 enodes (cost 1789 ) 0.922 * * [simplify]: iteration 2 : 5001 enodes (cost 1789 ) 0.931 * [simplify]: Simplified to: (log (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (log (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (log (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (exp (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (pow (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) 3) (pow (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) 3) (* (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))))) (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (pow (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) 3) (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (neg (* (+ alpha beta) (- beta alpha))) (neg (+ (+ alpha beta) (* 2.0 i))) (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (/ (+ alpha beta) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ 1 (+ (+ alpha beta) (* 2.0 i))) (/ (+ (+ alpha beta) (* 2.0 i)) (* (+ alpha beta) (- beta alpha))) (/ (* (+ alpha beta) (- beta alpha)) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (* (+ alpha beta) (- beta alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (* (+ alpha beta) (- beta alpha)) (/ (+ (+ alpha beta) (* 2.0 i)) (- beta alpha)) (/ (* (+ alpha beta) (- beta alpha)) (+ (pow (+ alpha beta) 3) (pow (* 2.0 i) 3))) (/ (* (+ alpha beta) (- beta alpha)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 i) (* 2.0 i)))) (* (* (+ (* alpha (+ alpha beta)) (pow beta 2)) (+ (* beta (- beta alpha)) (pow alpha 2))) (+ (+ alpha beta) (* 2.0 i))) (* (* (+ alpha beta) (+ (* beta (- beta alpha)) (pow alpha 2))) (+ (+ alpha beta) (* 2.0 i))) (* (* (+ (* alpha (+ alpha beta)) (pow beta 2)) (- alpha beta)) (+ (+ alpha beta) (* 2.0 i))) (* (+ (+ alpha beta) (* 2.0 i)) (* (- alpha beta) (+ beta alpha))) (* (+ (* alpha (+ alpha beta)) (pow beta 2)) (+ (+ alpha beta) (* 2.0 i))) (* (+ (+ alpha beta) (* 2.0 i)) (+ beta alpha)) (* (+ (* beta (- beta alpha)) (pow alpha 2)) (+ (+ alpha beta) (* 2.0 i))) (* (+ (+ alpha beta) (* 2.0 i)) (- alpha beta)) (exp (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (log (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (exp (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (* (cbrt (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (cbrt (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0))) (cbrt (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (pow (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) 3) (sqrt (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (sqrt (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (+ (pow (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3) (pow 1.0 3)) (+ (* 1.0 (- 1.0 (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (* (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (- (* (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* 1.0 1.0)) (- (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) (log (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (pow (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3) (pow (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3) (pow (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3) (* (cbrt (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (pow (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3) (sqrt (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (neg (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (neg (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (* (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))))) (/ (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))))) (/ (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (/ (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (+ alpha beta) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (+ alpha beta) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (+ alpha beta) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (+ alpha beta) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (+ alpha beta) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (+ alpha beta) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ 1 (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ 1 (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1 (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1 (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (* (+ alpha beta) (- beta alpha)) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ 1 (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (+ alpha beta) (- beta alpha)) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ 1 (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* (+ alpha beta) (- beta alpha)) (/ (/ 1 (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (+ alpha beta) (- beta alpha)) (/ (/ 1 (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (pow (+ alpha beta) 3) (pow (* 2.0 i) 3))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (+ (* (+ alpha beta) (+ alpha beta)) (- (* (* 2.0 i) (* 2.0 i)) (* (+ alpha beta) (* 2.0 i)))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (pow (+ alpha beta) 3) (pow (* 2.0 i) 3))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (+ (* (+ alpha beta) (+ alpha beta)) (- (* (* 2.0 i) (* 2.0 i)) (* (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (+ alpha beta) (- beta alpha)) (+ (pow (+ alpha beta) 3) (pow (* 2.0 i) 3))) (/ (+ (* (+ alpha beta) (+ alpha beta)) (- (* (* 2.0 i) (* 2.0 i)) (* (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (* (+ alpha beta) (- beta alpha)) (+ (pow (+ alpha beta) 3) (pow (* 2.0 i) 3))) (/ (+ (* (+ alpha beta) (+ alpha beta)) (- (* (* 2.0 i) (* 2.0 i)) (* (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (/ (* (+ alpha beta) (- beta alpha)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 i) (* 2.0 i)))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (- (+ alpha beta) (* 2.0 i)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (* (+ alpha beta) (- beta alpha)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 i) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (- (+ alpha beta) (* 2.0 i)) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (+ alpha beta) (- beta alpha)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 i) (* 2.0 i)))) (/ (- (+ alpha beta) (* 2.0 i)) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (* (+ alpha beta) (- beta alpha)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 i) (* 2.0 i)))) (/ (- (+ alpha beta) (* 2.0 i)) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ 1 (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (cbrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (sqrt (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i))))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i)))) (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (+ (+ alpha beta) (* 2.0 i))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (+ (* (+ alpha beta) (+ alpha beta)) (- (* (* 2.0 i) (* 2.0 i)) (* (+ alpha beta) (* 2.0 i))))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- (+ alpha beta) (* 2.0 i))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (+ (+ alpha beta) (* 2.0 i))) 0 0 0 (+ (* 0.25 (- (pow alpha 2) (pow beta 2))) 1.0) (- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2)))) (- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2)))) (- (* 0.25 (- (pow alpha 2) (pow beta 2))) (* 0.125 (pow alpha 3))) 0 0 0.932 * * * [progress]: adding candidates to table 1.842 * * [progress]: iteration 2 / 4 1.842 * * * [progress]: picking best candidate 1.877 * * * * [pick]: Picked # 1.877 * * * [progress]: localizing error 1.890 * * * [progress]: generating rewritten candidates 1.890 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.914 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.933 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.950 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2) 1.963 * * * [progress]: generating series expansions 1.963 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.964 * [approximate]: Approximating (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in (alpha beta i) around 0 1.970 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in beta 1.971 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 1.977 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in beta 1.986 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 2.000 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in beta 2.012 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 2.024 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 2.036 * [approximate]: Approximating (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in (alpha beta i) around 0 2.063 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 2.063 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 2.066 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 2.068 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 2.070 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 2.079 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 2.086 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 2.095 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 2.095 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 2.113 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 2.137 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 2.151 * [approximate]: Approximating (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in (alpha beta i) around 0 2.180 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 2.180 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 2.184 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 2.186 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 2.190 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 2.198 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 2.206 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 2.218 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 2.219 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 2.236 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 2.257 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 2.273 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 2.273 * [approximate]: Approximating (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in (alpha beta i) around 0 2.276 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in beta 2.281 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in beta 2.297 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in beta 2.308 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in i 2.320 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in i 2.344 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in beta 2.374 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) in i 2.409 * [approximate]: Approximating (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in (alpha beta i) around 0 2.427 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in beta 2.427 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.430 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in beta 2.432 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.436 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.448 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in beta 2.455 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.467 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.468 * [approximate]: Approximating (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in (alpha beta i) around 0 2.488 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in beta 2.488 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.491 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in beta 2.494 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.497 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.507 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in beta 2.514 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.530 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.530 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 2.530 * [approximate]: Approximating (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in (alpha beta i) around 0 2.532 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in beta 2.535 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in beta 2.539 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in beta 2.540 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in i 2.542 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in i 2.547 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in beta 2.548 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in i 2.553 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in i 2.557 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in i 2.562 * [taylor]: Taking taylor expansion of (/ (* (+ alpha beta) (- beta alpha)) (+ alpha (+ (* 2.0 i) beta))) in i 2.566 * [approximate]: Approximating (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in (alpha beta i) around 0 2.577 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in beta 2.580 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in beta 2.581 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.581 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.587 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in beta 2.587 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.590 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.593 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 alpha) (/ 1 beta)) (- (/ 1 beta) (/ 1 alpha))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.593 * [approximate]: Approximating (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in (alpha beta i) around 0 2.607 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in beta 2.609 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in beta 2.610 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.611 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.616 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in beta 2.617 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.620 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.622 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.623 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2) 2.623 * [approximate]: Approximating (/ (- beta alpha) (+ alpha (+ (* 2.0 i) beta))) in (beta alpha i) around 0 2.624 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ alpha (+ (* 2.0 i) beta))) in alpha 2.626 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ alpha (+ (* 2.0 i) beta))) in alpha 2.626 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ alpha (+ (* 2.0 i) beta))) in i 2.628 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ alpha (+ (* 2.0 i) beta))) in i 2.631 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ alpha (+ (* 2.0 i) beta))) in alpha 2.632 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ alpha (+ (* 2.0 i) beta))) in i 2.637 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ alpha (+ (* 2.0 i) beta))) in i 2.638 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ alpha (+ (* 2.0 i) beta))) in i 2.643 * [approximate]: Approximating (/ (- (/ 1 beta) (/ 1 alpha)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in (beta alpha i) around 0 2.651 * [taylor]: Taking taylor expansion of (/ (- (/ 1 beta) (/ 1 alpha)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in alpha 2.651 * [taylor]: Taking taylor expansion of (/ (- (/ 1 beta) (/ 1 alpha)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.653 * [taylor]: Taking taylor expansion of (/ (- (/ 1 beta) (/ 1 alpha)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in alpha 2.655 * [taylor]: Taking taylor expansion of (/ (- (/ 1 beta) (/ 1 alpha)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.657 * [taylor]: Taking taylor expansion of (/ (- (/ 1 beta) (/ 1 alpha)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.661 * [taylor]: Taking taylor expansion of (/ (- (/ 1 beta) (/ 1 alpha)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in alpha 2.667 * [taylor]: Taking taylor expansion of (/ (- (/ 1 beta) (/ 1 alpha)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.677 * [taylor]: Taking taylor expansion of (/ (- (/ 1 beta) (/ 1 alpha)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) in i 2.677 * [approximate]: Approximating (* -1 (/ (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in (beta alpha i) around 0 2.686 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in alpha 2.686 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.688 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in alpha 2.690 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.692 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.697 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in alpha 2.703 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.710 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 alpha) (/ 1 beta)) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))) in i 2.710 * * * [progress]: simplifying candidates 2.712 * [simplify]: Simplifying using # : (* (exp (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp 1.0)) (log (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (exp (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (* (cbrt (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (cbrt (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0))) (cbrt (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (* (* (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (sqrt (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (sqrt (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (+ (pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3) (pow 1.0 3)) (+ (* (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (- (* 1.0 1.0) (* (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0))) (- (* (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* 1.0 1.0)) (- (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) (- (+ (log (+ alpha beta)) (- (log (- beta alpha)) (log (+ (+ alpha beta) (* 2.0 i))))) (log (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (- (+ (log (+ alpha beta)) (log (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (log (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (- (log (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (log (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (* (* (+ alpha beta) (+ alpha beta)) (+ alpha beta)) (/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ alpha beta) (* 2.0 i))))) (* (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (* (* (+ alpha beta) (+ alpha beta)) (+ alpha beta)) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (* (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* (cbrt (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* (* (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (neg (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (neg (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (+ alpha beta) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (+ alpha beta) 1) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (+ alpha beta) 1) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ 1 (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) 1) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) 1) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (* (+ (* alpha alpha) (- (* beta beta) (* alpha beta))) (+ (+ alpha beta) (* 2.0 i)))) (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (* (- alpha beta) (+ (+ alpha beta) (* 2.0 i)))) (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (+ (+ alpha beta) (* 2.0 i))) (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (+ (* alpha alpha) (- (* beta beta) (* alpha beta)))) (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- alpha beta)) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (log (+ alpha beta)) (- (log (- beta alpha)) (log (+ (+ alpha beta) (* 2.0 i))))) (+ (log (+ alpha beta)) (log (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (log (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (exp (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (* (* (+ alpha beta) (+ alpha beta)) (+ alpha beta)) (/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ alpha beta) (* 2.0 i))))) (* (* (* (+ alpha beta) (+ alpha beta)) (+ alpha beta)) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (cbrt (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (cbrt (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))))) (cbrt (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (* (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (sqrt (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (sqrt (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (+ (pow alpha 3) (pow beta 3)) (- beta alpha)) (* (+ (* alpha alpha) (- (* beta beta) (* alpha beta))) (+ (+ alpha beta) (* 2.0 i))) (* (- (* alpha alpha) (* beta beta)) (- beta alpha)) (* (- alpha beta) (+ (+ alpha beta) (* 2.0 i))) (* (sqrt (+ alpha beta)) (sqrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (sqrt (+ alpha beta)) (sqrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (sqrt (+ alpha beta)) (/ (sqrt (- beta alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i))))) (* (sqrt (+ alpha beta)) (/ (sqrt (- beta alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i))))) (* (+ alpha beta) (* (cbrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))))) (* (+ alpha beta) (sqrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (+ alpha beta) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i)))))) (* (+ alpha beta) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (sqrt (+ (+ alpha beta) (* 2.0 i))))) (* (+ alpha beta) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1)) (* (+ alpha beta) (/ (sqrt (- beta alpha)) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i)))))) (* (+ alpha beta) (/ (sqrt (- beta alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i))))) (* (+ alpha beta) (/ (sqrt (- beta alpha)) 1)) (* (+ alpha beta) (/ 1 (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i)))))) (* (+ alpha beta) (/ 1 (sqrt (+ (+ alpha beta) (* 2.0 i))))) (* (+ alpha beta) (/ 1 1)) (* (+ alpha beta) (/ (+ (sqrt beta) (sqrt alpha)) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i)))))) (* (+ alpha beta) (/ (+ (sqrt beta) (sqrt alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i))))) (* (+ alpha beta) (/ (+ (sqrt beta) (sqrt alpha)) 1)) (* (+ alpha beta) (/ 1 (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i)))))) (* (+ alpha beta) (/ 1 (sqrt (+ (+ alpha beta) (* 2.0 i))))) (* (+ alpha beta) (/ 1 1)) (* (+ alpha beta) 1) (* (+ alpha beta) (- beta alpha)) (* (+ alpha beta) (/ (- beta alpha) (+ (pow (+ alpha beta) 3) (pow (* 2.0 i) 3)))) (* (+ alpha beta) (/ (- beta alpha) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 i) (* 2.0 i))))) (* (cbrt (+ alpha beta)) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (sqrt (+ alpha beta)) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (+ alpha beta) (- beta alpha)) (* (+ (pow alpha 3) (pow beta 3)) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (- (* alpha alpha) (* beta beta)) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (- (log (- beta alpha)) (log (+ (+ alpha beta) (* 2.0 i)))) (log (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (exp (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ alpha beta) (* 2.0 i)))) (* (cbrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (cbrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (neg (- beta alpha)) (neg (+ (+ alpha beta) (* 2.0 i))) (/ beta (+ (+ alpha beta) (* 2.0 i))) (/ alpha (+ (+ alpha beta) (* 2.0 i))) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (cbrt (- beta alpha)) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (cbrt (- beta alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (/ (cbrt (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (/ (sqrt (- beta alpha)) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (sqrt (- beta alpha)) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (/ (sqrt (- beta alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (sqrt (- beta alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (sqrt (- beta alpha)) 1) (/ (sqrt (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (/ 1 (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (/ 1 (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ 1 1) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ (sqrt beta) (sqrt alpha)) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (- (sqrt beta) (sqrt alpha)) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (/ (+ (sqrt beta) (sqrt alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (- (sqrt beta) (sqrt alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (+ (sqrt beta) (sqrt alpha)) 1) (/ (- (sqrt beta) (sqrt alpha)) (+ (+ alpha beta) (* 2.0 i))) (/ 1 (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (/ 1 (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ 1 1) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ 1 (+ (+ alpha beta) (* 2.0 i))) (/ (+ (+ alpha beta) (* 2.0 i)) (- beta alpha)) (/ (- beta alpha) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (- beta alpha) 1) (/ (+ (+ alpha beta) (* 2.0 i)) (cbrt (- beta alpha))) (/ (+ (+ alpha beta) (* 2.0 i)) (sqrt (- beta alpha))) (/ (+ (+ alpha beta) (* 2.0 i)) (- beta alpha)) (/ (+ (+ alpha beta) (* 2.0 i)) (- (sqrt beta) (sqrt alpha))) (/ (+ (+ alpha beta) (* 2.0 i)) (- beta alpha)) (/ (- beta alpha) (+ (pow (+ alpha beta) 3) (pow (* 2.0 i) 3))) (/ (- beta alpha) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 i) (* 2.0 i)))) (* (+ (+ alpha beta) (* 2.0 i)) (+ (* beta beta) (+ (* alpha alpha) (* beta alpha)))) (* (+ (+ alpha beta) (* 2.0 i)) (+ beta alpha)) (- (+ 1.0 (* 0.25 (pow alpha 2))) (* 0.25 (pow beta 2))) (- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2)))) (- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2)))) (- (* 0.25 (pow alpha 2)) (+ (* 0.125 (pow alpha 3)) (* 0.25 (pow beta 2)))) 0 0 0 0 0 0 0 0 2.721 * * [simplify]: iteration 0 : 657 enodes (cost 1569 ) 2.736 * * [simplify]: iteration 1 : 3554 enodes (cost 1429 ) 2.794 * * [simplify]: iteration 2 : 5002 enodes (cost 1429 ) 2.802 * [simplify]: Simplified to: (exp (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (log (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (exp (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (* (cbrt (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (cbrt (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0))) (cbrt (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (pow (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) 3) (sqrt (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (sqrt (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)) (+ (pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3) (pow 1.0 3)) (+ (* 1.0 (- 1.0 (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (* (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (- (* (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* 1.0 1.0)) (- (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) (+ (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) (log (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3) (pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3) (pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3) (* (cbrt (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3) (sqrt (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (neg (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (neg (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (+ alpha beta) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ 1 (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (* (* (+ (+ alpha beta) (* 2.0 i)) (+ (* beta (- beta alpha)) (pow alpha 2))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (* (- alpha beta) (+ (+ alpha beta) (* 2.0 i)))) (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (+ (+ alpha beta) (* 2.0 i))) (* (+ (* beta (- beta alpha)) (pow alpha 2)) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (- alpha beta)) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (log (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (log (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (log (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (exp (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (pow (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) 3) (pow (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) 3) (* (cbrt (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (cbrt (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))))) (cbrt (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (pow (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) 3) (sqrt (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (sqrt (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (+ (pow alpha 3) (pow beta 3)) (- beta alpha)) (* (+ (+ alpha beta) (* 2.0 i)) (+ (* beta (- beta alpha)) (pow alpha 2))) (* (- (* alpha alpha) (* beta beta)) (- beta alpha)) (* (- alpha beta) (+ (+ alpha beta) (* 2.0 i))) (* (sqrt (+ alpha beta)) (sqrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (sqrt (+ alpha beta)) (sqrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (sqrt (+ alpha beta)) (/ (sqrt (- beta alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i))))) (* (sqrt (+ alpha beta)) (/ (sqrt (- beta alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i))))) (* (+ alpha beta) (* (cbrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))))) (* (+ alpha beta) (sqrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (* (+ alpha beta) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i)))))) (* (+ alpha beta) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (sqrt (+ (+ alpha beta) (* 2.0 i))))) (* (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (+ alpha beta)) (* (+ alpha beta) (/ (sqrt (- beta alpha)) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i)))))) (* (+ alpha beta) (/ (sqrt (- beta alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i))))) (* (sqrt (- beta alpha)) (+ alpha beta)) (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (+ alpha beta) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (+ alpha beta) (* (+ alpha beta) (/ (+ (sqrt beta) (sqrt alpha)) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i)))))) (* (+ alpha beta) (/ (+ (sqrt beta) (sqrt alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i))))) (* (+ (sqrt beta) (sqrt alpha)) (+ alpha beta)) (/ (+ alpha beta) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (+ alpha beta) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (+ alpha beta) (+ alpha beta) (* (+ alpha beta) (- beta alpha)) (* (+ alpha beta) (/ (- beta alpha) (+ (pow (+ alpha beta) 3) (pow (* 2.0 i) 3)))) (* (+ alpha beta) (/ (- beta alpha) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 i) (* 2.0 i))))) (* (cbrt (+ alpha beta)) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (sqrt (+ alpha beta)) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (+ alpha beta) (- beta alpha)) (* (+ (pow alpha 3) (pow beta 3)) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (* (- (* alpha alpha) (* beta beta)) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (log (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (log (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (exp (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (pow (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) 3) (* (cbrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (cbrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))))) (cbrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (pow (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) 3) (sqrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (neg (- beta alpha)) (neg (+ (+ alpha beta) (* 2.0 i))) (/ beta (+ (+ alpha beta) (* 2.0 i))) (/ alpha (+ (+ alpha beta) (* 2.0 i))) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (cbrt (- beta alpha)) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (cbrt (- beta alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (/ (cbrt (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (/ (sqrt (- beta alpha)) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (sqrt (- beta alpha)) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (/ (sqrt (- beta alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (sqrt (- beta alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (sqrt (- beta alpha)) (/ (sqrt (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (/ 1 (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (/ 1 (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) 1 (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ (+ (sqrt beta) (sqrt alpha)) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (- (sqrt beta) (sqrt alpha)) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (/ (+ (sqrt beta) (sqrt alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (- (sqrt beta) (sqrt alpha)) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (+ (sqrt beta) (sqrt alpha)) (/ (- (sqrt beta) (sqrt alpha)) (+ (+ alpha beta) (* 2.0 i))) (/ 1 (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (- beta alpha) (cbrt (+ (+ alpha beta) (* 2.0 i)))) (/ 1 (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) 1 (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (/ 1 (+ (+ alpha beta) (* 2.0 i))) (/ (+ (+ alpha beta) (* 2.0 i)) (- beta alpha)) (/ (- beta alpha) (* (cbrt (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ alpha beta) (* 2.0 i))))) (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (- beta alpha) (/ (+ (+ alpha beta) (* 2.0 i)) (cbrt (- beta alpha))) (/ (+ (+ alpha beta) (* 2.0 i)) (sqrt (- beta alpha))) (/ (+ (+ alpha beta) (* 2.0 i)) (- beta alpha)) (/ (+ (+ alpha beta) (* 2.0 i)) (- (sqrt beta) (sqrt alpha))) (/ (+ (+ alpha beta) (* 2.0 i)) (- beta alpha)) (/ (- beta alpha) (+ (pow (+ alpha beta) 3) (pow (* 2.0 i) 3))) (/ (- beta alpha) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2.0 i) (* 2.0 i)))) (* (+ (* alpha (+ alpha beta)) (pow beta 2)) (+ (+ alpha beta) (* 2.0 i))) (* (+ (+ alpha beta) (* 2.0 i)) (+ beta alpha)) (+ (* 0.25 (- (pow alpha 2) (pow beta 2))) 1.0) (+ (- (* 8.0 (/ 1 (pow alpha 3))) (* 4.0 (/ 1 (pow alpha 2)))) (/ 2.0 alpha)) (+ (- (* 8.0 (/ 1 (pow alpha 3))) (* 4.0 (/ 1 (pow alpha 2)))) (/ 2.0 alpha)) (- (* 0.25 (- (pow alpha 2) (pow beta 2))) (* 0.125 (pow alpha 3))) 0 0 0 0 0 0 0 0 2.803 * * * [progress]: adding candidates to table 4.074 * * [progress]: iteration 3 / 4 4.074 * * * [progress]: picking best candidate 4.106 * * * * [pick]: Picked # 4.106 * * * [progress]: localizing error 4.123 * * * [progress]: generating rewritten candidates 4.123 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 4.170 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 4.177 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 2) 4.184 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1) 4.192 * * * [progress]: generating series expansions 4.192 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 4.192 * [approximate]: Approximating (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in (alpha beta i) around 0 4.199 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in beta 4.200 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 4.207 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in beta 4.211 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 4.225 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in beta 4.237 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 4.252 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 4.264 * [approximate]: Approximating (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in (alpha beta i) around 0 4.287 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 4.287 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 4.291 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 4.293 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 4.295 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 4.303 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 4.311 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 4.322 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 4.322 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 4.340 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 4.360 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 4.375 * [approximate]: Approximating (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in (alpha beta i) around 0 4.407 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 4.407 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 4.410 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 4.412 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 4.415 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 4.424 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 4.432 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 4.441 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 4.441 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 4.459 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 4.482 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 4.497 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 4.497 * [approximate]: Approximating (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in (alpha beta i) around 0 4.499 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in beta 4.500 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 4.505 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in beta 4.507 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 4.514 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 4.522 * [approximate]: Approximating (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in (alpha beta i) around 0 4.530 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 4.530 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 4.533 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 4.538 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 4.546 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 4.554 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 4.572 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 4.587 * [approximate]: Approximating (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in (alpha beta i) around 0 4.602 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 4.604 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 4.609 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 4.618 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 4.636 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 4.647 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 4.671 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 4.701 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 2) 4.701 * [approximate]: Approximating (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in (alpha beta i) around 0 4.706 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in beta 4.707 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 4.713 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in beta 4.714 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 4.721 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 4.730 * [approximate]: Approximating (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in (alpha beta i) around 0 4.738 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 4.738 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 4.740 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 4.746 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 4.751 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 4.759 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 4.777 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 4.795 * [approximate]: Approximating (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in (alpha beta i) around 0 4.810 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 4.812 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 4.817 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 4.827 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 4.841 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 4.852 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 4.880 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 4.909 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1) 4.910 * [approximate]: Approximating (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in (alpha beta i) around 0 4.911 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in beta 4.912 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 4.918 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in beta 4.919 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 4.926 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 4.935 * [approximate]: Approximating (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in (alpha beta i) around 0 4.943 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 4.943 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 4.949 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 4.954 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 4.960 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 4.967 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 4.986 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 5.001 * [approximate]: Approximating (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in (alpha beta i) around 0 5.016 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 5.018 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 5.023 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 5.037 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 5.051 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 5.062 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 5.087 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 5.120 * * * [progress]: simplifying candidates 5.122 * [simplify]: Simplifying using # : (* (exp (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))) (exp 1.0)) (log (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (exp (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (* (cbrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (cbrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0))) (cbrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (* (* (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0) (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (sqrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (sqrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (+ (pow (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 3) (pow 1.0 3)) (+ (* (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))) (- (* 1.0 1.0) (* (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0))) (- (* (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))) (* 1.0 1.0)) (- (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0) (log (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (cbrt (+ (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (- (* 2.0 2.0) (* (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (cbrt (- (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (cbrt (+ (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (- (* 2.0 2.0) (* (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (cbrt (- (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (cbrt (+ (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (- (* 2.0 2.0) (* (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (cbrt (- (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (- (+ 1.0 (* 0.25 (pow alpha 2))) (* 0.25 (pow beta 2))) (- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2)))) (- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2)))) (+ (* 1/3 (* alpha (pow 0.25 1/3))) (+ (* 1/3 (* (pow 0.25 1/3) beta)) (pow 2.0 1/3))) (- (+ (* 0.6666666666666666 (pow (/ 1 (pow alpha 2)) 1/3)) (pow (/ 1 alpha) -1/3)) (* 0.4444444444444444 (pow (/ 1 (pow alpha 5)) 1/3))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (* 0.6666666666666666 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) alpha))) (* 0.4444444444444444 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (pow alpha 2)))) (+ (* 1/3 (* alpha (pow 0.25 1/3))) (+ (* 1/3 (* (pow 0.25 1/3) beta)) (pow 2.0 1/3))) (- (+ (* 0.6666666666666666 (pow (/ 1 (pow alpha 2)) 1/3)) (pow (/ 1 alpha) -1/3)) (* 0.4444444444444444 (pow (/ 1 (pow alpha 5)) 1/3))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (* 0.6666666666666666 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) alpha))) (* 0.4444444444444444 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (pow alpha 2)))) (+ (* 1/3 (* alpha (pow 0.25 1/3))) (+ (* 1/3 (* (pow 0.25 1/3) beta)) (pow 2.0 1/3))) (- (+ (* 0.6666666666666666 (pow (/ 1 (pow alpha 2)) 1/3)) (pow (/ 1 alpha) -1/3)) (* 0.4444444444444444 (pow (/ 1 (pow alpha 5)) 1/3))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (* 0.6666666666666666 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) alpha))) (* 0.4444444444444444 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (pow alpha 2)))) 5.128 * * [simplify]: iteration 0 : 312 enodes (cost 1064 ) 5.134 * * [simplify]: iteration 1 : 1055 enodes (cost 974 ) 5.155 * * [simplify]: iteration 2 : 5002 enodes (cost 966 ) 5.160 * [simplify]: Simplified to: (exp (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (log (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (exp (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (* (cbrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (cbrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0))) (cbrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (pow (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0) 3) (sqrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (sqrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (+ (pow (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 3) (pow 1.0 3)) (+ (* 1.0 (- 1.0 (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))))) (* (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))))) (- (* (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))) (* 1.0 1.0)) (- (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0) (log (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (cbrt (+ (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (- (* 2.0 2.0) (* (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (cbrt (- (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (cbrt (+ (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (- (* 2.0 2.0) (* (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (cbrt (- (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (cbrt (+ (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (- (* 2.0 2.0) (* (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (cbrt (- (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (+ (* 0.25 (- (pow alpha 2) (pow beta 2))) 1.0) (- (* 8.0 (/ 1 (pow alpha 3))) (- (/ (/ 4.0 alpha) alpha) (* 2.0 (/ 1 alpha)))) (- (* 8.0 (/ 1 (pow alpha 3))) (- (/ (/ 4.0 alpha) alpha) (* 2.0 (/ 1 alpha)))) (+ (pow 2.0 1/3) (* 1/3 (+ (* alpha (pow 0.25 1/3)) (* (pow 0.25 1/3) beta)))) (- (+ (* 0.6666666666666666 (pow (/ 1 (pow alpha 2)) 1/3)) (pow (/ 1 alpha) -1/3)) (* 0.4444444444444444 (pow (/ 1 (pow alpha 5)) 1/3))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (* 0.6666666666666666 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) alpha))) (* 0.4444444444444444 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (pow alpha 2)))) (+ (pow 2.0 1/3) (* 1/3 (+ (* alpha (pow 0.25 1/3)) (* (pow 0.25 1/3) beta)))) (- (+ (* 0.6666666666666666 (pow (/ 1 (pow alpha 2)) 1/3)) (pow (/ 1 alpha) -1/3)) (* 0.4444444444444444 (pow (/ 1 (pow alpha 5)) 1/3))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (* 0.6666666666666666 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) alpha))) (* 0.4444444444444444 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (pow alpha 2)))) (+ (pow 2.0 1/3) (* 1/3 (+ (* alpha (pow 0.25 1/3)) (* (pow 0.25 1/3) beta)))) (- (+ (* 0.6666666666666666 (pow (/ 1 (pow alpha 2)) 1/3)) (pow (/ 1 alpha) -1/3)) (* 0.4444444444444444 (pow (/ 1 (pow alpha 5)) 1/3))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (* 0.6666666666666666 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) alpha))) (* 0.4444444444444444 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (pow alpha 2)))) 5.161 * * * [progress]: adding candidates to table 5.640 * * [progress]: iteration 4 / 4 5.640 * * * [progress]: picking best candidate 5.677 * * * * [pick]: Picked # 5.678 * * * [progress]: localizing error 5.698 * * * [progress]: generating rewritten candidates 5.698 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 5.743 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 2) 5.752 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 2 2) 5.759 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2 1) 5.766 * * * [progress]: generating series expansions 5.767 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 5.767 * [approximate]: Approximating (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in (alpha beta i) around 0 5.774 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in beta 5.775 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 5.781 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in beta 5.786 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 5.800 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in beta 5.811 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 5.823 * [taylor]: Taking taylor expansion of (- (+ (/ (pow beta 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta))))) 1.0) (/ (pow alpha 2) (* (+ alpha (+ (* 2.0 i) beta)) (+ alpha (+ 2.0 (+ (* 2.0 i) beta)))))) in i 5.839 * [approximate]: Approximating (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in (alpha beta i) around 0 5.863 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 5.863 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 5.867 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 5.869 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 5.870 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 5.879 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 5.887 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 5.896 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 5.896 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 5.917 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in beta 5.938 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) (/ 1 (* (pow alpha 2) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))))))) in i 5.954 * [approximate]: Approximating (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in (alpha beta i) around 0 5.986 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 5.986 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 5.990 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 5.992 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 5.995 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 6.004 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 6.012 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 6.022 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 6.022 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 6.040 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in beta 6.065 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 (* (pow alpha 2) (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))))))) (/ 1 (* (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) (* (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta))) (pow beta 2))))) in i 6.080 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 2) 6.080 * [approximate]: Approximating (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in (alpha beta i) around 0 6.082 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in beta 6.083 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 6.089 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in beta 6.090 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 6.098 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 6.106 * [approximate]: Approximating (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in (alpha beta i) around 0 6.115 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 6.115 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 6.117 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 6.123 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 6.128 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 6.136 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 6.158 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 6.173 * [approximate]: Approximating (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in (alpha beta i) around 0 6.189 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 6.190 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 6.196 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 6.206 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 6.224 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 6.236 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 6.260 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 6.291 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 2 2) 6.291 * [approximate]: Approximating (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in (alpha beta i) around 0 6.293 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in beta 6.293 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 6.299 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in beta 6.300 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 6.312 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 6.320 * [approximate]: Approximating (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in (alpha beta i) around 0 6.328 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 6.329 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 6.331 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 6.336 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 6.342 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 6.351 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 6.369 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 6.388 * [approximate]: Approximating (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in (alpha beta i) around 0 6.404 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 6.406 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 6.411 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 6.421 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 6.436 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 6.447 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 6.476 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 6.506 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2 1) 6.506 * [approximate]: Approximating (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in (alpha beta i) around 0 6.508 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in beta 6.508 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 6.514 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in beta 6.516 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 6.524 * [taylor]: Taking taylor expansion of (pow (+ alpha (+ 2.0 (+ (* 2.0 i) beta))) 1/3) in i 6.532 * [approximate]: Approximating (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in (alpha beta i) around 0 6.541 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 6.541 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 6.543 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 6.549 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 6.558 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 6.566 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in beta 6.584 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (+ (/ 1 beta) 2.0))) 1/3) in i 6.600 * [approximate]: Approximating (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in (alpha beta i) around 0 6.616 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 6.617 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 6.623 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 6.636 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 6.652 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 6.663 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in beta 6.688 * [taylor]: Taking taylor expansion of (pow (- 2.0 (+ (/ 1 alpha) (+ (* 2.0 (/ 1 i)) (/ 1 beta)))) 1/3) in i 6.723 * * * [progress]: simplifying candidates 6.724 * [simplify]: Simplifying using # : (* (exp (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))) (exp 1.0)) (log (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (exp (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (* (cbrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (cbrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0))) (cbrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (* (* (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0) (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (sqrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (sqrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (+ (pow (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 3) (pow 1.0 3)) (+ (* (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))) (- (* 1.0 1.0) (* (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0))) (- (* (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))) (* 1.0 1.0)) (- (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0) (log (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (cbrt (+ (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (- (* 2.0 2.0) (* (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (cbrt (- (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (cbrt (+ (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (- (* 2.0 2.0) (* (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (cbrt (- (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (cbrt (+ (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (- (* 2.0 2.0) (* (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (cbrt (- (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (* (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (- (+ 1.0 (* 0.25 (pow alpha 2))) (* 0.25 (pow beta 2))) (- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2)))) (- (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))) (* 4.0 (/ 1 (pow alpha 2)))) (+ (* 1/3 (* alpha (pow 0.25 1/3))) (+ (* 1/3 (* (pow 0.25 1/3) beta)) (pow 2.0 1/3))) (- (+ (* 0.6666666666666666 (pow (/ 1 (pow alpha 2)) 1/3)) (pow (/ 1 alpha) -1/3)) (* 0.4444444444444444 (pow (/ 1 (pow alpha 5)) 1/3))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (* 0.6666666666666666 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) alpha))) (* 0.4444444444444444 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (pow alpha 2)))) (+ (* 1/3 (* alpha (pow 0.25 1/3))) (+ (* 1/3 (* (pow 0.25 1/3) beta)) (pow 2.0 1/3))) (- (+ (* 0.6666666666666666 (pow (/ 1 (pow alpha 2)) 1/3)) (pow (/ 1 alpha) -1/3)) (* 0.4444444444444444 (pow (/ 1 (pow alpha 5)) 1/3))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (* 0.6666666666666666 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) alpha))) (* 0.4444444444444444 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (pow alpha 2)))) (+ (* 1/3 (* alpha (pow 0.25 1/3))) (+ (* 1/3 (* (pow 0.25 1/3) beta)) (pow 2.0 1/3))) (- (+ (* 0.6666666666666666 (pow (/ 1 (pow alpha 2)) 1/3)) (pow (/ 1 alpha) -1/3)) (* 0.4444444444444444 (pow (/ 1 (pow alpha 5)) 1/3))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (* 0.6666666666666666 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) alpha))) (* 0.4444444444444444 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (pow alpha 2)))) 6.730 * * [simplify]: iteration 0 : 312 enodes (cost 1064 ) 6.736 * * [simplify]: iteration 1 : 1055 enodes (cost 974 ) 6.758 * * [simplify]: iteration 2 : 5002 enodes (cost 966 ) 6.762 * [simplify]: Simplified to: (exp (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (log (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (exp (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (* (cbrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (cbrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0))) (cbrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (pow (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0) 3) (sqrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (sqrt (+ (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)) (+ (pow (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 3) (pow 1.0 3)) (+ (* 1.0 (- 1.0 (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))))) (* (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))))) (- (* (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))) (* 1.0 1.0)) (- (* (/ (+ alpha beta) (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0) (log (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (cbrt (+ (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (- (* 2.0 2.0) (* (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (cbrt (- (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (cbrt (+ (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (- (* 2.0 2.0) (* (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (cbrt (- (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (log (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (exp (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (* (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (sqrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt 1) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (cbrt (+ (pow (+ (+ alpha beta) (* 2.0 i)) 3) (pow 2.0 3))) (cbrt (+ (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (- (* 2.0 2.0) (* (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) (* 2.0 2.0))) (cbrt (- (+ (+ alpha beta) (* 2.0 i)) 2.0)) (* (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) (cbrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (sqrt (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (+ (* 0.25 (- (pow alpha 2) (pow beta 2))) 1.0) (- (* 8.0 (/ 1 (pow alpha 3))) (- (/ (/ 4.0 alpha) alpha) (* 2.0 (/ 1 alpha)))) (- (* 8.0 (/ 1 (pow alpha 3))) (- (/ (/ 4.0 alpha) alpha) (* 2.0 (/ 1 alpha)))) (+ (pow 2.0 1/3) (* 1/3 (+ (* alpha (pow 0.25 1/3)) (* (pow 0.25 1/3) beta)))) (- (+ (* 0.6666666666666666 (pow (/ 1 (pow alpha 2)) 1/3)) (pow (/ 1 alpha) -1/3)) (* 0.4444444444444444 (pow (/ 1 (pow alpha 5)) 1/3))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (* 0.6666666666666666 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) alpha))) (* 0.4444444444444444 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (pow alpha 2)))) (+ (pow 2.0 1/3) (* 1/3 (+ (* alpha (pow 0.25 1/3)) (* (pow 0.25 1/3) beta)))) (- (+ (* 0.6666666666666666 (pow (/ 1 (pow alpha 2)) 1/3)) (pow (/ 1 alpha) -1/3)) (* 0.4444444444444444 (pow (/ 1 (pow alpha 5)) 1/3))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (* 0.6666666666666666 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) alpha))) (* 0.4444444444444444 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (pow alpha 2)))) (+ (pow 2.0 1/3) (* 1/3 (+ (* alpha (pow 0.25 1/3)) (* (pow 0.25 1/3) beta)))) (- (+ (* 0.6666666666666666 (pow (/ 1 (pow alpha 2)) 1/3)) (pow (/ 1 alpha) -1/3)) (* 0.4444444444444444 (pow (/ 1 (pow alpha 5)) 1/3))) (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (* 0.6666666666666666 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) alpha))) (* 0.4444444444444444 (/ (exp (* 1/3 (- (log -1) (log (/ -1 alpha))))) (pow alpha 2)))) 6.763 * * * [progress]: adding candidates to table 7.513 * [progress]: [Phase 3 of 3] Extracting. 7.513 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 7.519 * * * [regime-changes]: Trying 6 branch expressions: ((* 2.0 i) (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) i beta alpha) 7.519 * * * * [regimes]: Trying to branch on (* 2.0 i) from (# # # # # # # # #) 7.619 * * * * [regimes]: Trying to branch on (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) from (# # # # # # # # #) 7.705 * * * * [regimes]: Trying to branch on (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) from (# # # # # # # # #) 7.787 * * * * [regimes]: Trying to branch on i from (# # # # # # # # #) 7.888 * * * * [regimes]: Trying to branch on beta from (# # # # # # # # #) 7.975 * * * * [regimes]: Trying to branch on alpha from (# # # # # # # # #) 8.087 * * * [regime]: Found split indices: #