5.787 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.049 * * * [progress]: [2/2] Setting up program. 0.052 * [progress]: [Phase 2 of 3] Improving. 0.052 * [simplify]: Simplifying: (/ (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0) 2.0) 0.052 * * [simplify]: Extracting # 0 : cost 0 0.052 * * [simplify]: Extracting # 1 : cost 0 0.052 * * [simplify]: Extracting # 2 : cost 0 0.052 * * [simplify]: Extracting # 3 : cost 0 0.052 * * [simplify]: Extracting # 4 : cost 0 0.052 * * [simplify]: Extracting # 5 : cost 0 0.052 * * [simplify]: Extracting # 6 : cost 0 0.052 * * [simplify]: Extracting # 7 : cost 0 0.052 * * [simplify]: Extracting # 8 : cost 0 0.052 * * [simplify]: Extracting # 9 : cost 0 0.052 * * [simplify]: Extracting # 10 : cost 0 0.052 * * [simplify]: iteration 0 : 15 enodes (cost 29 ) 0.055 * * [simplify]: Extracting # 0 : cost 0 0.055 * * [simplify]: Extracting # 1 : cost 0 0.055 * * [simplify]: Extracting # 2 : cost 0 0.055 * * [simplify]: iteration 1 : 31 enodes (cost 29 ) 0.061 * * [simplify]: Extracting # 0 : cost 0 0.061 * * [simplify]: Extracting # 1 : cost 0 0.061 * * [simplify]: Extracting # 2 : cost 0 0.061 * * [simplify]: Extracting # 3 : cost 0 0.061 * * [simplify]: Extracting # 4 : cost 0 0.061 * * [simplify]: iteration 2 : 106 enodes (cost 27 ) 0.110 * * [simplify]: Extracting # 0 : cost 0 0.111 * * [simplify]: Extracting # 1 : cost 0 0.112 * * [simplify]: Extracting # 2 : cost 0 0.114 * * [simplify]: iteration 3 : 477 enodes (cost 26 ) 0.803 * * [simplify]: Extracting # 0 : cost 0 0.805 * * [simplify]: Extracting # 1 : cost 0 0.807 * * [simplify]: Extracting # 2 : cost 0 0.809 * * [simplify]: iteration 4 : 2270 enodes (cost 26 ) 3.060 * * [simplify]: Extracting # 0 : cost 0 3.067 * * [simplify]: Extracting # 1 : cost 0 3.076 * * [simplify]: Extracting # 2 : cost 0 3.083 * * [simplify]: Extracting # 3 : cost 0 3.096 * * [simplify]: iteration done: 5001 enodes (cost 26 ) 3.097 * [simplify]: Simplified to: (/ (fma (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta))) 1.0) 2.0) 3.103 * * [progress]: iteration 1 / 4 3.103 * * * [progress]: picking best candidate 3.110 * * * * [pick]: Picked # 3.110 * * * [progress]: localizing error 3.134 * * * [progress]: generating rewritten candidates 3.134 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 3.134 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 3.159 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 3.188 * * * [progress]: generating series expansions 3.188 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 3.189 * [backup-simplify]: Simplify (fma (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta))) 1.0) into (fma (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta))) 1.0) 3.189 * [approximate]: Taking taylor expansion of (fma (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta))) 1.0) in (beta alpha i) around 0 3.189 * [taylor]: Taking taylor expansion of (fma (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta))) 1.0) in i 3.189 * [taylor]: Rewrote expression to (+ (* (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta)))) 1.0) 3.189 * [taylor]: Taking taylor expansion of (* (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta)))) in i 3.189 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) in i 3.189 * [taylor]: Taking taylor expansion of (- beta alpha) in i 3.189 * [taylor]: Taking taylor expansion of beta in i 3.189 * [backup-simplify]: Simplify beta into beta 3.189 * [taylor]: Taking taylor expansion of alpha in i 3.189 * [backup-simplify]: Simplify alpha into alpha 3.189 * [taylor]: Taking taylor expansion of (+ (fma 2.0 i (+ alpha beta)) 2.0) in i 3.189 * [taylor]: Taking taylor expansion of (fma 2.0 i (+ alpha beta)) in i 3.189 * [taylor]: Rewrote expression to (+ (* 2.0 i) (+ alpha beta)) 3.189 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 3.189 * [taylor]: Taking taylor expansion of 2.0 in i 3.189 * [backup-simplify]: Simplify 2.0 into 2.0 3.189 * [taylor]: Taking taylor expansion of i in i 3.189 * [backup-simplify]: Simplify 0 into 0 3.189 * [backup-simplify]: Simplify 1 into 1 3.189 * [taylor]: Taking taylor expansion of (+ alpha beta) in i 3.189 * [taylor]: Taking taylor expansion of alpha in i 3.189 * [backup-simplify]: Simplify alpha into alpha 3.189 * [taylor]: Taking taylor expansion of beta in i 3.189 * [backup-simplify]: Simplify beta into beta 3.189 * [taylor]: Taking taylor expansion of 2.0 in i 3.189 * [backup-simplify]: Simplify 2.0 into 2.0 3.190 * [backup-simplify]: Simplify (- alpha) into (- alpha) 3.190 * [backup-simplify]: Simplify (+ beta (- alpha)) into (- beta alpha) 3.190 * [backup-simplify]: Simplify (* 2.0 0) into 0 3.190 * [backup-simplify]: Simplify (+ alpha beta) into (+ alpha beta) 3.190 * [backup-simplify]: Simplify (+ 0 (+ alpha beta)) into (+ alpha beta) 3.190 * [backup-simplify]: Simplify (+ (+ alpha beta) 2.0) into (+ alpha (+ 2.0 beta)) 3.191 * [backup-simplify]: Simplify (/ (- beta alpha) (+ alpha (+ 2.0 beta))) into (/ (- beta alpha) (+ alpha (+ 2.0 beta))) 3.191 * [taylor]: Taking taylor expansion of (/ (+ alpha beta) (fma 2.0 i (+ alpha beta))) in i 3.191 * [taylor]: Taking taylor expansion of (+ alpha beta) in i 3.191 * [taylor]: Taking taylor expansion of alpha in i 3.191 * [backup-simplify]: Simplify alpha into alpha 3.191 * [taylor]: Taking taylor expansion of beta in i 3.191 * [backup-simplify]: Simplify beta into beta 3.191 * [taylor]: Taking taylor expansion of (fma 2.0 i (+ alpha beta)) in i 3.191 * [taylor]: Rewrote expression to (+ (* 2.0 i) (+ alpha beta)) 3.191 * [taylor]: Taking taylor expansion of (* 2.0 i) in i 3.191 * [taylor]: Taking taylor expansion of 2.0 in i 3.191 * [backup-simplify]: Simplify 2.0 into 2.0 3.191 * [taylor]: Taking taylor expansion of i in i 3.191 * [backup-simplify]: Simplify 0 into 0 3.191 * [backup-simplify]: Simplify 1 into 1 3.191 * [taylor]: Taking taylor expansion of (+ alpha beta) in i 3.191 * [taylor]: Taking taylor expansion of alpha in i 3.191 * [backup-simplify]: Simplify alpha into alpha 3.191 * [taylor]: Taking taylor expansion of beta in i 3.191 * [backup-simplify]: Simplify beta into beta 3.191 * [backup-simplify]: Simplify (+ alpha beta) into (+ alpha beta) 3.191 * [backup-simplify]: Simplify (* 2.0 0) into 0 3.191 * [backup-simplify]: Simplify (+ alpha beta) into (+ alpha beta) 3.191 * [backup-simplify]: Simplify (+ 0 (+ alpha beta)) into (+ alpha beta) 3.192 * [backup-simplify]: Simplify (/ (+ alpha beta) (+ alpha beta)) into 1 3.192 * [taylor]: Taking taylor expansion of 1.0 in i 3.192 * [backup-simplify]: Simplify 1.0 into 1.0 3.192 * [taylor]: Taking taylor expansion of (fma (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta))) 1.0) in alpha 3.192 * [taylor]: Rewrote expression to (+ (* (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta)))) 1.0) 3.192 * [taylor]: Taking taylor expansion of (* (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta)))) in alpha 3.192 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) in alpha 3.192 * [taylor]: Taking taylor expansion of (- beta alpha) in alpha 3.192 * [taylor]: Taking taylor expansion of beta in alpha 3.192 * [backup-simplify]: Simplify beta into beta 3.192 * [taylor]: Taking taylor expansion of alpha in alpha 3.192 * [backup-simplify]: Simplify 0 into 0 3.192 * [backup-simplify]: Simplify 1 into 1 3.192 * [taylor]: Taking taylor expansion of (+ (fma 2.0 i (+ alpha beta)) 2.0) in alpha 3.192 * [taylor]: Taking taylor expansion of (fma 2.0 i (+ alpha beta)) in alpha 3.192 * [taylor]: Rewrote expression to (+ (* 2.0 i) (+ alpha beta)) 3.192 * [taylor]: Taking taylor expansion of (* 2.0 i) in alpha 3.192 * [taylor]: Taking taylor expansion of 2.0 in alpha 3.192 * [backup-simplify]: Simplify 2.0 into 2.0 3.192 * [taylor]: Taking taylor expansion of i in alpha 3.192 * [backup-simplify]: Simplify i into i 3.192 * [taylor]: Taking taylor expansion of (+ alpha beta) in alpha 3.192 * [taylor]: Taking taylor expansion of alpha in alpha 3.192 * [backup-simplify]: Simplify 0 into 0 3.192 * [backup-simplify]: Simplify 1 into 1 3.192 * [taylor]: Taking taylor expansion of beta in alpha 3.192 * [backup-simplify]: Simplify beta into beta 3.192 * [taylor]: Taking taylor expansion of 2.0 in alpha 3.192 * [backup-simplify]: Simplify 2.0 into 2.0 3.192 * [backup-simplify]: Simplify (- 0) into 0 3.192 * [backup-simplify]: Simplify (+ beta 0) into beta 3.193 * [backup-simplify]: Simplify (* 2.0 i) into (* 2.0 i) 3.193 * [backup-simplify]: Simplify (+ 0 beta) into beta 3.193 * [backup-simplify]: Simplify (+ (* 2.0 i) beta) into (+ (* 2.0 i) beta) 3.193 * [backup-simplify]: Simplify (+ (+ (* 2.0 i) beta) 2.0) into (+ 2.0 (+ (* 2.0 i) beta)) 3.193 * [backup-simplify]: Simplify (/ beta (+ 2.0 (+ (* 2.0 i) beta))) into (/ beta (+ (* 2.0 i) (+ beta 2.0))) 3.193 * [taylor]: Taking taylor expansion of (/ (+ alpha beta) (fma 2.0 i (+ alpha beta))) in alpha 3.193 * [taylor]: Taking taylor expansion of (+ alpha beta) in alpha 3.193 * [taylor]: Taking taylor expansion of alpha in alpha 3.193 * [backup-simplify]: Simplify 0 into 0 3.193 * [backup-simplify]: Simplify 1 into 1 3.193 * [taylor]: Taking taylor expansion of beta in alpha 3.193 * [backup-simplify]: Simplify beta into beta 3.193 * [taylor]: Taking taylor expansion of (fma 2.0 i (+ alpha beta)) in alpha 3.193 * [taylor]: Rewrote expression to (+ (* 2.0 i) (+ alpha beta)) 3.193 * [taylor]: Taking taylor expansion of (* 2.0 i) in alpha 3.193 * [taylor]: Taking taylor expansion of 2.0 in alpha 3.193 * [backup-simplify]: Simplify 2.0 into 2.0 3.193 * [taylor]: Taking taylor expansion of i in alpha 3.193 * [backup-simplify]: Simplify i into i 3.193 * [taylor]: Taking taylor expansion of (+ alpha beta) in alpha 3.193 * [taylor]: Taking taylor expansion of alpha in alpha 3.193 * [backup-simplify]: Simplify 0 into 0 3.193 * [backup-simplify]: Simplify 1 into 1 3.193 * [taylor]: Taking taylor expansion of beta in alpha 3.193 * [backup-simplify]: Simplify beta into beta 3.193 * [backup-simplify]: Simplify (+ 0 beta) into beta 3.193 * [backup-simplify]: Simplify (* 2.0 i) into (* 2.0 i) 3.193 * [backup-simplify]: Simplify (+ 0 beta) into beta 3.193 * [backup-simplify]: Simplify (+ (* 2.0 i) beta) into (+ (* 2.0 i) beta) 3.193 * [backup-simplify]: Simplify (/ beta (+ (* 2.0 i) beta)) into (/ beta (+ (* 2.0 i) beta)) 3.193 * [taylor]: Taking taylor expansion of 1.0 in alpha 3.193 * [backup-simplify]: Simplify 1.0 into 1.0 3.193 * [taylor]: Taking taylor expansion of (fma (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta))) 1.0) in beta 3.194 * [taylor]: Rewrote expression to (+ (* (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta)))) 1.0) 3.194 * [taylor]: Taking taylor expansion of (* (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta)))) in beta 3.194 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) in beta 3.194 * [taylor]: Taking taylor expansion of (- beta alpha) in beta 3.194 * [taylor]: Taking taylor expansion of beta in beta 3.194 * [backup-simplify]: Simplify 0 into 0 3.194 * [backup-simplify]: Simplify 1 into 1 3.194 * [taylor]: Taking taylor expansion of alpha in beta 3.194 * [backup-simplify]: Simplify alpha into alpha 3.194 * [taylor]: Taking taylor expansion of (+ (fma 2.0 i (+ alpha beta)) 2.0) in beta 3.194 * [taylor]: Taking taylor expansion of (fma 2.0 i (+ alpha beta)) in beta 3.194 * [taylor]: Rewrote expression to (+ (* 2.0 i) (+ alpha beta)) 3.194 * [taylor]: Taking taylor expansion of (* 2.0 i) in beta 3.194 * [taylor]: Taking taylor expansion of 2.0 in beta 3.194 * [backup-simplify]: Simplify 2.0 into 2.0 3.194 * [taylor]: Taking taylor expansion of i in beta 3.194 * [backup-simplify]: Simplify i into i 3.194 * [taylor]: Taking taylor expansion of (+ alpha beta) in beta 3.194 * [taylor]: Taking taylor expansion of alpha in beta 3.194 * [backup-simplify]: Simplify alpha into alpha 3.194 * [taylor]: Taking taylor expansion of beta in beta 3.194 * [backup-simplify]: Simplify 0 into 0 3.194 * [backup-simplify]: Simplify 1 into 1 3.194 * [taylor]: Taking taylor expansion of 2.0 in beta 3.194 * [backup-simplify]: Simplify 2.0 into 2.0 3.194 * [backup-simplify]: Simplify (- alpha) into (- alpha) 3.194 * [backup-simplify]: Simplify (+ 0 (- alpha)) into (- alpha) 3.194 * [backup-simplify]: Simplify (* 2.0 i) into (* 2.0 i) 3.194 * [backup-simplify]: Simplify (+ alpha 0) into alpha 3.194 * [backup-simplify]: Simplify (+ (* 2.0 i) alpha) into (+ alpha (* 2.0 i)) 3.194 * [backup-simplify]: Simplify (+ (+ alpha (* 2.0 i)) 2.0) into (+ alpha (+ (* 2.0 i) 2.0)) 3.194 * [backup-simplify]: Simplify (/ (- alpha) (+ alpha (+ (* 2.0 i) 2.0))) into (* -1 (/ alpha (+ alpha (+ (* 2.0 i) 2.0)))) 3.194 * [taylor]: Taking taylor expansion of (/ (+ alpha beta) (fma 2.0 i (+ alpha beta))) in beta 3.194 * [taylor]: Taking taylor expansion of (+ alpha beta) in beta 3.194 * [taylor]: Taking taylor expansion of alpha in beta 3.195 * [backup-simplify]: Simplify alpha into alpha 3.195 * [taylor]: Taking taylor expansion of beta in beta 3.195 * [backup-simplify]: Simplify 0 into 0 3.195 * [backup-simplify]: Simplify 1 into 1 3.195 * [taylor]: Taking taylor expansion of (fma 2.0 i (+ alpha beta)) in beta 3.195 * [taylor]: Rewrote expression to (+ (* 2.0 i) (+ alpha beta)) 3.195 * [taylor]: Taking taylor expansion of (* 2.0 i) in beta 3.195 * [taylor]: Taking taylor expansion of 2.0 in beta 3.195 * [backup-simplify]: Simplify 2.0 into 2.0 3.195 * [taylor]: Taking taylor expansion of i in beta 3.195 * [backup-simplify]: Simplify i into i 3.195 * [taylor]: Taking taylor expansion of (+ alpha beta) in beta 3.195 * [taylor]: Taking taylor expansion of alpha in beta 3.195 * [backup-simplify]: Simplify alpha into alpha 3.195 * [taylor]: Taking taylor expansion of beta in beta 3.195 * [backup-simplify]: Simplify 0 into 0 3.195 * [backup-simplify]: Simplify 1 into 1 3.195 * [backup-simplify]: Simplify (+ alpha 0) into alpha 3.195 * [backup-simplify]: Simplify (* 2.0 i) into (* 2.0 i) 3.195 * [backup-simplify]: Simplify (+ alpha 0) into alpha 3.195 * [backup-simplify]: Simplify (+ (* 2.0 i) alpha) into (+ alpha (* 2.0 i)) 3.195 * [backup-simplify]: Simplify (/ alpha (+ alpha (* 2.0 i))) into (/ alpha (+ alpha (* 2.0 i))) 3.195 * [taylor]: Taking taylor expansion of 1.0 in beta 3.195 * [backup-simplify]: Simplify 1.0 into 1.0 3.195 * [taylor]: Taking taylor expansion of (fma (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta))) 1.0) in beta 3.195 * [taylor]: Rewrote expression to (+ (* (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta)))) 1.0) 3.195 * [taylor]: Taking taylor expansion of (* (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) (/ (+ alpha beta) (fma 2.0 i (+ alpha beta)))) in beta 3.195 * [taylor]: Taking taylor expansion of (/ (- beta alpha) (+ (fma 2.0 i (+ alpha beta)) 2.0)) in beta 3.195 * [taylor]: Taking taylor expansion of (- beta alpha) in beta 3.195 * [taylor]: Taking taylor expansion of beta in beta 3.195 * [backup-simplify]: Simplify 0 into 0 3.195 * [backup-simplify]: Simplify 1 into 1 3.195 * [taylor]: Taking taylor expansion of alpha in beta 3.195 * [backup-simplify]: Simplify alpha into alpha 3.195 * [taylor]: Taking taylor expansion of (+ (fma 2.0 i (+ alpha beta)) 2.0) in beta 3.195 * [taylor]: Taking taylor expansion of (fma 2.0 i (+ alpha beta)) in beta 3.195 * [taylor]: Rewrote expression to (+ (* 2.0 i) (+ alpha beta)) 3.196 * [taylor]: Taking taylor expansion of (* 2.0 i) in beta 3.196 * [taylor]: Taking taylor expansion of 2.0 in beta 3.196 * [backup-simplify]: Simplify 2.0 into 2.0 3.196 * [taylor]: Taking taylor expansion of i in beta 3.196 * [backup-simplify]: Simplify i into i 3.196 * [taylor]: Taking taylor expansion of (+ alpha beta) in beta 3.196 * [taylor]: Taking taylor expansion of alpha in beta 3.196 * [backup-simplify]: Simplify alpha into alpha 3.196 * [taylor]: Taking taylor expansion of beta in beta 3.196 * [backup-simplify]: Simplify 0 into 0 3.196 * [backup-simplify]: Simplify 1 into 1 3.196 * [taylor]: Taking taylor expansion of 2.0 in beta 3.196 * [backup-simplify]: Simplify 2.0 into 2.0 3.196 * [backup-simplify]: Simplify (- alpha) into (- alpha) 3.196 * [backup-simplify]: Simplify (+ 0 (- alpha)) into (- alpha) 3.196 * [backup-simplify]: Simplify (* 2.0 i) into (* 2.0 i) 3.196 * [backup-simplify]: Simplify (+ alpha 0) into alpha 3.196 * [backup-simplify]: Simplify (+ (* 2.0 i) alpha) into (+ alpha (* 2.0 i)) 3.196 * [backup-simplify]: Simplify (+ (+ alpha (* 2.0 i)) 2.0) into (+ alpha (+ (* 2.0 i) 2.0)) 3.196 * [backup-simplify]: Simplify (/ (- alpha) (+ alpha (+ (* 2.0 i) 2.0))) into (* -1 (/ alpha (+ alpha (+ (* 2.0 i) 2.0)))) 3.196 * [taylor]: Taking taylor expansion of (/ (+ alpha beta) (fma 2.0 i (+ alpha beta))) in beta 3.196 * [taylor]: Taking taylor expansion of (+ alpha beta) in beta 3.196 * [taylor]: Taking taylor expansion of alpha in beta 3.196 * [backup-simplify]: Simplify alpha into alpha 3.196 * [taylor]: Taking taylor expansion of beta in beta 3.196 * [backup-simplify]: Simplify 0 into 0 3.196 * [backup-simplify]: Simplify 1 into 1 3.196 * [taylor]: Taking taylor expansion of (fma 2.0 i (+ alpha beta)) in beta 3.196 * [taylor]: Rewrote expression to (+ (* 2.0 i) (+ alpha beta)) 3.196 * [taylor]: Taking taylor expansion of (* 2.0 i) in beta 3.196 * [taylor]: Taking taylor expansion of 2.0 in beta 3.196 * [backup-simplify]: Simplify 2.0 into 2.0 3.196 * [taylor]: Taking taylor expansion of i in beta 3.196 * [backup-simplify]: Simplify i into i 3.196 * [taylor]: Taking taylor expansion of (+ alpha beta) in beta 3.196 * [taylor]: Taking taylor expansion of alpha in beta 3.196 * [backup-simplify]: Simplify alpha into alpha 3.196 * [taylor]: Taking taylor expansion of beta in beta 3.196 * [backup-simplify]: Simplify 0 into 0 3.196 * [backup-simplify]: Simplify 1 into 1 3.196 * [backup-simplify]: Simplify (+ alpha 0) into alpha 3.197 * [backup-simplify]: Simplify (* 2.0 i) into (* 2.0 i) 3.197 * [backup-simplify]: Simplify (+ alpha 0) into alpha 3.197 * [backup-simplify]: Simplify (+ (* 2.0 i) alpha) into (+ alpha (* 2.0 i)) 3.197 * [backup-simplify]: Simplify (/ alpha (+ alpha (* 2.0 i))) into (/ alpha (+ alpha (* 2.0 i))) 3.197 * [taylor]: Taking taylor expansion of 1.0 in beta 3.197 * [backup-simplify]: Simplify 1.0 into 1.0