1553947030.946 * [progress]: [Phase 1 of 3] Setting up. 1553947030.946 * * * [progress]: [1/2] Preparing points 1553947030.998 * * * [progress]: [2/2] Setting up program. 1553947031.002 * [progress]: [Phase 2 of 3] Improving. 1553947031.002 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553947031.003 * [simplify]: Simplifying (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 1553947031.003 * * [simplify]: iters left: 6 (9 enodes) 1553947031.007 * * [simplify]: iters left: 5 (42 enodes) 1553947031.023 * * [simplify]: iters left: 4 (72 enodes) 1553947031.045 * * [simplify]: iters left: 3 (86 enodes) 1553947031.082 * * [simplify]: iters left: 2 (90 enodes) 1553947031.101 * * [simplify]: iters left: 1 (93 enodes) 1553947031.114 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947031.114 * * [simplify]: Extracting #1: cost 12 inf + 0 1553947031.114 * * [simplify]: Extracting #2: cost 20 inf + 2 1553947031.114 * * [simplify]: Extracting #3: cost 14 inf + 248 1553947031.115 * * [simplify]: Extracting #4: cost 3 inf + 1659 1553947031.115 * * [simplify]: Extracting #5: cost 0 inf + 2102 1553947031.116 * [simplify]: Simplified to (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) 1553947031.116 * [simplify]: Simplified (2) to (λ (d1) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) 1553947031.119 * * [progress]: iteration 1 / 4 1553947031.119 * * * [progress]: picking best candidate 1553947031.122 * * * * [pick]: Picked # 1553947031.122 * * * [progress]: localizing error 1553947031.146 * * * [progress]: generating rewritten candidates 1553947031.146 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 1553947031.172 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 1553947031.237 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 1553947031.257 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1) 1553947031.266 * * * [progress]: generating series expansions 1553947031.266 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 1553947031.266 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7) 1553947031.266 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0 1553947031.266 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 1553947031.266 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.266 * [backup-simplify]: Simplify 0 into 0 1553947031.266 * [backup-simplify]: Simplify 1 into 1 1553947031.266 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 1553947031.266 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.266 * [backup-simplify]: Simplify 0 into 0 1553947031.266 * [backup-simplify]: Simplify 1 into 1 1553947031.267 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.268 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.268 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.268 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.268 * [backup-simplify]: Simplify 1 into 1 1553947031.269 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.270 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.271 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.271 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.271 * [backup-simplify]: Simplify 0 into 0 1553947031.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.274 * [backup-simplify]: Simplify 0 into 0 1553947031.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.276 * [backup-simplify]: Simplify 0 into 0 1553947031.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.279 * [backup-simplify]: Simplify 0 into 0 1553947031.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.282 * [backup-simplify]: Simplify 0 into 0 1553947031.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.286 * [backup-simplify]: Simplify 0 into 0 1553947031.286 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7) 1553947031.286 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 1553947031.286 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 1553947031.286 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 1553947031.286 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 1553947031.286 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.286 * [backup-simplify]: Simplify 0 into 0 1553947031.286 * [backup-simplify]: Simplify 1 into 1 1553947031.286 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.286 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.287 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.287 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.287 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947031.287 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 1553947031.287 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 1553947031.287 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.287 * [backup-simplify]: Simplify 0 into 0 1553947031.287 * [backup-simplify]: Simplify 1 into 1 1553947031.287 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.288 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.288 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.288 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.289 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947031.289 * [backup-simplify]: Simplify 1 into 1 1553947031.289 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.289 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.290 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.290 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947031.291 * [backup-simplify]: Simplify 0 into 0 1553947031.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.294 * [backup-simplify]: Simplify 0 into 0 1553947031.294 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.296 * [backup-simplify]: Simplify 0 into 0 1553947031.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.300 * [backup-simplify]: Simplify 0 into 0 1553947031.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.303 * [backup-simplify]: Simplify 0 into 0 1553947031.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.307 * [backup-simplify]: Simplify 0 into 0 1553947031.307 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 1553947031.308 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 1553947031.308 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 1553947031.308 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 1553947031.308 * [taylor]: Taking taylor expansion of -1 in d1 1553947031.308 * [backup-simplify]: Simplify -1 into -1 1553947031.308 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 1553947031.308 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.308 * [backup-simplify]: Simplify 0 into 0 1553947031.308 * [backup-simplify]: Simplify 1 into 1 1553947031.308 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.308 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.309 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.309 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.309 * [backup-simplify]: Simplify (/ -1 1) into -1 1553947031.309 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 1553947031.309 * [taylor]: Taking taylor expansion of -1 in d1 1553947031.309 * [backup-simplify]: Simplify -1 into -1 1553947031.309 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 1553947031.309 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.309 * [backup-simplify]: Simplify 0 into 0 1553947031.309 * [backup-simplify]: Simplify 1 into 1 1553947031.309 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.310 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.310 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.310 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.310 * [backup-simplify]: Simplify (/ -1 1) into -1 1553947031.310 * [backup-simplify]: Simplify -1 into -1 1553947031.311 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.311 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.312 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.312 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553947031.312 * [backup-simplify]: Simplify 0 into 0 1553947031.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.315 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.315 * [backup-simplify]: Simplify 0 into 0 1553947031.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.318 * [backup-simplify]: Simplify 0 into 0 1553947031.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.321 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.321 * [backup-simplify]: Simplify 0 into 0 1553947031.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.325 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.325 * [backup-simplify]: Simplify 0 into 0 1553947031.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.329 * [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 1553947031.329 * [backup-simplify]: Simplify 0 into 0 1553947031.329 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 1553947031.329 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 1553947031.329 * [backup-simplify]: Simplify (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) into (pow d1 8) 1553947031.329 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0 1553947031.329 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 1553947031.329 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.329 * [backup-simplify]: Simplify 0 into 0 1553947031.329 * [backup-simplify]: Simplify 1 into 1 1553947031.329 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 1553947031.329 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.329 * [backup-simplify]: Simplify 0 into 0 1553947031.329 * [backup-simplify]: Simplify 1 into 1 1553947031.330 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.330 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.330 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.330 * [backup-simplify]: Simplify 1 into 1 1553947031.330 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.331 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.331 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.331 * [backup-simplify]: Simplify 0 into 0 1553947031.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.333 * [backup-simplify]: Simplify 0 into 0 1553947031.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.334 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.335 * [backup-simplify]: Simplify 0 into 0 1553947031.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.339 * [backup-simplify]: Simplify 0 into 0 1553947031.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.341 * [backup-simplify]: Simplify 0 into 0 1553947031.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.344 * [backup-simplify]: Simplify 0 into 0 1553947031.344 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8) 1553947031.344 * [backup-simplify]: Simplify (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 8)) 1553947031.344 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 1553947031.344 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1553947031.344 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 1553947031.344 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.344 * [backup-simplify]: Simplify 0 into 0 1553947031.344 * [backup-simplify]: Simplify 1 into 1 1553947031.344 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.345 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.345 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.345 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947031.345 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1553947031.346 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 1553947031.346 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.346 * [backup-simplify]: Simplify 0 into 0 1553947031.346 * [backup-simplify]: Simplify 1 into 1 1553947031.346 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.346 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.347 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.347 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947031.347 * [backup-simplify]: Simplify 1 into 1 1553947031.348 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.348 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.349 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947031.350 * [backup-simplify]: Simplify 0 into 0 1553947031.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.353 * [backup-simplify]: Simplify 0 into 0 1553947031.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.357 * [backup-simplify]: Simplify 0 into 0 1553947031.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.363 * [backup-simplify]: Simplify 0 into 0 1553947031.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.367 * [backup-simplify]: Simplify 0 into 0 1553947031.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.373 * [backup-simplify]: Simplify 0 into 0 1553947031.373 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8) 1553947031.373 * [backup-simplify]: Simplify (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 8)) 1553947031.373 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 1553947031.373 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1553947031.374 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 1553947031.374 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.374 * [backup-simplify]: Simplify 0 into 0 1553947031.374 * [backup-simplify]: Simplify 1 into 1 1553947031.374 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.374 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.375 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.375 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947031.375 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1553947031.375 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 1553947031.375 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.375 * [backup-simplify]: Simplify 0 into 0 1553947031.375 * [backup-simplify]: Simplify 1 into 1 1553947031.376 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.376 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.376 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.377 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947031.377 * [backup-simplify]: Simplify 1 into 1 1553947031.377 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.378 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.379 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947031.379 * [backup-simplify]: Simplify 0 into 0 1553947031.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.383 * [backup-simplify]: Simplify 0 into 0 1553947031.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.387 * [backup-simplify]: Simplify 0 into 0 1553947031.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.392 * [backup-simplify]: Simplify 0 into 0 1553947031.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.395 * [backup-simplify]: Simplify 0 into 0 1553947031.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.398 * [backup-simplify]: Simplify 0 into 0 1553947031.398 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8) 1553947031.398 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 1553947031.398 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5) 1553947031.398 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0 1553947031.398 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 1553947031.398 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.398 * [backup-simplify]: Simplify 0 into 0 1553947031.398 * [backup-simplify]: Simplify 1 into 1 1553947031.398 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 1553947031.398 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.398 * [backup-simplify]: Simplify 0 into 0 1553947031.398 * [backup-simplify]: Simplify 1 into 1 1553947031.399 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.399 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.399 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.399 * [backup-simplify]: Simplify 1 into 1 1553947031.400 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.400 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.400 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.400 * [backup-simplify]: Simplify 0 into 0 1553947031.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.402 * [backup-simplify]: Simplify 0 into 0 1553947031.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.404 * [backup-simplify]: Simplify 0 into 0 1553947031.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.406 * [backup-simplify]: Simplify 0 into 0 1553947031.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.408 * [backup-simplify]: Simplify 0 into 0 1553947031.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.411 * [backup-simplify]: Simplify 0 into 0 1553947031.411 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5) 1553947031.411 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5)) 1553947031.411 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0 1553947031.411 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 1553947031.411 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 1553947031.411 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.411 * [backup-simplify]: Simplify 0 into 0 1553947031.411 * [backup-simplify]: Simplify 1 into 1 1553947031.411 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.412 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.412 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.412 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947031.412 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 1553947031.412 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 1553947031.412 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.412 * [backup-simplify]: Simplify 0 into 0 1553947031.412 * [backup-simplify]: Simplify 1 into 1 1553947031.412 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.413 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.413 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.413 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947031.413 * [backup-simplify]: Simplify 1 into 1 1553947031.413 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.414 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.414 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947031.415 * [backup-simplify]: Simplify 0 into 0 1553947031.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.417 * [backup-simplify]: Simplify 0 into 0 1553947031.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.419 * [backup-simplify]: Simplify 0 into 0 1553947031.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.422 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.422 * [backup-simplify]: Simplify 0 into 0 1553947031.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.427 * [backup-simplify]: Simplify 0 into 0 1553947031.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.433 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.433 * [backup-simplify]: Simplify 0 into 0 1553947031.433 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5) 1553947031.433 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5)) 1553947031.433 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0 1553947031.433 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 1553947031.433 * [taylor]: Taking taylor expansion of -1 in d1 1553947031.433 * [backup-simplify]: Simplify -1 into -1 1553947031.433 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 1553947031.433 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.433 * [backup-simplify]: Simplify 0 into 0 1553947031.433 * [backup-simplify]: Simplify 1 into 1 1553947031.434 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.434 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.434 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.435 * [backup-simplify]: Simplify (/ -1 1) into -1 1553947031.435 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 1553947031.435 * [taylor]: Taking taylor expansion of -1 in d1 1553947031.435 * [backup-simplify]: Simplify -1 into -1 1553947031.435 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 1553947031.435 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.435 * [backup-simplify]: Simplify 0 into 0 1553947031.435 * [backup-simplify]: Simplify 1 into 1 1553947031.435 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.436 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.436 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.436 * [backup-simplify]: Simplify (/ -1 1) into -1 1553947031.437 * [backup-simplify]: Simplify -1 into -1 1553947031.437 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.438 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.438 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.439 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553947031.439 * [backup-simplify]: Simplify 0 into 0 1553947031.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.443 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.443 * [backup-simplify]: Simplify 0 into 0 1553947031.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.447 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.447 * [backup-simplify]: Simplify 0 into 0 1553947031.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.452 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.452 * [backup-simplify]: Simplify 0 into 0 1553947031.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.459 * [backup-simplify]: Simplify 0 into 0 1553947031.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.464 * [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 1553947031.464 * [backup-simplify]: Simplify 0 into 0 1553947031.464 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5) 1553947031.464 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1) 1553947031.465 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 1553947031.465 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 1553947031.465 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1553947031.465 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.465 * [backup-simplify]: Simplify 0 into 0 1553947031.465 * [backup-simplify]: Simplify 1 into 1 1553947031.465 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1553947031.465 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.465 * [backup-simplify]: Simplify 0 into 0 1553947031.465 * [backup-simplify]: Simplify 1 into 1 1553947031.465 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.466 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.466 * [backup-simplify]: Simplify 1 into 1 1553947031.466 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.467 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.467 * [backup-simplify]: Simplify 0 into 0 1553947031.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.469 * [backup-simplify]: Simplify 0 into 0 1553947031.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.471 * [backup-simplify]: Simplify 0 into 0 1553947031.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.473 * [backup-simplify]: Simplify 0 into 0 1553947031.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.476 * [backup-simplify]: Simplify 0 into 0 1553947031.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.479 * [backup-simplify]: Simplify 0 into 0 1553947031.479 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 1553947031.480 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 1553947031.480 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 1553947031.480 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1553947031.480 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1553947031.480 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.480 * [backup-simplify]: Simplify 0 into 0 1553947031.480 * [backup-simplify]: Simplify 1 into 1 1553947031.480 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.481 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.481 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947031.481 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1553947031.481 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1553947031.481 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.481 * [backup-simplify]: Simplify 0 into 0 1553947031.481 * [backup-simplify]: Simplify 1 into 1 1553947031.481 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.482 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.482 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947031.482 * [backup-simplify]: Simplify 1 into 1 1553947031.483 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.484 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947031.484 * [backup-simplify]: Simplify 0 into 0 1553947031.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.487 * [backup-simplify]: Simplify 0 into 0 1553947031.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.490 * [backup-simplify]: Simplify 0 into 0 1553947031.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.494 * [backup-simplify]: Simplify 0 into 0 1553947031.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.498 * [backup-simplify]: Simplify 0 into 0 1553947031.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.502 * [backup-simplify]: Simplify 0 into 0 1553947031.502 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 1553947031.503 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 1553947031.503 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 1553947031.503 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1553947031.503 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1553947031.503 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.503 * [backup-simplify]: Simplify 0 into 0 1553947031.503 * [backup-simplify]: Simplify 1 into 1 1553947031.503 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.504 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.504 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947031.504 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1553947031.504 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1553947031.504 * [taylor]: Taking taylor expansion of d1 in d1 1553947031.504 * [backup-simplify]: Simplify 0 into 0 1553947031.504 * [backup-simplify]: Simplify 1 into 1 1553947031.504 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.505 * [backup-simplify]: Simplify (* 1 1) into 1 1553947031.505 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947031.505 * [backup-simplify]: Simplify 1 into 1 1553947031.506 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.506 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947031.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947031.507 * [backup-simplify]: Simplify 0 into 0 1553947031.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947031.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.510 * [backup-simplify]: Simplify 0 into 0 1553947031.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947031.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.513 * [backup-simplify]: Simplify 0 into 0 1553947031.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947031.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.516 * [backup-simplify]: Simplify 0 into 0 1553947031.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947031.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.520 * [backup-simplify]: Simplify 0 into 0 1553947031.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947031.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947031.524 * [backup-simplify]: Simplify 0 into 0 1553947031.524 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 1553947031.524 * * * [progress]: simplifying candidates 1553947031.524 * * * * [progress]: [ 1 / 68 ] simplifiying candidate # 1553947031.524 * * * * [progress]: [ 2 / 68 ] simplifiying candidate # 1553947031.524 * * * * [progress]: [ 3 / 68 ] simplifiying candidate # 1553947031.525 * [simplify]: Simplifying (+ (+ (+ 3 1) 1) 2) 1553947031.525 * * [simplify]: iters left: 6 (6 enodes) 1553947031.533 * * [simplify]: iters left: 5 (30 enodes) 1553947031.541 * * [simplify]: iters left: 4 (32 enodes) 1553947031.548 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947031.549 * * [simplify]: Extracting #1: cost 0 inf + 1 1553947031.549 * [simplify]: Simplified to 7 1553947031.549 * [simplify]: Simplified (2 1 2 1 2) to (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1)) 1553947031.549 * * * * [progress]: [ 4 / 68 ] simplifiying candidate # 1553947031.549 * [simplify]: Simplifying (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1553947031.549 * * [simplify]: iters left: 6 (6 enodes) 1553947031.552 * * [simplify]: iters left: 5 (28 enodes) 1553947031.564 * * [simplify]: iters left: 4 (48 enodes) 1553947031.578 * * [simplify]: iters left: 3 (55 enodes) 1553947031.592 * * [simplify]: iters left: 2 (57 enodes) 1553947031.607 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947031.608 * * [simplify]: Extracting #1: cost 8 inf + 0 1553947031.608 * * [simplify]: Extracting #2: cost 14 inf + 1 1553947031.608 * * [simplify]: Extracting #3: cost 10 inf + 125 1553947031.608 * * [simplify]: Extracting #4: cost 0 inf + 1215 1553947031.609 * [simplify]: Simplified to (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) 1553947031.609 * [simplify]: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (pow (* (* d1 (* d1 d1)) (* (* d1 d1) (* d1 d1))) 1) d1)) d1)) 1553947031.609 * * * * [progress]: [ 5 / 68 ] simplifiying candidate # 1553947031.609 * * * * [progress]: [ 6 / 68 ] simplifiying candidate # 1553947031.610 * [simplify]: Simplifying (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) 1553947031.610 * * [simplify]: iters left: 6 (8 enodes) 1553947031.614 * * [simplify]: iters left: 5 (35 enodes) 1553947031.626 * * [simplify]: iters left: 4 (60 enodes) 1553947031.635 * * [simplify]: iters left: 3 (78 enodes) 1553947031.649 * * [simplify]: iters left: 2 (101 enodes) 1553947031.673 * * [simplify]: iters left: 1 (116 enodes) 1553947031.694 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947031.694 * * [simplify]: Extracting #1: cost 11 inf + 0 1553947031.694 * * [simplify]: Extracting #2: cost 21 inf + 3 1553947031.695 * * [simplify]: Extracting #3: cost 19 inf + 230 1553947031.695 * * [simplify]: Extracting #4: cost 2 inf + 1905 1553947031.696 * * [simplify]: Extracting #5: cost 0 inf + 2138 1553947031.696 * [simplify]: Simplified to (* (log d1) 7) 1553947031.696 * [simplify]: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (exp (* (log d1) 7)) d1)) d1)) 1553947031.696 * * * * [progress]: [ 7 / 68 ] simplifiying candidate # 1553947031.696 * * * * [progress]: [ 8 / 68 ] simplifiying candidate # 1553947031.696 * * * * [progress]: [ 9 / 68 ] simplifiying candidate # 1553947031.697 * [simplify]: Simplifying (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) 1553947031.697 * * [simplify]: iters left: 6 (10 enodes) 1553947031.700 * * [simplify]: iters left: 5 (48 enodes) 1553947031.712 * * [simplify]: iters left: 4 (158 enodes) 1553947031.810 * * [simplify]: iters left: 3 (427 enodes) 1553947032.122 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.123 * * [simplify]: Extracting #1: cost 24 inf + 0 1553947032.123 * * [simplify]: Extracting #2: cost 46 inf + 43 1553947032.126 * * [simplify]: Extracting #3: cost 16 inf + 5517 1553947032.135 * * [simplify]: Extracting #4: cost 1 inf + 7870 1553947032.143 * * [simplify]: Extracting #5: cost 0 inf + 7569 1553947032.152 * * [simplify]: Extracting #6: cost 0 inf + 7529 1553947032.161 * [simplify]: Simplified to (* (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1))) 1553947032.161 * [simplify]: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (cbrt (* (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 (* d1 d1)))) (* (* d1 (* d1 d1)) (* d1 d1)))) d1)) d1)) 1553947032.161 * * * * [progress]: [ 10 / 68 ] simplifiying candidate # 1553947032.161 * * * * [progress]: [ 11 / 68 ] simplifiying candidate # 1553947032.162 * * * * [progress]: [ 12 / 68 ] simplifiying candidate # 1553947032.162 * * * * [progress]: [ 13 / 68 ] simplifiying candidate # 1553947032.162 * * * * [progress]: [ 14 / 68 ] simplifiying candidate # 1553947032.162 * * * * [progress]: [ 15 / 68 ] simplifiying candidate # 1553947032.162 * [simplify]: Simplifying (* (* d1 (* d1 d1)) d1) 1553947032.162 * * [simplify]: iters left: 6 (4 enodes) 1553947032.164 * * [simplify]: iters left: 5 (16 enodes) 1553947032.170 * * [simplify]: iters left: 4 (23 enodes) 1553947032.179 * * [simplify]: iters left: 3 (29 enodes) 1553947032.188 * * [simplify]: iters left: 2 (31 enodes) 1553947032.197 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.198 * * [simplify]: Extracting #1: cost 6 inf + 0 1553947032.198 * * [simplify]: Extracting #2: cost 7 inf + 2 1553947032.198 * * [simplify]: Extracting #3: cost 0 inf + 409 1553947032.198 * [simplify]: Simplified to (* (* d1 d1) (* d1 d1)) 1553947032.198 * [simplify]: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1))) d1)) d1)) 1553947032.198 * * * * [progress]: [ 16 / 68 ] simplifiying candidate #real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))> 1553947032.198 * * * * [progress]: [ 17 / 68 ] simplifiying candidate # 1553947032.198 * * * * [progress]: [ 18 / 68 ] simplifiying candidate # 1553947032.198 * * * * [progress]: [ 19 / 68 ] simplifiying candidate # 1553947032.198 * * * * [progress]: [ 20 / 68 ] simplifiying candidate # 1553947032.199 * * * * [progress]: [ 21 / 68 ] simplifiying candidate # 1553947032.199 * * * * [progress]: [ 22 / 68 ] simplifiying candidate # 1553947032.199 * * * * [progress]: [ 23 / 68 ] simplifiying candidate # 1553947032.199 * * * * [progress]: [ 24 / 68 ] simplifiying candidate # 1553947032.199 * * * * [progress]: [ 25 / 68 ] simplifiying candidate # 1553947032.199 * * * * [progress]: [ 26 / 68 ] simplifiying candidate # 1553947032.199 * * * * [progress]: [ 27 / 68 ] simplifiying candidate # 1553947032.199 * * * * [progress]: [ 28 / 68 ] simplifiying candidate # 1553947032.199 * [simplify]: Simplifying (* (* (* d1 (* d1 d1)) d1) d1) 1553947032.199 * * [simplify]: iters left: 6 (5 enodes) 1553947032.202 * * [simplify]: iters left: 5 (21 enodes) 1553947032.209 * * [simplify]: iters left: 4 (29 enodes) 1553947032.218 * * [simplify]: iters left: 3 (35 enodes) 1553947032.228 * * [simplify]: iters left: 2 (37 enodes) 1553947032.238 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.238 * * [simplify]: Extracting #1: cost 6 inf + 0 1553947032.238 * * [simplify]: Extracting #2: cost 10 inf + 1 1553947032.238 * * [simplify]: Extracting #3: cost 0 inf + 651 1553947032.238 * [simplify]: Simplified to (* (* (* d1 d1) (* d1 d1)) d1) 1553947032.238 * [simplify]: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (* (* (* (* d1 d1) (* d1 d1)) d1) (* (* d1 d1) d1))) d1)) 1553947032.238 * * * * [progress]: [ 29 / 68 ] simplifiying candidate #real (real->posit16 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))> 1553947032.239 * * * * [progress]: [ 30 / 68 ] simplifiying candidate # 1553947032.239 * * * * [progress]: [ 31 / 68 ] simplifiying candidate # 1553947032.239 * * * * [progress]: [ 32 / 68 ] simplifiying candidate # 1553947032.239 * * * * [progress]: [ 33 / 68 ] simplifiying candidate # 1553947032.239 * * * * [progress]: [ 34 / 68 ] simplifiying candidate # 1553947032.239 * * * * [progress]: [ 35 / 68 ] simplifiying candidate # 1553947032.239 * * * * [progress]: [ 36 / 68 ] simplifiying candidate # 1553947032.239 * * * * [progress]: [ 37 / 68 ] simplifiying candidate # 1553947032.239 * * * * [progress]: [ 38 / 68 ] simplifiying candidate # 1553947032.239 * * * * [progress]: [ 39 / 68 ] simplifiying candidate # 1553947032.239 * * * * [progress]: [ 40 / 68 ] simplifiying candidate # 1553947032.239 * * * * [progress]: [ 41 / 68 ] simplifiying candidate # 1553947032.239 * [simplify]: Simplifying (* d1 (* d1 d1)) 1553947032.239 * * [simplify]: iters left: 4 (3 enodes) 1553947032.240 * * [simplify]: iters left: 3 (12 enodes) 1553947032.242 * * [simplify]: iters left: 2 (14 enodes) 1553947032.244 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.244 * * [simplify]: Extracting #1: cost 5 inf + 0 1553947032.244 * * [simplify]: Extracting #2: cost 3 inf + 43 1553947032.244 * * [simplify]: Extracting #3: cost 0 inf + 246 1553947032.244 * [simplify]: Simplified to (* d1 (* d1 d1)) 1553947032.244 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) d1)) d1)) 1553947032.244 * * * * [progress]: [ 42 / 68 ] simplifiying candidate #real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))> 1553947032.244 * * * * [progress]: [ 43 / 68 ] simplifiying candidate # 1553947032.245 * * * * [progress]: [ 44 / 68 ] simplifiying candidate # 1553947032.245 * * * * [progress]: [ 45 / 68 ] simplifiying candidate # 1553947032.245 * * * * [progress]: [ 46 / 68 ] simplifiying candidate # 1553947032.245 * * * * [progress]: [ 47 / 68 ] simplifiying candidate # 1553947032.245 * * * * [progress]: [ 48 / 68 ] simplifiying candidate # 1553947032.245 * * * * [progress]: [ 49 / 68 ] simplifiying candidate # 1553947032.245 * * * * [progress]: [ 50 / 68 ] simplifiying candidate # 1553947032.245 * * * * [progress]: [ 51 / 68 ] simplifiying candidate # 1553947032.245 * * * * [progress]: [ 52 / 68 ] simplifiying candidate # 1553947032.245 * * * * [progress]: [ 53 / 68 ] simplifiying candidate # 1553947032.245 * * * * [progress]: [ 54 / 68 ] simplifiying candidate # 1553947032.245 * * * * [progress]: [ 55 / 68 ] simplifiying candidate #real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))> 1553947032.245 * * * * [progress]: [ 56 / 68 ] simplifiying candidate # 1553947032.245 * * * * [progress]: [ 57 / 68 ] simplifiying candidate # 1553947032.245 * [simplify]: Simplifying (pow d1 7) 1553947032.245 * * [simplify]: iters left: 1 (3 enodes) 1553947032.246 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.246 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.246 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.246 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.246 * [simplify]: Simplified to (pow d1 7) 1553947032.246 * [simplify]: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1)) 1553947032.246 * * * * [progress]: [ 58 / 68 ] simplifiying candidate # 1553947032.247 * [simplify]: Simplifying (pow d1 7) 1553947032.247 * * [simplify]: iters left: 1 (3 enodes) 1553947032.247 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.248 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.248 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.248 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.248 * [simplify]: Simplified to (pow d1 7) 1553947032.248 * [simplify]: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1)) 1553947032.248 * * * * [progress]: [ 59 / 68 ] simplifiying candidate # 1553947032.248 * [simplify]: Simplifying (pow d1 7) 1553947032.248 * * [simplify]: iters left: 1 (3 enodes) 1553947032.249 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.249 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.249 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.249 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.249 * [simplify]: Simplified to (pow d1 7) 1553947032.249 * [simplify]: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1)) 1553947032.249 * * * * [progress]: [ 60 / 68 ] simplifiying candidate # 1553947032.249 * [simplify]: Simplifying (pow d1 8) 1553947032.249 * * [simplify]: iters left: 1 (3 enodes) 1553947032.250 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.250 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.250 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.250 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.250 * [simplify]: Simplified to (pow d1 8) 1553947032.250 * [simplify]: Simplified (2 1 2) to (λ (d1) (* (* d1 (pow d1 8)) d1)) 1553947032.250 * * * * [progress]: [ 61 / 68 ] simplifiying candidate # 1553947032.250 * [simplify]: Simplifying (pow d1 8) 1553947032.251 * * [simplify]: iters left: 1 (3 enodes) 1553947032.251 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.251 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.251 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.252 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.252 * [simplify]: Simplified to (pow d1 8) 1553947032.252 * [simplify]: Simplified (2 1 2) to (λ (d1) (* (* d1 (pow d1 8)) d1)) 1553947032.252 * * * * [progress]: [ 62 / 68 ] simplifiying candidate # 1553947032.252 * [simplify]: Simplifying (pow d1 8) 1553947032.252 * * [simplify]: iters left: 1 (3 enodes) 1553947032.253 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.253 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.253 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.253 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.253 * [simplify]: Simplified to (pow d1 8) 1553947032.253 * [simplify]: Simplified (2 1 2) to (λ (d1) (* (* d1 (pow d1 8)) d1)) 1553947032.253 * * * * [progress]: [ 63 / 68 ] simplifiying candidate # 1553947032.253 * [simplify]: Simplifying (pow d1 5) 1553947032.253 * * [simplify]: iters left: 1 (3 enodes) 1553947032.254 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.254 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.254 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.254 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.254 * [simplify]: Simplified to (pow d1 5) 1553947032.254 * [simplify]: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1)) 1553947032.254 * * * * [progress]: [ 64 / 68 ] simplifiying candidate # 1553947032.254 * [simplify]: Simplifying (pow d1 5) 1553947032.254 * * [simplify]: iters left: 1 (3 enodes) 1553947032.255 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.255 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.255 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.255 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.255 * [simplify]: Simplified to (pow d1 5) 1553947032.256 * [simplify]: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1)) 1553947032.256 * * * * [progress]: [ 65 / 68 ] simplifiying candidate # 1553947032.256 * [simplify]: Simplifying (pow d1 5) 1553947032.256 * * [simplify]: iters left: 1 (3 enodes) 1553947032.257 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.257 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.257 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.257 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.257 * [simplify]: Simplified to (pow d1 5) 1553947032.257 * [simplify]: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1)) 1553947032.257 * * * * [progress]: [ 66 / 68 ] simplifiying candidate # 1553947032.257 * [simplify]: Simplifying (pow d1 4) 1553947032.257 * * [simplify]: iters left: 1 (3 enodes) 1553947032.258 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.258 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.258 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.258 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.258 * [simplify]: Simplified to (pow d1 4) 1553947032.258 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1553947032.258 * * * * [progress]: [ 67 / 68 ] simplifiying candidate # 1553947032.258 * [simplify]: Simplifying (pow d1 4) 1553947032.258 * * [simplify]: iters left: 1 (3 enodes) 1553947032.259 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.259 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.259 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.259 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.259 * [simplify]: Simplified to (pow d1 4) 1553947032.259 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1553947032.260 * * * * [progress]: [ 68 / 68 ] simplifiying candidate # 1553947032.260 * [simplify]: Simplifying (pow d1 4) 1553947032.260 * * [simplify]: iters left: 1 (3 enodes) 1553947032.261 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.261 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.261 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.261 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.261 * [simplify]: Simplified to (pow d1 4) 1553947032.261 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1553947032.261 * * * [progress]: adding candidates to table 1553947032.739 * * [progress]: iteration 2 / 4 1553947032.739 * * * [progress]: picking best candidate 1553947032.748 * * * * [pick]: Picked # 1553947032.748 * * * [progress]: localizing error 1553947032.755 * * * [progress]: generating rewritten candidates 1553947032.755 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1553947032.762 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1553947032.765 * * * [progress]: generating series expansions 1553947032.765 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1553947032.766 * [backup-simplify]: Simplify (* (* d1 (pow d1 8)) d1) into (pow d1 10) 1553947032.766 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0 1553947032.766 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 1553947032.766 * [taylor]: Taking taylor expansion of d1 in d1 1553947032.766 * [backup-simplify]: Simplify 0 into 0 1553947032.766 * [backup-simplify]: Simplify 1 into 1 1553947032.766 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 1553947032.766 * [taylor]: Taking taylor expansion of d1 in d1 1553947032.766 * [backup-simplify]: Simplify 0 into 0 1553947032.766 * [backup-simplify]: Simplify 1 into 1 1553947032.767 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.767 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.768 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.768 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.768 * [backup-simplify]: Simplify 1 into 1 1553947032.769 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.770 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.770 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.771 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.771 * [backup-simplify]: Simplify 0 into 0 1553947032.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.775 * [backup-simplify]: Simplify 0 into 0 1553947032.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.779 * [backup-simplify]: Simplify 0 into 0 1553947032.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.784 * [backup-simplify]: Simplify 0 into 0 1553947032.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.791 * [backup-simplify]: Simplify 0 into 0 1553947032.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.800 * [backup-simplify]: Simplify 0 into 0 1553947032.800 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10) 1553947032.801 * [backup-simplify]: Simplify (* (* (/ 1 d1) (pow (/ 1 d1) 8)) (/ 1 d1)) into (/ 1 (pow d1 10)) 1553947032.801 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 1553947032.801 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1553947032.801 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 1553947032.801 * [taylor]: Taking taylor expansion of d1 in d1 1553947032.801 * [backup-simplify]: Simplify 0 into 0 1553947032.801 * [backup-simplify]: Simplify 1 into 1 1553947032.801 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.802 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.802 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.802 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.803 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947032.803 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1553947032.803 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 1553947032.803 * [taylor]: Taking taylor expansion of d1 in d1 1553947032.803 * [backup-simplify]: Simplify 0 into 0 1553947032.803 * [backup-simplify]: Simplify 1 into 1 1553947032.803 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.804 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.804 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.804 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.805 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947032.805 * [backup-simplify]: Simplify 1 into 1 1553947032.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.806 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.807 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.808 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947032.809 * [backup-simplify]: Simplify 0 into 0 1553947032.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.813 * [backup-simplify]: Simplify 0 into 0 1553947032.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.818 * [backup-simplify]: Simplify 0 into 0 1553947032.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.824 * [backup-simplify]: Simplify 0 into 0 1553947032.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.830 * [backup-simplify]: Simplify 0 into 0 1553947032.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.837 * [backup-simplify]: Simplify 0 into 0 1553947032.837 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 1553947032.838 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (pow (/ 1 (- d1)) 8)) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 1553947032.838 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 1553947032.838 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1553947032.838 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 1553947032.838 * [taylor]: Taking taylor expansion of d1 in d1 1553947032.838 * [backup-simplify]: Simplify 0 into 0 1553947032.838 * [backup-simplify]: Simplify 1 into 1 1553947032.838 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.839 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.839 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.839 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.840 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947032.840 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1553947032.840 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 1553947032.840 * [taylor]: Taking taylor expansion of d1 in d1 1553947032.840 * [backup-simplify]: Simplify 0 into 0 1553947032.840 * [backup-simplify]: Simplify 1 into 1 1553947032.840 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.841 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.841 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.841 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.842 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947032.842 * [backup-simplify]: Simplify 1 into 1 1553947032.843 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.843 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.844 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.845 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947032.845 * [backup-simplify]: Simplify 0 into 0 1553947032.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.850 * [backup-simplify]: Simplify 0 into 0 1553947032.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.855 * [backup-simplify]: Simplify 0 into 0 1553947032.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.861 * [backup-simplify]: Simplify 0 into 0 1553947032.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.868 * [backup-simplify]: Simplify 0 into 0 1553947032.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.875 * [backup-simplify]: Simplify 0 into 0 1553947032.875 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 1553947032.875 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1553947032.875 * [backup-simplify]: Simplify (* d1 (pow d1 8)) into (pow d1 9) 1553947032.875 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0 1553947032.875 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 1553947032.875 * [taylor]: Taking taylor expansion of d1 in d1 1553947032.875 * [backup-simplify]: Simplify 0 into 0 1553947032.875 * [backup-simplify]: Simplify 1 into 1 1553947032.875 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 1553947032.875 * [taylor]: Taking taylor expansion of d1 in d1 1553947032.875 * [backup-simplify]: Simplify 0 into 0 1553947032.875 * [backup-simplify]: Simplify 1 into 1 1553947032.876 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.876 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.877 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.877 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.877 * [backup-simplify]: Simplify 1 into 1 1553947032.878 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.878 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.879 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.880 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.880 * [backup-simplify]: Simplify 0 into 0 1553947032.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.884 * [backup-simplify]: Simplify 0 into 0 1553947032.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.888 * [backup-simplify]: Simplify 0 into 0 1553947032.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.892 * [backup-simplify]: Simplify 0 into 0 1553947032.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.899 * [backup-simplify]: Simplify 0 into 0 1553947032.900 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.905 * [backup-simplify]: Simplify 0 into 0 1553947032.905 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9) 1553947032.906 * [backup-simplify]: Simplify (* (/ 1 d1) (pow (/ 1 d1) 8)) into (/ 1 (pow d1 9)) 1553947032.906 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0 1553947032.906 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 1553947032.906 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 1553947032.906 * [taylor]: Taking taylor expansion of d1 in d1 1553947032.906 * [backup-simplify]: Simplify 0 into 0 1553947032.906 * [backup-simplify]: Simplify 1 into 1 1553947032.906 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.907 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.907 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.907 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.908 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947032.908 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 1553947032.908 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 1553947032.908 * [taylor]: Taking taylor expansion of d1 in d1 1553947032.908 * [backup-simplify]: Simplify 0 into 0 1553947032.908 * [backup-simplify]: Simplify 1 into 1 1553947032.908 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.909 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.909 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.909 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.910 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947032.910 * [backup-simplify]: Simplify 1 into 1 1553947032.910 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.911 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.912 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.913 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947032.914 * [backup-simplify]: Simplify 0 into 0 1553947032.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.919 * [backup-simplify]: Simplify 0 into 0 1553947032.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.924 * [backup-simplify]: Simplify 0 into 0 1553947032.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.929 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.929 * [backup-simplify]: Simplify 0 into 0 1553947032.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.933 * [backup-simplify]: Simplify 0 into 0 1553947032.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.939 * [backup-simplify]: Simplify 0 into 0 1553947032.939 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9) 1553947032.939 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (pow (/ 1 (- d1)) 8)) into (/ -1 (pow d1 9)) 1553947032.939 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0 1553947032.939 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 1553947032.939 * [taylor]: Taking taylor expansion of -1 in d1 1553947032.939 * [backup-simplify]: Simplify -1 into -1 1553947032.939 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 1553947032.939 * [taylor]: Taking taylor expansion of d1 in d1 1553947032.939 * [backup-simplify]: Simplify 0 into 0 1553947032.939 * [backup-simplify]: Simplify 1 into 1 1553947032.939 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.939 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.940 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.940 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.940 * [backup-simplify]: Simplify (/ -1 1) into -1 1553947032.940 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 1553947032.940 * [taylor]: Taking taylor expansion of -1 in d1 1553947032.940 * [backup-simplify]: Simplify -1 into -1 1553947032.940 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 1553947032.940 * [taylor]: Taking taylor expansion of d1 in d1 1553947032.940 * [backup-simplify]: Simplify 0 into 0 1553947032.940 * [backup-simplify]: Simplify 1 into 1 1553947032.941 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.941 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.941 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.941 * [backup-simplify]: Simplify (* 1 1) into 1 1553947032.941 * [backup-simplify]: Simplify (/ -1 1) into -1 1553947032.942 * [backup-simplify]: Simplify -1 into -1 1553947032.942 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.942 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.943 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.943 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947032.944 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553947032.944 * [backup-simplify]: Simplify 0 into 0 1553947032.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947032.946 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.946 * [backup-simplify]: Simplify 0 into 0 1553947032.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947032.950 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.950 * [backup-simplify]: Simplify 0 into 0 1553947032.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947032.955 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.955 * [backup-simplify]: Simplify 0 into 0 1553947032.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553947032.962 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947032.962 * [backup-simplify]: Simplify 0 into 0 1553947032.963 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.968 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553947032.969 * [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 1553947032.969 * [backup-simplify]: Simplify 0 into 0 1553947032.970 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9) 1553947032.970 * * * [progress]: simplifying candidates 1553947032.970 * * * * [progress]: [ 1 / 32 ] simplifiying candidate # 1553947032.970 * * * * [progress]: [ 2 / 32 ] simplifiying candidate # 1553947032.970 * * * * [progress]: [ 3 / 32 ] simplifiying candidate # 1553947032.970 * * * * [progress]: [ 4 / 32 ] simplifiying candidate # 1553947032.970 * * * * [progress]: [ 5 / 32 ] simplifiying candidate # 1553947032.970 * * * * [progress]: [ 6 / 32 ] simplifiying candidate # 1553947032.970 * * * * [progress]: [ 7 / 32 ] simplifiying candidate # 1553947032.970 * * * * [progress]: [ 8 / 32 ] simplifiying candidate # 1553947032.970 * * * * [progress]: [ 9 / 32 ] simplifiying candidate # 1553947032.970 * * * * [progress]: [ 10 / 32 ] simplifiying candidate # 1553947032.970 * * * * [progress]: [ 11 / 32 ] simplifiying candidate #real (real->posit16 (* (* d1 (pow d1 8)) d1))))> 1553947032.970 * * * * [progress]: [ 12 / 32 ] simplifiying candidate # 1553947032.971 * * * * [progress]: [ 13 / 32 ] simplifiying candidate # 1553947032.971 * * * * [progress]: [ 14 / 32 ] simplifiying candidate # 1553947032.971 * * * * [progress]: [ 15 / 32 ] simplifiying candidate # 1553947032.971 * * * * [progress]: [ 16 / 32 ] simplifiying candidate # 1553947032.971 * * * * [progress]: [ 17 / 32 ] simplifiying candidate # 1553947032.971 * * * * [progress]: [ 18 / 32 ] simplifiying candidate # 1553947032.971 * * * * [progress]: [ 19 / 32 ] simplifiying candidate # 1553947032.971 * * * * [progress]: [ 20 / 32 ] simplifiying candidate # 1553947032.971 * * * * [progress]: [ 21 / 32 ] simplifiying candidate # 1553947032.971 * * * * [progress]: [ 22 / 32 ] simplifiying candidate # 1553947032.971 * [simplify]: Simplifying (cbrt (pow d1 8)) 1553947032.971 * * [simplify]: iters left: 2 (4 enodes) 1553947032.974 * * [simplify]: iters left: 1 (12 enodes) 1553947032.977 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.977 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947032.977 * * [simplify]: Extracting #2: cost 6 inf + 0 1553947032.977 * * [simplify]: Extracting #3: cost 4 inf + 2 1553947032.977 * * [simplify]: Extracting #4: cost 0 inf + 1010 1553947032.977 * [simplify]: Simplified to (cbrt (pow d1 8)) 1553947032.978 * [simplify]: Simplified (2 1 2) to (λ (d1) (* (* (* d1 (* (cbrt (pow d1 8)) (cbrt (pow d1 8)))) (cbrt (pow d1 8))) d1)) 1553947032.978 * * * * [progress]: [ 23 / 32 ] simplifiying candidate # 1553947032.978 * [simplify]: Simplifying (sqrt (pow d1 8)) 1553947032.978 * * [simplify]: iters left: 2 (4 enodes) 1553947032.980 * * [simplify]: iters left: 1 (12 enodes) 1553947032.984 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.984 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947032.984 * * [simplify]: Extracting #2: cost 6 inf + 0 1553947032.984 * * [simplify]: Extracting #3: cost 4 inf + 2 1553947032.984 * * [simplify]: Extracting #4: cost 0 inf + 930 1553947032.984 * [simplify]: Simplified to (sqrt (pow d1 8)) 1553947032.984 * [simplify]: Simplified (2 1 2) to (λ (d1) (* (* (* d1 (sqrt (pow d1 8))) (sqrt (pow d1 8))) d1)) 1553947032.984 * * * * [progress]: [ 24 / 32 ] simplifiying candidate # 1553947032.985 * [simplify]: Simplifying (pow d1 8) 1553947032.985 * * [simplify]: iters left: 1 (3 enodes) 1553947032.986 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.986 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.986 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.986 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.987 * [simplify]: Simplified to (pow d1 8) 1553947032.987 * [simplify]: Simplified (2 1 2) to (λ (d1) (* (* (* d1 1) (pow d1 8)) d1)) 1553947032.987 * * * * [progress]: [ 25 / 32 ] simplifiying candidate #real (real->posit16 (* d1 (pow d1 8)))) d1))> 1553947032.987 * * * * [progress]: [ 26 / 32 ] simplifiying candidate # 1553947032.987 * * * * [progress]: [ 27 / 32 ] simplifiying candidate # 1553947032.987 * [simplify]: Simplifying (pow d1 10) 1553947032.987 * * [simplify]: iters left: 1 (3 enodes) 1553947032.989 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.989 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.989 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.989 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.989 * [simplify]: Simplified to (pow d1 10) 1553947032.989 * [simplify]: Simplified (2) to (λ (d1) (pow d1 10)) 1553947032.989 * * * * [progress]: [ 28 / 32 ] simplifiying candidate # 1553947032.989 * [simplify]: Simplifying (pow d1 10) 1553947032.989 * * [simplify]: iters left: 1 (3 enodes) 1553947032.991 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.991 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.991 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.991 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.991 * [simplify]: Simplified to (pow d1 10) 1553947032.991 * [simplify]: Simplified (2) to (λ (d1) (pow d1 10)) 1553947032.991 * * * * [progress]: [ 29 / 32 ] simplifiying candidate # 1553947032.992 * [simplify]: Simplifying (pow d1 10) 1553947032.992 * * [simplify]: iters left: 1 (3 enodes) 1553947032.993 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.993 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.993 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.993 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.993 * [simplify]: Simplified to (pow d1 10) 1553947032.993 * [simplify]: Simplified (2) to (λ (d1) (pow d1 10)) 1553947032.993 * * * * [progress]: [ 30 / 32 ] simplifiying candidate # 1553947032.993 * [simplify]: Simplifying (pow d1 9) 1553947032.993 * * [simplify]: iters left: 1 (3 enodes) 1553947032.994 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.994 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.994 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.994 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.995 * [simplify]: Simplified to (pow d1 9) 1553947032.995 * [simplify]: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1553947032.995 * * * * [progress]: [ 31 / 32 ] simplifiying candidate # 1553947032.995 * [simplify]: Simplifying (pow d1 9) 1553947032.995 * * [simplify]: iters left: 1 (3 enodes) 1553947032.996 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.996 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.996 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.996 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.996 * [simplify]: Simplified to (pow d1 9) 1553947032.996 * [simplify]: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1553947032.996 * * * * [progress]: [ 32 / 32 ] simplifiying candidate # 1553947032.996 * [simplify]: Simplifying (pow d1 9) 1553947032.996 * * [simplify]: iters left: 1 (3 enodes) 1553947032.997 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947032.997 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947032.997 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947032.997 * * [simplify]: Extracting #3: cost 0 inf + 426 1553947032.997 * [simplify]: Simplified to (pow d1 9) 1553947032.997 * [simplify]: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1553947032.997 * * * [progress]: adding candidates to table 1553947033.276 * * [progress]: iteration 3 / 4 1553947033.276 * * * [progress]: picking best candidate 1553947033.279 * * * * [pick]: Picked # 1553947033.279 * * * [progress]: localizing error 1553947033.285 * * * [progress]: generating rewritten candidates 1553947033.285 * * * [progress]: generating series expansions 1553947033.285 * * * [progress]: simplifying candidates 1553947033.285 * * * [progress]: adding candidates to table 1553947033.286 * [progress]: [Phase 3 of 3] Extracting. 1553947033.289 * [simplify]: Simplifying (pow d1 10) 1553947033.289 * * [simplify]: iters left: 1 (3 enodes) 1553947033.289 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947033.289 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947033.289 * * [simplify]: Extracting #2: cost 1 inf + 2 1553947033.289 * * [simplify]: Extracting #3: cost 0 inf + 214 1553947033.289 * [simplify]: Simplified to (pow d1 10) 1553947035.996 * [regime-testing]: Baseline error score: 0 1553947035.997 * [regime-testing]: Oracle error score: 0 1553947035.998 * [regime-testing]: End program error score: 0 1553947036.037 * [regime-testing]: Target error score: 0