33.253 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.021 * [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.021 * * [simplify]: Extracting # 0 : cost 0 0.021 * * [simplify]: Extracting # 1 : cost 0 0.021 * * [simplify]: Extracting # 2 : cost 0 0.021 * * [simplify]: Extracting # 3 : cost 0 0.021 * * [simplify]: Extracting # 4 : cost 0 0.021 * * [simplify]: Extracting # 5 : cost 0 0.021 * * [simplify]: Extracting # 6 : cost 0 0.021 * * [simplify]: Extracting # 7 : cost 0 0.021 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 0.023 * * [simplify]: Extracting # 0 : cost 0 0.023 * * [simplify]: Extracting # 1 : cost 0 0.023 * * [simplify]: Extracting # 2 : cost 0 0.023 * * [simplify]: iteration 1 : 20 enodes (cost 35 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 0.027 * * [simplify]: Extracting # 1 : cost 0 0.027 * * [simplify]: Extracting # 2 : cost 0 0.027 * * [simplify]: iteration 2 : 44 enodes (cost 35 ) 0.049 * * [simplify]: Extracting # 0 : cost 0 0.050 * * [simplify]: Extracting # 1 : cost 0 0.050 * * [simplify]: Extracting # 2 : cost 0 0.050 * * [simplify]: iteration 3 : 117 enodes (cost 35 ) 0.127 * * [simplify]: Extracting # 0 : cost 0 0.128 * * [simplify]: Extracting # 1 : cost 0 0.129 * * [simplify]: Extracting # 2 : cost 0 0.129 * * [simplify]: iteration 4 : 299 enodes (cost 35 ) 0.356 * * [simplify]: Extracting # 0 : cost 0 0.358 * * [simplify]: Extracting # 1 : cost 0 0.358 * * [simplify]: Extracting # 2 : cost 0 0.359 * * [simplify]: Extracting # 3 : cost 0 0.360 * * [simplify]: Extracting # 4 : cost 0 0.360 * * [simplify]: iteration 5 : 498 enodes (cost 35 ) 0.599 * * [simplify]: Extracting # 0 : cost 0 0.600 * * [simplify]: Extracting # 1 : cost 0 0.600 * * [simplify]: Extracting # 2 : cost 0 0.601 * * [simplify]: iteration 6 : 654 enodes (cost 35 ) 0.849 * * [simplify]: Extracting # 0 : cost 0 0.853 * * [simplify]: Extracting # 1 : cost 0 0.854 * * [simplify]: Extracting # 2 : cost 0 0.854 * * [simplify]: Extracting # 3 : cost 0 0.855 * * [simplify]: iteration 7 : 864 enodes (cost 35 ) 1.508 * * [simplify]: Extracting # 0 : cost 0 1.512 * * [simplify]: Extracting # 1 : cost 0 1.514 * * [simplify]: Extracting # 2 : cost 0 1.516 * * [simplify]: iteration 8 : 1159 enodes (cost 35 ) 5.042 * * [simplify]: Extracting # 0 : cost 0 5.047 * * [simplify]: Extracting # 1 : cost 0 5.051 * * [simplify]: Extracting # 2 : cost 0 5.055 * * [simplify]: iteration 9 : 4727 enodes (cost 35 ) 7.901 * * [simplify]: Extracting # 0 : cost 0 7.909 * * [simplify]: Extracting # 1 : cost 0 7.927 * * [simplify]: Extracting # 2 : cost 0 7.934 * * [simplify]: iteration done: 5001 enodes (cost 35 ) 7.934 * [simplify]: Simplified to: (/ (+ 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))))) 7.935 * * [progress]: iteration 1 / 4 7.935 * * * [progress]: picking best candidate 7.938 * * * * [pick]: Picked # 7.938 * * * [progress]: localizing error 7.956 * * * [progress]: generating rewritten candidates 7.956 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 7.974 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 8.003 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 8.043 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 8.065 * * * [progress]: generating series expansions 8.065 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 8.065 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0))) 8.065 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 8.065 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 8.065 * [taylor]: Taking taylor expansion of 2.0 in t 8.065 * [backup-simplify]: Simplify 2.0 into 2.0 8.065 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 8.065 * [taylor]: Taking taylor expansion of t in t 8.065 * [backup-simplify]: Simplify 0 into 0 8.065 * [backup-simplify]: Simplify 1 into 1 8.065 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.065 * [taylor]: Taking taylor expansion of t in t 8.065 * [backup-simplify]: Simplify 0 into 0 8.065 * [backup-simplify]: Simplify 1 into 1 8.065 * [taylor]: Taking taylor expansion of 1.0 in t 8.065 * [backup-simplify]: Simplify 1.0 into 1.0 8.066 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.066 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 8.066 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 8.066 * [taylor]: Taking taylor expansion of 2.0 in t 8.066 * [backup-simplify]: Simplify 2.0 into 2.0 8.066 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 8.066 * [taylor]: Taking taylor expansion of t in t 8.066 * [backup-simplify]: Simplify 0 into 0 8.066 * [backup-simplify]: Simplify 1 into 1 8.066 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.066 * [taylor]: Taking taylor expansion of t in t 8.066 * [backup-simplify]: Simplify 0 into 0 8.066 * [backup-simplify]: Simplify 1 into 1 8.066 * [taylor]: Taking taylor expansion of 1.0 in t 8.066 * [backup-simplify]: Simplify 1.0 into 1.0 8.066 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.067 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 8.067 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 8.067 * [backup-simplify]: Simplify 2.0 into 2.0 8.067 * [backup-simplify]: Simplify (+ 1 0) into 1 8.069 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0) 8.070 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 8.071 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 8.071 * [backup-simplify]: Simplify (+ 0 0) into 0 8.073 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0 8.075 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 8.075 * [backup-simplify]: Simplify 2.0 into 2.0 8.076 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 8.076 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0))) 8.076 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 8.076 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 8.076 * [taylor]: Taking taylor expansion of 2.0 in t 8.076 * [backup-simplify]: Simplify 2.0 into 2.0 8.076 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 8.076 * [taylor]: Taking taylor expansion of t in t 8.076 * [backup-simplify]: Simplify 0 into 0 8.076 * [backup-simplify]: Simplify 1 into 1 8.076 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.076 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.076 * [taylor]: Taking taylor expansion of t in t 8.076 * [backup-simplify]: Simplify 0 into 0 8.076 * [backup-simplify]: Simplify 1 into 1 8.076 * [backup-simplify]: Simplify (/ 1 1) into 1 8.076 * [taylor]: Taking taylor expansion of 1.0 in t 8.076 * [backup-simplify]: Simplify 1.0 into 1.0 8.077 * [backup-simplify]: Simplify (+ 1 0) into 1 8.077 * [backup-simplify]: Simplify (* 0 1) into 0 8.077 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.078 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.078 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 8.078 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 8.078 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 8.078 * [taylor]: Taking taylor expansion of 2.0 in t 8.078 * [backup-simplify]: Simplify 2.0 into 2.0 8.078 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 8.078 * [taylor]: Taking taylor expansion of t in t 8.078 * [backup-simplify]: Simplify 0 into 0 8.078 * [backup-simplify]: Simplify 1 into 1 8.078 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.078 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.078 * [taylor]: Taking taylor expansion of t in t 8.078 * [backup-simplify]: Simplify 0 into 0 8.079 * [backup-simplify]: Simplify 1 into 1 8.079 * [backup-simplify]: Simplify (/ 1 1) into 1 8.079 * [taylor]: Taking taylor expansion of 1.0 in t 8.079 * [backup-simplify]: Simplify 1.0 into 1.0 8.079 * [backup-simplify]: Simplify (+ 1 0) into 1 8.079 * [backup-simplify]: Simplify (* 0 1) into 0 8.080 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.080 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.080 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 8.081 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 8.081 * [backup-simplify]: Simplify 2.0 into 2.0 8.081 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.082 * [backup-simplify]: Simplify (+ 0 0) into 0 8.083 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0 8.085 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0) 8.086 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 8.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.087 * [backup-simplify]: Simplify (+ 0 0) into 0 8.089 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0 8.094 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0 8.094 * [backup-simplify]: Simplify 2.0 into 2.0 8.095 * [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))) 8.095 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t)))) 8.095 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 8.095 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 8.095 * [taylor]: Taking taylor expansion of -2.0 in t 8.095 * [backup-simplify]: Simplify -2.0 into -2.0 8.095 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 8.096 * [taylor]: Taking taylor expansion of t in t 8.096 * [backup-simplify]: Simplify 0 into 0 8.096 * [backup-simplify]: Simplify 1 into 1 8.096 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.096 * [taylor]: Taking taylor expansion of 1.0 in t 8.096 * [backup-simplify]: Simplify 1.0 into 1.0 8.096 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.096 * [taylor]: Taking taylor expansion of t in t 8.096 * [backup-simplify]: Simplify 0 into 0 8.096 * [backup-simplify]: Simplify 1 into 1 8.096 * [backup-simplify]: Simplify (/ 1 1) into 1 8.097 * [backup-simplify]: Simplify (- 1) into -1 8.097 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.097 * [backup-simplify]: Simplify (* 0 -1) into 0 8.098 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.098 * [backup-simplify]: Simplify (- 0) into 0 8.099 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 8.100 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 8.101 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 8.101 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 8.101 * [taylor]: Taking taylor expansion of -2.0 in t 8.101 * [backup-simplify]: Simplify -2.0 into -2.0 8.101 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 8.101 * [taylor]: Taking taylor expansion of t in t 8.101 * [backup-simplify]: Simplify 0 into 0 8.101 * [backup-simplify]: Simplify 1 into 1 8.101 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.101 * [taylor]: Taking taylor expansion of 1.0 in t 8.101 * [backup-simplify]: Simplify 1.0 into 1.0 8.101 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.101 * [taylor]: Taking taylor expansion of t in t 8.101 * [backup-simplify]: Simplify 0 into 0 8.101 * [backup-simplify]: Simplify 1 into 1 8.101 * [backup-simplify]: Simplify (/ 1 1) into 1 8.102 * [backup-simplify]: Simplify (- 1) into -1 8.102 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.103 * [backup-simplify]: Simplify (* 0 -1) into 0 8.103 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.104 * [backup-simplify]: Simplify (- 0) into 0 8.104 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 8.105 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 8.105 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 8.105 * [backup-simplify]: Simplify 2.0 into 2.0 8.106 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.107 * [backup-simplify]: Simplify (- 0) into 0 8.107 * [backup-simplify]: Simplify (+ 0 0) into 0 8.110 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0 8.113 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0 8.113 * [backup-simplify]: Simplify 2.0 into 2.0 8.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.114 * [backup-simplify]: Simplify (- 0) into 0 8.115 * [backup-simplify]: Simplify (+ 0 0) into 0 8.116 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0 8.120 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0 8.120 * [backup-simplify]: Simplify 2.0 into 2.0 8.121 * [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))) 8.121 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 8.121 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0))) 8.121 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 8.121 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 8.121 * [taylor]: Taking taylor expansion of 2.0 in t 8.121 * [backup-simplify]: Simplify 2.0 into 2.0 8.121 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 8.121 * [taylor]: Taking taylor expansion of t in t 8.121 * [backup-simplify]: Simplify 0 into 0 8.121 * [backup-simplify]: Simplify 1 into 1 8.121 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.121 * [taylor]: Taking taylor expansion of t in t 8.122 * [backup-simplify]: Simplify 0 into 0 8.122 * [backup-simplify]: Simplify 1 into 1 8.122 * [taylor]: Taking taylor expansion of 1.0 in t 8.122 * [backup-simplify]: Simplify 1.0 into 1.0 8.122 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.123 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 8.123 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 8.123 * [taylor]: Taking taylor expansion of 2.0 in t 8.123 * [backup-simplify]: Simplify 2.0 into 2.0 8.123 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 8.123 * [taylor]: Taking taylor expansion of t in t 8.123 * [backup-simplify]: Simplify 0 into 0 8.123 * [backup-simplify]: Simplify 1 into 1 8.123 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.123 * [taylor]: Taking taylor expansion of t in t 8.123 * [backup-simplify]: Simplify 0 into 0 8.123 * [backup-simplify]: Simplify 1 into 1 8.123 * [taylor]: Taking taylor expansion of 1.0 in t 8.123 * [backup-simplify]: Simplify 1.0 into 1.0 8.123 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.124 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 8.124 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 8.124 * [backup-simplify]: Simplify 2.0 into 2.0 8.125 * [backup-simplify]: Simplify (+ 1 0) into 1 8.128 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0) 8.134 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 8.135 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 8.135 * [backup-simplify]: Simplify (+ 0 0) into 0 8.140 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0 8.142 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 8.142 * [backup-simplify]: Simplify 2.0 into 2.0 8.143 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 8.143 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0))) 8.143 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 8.143 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 8.144 * [taylor]: Taking taylor expansion of 2.0 in t 8.144 * [backup-simplify]: Simplify 2.0 into 2.0 8.144 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 8.144 * [taylor]: Taking taylor expansion of t in t 8.144 * [backup-simplify]: Simplify 0 into 0 8.144 * [backup-simplify]: Simplify 1 into 1 8.144 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.144 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.144 * [taylor]: Taking taylor expansion of t in t 8.144 * [backup-simplify]: Simplify 0 into 0 8.144 * [backup-simplify]: Simplify 1 into 1 8.144 * [backup-simplify]: Simplify (/ 1 1) into 1 8.144 * [taylor]: Taking taylor expansion of 1.0 in t 8.144 * [backup-simplify]: Simplify 1.0 into 1.0 8.145 * [backup-simplify]: Simplify (+ 1 0) into 1 8.145 * [backup-simplify]: Simplify (* 0 1) into 0 8.146 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.146 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.147 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 8.147 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 8.148 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 8.148 * [taylor]: Taking taylor expansion of 2.0 in t 8.148 * [backup-simplify]: Simplify 2.0 into 2.0 8.148 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 8.148 * [taylor]: Taking taylor expansion of t in t 8.148 * [backup-simplify]: Simplify 0 into 0 8.148 * [backup-simplify]: Simplify 1 into 1 8.148 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.148 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.148 * [taylor]: Taking taylor expansion of t in t 8.148 * [backup-simplify]: Simplify 0 into 0 8.148 * [backup-simplify]: Simplify 1 into 1 8.148 * [backup-simplify]: Simplify (/ 1 1) into 1 8.148 * [taylor]: Taking taylor expansion of 1.0 in t 8.148 * [backup-simplify]: Simplify 1.0 into 1.0 8.149 * [backup-simplify]: Simplify (+ 1 0) into 1 8.149 * [backup-simplify]: Simplify (* 0 1) into 0 8.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.151 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.151 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 8.152 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 8.152 * [backup-simplify]: Simplify 2.0 into 2.0 8.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.153 * [backup-simplify]: Simplify (+ 0 0) into 0 8.156 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0 8.159 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0) 8.160 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 8.161 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.161 * [backup-simplify]: Simplify (+ 0 0) into 0 8.162 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0 8.168 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0 8.168 * [backup-simplify]: Simplify 2.0 into 2.0 8.169 * [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))) 8.170 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t)))) 8.170 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 8.170 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 8.170 * [taylor]: Taking taylor expansion of -2.0 in t 8.170 * [backup-simplify]: Simplify -2.0 into -2.0 8.170 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 8.170 * [taylor]: Taking taylor expansion of t in t 8.170 * [backup-simplify]: Simplify 0 into 0 8.170 * [backup-simplify]: Simplify 1 into 1 8.170 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.170 * [taylor]: Taking taylor expansion of 1.0 in t 8.170 * [backup-simplify]: Simplify 1.0 into 1.0 8.170 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.170 * [taylor]: Taking taylor expansion of t in t 8.170 * [backup-simplify]: Simplify 0 into 0 8.170 * [backup-simplify]: Simplify 1 into 1 8.170 * [backup-simplify]: Simplify (/ 1 1) into 1 8.171 * [backup-simplify]: Simplify (- 1) into -1 8.171 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.172 * [backup-simplify]: Simplify (* 0 -1) into 0 8.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.173 * [backup-simplify]: Simplify (- 0) into 0 8.173 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 8.174 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 8.174 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 8.174 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 8.174 * [taylor]: Taking taylor expansion of -2.0 in t 8.175 * [backup-simplify]: Simplify -2.0 into -2.0 8.175 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 8.175 * [taylor]: Taking taylor expansion of t in t 8.175 * [backup-simplify]: Simplify 0 into 0 8.175 * [backup-simplify]: Simplify 1 into 1 8.175 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.175 * [taylor]: Taking taylor expansion of 1.0 in t 8.175 * [backup-simplify]: Simplify 1.0 into 1.0 8.175 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.175 * [taylor]: Taking taylor expansion of t in t 8.175 * [backup-simplify]: Simplify 0 into 0 8.175 * [backup-simplify]: Simplify 1 into 1 8.175 * [backup-simplify]: Simplify (/ 1 1) into 1 8.176 * [backup-simplify]: Simplify (- 1) into -1 8.176 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.176 * [backup-simplify]: Simplify (* 0 -1) into 0 8.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.178 * [backup-simplify]: Simplify (- 0) into 0 8.178 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 8.179 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 8.179 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 8.179 * [backup-simplify]: Simplify 2.0 into 2.0 8.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.181 * [backup-simplify]: Simplify (- 0) into 0 8.181 * [backup-simplify]: Simplify (+ 0 0) into 0 8.184 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0 8.187 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0 8.187 * [backup-simplify]: Simplify 2.0 into 2.0 8.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.188 * [backup-simplify]: Simplify (- 0) into 0 8.189 * [backup-simplify]: Simplify (+ 0 0) into 0 8.190 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0 8.194 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0 8.194 * [backup-simplify]: Simplify 2.0 into 2.0 8.195 * [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))) 8.195 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 8.195 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0))) 8.195 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 8.195 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 8.195 * [taylor]: Taking taylor expansion of 2.0 in t 8.195 * [backup-simplify]: Simplify 2.0 into 2.0 8.195 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 8.195 * [taylor]: Taking taylor expansion of t in t 8.195 * [backup-simplify]: Simplify 0 into 0 8.195 * [backup-simplify]: Simplify 1 into 1 8.195 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.195 * [taylor]: Taking taylor expansion of t in t 8.195 * [backup-simplify]: Simplify 0 into 0 8.195 * [backup-simplify]: Simplify 1 into 1 8.196 * [taylor]: Taking taylor expansion of 1.0 in t 8.196 * [backup-simplify]: Simplify 1.0 into 1.0 8.196 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.196 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 8.196 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 8.197 * [taylor]: Taking taylor expansion of 2.0 in t 8.197 * [backup-simplify]: Simplify 2.0 into 2.0 8.197 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 8.197 * [taylor]: Taking taylor expansion of t in t 8.197 * [backup-simplify]: Simplify 0 into 0 8.197 * [backup-simplify]: Simplify 1 into 1 8.197 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.197 * [taylor]: Taking taylor expansion of t in t 8.197 * [backup-simplify]: Simplify 0 into 0 8.197 * [backup-simplify]: Simplify 1 into 1 8.197 * [taylor]: Taking taylor expansion of 1.0 in t 8.197 * [backup-simplify]: Simplify 1.0 into 1.0 8.197 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.198 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 8.198 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 8.198 * [backup-simplify]: Simplify 2.0 into 2.0 8.199 * [backup-simplify]: Simplify (+ 1 0) into 1 8.202 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0) 8.204 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 8.204 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 8.204 * [backup-simplify]: Simplify (+ 0 0) into 0 8.209 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0 8.211 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 8.211 * [backup-simplify]: Simplify 2.0 into 2.0 8.212 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 8.212 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0))) 8.212 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 8.212 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 8.212 * [taylor]: Taking taylor expansion of 2.0 in t 8.212 * [backup-simplify]: Simplify 2.0 into 2.0 8.212 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 8.212 * [taylor]: Taking taylor expansion of t in t 8.213 * [backup-simplify]: Simplify 0 into 0 8.213 * [backup-simplify]: Simplify 1 into 1 8.213 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.213 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.213 * [taylor]: Taking taylor expansion of t in t 8.213 * [backup-simplify]: Simplify 0 into 0 8.213 * [backup-simplify]: Simplify 1 into 1 8.213 * [backup-simplify]: Simplify (/ 1 1) into 1 8.213 * [taylor]: Taking taylor expansion of 1.0 in t 8.213 * [backup-simplify]: Simplify 1.0 into 1.0 8.214 * [backup-simplify]: Simplify (+ 1 0) into 1 8.214 * [backup-simplify]: Simplify (* 0 1) into 0 8.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.215 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.216 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 8.216 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 8.216 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 8.216 * [taylor]: Taking taylor expansion of 2.0 in t 8.216 * [backup-simplify]: Simplify 2.0 into 2.0 8.216 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 8.216 * [taylor]: Taking taylor expansion of t in t 8.216 * [backup-simplify]: Simplify 0 into 0 8.217 * [backup-simplify]: Simplify 1 into 1 8.217 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.217 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.217 * [taylor]: Taking taylor expansion of t in t 8.217 * [backup-simplify]: Simplify 0 into 0 8.217 * [backup-simplify]: Simplify 1 into 1 8.217 * [backup-simplify]: Simplify (/ 1 1) into 1 8.217 * [taylor]: Taking taylor expansion of 1.0 in t 8.217 * [backup-simplify]: Simplify 1.0 into 1.0 8.218 * [backup-simplify]: Simplify (+ 1 0) into 1 8.218 * [backup-simplify]: Simplify (* 0 1) into 0 8.219 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.219 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.220 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 8.221 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 8.221 * [backup-simplify]: Simplify 2.0 into 2.0 8.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.222 * [backup-simplify]: Simplify (+ 0 0) into 0 8.225 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0 8.228 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0) 8.228 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 8.229 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.230 * [backup-simplify]: Simplify (+ 0 0) into 0 8.231 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0 8.235 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0 8.236 * [backup-simplify]: Simplify 2.0 into 2.0 8.236 * [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))) 8.237 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t)))) 8.237 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 8.237 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 8.237 * [taylor]: Taking taylor expansion of -2.0 in t 8.237 * [backup-simplify]: Simplify -2.0 into -2.0 8.237 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 8.237 * [taylor]: Taking taylor expansion of t in t 8.237 * [backup-simplify]: Simplify 0 into 0 8.237 * [backup-simplify]: Simplify 1 into 1 8.237 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.237 * [taylor]: Taking taylor expansion of 1.0 in t 8.237 * [backup-simplify]: Simplify 1.0 into 1.0 8.237 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.237 * [taylor]: Taking taylor expansion of t in t 8.237 * [backup-simplify]: Simplify 0 into 0 8.237 * [backup-simplify]: Simplify 1 into 1 8.238 * [backup-simplify]: Simplify (/ 1 1) into 1 8.238 * [backup-simplify]: Simplify (- 1) into -1 8.238 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.239 * [backup-simplify]: Simplify (* 0 -1) into 0 8.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.240 * [backup-simplify]: Simplify (- 0) into 0 8.240 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 8.241 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 8.242 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 8.242 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 8.242 * [taylor]: Taking taylor expansion of -2.0 in t 8.242 * [backup-simplify]: Simplify -2.0 into -2.0 8.242 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 8.242 * [taylor]: Taking taylor expansion of t in t 8.242 * [backup-simplify]: Simplify 0 into 0 8.242 * [backup-simplify]: Simplify 1 into 1 8.242 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.242 * [taylor]: Taking taylor expansion of 1.0 in t 8.242 * [backup-simplify]: Simplify 1.0 into 1.0 8.242 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.242 * [taylor]: Taking taylor expansion of t in t 8.242 * [backup-simplify]: Simplify 0 into 0 8.242 * [backup-simplify]: Simplify 1 into 1 8.243 * [backup-simplify]: Simplify (/ 1 1) into 1 8.243 * [backup-simplify]: Simplify (- 1) into -1 8.243 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.244 * [backup-simplify]: Simplify (* 0 -1) into 0 8.245 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.245 * [backup-simplify]: Simplify (- 0) into 0 8.246 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 8.246 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 8.247 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 8.247 * [backup-simplify]: Simplify 2.0 into 2.0 8.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.248 * [backup-simplify]: Simplify (- 0) into 0 8.249 * [backup-simplify]: Simplify (+ 0 0) into 0 8.252 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0 8.255 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0 8.255 * [backup-simplify]: Simplify 2.0 into 2.0 8.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.257 * [backup-simplify]: Simplify (- 0) into 0 8.257 * [backup-simplify]: Simplify (+ 0 0) into 0 8.258 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0 8.263 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0 8.263 * [backup-simplify]: Simplify 2.0 into 2.0 8.263 * [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))) 8.263 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 8.263 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0))) 8.264 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 8.264 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 8.264 * [taylor]: Taking taylor expansion of 2.0 in t 8.264 * [backup-simplify]: Simplify 2.0 into 2.0 8.264 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 8.264 * [taylor]: Taking taylor expansion of t in t 8.264 * [backup-simplify]: Simplify 0 into 0 8.264 * [backup-simplify]: Simplify 1 into 1 8.264 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.264 * [taylor]: Taking taylor expansion of t in t 8.264 * [backup-simplify]: Simplify 0 into 0 8.264 * [backup-simplify]: Simplify 1 into 1 8.264 * [taylor]: Taking taylor expansion of 1.0 in t 8.264 * [backup-simplify]: Simplify 1.0 into 1.0 8.264 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.265 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 8.265 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 8.265 * [taylor]: Taking taylor expansion of 2.0 in t 8.265 * [backup-simplify]: Simplify 2.0 into 2.0 8.265 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 8.265 * [taylor]: Taking taylor expansion of t in t 8.265 * [backup-simplify]: Simplify 0 into 0 8.265 * [backup-simplify]: Simplify 1 into 1 8.265 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.265 * [taylor]: Taking taylor expansion of t in t 8.265 * [backup-simplify]: Simplify 0 into 0 8.265 * [backup-simplify]: Simplify 1 into 1 8.265 * [taylor]: Taking taylor expansion of 1.0 in t 8.265 * [backup-simplify]: Simplify 1.0 into 1.0 8.266 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.266 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 8.267 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 8.267 * [backup-simplify]: Simplify 2.0 into 2.0 8.267 * [backup-simplify]: Simplify (+ 1 0) into 1 8.271 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0) 8.274 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 8.274 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 8.275 * [backup-simplify]: Simplify (+ 0 0) into 0 8.279 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0 8.285 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 8.285 * [backup-simplify]: Simplify 2.0 into 2.0 8.286 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 8.286 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0))) 8.286 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 8.286 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 8.286 * [taylor]: Taking taylor expansion of 2.0 in t 8.286 * [backup-simplify]: Simplify 2.0 into 2.0 8.286 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 8.287 * [taylor]: Taking taylor expansion of t in t 8.287 * [backup-simplify]: Simplify 0 into 0 8.287 * [backup-simplify]: Simplify 1 into 1 8.287 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.287 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.287 * [taylor]: Taking taylor expansion of t in t 8.287 * [backup-simplify]: Simplify 0 into 0 8.287 * [backup-simplify]: Simplify 1 into 1 8.287 * [backup-simplify]: Simplify (/ 1 1) into 1 8.287 * [taylor]: Taking taylor expansion of 1.0 in t 8.287 * [backup-simplify]: Simplify 1.0 into 1.0 8.288 * [backup-simplify]: Simplify (+ 1 0) into 1 8.288 * [backup-simplify]: Simplify (* 0 1) into 0 8.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.290 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.290 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 8.291 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 8.291 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 8.291 * [taylor]: Taking taylor expansion of 2.0 in t 8.291 * [backup-simplify]: Simplify 2.0 into 2.0 8.291 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 8.291 * [taylor]: Taking taylor expansion of t in t 8.291 * [backup-simplify]: Simplify 0 into 0 8.291 * [backup-simplify]: Simplify 1 into 1 8.291 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.291 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.291 * [taylor]: Taking taylor expansion of t in t 8.291 * [backup-simplify]: Simplify 0 into 0 8.291 * [backup-simplify]: Simplify 1 into 1 8.292 * [backup-simplify]: Simplify (/ 1 1) into 1 8.292 * [taylor]: Taking taylor expansion of 1.0 in t 8.292 * [backup-simplify]: Simplify 1.0 into 1.0 8.292 * [backup-simplify]: Simplify (+ 1 0) into 1 8.293 * [backup-simplify]: Simplify (* 0 1) into 0 8.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.294 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.295 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 8.295 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 8.295 * [backup-simplify]: Simplify 2.0 into 2.0 8.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.296 * [backup-simplify]: Simplify (+ 0 0) into 0 8.299 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0 8.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0) 8.303 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 8.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.304 * [backup-simplify]: Simplify (+ 0 0) into 0 8.306 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0 8.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0 8.312 * [backup-simplify]: Simplify 2.0 into 2.0 8.313 * [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))) 8.313 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t)))) 8.313 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 8.313 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 8.313 * [taylor]: Taking taylor expansion of -2.0 in t 8.313 * [backup-simplify]: Simplify -2.0 into -2.0 8.313 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 8.313 * [taylor]: Taking taylor expansion of t in t 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify 1 into 1 8.313 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.313 * [taylor]: Taking taylor expansion of 1.0 in t 8.313 * [backup-simplify]: Simplify 1.0 into 1.0 8.313 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.313 * [taylor]: Taking taylor expansion of t in t 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify 1 into 1 8.314 * [backup-simplify]: Simplify (/ 1 1) into 1 8.314 * [backup-simplify]: Simplify (- 1) into -1 8.315 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.315 * [backup-simplify]: Simplify (* 0 -1) into 0 8.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.316 * [backup-simplify]: Simplify (- 0) into 0 8.317 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 8.317 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 8.318 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 8.318 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 8.318 * [taylor]: Taking taylor expansion of -2.0 in t 8.318 * [backup-simplify]: Simplify -2.0 into -2.0 8.318 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 8.318 * [taylor]: Taking taylor expansion of t in t 8.318 * [backup-simplify]: Simplify 0 into 0 8.318 * [backup-simplify]: Simplify 1 into 1 8.318 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.318 * [taylor]: Taking taylor expansion of 1.0 in t 8.318 * [backup-simplify]: Simplify 1.0 into 1.0 8.318 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.318 * [taylor]: Taking taylor expansion of t in t 8.318 * [backup-simplify]: Simplify 0 into 0 8.318 * [backup-simplify]: Simplify 1 into 1 8.319 * [backup-simplify]: Simplify (/ 1 1) into 1 8.319 * [backup-simplify]: Simplify (- 1) into -1 8.319 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.320 * [backup-simplify]: Simplify (* 0 -1) into 0 8.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.321 * [backup-simplify]: Simplify (- 0) into 0 8.321 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 8.322 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 8.323 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 8.323 * [backup-simplify]: Simplify 2.0 into 2.0 8.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.324 * [backup-simplify]: Simplify (- 0) into 0 8.324 * [backup-simplify]: Simplify (+ 0 0) into 0 8.327 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0 8.331 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0 8.331 * [backup-simplify]: Simplify 2.0 into 2.0 8.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.332 * [backup-simplify]: Simplify (- 0) into 0 8.332 * [backup-simplify]: Simplify (+ 0 0) into 0 8.334 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0 8.338 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0 8.338 * [backup-simplify]: Simplify 2.0 into 2.0 8.338 * [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))) 8.339 * * * [progress]: simplifying candidates 8.342 * [simplify]: Simplifying: (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 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 (pow t 3)) (* 2.0 t)) (* 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 (pow t 3)) (* 2.0 t)) (* 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 (pow t 3)) (* 2.0 t)) (* 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))) 8.345 * * [simplify]: Extracting # 0 : cost 0 8.345 * * [simplify]: Extracting # 1 : cost 0 8.346 * * [simplify]: Extracting # 2 : cost 0 8.346 * * [simplify]: Extracting # 3 : cost 0 8.346 * * [simplify]: Extracting # 4 : cost 0 8.346 * * [simplify]: Extracting # 5 : cost 0 8.346 * * [simplify]: Extracting # 6 : cost 0 8.346 * * [simplify]: Extracting # 7 : cost 0 8.347 * * [simplify]: iteration 0 : 69 enodes (cost 1252 ) 8.381 * * [simplify]: Extracting # 0 : cost 0 8.381 * * [simplify]: Extracting # 1 : cost 0 8.382 * * [simplify]: Extracting # 2 : cost 0 8.382 * * [simplify]: Extracting # 3 : cost 0 8.383 * * [simplify]: iteration 1 : 183 enodes (cost 1192 ) 8.514 * * [simplify]: Extracting # 0 : cost 0 8.520 * * [simplify]: Extracting # 1 : cost 0 8.521 * * [simplify]: Extracting # 2 : cost 0 8.522 * * [simplify]: Extracting # 3 : cost 0 8.523 * * [simplify]: iteration 2 : 615 enodes (cost 1000 ) 9.240 * * [simplify]: Extracting # 0 : cost 0 9.246 * * [simplify]: Extracting # 1 : cost 0 9.250 * * [simplify]: Extracting # 2 : cost 0 9.255 * * [simplify]: Extracting # 3 : cost 0 9.260 * * [simplify]: Extracting # 4 : cost 0 9.264 * * [simplify]: iteration 3 : 2404 enodes (cost 992 ) 11.308 * * [simplify]: Extracting # 0 : cost 0 11.324 * * [simplify]: Extracting # 1 : cost 0 11.336 * * [simplify]: Extracting # 2 : cost 0 11.350 * * [simplify]: iteration done: 5001 enodes (cost 992 ) 11.350 * [simplify]: Simplified to: (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) 2.0 (/ t (+ 1.0 t)) 2.0 (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (* 2.0 t) (* 2.0 t) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) 2.0 (/ t (+ 1.0 t)) 2.0 (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (* 2.0 t) (* 2.0 t) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) 2.0 (/ t (+ 1.0 t)) 2.0 (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (* 2.0 t) (* 2.0 t) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) 2.0 (/ t (+ 1.0 t)) 2.0 (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (* 2.0 t) (* 2.0 t) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (* 2.0 (+ (pow t 3) (- t (* t t)))) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (* 2.0 (+ (pow t 3) (- t (* t t)))) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (* 2.0 (+ (pow t 3) (- t (* t t)))) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (* 2.0 (+ (pow t 3) (- t (* t t)))) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) 11.351 * * * [progress]: adding candidates to table 11.643 * [progress]: [Phase 3 of 3] Extracting. 11.644 * [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))))) 11.644 * * [simplify]: Extracting # 0 : cost 0 11.644 * * [simplify]: Extracting # 1 : cost 0 11.645 * * [simplify]: Extracting # 2 : cost 0 11.645 * * [simplify]: Extracting # 3 : cost 0 11.645 * * [simplify]: Extracting # 4 : cost 0 11.645 * * [simplify]: Extracting # 5 : cost 0 11.645 * * [simplify]: Extracting # 6 : cost 0 11.645 * * [simplify]: Extracting # 7 : cost 0 11.645 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 11.645 * * [simplify]: Extracting # 0 : cost 0 11.645 * * [simplify]: iteration 1 : 14 enodes (cost 35 ) 11.646 * * [simplify]: Extracting # 0 : cost 0 11.646 * * [simplify]: iteration done: 14 enodes (cost 35 ) 11.646 * [simplify]: Simplified to: (/ (+ 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))))) 12.889 * [regime-testing]: Baseline error score: 0.056632079009876234 12.891 * [regime-testing]: Oracle error score: 0.056632079009876234 12.891 * [regime-testing]: End program error score: 0.056632079009876234