0.169 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.046 * * * [progress]: [2/2] Setting up program. 0.052 * [progress]: [Phase 2 of 3] Improving. 0.053 * [simplify]: Simplifying: (/ (+ 1.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) 0.053 * * [simplify]: iteration 0: 12 enodes 0.057 * * [simplify]: iteration 1: 19 enodes 0.064 * * [simplify]: iteration 2: 33 enodes 0.113 * * [simplify]: iteration 3: 86 enodes 0.135 * * [simplify]: iteration 4: 263 enodes 0.243 * * [simplify]: iteration 5: 675 enodes 0.643 * * [simplify]: iteration 6: 1437 enodes 2.120 * * [simplify]: iteration 7: 4448 enodes 3.478 * * [simplify]: iteration complete: 5006 enodes 3.478 * * [simplify]: Extracting #0: cost 1 inf + 0 3.478 * * [simplify]: Extracting #1: cost 22 inf + 0 3.479 * * [simplify]: Extracting #2: cost 213 inf + 0 3.482 * * [simplify]: Extracting #3: cost 1060 inf + 576 3.491 * * [simplify]: Extracting #4: cost 1190 inf + 26818 3.578 * * [simplify]: Extracting #5: cost 398 inf + 278901 3.733 * * [simplify]: Extracting #6: cost 25 inf + 385751 3.877 * * [simplify]: Extracting #7: cost 0 inf + 361679 4.021 * * [simplify]: Extracting #8: cost 0 inf + 351146 4.137 * * [simplify]: Extracting #9: cost 0 inf + 350986 4.258 * [simplify]: Simplified to: (/ (+ 1.0 (* (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (+ 2.0 (* (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))))) 4.267 * * [progress]: iteration 1 / 4 4.267 * * * [progress]: picking best candidate 4.270 * * * * [pick]: Picked # 4.271 * * * [progress]: localizing error 4.317 * * * [progress]: generating rewritten candidates 4.317 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 4.337 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 4.365 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 4.389 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 4.424 * * * [progress]: generating series expansions 4.424 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 4.424 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 4.424 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 4.424 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 4.424 * [taylor]: Taking taylor expansion of 2.0 in t 4.424 * [backup-simplify]: Simplify 2.0 into 2.0 4.424 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 4.424 * [taylor]: Taking taylor expansion of 2.0 in t 4.424 * [backup-simplify]: Simplify 2.0 into 2.0 4.424 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 4.424 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 4.424 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 4.424 * [taylor]: Taking taylor expansion of 1.0 in t 4.424 * [backup-simplify]: Simplify 1.0 into 1.0 4.424 * [taylor]: Taking taylor expansion of t in t 4.424 * [backup-simplify]: Simplify 0 into 0 4.424 * [backup-simplify]: Simplify 1 into 1 4.424 * [taylor]: Taking taylor expansion of 1.0 in t 4.424 * [backup-simplify]: Simplify 1.0 into 1.0 4.425 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.425 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.426 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.426 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 4.426 * [taylor]: Taking taylor expansion of 2.0 in t 4.426 * [backup-simplify]: Simplify 2.0 into 2.0 4.426 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 4.426 * [taylor]: Taking taylor expansion of 2.0 in t 4.426 * [backup-simplify]: Simplify 2.0 into 2.0 4.426 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 4.426 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 4.426 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 4.426 * [taylor]: Taking taylor expansion of 1.0 in t 4.426 * [backup-simplify]: Simplify 1.0 into 1.0 4.426 * [taylor]: Taking taylor expansion of t in t 4.426 * [backup-simplify]: Simplify 0 into 0 4.426 * [backup-simplify]: Simplify 1 into 1 4.426 * [taylor]: Taking taylor expansion of 1.0 in t 4.426 * [backup-simplify]: Simplify 1.0 into 1.0 4.426 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.426 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.427 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.427 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 4.427 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.428 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 4.428 * [backup-simplify]: Simplify 0 into 0 4.429 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 4.429 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.430 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 4.432 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 4.432 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.432 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.432 * [backup-simplify]: Simplify 2.0 into 2.0 4.433 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 4.433 * [backup-simplify]: Simplify (+ 0 0) into 0 4.435 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 4.437 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 4.437 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.438 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 4.438 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.439 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.439 * [backup-simplify]: Simplify (+ 0 0) into 0 4.442 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 4.444 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 4.445 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.445 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.445 * [backup-simplify]: Simplify 2.0 into 2.0 4.446 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) 4.446 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 t)) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 4.447 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 4.447 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 4.447 * [taylor]: Taking taylor expansion of 2.0 in t 4.447 * [backup-simplify]: Simplify 2.0 into 2.0 4.447 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 4.447 * [taylor]: Taking taylor expansion of 2.0 in t 4.447 * [backup-simplify]: Simplify 2.0 into 2.0 4.447 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 4.447 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 4.447 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.447 * [taylor]: Taking taylor expansion of 1.0 in t 4.447 * [backup-simplify]: Simplify 1.0 into 1.0 4.447 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.447 * [taylor]: Taking taylor expansion of t in t 4.447 * [backup-simplify]: Simplify 0 into 0 4.447 * [backup-simplify]: Simplify 1 into 1 4.447 * [backup-simplify]: Simplify (/ 1 1) into 1 4.447 * [taylor]: Taking taylor expansion of 1.0 in t 4.447 * [backup-simplify]: Simplify 1.0 into 1.0 4.448 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.448 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.449 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.449 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 4.449 * [taylor]: Taking taylor expansion of 2.0 in t 4.449 * [backup-simplify]: Simplify 2.0 into 2.0 4.449 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 4.449 * [taylor]: Taking taylor expansion of 2.0 in t 4.449 * [backup-simplify]: Simplify 2.0 into 2.0 4.449 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 4.449 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 4.449 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.449 * [taylor]: Taking taylor expansion of 1.0 in t 4.449 * [backup-simplify]: Simplify 1.0 into 1.0 4.449 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.449 * [taylor]: Taking taylor expansion of t in t 4.449 * [backup-simplify]: Simplify 0 into 0 4.449 * [backup-simplify]: Simplify 1 into 1 4.450 * [backup-simplify]: Simplify (/ 1 1) into 1 4.450 * [taylor]: Taking taylor expansion of 1.0 in t 4.450 * [backup-simplify]: Simplify 1.0 into 1.0 4.450 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.450 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.451 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.451 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 4.451 * [backup-simplify]: Simplify 2.0 into 2.0 4.452 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 4.452 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.453 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 4.454 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.455 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.456 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.458 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 4.460 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 4.460 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.461 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.461 * [backup-simplify]: Simplify 2.0 into 2.0 4.462 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 4.462 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 (- t))) 1.0))) into (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 4.462 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 4.462 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 4.462 * [taylor]: Taking taylor expansion of 2.0 in t 4.462 * [backup-simplify]: Simplify 2.0 into 2.0 4.462 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 4.462 * [taylor]: Taking taylor expansion of 2.0 in t 4.462 * [backup-simplify]: Simplify 2.0 into 2.0 4.462 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 4.462 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 4.462 * [taylor]: Taking taylor expansion of 1.0 in t 4.462 * [backup-simplify]: Simplify 1.0 into 1.0 4.462 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.462 * [taylor]: Taking taylor expansion of 1.0 in t 4.462 * [backup-simplify]: Simplify 1.0 into 1.0 4.462 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.462 * [taylor]: Taking taylor expansion of t in t 4.462 * [backup-simplify]: Simplify 0 into 0 4.462 * [backup-simplify]: Simplify 1 into 1 4.463 * [backup-simplify]: Simplify (/ 1 1) into 1 4.463 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.464 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.464 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.465 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 4.465 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 4.465 * [taylor]: Taking taylor expansion of 2.0 in t 4.465 * [backup-simplify]: Simplify 2.0 into 2.0 4.465 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 4.465 * [taylor]: Taking taylor expansion of 2.0 in t 4.465 * [backup-simplify]: Simplify 2.0 into 2.0 4.465 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 4.465 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 4.465 * [taylor]: Taking taylor expansion of 1.0 in t 4.465 * [backup-simplify]: Simplify 1.0 into 1.0 4.465 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.465 * [taylor]: Taking taylor expansion of 1.0 in t 4.465 * [backup-simplify]: Simplify 1.0 into 1.0 4.465 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.465 * [taylor]: Taking taylor expansion of t in t 4.465 * [backup-simplify]: Simplify 0 into 0 4.465 * [backup-simplify]: Simplify 1 into 1 4.465 * [backup-simplify]: Simplify (/ 1 1) into 1 4.466 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.466 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.466 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.467 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 4.467 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 4.467 * [backup-simplify]: Simplify 2.0 into 2.0 4.468 * [backup-simplify]: Simplify (* 2.0 -1.0) into -2.0 4.468 * [backup-simplify]: Simplify (- -2.0) into 2.0 4.468 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.468 * [backup-simplify]: Simplify 2.0 into 2.0 4.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.469 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.470 * [backup-simplify]: Simplify (- 0) into 0 4.470 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.472 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 1.0 (- 1.0))))) into (- 1.0) 4.473 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 -1.0)) into (- 2.0) 4.473 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.474 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.474 * [backup-simplify]: Simplify 2.0 into 2.0 4.474 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 4.474 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 4.474 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 4.474 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 4.474 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 4.474 * [taylor]: Taking taylor expansion of 2.0 in t 4.474 * [backup-simplify]: Simplify 2.0 into 2.0 4.474 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 4.474 * [taylor]: Taking taylor expansion of 2.0 in t 4.474 * [backup-simplify]: Simplify 2.0 into 2.0 4.474 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 4.474 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 4.474 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 4.474 * [taylor]: Taking taylor expansion of 1.0 in t 4.474 * [backup-simplify]: Simplify 1.0 into 1.0 4.474 * [taylor]: Taking taylor expansion of t in t 4.474 * [backup-simplify]: Simplify 0 into 0 4.474 * [backup-simplify]: Simplify 1 into 1 4.474 * [taylor]: Taking taylor expansion of 1.0 in t 4.475 * [backup-simplify]: Simplify 1.0 into 1.0 4.475 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.475 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.475 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.475 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 4.475 * [taylor]: Taking taylor expansion of 2.0 in t 4.475 * [backup-simplify]: Simplify 2.0 into 2.0 4.475 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 4.475 * [taylor]: Taking taylor expansion of 2.0 in t 4.475 * [backup-simplify]: Simplify 2.0 into 2.0 4.475 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 4.476 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 4.476 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 4.476 * [taylor]: Taking taylor expansion of 1.0 in t 4.476 * [backup-simplify]: Simplify 1.0 into 1.0 4.476 * [taylor]: Taking taylor expansion of t in t 4.476 * [backup-simplify]: Simplify 0 into 0 4.476 * [backup-simplify]: Simplify 1 into 1 4.476 * [taylor]: Taking taylor expansion of 1.0 in t 4.476 * [backup-simplify]: Simplify 1.0 into 1.0 4.476 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.476 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.476 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.477 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 4.477 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.478 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 4.478 * [backup-simplify]: Simplify 0 into 0 4.479 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 4.479 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.480 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 4.481 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 4.482 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.482 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.482 * [backup-simplify]: Simplify 2.0 into 2.0 4.485 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 4.485 * [backup-simplify]: Simplify (+ 0 0) into 0 4.487 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 4.489 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 4.489 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.489 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 4.490 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.490 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.491 * [backup-simplify]: Simplify (+ 0 0) into 0 4.495 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 4.498 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 4.499 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.499 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.499 * [backup-simplify]: Simplify 2.0 into 2.0 4.500 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) 4.501 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 t)) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 4.501 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 4.501 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 4.501 * [taylor]: Taking taylor expansion of 2.0 in t 4.501 * [backup-simplify]: Simplify 2.0 into 2.0 4.501 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 4.501 * [taylor]: Taking taylor expansion of 2.0 in t 4.501 * [backup-simplify]: Simplify 2.0 into 2.0 4.501 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 4.501 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 4.501 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.501 * [taylor]: Taking taylor expansion of 1.0 in t 4.501 * [backup-simplify]: Simplify 1.0 into 1.0 4.501 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.501 * [taylor]: Taking taylor expansion of t in t 4.501 * [backup-simplify]: Simplify 0 into 0 4.501 * [backup-simplify]: Simplify 1 into 1 4.502 * [backup-simplify]: Simplify (/ 1 1) into 1 4.502 * [taylor]: Taking taylor expansion of 1.0 in t 4.502 * [backup-simplify]: Simplify 1.0 into 1.0 4.502 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.503 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.503 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.503 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 4.503 * [taylor]: Taking taylor expansion of 2.0 in t 4.503 * [backup-simplify]: Simplify 2.0 into 2.0 4.503 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 4.503 * [taylor]: Taking taylor expansion of 2.0 in t 4.503 * [backup-simplify]: Simplify 2.0 into 2.0 4.503 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 4.503 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 4.503 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.503 * [taylor]: Taking taylor expansion of 1.0 in t 4.504 * [backup-simplify]: Simplify 1.0 into 1.0 4.504 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.504 * [taylor]: Taking taylor expansion of t in t 4.504 * [backup-simplify]: Simplify 0 into 0 4.504 * [backup-simplify]: Simplify 1 into 1 4.504 * [backup-simplify]: Simplify (/ 1 1) into 1 4.504 * [taylor]: Taking taylor expansion of 1.0 in t 4.504 * [backup-simplify]: Simplify 1.0 into 1.0 4.505 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.505 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.506 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.506 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 4.506 * [backup-simplify]: Simplify 2.0 into 2.0 4.507 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 4.507 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.508 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 4.508 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.509 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.509 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.511 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 4.512 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 4.512 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.513 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.513 * [backup-simplify]: Simplify 2.0 into 2.0 4.513 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 4.513 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 (- t))) 1.0))) into (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 4.513 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 4.513 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 4.513 * [taylor]: Taking taylor expansion of 2.0 in t 4.513 * [backup-simplify]: Simplify 2.0 into 2.0 4.513 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 4.513 * [taylor]: Taking taylor expansion of 2.0 in t 4.513 * [backup-simplify]: Simplify 2.0 into 2.0 4.513 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 4.513 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 4.513 * [taylor]: Taking taylor expansion of 1.0 in t 4.513 * [backup-simplify]: Simplify 1.0 into 1.0 4.514 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.514 * [taylor]: Taking taylor expansion of 1.0 in t 4.514 * [backup-simplify]: Simplify 1.0 into 1.0 4.514 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.514 * [taylor]: Taking taylor expansion of t in t 4.514 * [backup-simplify]: Simplify 0 into 0 4.514 * [backup-simplify]: Simplify 1 into 1 4.514 * [backup-simplify]: Simplify (/ 1 1) into 1 4.514 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.514 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.515 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.516 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 4.516 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 4.516 * [taylor]: Taking taylor expansion of 2.0 in t 4.516 * [backup-simplify]: Simplify 2.0 into 2.0 4.516 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 4.516 * [taylor]: Taking taylor expansion of 2.0 in t 4.516 * [backup-simplify]: Simplify 2.0 into 2.0 4.516 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 4.516 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 4.516 * [taylor]: Taking taylor expansion of 1.0 in t 4.516 * [backup-simplify]: Simplify 1.0 into 1.0 4.516 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.516 * [taylor]: Taking taylor expansion of 1.0 in t 4.516 * [backup-simplify]: Simplify 1.0 into 1.0 4.516 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.516 * [taylor]: Taking taylor expansion of t in t 4.516 * [backup-simplify]: Simplify 0 into 0 4.516 * [backup-simplify]: Simplify 1 into 1 4.516 * [backup-simplify]: Simplify (/ 1 1) into 1 4.516 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.517 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.517 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.518 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 4.518 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 4.518 * [backup-simplify]: Simplify 2.0 into 2.0 4.518 * [backup-simplify]: Simplify (* 2.0 -1.0) into -2.0 4.519 * [backup-simplify]: Simplify (- -2.0) into 2.0 4.519 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.519 * [backup-simplify]: Simplify 2.0 into 2.0 4.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.520 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.520 * [backup-simplify]: Simplify (- 0) into 0 4.521 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.522 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 1.0 (- 1.0))))) into (- 1.0) 4.524 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 -1.0)) into (- 2.0) 4.524 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.524 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.524 * [backup-simplify]: Simplify 2.0 into 2.0 4.525 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 4.525 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 4.525 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 4.525 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 4.525 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 4.525 * [taylor]: Taking taylor expansion of 2.0 in t 4.526 * [backup-simplify]: Simplify 2.0 into 2.0 4.526 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 4.526 * [taylor]: Taking taylor expansion of 2.0 in t 4.526 * [backup-simplify]: Simplify 2.0 into 2.0 4.526 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 4.526 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 4.526 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 4.526 * [taylor]: Taking taylor expansion of 1.0 in t 4.526 * [backup-simplify]: Simplify 1.0 into 1.0 4.526 * [taylor]: Taking taylor expansion of t in t 4.526 * [backup-simplify]: Simplify 0 into 0 4.526 * [backup-simplify]: Simplify 1 into 1 4.526 * [taylor]: Taking taylor expansion of 1.0 in t 4.526 * [backup-simplify]: Simplify 1.0 into 1.0 4.526 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.526 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.527 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.527 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 4.527 * [taylor]: Taking taylor expansion of 2.0 in t 4.527 * [backup-simplify]: Simplify 2.0 into 2.0 4.527 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 4.527 * [taylor]: Taking taylor expansion of 2.0 in t 4.527 * [backup-simplify]: Simplify 2.0 into 2.0 4.527 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 4.527 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 4.527 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 4.527 * [taylor]: Taking taylor expansion of 1.0 in t 4.527 * [backup-simplify]: Simplify 1.0 into 1.0 4.527 * [taylor]: Taking taylor expansion of t in t 4.527 * [backup-simplify]: Simplify 0 into 0 4.527 * [backup-simplify]: Simplify 1 into 1 4.527 * [taylor]: Taking taylor expansion of 1.0 in t 4.527 * [backup-simplify]: Simplify 1.0 into 1.0 4.527 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.528 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.528 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.528 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 4.528 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.529 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 4.529 * [backup-simplify]: Simplify 0 into 0 4.530 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 4.530 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.531 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 4.533 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 4.533 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.533 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.533 * [backup-simplify]: Simplify 2.0 into 2.0 4.534 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 4.534 * [backup-simplify]: Simplify (+ 0 0) into 0 4.538 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 4.540 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 4.541 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.542 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 4.542 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.543 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.544 * [backup-simplify]: Simplify (+ 0 0) into 0 4.548 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 4.552 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 4.553 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.553 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.553 * [backup-simplify]: Simplify 2.0 into 2.0 4.554 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) 4.554 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 t)) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 4.554 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 4.554 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 4.554 * [taylor]: Taking taylor expansion of 2.0 in t 4.554 * [backup-simplify]: Simplify 2.0 into 2.0 4.554 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 4.554 * [taylor]: Taking taylor expansion of 2.0 in t 4.554 * [backup-simplify]: Simplify 2.0 into 2.0 4.555 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 4.555 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 4.555 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.555 * [taylor]: Taking taylor expansion of 1.0 in t 4.555 * [backup-simplify]: Simplify 1.0 into 1.0 4.555 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.555 * [taylor]: Taking taylor expansion of t in t 4.555 * [backup-simplify]: Simplify 0 into 0 4.555 * [backup-simplify]: Simplify 1 into 1 4.555 * [backup-simplify]: Simplify (/ 1 1) into 1 4.555 * [taylor]: Taking taylor expansion of 1.0 in t 4.555 * [backup-simplify]: Simplify 1.0 into 1.0 4.556 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.556 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.557 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.557 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 4.557 * [taylor]: Taking taylor expansion of 2.0 in t 4.557 * [backup-simplify]: Simplify 2.0 into 2.0 4.557 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 4.557 * [taylor]: Taking taylor expansion of 2.0 in t 4.557 * [backup-simplify]: Simplify 2.0 into 2.0 4.557 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 4.557 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 4.557 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.557 * [taylor]: Taking taylor expansion of 1.0 in t 4.557 * [backup-simplify]: Simplify 1.0 into 1.0 4.557 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.557 * [taylor]: Taking taylor expansion of t in t 4.557 * [backup-simplify]: Simplify 0 into 0 4.557 * [backup-simplify]: Simplify 1 into 1 4.557 * [backup-simplify]: Simplify (/ 1 1) into 1 4.557 * [taylor]: Taking taylor expansion of 1.0 in t 4.557 * [backup-simplify]: Simplify 1.0 into 1.0 4.558 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.558 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.559 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.559 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 4.559 * [backup-simplify]: Simplify 2.0 into 2.0 4.560 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 4.560 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.561 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 4.562 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.563 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.564 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.566 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 4.568 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 4.569 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.570 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.570 * [backup-simplify]: Simplify 2.0 into 2.0 4.570 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 4.571 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 (- t))) 1.0))) into (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 4.571 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 4.571 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 4.571 * [taylor]: Taking taylor expansion of 2.0 in t 4.571 * [backup-simplify]: Simplify 2.0 into 2.0 4.571 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 4.571 * [taylor]: Taking taylor expansion of 2.0 in t 4.571 * [backup-simplify]: Simplify 2.0 into 2.0 4.571 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 4.571 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 4.571 * [taylor]: Taking taylor expansion of 1.0 in t 4.571 * [backup-simplify]: Simplify 1.0 into 1.0 4.571 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.571 * [taylor]: Taking taylor expansion of 1.0 in t 4.571 * [backup-simplify]: Simplify 1.0 into 1.0 4.571 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.571 * [taylor]: Taking taylor expansion of t in t 4.571 * [backup-simplify]: Simplify 0 into 0 4.571 * [backup-simplify]: Simplify 1 into 1 4.572 * [backup-simplify]: Simplify (/ 1 1) into 1 4.572 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.572 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.573 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.574 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 4.574 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 4.574 * [taylor]: Taking taylor expansion of 2.0 in t 4.574 * [backup-simplify]: Simplify 2.0 into 2.0 4.574 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 4.574 * [taylor]: Taking taylor expansion of 2.0 in t 4.575 * [backup-simplify]: Simplify 2.0 into 2.0 4.575 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 4.575 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 4.575 * [taylor]: Taking taylor expansion of 1.0 in t 4.575 * [backup-simplify]: Simplify 1.0 into 1.0 4.575 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.575 * [taylor]: Taking taylor expansion of 1.0 in t 4.575 * [backup-simplify]: Simplify 1.0 into 1.0 4.575 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.575 * [taylor]: Taking taylor expansion of t in t 4.575 * [backup-simplify]: Simplify 0 into 0 4.575 * [backup-simplify]: Simplify 1 into 1 4.575 * [backup-simplify]: Simplify (/ 1 1) into 1 4.576 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.576 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.577 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.578 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 4.578 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 4.579 * [backup-simplify]: Simplify 2.0 into 2.0 4.579 * [backup-simplify]: Simplify (* 2.0 -1.0) into -2.0 4.579 * [backup-simplify]: Simplify (- -2.0) into 2.0 4.580 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.580 * [backup-simplify]: Simplify 2.0 into 2.0 4.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.581 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.582 * [backup-simplify]: Simplify (- 0) into 0 4.582 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.586 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 1.0 (- 1.0))))) into (- 1.0) 4.588 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 -1.0)) into (- 2.0) 4.589 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.589 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.589 * [backup-simplify]: Simplify 2.0 into 2.0 4.590 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 4.590 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 4.590 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 4.590 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 4.590 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 4.590 * [taylor]: Taking taylor expansion of 2.0 in t 4.590 * [backup-simplify]: Simplify 2.0 into 2.0 4.590 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 4.590 * [taylor]: Taking taylor expansion of 2.0 in t 4.590 * [backup-simplify]: Simplify 2.0 into 2.0 4.590 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 4.590 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 4.590 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 4.590 * [taylor]: Taking taylor expansion of 1.0 in t 4.590 * [backup-simplify]: Simplify 1.0 into 1.0 4.590 * [taylor]: Taking taylor expansion of t in t 4.590 * [backup-simplify]: Simplify 0 into 0 4.590 * [backup-simplify]: Simplify 1 into 1 4.590 * [taylor]: Taking taylor expansion of 1.0 in t 4.591 * [backup-simplify]: Simplify 1.0 into 1.0 4.591 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.591 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.592 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.592 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 4.592 * [taylor]: Taking taylor expansion of 2.0 in t 4.592 * [backup-simplify]: Simplify 2.0 into 2.0 4.592 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 4.592 * [taylor]: Taking taylor expansion of 2.0 in t 4.592 * [backup-simplify]: Simplify 2.0 into 2.0 4.592 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 4.592 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 4.592 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 4.592 * [taylor]: Taking taylor expansion of 1.0 in t 4.592 * [backup-simplify]: Simplify 1.0 into 1.0 4.592 * [taylor]: Taking taylor expansion of t in t 4.592 * [backup-simplify]: Simplify 0 into 0 4.592 * [backup-simplify]: Simplify 1 into 1 4.592 * [taylor]: Taking taylor expansion of 1.0 in t 4.592 * [backup-simplify]: Simplify 1.0 into 1.0 4.593 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.593 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.594 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.594 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 4.595 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.595 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 4.595 * [backup-simplify]: Simplify 0 into 0 4.597 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 4.597 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.599 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 4.602 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 4.603 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.603 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.603 * [backup-simplify]: Simplify 2.0 into 2.0 4.604 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 4.605 * [backup-simplify]: Simplify (+ 0 0) into 0 4.608 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 4.613 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 4.614 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.614 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 4.615 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.616 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.616 * [backup-simplify]: Simplify (+ 0 0) into 0 4.621 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 4.624 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 4.625 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.625 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.625 * [backup-simplify]: Simplify 2.0 into 2.0 4.625 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) 4.625 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 t)) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 4.626 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 4.626 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 4.626 * [taylor]: Taking taylor expansion of 2.0 in t 4.626 * [backup-simplify]: Simplify 2.0 into 2.0 4.626 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 4.626 * [taylor]: Taking taylor expansion of 2.0 in t 4.626 * [backup-simplify]: Simplify 2.0 into 2.0 4.626 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 4.626 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 4.626 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.626 * [taylor]: Taking taylor expansion of 1.0 in t 4.626 * [backup-simplify]: Simplify 1.0 into 1.0 4.626 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.626 * [taylor]: Taking taylor expansion of t in t 4.626 * [backup-simplify]: Simplify 0 into 0 4.626 * [backup-simplify]: Simplify 1 into 1 4.626 * [backup-simplify]: Simplify (/ 1 1) into 1 4.626 * [taylor]: Taking taylor expansion of 1.0 in t 4.626 * [backup-simplify]: Simplify 1.0 into 1.0 4.626 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.627 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.627 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.627 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 4.627 * [taylor]: Taking taylor expansion of 2.0 in t 4.627 * [backup-simplify]: Simplify 2.0 into 2.0 4.627 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 4.627 * [taylor]: Taking taylor expansion of 2.0 in t 4.627 * [backup-simplify]: Simplify 2.0 into 2.0 4.627 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 4.627 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 4.627 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.627 * [taylor]: Taking taylor expansion of 1.0 in t 4.627 * [backup-simplify]: Simplify 1.0 into 1.0 4.627 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.627 * [taylor]: Taking taylor expansion of t in t 4.627 * [backup-simplify]: Simplify 0 into 0 4.627 * [backup-simplify]: Simplify 1 into 1 4.627 * [backup-simplify]: Simplify (/ 1 1) into 1 4.627 * [taylor]: Taking taylor expansion of 1.0 in t 4.627 * [backup-simplify]: Simplify 1.0 into 1.0 4.628 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.628 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.628 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 4.629 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 4.629 * [backup-simplify]: Simplify 2.0 into 2.0 4.629 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 4.629 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.630 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 4.630 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 4.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.631 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.631 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.632 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 4.634 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 4.634 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.635 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.635 * [backup-simplify]: Simplify 2.0 into 2.0 4.635 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 4.635 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 (- t))) 1.0))) into (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 4.635 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 4.635 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 4.635 * [taylor]: Taking taylor expansion of 2.0 in t 4.635 * [backup-simplify]: Simplify 2.0 into 2.0 4.635 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 4.635 * [taylor]: Taking taylor expansion of 2.0 in t 4.635 * [backup-simplify]: Simplify 2.0 into 2.0 4.635 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 4.635 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 4.635 * [taylor]: Taking taylor expansion of 1.0 in t 4.635 * [backup-simplify]: Simplify 1.0 into 1.0 4.635 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.635 * [taylor]: Taking taylor expansion of 1.0 in t 4.635 * [backup-simplify]: Simplify 1.0 into 1.0 4.635 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.635 * [taylor]: Taking taylor expansion of t in t 4.635 * [backup-simplify]: Simplify 0 into 0 4.635 * [backup-simplify]: Simplify 1 into 1 4.636 * [backup-simplify]: Simplify (/ 1 1) into 1 4.636 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.637 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.637 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.638 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 4.638 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 4.638 * [taylor]: Taking taylor expansion of 2.0 in t 4.638 * [backup-simplify]: Simplify 2.0 into 2.0 4.638 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 4.638 * [taylor]: Taking taylor expansion of 2.0 in t 4.638 * [backup-simplify]: Simplify 2.0 into 2.0 4.638 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 4.638 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 4.638 * [taylor]: Taking taylor expansion of 1.0 in t 4.638 * [backup-simplify]: Simplify 1.0 into 1.0 4.638 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 4.638 * [taylor]: Taking taylor expansion of 1.0 in t 4.638 * [backup-simplify]: Simplify 1.0 into 1.0 4.638 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.638 * [taylor]: Taking taylor expansion of t in t 4.638 * [backup-simplify]: Simplify 0 into 0 4.638 * [backup-simplify]: Simplify 1 into 1 4.638 * [backup-simplify]: Simplify (/ 1 1) into 1 4.639 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.639 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.639 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 4.640 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 4.640 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 4.640 * [backup-simplify]: Simplify 2.0 into 2.0 4.641 * [backup-simplify]: Simplify (* 2.0 -1.0) into -2.0 4.641 * [backup-simplify]: Simplify (- -2.0) into 2.0 4.641 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.641 * [backup-simplify]: Simplify 2.0 into 2.0 4.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.642 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.642 * [backup-simplify]: Simplify (- 0) into 0 4.642 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.644 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 1.0 (- 1.0))))) into (- 1.0) 4.647 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 -1.0)) into (- 2.0) 4.647 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 4.648 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 4.648 * [backup-simplify]: Simplify 2.0 into 2.0 4.648 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 4.648 * * * [progress]: simplifying candidates 4.651 * [simplify]: Simplifying: (/ (exp 2.0) (exp (/ 2.0 (+ (* 1.0 t) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* 1.0 t) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0))) (* 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* 1.0 t) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* 1.0 t) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0))) (* 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* 1.0 t) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* 1.0 t) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0))) (* 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* 1.0 t) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* 1.0 t) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0))) (* 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 4.653 * * [simplify]: iteration 0: 52 enodes 4.676 * * [simplify]: iteration 1: 121 enodes 4.741 * * [simplify]: iteration 2: 358 enodes 4.922 * * [simplify]: iteration 3: 1314 enodes 5.594 * * [simplify]: iteration complete: 5004 enodes 5.594 * * [simplify]: Extracting #0: cost 18 inf + 0 5.594 * * [simplify]: Extracting #1: cost 306 inf + 0 5.600 * * [simplify]: Extracting #2: cost 1400 inf + 878 5.625 * * [simplify]: Extracting #3: cost 1565 inf + 27635 5.681 * * [simplify]: Extracting #4: cost 871 inf + 159192 5.759 * * [simplify]: Extracting #5: cost 138 inf + 329891 5.845 * * [simplify]: Extracting #6: cost 4 inf + 377429 5.954 * * [simplify]: Extracting #7: cost 0 inf + 378490 6.086 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (* (* 2.0 2.0) 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (* (* 2.0 2.0) 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (* (* 2.0 2.0) 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (* (* 2.0 2.0) 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (* t (+ (* t (* t 2.0)) (- 2.0 (* t 2.0)))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) (* t (+ (* t (* t 2.0)) (- 2.0 (* t 2.0)))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) (* t (+ (* t (* t 2.0)) (- 2.0 (* t 2.0)))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) (* t (+ (* t (* t 2.0)) (- 2.0 (* t 2.0)))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) 6.095 * * * [progress]: adding candidates to table 6.455 * * [progress]: iteration 2 / 4 6.455 * * * [progress]: picking best candidate 6.463 * * * * [pick]: Picked # 6.463 * * * [progress]: localizing error 6.549 * * * [progress]: generating rewritten candidates 6.549 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 6.591 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1) 6.611 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 1) 6.647 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 1) 6.683 * * * [progress]: generating series expansions 6.683 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 6.683 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 6.683 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 6.683 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 6.683 * [taylor]: Taking taylor expansion of 2.0 in t 6.683 * [backup-simplify]: Simplify 2.0 into 2.0 6.683 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 6.683 * [taylor]: Taking taylor expansion of 2.0 in t 6.683 * [backup-simplify]: Simplify 2.0 into 2.0 6.683 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 6.683 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.683 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.683 * [taylor]: Taking taylor expansion of 1.0 in t 6.683 * [backup-simplify]: Simplify 1.0 into 1.0 6.683 * [taylor]: Taking taylor expansion of t in t 6.683 * [backup-simplify]: Simplify 0 into 0 6.683 * [backup-simplify]: Simplify 1 into 1 6.683 * [taylor]: Taking taylor expansion of 1.0 in t 6.683 * [backup-simplify]: Simplify 1.0 into 1.0 6.684 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.684 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.685 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.685 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 6.685 * [taylor]: Taking taylor expansion of 2.0 in t 6.685 * [backup-simplify]: Simplify 2.0 into 2.0 6.685 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 6.685 * [taylor]: Taking taylor expansion of 2.0 in t 6.685 * [backup-simplify]: Simplify 2.0 into 2.0 6.685 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 6.685 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.685 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.685 * [taylor]: Taking taylor expansion of 1.0 in t 6.685 * [backup-simplify]: Simplify 1.0 into 1.0 6.685 * [taylor]: Taking taylor expansion of t in t 6.685 * [backup-simplify]: Simplify 0 into 0 6.685 * [backup-simplify]: Simplify 1 into 1 6.685 * [taylor]: Taking taylor expansion of 1.0 in t 6.685 * [backup-simplify]: Simplify 1.0 into 1.0 6.685 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.685 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.686 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.686 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.686 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.687 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 6.687 * [backup-simplify]: Simplify 0 into 0 6.688 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.688 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.689 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.690 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.691 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.691 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.691 * [backup-simplify]: Simplify 2.0 into 2.0 6.692 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 6.692 * [backup-simplify]: Simplify (+ 0 0) into 0 6.695 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 6.696 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 6.696 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.697 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.697 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.698 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.698 * [backup-simplify]: Simplify (+ 0 0) into 0 6.701 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.702 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 6.703 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.703 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.703 * [backup-simplify]: Simplify 2.0 into 2.0 6.704 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) 6.704 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 t)) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 6.704 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 6.704 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.704 * [taylor]: Taking taylor expansion of 2.0 in t 6.704 * [backup-simplify]: Simplify 2.0 into 2.0 6.704 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.704 * [taylor]: Taking taylor expansion of 2.0 in t 6.704 * [backup-simplify]: Simplify 2.0 into 2.0 6.704 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.704 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.704 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.704 * [taylor]: Taking taylor expansion of 1.0 in t 6.704 * [backup-simplify]: Simplify 1.0 into 1.0 6.704 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.704 * [taylor]: Taking taylor expansion of t in t 6.704 * [backup-simplify]: Simplify 0 into 0 6.704 * [backup-simplify]: Simplify 1 into 1 6.704 * [backup-simplify]: Simplify (/ 1 1) into 1 6.704 * [taylor]: Taking taylor expansion of 1.0 in t 6.704 * [backup-simplify]: Simplify 1.0 into 1.0 6.705 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.705 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.705 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.705 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.705 * [taylor]: Taking taylor expansion of 2.0 in t 6.705 * [backup-simplify]: Simplify 2.0 into 2.0 6.705 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.705 * [taylor]: Taking taylor expansion of 2.0 in t 6.705 * [backup-simplify]: Simplify 2.0 into 2.0 6.705 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.705 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.705 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.706 * [taylor]: Taking taylor expansion of 1.0 in t 6.706 * [backup-simplify]: Simplify 1.0 into 1.0 6.706 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.706 * [taylor]: Taking taylor expansion of t in t 6.706 * [backup-simplify]: Simplify 0 into 0 6.706 * [backup-simplify]: Simplify 1 into 1 6.706 * [backup-simplify]: Simplify (/ 1 1) into 1 6.706 * [taylor]: Taking taylor expansion of 1.0 in t 6.706 * [backup-simplify]: Simplify 1.0 into 1.0 6.706 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.706 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.707 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.707 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.707 * [backup-simplify]: Simplify 2.0 into 2.0 6.707 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.708 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.708 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.708 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.709 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.710 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.711 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.712 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.713 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.713 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.713 * [backup-simplify]: Simplify 2.0 into 2.0 6.713 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.713 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 (- t))) 1.0))) into (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 6.713 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 6.713 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 6.714 * [taylor]: Taking taylor expansion of 2.0 in t 6.714 * [backup-simplify]: Simplify 2.0 into 2.0 6.714 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 6.714 * [taylor]: Taking taylor expansion of 2.0 in t 6.714 * [backup-simplify]: Simplify 2.0 into 2.0 6.714 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 6.714 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 6.714 * [taylor]: Taking taylor expansion of 1.0 in t 6.714 * [backup-simplify]: Simplify 1.0 into 1.0 6.714 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.714 * [taylor]: Taking taylor expansion of 1.0 in t 6.714 * [backup-simplify]: Simplify 1.0 into 1.0 6.714 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.714 * [taylor]: Taking taylor expansion of t in t 6.714 * [backup-simplify]: Simplify 0 into 0 6.714 * [backup-simplify]: Simplify 1 into 1 6.714 * [backup-simplify]: Simplify (/ 1 1) into 1 6.714 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.715 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.715 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.716 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 6.716 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 6.716 * [taylor]: Taking taylor expansion of 2.0 in t 6.716 * [backup-simplify]: Simplify 2.0 into 2.0 6.716 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 6.716 * [taylor]: Taking taylor expansion of 2.0 in t 6.716 * [backup-simplify]: Simplify 2.0 into 2.0 6.716 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 6.716 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 6.716 * [taylor]: Taking taylor expansion of 1.0 in t 6.716 * [backup-simplify]: Simplify 1.0 into 1.0 6.716 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.716 * [taylor]: Taking taylor expansion of 1.0 in t 6.716 * [backup-simplify]: Simplify 1.0 into 1.0 6.716 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.716 * [taylor]: Taking taylor expansion of t in t 6.716 * [backup-simplify]: Simplify 0 into 0 6.716 * [backup-simplify]: Simplify 1 into 1 6.716 * [backup-simplify]: Simplify (/ 1 1) into 1 6.716 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.717 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.717 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.718 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 6.718 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.718 * [backup-simplify]: Simplify 2.0 into 2.0 6.718 * [backup-simplify]: Simplify (* 2.0 -1.0) into -2.0 6.719 * [backup-simplify]: Simplify (- -2.0) into 2.0 6.719 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.719 * [backup-simplify]: Simplify 2.0 into 2.0 6.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.720 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.720 * [backup-simplify]: Simplify (- 0) into 0 6.720 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.722 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 1.0 (- 1.0))))) into (- 1.0) 6.724 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 -1.0)) into (- 2.0) 6.724 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.724 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.724 * [backup-simplify]: Simplify 2.0 into 2.0 6.725 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.725 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1) 6.725 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 6.725 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 6.725 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 6.725 * [taylor]: Taking taylor expansion of 2.0 in t 6.725 * [backup-simplify]: Simplify 2.0 into 2.0 6.725 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 6.725 * [taylor]: Taking taylor expansion of 2.0 in t 6.725 * [backup-simplify]: Simplify 2.0 into 2.0 6.725 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 6.725 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.725 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.725 * [taylor]: Taking taylor expansion of 1.0 in t 6.725 * [backup-simplify]: Simplify 1.0 into 1.0 6.725 * [taylor]: Taking taylor expansion of t in t 6.725 * [backup-simplify]: Simplify 0 into 0 6.725 * [backup-simplify]: Simplify 1 into 1 6.725 * [taylor]: Taking taylor expansion of 1.0 in t 6.725 * [backup-simplify]: Simplify 1.0 into 1.0 6.725 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.726 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.726 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.726 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 6.726 * [taylor]: Taking taylor expansion of 2.0 in t 6.726 * [backup-simplify]: Simplify 2.0 into 2.0 6.726 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 6.726 * [taylor]: Taking taylor expansion of 2.0 in t 6.726 * [backup-simplify]: Simplify 2.0 into 2.0 6.726 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 6.726 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.726 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.726 * [taylor]: Taking taylor expansion of 1.0 in t 6.726 * [backup-simplify]: Simplify 1.0 into 1.0 6.726 * [taylor]: Taking taylor expansion of t in t 6.726 * [backup-simplify]: Simplify 0 into 0 6.726 * [backup-simplify]: Simplify 1 into 1 6.726 * [taylor]: Taking taylor expansion of 1.0 in t 6.726 * [backup-simplify]: Simplify 1.0 into 1.0 6.727 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.727 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.727 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.727 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.728 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.728 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 6.728 * [backup-simplify]: Simplify 0 into 0 6.729 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.729 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.731 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.732 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.733 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.733 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.733 * [backup-simplify]: Simplify 2.0 into 2.0 6.733 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 6.734 * [backup-simplify]: Simplify (+ 0 0) into 0 6.736 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 6.738 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 6.739 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.740 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.740 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.741 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.742 * [backup-simplify]: Simplify (+ 0 0) into 0 6.746 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.749 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 6.750 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.750 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.750 * [backup-simplify]: Simplify 2.0 into 2.0 6.751 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) 6.752 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 t)) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 6.752 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 6.752 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.752 * [taylor]: Taking taylor expansion of 2.0 in t 6.752 * [backup-simplify]: Simplify 2.0 into 2.0 6.752 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.752 * [taylor]: Taking taylor expansion of 2.0 in t 6.752 * [backup-simplify]: Simplify 2.0 into 2.0 6.752 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.752 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.752 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.752 * [taylor]: Taking taylor expansion of 1.0 in t 6.752 * [backup-simplify]: Simplify 1.0 into 1.0 6.752 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.752 * [taylor]: Taking taylor expansion of t in t 6.752 * [backup-simplify]: Simplify 0 into 0 6.752 * [backup-simplify]: Simplify 1 into 1 6.752 * [backup-simplify]: Simplify (/ 1 1) into 1 6.753 * [taylor]: Taking taylor expansion of 1.0 in t 6.753 * [backup-simplify]: Simplify 1.0 into 1.0 6.753 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.753 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.754 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.754 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.754 * [taylor]: Taking taylor expansion of 2.0 in t 6.754 * [backup-simplify]: Simplify 2.0 into 2.0 6.754 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.754 * [taylor]: Taking taylor expansion of 2.0 in t 6.754 * [backup-simplify]: Simplify 2.0 into 2.0 6.754 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.754 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.754 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.754 * [taylor]: Taking taylor expansion of 1.0 in t 6.754 * [backup-simplify]: Simplify 1.0 into 1.0 6.754 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.754 * [taylor]: Taking taylor expansion of t in t 6.754 * [backup-simplify]: Simplify 0 into 0 6.754 * [backup-simplify]: Simplify 1 into 1 6.755 * [backup-simplify]: Simplify (/ 1 1) into 1 6.755 * [taylor]: Taking taylor expansion of 1.0 in t 6.755 * [backup-simplify]: Simplify 1.0 into 1.0 6.755 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.756 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.756 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.757 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.757 * [backup-simplify]: Simplify 2.0 into 2.0 6.757 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.758 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.758 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.759 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.760 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.760 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.763 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.765 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.768 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.768 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.769 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.769 * [backup-simplify]: Simplify 2.0 into 2.0 6.770 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.770 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 (- t))) 1.0))) into (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 6.770 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 6.770 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 6.770 * [taylor]: Taking taylor expansion of 2.0 in t 6.770 * [backup-simplify]: Simplify 2.0 into 2.0 6.770 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 6.770 * [taylor]: Taking taylor expansion of 2.0 in t 6.770 * [backup-simplify]: Simplify 2.0 into 2.0 6.770 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 6.770 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 6.770 * [taylor]: Taking taylor expansion of 1.0 in t 6.770 * [backup-simplify]: Simplify 1.0 into 1.0 6.770 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.770 * [taylor]: Taking taylor expansion of 1.0 in t 6.770 * [backup-simplify]: Simplify 1.0 into 1.0 6.770 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.770 * [taylor]: Taking taylor expansion of t in t 6.770 * [backup-simplify]: Simplify 0 into 0 6.770 * [backup-simplify]: Simplify 1 into 1 6.771 * [backup-simplify]: Simplify (/ 1 1) into 1 6.771 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.772 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.772 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.773 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 6.773 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 6.773 * [taylor]: Taking taylor expansion of 2.0 in t 6.773 * [backup-simplify]: Simplify 2.0 into 2.0 6.774 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 6.774 * [taylor]: Taking taylor expansion of 2.0 in t 6.774 * [backup-simplify]: Simplify 2.0 into 2.0 6.774 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 6.774 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 6.774 * [taylor]: Taking taylor expansion of 1.0 in t 6.774 * [backup-simplify]: Simplify 1.0 into 1.0 6.774 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.774 * [taylor]: Taking taylor expansion of 1.0 in t 6.774 * [backup-simplify]: Simplify 1.0 into 1.0 6.774 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.774 * [taylor]: Taking taylor expansion of t in t 6.774 * [backup-simplify]: Simplify 0 into 0 6.774 * [backup-simplify]: Simplify 1 into 1 6.774 * [backup-simplify]: Simplify (/ 1 1) into 1 6.775 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.775 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.776 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.777 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 6.777 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.777 * [backup-simplify]: Simplify 2.0 into 2.0 6.778 * [backup-simplify]: Simplify (* 2.0 -1.0) into -2.0 6.778 * [backup-simplify]: Simplify (- -2.0) into 2.0 6.779 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.779 * [backup-simplify]: Simplify 2.0 into 2.0 6.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.780 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.781 * [backup-simplify]: Simplify (- 0) into 0 6.781 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.784 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 1.0 (- 1.0))))) into (- 1.0) 6.787 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 -1.0)) into (- 2.0) 6.788 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.788 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.788 * [backup-simplify]: Simplify 2.0 into 2.0 6.789 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.789 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 1) 6.789 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 6.789 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 6.789 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 6.789 * [taylor]: Taking taylor expansion of 2.0 in t 6.789 * [backup-simplify]: Simplify 2.0 into 2.0 6.789 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 6.789 * [taylor]: Taking taylor expansion of 2.0 in t 6.789 * [backup-simplify]: Simplify 2.0 into 2.0 6.789 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 6.789 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.789 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.789 * [taylor]: Taking taylor expansion of 1.0 in t 6.790 * [backup-simplify]: Simplify 1.0 into 1.0 6.790 * [taylor]: Taking taylor expansion of t in t 6.790 * [backup-simplify]: Simplify 0 into 0 6.790 * [backup-simplify]: Simplify 1 into 1 6.790 * [taylor]: Taking taylor expansion of 1.0 in t 6.790 * [backup-simplify]: Simplify 1.0 into 1.0 6.790 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.791 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.791 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.791 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 6.791 * [taylor]: Taking taylor expansion of 2.0 in t 6.791 * [backup-simplify]: Simplify 2.0 into 2.0 6.791 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 6.791 * [taylor]: Taking taylor expansion of 2.0 in t 6.791 * [backup-simplify]: Simplify 2.0 into 2.0 6.791 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 6.791 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.791 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.791 * [taylor]: Taking taylor expansion of 1.0 in t 6.791 * [backup-simplify]: Simplify 1.0 into 1.0 6.791 * [taylor]: Taking taylor expansion of t in t 6.791 * [backup-simplify]: Simplify 0 into 0 6.791 * [backup-simplify]: Simplify 1 into 1 6.791 * [taylor]: Taking taylor expansion of 1.0 in t 6.791 * [backup-simplify]: Simplify 1.0 into 1.0 6.792 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.792 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.792 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.793 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.793 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.794 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 6.794 * [backup-simplify]: Simplify 0 into 0 6.794 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.795 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.796 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.797 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.798 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.798 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.798 * [backup-simplify]: Simplify 2.0 into 2.0 6.799 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 6.799 * [backup-simplify]: Simplify (+ 0 0) into 0 6.801 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 6.803 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 6.803 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.804 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.804 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.805 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.805 * [backup-simplify]: Simplify (+ 0 0) into 0 6.807 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.809 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 6.810 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.810 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.810 * [backup-simplify]: Simplify 2.0 into 2.0 6.811 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) 6.811 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 t)) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 6.811 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 6.811 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.811 * [taylor]: Taking taylor expansion of 2.0 in t 6.811 * [backup-simplify]: Simplify 2.0 into 2.0 6.811 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.811 * [taylor]: Taking taylor expansion of 2.0 in t 6.811 * [backup-simplify]: Simplify 2.0 into 2.0 6.811 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.811 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.811 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.811 * [taylor]: Taking taylor expansion of 1.0 in t 6.811 * [backup-simplify]: Simplify 1.0 into 1.0 6.811 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.811 * [taylor]: Taking taylor expansion of t in t 6.811 * [backup-simplify]: Simplify 0 into 0 6.811 * [backup-simplify]: Simplify 1 into 1 6.811 * [backup-simplify]: Simplify (/ 1 1) into 1 6.811 * [taylor]: Taking taylor expansion of 1.0 in t 6.811 * [backup-simplify]: Simplify 1.0 into 1.0 6.812 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.812 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.812 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.812 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.812 * [taylor]: Taking taylor expansion of 2.0 in t 6.812 * [backup-simplify]: Simplify 2.0 into 2.0 6.812 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.812 * [taylor]: Taking taylor expansion of 2.0 in t 6.812 * [backup-simplify]: Simplify 2.0 into 2.0 6.812 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.812 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.812 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.812 * [taylor]: Taking taylor expansion of 1.0 in t 6.812 * [backup-simplify]: Simplify 1.0 into 1.0 6.812 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.812 * [taylor]: Taking taylor expansion of t in t 6.812 * [backup-simplify]: Simplify 0 into 0 6.812 * [backup-simplify]: Simplify 1 into 1 6.813 * [backup-simplify]: Simplify (/ 1 1) into 1 6.813 * [taylor]: Taking taylor expansion of 1.0 in t 6.813 * [backup-simplify]: Simplify 1.0 into 1.0 6.813 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.813 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.813 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.814 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.814 * [backup-simplify]: Simplify 2.0 into 2.0 6.814 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.814 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.815 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.815 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.816 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.816 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.818 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.819 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.819 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.820 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.820 * [backup-simplify]: Simplify 2.0 into 2.0 6.820 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.820 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 (- t))) 1.0))) into (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 6.820 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 6.820 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 6.820 * [taylor]: Taking taylor expansion of 2.0 in t 6.820 * [backup-simplify]: Simplify 2.0 into 2.0 6.820 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 6.820 * [taylor]: Taking taylor expansion of 2.0 in t 6.820 * [backup-simplify]: Simplify 2.0 into 2.0 6.820 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 6.820 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 6.820 * [taylor]: Taking taylor expansion of 1.0 in t 6.820 * [backup-simplify]: Simplify 1.0 into 1.0 6.820 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.820 * [taylor]: Taking taylor expansion of 1.0 in t 6.820 * [backup-simplify]: Simplify 1.0 into 1.0 6.820 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.821 * [taylor]: Taking taylor expansion of t in t 6.821 * [backup-simplify]: Simplify 0 into 0 6.821 * [backup-simplify]: Simplify 1 into 1 6.821 * [backup-simplify]: Simplify (/ 1 1) into 1 6.821 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.821 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.822 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.822 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 6.822 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 6.822 * [taylor]: Taking taylor expansion of 2.0 in t 6.822 * [backup-simplify]: Simplify 2.0 into 2.0 6.822 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 6.823 * [taylor]: Taking taylor expansion of 2.0 in t 6.823 * [backup-simplify]: Simplify 2.0 into 2.0 6.823 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 6.823 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 6.823 * [taylor]: Taking taylor expansion of 1.0 in t 6.823 * [backup-simplify]: Simplify 1.0 into 1.0 6.823 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.823 * [taylor]: Taking taylor expansion of 1.0 in t 6.823 * [backup-simplify]: Simplify 1.0 into 1.0 6.823 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.823 * [taylor]: Taking taylor expansion of t in t 6.823 * [backup-simplify]: Simplify 0 into 0 6.823 * [backup-simplify]: Simplify 1 into 1 6.823 * [backup-simplify]: Simplify (/ 1 1) into 1 6.823 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.823 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.824 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.825 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 6.825 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.825 * [backup-simplify]: Simplify 2.0 into 2.0 6.825 * [backup-simplify]: Simplify (* 2.0 -1.0) into -2.0 6.825 * [backup-simplify]: Simplify (- -2.0) into 2.0 6.826 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.826 * [backup-simplify]: Simplify 2.0 into 2.0 6.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.827 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.827 * [backup-simplify]: Simplify (- 0) into 0 6.827 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.830 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 1.0 (- 1.0))))) into (- 1.0) 6.832 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 -1.0)) into (- 2.0) 6.833 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.833 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.833 * [backup-simplify]: Simplify 2.0 into 2.0 6.834 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.834 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 1) 6.834 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 6.834 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 6.834 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 6.834 * [taylor]: Taking taylor expansion of 2.0 in t 6.834 * [backup-simplify]: Simplify 2.0 into 2.0 6.834 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 6.834 * [taylor]: Taking taylor expansion of 2.0 in t 6.834 * [backup-simplify]: Simplify 2.0 into 2.0 6.834 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 6.834 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.834 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.834 * [taylor]: Taking taylor expansion of 1.0 in t 6.834 * [backup-simplify]: Simplify 1.0 into 1.0 6.834 * [taylor]: Taking taylor expansion of t in t 6.834 * [backup-simplify]: Simplify 0 into 0 6.834 * [backup-simplify]: Simplify 1 into 1 6.834 * [taylor]: Taking taylor expansion of 1.0 in t 6.834 * [backup-simplify]: Simplify 1.0 into 1.0 6.835 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.835 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.836 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.836 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 6.836 * [taylor]: Taking taylor expansion of 2.0 in t 6.836 * [backup-simplify]: Simplify 2.0 into 2.0 6.836 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 6.836 * [taylor]: Taking taylor expansion of 2.0 in t 6.836 * [backup-simplify]: Simplify 2.0 into 2.0 6.836 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 6.836 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.836 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.836 * [taylor]: Taking taylor expansion of 1.0 in t 6.836 * [backup-simplify]: Simplify 1.0 into 1.0 6.836 * [taylor]: Taking taylor expansion of t in t 6.836 * [backup-simplify]: Simplify 0 into 0 6.836 * [backup-simplify]: Simplify 1 into 1 6.836 * [taylor]: Taking taylor expansion of 1.0 in t 6.836 * [backup-simplify]: Simplify 1.0 into 1.0 6.837 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.837 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.837 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.838 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.838 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.839 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 6.839 * [backup-simplify]: Simplify 0 into 0 6.841 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.841 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.843 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.845 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.846 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.847 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.847 * [backup-simplify]: Simplify 2.0 into 2.0 6.848 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 6.848 * [backup-simplify]: Simplify (+ 0 0) into 0 6.852 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 6.854 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 6.855 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.856 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.856 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.857 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.857 * [backup-simplify]: Simplify (+ 0 0) into 0 6.860 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.861 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 6.862 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.862 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.862 * [backup-simplify]: Simplify 2.0 into 2.0 6.863 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) 6.863 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 t)) 1.0))) into (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 6.863 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 6.863 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.863 * [taylor]: Taking taylor expansion of 2.0 in t 6.863 * [backup-simplify]: Simplify 2.0 into 2.0 6.863 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.863 * [taylor]: Taking taylor expansion of 2.0 in t 6.863 * [backup-simplify]: Simplify 2.0 into 2.0 6.863 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.863 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.863 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.863 * [taylor]: Taking taylor expansion of 1.0 in t 6.863 * [backup-simplify]: Simplify 1.0 into 1.0 6.863 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.863 * [taylor]: Taking taylor expansion of t in t 6.863 * [backup-simplify]: Simplify 0 into 0 6.863 * [backup-simplify]: Simplify 1 into 1 6.863 * [backup-simplify]: Simplify (/ 1 1) into 1 6.863 * [taylor]: Taking taylor expansion of 1.0 in t 6.863 * [backup-simplify]: Simplify 1.0 into 1.0 6.864 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.864 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.864 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.864 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.864 * [taylor]: Taking taylor expansion of 2.0 in t 6.864 * [backup-simplify]: Simplify 2.0 into 2.0 6.864 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.864 * [taylor]: Taking taylor expansion of 2.0 in t 6.864 * [backup-simplify]: Simplify 2.0 into 2.0 6.864 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.864 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.864 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.864 * [taylor]: Taking taylor expansion of 1.0 in t 6.864 * [backup-simplify]: Simplify 1.0 into 1.0 6.864 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.864 * [taylor]: Taking taylor expansion of t in t 6.864 * [backup-simplify]: Simplify 0 into 0 6.864 * [backup-simplify]: Simplify 1 into 1 6.865 * [backup-simplify]: Simplify (/ 1 1) into 1 6.865 * [taylor]: Taking taylor expansion of 1.0 in t 6.865 * [backup-simplify]: Simplify 1.0 into 1.0 6.865 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.865 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.866 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.866 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.866 * [backup-simplify]: Simplify 2.0 into 2.0 6.866 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.867 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.867 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.867 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.868 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.868 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.870 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.871 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.873 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.873 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.873 * [backup-simplify]: Simplify 2.0 into 2.0 6.874 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.874 * [backup-simplify]: Simplify (- 2.0 (/ 2.0 (+ (* 1.0 (/ 1 (- t))) 1.0))) into (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 6.874 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 6.874 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 6.874 * [taylor]: Taking taylor expansion of 2.0 in t 6.874 * [backup-simplify]: Simplify 2.0 into 2.0 6.874 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 6.874 * [taylor]: Taking taylor expansion of 2.0 in t 6.874 * [backup-simplify]: Simplify 2.0 into 2.0 6.874 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 6.874 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 6.874 * [taylor]: Taking taylor expansion of 1.0 in t 6.874 * [backup-simplify]: Simplify 1.0 into 1.0 6.874 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.874 * [taylor]: Taking taylor expansion of 1.0 in t 6.874 * [backup-simplify]: Simplify 1.0 into 1.0 6.874 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.874 * [taylor]: Taking taylor expansion of t in t 6.874 * [backup-simplify]: Simplify 0 into 0 6.874 * [backup-simplify]: Simplify 1 into 1 6.875 * [backup-simplify]: Simplify (/ 1 1) into 1 6.875 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.875 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.876 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.876 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 6.876 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 6.876 * [taylor]: Taking taylor expansion of 2.0 in t 6.876 * [backup-simplify]: Simplify 2.0 into 2.0 6.876 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 6.876 * [taylor]: Taking taylor expansion of 2.0 in t 6.876 * [backup-simplify]: Simplify 2.0 into 2.0 6.876 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 6.876 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 6.876 * [taylor]: Taking taylor expansion of 1.0 in t 6.876 * [backup-simplify]: Simplify 1.0 into 1.0 6.876 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.876 * [taylor]: Taking taylor expansion of 1.0 in t 6.876 * [backup-simplify]: Simplify 1.0 into 1.0 6.876 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.876 * [taylor]: Taking taylor expansion of t in t 6.877 * [backup-simplify]: Simplify 0 into 0 6.877 * [backup-simplify]: Simplify 1 into 1 6.877 * [backup-simplify]: Simplify (/ 1 1) into 1 6.877 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.877 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.878 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.878 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 6.879 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.879 * [backup-simplify]: Simplify 2.0 into 2.0 6.879 * [backup-simplify]: Simplify (* 2.0 -1.0) into -2.0 6.879 * [backup-simplify]: Simplify (- -2.0) into 2.0 6.880 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.880 * [backup-simplify]: Simplify 2.0 into 2.0 6.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.880 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.881 * [backup-simplify]: Simplify (- 0) into 0 6.881 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.883 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 1.0 (- 1.0))))) into (- 1.0) 6.884 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 -1.0)) into (- 2.0) 6.885 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.885 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.885 * [backup-simplify]: Simplify 2.0 into 2.0 6.885 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.885 * * * [progress]: simplifying candidates 6.887 * [simplify]: Simplifying: (/ (exp 2.0) (exp (/ 2.0 (+ (* 1.0 t) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* 1.0 t) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0))) (* 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* 1.0 t) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* 1.0 t) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0))) (* 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* 1.0 t) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* 1.0 t) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0))) (* 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* 1.0 t) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* 1.0 t) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0))) (* 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* 1.0 t) 1.0)) (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* 1.0 t) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (+ (* 1.0 t) 1.0))) (- (/ 2.0 (+ (* 1.0 t) 1.0))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.888 * * [simplify]: iteration 0: 52 enodes 6.899 * * [simplify]: iteration 1: 121 enodes 6.966 * * [simplify]: iteration 2: 358 enodes 7.195 * * [simplify]: iteration 3: 1314 enodes 7.956 * * [simplify]: iteration complete: 5004 enodes 7.956 * * [simplify]: Extracting #0: cost 18 inf + 0 7.957 * * [simplify]: Extracting #1: cost 306 inf + 0 7.964 * * [simplify]: Extracting #2: cost 1400 inf + 878 7.982 * * [simplify]: Extracting #3: cost 1565 inf + 27635 8.023 * * [simplify]: Extracting #4: cost 871 inf + 159192 8.095 * * [simplify]: Extracting #5: cost 138 inf + 329891 8.191 * * [simplify]: Extracting #6: cost 4 inf + 377429 8.295 * * [simplify]: Extracting #7: cost 0 inf + 378490 8.386 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (* (* 2.0 2.0) 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (* (* 2.0 2.0) 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (* (* 2.0 2.0) 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (* (* 2.0 2.0) 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (/ 2.0 (+ 1.0 (* 1.0 t)))) (* t (+ (* t (* t 2.0)) (- 2.0 (* t 2.0)))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) (* t (+ (* t (* t 2.0)) (- 2.0 (* t 2.0)))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) (* t (+ (* t (* t 2.0)) (- 2.0 (* t 2.0)))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) (* t (+ (* t (* t 2.0)) (- 2.0 (* t 2.0)))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) (+ (/ (/ 2.0 t) t) (- 2.0 (/ 2.0 t))) 8.400 * * * [progress]: adding candidates to table 8.890 * [progress]: [Phase 3 of 3] Extracting. 8.890 * * [regime]: Finding splitpoints for: (# #) 8.891 * * * [regime-changes]: Trying 1 branch expressions: (t) 8.891 * * * * [regimes]: Trying to branch on t from (# #) 8.919 * * * [regime]: Found split indices: #