25.211 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.034 * * * [progress]: [2/2] Setting up program. 0.040 * [progress]: [Phase 2 of 3] Improving. 0.040 * [simplify]: Simplifying: (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) 0.040 * * [simplify]: iteration 0: 10 enodes 0.054 * * [simplify]: iteration 1: 31 enodes 0.072 * * [simplify]: iteration 2: 153 enodes 0.203 * * [simplify]: iteration 3: 745 enodes 1.688 * * [simplify]: iteration 4: 4112 enodes 3.702 * * [simplify]: iteration complete: 5261 enodes 3.702 * * [simplify]: Extracting #0: cost 1 inf + 0 3.703 * * [simplify]: Extracting #1: cost 372 inf + 0 3.710 * * [simplify]: Extracting #2: cost 1225 inf + 790 3.735 * * [simplify]: Extracting #3: cost 1000 inf + 55475 3.812 * * [simplify]: Extracting #4: cost 725 inf + 205129 3.888 * * [simplify]: Extracting #5: cost 3 inf + 316705 3.956 * * [simplify]: Extracting #6: cost 0 inf + 314439 4.057 * [simplify]: Simplified to: (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 4.066 * * [progress]: iteration 1 / 4 4.066 * * * [progress]: picking best candidate 4.076 * * * * [pick]: Picked # 4.076 * * * [progress]: localizing error 4.095 * * * [progress]: generating rewritten candidates 4.095 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.142 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 4.161 * * * [progress]: generating series expansions 4.161 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.162 * [backup-simplify]: Simplify (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) into (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) 4.162 * [approximate]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in (i) around 0 4.162 * [taylor]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in i 4.162 * [taylor]: Taking taylor expansion of 0.25 in i 4.162 * [backup-simplify]: Simplify 0.25 into 0.25 4.162 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 i) (* 1.0 (/ 1 i)))) in i 4.162 * [taylor]: Taking taylor expansion of i in i 4.162 * [backup-simplify]: Simplify 0 into 0 4.162 * [backup-simplify]: Simplify 1 into 1 4.162 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 4.162 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 4.162 * [taylor]: Taking taylor expansion of 4.0 in i 4.162 * [backup-simplify]: Simplify 4.0 into 4.0 4.162 * [taylor]: Taking taylor expansion of i in i 4.162 * [backup-simplify]: Simplify 0 into 0 4.162 * [backup-simplify]: Simplify 1 into 1 4.162 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 4.162 * [taylor]: Taking taylor expansion of 1.0 in i 4.162 * [backup-simplify]: Simplify 1.0 into 1.0 4.162 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.162 * [taylor]: Taking taylor expansion of i in i 4.162 * [backup-simplify]: Simplify 0 into 0 4.162 * [backup-simplify]: Simplify 1 into 1 4.163 * [backup-simplify]: Simplify (/ 1 1) into 1 4.163 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.163 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.164 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.164 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 4.164 * [taylor]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in i 4.164 * [taylor]: Taking taylor expansion of 0.25 in i 4.165 * [backup-simplify]: Simplify 0.25 into 0.25 4.165 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 i) (* 1.0 (/ 1 i)))) in i 4.165 * [taylor]: Taking taylor expansion of i in i 4.165 * [backup-simplify]: Simplify 0 into 0 4.165 * [backup-simplify]: Simplify 1 into 1 4.165 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 4.165 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 4.165 * [taylor]: Taking taylor expansion of 4.0 in i 4.165 * [backup-simplify]: Simplify 4.0 into 4.0 4.165 * [taylor]: Taking taylor expansion of i in i 4.165 * [backup-simplify]: Simplify 0 into 0 4.165 * [backup-simplify]: Simplify 1 into 1 4.165 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 4.165 * [taylor]: Taking taylor expansion of 1.0 in i 4.165 * [backup-simplify]: Simplify 1.0 into 1.0 4.165 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.165 * [taylor]: Taking taylor expansion of i in i 4.165 * [backup-simplify]: Simplify 0 into 0 4.165 * [backup-simplify]: Simplify 1 into 1 4.165 * [backup-simplify]: Simplify (/ 1 1) into 1 4.165 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.166 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.166 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.167 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 4.168 * [backup-simplify]: Simplify (* 0.25 -1.0) into -0.25 4.168 * [backup-simplify]: Simplify -0.25 into -0.25 4.168 * [backup-simplify]: Simplify (* 4.0 0) into 0 4.169 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.170 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.170 * [backup-simplify]: Simplify (- 0) into 0 4.170 * [backup-simplify]: Simplify (+ 0 0) into 0 4.171 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0 4.172 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 -1.0)) into 0 4.172 * [backup-simplify]: Simplify 0 into 0 4.174 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 4.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.175 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 4.176 * [backup-simplify]: Simplify (- 0) into 0 4.176 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 4.181 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0) 4.183 * [backup-simplify]: Simplify (+ (* 0.25 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0) 4.184 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.185 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0 4.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.187 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.187 * [backup-simplify]: Simplify (- 0) into 0 4.187 * [backup-simplify]: Simplify (+ 0 0) into 0 4.189 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4.0 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0 4.190 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0 4.190 * [backup-simplify]: Simplify 0 into 0 4.192 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.194 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.194 * [backup-simplify]: Simplify (- 0) into 0 4.194 * [backup-simplify]: Simplify (+ 0 0) into 0 4.201 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* (- 4.0) (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 16.0) 4.205 * [backup-simplify]: Simplify (+ (* 0.25 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0) 4.206 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 4.208 * [backup-simplify]: Simplify (+ (* (- 4.0) (pow i 6)) (+ (* (- 1.0) (pow i 4)) (* -0.25 (pow i 2)))) into (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 4.209 * [backup-simplify]: Simplify (/ (/ 1 i) (* (* 2.0 2.0) (- (* (* 2.0 2.0) (/ 1 i)) (/ 1.0 (/ 1 i))))) into (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) 4.209 * [approximate]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in (i) around 0 4.209 * [taylor]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in i 4.209 * [taylor]: Taking taylor expansion of 0.25 in i 4.209 * [backup-simplify]: Simplify 0.25 into 0.25 4.209 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 i)) (* 1.0 i))) in i 4.209 * [taylor]: Taking taylor expansion of i in i 4.209 * [backup-simplify]: Simplify 0 into 0 4.209 * [backup-simplify]: Simplify 1 into 1 4.209 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 4.209 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 4.209 * [taylor]: Taking taylor expansion of 4.0 in i 4.209 * [backup-simplify]: Simplify 4.0 into 4.0 4.209 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.209 * [taylor]: Taking taylor expansion of i in i 4.209 * [backup-simplify]: Simplify 0 into 0 4.209 * [backup-simplify]: Simplify 1 into 1 4.209 * [backup-simplify]: Simplify (/ 1 1) into 1 4.209 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 4.209 * [taylor]: Taking taylor expansion of 1.0 in i 4.209 * [backup-simplify]: Simplify 1.0 into 1.0 4.209 * [taylor]: Taking taylor expansion of i in i 4.210 * [backup-simplify]: Simplify 0 into 0 4.210 * [backup-simplify]: Simplify 1 into 1 4.210 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 4.210 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 4.210 * [backup-simplify]: Simplify (* 0 4.0) into 0 4.211 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.211 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 4.212 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.212 * [backup-simplify]: Simplify (- 0) into 0 4.212 * [backup-simplify]: Simplify (+ 0 0) into 0 4.213 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 4.0)) into 4.0 4.213 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625 4.213 * [taylor]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in i 4.213 * [taylor]: Taking taylor expansion of 0.25 in i 4.213 * [backup-simplify]: Simplify 0.25 into 0.25 4.213 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 i)) (* 1.0 i))) in i 4.213 * [taylor]: Taking taylor expansion of i in i 4.213 * [backup-simplify]: Simplify 0 into 0 4.213 * [backup-simplify]: Simplify 1 into 1 4.213 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 4.213 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 4.213 * [taylor]: Taking taylor expansion of 4.0 in i 4.213 * [backup-simplify]: Simplify 4.0 into 4.0 4.213 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.213 * [taylor]: Taking taylor expansion of i in i 4.213 * [backup-simplify]: Simplify 0 into 0 4.214 * [backup-simplify]: Simplify 1 into 1 4.214 * [backup-simplify]: Simplify (/ 1 1) into 1 4.214 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 4.214 * [taylor]: Taking taylor expansion of 1.0 in i 4.214 * [backup-simplify]: Simplify 1.0 into 1.0 4.214 * [taylor]: Taking taylor expansion of i in i 4.214 * [backup-simplify]: Simplify 0 into 0 4.214 * [backup-simplify]: Simplify 1 into 1 4.214 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 4.214 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 4.215 * [backup-simplify]: Simplify (* 0 4.0) into 0 4.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.216 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 4.216 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.216 * [backup-simplify]: Simplify (- 0) into 0 4.216 * [backup-simplify]: Simplify (+ 0 0) into 0 4.217 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 4.0)) into 4.0 4.217 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625 4.218 * [backup-simplify]: Simplify 0.0625 into 0.0625 4.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.219 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0 4.219 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 4.220 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.220 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.221 * [backup-simplify]: Simplify (+ (* 0 (- 1.0)) (+ (* 1 0) (* 0 4.0))) into 0 4.221 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)))) into 0 4.221 * [backup-simplify]: Simplify 0 into 0 4.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.223 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.223 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 4.223 * [backup-simplify]: Simplify (- 0) into 0 4.224 * [backup-simplify]: Simplify (+ 0 0) into 0 4.226 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4.0)))) into (- 1.0) 4.229 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625 4.229 * [backup-simplify]: Simplify 0.015625 into 0.015625 4.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.231 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.232 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.233 * [backup-simplify]: Simplify (- 0) into 0 4.233 * [backup-simplify]: Simplify (+ 0 0) into 0 4.235 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4.0))))) into 0 4.236 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.015625 (/ 0 4.0)))) into 0 4.236 * [backup-simplify]: Simplify 0 into 0 4.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.244 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.245 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.245 * [backup-simplify]: Simplify (- 0) into 0 4.245 * [backup-simplify]: Simplify (+ 0 0) into 0 4.247 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4.0)))))) into 0 4.250 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ 0 4.0)) (* 0.015625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.00390625 4.250 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 4.251 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 i) 4)) (+ (* 0.015625 (pow (/ 1 i) 2)) 0.0625)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 0.0625 (* 0.00390625 (/ 1 (pow i 4))))) 4.251 * [backup-simplify]: Simplify (/ (/ 1 (- i)) (* (* 2.0 2.0) (- (* (* 2.0 2.0) (/ 1 (- i))) (/ 1.0 (/ 1 (- i)))))) into (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) 4.251 * [approximate]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in (i) around 0 4.251 * [taylor]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in i 4.251 * [taylor]: Taking taylor expansion of -0.25 in i 4.251 * [backup-simplify]: Simplify -0.25 into -0.25 4.251 * [taylor]: Taking taylor expansion of (* i (- (* 1.0 i) (* 4.0 (/ 1 i)))) in i 4.251 * [taylor]: Taking taylor expansion of i in i 4.251 * [backup-simplify]: Simplify 0 into 0 4.251 * [backup-simplify]: Simplify 1 into 1 4.252 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 4.252 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 4.252 * [taylor]: Taking taylor expansion of 1.0 in i 4.252 * [backup-simplify]: Simplify 1.0 into 1.0 4.252 * [taylor]: Taking taylor expansion of i in i 4.252 * [backup-simplify]: Simplify 0 into 0 4.252 * [backup-simplify]: Simplify 1 into 1 4.252 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 4.252 * [taylor]: Taking taylor expansion of 4.0 in i 4.252 * [backup-simplify]: Simplify 4.0 into 4.0 4.252 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.252 * [taylor]: Taking taylor expansion of i in i 4.252 * [backup-simplify]: Simplify 0 into 0 4.252 * [backup-simplify]: Simplify 1 into 1 4.252 * [backup-simplify]: Simplify (/ 1 1) into 1 4.252 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 4.252 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 4.253 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0) 4.253 * [backup-simplify]: Simplify (* 0 (- 4.0)) into 0 4.254 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.254 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 4.255 * [backup-simplify]: Simplify (- 0) into 0 4.255 * [backup-simplify]: Simplify (+ 0 0) into 0 4.256 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 4.0))) into (- 4.0) 4.257 * [backup-simplify]: Simplify (/ -0.25 (- 4.0)) into 0.0625 4.257 * [taylor]: Taking taylor expansion of (/ -0.25 (* i (- (* 1.0 i) (* 4.0 (/ 1 i))))) in i 4.257 * [taylor]: Taking taylor expansion of -0.25 in i 4.257 * [backup-simplify]: Simplify -0.25 into -0.25 4.257 * [taylor]: Taking taylor expansion of (* i (- (* 1.0 i) (* 4.0 (/ 1 i)))) in i 4.257 * [taylor]: Taking taylor expansion of i in i 4.257 * [backup-simplify]: Simplify 0 into 0 4.257 * [backup-simplify]: Simplify 1 into 1 4.257 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 4.257 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 4.257 * [taylor]: Taking taylor expansion of 1.0 in i 4.257 * [backup-simplify]: Simplify 1.0 into 1.0 4.257 * [taylor]: Taking taylor expansion of i in i 4.257 * [backup-simplify]: Simplify 0 into 0 4.257 * [backup-simplify]: Simplify 1 into 1 4.257 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 4.257 * [taylor]: Taking taylor expansion of 4.0 in i 4.257 * [backup-simplify]: Simplify 4.0 into 4.0 4.257 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.257 * [taylor]: Taking taylor expansion of i in i 4.257 * [backup-simplify]: Simplify 0 into 0 4.257 * [backup-simplify]: Simplify 1 into 1 4.257 * [backup-simplify]: Simplify (/ 1 1) into 1 4.257 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 4.258 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 4.258 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0) 4.259 * [backup-simplify]: Simplify (* 0 (- 4.0)) into 0 4.259 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.260 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 4.260 * [backup-simplify]: Simplify (- 0) into 0 4.260 * [backup-simplify]: Simplify (+ 0 0) into 0 4.261 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 4.0))) into (- 4.0) 4.262 * [backup-simplify]: Simplify (/ -0.25 (- 4.0)) into 0.0625 4.262 * [backup-simplify]: Simplify 0.0625 into 0.0625 4.263 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 4.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.264 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0 4.264 * [backup-simplify]: Simplify (- 0) into 0 4.265 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.265 * [backup-simplify]: Simplify (+ (* 0 1.0) (+ (* 1 0) (* 0 (- 4.0)))) into 0 4.266 * [backup-simplify]: Simplify (- (/ 0 (- 4.0)) (+ (* 0.0625 (/ 0 (- 4.0))))) into 0 4.266 * [backup-simplify]: Simplify 0 into 0 4.266 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 4.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.268 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.268 * [backup-simplify]: Simplify (- 0) into 0 4.268 * [backup-simplify]: Simplify (+ 0 0) into 0 4.270 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (+ (* 0 0) (* 0 (- 4.0))))) into 1.0 4.273 * [backup-simplify]: Simplify (- (/ 0 (- 4.0)) (+ (* 0.0625 (/ 1.0 (- 4.0))) (* 0 (/ 0 (- 4.0))))) into 0.015625 4.273 * [backup-simplify]: Simplify 0.015625 into 0.015625 4.274 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.275 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.276 * [backup-simplify]: Simplify (- 0) into 0 4.276 * [backup-simplify]: Simplify (+ 0 0) into 0 4.277 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (+ (* 0 0) (* 0 (- 4.0)))))) into 0 4.278 * [backup-simplify]: Simplify (- (/ 0 (- 4.0)) (+ (* 0.0625 (/ 0 (- 4.0))) (* 0 (/ 1.0 (- 4.0))) (* 0.015625 (/ 0 (- 4.0))))) into 0 4.278 * [backup-simplify]: Simplify 0 into 0 4.278 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.280 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.280 * [backup-simplify]: Simplify (- 0) into 0 4.280 * [backup-simplify]: Simplify (+ 0 0) into 0 4.281 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (+ (* 0 0) (* 0 (- 4.0))))))) into 0 4.288 * [backup-simplify]: Simplify (- (/ 0 (- 4.0)) (+ (* 0.0625 (/ 0 (- 4.0))) (* 0 (/ 0 (- 4.0))) (* 0.015625 (/ 1.0 (- 4.0))) (* 0 (/ 0 (- 4.0))))) into 0.00390625 4.288 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 4.289 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 (- i)) 4)) (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 0.0625)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 0.0625 (* 0.00390625 (/ 1 (pow i 4))))) 4.289 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 4.289 * [backup-simplify]: Simplify (- (* (* 2.0 2.0) i) (/ 1.0 i)) into (- (* 4.0 i) (* 1.0 (/ 1 i))) 4.289 * [approximate]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in (i) around 0 4.289 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 4.289 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 4.289 * [taylor]: Taking taylor expansion of 4.0 in i 4.289 * [backup-simplify]: Simplify 4.0 into 4.0 4.289 * [taylor]: Taking taylor expansion of i in i 4.289 * [backup-simplify]: Simplify 0 into 0 4.289 * [backup-simplify]: Simplify 1 into 1 4.289 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 4.289 * [taylor]: Taking taylor expansion of 1.0 in i 4.289 * [backup-simplify]: Simplify 1.0 into 1.0 4.289 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.290 * [taylor]: Taking taylor expansion of i in i 4.290 * [backup-simplify]: Simplify 0 into 0 4.290 * [backup-simplify]: Simplify 1 into 1 4.290 * [backup-simplify]: Simplify (/ 1 1) into 1 4.290 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 4.290 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 4.290 * [taylor]: Taking taylor expansion of 4.0 in i 4.290 * [backup-simplify]: Simplify 4.0 into 4.0 4.290 * [taylor]: Taking taylor expansion of i in i 4.290 * [backup-simplify]: Simplify 0 into 0 4.290 * [backup-simplify]: Simplify 1 into 1 4.290 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 4.290 * [taylor]: Taking taylor expansion of 1.0 in i 4.290 * [backup-simplify]: Simplify 1.0 into 1.0 4.290 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.290 * [taylor]: Taking taylor expansion of i in i 4.290 * [backup-simplify]: Simplify 0 into 0 4.290 * [backup-simplify]: Simplify 1 into 1 4.291 * [backup-simplify]: Simplify (/ 1 1) into 1 4.291 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.292 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.292 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.293 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.293 * [backup-simplify]: Simplify (* 4.0 0) into 0 4.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.294 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.294 * [backup-simplify]: Simplify (- 0) into 0 4.295 * [backup-simplify]: Simplify (+ 0 0) into 0 4.295 * [backup-simplify]: Simplify 0 into 0 4.295 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 4.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.296 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 4.297 * [backup-simplify]: Simplify (- 0) into 0 4.297 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 4.297 * [backup-simplify]: Simplify 4.0 into 4.0 4.298 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0 4.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.299 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.299 * [backup-simplify]: Simplify (- 0) into 0 4.299 * [backup-simplify]: Simplify (+ 0 0) into 0 4.299 * [backup-simplify]: Simplify 0 into 0 4.300 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.301 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.302 * [backup-simplify]: Simplify (- 0) into 0 4.302 * [backup-simplify]: Simplify (+ 0 0) into 0 4.302 * [backup-simplify]: Simplify 0 into 0 4.303 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.304 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.304 * [backup-simplify]: Simplify (- 0) into 0 4.305 * [backup-simplify]: Simplify (+ 0 0) into 0 4.305 * [backup-simplify]: Simplify 0 into 0 4.305 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 4.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.307 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.307 * [backup-simplify]: Simplify (- 0) into 0 4.307 * [backup-simplify]: Simplify (+ 0 0) into 0 4.307 * [backup-simplify]: Simplify 0 into 0 4.308 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 4.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.310 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 4.310 * [backup-simplify]: Simplify (- 0) into 0 4.310 * [backup-simplify]: Simplify (+ 0 0) into 0 4.310 * [backup-simplify]: Simplify 0 into 0 4.312 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 4.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.313 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 4.314 * [backup-simplify]: Simplify (- 0) into 0 4.314 * [backup-simplify]: Simplify (+ 0 0) into 0 4.314 * [backup-simplify]: Simplify 0 into 0 4.314 * [backup-simplify]: Simplify (+ (* 4.0 i) (* (- 1.0) (/ 1 i))) into (- (* 4.0 i) (* 1.0 (/ 1 i))) 4.315 * [backup-simplify]: Simplify (- (* (* 2.0 2.0) (/ 1 i)) (/ 1.0 (/ 1 i))) into (- (* 4.0 (/ 1 i)) (* 1.0 i)) 4.315 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in (i) around 0 4.315 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 4.315 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 4.315 * [taylor]: Taking taylor expansion of 4.0 in i 4.315 * [backup-simplify]: Simplify 4.0 into 4.0 4.315 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.315 * [taylor]: Taking taylor expansion of i in i 4.315 * [backup-simplify]: Simplify 0 into 0 4.315 * [backup-simplify]: Simplify 1 into 1 4.315 * [backup-simplify]: Simplify (/ 1 1) into 1 4.315 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 4.315 * [taylor]: Taking taylor expansion of 1.0 in i 4.315 * [backup-simplify]: Simplify 1.0 into 1.0 4.315 * [taylor]: Taking taylor expansion of i in i 4.315 * [backup-simplify]: Simplify 0 into 0 4.315 * [backup-simplify]: Simplify 1 into 1 4.315 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 4.315 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 4.315 * [taylor]: Taking taylor expansion of 4.0 in i 4.315 * [backup-simplify]: Simplify 4.0 into 4.0 4.315 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.315 * [taylor]: Taking taylor expansion of i in i 4.315 * [backup-simplify]: Simplify 0 into 0 4.315 * [backup-simplify]: Simplify 1 into 1 4.316 * [backup-simplify]: Simplify (/ 1 1) into 1 4.316 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 4.316 * [taylor]: Taking taylor expansion of 1.0 in i 4.316 * [backup-simplify]: Simplify 1.0 into 1.0 4.316 * [taylor]: Taking taylor expansion of i in i 4.316 * [backup-simplify]: Simplify 0 into 0 4.316 * [backup-simplify]: Simplify 1 into 1 4.316 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 4.317 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 4.317 * [backup-simplify]: Simplify 4.0 into 4.0 4.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.318 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 4.319 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.319 * [backup-simplify]: Simplify (- 0) into 0 4.319 * [backup-simplify]: Simplify (+ 0 0) into 0 4.319 * [backup-simplify]: Simplify 0 into 0 4.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.321 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0 4.322 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 4.322 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.323 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.323 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.324 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.325 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 4.325 * [backup-simplify]: Simplify (- 0) into 0 4.325 * [backup-simplify]: Simplify (+ 0 0) into 0 4.325 * [backup-simplify]: Simplify 0 into 0 4.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.327 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.327 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.327 * [backup-simplify]: Simplify (- 0) into 0 4.328 * [backup-simplify]: Simplify (+ 0 0) into 0 4.328 * [backup-simplify]: Simplify 0 into 0 4.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.329 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.330 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.330 * [backup-simplify]: Simplify (- 0) into 0 4.331 * [backup-simplify]: Simplify (+ 0 0) into 0 4.331 * [backup-simplify]: Simplify 0 into 0 4.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.333 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.335 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 4.340 * [backup-simplify]: Simplify (- 0) into 0 4.341 * [backup-simplify]: Simplify (+ 0 0) into 0 4.341 * [backup-simplify]: Simplify 0 into 0 4.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.343 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 4.345 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 4.345 * [backup-simplify]: Simplify (- 0) into 0 4.345 * [backup-simplify]: Simplify (+ 0 0) into 0 4.346 * [backup-simplify]: Simplify 0 into 0 4.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.347 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 4.348 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 4.348 * [backup-simplify]: Simplify (- 0) into 0 4.349 * [backup-simplify]: Simplify (+ 0 0) into 0 4.349 * [backup-simplify]: Simplify 0 into 0 4.349 * [backup-simplify]: Simplify (+ (* (- 1.0) (/ 1 i)) (* 4.0 (/ 1 (/ 1 i)))) into (- (* 4.0 i) (* 1.0 (/ 1 i))) 4.349 * [backup-simplify]: Simplify (- (* (* 2.0 2.0) (/ 1 (- i))) (/ 1.0 (/ 1 (- i)))) into (- (* 1.0 i) (* 4.0 (/ 1 i))) 4.349 * [approximate]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in (i) around 0 4.349 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 4.349 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 4.349 * [taylor]: Taking taylor expansion of 1.0 in i 4.349 * [backup-simplify]: Simplify 1.0 into 1.0 4.350 * [taylor]: Taking taylor expansion of i in i 4.350 * [backup-simplify]: Simplify 0 into 0 4.350 * [backup-simplify]: Simplify 1 into 1 4.350 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 4.350 * [taylor]: Taking taylor expansion of 4.0 in i 4.350 * [backup-simplify]: Simplify 4.0 into 4.0 4.350 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.350 * [taylor]: Taking taylor expansion of i in i 4.350 * [backup-simplify]: Simplify 0 into 0 4.350 * [backup-simplify]: Simplify 1 into 1 4.350 * [backup-simplify]: Simplify (/ 1 1) into 1 4.350 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 4.350 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 4.350 * [taylor]: Taking taylor expansion of 1.0 in i 4.350 * [backup-simplify]: Simplify 1.0 into 1.0 4.350 * [taylor]: Taking taylor expansion of i in i 4.350 * [backup-simplify]: Simplify 0 into 0 4.350 * [backup-simplify]: Simplify 1 into 1 4.350 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 4.350 * [taylor]: Taking taylor expansion of 4.0 in i 4.350 * [backup-simplify]: Simplify 4.0 into 4.0 4.350 * [taylor]: Taking taylor expansion of (/ 1 i) in i 4.350 * [taylor]: Taking taylor expansion of i in i 4.350 * [backup-simplify]: Simplify 0 into 0 4.350 * [backup-simplify]: Simplify 1 into 1 4.350 * [backup-simplify]: Simplify (/ 1 1) into 1 4.351 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 4.351 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 4.351 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0) 4.352 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 4.352 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.353 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 4.353 * [backup-simplify]: Simplify (- 0) into 0 4.353 * [backup-simplify]: Simplify (+ 0 0) into 0 4.353 * [backup-simplify]: Simplify 0 into 0 4.354 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 4.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.355 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0 4.355 * [backup-simplify]: Simplify (- 0) into 0 4.356 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.356 * [backup-simplify]: Simplify 1.0 into 1.0 4.356 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 4.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.357 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.358 * [backup-simplify]: Simplify (- 0) into 0 4.358 * [backup-simplify]: Simplify (+ 0 0) into 0 4.358 * [backup-simplify]: Simplify 0 into 0 4.359 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.360 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.360 * [backup-simplify]: Simplify (- 0) into 0 4.360 * [backup-simplify]: Simplify (+ 0 0) into 0 4.360 * [backup-simplify]: Simplify 0 into 0 4.361 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.363 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.363 * [backup-simplify]: Simplify (- 0) into 0 4.363 * [backup-simplify]: Simplify (+ 0 0) into 0 4.363 * [backup-simplify]: Simplify 0 into 0 4.364 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 4.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.365 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.366 * [backup-simplify]: Simplify (- 0) into 0 4.366 * [backup-simplify]: Simplify (+ 0 0) into 0 4.366 * [backup-simplify]: Simplify 0 into 0 4.367 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 4.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.368 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 4.368 * [backup-simplify]: Simplify (- 0) into 0 4.369 * [backup-simplify]: Simplify (+ 0 0) into 0 4.369 * [backup-simplify]: Simplify 0 into 0 4.370 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 4.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.371 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 4.372 * [backup-simplify]: Simplify (- 0) into 0 4.372 * [backup-simplify]: Simplify (+ 0 0) into 0 4.372 * [backup-simplify]: Simplify 0 into 0 4.372 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 (- i))) (* (- 4.0) (/ 1 (/ 1 (- i))))) into (- (* 4.0 i) (* 1.0 (/ 1 i))) 4.372 * * * [progress]: simplifying candidates 4.373 * [simplify]: Simplifying: (- (log i) (+ (+ (log 2.0) (log 2.0)) (log (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (- (log i) (+ (log (* 2.0 2.0)) (log (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (- (log i) (log (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (log (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (exp (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (* (* i i) i) (* (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0)) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (* (* i i) i) (* (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0)) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (* (* i i) i) (* (* (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (cbrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (cbrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (cbrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (* (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (sqrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (sqrt (/ i (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (- i) (- (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (cbrt i) (cbrt i)) (* 2.0 2.0)) (/ (cbrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ 1 (* 2.0 2.0)) (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ 1 (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) i) (/ i (* 2.0 2.0)) (/ (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt i)) (/ (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (sqrt i)) (/ (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) i) (/ i (* (* 2.0 2.0) (- (pow (* (* 2.0 2.0) i) 3) (pow (/ 1.0 i) 3)))) (/ i (* (* 2.0 2.0) (- (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (* (/ 1.0 i) (/ 1.0 i))))) (/ (exp (* (* 2.0 2.0) i)) (exp (/ 1.0 i))) (log (- (* (* 2.0 2.0) i) (/ 1.0 i))) (exp (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (pow (* (* 2.0 2.0) i) 3) (pow (/ 1.0 i) 3)) (+ (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (+ (* (/ 1.0 i) (/ 1.0 i)) (* (* (* 2.0 2.0) i) (/ 1.0 i)))) (- (/ 1.0 i)) (- (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (* (/ 1.0 i) (/ 1.0 i))) (+ (* (* 2.0 2.0) i) (/ 1.0 i)) (- (/ 1.0 i)) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 0.0625 (* 0.00390625 (/ 1 (pow i 4))))) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 0.0625 (* 0.00390625 (/ 1 (pow i 4))))) (- (* 4.0 i) (* 1.0 (/ 1 i))) (- (* 4.0 i) (* 1.0 (/ 1 i))) (- (* 4.0 i) (* 1.0 (/ 1 i))) 4.374 * * [simplify]: iteration 0: 109 enodes 4.399 * * [simplify]: iteration 1: 289 enodes 4.533 * * [simplify]: iteration 2: 1077 enodes 5.101 * * [simplify]: iteration complete: 5001 enodes 5.101 * * [simplify]: Extracting #0: cost 35 inf + 0 5.102 * * [simplify]: Extracting #1: cost 574 inf + 0 5.107 * * [simplify]: Extracting #2: cost 1400 inf + 3551 5.129 * * [simplify]: Extracting #3: cost 1462 inf + 81122 5.190 * * [simplify]: Extracting #4: cost 389 inf + 329249 5.291 * * [simplify]: Extracting #5: cost 44 inf + 423674 5.421 * * [simplify]: Extracting #6: cost 2 inf + 437394 5.532 * * [simplify]: Extracting #7: cost 0 inf + 437981 5.633 * [simplify]: Simplified to: (log (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (log (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (log (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (log (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (exp (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (* (* (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0))) (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (* (* (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0))) (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (* (* (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0))) (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (* (cbrt (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (cbrt (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0))))) (cbrt (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (* (* (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0))) (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (sqrt (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (sqrt (/ i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)))) (- i) (* (- (* 2.0 2.0)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (/ (cbrt i) 2.0) (/ (cbrt i) 2.0)) (/ (cbrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ 1 (* 2.0 2.0)) (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ 1 (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0))) (* (/ (* 2.0 2.0) i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (/ i 2.0) 2.0) (/ (* 2.0 2.0) (/ (cbrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (/ (* 2.0 2.0) (sqrt i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (/ (* 2.0 2.0) i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ i (* (- (* (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (* (* 2.0 2.0) i)) (* (* (/ 1.0 i) (/ 1.0 i)) (/ 1.0 i))) (* 2.0 2.0))) (/ i (* (* (+ (/ 1.0 i) (* (* 2.0 2.0) i)) (* 2.0 2.0)) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (exp (- (* (* 2.0 2.0) i) (/ 1.0 i))) (log (- (* (* 2.0 2.0) i) (/ 1.0 i))) (exp (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (* (* 2.0 2.0) i)) (* (* (/ 1.0 i) (/ 1.0 i)) (/ 1.0 i))) (+ (* (* (* 2.0 2.0) i) (+ (/ 1.0 i) (* (* 2.0 2.0) i))) (* (/ 1.0 i) (/ 1.0 i))) (/ (- 1.0) i) (* (+ (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (+ (/ 1.0 i) (* (* 2.0 2.0) i)) (/ (- 1.0) i) (- (- (- (* (* i i) 0.25)) (* (* 1.0 (* i i)) (* i i))) (* (* i (* i i)) (* (* i (* i i)) 4.0))) (+ (+ (/ 0.00390625 (* (* i i) (* i i))) 0.0625) (/ (/ 0.015625 i) i)) (+ (+ (/ 0.00390625 (* (* i i) (* i i))) 0.0625) (/ (/ 0.015625 i) i)) (- (* 4.0 i) (/ 1.0 i)) (- (* 4.0 i) (/ 1.0 i)) (- (* 4.0 i) (/ 1.0 i)) 5.635 * * * [progress]: adding candidates to table 5.797 * * [progress]: iteration 2 / 4 5.797 * * * [progress]: picking best candidate 5.804 * * * * [pick]: Picked # 5.804 * * * [progress]: localizing error 5.836 * * * [progress]: generating rewritten candidates 5.836 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 5.945 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 5.981 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 6.004 * * * [progress]: generating series expansions 6.004 * * * * [progress]: [ 1 / 3 ] generating series at (2) 6.005 * [backup-simplify]: Simplify (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) into (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) 6.005 * [approximate]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in (i) around 0 6.005 * [taylor]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in i 6.005 * [taylor]: Taking taylor expansion of 0.25 in i 6.005 * [backup-simplify]: Simplify 0.25 into 0.25 6.005 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 i) (* 1.0 (/ 1 i)))) in i 6.005 * [taylor]: Taking taylor expansion of i in i 6.005 * [backup-simplify]: Simplify 0 into 0 6.005 * [backup-simplify]: Simplify 1 into 1 6.005 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 6.005 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 6.005 * [taylor]: Taking taylor expansion of 4.0 in i 6.005 * [backup-simplify]: Simplify 4.0 into 4.0 6.005 * [taylor]: Taking taylor expansion of i in i 6.005 * [backup-simplify]: Simplify 0 into 0 6.005 * [backup-simplify]: Simplify 1 into 1 6.005 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 6.005 * [taylor]: Taking taylor expansion of 1.0 in i 6.005 * [backup-simplify]: Simplify 1.0 into 1.0 6.005 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.005 * [taylor]: Taking taylor expansion of i in i 6.005 * [backup-simplify]: Simplify 0 into 0 6.005 * [backup-simplify]: Simplify 1 into 1 6.006 * [backup-simplify]: Simplify (/ 1 1) into 1 6.006 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.006 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.007 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.007 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 6.007 * [taylor]: Taking taylor expansion of (* 0.25 (/ i (- (* 4.0 i) (* 1.0 (/ 1 i))))) in i 6.007 * [taylor]: Taking taylor expansion of 0.25 in i 6.007 * [backup-simplify]: Simplify 0.25 into 0.25 6.007 * [taylor]: Taking taylor expansion of (/ i (- (* 4.0 i) (* 1.0 (/ 1 i)))) in i 6.007 * [taylor]: Taking taylor expansion of i in i 6.007 * [backup-simplify]: Simplify 0 into 0 6.007 * [backup-simplify]: Simplify 1 into 1 6.007 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 6.007 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 6.007 * [taylor]: Taking taylor expansion of 4.0 in i 6.007 * [backup-simplify]: Simplify 4.0 into 4.0 6.007 * [taylor]: Taking taylor expansion of i in i 6.007 * [backup-simplify]: Simplify 0 into 0 6.008 * [backup-simplify]: Simplify 1 into 1 6.008 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 6.008 * [taylor]: Taking taylor expansion of 1.0 in i 6.008 * [backup-simplify]: Simplify 1.0 into 1.0 6.008 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.008 * [taylor]: Taking taylor expansion of i in i 6.008 * [backup-simplify]: Simplify 0 into 0 6.008 * [backup-simplify]: Simplify 1 into 1 6.008 * [backup-simplify]: Simplify (/ 1 1) into 1 6.008 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.008 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.009 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.009 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 6.010 * [backup-simplify]: Simplify (* 0.25 -1.0) into -0.25 6.010 * [backup-simplify]: Simplify -0.25 into -0.25 6.010 * [backup-simplify]: Simplify (* 4.0 0) into 0 6.011 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.011 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.011 * [backup-simplify]: Simplify (- 0) into 0 6.012 * [backup-simplify]: Simplify (+ 0 0) into 0 6.012 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0 6.013 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 -1.0)) into 0 6.013 * [backup-simplify]: Simplify 0 into 0 6.013 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 6.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.015 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 6.015 * [backup-simplify]: Simplify (- 0) into 0 6.015 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 6.018 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0) 6.020 * [backup-simplify]: Simplify (+ (* 0.25 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0) 6.020 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.020 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0 6.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.022 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.022 * [backup-simplify]: Simplify (- 0) into 0 6.022 * [backup-simplify]: Simplify (+ 0 0) into 0 6.023 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4.0 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0 6.024 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0 6.024 * [backup-simplify]: Simplify 0 into 0 6.025 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.026 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.027 * [backup-simplify]: Simplify (- 0) into 0 6.027 * [backup-simplify]: Simplify (+ 0 0) into 0 6.034 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* (- 4.0) (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 16.0) 6.038 * [backup-simplify]: Simplify (+ (* 0.25 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0) 6.039 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 6.040 * [backup-simplify]: Simplify (+ (* (- 4.0) (pow i 6)) (+ (* (- 1.0) (pow i 4)) (* -0.25 (pow i 2)))) into (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 6.041 * [backup-simplify]: Simplify (* (/ (sqrt (/ 1 i)) (* 2.0 2.0)) (/ (sqrt (/ 1 i)) (- (* (* 2.0 2.0) (/ 1 i)) (/ 1.0 (/ 1 i))))) into (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) 6.041 * [approximate]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in (i) around 0 6.041 * [taylor]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in i 6.041 * [taylor]: Taking taylor expansion of 0.25 in i 6.041 * [backup-simplify]: Simplify 0.25 into 0.25 6.041 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 i)) (* 1.0 i))) in i 6.041 * [taylor]: Taking taylor expansion of i in i 6.041 * [backup-simplify]: Simplify 0 into 0 6.041 * [backup-simplify]: Simplify 1 into 1 6.041 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 6.041 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 6.041 * [taylor]: Taking taylor expansion of 4.0 in i 6.041 * [backup-simplify]: Simplify 4.0 into 4.0 6.041 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.041 * [taylor]: Taking taylor expansion of i in i 6.041 * [backup-simplify]: Simplify 0 into 0 6.041 * [backup-simplify]: Simplify 1 into 1 6.042 * [backup-simplify]: Simplify (/ 1 1) into 1 6.042 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 6.042 * [taylor]: Taking taylor expansion of 1.0 in i 6.042 * [backup-simplify]: Simplify 1.0 into 1.0 6.042 * [taylor]: Taking taylor expansion of i in i 6.042 * [backup-simplify]: Simplify 0 into 0 6.042 * [backup-simplify]: Simplify 1 into 1 6.042 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 6.043 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 6.043 * [backup-simplify]: Simplify (* 0 4.0) into 0 6.044 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.044 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 6.045 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.045 * [backup-simplify]: Simplify (- 0) into 0 6.045 * [backup-simplify]: Simplify (+ 0 0) into 0 6.047 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 4.0)) into 4.0 6.047 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625 6.047 * [taylor]: Taking taylor expansion of (/ 0.25 (* i (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in i 6.047 * [taylor]: Taking taylor expansion of 0.25 in i 6.047 * [backup-simplify]: Simplify 0.25 into 0.25 6.047 * [taylor]: Taking taylor expansion of (* i (- (* 4.0 (/ 1 i)) (* 1.0 i))) in i 6.047 * [taylor]: Taking taylor expansion of i in i 6.047 * [backup-simplify]: Simplify 0 into 0 6.047 * [backup-simplify]: Simplify 1 into 1 6.047 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 6.047 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 6.048 * [taylor]: Taking taylor expansion of 4.0 in i 6.048 * [backup-simplify]: Simplify 4.0 into 4.0 6.048 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.048 * [taylor]: Taking taylor expansion of i in i 6.048 * [backup-simplify]: Simplify 0 into 0 6.048 * [backup-simplify]: Simplify 1 into 1 6.048 * [backup-simplify]: Simplify (/ 1 1) into 1 6.048 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 6.048 * [taylor]: Taking taylor expansion of 1.0 in i 6.048 * [backup-simplify]: Simplify 1.0 into 1.0 6.048 * [taylor]: Taking taylor expansion of i in i 6.048 * [backup-simplify]: Simplify 0 into 0 6.048 * [backup-simplify]: Simplify 1 into 1 6.049 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 6.049 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 6.050 * [backup-simplify]: Simplify (* 0 4.0) into 0 6.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.051 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 6.052 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.052 * [backup-simplify]: Simplify (- 0) into 0 6.053 * [backup-simplify]: Simplify (+ 0 0) into 0 6.055 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 4.0)) into 4.0 6.055 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625 6.055 * [backup-simplify]: Simplify 0.0625 into 0.0625 6.056 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.057 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0 6.058 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.059 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.065 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.066 * [backup-simplify]: Simplify (+ (* 0 (- 1.0)) (+ (* 1 0) (* 0 4.0))) into 0 6.067 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)))) into 0 6.067 * [backup-simplify]: Simplify 0 into 0 6.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.069 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.070 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 6.071 * [backup-simplify]: Simplify (- 0) into 0 6.072 * [backup-simplify]: Simplify (+ 0 0) into 0 6.076 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4.0)))) into (- 1.0) 6.081 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625 6.081 * [backup-simplify]: Simplify 0.015625 into 0.015625 6.082 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.084 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.085 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.085 * [backup-simplify]: Simplify (- 0) into 0 6.086 * [backup-simplify]: Simplify (+ 0 0) into 0 6.087 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4.0))))) into 0 6.089 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.015625 (/ 0 4.0)))) into 0 6.089 * [backup-simplify]: Simplify 0 into 0 6.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.092 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.093 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.093 * [backup-simplify]: Simplify (- 0) into 0 6.094 * [backup-simplify]: Simplify (+ 0 0) into 0 6.096 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4.0)))))) into 0 6.103 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ 0 4.0)) (* 0.015625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.00390625 6.103 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 6.103 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 i) 4)) (+ (* 0.015625 (pow (/ 1 i) 2)) 0.0625)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 0.0625 (* 0.00390625 (/ 1 (pow i 4))))) 6.105 * [backup-simplify]: Simplify (* (/ (sqrt (/ 1 (- i))) (* 2.0 2.0)) (/ (sqrt (/ 1 (- i))) (- (* (* 2.0 2.0) (/ 1 (- i))) (/ 1.0 (/ 1 (- i)))))) into (* 0.25 (/ (pow (sqrt (/ -1 i)) 2) (- (* 1.0 i) (* 4.0 (/ 1 i))))) 6.105 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow (sqrt (/ -1 i)) 2) (- (* 1.0 i) (* 4.0 (/ 1 i))))) in (i) around 0 6.105 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow (sqrt (/ -1 i)) 2) (- (* 1.0 i) (* 4.0 (/ 1 i))))) in i 6.105 * [taylor]: Taking taylor expansion of 0.25 in i 6.105 * [backup-simplify]: Simplify 0.25 into 0.25 6.105 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 i)) 2) (- (* 1.0 i) (* 4.0 (/ 1 i)))) in i 6.105 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 i)) 2) in i 6.105 * [taylor]: Taking taylor expansion of (sqrt (/ -1 i)) in i 6.105 * [taylor]: Taking taylor expansion of (/ -1 i) in i 6.105 * [taylor]: Taking taylor expansion of -1 in i 6.105 * [backup-simplify]: Simplify -1 into -1 6.105 * [taylor]: Taking taylor expansion of i in i 6.105 * [backup-simplify]: Simplify 0 into 0 6.105 * [backup-simplify]: Simplify 1 into 1 6.105 * [backup-simplify]: Simplify (/ -1 1) into -1 6.106 * [backup-simplify]: Simplify (sqrt 0) into 0 6.107 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 6.107 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 6.107 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 6.107 * [taylor]: Taking taylor expansion of 1.0 in i 6.107 * [backup-simplify]: Simplify 1.0 into 1.0 6.107 * [taylor]: Taking taylor expansion of i in i 6.108 * [backup-simplify]: Simplify 0 into 0 6.108 * [backup-simplify]: Simplify 1 into 1 6.108 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 6.108 * [taylor]: Taking taylor expansion of 4.0 in i 6.108 * [backup-simplify]: Simplify 4.0 into 4.0 6.108 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.108 * [taylor]: Taking taylor expansion of i in i 6.108 * [backup-simplify]: Simplify 0 into 0 6.108 * [backup-simplify]: Simplify 1 into 1 6.108 * [backup-simplify]: Simplify (/ 1 1) into 1 6.108 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 6.109 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 6.109 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 6.110 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0) 6.111 * [backup-simplify]: Simplify (/ +nan.0 (- 4.0)) into +nan.0 6.111 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow (sqrt (/ -1 i)) 2) (- (* 1.0 i) (* 4.0 (/ 1 i))))) in i 6.111 * [taylor]: Taking taylor expansion of 0.25 in i 6.111 * [backup-simplify]: Simplify 0.25 into 0.25 6.111 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 i)) 2) (- (* 1.0 i) (* 4.0 (/ 1 i)))) in i 6.111 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 i)) 2) in i 6.111 * [taylor]: Taking taylor expansion of (sqrt (/ -1 i)) in i 6.111 * [taylor]: Taking taylor expansion of (/ -1 i) in i 6.111 * [taylor]: Taking taylor expansion of -1 in i 6.111 * [backup-simplify]: Simplify -1 into -1 6.111 * [taylor]: Taking taylor expansion of i in i 6.111 * [backup-simplify]: Simplify 0 into 0 6.111 * [backup-simplify]: Simplify 1 into 1 6.112 * [backup-simplify]: Simplify (/ -1 1) into -1 6.112 * [backup-simplify]: Simplify (sqrt 0) into 0 6.114 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 6.114 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 6.114 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 6.114 * [taylor]: Taking taylor expansion of 1.0 in i 6.114 * [backup-simplify]: Simplify 1.0 into 1.0 6.114 * [taylor]: Taking taylor expansion of i in i 6.114 * [backup-simplify]: Simplify 0 into 0 6.114 * [backup-simplify]: Simplify 1 into 1 6.114 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 6.114 * [taylor]: Taking taylor expansion of 4.0 in i 6.114 * [backup-simplify]: Simplify 4.0 into 4.0 6.114 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.114 * [taylor]: Taking taylor expansion of i in i 6.114 * [backup-simplify]: Simplify 0 into 0 6.114 * [backup-simplify]: Simplify 1 into 1 6.114 * [backup-simplify]: Simplify (/ 1 1) into 1 6.115 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 6.115 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 6.116 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 6.117 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0) 6.117 * [backup-simplify]: Simplify (/ +nan.0 (- 4.0)) into +nan.0 6.118 * [backup-simplify]: Simplify (* 0.25 +nan.0) into +nan.0 6.118 * [backup-simplify]: Simplify +nan.0 into +nan.0 6.119 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 6.122 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 6.123 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 6.123 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.125 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 6.125 * [backup-simplify]: Simplify (- 0) into 0 6.125 * [backup-simplify]: Simplify (+ 0 0) into 0 6.129 * [backup-simplify]: Simplify (- (/ (- +nan.0) (- 4.0)) (+ (* +nan.0 (/ 0 (- 4.0))))) into (- +nan.0) 6.131 * [backup-simplify]: Simplify (+ (* 0.25 (- +nan.0)) (* 0 +nan.0)) into (- +nan.0) 6.131 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.132 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.136 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 6.138 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0) 6.139 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.141 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0 6.141 * [backup-simplify]: Simplify (- 0) into 0 6.142 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.147 * [backup-simplify]: Simplify (- (/ (- +nan.0) (- 4.0)) (+ (* +nan.0 (/ 1.0 (- 4.0))) (* (- +nan.0) (/ 0 (- 4.0))))) into (- +nan.0) 6.149 * [backup-simplify]: Simplify (+ (* 0.25 (- +nan.0)) (+ (* 0 (- +nan.0)) (* 0 +nan.0))) into (- +nan.0) 6.149 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.150 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- i)) 3)) (+ (* (- +nan.0) (pow (/ 1 (- i)) 2)) (* +nan.0 (/ 1 (- i))))) into (- (+ (* +nan.0 (/ 1 (pow i 3))) (- (+ (* +nan.0 (/ 1 (pow i 2))) (- (* +nan.0 (/ 1 i))))))) 6.150 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 6.150 * [backup-simplify]: Simplify (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) into (* (sqrt i) (/ 1 (- (* 4.0 i) (* 1.0 (/ 1 i))))) 6.150 * [approximate]: Taking taylor expansion of (* (sqrt i) (/ 1 (- (* 4.0 i) (* 1.0 (/ 1 i))))) in (i) around 0 6.150 * [taylor]: Taking taylor expansion of (* (sqrt i) (/ 1 (- (* 4.0 i) (* 1.0 (/ 1 i))))) in i 6.150 * [taylor]: Taking taylor expansion of (sqrt i) in i 6.150 * [taylor]: Taking taylor expansion of i in i 6.150 * [backup-simplify]: Simplify 0 into 0 6.150 * [backup-simplify]: Simplify 1 into 1 6.151 * [backup-simplify]: Simplify (sqrt 0) into 0 6.152 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 6.152 * [taylor]: Taking taylor expansion of (/ 1 (- (* 4.0 i) (* 1.0 (/ 1 i)))) in i 6.152 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 6.152 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 6.152 * [taylor]: Taking taylor expansion of 4.0 in i 6.152 * [backup-simplify]: Simplify 4.0 into 4.0 6.152 * [taylor]: Taking taylor expansion of i in i 6.152 * [backup-simplify]: Simplify 0 into 0 6.152 * [backup-simplify]: Simplify 1 into 1 6.152 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 6.152 * [taylor]: Taking taylor expansion of 1.0 in i 6.152 * [backup-simplify]: Simplify 1.0 into 1.0 6.152 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.152 * [taylor]: Taking taylor expansion of i in i 6.152 * [backup-simplify]: Simplify 0 into 0 6.152 * [backup-simplify]: Simplify 1 into 1 6.152 * [backup-simplify]: Simplify (/ 1 1) into 1 6.152 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.153 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.153 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.154 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 6.154 * [taylor]: Taking taylor expansion of (* (sqrt i) (/ 1 (- (* 4.0 i) (* 1.0 (/ 1 i))))) in i 6.154 * [taylor]: Taking taylor expansion of (sqrt i) in i 6.154 * [taylor]: Taking taylor expansion of i in i 6.154 * [backup-simplify]: Simplify 0 into 0 6.154 * [backup-simplify]: Simplify 1 into 1 6.154 * [backup-simplify]: Simplify (sqrt 0) into 0 6.155 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 6.155 * [taylor]: Taking taylor expansion of (/ 1 (- (* 4.0 i) (* 1.0 (/ 1 i)))) in i 6.155 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 6.155 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 6.155 * [taylor]: Taking taylor expansion of 4.0 in i 6.155 * [backup-simplify]: Simplify 4.0 into 4.0 6.155 * [taylor]: Taking taylor expansion of i in i 6.155 * [backup-simplify]: Simplify 0 into 0 6.155 * [backup-simplify]: Simplify 1 into 1 6.155 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 6.155 * [taylor]: Taking taylor expansion of 1.0 in i 6.155 * [backup-simplify]: Simplify 1.0 into 1.0 6.155 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.155 * [taylor]: Taking taylor expansion of i in i 6.155 * [backup-simplify]: Simplify 0 into 0 6.155 * [backup-simplify]: Simplify 1 into 1 6.156 * [backup-simplify]: Simplify (/ 1 1) into 1 6.156 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.156 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.157 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.157 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 6.158 * [backup-simplify]: Simplify (* 0 -1.0) into 0 6.158 * [backup-simplify]: Simplify 0 into 0 6.158 * [backup-simplify]: Simplify (* 4.0 0) into 0 6.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.159 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.159 * [backup-simplify]: Simplify (- 0) into 0 6.159 * [backup-simplify]: Simplify (+ 0 0) into 0 6.160 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 0 (- 1.0))))) into 0 6.161 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 -1.0)) into (- +nan.0) 6.161 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.162 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 6.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.163 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 6.164 * [backup-simplify]: Simplify (- 0) into 0 6.164 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 6.166 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0) 6.168 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 6.170 * [backup-simplify]: Simplify (+ (* 0 (- 4.0)) (+ (* +nan.0 0) (* +nan.0 -1.0))) into (- +nan.0) 6.170 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.171 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0 6.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.172 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.172 * [backup-simplify]: Simplify (- 0) into 0 6.173 * [backup-simplify]: Simplify (+ 0 0) into 0 6.174 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4.0 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0 6.176 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 6.180 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 (- 4.0)) (+ (* +nan.0 0) (* +nan.0 -1.0)))) into (- +nan.0) 6.180 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.188 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow i 4)) (+ (* (- +nan.0) (pow i 3)) (* (- +nan.0) (pow i 2)))) into (- (+ (* +nan.0 (pow i 2)) (- (+ (* +nan.0 (pow i 4)) (- (* +nan.0 (pow i 3))))))) 6.189 * [backup-simplify]: Simplify (/ (sqrt (/ 1 i)) (- (* (* 2.0 2.0) (/ 1 i)) (/ 1.0 (/ 1 i)))) into (* (sqrt (/ 1 i)) (/ 1 (- (* 4.0 (/ 1 i)) (* 1.0 i)))) 6.189 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 i)) (/ 1 (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in (i) around 0 6.189 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 i)) (/ 1 (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in i 6.189 * [taylor]: Taking taylor expansion of (sqrt (/ 1 i)) in i 6.189 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.189 * [taylor]: Taking taylor expansion of i in i 6.189 * [backup-simplify]: Simplify 0 into 0 6.189 * [backup-simplify]: Simplify 1 into 1 6.189 * [backup-simplify]: Simplify (/ 1 1) into 1 6.190 * [backup-simplify]: Simplify (sqrt 0) into 0 6.191 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 6.191 * [taylor]: Taking taylor expansion of (/ 1 (- (* 4.0 (/ 1 i)) (* 1.0 i))) in i 6.191 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 6.191 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 6.191 * [taylor]: Taking taylor expansion of 4.0 in i 6.191 * [backup-simplify]: Simplify 4.0 into 4.0 6.191 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.191 * [taylor]: Taking taylor expansion of i in i 6.191 * [backup-simplify]: Simplify 0 into 0 6.191 * [backup-simplify]: Simplify 1 into 1 6.192 * [backup-simplify]: Simplify (/ 1 1) into 1 6.192 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 6.192 * [taylor]: Taking taylor expansion of 1.0 in i 6.192 * [backup-simplify]: Simplify 1.0 into 1.0 6.192 * [taylor]: Taking taylor expansion of i in i 6.192 * [backup-simplify]: Simplify 0 into 0 6.192 * [backup-simplify]: Simplify 1 into 1 6.192 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 6.193 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 6.193 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25 6.193 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 i)) (/ 1 (- (* 4.0 (/ 1 i)) (* 1.0 i)))) in i 6.193 * [taylor]: Taking taylor expansion of (sqrt (/ 1 i)) in i 6.193 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.193 * [taylor]: Taking taylor expansion of i in i 6.193 * [backup-simplify]: Simplify 0 into 0 6.194 * [backup-simplify]: Simplify 1 into 1 6.194 * [backup-simplify]: Simplify (/ 1 1) into 1 6.194 * [backup-simplify]: Simplify (sqrt 0) into 0 6.196 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 6.196 * [taylor]: Taking taylor expansion of (/ 1 (- (* 4.0 (/ 1 i)) (* 1.0 i))) in i 6.196 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 6.196 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 6.196 * [taylor]: Taking taylor expansion of 4.0 in i 6.196 * [backup-simplify]: Simplify 4.0 into 4.0 6.196 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.196 * [taylor]: Taking taylor expansion of i in i 6.196 * [backup-simplify]: Simplify 0 into 0 6.196 * [backup-simplify]: Simplify 1 into 1 6.196 * [backup-simplify]: Simplify (/ 1 1) into 1 6.196 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 6.196 * [taylor]: Taking taylor expansion of 1.0 in i 6.196 * [backup-simplify]: Simplify 1.0 into 1.0 6.196 * [taylor]: Taking taylor expansion of i in i 6.197 * [backup-simplify]: Simplify 0 into 0 6.197 * [backup-simplify]: Simplify 1 into 1 6.197 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 6.198 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 6.198 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25 6.199 * [backup-simplify]: Simplify (* 0 0.25) into 0 6.199 * [backup-simplify]: Simplify 0 into 0 6.199 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.200 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 6.201 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.201 * [backup-simplify]: Simplify (- 0) into 0 6.201 * [backup-simplify]: Simplify (+ 0 0) into 0 6.202 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)))) into 0 6.203 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 0.25)) into (- +nan.0) 6.203 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.204 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.204 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0 6.205 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.205 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.206 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.208 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.0625 6.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.211 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 6.212 * [backup-simplify]: Simplify (+ (* 0 0.0625) (+ (* +nan.0 0) (* +nan.0 0.25))) into (- +nan.0) 6.213 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.213 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.214 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.214 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 6.215 * [backup-simplify]: Simplify (- 0) into 0 6.215 * [backup-simplify]: Simplify (+ 0 0) into 0 6.216 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.0625 (/ 0 4.0)))) into 0 6.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.219 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 6.221 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0.0625) (+ (* +nan.0 0) (* +nan.0 0.25)))) into (- +nan.0) 6.221 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.222 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 i) 3)) (+ (* (- +nan.0) (pow (/ 1 i) 2)) (* (- +nan.0) (/ 1 i)))) into (- (+ (* +nan.0 (/ 1 (pow i 3))) (- (+ (* +nan.0 (/ 1 (pow i 2))) (- (* +nan.0 (/ 1 i))))))) 6.223 * [backup-simplify]: Simplify (/ (sqrt (/ 1 (- i))) (- (* (* 2.0 2.0) (/ 1 (- i))) (/ 1.0 (/ 1 (- i))))) into (/ (sqrt (/ -1 i)) (- (* 1.0 i) (* 4.0 (/ 1 i)))) 6.223 * [approximate]: Taking taylor expansion of (/ (sqrt (/ -1 i)) (- (* 1.0 i) (* 4.0 (/ 1 i)))) in (i) around 0 6.223 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 i)) (- (* 1.0 i) (* 4.0 (/ 1 i)))) in i 6.223 * [taylor]: Taking taylor expansion of (sqrt (/ -1 i)) in i 6.223 * [taylor]: Taking taylor expansion of (/ -1 i) in i 6.223 * [taylor]: Taking taylor expansion of -1 in i 6.223 * [backup-simplify]: Simplify -1 into -1 6.223 * [taylor]: Taking taylor expansion of i in i 6.223 * [backup-simplify]: Simplify 0 into 0 6.223 * [backup-simplify]: Simplify 1 into 1 6.223 * [backup-simplify]: Simplify (/ -1 1) into -1 6.223 * [backup-simplify]: Simplify (sqrt 0) into 0 6.224 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 6.224 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 6.224 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 6.224 * [taylor]: Taking taylor expansion of 1.0 in i 6.224 * [backup-simplify]: Simplify 1.0 into 1.0 6.224 * [taylor]: Taking taylor expansion of i in i 6.224 * [backup-simplify]: Simplify 0 into 0 6.224 * [backup-simplify]: Simplify 1 into 1 6.224 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 6.224 * [taylor]: Taking taylor expansion of 4.0 in i 6.224 * [backup-simplify]: Simplify 4.0 into 4.0 6.225 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.225 * [taylor]: Taking taylor expansion of i in i 6.225 * [backup-simplify]: Simplify 0 into 0 6.225 * [backup-simplify]: Simplify 1 into 1 6.225 * [backup-simplify]: Simplify (/ 1 1) into 1 6.225 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 6.225 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 6.226 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0) 6.226 * [backup-simplify]: Simplify (/ +nan.0 (- 4.0)) into +nan.0 6.226 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 i)) (- (* 1.0 i) (* 4.0 (/ 1 i)))) in i 6.226 * [taylor]: Taking taylor expansion of (sqrt (/ -1 i)) in i 6.226 * [taylor]: Taking taylor expansion of (/ -1 i) in i 6.226 * [taylor]: Taking taylor expansion of -1 in i 6.226 * [backup-simplify]: Simplify -1 into -1 6.226 * [taylor]: Taking taylor expansion of i in i 6.226 * [backup-simplify]: Simplify 0 into 0 6.226 * [backup-simplify]: Simplify 1 into 1 6.227 * [backup-simplify]: Simplify (/ -1 1) into -1 6.227 * [backup-simplify]: Simplify (sqrt 0) into 0 6.228 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 6.228 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 6.228 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 6.228 * [taylor]: Taking taylor expansion of 1.0 in i 6.228 * [backup-simplify]: Simplify 1.0 into 1.0 6.228 * [taylor]: Taking taylor expansion of i in i 6.228 * [backup-simplify]: Simplify 0 into 0 6.228 * [backup-simplify]: Simplify 1 into 1 6.228 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 6.228 * [taylor]: Taking taylor expansion of 4.0 in i 6.228 * [backup-simplify]: Simplify 4.0 into 4.0 6.228 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.228 * [taylor]: Taking taylor expansion of i in i 6.228 * [backup-simplify]: Simplify 0 into 0 6.228 * [backup-simplify]: Simplify 1 into 1 6.228 * [backup-simplify]: Simplify (/ 1 1) into 1 6.229 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 6.229 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 6.229 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0) 6.230 * [backup-simplify]: Simplify (/ +nan.0 (- 4.0)) into +nan.0 6.230 * [backup-simplify]: Simplify +nan.0 into +nan.0 6.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 6.232 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 6.232 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.233 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 6.234 * [backup-simplify]: Simplify (- 0) into 0 6.234 * [backup-simplify]: Simplify (+ 0 0) into 0 6.235 * [backup-simplify]: Simplify (- (/ +nan.0 (- 4.0)) (+ (* +nan.0 (/ 0 (- 4.0))))) into (- +nan.0) 6.236 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.236 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.239 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 6.241 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.243 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0 6.243 * [backup-simplify]: Simplify (- 0) into 0 6.243 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.247 * [backup-simplify]: Simplify (- (/ +nan.0 (- 4.0)) (+ (* +nan.0 (/ 1.0 (- 4.0))) (* (- +nan.0) (/ 0 (- 4.0))))) into (- +nan.0) 6.247 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 6.248 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- i)) 3)) (+ (* (- +nan.0) (pow (/ 1 (- i)) 2)) (* +nan.0 (/ 1 (- i))))) into (- (+ (* +nan.0 (/ 1 (pow i 3))) (- (+ (* +nan.0 (/ 1 (pow i 2))) (- (* +nan.0 (/ 1 i))))))) 6.248 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 6.248 * [backup-simplify]: Simplify (- (* (* 2.0 2.0) i) (/ 1.0 i)) into (- (* 4.0 i) (* 1.0 (/ 1 i))) 6.248 * [approximate]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in (i) around 0 6.248 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 6.248 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 6.248 * [taylor]: Taking taylor expansion of 4.0 in i 6.248 * [backup-simplify]: Simplify 4.0 into 4.0 6.248 * [taylor]: Taking taylor expansion of i in i 6.248 * [backup-simplify]: Simplify 0 into 0 6.248 * [backup-simplify]: Simplify 1 into 1 6.248 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 6.248 * [taylor]: Taking taylor expansion of 1.0 in i 6.249 * [backup-simplify]: Simplify 1.0 into 1.0 6.249 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.249 * [taylor]: Taking taylor expansion of i in i 6.249 * [backup-simplify]: Simplify 0 into 0 6.249 * [backup-simplify]: Simplify 1 into 1 6.249 * [backup-simplify]: Simplify (/ 1 1) into 1 6.249 * [taylor]: Taking taylor expansion of (- (* 4.0 i) (* 1.0 (/ 1 i))) in i 6.249 * [taylor]: Taking taylor expansion of (* 4.0 i) in i 6.249 * [taylor]: Taking taylor expansion of 4.0 in i 6.249 * [backup-simplify]: Simplify 4.0 into 4.0 6.249 * [taylor]: Taking taylor expansion of i in i 6.249 * [backup-simplify]: Simplify 0 into 0 6.249 * [backup-simplify]: Simplify 1 into 1 6.249 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 i)) in i 6.249 * [taylor]: Taking taylor expansion of 1.0 in i 6.249 * [backup-simplify]: Simplify 1.0 into 1.0 6.249 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.249 * [taylor]: Taking taylor expansion of i in i 6.249 * [backup-simplify]: Simplify 0 into 0 6.249 * [backup-simplify]: Simplify 1 into 1 6.249 * [backup-simplify]: Simplify (/ 1 1) into 1 6.250 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.250 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.250 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.251 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.251 * [backup-simplify]: Simplify (* 4.0 0) into 0 6.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.252 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.252 * [backup-simplify]: Simplify (- 0) into 0 6.252 * [backup-simplify]: Simplify (+ 0 0) into 0 6.252 * [backup-simplify]: Simplify 0 into 0 6.253 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 6.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.255 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 6.255 * [backup-simplify]: Simplify (- 0) into 0 6.255 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 6.255 * [backup-simplify]: Simplify 4.0 into 4.0 6.256 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0 6.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.257 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.257 * [backup-simplify]: Simplify (- 0) into 0 6.257 * [backup-simplify]: Simplify (+ 0 0) into 0 6.257 * [backup-simplify]: Simplify 0 into 0 6.258 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.259 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.259 * [backup-simplify]: Simplify (- 0) into 0 6.260 * [backup-simplify]: Simplify (+ 0 0) into 0 6.260 * [backup-simplify]: Simplify 0 into 0 6.260 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.262 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.262 * [backup-simplify]: Simplify (- 0) into 0 6.262 * [backup-simplify]: Simplify (+ 0 0) into 0 6.262 * [backup-simplify]: Simplify 0 into 0 6.263 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 6.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.264 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.265 * [backup-simplify]: Simplify (- 0) into 0 6.265 * [backup-simplify]: Simplify (+ 0 0) into 0 6.265 * [backup-simplify]: Simplify 0 into 0 6.266 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 6.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.267 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 6.268 * [backup-simplify]: Simplify (- 0) into 0 6.268 * [backup-simplify]: Simplify (+ 0 0) into 0 6.268 * [backup-simplify]: Simplify 0 into 0 6.269 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 6.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.271 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 6.271 * [backup-simplify]: Simplify (- 0) into 0 6.271 * [backup-simplify]: Simplify (+ 0 0) into 0 6.271 * [backup-simplify]: Simplify 0 into 0 6.271 * [backup-simplify]: Simplify (+ (* 4.0 i) (* (- 1.0) (/ 1 i))) into (- (* 4.0 i) (* 1.0 (/ 1 i))) 6.272 * [backup-simplify]: Simplify (- (* (* 2.0 2.0) (/ 1 i)) (/ 1.0 (/ 1 i))) into (- (* 4.0 (/ 1 i)) (* 1.0 i)) 6.272 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in (i) around 0 6.272 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 6.272 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 6.272 * [taylor]: Taking taylor expansion of 4.0 in i 6.272 * [backup-simplify]: Simplify 4.0 into 4.0 6.272 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.272 * [taylor]: Taking taylor expansion of i in i 6.272 * [backup-simplify]: Simplify 0 into 0 6.272 * [backup-simplify]: Simplify 1 into 1 6.272 * [backup-simplify]: Simplify (/ 1 1) into 1 6.272 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 6.272 * [taylor]: Taking taylor expansion of 1.0 in i 6.272 * [backup-simplify]: Simplify 1.0 into 1.0 6.272 * [taylor]: Taking taylor expansion of i in i 6.272 * [backup-simplify]: Simplify 0 into 0 6.272 * [backup-simplify]: Simplify 1 into 1 6.272 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 i)) (* 1.0 i)) in i 6.272 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 6.272 * [taylor]: Taking taylor expansion of 4.0 in i 6.272 * [backup-simplify]: Simplify 4.0 into 4.0 6.273 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.273 * [taylor]: Taking taylor expansion of i in i 6.273 * [backup-simplify]: Simplify 0 into 0 6.273 * [backup-simplify]: Simplify 1 into 1 6.273 * [backup-simplify]: Simplify (/ 1 1) into 1 6.273 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 6.273 * [taylor]: Taking taylor expansion of 1.0 in i 6.273 * [backup-simplify]: Simplify 1.0 into 1.0 6.273 * [taylor]: Taking taylor expansion of i in i 6.273 * [backup-simplify]: Simplify 0 into 0 6.273 * [backup-simplify]: Simplify 1 into 1 6.273 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 6.274 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 6.274 * [backup-simplify]: Simplify 4.0 into 4.0 6.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.274 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 6.275 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.275 * [backup-simplify]: Simplify (- 0) into 0 6.275 * [backup-simplify]: Simplify (+ 0 0) into 0 6.275 * [backup-simplify]: Simplify 0 into 0 6.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.276 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0 6.277 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.277 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.283 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.284 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.286 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.287 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 6.287 * [backup-simplify]: Simplify (- 0) into 0 6.288 * [backup-simplify]: Simplify (+ 0 0) into 0 6.288 * [backup-simplify]: Simplify 0 into 0 6.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.290 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.291 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.291 * [backup-simplify]: Simplify (- 0) into 0 6.292 * [backup-simplify]: Simplify (+ 0 0) into 0 6.292 * [backup-simplify]: Simplify 0 into 0 6.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.294 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.296 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.296 * [backup-simplify]: Simplify (- 0) into 0 6.297 * [backup-simplify]: Simplify (+ 0 0) into 0 6.297 * [backup-simplify]: Simplify 0 into 0 6.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.299 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.301 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 6.301 * [backup-simplify]: Simplify (- 0) into 0 6.302 * [backup-simplify]: Simplify (+ 0 0) into 0 6.302 * [backup-simplify]: Simplify 0 into 0 6.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.305 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 6.307 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 6.307 * [backup-simplify]: Simplify (- 0) into 0 6.308 * [backup-simplify]: Simplify (+ 0 0) into 0 6.308 * [backup-simplify]: Simplify 0 into 0 6.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.311 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 6.312 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 6.313 * [backup-simplify]: Simplify (- 0) into 0 6.313 * [backup-simplify]: Simplify (+ 0 0) into 0 6.313 * [backup-simplify]: Simplify 0 into 0 6.314 * [backup-simplify]: Simplify (+ (* (- 1.0) (/ 1 i)) (* 4.0 (/ 1 (/ 1 i)))) into (- (* 4.0 i) (* 1.0 (/ 1 i))) 6.314 * [backup-simplify]: Simplify (- (* (* 2.0 2.0) (/ 1 (- i))) (/ 1.0 (/ 1 (- i)))) into (- (* 1.0 i) (* 4.0 (/ 1 i))) 6.314 * [approximate]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in (i) around 0 6.314 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 6.315 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 6.315 * [taylor]: Taking taylor expansion of 1.0 in i 6.315 * [backup-simplify]: Simplify 1.0 into 1.0 6.315 * [taylor]: Taking taylor expansion of i in i 6.315 * [backup-simplify]: Simplify 0 into 0 6.315 * [backup-simplify]: Simplify 1 into 1 6.315 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 6.315 * [taylor]: Taking taylor expansion of 4.0 in i 6.315 * [backup-simplify]: Simplify 4.0 into 4.0 6.315 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.315 * [taylor]: Taking taylor expansion of i in i 6.315 * [backup-simplify]: Simplify 0 into 0 6.315 * [backup-simplify]: Simplify 1 into 1 6.315 * [backup-simplify]: Simplify (/ 1 1) into 1 6.315 * [taylor]: Taking taylor expansion of (- (* 1.0 i) (* 4.0 (/ 1 i))) in i 6.315 * [taylor]: Taking taylor expansion of (* 1.0 i) in i 6.315 * [taylor]: Taking taylor expansion of 1.0 in i 6.315 * [backup-simplify]: Simplify 1.0 into 1.0 6.315 * [taylor]: Taking taylor expansion of i in i 6.315 * [backup-simplify]: Simplify 0 into 0 6.315 * [backup-simplify]: Simplify 1 into 1 6.315 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 i)) in i 6.315 * [taylor]: Taking taylor expansion of 4.0 in i 6.315 * [backup-simplify]: Simplify 4.0 into 4.0 6.316 * [taylor]: Taking taylor expansion of (/ 1 i) in i 6.316 * [taylor]: Taking taylor expansion of i in i 6.316 * [backup-simplify]: Simplify 0 into 0 6.316 * [backup-simplify]: Simplify 1 into 1 6.316 * [backup-simplify]: Simplify (/ 1 1) into 1 6.316 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 6.317 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 6.318 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0) 6.318 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 6.318 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.320 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 6.320 * [backup-simplify]: Simplify (- 0) into 0 6.321 * [backup-simplify]: Simplify (+ 0 0) into 0 6.321 * [backup-simplify]: Simplify 0 into 0 6.322 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.323 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0 6.323 * [backup-simplify]: Simplify (- 0) into 0 6.323 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.324 * [backup-simplify]: Simplify 1.0 into 1.0 6.324 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 6.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.325 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.325 * [backup-simplify]: Simplify (- 0) into 0 6.326 * [backup-simplify]: Simplify (+ 0 0) into 0 6.326 * [backup-simplify]: Simplify 0 into 0 6.326 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.328 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.328 * [backup-simplify]: Simplify (- 0) into 0 6.328 * [backup-simplify]: Simplify (+ 0 0) into 0 6.328 * [backup-simplify]: Simplify 0 into 0 6.329 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.330 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.331 * [backup-simplify]: Simplify (- 0) into 0 6.331 * [backup-simplify]: Simplify (+ 0 0) into 0 6.331 * [backup-simplify]: Simplify 0 into 0 6.332 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 6.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.333 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.333 * [backup-simplify]: Simplify (- 0) into 0 6.334 * [backup-simplify]: Simplify (+ 0 0) into 0 6.334 * [backup-simplify]: Simplify 0 into 0 6.335 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 6.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.336 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 6.336 * [backup-simplify]: Simplify (- 0) into 0 6.336 * [backup-simplify]: Simplify (+ 0 0) into 0 6.337 * [backup-simplify]: Simplify 0 into 0 6.337 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 6.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.339 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 6.339 * [backup-simplify]: Simplify (- 0) into 0 6.340 * [backup-simplify]: Simplify (+ 0 0) into 0 6.340 * [backup-simplify]: Simplify 0 into 0 6.340 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 (- i))) (* (- 4.0) (/ 1 (/ 1 (- i))))) into (- (* 4.0 i) (* 1.0 (/ 1 i))) 6.340 * * * [progress]: simplifying candidates 6.342 * [simplify]: Simplifying: (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (+ (- (log (sqrt i)) (+ (log 2.0) (log 2.0))) (- (log (sqrt i)) (log (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (+ (- (log (sqrt i)) (+ (log 2.0) (log 2.0))) (log (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (+ (- (log (sqrt i)) (log (* 2.0 2.0))) (- (log (sqrt i)) (log (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (+ (- (log (sqrt i)) (log (* 2.0 2.0))) (log (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (+ (log (/ (sqrt i) (* 2.0 2.0))) (- (log (sqrt i)) (log (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (+ (log (/ (sqrt i) (* 2.0 2.0))) (log (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (log (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (exp (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (* (* (sqrt i) (sqrt i)) (sqrt i)) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (/ (* (* (sqrt i) (sqrt i)) (sqrt i)) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (* (* (sqrt i) (sqrt i)) (sqrt i)) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))) (* (* (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (* (* (sqrt i) (sqrt i)) (sqrt i)) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (/ (* (* (sqrt i) (sqrt i)) (sqrt i)) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (* (* (sqrt i) (sqrt i)) (sqrt i)) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))) (* (* (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (* (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (* 2.0 2.0))) (/ (sqrt i) (* 2.0 2.0))) (/ (* (* (sqrt i) (sqrt i)) (sqrt i)) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (* (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (* 2.0 2.0))) (/ (sqrt i) (* 2.0 2.0))) (* (* (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (cbrt (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (cbrt (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (cbrt (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (* (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (sqrt (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (sqrt (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (sqrt i) (sqrt i)) (* (* 2.0 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (sqrt (/ (sqrt i) (* 2.0 2.0))) (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (sqrt (/ (sqrt i) (* 2.0 2.0))) (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (sqrt (/ (sqrt i) (* 2.0 2.0))) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (sqrt (/ (sqrt i) (* 2.0 2.0))) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (sqrt (/ (sqrt i) (* 2.0 2.0))) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (sqrt (/ (sqrt i) (* 2.0 2.0))) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt (sqrt i)) 2.0) (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt (sqrt i)) 2.0) (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt (sqrt i)) 2.0) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt (sqrt i)) 2.0) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt (sqrt i)) 2.0) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt (sqrt i)) 2.0) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt (sqrt i)) 2.0) (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt (sqrt i)) 2.0) (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt (sqrt i)) 2.0) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt (sqrt i)) 2.0) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt (sqrt i)) 2.0) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt (sqrt i)) 2.0) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt i) (* 2.0 2.0)) (* (cbrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (* (/ (sqrt i) (* 2.0 2.0)) (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) 1)) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt (* (cbrt i) (cbrt i))) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt (* (cbrt i) (cbrt i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt (* (cbrt i) (cbrt i))) 1)) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt (sqrt i)) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt (sqrt i)) 1)) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt 1) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt 1) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt 1) 1)) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt (sqrt i)) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt (sqrt i)) 1)) (* (/ (sqrt i) (* 2.0 2.0)) (/ 1 (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (* (/ (sqrt i) (* 2.0 2.0)) (/ 1 (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt i) (* 2.0 2.0)) (/ 1 1)) (* (/ (sqrt i) (* 2.0 2.0)) 1) (* (/ (sqrt i) (* 2.0 2.0)) (sqrt i)) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (pow (* (* 2.0 2.0) i) 3) (pow (/ 1.0 i) 3)))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (* (/ 1.0 i) (/ 1.0 i))))) (* (cbrt (/ (sqrt i) (* 2.0 2.0))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (sqrt (/ (sqrt i) (* 2.0 2.0))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (/ (cbrt (sqrt i)) 2.0) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (/ (sqrt (cbrt i)) 2.0) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (/ (sqrt (sqrt i)) 2.0) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (/ (sqrt i) 2.0) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (/ (sqrt (sqrt i)) 2.0) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (/ (sqrt i) 2.0) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (/ 1 (* 2.0 2.0)) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (/ (sqrt i) (* 2.0 2.0)) (sqrt i)) (* (sqrt i) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (- (log (sqrt i)) (log (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (log (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (exp (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (* (sqrt i) (sqrt i)) (sqrt i)) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (cbrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (cbrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (* (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (- (sqrt i)) (- (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (cbrt (sqrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (cbrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) 1) (/ (cbrt (sqrt i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt (* (cbrt i) (cbrt i))) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (sqrt (cbrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (* (cbrt i) (cbrt i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (cbrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (* (cbrt i) (cbrt i))) 1) (/ (sqrt (cbrt i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt (sqrt i)) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (sqrt (sqrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (sqrt i)) 1) (/ (sqrt (sqrt i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt 1) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (sqrt i) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt 1) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt 1) 1) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt (sqrt i)) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (sqrt (sqrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (sqrt i)) 1) (/ (sqrt (sqrt i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ 1 (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (sqrt i) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ 1 (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ 1 1) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ 1 (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (- (* (* 2.0 2.0) i) (/ 1.0 i)) (sqrt i)) (/ (sqrt i) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) 1) (/ (- (* (* 2.0 2.0) i) (/ 1.0 i)) (cbrt (sqrt i))) (/ (- (* (* 2.0 2.0) i) (/ 1.0 i)) (sqrt (cbrt i))) (/ (- (* (* 2.0 2.0) i) (/ 1.0 i)) (sqrt (sqrt i))) (/ (- (* (* 2.0 2.0) i) (/ 1.0 i)) (sqrt i)) (/ (- (* (* 2.0 2.0) i) (/ 1.0 i)) (sqrt (sqrt i))) (/ (- (* (* 2.0 2.0) i) (/ 1.0 i)) (sqrt i)) (/ (sqrt i) (- (pow (* (* 2.0 2.0) i) 3) (pow (/ 1.0 i) 3))) (/ (sqrt i) (- (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (* (/ 1.0 i) (/ 1.0 i)))) (/ (exp (* (* 2.0 2.0) i)) (exp (/ 1.0 i))) (log (- (* (* 2.0 2.0) i) (/ 1.0 i))) (exp (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (pow (* (* 2.0 2.0) i) 3) (pow (/ 1.0 i) 3)) (+ (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (+ (* (/ 1.0 i) (/ 1.0 i)) (* (* (* 2.0 2.0) i) (/ 1.0 i)))) (- (/ 1.0 i)) (- (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i)) (* (/ 1.0 i) (/ 1.0 i))) (+ (* (* 2.0 2.0) i) (/ 1.0 i)) (- (/ 1.0 i)) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 0.0625 (* 0.00390625 (/ 1 (pow i 4))))) (- (+ (* +nan.0 (/ 1 (pow i 3))) (- (+ (* +nan.0 (/ 1 (pow i 2))) (- (* +nan.0 (/ 1 i))))))) (- (+ (* +nan.0 (pow i 2)) (- (+ (* +nan.0 (pow i 4)) (- (* +nan.0 (pow i 3))))))) (- (+ (* +nan.0 (/ 1 (pow i 3))) (- (+ (* +nan.0 (/ 1 (pow i 2))) (- (* +nan.0 (/ 1 i))))))) (- (+ (* +nan.0 (/ 1 (pow i 3))) (- (+ (* +nan.0 (/ 1 (pow i 2))) (- (* +nan.0 (/ 1 i))))))) (- (* 4.0 i) (* 1.0 (/ 1 i))) (- (* 4.0 i) (* 1.0 (/ 1 i))) (- (* 4.0 i) (* 1.0 (/ 1 i))) 6.345 * * [simplify]: iteration 0: 210 enodes 6.454 * * [simplify]: iteration 1: 631 enodes 6.793 * * [simplify]: iteration 2: 2748 enodes 7.830 * * [simplify]: iteration complete: 5001 enodes 7.831 * * [simplify]: Extracting #0: cost 96 inf + 0 7.834 * * [simplify]: Extracting #1: cost 779 inf + 124 7.843 * * [simplify]: Extracting #2: cost 1497 inf + 6189 7.878 * * [simplify]: Extracting #3: cost 1265 inf + 77204 7.943 * * [simplify]: Extracting #4: cost 430 inf + 268499 8.035 * * [simplify]: Extracting #5: cost 102 inf + 381646 8.147 * * [simplify]: Extracting #6: cost 18 inf + 400154 8.253 * * [simplify]: Extracting #7: cost 0 inf + 405033 8.386 * [simplify]: Simplified to: (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0)) (log (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0))) (log (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0))) (log (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0))) (log (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0))) (log (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0))) (log (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0))) (log (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0))) (exp (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0))) (/ (* (/ (/ (* i (sqrt i)) 2.0) (* 2.0 2.0)) (/ (/ (* i (sqrt i)) 2.0) (* 2.0 2.0))) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (/ (/ (* i (sqrt i)) 2.0) (* 2.0 2.0)) (/ (/ (* i (sqrt i)) 2.0) (* 2.0 2.0))) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (/ (/ (* i (sqrt i)) 2.0) (* 2.0 2.0)) (/ (/ (* i (sqrt i)) 2.0) (* 2.0 2.0))) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (/ (/ (* i (sqrt i)) 2.0) (* 2.0 2.0)) (/ (/ (* i (sqrt i)) 2.0) (* 2.0 2.0))) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (* (* (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (* 2.0 2.0))) (/ (sqrt i) (* 2.0 2.0)))) (* (* (* (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (* (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (* 2.0 2.0))) (/ (sqrt i) (* 2.0 2.0)))) (* (cbrt (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0))) (cbrt (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0)))) (cbrt (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0))) (* (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0)) (* (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0)) (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0)))) (sqrt (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0))) (sqrt (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0))) i (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (* 2.0 2.0)) (* (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (sqrt (/ (sqrt i) (* 2.0 2.0)))) (* (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (sqrt (/ (sqrt i) (* 2.0 2.0)))) (/ (* (sqrt (/ (sqrt i) (* 2.0 2.0))) (sqrt (sqrt i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (sqrt (/ (sqrt i) (* 2.0 2.0))) (sqrt (sqrt i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (sqrt (/ (sqrt i) (* 2.0 2.0))) (sqrt (sqrt i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (sqrt (/ (sqrt i) (* 2.0 2.0))) (sqrt (sqrt i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (sqrt i)) (/ 2.0 (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (/ (sqrt (sqrt i)) (/ 2.0 (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (/ (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 2.0) (/ (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 2.0) (/ (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 2.0) (/ (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 2.0) (/ (sqrt (sqrt i)) (/ 2.0 (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (/ (sqrt (sqrt i)) (/ 2.0 (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))))) (/ (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 2.0) (/ (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 2.0) (/ (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 2.0) (/ (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 2.0) (* (* (cbrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (sqrt i) (* 2.0 2.0))) (* (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (* 2.0 2.0))) (* (* (/ (sqrt i) (* 2.0 2.0)) (/ (cbrt (sqrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (cbrt (sqrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (* (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (sqrt i)) (* 2.0 2.0)) (/ (sqrt i) (* (/ 2.0 (cbrt (sqrt i))) (/ 2.0 (cbrt (sqrt i))))) (/ (* (/ (fabs (cbrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (* 2.0 2.0))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (/ (* (sqrt i) (fabs (cbrt i))) (* 2.0 2.0)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (sqrt i) (fabs (cbrt i))) (* 2.0 2.0)) (/ (* (sqrt (sqrt i)) (/ (sqrt i) (* 2.0 2.0))) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (* 2.0 2.0))) (* (/ (sqrt i) 2.0) (/ (sqrt (sqrt i)) 2.0)) (/ (/ (/ (sqrt i) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* 2.0 2.0)) (/ (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* 2.0 2.0)) (/ (sqrt i) (* 2.0 2.0)) (/ (* (sqrt (sqrt i)) (/ (sqrt i) (* 2.0 2.0))) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (* (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (* 2.0 2.0))) (* (/ (sqrt i) 2.0) (/ (sqrt (sqrt i)) 2.0)) (/ (/ (/ (sqrt i) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* 2.0 2.0)) (/ (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* 2.0 2.0)) (/ (sqrt i) (* 2.0 2.0)) (/ (sqrt i) (* 2.0 2.0)) (/ i (* 2.0 2.0)) (/ (/ i (* 2.0 2.0)) (- (* (* (* 2.0 2.0) i) (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i))) (* (/ 1.0 i) (* (/ 1.0 i) (/ 1.0 i))))) (/ (/ i (* (+ (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* 2.0 2.0)) (* (cbrt (/ (sqrt i) (* 2.0 2.0))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (sqrt (/ (sqrt i) (* 2.0 2.0))) (sqrt i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (* (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (sqrt i))) 2.0) (* (/ (sqrt (cbrt i)) 2.0) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (/ (sqrt (sqrt i)) 2.0) (sqrt i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (/ i 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (* (/ (sqrt (sqrt i)) 2.0) (sqrt i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (/ i 2.0) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* 2.0 2.0)) (/ (/ (sqrt i) (* 2.0 2.0)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ i (* 2.0 2.0)) (/ i (- (* (* 2.0 2.0) i) (/ 1.0 i))) (log (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (log (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (exp (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (* (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (cbrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (cbrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (* (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (sqrt (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (- (sqrt i)) (+ (* (* i 2.0) (- 2.0)) (/ 1.0 i)) (* (/ (cbrt (sqrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (cbrt (sqrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))))) (/ (cbrt (sqrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (* (cbrt (sqrt i)) (cbrt (sqrt i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (cbrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (* (cbrt (sqrt i)) (cbrt (sqrt i))) (/ (cbrt (sqrt i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (/ (fabs (cbrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (cbrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (fabs (cbrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (cbrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (fabs (cbrt i)) (/ (sqrt (cbrt i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (/ (sqrt (sqrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (sqrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (sqrt (sqrt i)) (/ (sqrt (sqrt i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (/ 1 (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ 1 (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 1 (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (/ (sqrt (sqrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (sqrt i)) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt (sqrt i)) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (sqrt (sqrt i)) (/ (sqrt (sqrt i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (/ 1 (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ 1 (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) 1 (/ (sqrt i) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ 1 (- (* (* 2.0 2.0) i) (/ 1.0 i))) (/ (- (* (* 2.0 2.0) i) (/ 1.0 i)) (sqrt i)) (/ (/ (sqrt i) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (/ (sqrt i) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (sqrt i) (/ (- (* (* 2.0 2.0) i) (/ 1.0 i)) (cbrt (sqrt i))) (/ (- (* (* 2.0 2.0) i) (/ 1.0 i)) (sqrt (cbrt i))) (/ (- (* (* 2.0 2.0) i) (/ 1.0 i)) (sqrt (sqrt i))) (/ (- (* (* 2.0 2.0) i) (/ 1.0 i)) (sqrt i)) (/ (- (* (* 2.0 2.0) i) (/ 1.0 i)) (sqrt (sqrt i))) (/ (- (* (* 2.0 2.0) i) (/ 1.0 i)) (sqrt i)) (/ (sqrt i) (- (* (* (* 2.0 2.0) i) (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i))) (* (/ 1.0 i) (* (/ 1.0 i) (/ 1.0 i))))) (/ (/ (sqrt i) (+ (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (exp (- (* (* 2.0 2.0) i) (/ 1.0 i))) (log (- (* (* 2.0 2.0) i) (/ 1.0 i))) (exp (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i)))) (cbrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (* (* (- (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (sqrt (- (* (* 2.0 2.0) i) (/ 1.0 i))) (- (* (* (* 2.0 2.0) i) (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i))) (* (/ 1.0 i) (* (/ 1.0 i) (/ 1.0 i)))) (+ (* (+ (* (* 2.0 2.0) i) (/ 1.0 i)) (/ 1.0 i)) (* (* (* 2.0 2.0) i) (* (* 2.0 2.0) i))) (/ (- 1.0) i) (* (+ (* (* 2.0 2.0) i) (/ 1.0 i)) (- (* (* 2.0 2.0) i) (/ 1.0 i))) (+ (* (* 2.0 2.0) i) (/ 1.0 i)) (/ (- 1.0) i) (- (* (- (* i i)) 0.25) (+ (* (* 1.0 (* i i)) (* i i)) (* (* (* i (* i i)) (* i (* i i))) 4.0))) (+ (+ (/ 0.00390625 (* (* i i) (* i i))) 0.0625) (/ 0.015625 (* i i))) (+ (- (/ +nan.0 (* i i)) (/ +nan.0 i)) (- (/ +nan.0 (* i (* i i))))) (+ (* (- i) (* i +nan.0)) (* +nan.0 (- (* (* i i) (* i i)) (* i (* i i))))) (+ (- (/ +nan.0 (* i i)) (/ +nan.0 i)) (- (/ +nan.0 (* i (* i i))))) (+ (- (/ +nan.0 (* i i)) (/ +nan.0 i)) (- (/ +nan.0 (* i (* i i))))) (- (* i 4.0) (/ 1.0 i)) (- (* i 4.0) (/ 1.0 i)) (- (* i 4.0) (/ 1.0 i)) 8.406 * * * [progress]: adding candidates to table 9.008 * * [progress]: iteration 3 / 4 9.008 * * * [progress]: picking best candidate 9.011 * * * * [pick]: Picked # 9.011 * * * [progress]: localizing error 9.038 * * * [progress]: generating rewritten candidates 9.038 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 9.047 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 9.128 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 9.237 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2) 9.270 * * * [progress]: generating series expansions 9.270 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 9.270 * [backup-simplify]: Simplify (* (- (* i i)) 0.25) into (* -0.25 (pow i 2)) 9.270 * [approximate]: Taking taylor expansion of (* -0.25 (pow i 2)) in (i) around 0 9.270 * [taylor]: Taking taylor expansion of (* -0.25 (pow i 2)) in i 9.270 * [taylor]: Taking taylor expansion of -0.25 in i 9.270 * [backup-simplify]: Simplify -0.25 into -0.25 9.270 * [taylor]: Taking taylor expansion of (pow i 2) in i 9.270 * [taylor]: Taking taylor expansion of i in i 9.270 * [backup-simplify]: Simplify 0 into 0 9.270 * [backup-simplify]: Simplify 1 into 1 9.270 * [taylor]: Taking taylor expansion of (* -0.25 (pow i 2)) in i 9.270 * [taylor]: Taking taylor expansion of -0.25 in i 9.271 * [backup-simplify]: Simplify -0.25 into -0.25 9.271 * [taylor]: Taking taylor expansion of (pow i 2) in i 9.271 * [taylor]: Taking taylor expansion of i in i 9.271 * [backup-simplify]: Simplify 0 into 0 9.271 * [backup-simplify]: Simplify 1 into 1 9.271 * [backup-simplify]: Simplify (* 1 1) into 1 9.272 * [backup-simplify]: Simplify (* -0.25 1) into -0.25 9.272 * [backup-simplify]: Simplify -0.25 into -0.25 9.273 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.273 * [backup-simplify]: Simplify (+ (* -0.25 0) (* 0 1)) into 0 9.273 * [backup-simplify]: Simplify 0 into 0 9.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.275 * [backup-simplify]: Simplify (+ (* -0.25 0) (+ (* 0 0) (* 0 1))) into 0 9.275 * [backup-simplify]: Simplify 0 into 0 9.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.277 * [backup-simplify]: Simplify (+ (* -0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.277 * [backup-simplify]: Simplify 0 into 0 9.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.280 * [backup-simplify]: Simplify (+ (* -0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.280 * [backup-simplify]: Simplify 0 into 0 9.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.283 * [backup-simplify]: Simplify (+ (* -0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.283 * [backup-simplify]: Simplify 0 into 0 9.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.287 * [backup-simplify]: Simplify (+ (* -0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.287 * [backup-simplify]: Simplify 0 into 0 9.287 * [backup-simplify]: Simplify (* -0.25 (pow i 2)) into (* -0.25 (pow i 2)) 9.287 * [backup-simplify]: Simplify (* (- (* (/ 1 i) (/ 1 i))) 0.25) into (/ -0.25 (pow i 2)) 9.287 * [approximate]: Taking taylor expansion of (/ -0.25 (pow i 2)) in (i) around 0 9.287 * [taylor]: Taking taylor expansion of (/ -0.25 (pow i 2)) in i 9.287 * [taylor]: Taking taylor expansion of -0.25 in i 9.287 * [backup-simplify]: Simplify -0.25 into -0.25 9.287 * [taylor]: Taking taylor expansion of (pow i 2) in i 9.287 * [taylor]: Taking taylor expansion of i in i 9.287 * [backup-simplify]: Simplify 0 into 0 9.287 * [backup-simplify]: Simplify 1 into 1 9.288 * [backup-simplify]: Simplify (* 1 1) into 1 9.288 * [backup-simplify]: Simplify (/ -0.25 1) into -0.25 9.288 * [taylor]: Taking taylor expansion of (/ -0.25 (pow i 2)) in i 9.288 * [taylor]: Taking taylor expansion of -0.25 in i 9.288 * [backup-simplify]: Simplify -0.25 into -0.25 9.288 * [taylor]: Taking taylor expansion of (pow i 2) in i 9.288 * [taylor]: Taking taylor expansion of i in i 9.288 * [backup-simplify]: Simplify 0 into 0 9.288 * [backup-simplify]: Simplify 1 into 1 9.289 * [backup-simplify]: Simplify (* 1 1) into 1 9.289 * [backup-simplify]: Simplify (/ -0.25 1) into -0.25 9.289 * [backup-simplify]: Simplify -0.25 into -0.25 9.290 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)))) into 0 9.291 * [backup-simplify]: Simplify 0 into 0 9.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.293 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.293 * [backup-simplify]: Simplify 0 into 0 9.294 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.295 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.295 * [backup-simplify]: Simplify 0 into 0 9.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.297 * [backup-simplify]: Simplify 0 into 0 9.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.299 * [backup-simplify]: Simplify 0 into 0 9.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.302 * [backup-simplify]: Simplify 0 into 0 9.302 * [backup-simplify]: Simplify (* -0.25 (pow (/ 1 (/ 1 i)) 2)) into (* -0.25 (pow i 2)) 9.302 * [backup-simplify]: Simplify (* (- (* (/ 1 (- i)) (/ 1 (- i)))) 0.25) into (/ -0.25 (pow i 2)) 9.302 * [approximate]: Taking taylor expansion of (/ -0.25 (pow i 2)) in (i) around 0 9.303 * [taylor]: Taking taylor expansion of (/ -0.25 (pow i 2)) in i 9.303 * [taylor]: Taking taylor expansion of -0.25 in i 9.303 * [backup-simplify]: Simplify -0.25 into -0.25 9.303 * [taylor]: Taking taylor expansion of (pow i 2) in i 9.303 * [taylor]: Taking taylor expansion of i in i 9.303 * [backup-simplify]: Simplify 0 into 0 9.303 * [backup-simplify]: Simplify 1 into 1 9.303 * [backup-simplify]: Simplify (* 1 1) into 1 9.304 * [backup-simplify]: Simplify (/ -0.25 1) into -0.25 9.304 * [taylor]: Taking taylor expansion of (/ -0.25 (pow i 2)) in i 9.304 * [taylor]: Taking taylor expansion of -0.25 in i 9.304 * [backup-simplify]: Simplify -0.25 into -0.25 9.304 * [taylor]: Taking taylor expansion of (pow i 2) in i 9.304 * [taylor]: Taking taylor expansion of i in i 9.304 * [backup-simplify]: Simplify 0 into 0 9.304 * [backup-simplify]: Simplify 1 into 1 9.304 * [backup-simplify]: Simplify (* 1 1) into 1 9.305 * [backup-simplify]: Simplify (/ -0.25 1) into -0.25 9.305 * [backup-simplify]: Simplify -0.25 into -0.25 9.305 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.306 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)))) into 0 9.306 * [backup-simplify]: Simplify 0 into 0 9.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.307 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.307 * [backup-simplify]: Simplify 0 into 0 9.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.308 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.308 * [backup-simplify]: Simplify 0 into 0 9.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.309 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.309 * [backup-simplify]: Simplify 0 into 0 9.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.311 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.311 * [backup-simplify]: Simplify 0 into 0 9.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.312 * [backup-simplify]: Simplify 0 into 0 9.312 * [backup-simplify]: Simplify (* -0.25 (pow (/ 1 (/ 1 (- i))) 2)) into (* -0.25 (pow i 2)) 9.312 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 9.313 * [backup-simplify]: Simplify (* (* 1.0 (* i i)) (* i i)) into (* 1.0 (pow i 4)) 9.313 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 4)) in (i) around 0 9.313 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i 9.313 * [taylor]: Taking taylor expansion of 1.0 in i 9.313 * [backup-simplify]: Simplify 1.0 into 1.0 9.313 * [taylor]: Taking taylor expansion of (pow i 4) in i 9.313 * [taylor]: Taking taylor expansion of i in i 9.313 * [backup-simplify]: Simplify 0 into 0 9.313 * [backup-simplify]: Simplify 1 into 1 9.313 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i 9.313 * [taylor]: Taking taylor expansion of 1.0 in i 9.313 * [backup-simplify]: Simplify 1.0 into 1.0 9.313 * [taylor]: Taking taylor expansion of (pow i 4) in i 9.313 * [taylor]: Taking taylor expansion of i in i 9.313 * [backup-simplify]: Simplify 0 into 0 9.313 * [backup-simplify]: Simplify 1 into 1 9.313 * [backup-simplify]: Simplify (* 1 1) into 1 9.313 * [backup-simplify]: Simplify (* 1 1) into 1 9.314 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 9.314 * [backup-simplify]: Simplify 1.0 into 1.0 9.314 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.314 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.315 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 9.315 * [backup-simplify]: Simplify 0 into 0 9.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.316 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 9.316 * [backup-simplify]: Simplify 0 into 0 9.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.318 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.318 * [backup-simplify]: Simplify 0 into 0 9.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.320 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.320 * [backup-simplify]: Simplify 0 into 0 9.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.322 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.323 * [backup-simplify]: Simplify 0 into 0 9.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.325 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.325 * [backup-simplify]: Simplify 0 into 0 9.325 * [backup-simplify]: Simplify (* 1.0 (pow i 4)) into (* 1.0 (pow i 4)) 9.325 * [backup-simplify]: Simplify (* (* 1.0 (* (/ 1 i) (/ 1 i))) (* (/ 1 i) (/ 1 i))) into (/ 1.0 (pow i 4)) 9.325 * [approximate]: Taking taylor expansion of (/ 1.0 (pow i 4)) in (i) around 0 9.325 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 4)) in i 9.325 * [taylor]: Taking taylor expansion of 1.0 in i 9.325 * [backup-simplify]: Simplify 1.0 into 1.0 9.326 * [taylor]: Taking taylor expansion of (pow i 4) in i 9.326 * [taylor]: Taking taylor expansion of i in i 9.326 * [backup-simplify]: Simplify 0 into 0 9.326 * [backup-simplify]: Simplify 1 into 1 9.326 * [backup-simplify]: Simplify (* 1 1) into 1 9.326 * [backup-simplify]: Simplify (* 1 1) into 1 9.326 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0 9.326 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 4)) in i 9.326 * [taylor]: Taking taylor expansion of 1.0 in i 9.326 * [backup-simplify]: Simplify 1.0 into 1.0 9.326 * [taylor]: Taking taylor expansion of (pow i 4) in i 9.327 * [taylor]: Taking taylor expansion of i in i 9.327 * [backup-simplify]: Simplify 0 into 0 9.327 * [backup-simplify]: Simplify 1 into 1 9.327 * [backup-simplify]: Simplify (* 1 1) into 1 9.327 * [backup-simplify]: Simplify (* 1 1) into 1 9.327 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0 9.327 * [backup-simplify]: Simplify 1.0 into 1.0 9.328 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.328 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.329 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0 9.329 * [backup-simplify]: Simplify 0 into 0 9.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.330 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.330 * [backup-simplify]: Simplify 0 into 0 9.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.332 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.332 * [backup-simplify]: Simplify 0 into 0 9.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.334 * [backup-simplify]: Simplify 0 into 0 9.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.338 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.338 * [backup-simplify]: Simplify 0 into 0 9.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.343 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.343 * [backup-simplify]: Simplify 0 into 0 9.343 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 (/ 1 i)) 4)) into (* 1.0 (pow i 4)) 9.343 * [backup-simplify]: Simplify (* (* 1.0 (* (/ 1 (- i)) (/ 1 (- i)))) (* (/ 1 (- i)) (/ 1 (- i)))) into (/ 1.0 (pow i 4)) 9.343 * [approximate]: Taking taylor expansion of (/ 1.0 (pow i 4)) in (i) around 0 9.343 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 4)) in i 9.343 * [taylor]: Taking taylor expansion of 1.0 in i 9.343 * [backup-simplify]: Simplify 1.0 into 1.0 9.343 * [taylor]: Taking taylor expansion of (pow i 4) in i 9.343 * [taylor]: Taking taylor expansion of i in i 9.343 * [backup-simplify]: Simplify 0 into 0 9.343 * [backup-simplify]: Simplify 1 into 1 9.344 * [backup-simplify]: Simplify (* 1 1) into 1 9.344 * [backup-simplify]: Simplify (* 1 1) into 1 9.345 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0 9.345 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 4)) in i 9.345 * [taylor]: Taking taylor expansion of 1.0 in i 9.345 * [backup-simplify]: Simplify 1.0 into 1.0 9.345 * [taylor]: Taking taylor expansion of (pow i 4) in i 9.345 * [taylor]: Taking taylor expansion of i in i 9.345 * [backup-simplify]: Simplify 0 into 0 9.345 * [backup-simplify]: Simplify 1 into 1 9.345 * [backup-simplify]: Simplify (* 1 1) into 1 9.346 * [backup-simplify]: Simplify (* 1 1) into 1 9.346 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0 9.346 * [backup-simplify]: Simplify 1.0 into 1.0 9.347 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.347 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.348 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0 9.348 * [backup-simplify]: Simplify 0 into 0 9.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.350 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.350 * [backup-simplify]: Simplify 0 into 0 9.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.352 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.352 * [backup-simplify]: Simplify 0 into 0 9.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.354 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.354 * [backup-simplify]: Simplify 0 into 0 9.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.356 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.356 * [backup-simplify]: Simplify 0 into 0 9.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.363 * [backup-simplify]: Simplify 0 into 0 9.363 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 (/ 1 (- i))) 4)) into (* 1.0 (pow i 4)) 9.363 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 9.363 * [backup-simplify]: Simplify (* (* i (* i i)) (* i (* i i))) into (pow i 6) 9.363 * [approximate]: Taking taylor expansion of (pow i 6) in (i) around 0 9.363 * [taylor]: Taking taylor expansion of (pow i 6) in i 9.363 * [taylor]: Taking taylor expansion of i in i 9.363 * [backup-simplify]: Simplify 0 into 0 9.363 * [backup-simplify]: Simplify 1 into 1 9.363 * [taylor]: Taking taylor expansion of (pow i 6) in i 9.364 * [taylor]: Taking taylor expansion of i in i 9.364 * [backup-simplify]: Simplify 0 into 0 9.364 * [backup-simplify]: Simplify 1 into 1 9.364 * [backup-simplify]: Simplify (* 1 1) into 1 9.364 * [backup-simplify]: Simplify (* 1 1) into 1 9.364 * [backup-simplify]: Simplify (* 1 1) into 1 9.364 * [backup-simplify]: Simplify 1 into 1 9.365 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.365 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.365 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.365 * [backup-simplify]: Simplify 0 into 0 9.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.367 * [backup-simplify]: Simplify 0 into 0 9.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.369 * [backup-simplify]: Simplify 0 into 0 9.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.371 * [backup-simplify]: Simplify 0 into 0 9.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.373 * [backup-simplify]: Simplify 0 into 0 9.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.375 * [backup-simplify]: Simplify 0 into 0 9.376 * [backup-simplify]: Simplify (* 1 (pow i 6)) into (pow i 6) 9.376 * [backup-simplify]: Simplify (* (* (/ 1 i) (* (/ 1 i) (/ 1 i))) (* (/ 1 i) (* (/ 1 i) (/ 1 i)))) into (/ 1 (pow i 6)) 9.376 * [approximate]: Taking taylor expansion of (/ 1 (pow i 6)) in (i) around 0 9.376 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 9.376 * [taylor]: Taking taylor expansion of (pow i 6) in i 9.376 * [taylor]: Taking taylor expansion of i in i 9.376 * [backup-simplify]: Simplify 0 into 0 9.376 * [backup-simplify]: Simplify 1 into 1 9.376 * [backup-simplify]: Simplify (* 1 1) into 1 9.376 * [backup-simplify]: Simplify (* 1 1) into 1 9.377 * [backup-simplify]: Simplify (* 1 1) into 1 9.377 * [backup-simplify]: Simplify (/ 1 1) into 1 9.377 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 9.377 * [taylor]: Taking taylor expansion of (pow i 6) in i 9.377 * [taylor]: Taking taylor expansion of i in i 9.377 * [backup-simplify]: Simplify 0 into 0 9.377 * [backup-simplify]: Simplify 1 into 1 9.377 * [backup-simplify]: Simplify (* 1 1) into 1 9.377 * [backup-simplify]: Simplify (* 1 1) into 1 9.378 * [backup-simplify]: Simplify (* 1 1) into 1 9.378 * [backup-simplify]: Simplify (/ 1 1) into 1 9.378 * [backup-simplify]: Simplify 1 into 1 9.379 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.379 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.380 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.381 * [backup-simplify]: Simplify 0 into 0 9.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.385 * [backup-simplify]: Simplify 0 into 0 9.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.389 * [backup-simplify]: Simplify 0 into 0 9.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.393 * [backup-simplify]: Simplify 0 into 0 9.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.396 * [backup-simplify]: Simplify 0 into 0 9.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.399 * [backup-simplify]: Simplify 0 into 0 9.399 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 i)) 6)) into (pow i 6) 9.400 * [backup-simplify]: Simplify (* (* (/ 1 (- i)) (* (/ 1 (- i)) (/ 1 (- i)))) (* (/ 1 (- i)) (* (/ 1 (- i)) (/ 1 (- i))))) into (/ 1 (pow i 6)) 9.400 * [approximate]: Taking taylor expansion of (/ 1 (pow i 6)) in (i) around 0 9.400 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 9.400 * [taylor]: Taking taylor expansion of (pow i 6) in i 9.400 * [taylor]: Taking taylor expansion of i in i 9.400 * [backup-simplify]: Simplify 0 into 0 9.400 * [backup-simplify]: Simplify 1 into 1 9.400 * [backup-simplify]: Simplify (* 1 1) into 1 9.400 * [backup-simplify]: Simplify (* 1 1) into 1 9.401 * [backup-simplify]: Simplify (* 1 1) into 1 9.401 * [backup-simplify]: Simplify (/ 1 1) into 1 9.401 * [taylor]: Taking taylor expansion of (/ 1 (pow i 6)) in i 9.401 * [taylor]: Taking taylor expansion of (pow i 6) in i 9.401 * [taylor]: Taking taylor expansion of i in i 9.401 * [backup-simplify]: Simplify 0 into 0 9.401 * [backup-simplify]: Simplify 1 into 1 9.402 * [backup-simplify]: Simplify (* 1 1) into 1 9.402 * [backup-simplify]: Simplify (* 1 1) into 1 9.402 * [backup-simplify]: Simplify (* 1 1) into 1 9.402 * [backup-simplify]: Simplify (/ 1 1) into 1 9.402 * [backup-simplify]: Simplify 1 into 1 9.403 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.403 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.404 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.404 * [backup-simplify]: Simplify 0 into 0 9.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.406 * [backup-simplify]: Simplify 0 into 0 9.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.408 * [backup-simplify]: Simplify 0 into 0 9.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.411 * [backup-simplify]: Simplify 0 into 0 9.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.414 * [backup-simplify]: Simplify 0 into 0 9.414 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.417 * [backup-simplify]: Simplify 0 into 0 9.417 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- i))) 6)) into (pow i 6) 9.417 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2) 9.417 * [backup-simplify]: Simplify (* i (* i i)) into (pow i 3) 9.417 * [approximate]: Taking taylor expansion of (pow i 3) in (i) around 0 9.417 * [taylor]: Taking taylor expansion of (pow i 3) in i 9.417 * [taylor]: Taking taylor expansion of i in i 9.417 * [backup-simplify]: Simplify 0 into 0 9.417 * [backup-simplify]: Simplify 1 into 1 9.417 * [taylor]: Taking taylor expansion of (pow i 3) in i 9.417 * [taylor]: Taking taylor expansion of i in i 9.417 * [backup-simplify]: Simplify 0 into 0 9.417 * [backup-simplify]: Simplify 1 into 1 9.418 * [backup-simplify]: Simplify (* 1 1) into 1 9.418 * [backup-simplify]: Simplify (* 1 1) into 1 9.418 * [backup-simplify]: Simplify 1 into 1 9.418 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.419 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.419 * [backup-simplify]: Simplify 0 into 0 9.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.420 * [backup-simplify]: Simplify 0 into 0 9.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.421 * [backup-simplify]: Simplify 0 into 0 9.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.423 * [backup-simplify]: Simplify 0 into 0 9.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.426 * [backup-simplify]: Simplify 0 into 0 9.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.429 * [backup-simplify]: Simplify 0 into 0 9.429 * [backup-simplify]: Simplify (* 1 (pow i 3)) into (pow i 3) 9.429 * [backup-simplify]: Simplify (* (/ 1 i) (* (/ 1 i) (/ 1 i))) into (/ 1 (pow i 3)) 9.429 * [approximate]: Taking taylor expansion of (/ 1 (pow i 3)) in (i) around 0 9.430 * [taylor]: Taking taylor expansion of (/ 1 (pow i 3)) in i 9.430 * [taylor]: Taking taylor expansion of (pow i 3) in i 9.430 * [taylor]: Taking taylor expansion of i in i 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify 1 into 1 9.430 * [backup-simplify]: Simplify (* 1 1) into 1 9.430 * [backup-simplify]: Simplify (* 1 1) into 1 9.431 * [backup-simplify]: Simplify (/ 1 1) into 1 9.431 * [taylor]: Taking taylor expansion of (/ 1 (pow i 3)) in i 9.431 * [taylor]: Taking taylor expansion of (pow i 3) in i 9.431 * [taylor]: Taking taylor expansion of i in i 9.431 * [backup-simplify]: Simplify 0 into 0 9.431 * [backup-simplify]: Simplify 1 into 1 9.431 * [backup-simplify]: Simplify (* 1 1) into 1 9.432 * [backup-simplify]: Simplify (* 1 1) into 1 9.432 * [backup-simplify]: Simplify (/ 1 1) into 1 9.432 * [backup-simplify]: Simplify 1 into 1 9.433 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.434 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.435 * [backup-simplify]: Simplify 0 into 0 9.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.438 * [backup-simplify]: Simplify 0 into 0 9.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.441 * [backup-simplify]: Simplify 0 into 0 9.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.443 * [backup-simplify]: Simplify 0 into 0 9.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.445 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.445 * [backup-simplify]: Simplify 0 into 0 9.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.447 * [backup-simplify]: Simplify 0 into 0 9.448 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 i)) 3)) into (pow i 3) 9.448 * [backup-simplify]: Simplify (* (/ 1 (- i)) (* (/ 1 (- i)) (/ 1 (- i)))) into (/ -1 (pow i 3)) 9.448 * [approximate]: Taking taylor expansion of (/ -1 (pow i 3)) in (i) around 0 9.448 * [taylor]: Taking taylor expansion of (/ -1 (pow i 3)) in i 9.448 * [taylor]: Taking taylor expansion of -1 in i 9.448 * [backup-simplify]: Simplify -1 into -1 9.448 * [taylor]: Taking taylor expansion of (pow i 3) in i 9.448 * [taylor]: Taking taylor expansion of i in i 9.448 * [backup-simplify]: Simplify 0 into 0 9.448 * [backup-simplify]: Simplify 1 into 1 9.448 * [backup-simplify]: Simplify (* 1 1) into 1 9.448 * [backup-simplify]: Simplify (* 1 1) into 1 9.449 * [backup-simplify]: Simplify (/ -1 1) into -1 9.449 * [taylor]: Taking taylor expansion of (/ -1 (pow i 3)) in i 9.449 * [taylor]: Taking taylor expansion of -1 in i 9.449 * [backup-simplify]: Simplify -1 into -1 9.449 * [taylor]: Taking taylor expansion of (pow i 3) in i 9.449 * [taylor]: Taking taylor expansion of i in i 9.449 * [backup-simplify]: Simplify 0 into 0 9.449 * [backup-simplify]: Simplify 1 into 1 9.449 * [backup-simplify]: Simplify (* 1 1) into 1 9.449 * [backup-simplify]: Simplify (* 1 1) into 1 9.449 * [backup-simplify]: Simplify (/ -1 1) into -1 9.450 * [backup-simplify]: Simplify -1 into -1 9.450 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.450 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.451 * [backup-simplify]: Simplify 0 into 0 9.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.452 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.452 * [backup-simplify]: Simplify 0 into 0 9.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.454 * [backup-simplify]: Simplify 0 into 0 9.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.456 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.456 * [backup-simplify]: Simplify 0 into 0 9.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.458 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.458 * [backup-simplify]: Simplify 0 into 0 9.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.465 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.465 * [backup-simplify]: Simplify 0 into 0 9.465 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- i))) 3)) into (pow i 3) 9.465 * * * [progress]: simplifying candidates 9.467 * [simplify]: Simplifying: (* (- (* i i)) 0.25) (+ (log (- (* i i))) (log 0.25)) (log (* (- (* i i)) 0.25)) (exp (* (- (* i i)) 0.25)) (* (* (* (- (* i i)) (- (* i i))) (- (* i i))) (* (* 0.25 0.25) 0.25)) (* (cbrt (* (- (* i i)) 0.25)) (cbrt (* (- (* i i)) 0.25))) (cbrt (* (- (* i i)) 0.25)) (* (* (* (- (* i i)) 0.25) (* (- (* i i)) 0.25)) (* (- (* i i)) 0.25)) (sqrt (* (- (* i i)) 0.25)) (sqrt (* (- (* i i)) 0.25)) (* (sqrt (- (* i i))) (sqrt 0.25)) (* (sqrt (- (* i i))) (sqrt 0.25)) (* (* i i) 0.25) (* (- (* i i)) (* (cbrt 0.25) (cbrt 0.25))) (* (- (* i i)) (sqrt 0.25)) (* (- (* i i)) 1) (* (cbrt (- (* i i))) 0.25) (* (sqrt (- (* i i))) 0.25) (* (- (* i i)) 0.25) (* (* i i) 0.25) (* i 0.25) (* (- i) 0.25) (* (* 1.0 (* i i)) (* i i)) (* (* 1.0 (* i i)) (* i i)) (* (* 1.0 (* i i)) (* i i)) (* (* 1.0 (* i i)) (* i i)) (* (* 1.0 (* i i)) (* i i)) (* (* 1.0 (* i i)) (* i i)) (+ (+ (log 1.0) (+ (log i) (log i))) (+ (log i) (log i))) (+ (+ (log 1.0) (+ (log i) (log i))) (log (* i i))) (+ (+ (log 1.0) (log (* i i))) (+ (log i) (log i))) (+ (+ (log 1.0) (log (* i i))) (log (* i i))) (+ (log (* 1.0 (* i i))) (+ (log i) (log i))) (+ (log (* 1.0 (* i i))) (log (* i i))) (log (* (* 1.0 (* i i)) (* i i))) (exp (* (* 1.0 (* i i)) (* i i))) (* (* (* (* 1.0 1.0) 1.0) (* (* (* i i) i) (* (* i i) i))) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 1.0 1.0) 1.0) (* (* (* i i) i) (* (* i i) i))) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 1.0 1.0) 1.0) (* (* (* i i) (* i i)) (* i i))) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 1.0 1.0) 1.0) (* (* (* i i) (* i i)) (* i i))) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 1.0 (* i i)) (* 1.0 (* i i))) (* 1.0 (* i i))) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 1.0 (* i i)) (* 1.0 (* i i))) (* 1.0 (* i i))) (* (* (* i i) (* i i)) (* i i))) (* (cbrt (* (* 1.0 (* i i)) (* i i))) (cbrt (* (* 1.0 (* i i)) (* i i)))) (cbrt (* (* 1.0 (* i i)) (* i i))) (* (* (* (* 1.0 (* i i)) (* i i)) (* (* 1.0 (* i i)) (* i i))) (* (* 1.0 (* i i)) (* i i))) (sqrt (* (* 1.0 (* i i)) (* i i))) (sqrt (* (* 1.0 (* i i)) (* i i))) (* (* 1.0 (* i i)) i) (* (* i i) (* i i)) (+ (+ 1 (+ 1 1)) (+ 1 (+ 1 1))) (+ (+ 1 (+ 1 1)) (+ 1 2)) (+ (+ 1 (+ 1 1)) (+ 1 (+ 1 1))) (+ (+ 1 (+ 1 1)) (+ 1 (* 2 1))) (+ (+ 1 (+ 1 1)) 3) (+ (+ 1 2) (+ 1 (+ 1 1))) (+ (+ 1 2) (+ 1 2)) (+ (+ 1 2) (+ 1 (+ 1 1))) (+ (+ 1 2) (+ 1 (* 2 1))) (+ (+ 1 2) 3) (+ (+ 1 (+ 1 1)) (+ 1 (+ 1 1))) (+ (+ 1 (+ 1 1)) (+ 1 2)) (+ (+ 1 (+ 1 1)) (+ 1 (+ 1 1))) (+ (+ 1 (+ 1 1)) (+ 1 (* 2 1))) (+ (+ 1 (+ 1 1)) 3) (+ (+ 1 (* 2 1)) (+ 1 (+ 1 1))) (+ (+ 1 (* 2 1)) (+ 1 2)) (+ (+ 1 (* 2 1)) (+ 1 (+ 1 1))) (+ (+ 1 (* 2 1)) (+ 1 (* 2 1))) (+ (+ 1 (* 2 1)) 3) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (+ 3 (+ 1 (+ 1 1))) (+ 3 (+ 1 2)) (+ 3 (+ 1 (+ 1 1))) (+ 3 (+ 1 (* 2 1))) (+ 3 3) (* i i) (* i i) (* i i) (* i i) (* i i) (* i i) (* (* i (* i i)) (* i (* i i))) (* (* i (* i i)) (* i (* i i))) (* (* i (* i i)) (* i (* i i))) (* (* i (* i i)) (* i (* i i))) (* (* i (* i i)) (* i (* i i))) (* (* i (* i i)) (* i (* i i))) (* (* i (* i i)) (* i (* i i))) (* (* i (* i i)) (* i (* i i))) (* (* i (* i i)) (* i (* i i))) (* i i) (+ 1 1) (+ 1 1) (+ 1 1) (+ (+ (log i) (+ (log i) (log i))) (+ (log i) (+ (log i) (log i)))) (+ (+ (log i) (+ (log i) (log i))) (+ (log i) (log (* i i)))) (+ (+ (log i) (+ (log i) (log i))) (log (* i (* i i)))) (+ (+ (log i) (log (* i i))) (+ (log i) (+ (log i) (log i)))) (+ (+ (log i) (log (* i i))) (+ (log i) (log (* i i)))) (+ (+ (log i) (log (* i i))) (log (* i (* i i)))) (+ (log (* i (* i i))) (+ (log i) (+ (log i) (log i)))) (+ (log (* i (* i i))) (+ (log i) (log (* i i)))) (+ (log (* i (* i i))) (log (* i (* i i)))) (log (* (* i (* i i)) (* i (* i i)))) (exp (* (* i (* i i)) (* i (* i i)))) (* (* (* (* i i) i) (* (* (* i i) i) (* (* i i) i))) (* (* (* i i) i) (* (* (* i i) i) (* (* i i) i)))) (* (* (* (* i i) i) (* (* (* i i) i) (* (* i i) i))) (* (* (* i i) i) (* (* (* i i) (* i i)) (* i i)))) (* (* (* (* i i) i) (* (* (* i i) i) (* (* i i) i))) (* (* (* i (* i i)) (* i (* i i))) (* i (* i i)))) (* (* (* (* i i) i) (* (* (* i i) (* i i)) (* i i))) (* (* (* i i) i) (* (* (* i i) i) (* (* i i) i)))) (* (* (* (* i i) i) (* (* (* i i) (* i i)) (* i i))) (* (* (* i i) i) (* (* (* i i) (* i i)) (* i i)))) (* (* (* (* i i) i) (* (* (* i i) (* i i)) (* i i))) (* (* (* i (* i i)) (* i (* i i))) (* i (* i i)))) (* (* (* (* i (* i i)) (* i (* i i))) (* i (* i i))) (* (* (* i i) i) (* (* (* i i) i) (* (* i i) i)))) (* (* (* (* i (* i i)) (* i (* i i))) (* i (* i i))) (* (* (* i i) i) (* (* (* i i) (* i i)) (* i i)))) (* (* (* (* i (* i i)) (* i (* i i))) (* i (* i i))) (* (* (* i (* i i)) (* i (* i i))) (* i (* i i)))) (* (cbrt (* (* i (* i i)) (* i (* i i)))) (cbrt (* (* i (* i i)) (* i (* i i))))) (cbrt (* (* i (* i i)) (* i (* i i)))) (* (* (* (* i (* i i)) (* i (* i i))) (* (* i (* i i)) (* i (* i i)))) (* (* i (* i i)) (* i (* i i)))) (sqrt (* (* i (* i i)) (* i (* i i)))) (sqrt (* (* i (* i i)) (* i (* i i)))) (* i i) (* (* i i) (* i i)) (* 2 (+ 1 (+ 1 1))) (* 2 (+ 1 (+ 1 1))) (* 2 (+ 1 2)) (* 2 (+ 1 (+ 1 1))) (* 2 (+ 1 (+ 1 1))) (* 2 (+ 1 (* 2 1))) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* 2 3) (* (* i (* i i)) i) (* (* i i) (* i (* i i))) (+ 1 (+ 1 1)) (+ 1 2) (+ 1 (+ 1 1)) (+ 1 (* 2 1)) (* i (* i i)) (* i (* i i)) (+ (log i) (+ (log i) (log i))) (+ (log i) (log (* i i))) (log (* i (* i i))) (exp (* i (* i i))) (* (* (* i i) i) (* (* (* i i) i) (* (* i i) i))) (* (* (* i i) i) (* (* (* i i) (* i i)) (* i i))) (* (cbrt (* i (* i i))) (cbrt (* i (* i i)))) (cbrt (* i (* i i))) (* (* (* i (* i i)) (* i (* i i))) (* i (* i i))) (sqrt (* i (* i i))) (sqrt (* i (* i i))) (* (sqrt i) i) (* (sqrt i) i) (* i i) (* (cbrt i) (* i i)) (* (sqrt i) (* i i)) (* i (* i i)) (* -0.25 (pow i 2)) (* -0.25 (pow i 2)) (* -0.25 (pow i 2)) (* 1.0 (pow i 4)) (* 1.0 (pow i 4)) (* 1.0 (pow i 4)) (pow i 6) (pow i 6) (pow i 6) (pow i 3) (pow i 3) (pow i 3) 9.469 * * [simplify]: iteration 0: 156 enodes 9.565 * * [simplify]: iteration 1: 501 enodes 9.963 * * [simplify]: iteration 2: 1582 enodes 11.022 * * [simplify]: iteration complete: 5000 enodes 11.022 * * [simplify]: Extracting #0: cost 46 inf + 0 11.024 * * [simplify]: Extracting #1: cost 607 inf + 539 11.038 * * [simplify]: Extracting #2: cost 1161 inf + 29642 11.067 * * [simplify]: Extracting #3: cost 484 inf + 175488 11.121 * * [simplify]: Extracting #4: cost 47 inf + 267525 11.185 * * [simplify]: Extracting #5: cost 0 inf + 280271 11.255 * * [simplify]: Extracting #6: cost 0 inf + 279991 11.330 * [simplify]: Simplified to: (* (* i (- i)) 0.25) (log (* (* i (- i)) 0.25)) (log (* (* i (- i)) 0.25)) (exp (* (* i (- i)) 0.25)) (* (- (* (* i i) (* (* 0.25 (* i i)) (* 0.25 (* i i))))) 0.25) (* (cbrt (* (* i (- i)) 0.25)) (cbrt (* (* i (- i)) 0.25))) (cbrt (* (* i (- i)) 0.25)) (* (- (* (* i i) (* (* 0.25 (* i i)) (* 0.25 (* i i))))) 0.25) (sqrt (* (* i (- i)) 0.25)) (sqrt (* (* i (- i)) 0.25)) (* (sqrt (* i (- i))) (sqrt 0.25)) (* (sqrt (* i (- i))) (sqrt 0.25)) (* (* i 0.25) i) (* (* i (- i)) (* (cbrt 0.25) (cbrt 0.25))) (* (- (sqrt 0.25)) (* i i)) (* i (- i)) (* (cbrt (* i (- i))) 0.25) (* (sqrt (* i (- i))) 0.25) (* (* i (- i)) 0.25) (* (* i 0.25) i) (* 0.25 i) (* (- i) 0.25) (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) 1.0)) (log (* (* i i) (* (* i i) 1.0))) (log (* (* i i) (* (* i i) 1.0))) (log (* (* i i) (* (* i i) 1.0))) (log (* (* i i) (* (* i i) 1.0))) (log (* (* i i) (* (* i i) 1.0))) (log (* (* i i) (* (* i i) 1.0))) (log (* (* i i) (* (* i i) 1.0))) (exp (* (* i i) (* (* i i) 1.0))) (* (* (* i i) (* (* i i) 1.0)) (* (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) 1.0)))) (* (* (* i i) (* (* i i) 1.0)) (* (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) 1.0)))) (* (* (* i i) (* (* i i) 1.0)) (* (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) 1.0)))) (* (* (* i i) (* (* i i) 1.0)) (* (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) 1.0)))) (* (* (* i i) (* (* i i) 1.0)) (* (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) 1.0)))) (* (* (* i i) (* (* i i) 1.0)) (* (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) 1.0)))) (* (cbrt (* (* i i) (* (* i i) 1.0))) (cbrt (* (* i i) (* (* i i) 1.0)))) (cbrt (* (* i i) (* (* i i) 1.0))) (* (* (* i i) (* (* i i) 1.0)) (* (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) 1.0)))) (sqrt (* (* i i) (* (* i i) 1.0))) (sqrt (* (* i i) (* (* i i) 1.0))) (* (* (* i i) 1.0) i) (* (* i i) (* i i)) 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 2 2 2 2 2 2 2 2 2 6 6 6 6 6 (* i i) (* i i) (* i i) (* i i) (* i i) (* i i) (* (* i i) (* (* i i) (* i i))) (* (* i i) (* (* i i) (* i i))) (* (* i i) (* (* i i) (* i i))) (* (* i i) (* (* i i) (* i i))) (* (* i i) (* (* i i) (* i i))) (* (* i i) (* (* i i) (* i i))) (* (* i i) (* (* i i) (* i i))) (* (* i i) (* (* i i) (* i i))) (* (* i i) (* (* i i) (* i i))) (* i i) 2 2 2 (* 6 (log i)) (* 6 (log i)) (* 6 (log i)) (* 6 (log i)) (* 6 (log i)) (* 6 (log i)) (* 6 (log i)) (* 6 (log i)) (* 6 (log i)) (* 6 (log i)) (exp (* (* i i) (* (* i i) (* i i)))) (* (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* (* i i) (* i i)) (* (* i i) (* i i)))) (* i i)) (* (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* (* i i) (* i i)) (* (* i i) (* i i)))) (* i i)) (* (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* (* i i) (* i i)) (* (* i i) (* i i)))) (* i i)) (* (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* (* i i) (* i i)) (* (* i i) (* i i)))) (* i i)) (* (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* (* i i) (* i i)) (* (* i i) (* i i)))) (* i i)) (* (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* (* i i) (* i i)) (* (* i i) (* i i)))) (* i i)) (* (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* (* i i) (* i i)) (* (* i i) (* i i)))) (* i i)) (* (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* (* i i) (* i i)) (* (* i i) (* i i)))) (* i i)) (* (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* (* i i) (* i i)) (* (* i i) (* i i)))) (* i i)) (* (* i i) (* i i)) (* i i) (* (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* (* i i) (* i i)) (* (* i i) (* i i)))) (* i i)) (fabs (* i (* i i))) (fabs (* i (* i i))) (* i i) (* (* i i) (* i i)) 6 6 6 6 6 6 2 2 2 2 2 2 2 2 2 6 (* (* i i) (* i i)) (* (* (* i i) i) (* i i)) 3 3 3 3 (* i (* i i)) (* i (* i i)) (* 3 (log i)) (* 3 (log i)) (* 3 (log i)) (exp (* i (* i i))) (* i (* (* (* i i) (* i i)) (* (* i i) (* i i)))) (* i (* (* (* i i) (* i i)) (* (* i i) (* i i)))) (* i i) i (* i (* (* (* i i) (* i i)) (* (* i i) (* i i)))) (sqrt (* i (* i i))) (sqrt (* i (* i i))) (* i (sqrt i)) (* i (sqrt i)) (* i i) (* (cbrt i) (* i i)) (* i (* i (sqrt i))) (* i (* i i)) (* (* i i) -0.25) (* (* i i) -0.25) (* (* i i) -0.25) (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) 1.0)) (* (* i i) (* (* i i) (* i i))) (* (* i i) (* (* i i) (* i i))) (* (* i i) (* (* i i) (* i i))) (* i (* i i)) (* i (* i i)) (* i (* i i)) 11.351 * * * [progress]: adding candidates to table 11.719 * [progress]: [Phase 3 of 3] Extracting. 11.719 * * [regime]: Finding splitpoints for: (# # #) 11.720 * * * [regime-changes]: Trying 1 branch expressions: (i) 11.720 * * * * [regimes]: Trying to branch on i from (# # #) 11.759 * * * [regime]: Found split indices: #