6.100 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying: (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) 0.022 * * [simplify]: Extracting # 0 : cost 0 0.022 * * [simplify]: Extracting # 1 : cost 0 0.022 * * [simplify]: Extracting # 2 : cost 0 0.022 * * [simplify]: Extracting # 3 : cost 0 0.022 * * [simplify]: Extracting # 4 : cost 0 0.022 * * [simplify]: Extracting # 5 : cost 0 0.022 * * [simplify]: Extracting # 6 : cost 0 0.022 * * [simplify]: Extracting # 7 : cost 0 0.022 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 0.026 * * [simplify]: Extracting # 0 : cost 0 0.026 * * [simplify]: Extracting # 1 : cost 0 0.026 * * [simplify]: Extracting # 2 : cost 0 0.026 * * [simplify]: iteration 1 : 20 enodes (cost 35 ) 0.034 * * [simplify]: Extracting # 0 : cost 0 0.034 * * [simplify]: Extracting # 1 : cost 0 0.034 * * [simplify]: Extracting # 2 : cost 0 0.035 * * [simplify]: iteration 2 : 46 enodes (cost 33 ) 0.072 * * [simplify]: Extracting # 0 : cost 0 0.072 * * [simplify]: Extracting # 1 : cost 0 0.072 * * [simplify]: Extracting # 2 : cost 0 0.073 * * [simplify]: iteration 3 : 119 enodes (cost 33 ) 0.144 * * [simplify]: Extracting # 0 : cost 0 0.144 * * [simplify]: Extracting # 1 : cost 0 0.145 * * [simplify]: Extracting # 2 : cost 0 0.145 * * [simplify]: iteration 4 : 313 enodes (cost 33 ) 0.403 * * [simplify]: Extracting # 0 : cost 0 0.405 * * [simplify]: Extracting # 1 : cost 0 0.406 * * [simplify]: Extracting # 2 : cost 0 0.406 * * [simplify]: Extracting # 3 : cost 0 0.407 * * [simplify]: Extracting # 4 : cost 0 0.408 * * [simplify]: iteration 5 : 564 enodes (cost 33 ) 0.711 * * [simplify]: Extracting # 0 : cost 0 0.712 * * [simplify]: Extracting # 1 : cost 0 0.718 * * [simplify]: Extracting # 2 : cost 0 0.719 * * [simplify]: iteration 6 : 766 enodes (cost 33 ) 1.097 * * [simplify]: Extracting # 0 : cost 0 1.098 * * [simplify]: Extracting # 1 : cost 0 1.099 * * [simplify]: Extracting # 2 : cost 0 1.100 * * [simplify]: Extracting # 3 : cost 0 1.100 * * [simplify]: iteration 7 : 1019 enodes (cost 33 ) 1.991 * * [simplify]: Extracting # 0 : cost 0 1.992 * * [simplify]: Extracting # 1 : cost 0 1.993 * * [simplify]: Extracting # 2 : cost 0 1.994 * * [simplify]: iteration 8 : 1447 enodes (cost 33 ) 5.609 * * [simplify]: Extracting # 0 : cost 0 5.619 * * [simplify]: Extracting # 1 : cost 0 5.628 * * [simplify]: Extracting # 2 : cost 0 5.636 * * [simplify]: iteration done: 5000 enodes (cost 33 ) 5.636 * [simplify]: Simplified to: (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 5.641 * * [progress]: iteration 1 / 4 5.641 * * * [progress]: picking best candidate 5.643 * * * * [pick]: Picked # 5.643 * * * [progress]: localizing error 5.662 * * * [progress]: generating rewritten candidates 5.662 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 5.662 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 5.668 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 5.668 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 5.702 * * * [progress]: generating series expansions 5.702 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 5.704 * [backup-simplify]: Simplify (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) into (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) 5.704 * [approximate]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in (t) around 0 5.706 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 5.708 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 5.709 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 5.709 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.709 * [taylor]: Taking taylor expansion of 2.0 in t 5.709 * [backup-simplify]: Simplify 2.0 into 2.0 5.709 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.709 * [taylor]: Taking taylor expansion of t in t 5.709 * [backup-simplify]: Simplify 0 into 0 5.709 * [backup-simplify]: Simplify 1 into 1 5.709 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.709 * [taylor]: Taking taylor expansion of t in t 5.709 * [backup-simplify]: Simplify 0 into 0 5.709 * [backup-simplify]: Simplify 1 into 1 5.709 * [taylor]: Taking taylor expansion of 1.0 in t 5.709 * [backup-simplify]: Simplify 1.0 into 1.0 5.711 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.711 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 5.711 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.711 * [taylor]: Taking taylor expansion of 2.0 in t 5.711 * [backup-simplify]: Simplify 2.0 into 2.0 5.711 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.711 * [taylor]: Taking taylor expansion of t in t 5.711 * [backup-simplify]: Simplify 0 into 0 5.711 * [backup-simplify]: Simplify 1 into 1 5.712 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.712 * [taylor]: Taking taylor expansion of t in t 5.712 * [backup-simplify]: Simplify 0 into 0 5.712 * [backup-simplify]: Simplify 1 into 1 5.712 * [taylor]: Taking taylor expansion of 1.0 in t 5.712 * [backup-simplify]: Simplify 1.0 into 1.0 5.712 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.713 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 5.713 * [taylor]: Taking taylor expansion of 1.0 in t 5.713 * [backup-simplify]: Simplify 1.0 into 1.0 5.713 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 5.713 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 5.713 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 5.713 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.713 * [taylor]: Taking taylor expansion of 2.0 in t 5.713 * [backup-simplify]: Simplify 2.0 into 2.0 5.713 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.713 * [taylor]: Taking taylor expansion of t in t 5.714 * [backup-simplify]: Simplify 0 into 0 5.714 * [backup-simplify]: Simplify 1 into 1 5.714 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.714 * [taylor]: Taking taylor expansion of t in t 5.714 * [backup-simplify]: Simplify 0 into 0 5.714 * [backup-simplify]: Simplify 1 into 1 5.714 * [taylor]: Taking taylor expansion of 1.0 in t 5.714 * [backup-simplify]: Simplify 1.0 into 1.0 5.715 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.715 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 5.715 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.715 * [taylor]: Taking taylor expansion of 2.0 in t 5.715 * [backup-simplify]: Simplify 2.0 into 2.0 5.715 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.715 * [taylor]: Taking taylor expansion of t in t 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify 1 into 1 5.715 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.716 * [taylor]: Taking taylor expansion of t in t 5.716 * [backup-simplify]: Simplify 0 into 0 5.716 * [backup-simplify]: Simplify 1 into 1 5.716 * [taylor]: Taking taylor expansion of 1.0 in t 5.716 * [backup-simplify]: Simplify 1.0 into 1.0 5.716 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.717 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 5.717 * [taylor]: Taking taylor expansion of 1.0 in t 5.717 * [backup-simplify]: Simplify 1.0 into 1.0 5.718 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.718 * [backup-simplify]: Simplify 1.0 into 1.0 5.719 * [backup-simplify]: Simplify (+ 0 0) into 0 5.719 * [backup-simplify]: Simplify 0 into 0 5.719 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 5.720 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 5.720 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0 5.721 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 5.721 * [backup-simplify]: Simplify 4.0 into 4.0 5.722 * [backup-simplify]: Simplify (+ 1 0) into 1 5.725 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0) 5.727 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 5.727 * [backup-simplify]: Simplify (+ 1 0) into 1 5.730 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0) 5.732 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 5.735 * [backup-simplify]: Simplify (+ (* 2.0 (- 2.0)) (* (- 2.0) 2.0)) into (- 8.0) 5.735 * [backup-simplify]: Simplify (+ (- 8.0) 0) into (- 8.0) 5.736 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)