17.531 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying: (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) 0.018 * [simplify]: Sending expressions to egg_math: (* h3 (+ (- (* (* h2 h3) h2) (* h2 h1)) h0)) 0.021 * * [simplify]: iteration 0 : 26 enodes (cost 6 ) 0.022 * * [simplify]: iteration 1 : 55 enodes (cost 6 ) 0.025 * * [simplify]: iteration 2 : 122 enodes (cost 6 ) 0.028 * * [simplify]: iteration 3 : 205 enodes (cost 6 ) 0.032 * * [simplify]: iteration 4 : 253 enodes (cost 5 ) 0.036 * * [simplify]: iteration 5 : 307 enodes (cost 5 ) 0.041 * * [simplify]: iteration 6 : 363 enodes (cost 5 ) 0.047 * * [simplify]: iteration 7 : 498 enodes (cost 5 ) 0.055 * * [simplify]: iteration 8 : 911 enodes (cost 5 ) 0.066 * * [simplify]: iteration 9 : 1187 enodes (cost 5 ) 0.078 * * [simplify]: iteration 10 : 1188 enodes (cost 5 ) 0.089 * * [simplify]: iteration 11 : 1188 enodes (cost 5 ) 0.092 * * [progress]: iteration 1 / 4 0.092 * * * [progress]: picking best candidate 0.094 * * * * [pick]: Picked # 0.094 * * * [progress]: localizing error 0.104 * * * [progress]: generating rewritten candidates 0.104 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.120 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 0.148 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 2) 0.157 * * * [progress]: generating series expansions 0.157 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.158 * [backup-simplify]: Simplify (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))) into (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) 0.158 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in (x) around 0 0.158 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x 0.158 * [taylor]: Taking taylor expansion of 3.0 in x 0.158 * [backup-simplify]: Simplify 3.0 into 3.0 0.158 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x 0.158 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x 0.158 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 0.158 * [taylor]: Taking taylor expansion of 3.0 in x 0.158 * [backup-simplify]: Simplify 3.0 into 3.0 0.158 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify 1 into 1 0.158 * [taylor]: Taking taylor expansion of 1.0 in x 0.158 * [backup-simplify]: Simplify 1.0 into 1.0 0.158 * [taylor]: Taking taylor expansion of (* 4.0 x) in x 0.158 * [taylor]: Taking taylor expansion of 4.0 in x 0.158 * [backup-simplify]: Simplify 4.0 into 4.0 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify 1 into 1 0.158 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x 0.158 * [taylor]: Taking taylor expansion of 3.0 in x 0.158 * [backup-simplify]: Simplify 3.0 into 3.0 0.158 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x 0.158 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x 0.158 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 0.158 * [taylor]: Taking taylor expansion of 3.0 in x 0.158 * [backup-simplify]: Simplify 3.0 into 3.0 0.158 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify 1 into 1 0.158 * [taylor]: Taking taylor expansion of 1.0 in x 0.158 * [backup-simplify]: Simplify 1.0 into 1.0 0.158 * [taylor]: Taking taylor expansion of (* 4.0 x) in x 0.158 * [taylor]: Taking taylor expansion of 4.0 in x 0.158 * [backup-simplify]: Simplify 4.0 into 4.0 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify 1 into 1 0.159 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.159 * [backup-simplify]: Simplify (* 4.0 0) into 0 0.159 * [backup-simplify]: Simplify (- 0) into 0 0.162 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.163 * [backup-simplify]: Simplify (* 3.0 1.0) into 3.0 0.163 * [backup-simplify]: Simplify 3.0 into 3.0 0.163 * [backup-simplify]: Simplify (+ 0 0) into 0 0.164 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 0.164 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.165 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0) 0.166 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 1.0)) into (- 12.0) 0.166 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.166 * [backup-simplify]: Simplify (* 1 1) into 1 0.166 * [backup-simplify]: Simplify (* 3.0 1) into 3.0 0.167 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 0.167 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0 0.167 * [backup-simplify]: Simplify (- 0) into 0 0.168 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 0.169 * [backup-simplify]: Simplify (+ (* 3.0 3.0) (+ (* 0 (- 4.0)) (* 0 1.0))) into 9.0 0.169 * [backup-simplify]: Simplify 9.0 into 9.0 0.169 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (+ (* (- 12.0) x) 3.0)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) 0.169 * [backup-simplify]: Simplify (* 3.0 (+ 1.0 (* (/ 1 x) (- (* (/ 1 x) 3.0) 4.0)))) into (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) 0.169 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in (x) around 0 0.169 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x 0.170 * [taylor]: Taking taylor expansion of 3.0 in x 0.170 * [backup-simplify]: Simplify 3.0 into 3.0 0.170 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x 0.170 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x 0.170 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x 0.170 * [taylor]: Taking taylor expansion of 3.0 in x 0.170 * [backup-simplify]: Simplify 3.0 into 3.0 0.170 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.170 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.170 * [taylor]: Taking taylor expansion of x in x 0.170 * [backup-simplify]: Simplify 0 into 0 0.170 * [backup-simplify]: Simplify 1 into 1 0.170 * [backup-simplify]: Simplify (* 1 1) into 1 0.170 * [backup-simplify]: Simplify (/ 1 1) into 1 0.170 * [taylor]: Taking taylor expansion of 1.0 in x 0.170 * [backup-simplify]: Simplify 1.0 into 1.0 0.170 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x 0.170 * [taylor]: Taking taylor expansion of 4.0 in x 0.170 * [backup-simplify]: Simplify 4.0 into 4.0 0.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.170 * [taylor]: Taking taylor expansion of x in x 0.170 * [backup-simplify]: Simplify 0 into 0 0.170 * [backup-simplify]: Simplify 1 into 1 0.170 * [backup-simplify]: Simplify (/ 1 1) into 1 0.171 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x 0.171 * [taylor]: Taking taylor expansion of 3.0 in x 0.171 * [backup-simplify]: Simplify 3.0 into 3.0 0.171 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x 0.171 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x 0.171 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x 0.171 * [taylor]: Taking taylor expansion of 3.0 in x 0.171 * [backup-simplify]: Simplify 3.0 into 3.0 0.171 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.171 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.171 * [taylor]: Taking taylor expansion of x in x 0.171 * [backup-simplify]: Simplify 0 into 0 0.171 * [backup-simplify]: Simplify 1 into 1 0.171 * [backup-simplify]: Simplify (* 1 1) into 1 0.171 * [backup-simplify]: Simplify (/ 1 1) into 1 0.171 * [taylor]: Taking taylor expansion of 1.0 in x 0.171 * [backup-simplify]: Simplify 1.0 into 1.0 0.171 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x 0.171 * [taylor]: Taking taylor expansion of 4.0 in x 0.171 * [backup-simplify]: Simplify 4.0 into 4.0 0.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.171 * [taylor]: Taking taylor expansion of x in x 0.171 * [backup-simplify]: Simplify 0 into 0 0.171 * [backup-simplify]: Simplify 1 into 1 0.171 * [backup-simplify]: Simplify (/ 1 1) into 1 0.172 * [backup-simplify]: Simplify (* 3.0 1) into 3.0 0.172 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 0.172 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 0.172 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0 0.173 * [backup-simplify]: Simplify 9.0 into 9.0 0.173 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.174 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0 0.174 * [backup-simplify]: Simplify (+ 0 0) into 0 0.174 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 0.175 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.175 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0) 0.176 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 3.0)) into (- 12.0) 0.176 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.178 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0 0.178 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.179 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 0.179 * [backup-simplify]: Simplify (- 0) into 0 0.179 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.180 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 (- 4.0)) (* 0 3.0))) into 3.0 0.180 * [backup-simplify]: Simplify 3.0 into 3.0 0.181 * [backup-simplify]: Simplify (+ 3.0 (+ (* (- 12.0) (/ 1 (/ 1 x))) (* 9.0 (pow (/ 1 (/ 1 x)) 2)))) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) 0.181 * [backup-simplify]: Simplify (* 3.0 (+ 1.0 (* (/ 1 (- x)) (- (* (/ 1 (- x)) 3.0) 4.0)))) into (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) 0.181 * [approximate]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in (x) around 0 0.181 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x 0.181 * [taylor]: Taking taylor expansion of 3.0 in x 0.181 * [backup-simplify]: Simplify 3.0 into 3.0 0.181 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x 0.181 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x 0.181 * [taylor]: Taking taylor expansion of 3.0 in x 0.181 * [backup-simplify]: Simplify 3.0 into 3.0 0.181 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.181 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.181 * [taylor]: Taking taylor expansion of x in x 0.181 * [backup-simplify]: Simplify 0 into 0 0.181 * [backup-simplify]: Simplify 1 into 1 0.182 * [backup-simplify]: Simplify (* 1 1) into 1 0.182 * [backup-simplify]: Simplify (/ 1 1) into 1 0.182 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x 0.182 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x 0.182 * [taylor]: Taking taylor expansion of 4.0 in x 0.182 * [backup-simplify]: Simplify 4.0 into 4.0 0.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify 1 into 1 0.182 * [backup-simplify]: Simplify (/ 1 1) into 1 0.182 * [taylor]: Taking taylor expansion of 1.0 in x 0.182 * [backup-simplify]: Simplify 1.0 into 1.0 0.182 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x 0.182 * [taylor]: Taking taylor expansion of 3.0 in x 0.182 * [backup-simplify]: Simplify 3.0 into 3.0 0.182 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x 0.182 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x 0.182 * [taylor]: Taking taylor expansion of 3.0 in x 0.182 * [backup-simplify]: Simplify 3.0 into 3.0 0.182 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.182 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify 1 into 1 0.183 * [backup-simplify]: Simplify (* 1 1) into 1 0.183 * [backup-simplify]: Simplify (/ 1 1) into 1 0.183 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x 0.183 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x 0.183 * [taylor]: Taking taylor expansion of 4.0 in x 0.183 * [backup-simplify]: Simplify 4.0 into 4.0 0.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.183 * [taylor]: Taking taylor expansion of x in x 0.183 * [backup-simplify]: Simplify 0 into 0 0.183 * [backup-simplify]: Simplify 1 into 1 0.183 * [backup-simplify]: Simplify (/ 1 1) into 1 0.183 * [taylor]: Taking taylor expansion of 1.0 in x 0.183 * [backup-simplify]: Simplify 1.0 into 1.0 0.183 * [backup-simplify]: Simplify (* 3.0 1) into 3.0 0.184 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 0.184 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0 0.184 * [backup-simplify]: Simplify 9.0 into 9.0 0.184 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.185 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0 0.185 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 0.186 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 0.186 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0 0.187 * [backup-simplify]: Simplify (+ (* 3.0 4.0) (* 0 3.0)) into 12.0 0.187 * [backup-simplify]: Simplify 12.0 into 12.0 0.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.188 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0 0.189 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.189 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 0.189 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.190 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.191 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 4.0) (* 0 3.0))) into 3.0 0.191 * [backup-simplify]: Simplify 3.0 into 3.0 0.191 * [backup-simplify]: Simplify (+ 3.0 (+ (* 12.0 (/ 1 (/ 1 (- x)))) (* 9.0 (pow (/ 1 (/ 1 (- x))) 2)))) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) 0.191 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 0.191 * [backup-simplify]: Simplify (* x (- (* x 3.0) 4.0)) into (* x (- (* 3.0 x) 4.0)) 0.191 * [approximate]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in (x) around 0 0.191 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 0.191 * [taylor]: Taking taylor expansion of x in x 0.191 * [backup-simplify]: Simplify 0 into 0 0.191 * [backup-simplify]: Simplify 1 into 1 0.191 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 0.191 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 0.191 * [taylor]: Taking taylor expansion of 3.0 in x 0.191 * [backup-simplify]: Simplify 3.0 into 3.0 0.191 * [taylor]: Taking taylor expansion of x in x 0.191 * [backup-simplify]: Simplify 0 into 0 0.191 * [backup-simplify]: Simplify 1 into 1 0.191 * [taylor]: Taking taylor expansion of 4.0 in x 0.191 * [backup-simplify]: Simplify 4.0 into 4.0 0.192 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 0.192 * [taylor]: Taking taylor expansion of x in x 0.192 * [backup-simplify]: Simplify 0 into 0 0.192 * [backup-simplify]: Simplify 1 into 1 0.192 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 0.192 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 0.192 * [taylor]: Taking taylor expansion of 3.0 in x 0.192 * [backup-simplify]: Simplify 3.0 into 3.0 0.192 * [taylor]: Taking taylor expansion of x in x 0.192 * [backup-simplify]: Simplify 0 into 0 0.192 * [backup-simplify]: Simplify 1 into 1 0.192 * [taylor]: Taking taylor expansion of 4.0 in x 0.192 * [backup-simplify]: Simplify 4.0 into 4.0 0.192 * [backup-simplify]: Simplify (* 3.0 0) into 0 0.192 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.193 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0) 0.193 * [backup-simplify]: Simplify (* 0 (- 4.0)) into 0 0.193 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0 0.194 * [backup-simplify]: Simplify (- 0) into 0 0.194 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 0.195 * [backup-simplify]: Simplify (+ (* 0 3.0) (* 1 (- 4.0))) into (- 4.0) 0.196 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.196 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0 0.196 * [backup-simplify]: Simplify (- 0) into 0 0.196 * [backup-simplify]: Simplify (+ 0 0) into 0 0.198 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 3.0) (* 0 (- 4.0)))) into 3.0 0.198 * [backup-simplify]: Simplify 3.0 into 3.0 0.199 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.199 * [backup-simplify]: Simplify (- 0) into 0 0.199 * [backup-simplify]: Simplify (+ 0 0) into 0 0.200 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 3.0) (* 0 (- 4.0))))) into 0 0.200 * [backup-simplify]: Simplify 0 into 0 0.200 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.201 * [backup-simplify]: Simplify (- 0) into 0 0.201 * [backup-simplify]: Simplify (+ 0 0) into 0 0.202 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))) into 0 0.202 * [backup-simplify]: Simplify 0 into 0 0.202 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.203 * [backup-simplify]: Simplify (- 0) into 0 0.203 * [backup-simplify]: Simplify (+ 0 0) into 0 0.204 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))) into 0 0.204 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.205 * [backup-simplify]: Simplify (- 0) into 0 0.205 * [backup-simplify]: Simplify (+ 0 0) into 0 0.206 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))))) into 0 0.206 * [backup-simplify]: Simplify 0 into 0 0.207 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.207 * [backup-simplify]: Simplify (- 0) into 0 0.207 * [backup-simplify]: Simplify (+ 0 0) into 0 0.208 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))))) into 0 0.208 * [backup-simplify]: Simplify 0 into 0 0.209 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 0.210 * [backup-simplify]: Simplify (- 0) into 0 0.210 * [backup-simplify]: Simplify (+ 0 0) into 0 0.211 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))))))) into 0 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify (+ (* 3.0 (pow x 2)) (* (- 4.0) x)) into (- (* 3.0 (pow x 2)) (* 4.0 x)) 0.211 * [backup-simplify]: Simplify (* (/ 1 x) (- (* (/ 1 x) 3.0) 4.0)) into (/ (- (* 3.0 (/ 1 x)) 4.0) x) 0.212 * [approximate]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in (x) around 0 0.212 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x 0.212 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 0.212 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.212 * [taylor]: Taking taylor expansion of 3.0 in x 0.212 * [backup-simplify]: Simplify 3.0 into 3.0 0.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 1 into 1 0.212 * [backup-simplify]: Simplify (/ 1 1) into 1 0.212 * [taylor]: Taking taylor expansion of 4.0 in x 0.212 * [backup-simplify]: Simplify 4.0 into 4.0 0.212 * [taylor]: Taking taylor expansion of x in x 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 1 into 1 0.212 * [backup-simplify]: Simplify (* 3.0 1) into 3.0 0.213 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 0.213 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 0.213 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x 0.213 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 0.213 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.213 * [taylor]: Taking taylor expansion of 3.0 in x 0.213 * [backup-simplify]: Simplify 3.0 into 3.0 0.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify 1 into 1 0.213 * [backup-simplify]: Simplify (/ 1 1) into 1 0.213 * [taylor]: Taking taylor expansion of 4.0 in x 0.213 * [backup-simplify]: Simplify 4.0 into 4.0 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify 1 into 1 0.214 * [backup-simplify]: Simplify (* 3.0 1) into 3.0 0.214 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 0.214 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 0.214 * [backup-simplify]: Simplify 3.0 into 3.0 0.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.215 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0 0.215 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.216 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0) 0.217 * [backup-simplify]: Simplify (- (/ (- 4.0) 1) (+ (* 3.0 (/ 0 1)))) into (- 4.0) 0.217 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.218 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0 0.219 * [backup-simplify]: Simplify (- 0) into 0 0.219 * [backup-simplify]: Simplify (+ 0 0) into 0 0.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)))) into 0 0.219 * [backup-simplify]: Simplify 0 into 0 0.220 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.221 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.221 * [backup-simplify]: Simplify (- 0) into 0 0.221 * [backup-simplify]: Simplify (+ 0 0) into 0 0.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.222 * [backup-simplify]: Simplify 0 into 0 0.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.223 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.223 * [backup-simplify]: Simplify (- 0) into 0 0.223 * [backup-simplify]: Simplify (+ 0 0) into 0 0.224 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.224 * [backup-simplify]: Simplify 0 into 0 0.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.226 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.226 * [backup-simplify]: Simplify (- 0) into 0 0.226 * [backup-simplify]: Simplify (+ 0 0) into 0 0.227 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.227 * [backup-simplify]: Simplify 0 into 0 0.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.228 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.228 * [backup-simplify]: Simplify (- 0) into 0 0.228 * [backup-simplify]: Simplify (+ 0 0) into 0 0.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.229 * [backup-simplify]: Simplify 0 into 0 0.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.230 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.231 * [backup-simplify]: Simplify (- 0) into 0 0.231 * [backup-simplify]: Simplify (+ 0 0) into 0 0.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.232 * [backup-simplify]: Simplify 0 into 0 0.232 * [backup-simplify]: Simplify (+ (* (- 4.0) (/ 1 (/ 1 x))) (* 3.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x)) 0.232 * [backup-simplify]: Simplify (* (/ 1 (- x)) (- (* (/ 1 (- x)) 3.0) 4.0)) into (/ (+ 4.0 (* 3.0 (/ 1 x))) x) 0.232 * [approximate]: Taking taylor expansion of (/ (+ 4.0 (* 3.0 (/ 1 x))) x) in (x) around 0 0.232 * [taylor]: Taking taylor expansion of (/ (+ 4.0 (* 3.0 (/ 1 x))) x) in x 0.232 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 0.232 * [taylor]: Taking taylor expansion of 4.0 in x 0.232 * [backup-simplify]: Simplify 4.0 into 4.0 0.232 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.232 * [taylor]: Taking taylor expansion of 3.0 in x 0.232 * [backup-simplify]: Simplify 3.0 into 3.0 0.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [backup-simplify]: Simplify 0 into 0 0.232 * [backup-simplify]: Simplify 1 into 1 0.233 * [backup-simplify]: Simplify (/ 1 1) into 1 0.233 * [taylor]: Taking taylor expansion of x in x 0.233 * [backup-simplify]: Simplify 0 into 0 0.233 * [backup-simplify]: Simplify 1 into 1 0.233 * [backup-simplify]: Simplify (* 3.0 1) into 3.0 0.233 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 0.233 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 0.233 * [taylor]: Taking taylor expansion of (/ (+ 4.0 (* 3.0 (/ 1 x))) x) in x 0.233 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 0.233 * [taylor]: Taking taylor expansion of 4.0 in x 0.233 * [backup-simplify]: Simplify 4.0 into 4.0 0.233 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.233 * [taylor]: Taking taylor expansion of 3.0 in x 0.233 * [backup-simplify]: Simplify 3.0 into 3.0 0.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.233 * [taylor]: Taking taylor expansion of x in x 0.233 * [backup-simplify]: Simplify 0 into 0 0.234 * [backup-simplify]: Simplify 1 into 1 0.234 * [backup-simplify]: Simplify (/ 1 1) into 1 0.234 * [taylor]: Taking taylor expansion of x in x 0.234 * [backup-simplify]: Simplify 0 into 0 0.234 * [backup-simplify]: Simplify 1 into 1 0.234 * [backup-simplify]: Simplify (* 3.0 1) into 3.0 0.234 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 0.235 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0 0.235 * [backup-simplify]: Simplify 3.0 into 3.0 0.235 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.235 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0 0.236 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 0.237 * [backup-simplify]: Simplify (- (/ 4.0 1) (+ (* 3.0 (/ 0 1)))) into 4.0 0.237 * [backup-simplify]: Simplify 4.0 into 4.0 0.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.238 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0 0.238 * [backup-simplify]: Simplify (+ 0 0) into 0 0.238 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)))) into 0 0.238 * [backup-simplify]: Simplify 0 into 0 0.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.239 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.240 * [backup-simplify]: Simplify (+ 0 0) into 0 0.240 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.240 * [backup-simplify]: Simplify 0 into 0 0.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.241 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.242 * [backup-simplify]: Simplify (+ 0 0) into 0 0.242 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.242 * [backup-simplify]: Simplify 0 into 0 0.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.243 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.244 * [backup-simplify]: Simplify (+ 0 0) into 0 0.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.248 * [backup-simplify]: Simplify 0 into 0 0.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.250 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.250 * [backup-simplify]: Simplify (+ 0 0) into 0 0.251 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.251 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.252 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.252 * [backup-simplify]: Simplify (+ 0 0) into 0 0.253 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.253 * [backup-simplify]: Simplify 0 into 0 0.253 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 (/ 1 (- x)))) (* 3.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x)) 0.253 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 2) 0.253 * [backup-simplify]: Simplify (- (* x 3.0) 4.0) into (- (* 3.0 x) 4.0) 0.253 * [approximate]: Taking taylor expansion of (- (* 3.0 x) 4.0) in (x) around 0 0.253 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 0.253 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 0.253 * [taylor]: Taking taylor expansion of 3.0 in x 0.253 * [backup-simplify]: Simplify 3.0 into 3.0 0.253 * [taylor]: Taking taylor expansion of x in x 0.253 * [backup-simplify]: Simplify 0 into 0 0.253 * [backup-simplify]: Simplify 1 into 1 0.253 * [taylor]: Taking taylor expansion of 4.0 in x 0.253 * [backup-simplify]: Simplify 4.0 into 4.0 0.253 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 0.253 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 0.253 * [taylor]: Taking taylor expansion of 3.0 in x 0.253 * [backup-simplify]: Simplify 3.0 into 3.0 0.253 * [taylor]: Taking taylor expansion of x in x 0.254 * [backup-simplify]: Simplify 0 into 0 0.254 * [backup-simplify]: Simplify 1 into 1 0.254 * [taylor]: Taking taylor expansion of 4.0 in x 0.254 * [backup-simplify]: Simplify 4.0 into 4.0 0.254 * [backup-simplify]: Simplify (* 3.0 0) into 0 0.254 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.255 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0) 0.255 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.255 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0 0.256 * [backup-simplify]: Simplify (- 0) into 0 0.256 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 0.256 * [backup-simplify]: Simplify 3.0 into 3.0 0.256 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0 0.257 * [backup-simplify]: Simplify (- 0) into 0 0.257 * [backup-simplify]: Simplify (+ 0 0) into 0 0.257 * [backup-simplify]: Simplify 0 into 0 0.257 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.258 * [backup-simplify]: Simplify (- 0) into 0 0.258 * [backup-simplify]: Simplify (+ 0 0) into 0 0.258 * [backup-simplify]: Simplify 0 into 0 0.259 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.259 * [backup-simplify]: Simplify (- 0) into 0 0.259 * [backup-simplify]: Simplify (+ 0 0) into 0 0.259 * [backup-simplify]: Simplify 0 into 0 0.260 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.260 * [backup-simplify]: Simplify (- 0) into 0 0.260 * [backup-simplify]: Simplify (+ 0 0) into 0 0.260 * [backup-simplify]: Simplify 0 into 0 0.261 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.261 * [backup-simplify]: Simplify (- 0) into 0 0.261 * [backup-simplify]: Simplify (+ 0 0) into 0 0.261 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.262 * [backup-simplify]: Simplify (- 0) into 0 0.263 * [backup-simplify]: Simplify (+ 0 0) into 0 0.263 * [backup-simplify]: Simplify 0 into 0 0.263 * [backup-simplify]: Simplify (+ (* 3.0 x) (- 4.0)) into (- (* 3.0 x) 4.0) 0.263 * [backup-simplify]: Simplify (- (* (/ 1 x) 3.0) 4.0) into (- (* 3.0 (/ 1 x)) 4.0) 0.263 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in (x) around 0 0.263 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 0.263 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.263 * [taylor]: Taking taylor expansion of 3.0 in x 0.263 * [backup-simplify]: Simplify 3.0 into 3.0 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.263 * [backup-simplify]: Simplify 0 into 0 0.263 * [backup-simplify]: Simplify 1 into 1 0.263 * [backup-simplify]: Simplify (/ 1 1) into 1 0.263 * [taylor]: Taking taylor expansion of 4.0 in x 0.263 * [backup-simplify]: Simplify 4.0 into 4.0 0.263 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 0.263 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.263 * [taylor]: Taking taylor expansion of 3.0 in x 0.263 * [backup-simplify]: Simplify 3.0 into 3.0 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.263 * [backup-simplify]: Simplify 0 into 0 0.263 * [backup-simplify]: Simplify 1 into 1 0.264 * [backup-simplify]: Simplify (/ 1 1) into 1 0.264 * [taylor]: Taking taylor expansion of 4.0 in x 0.264 * [backup-simplify]: Simplify 4.0 into 4.0 0.264 * [backup-simplify]: Simplify (* 3.0 1) into 3.0 0.264 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 0.264 * [backup-simplify]: Simplify 3.0 into 3.0 0.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.265 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0 0.265 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.266 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0) 0.266 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.267 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0 0.267 * [backup-simplify]: Simplify (- 0) into 0 0.267 * [backup-simplify]: Simplify (+ 0 0) into 0 0.267 * [backup-simplify]: Simplify 0 into 0 0.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.268 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.269 * [backup-simplify]: Simplify (- 0) into 0 0.269 * [backup-simplify]: Simplify (+ 0 0) into 0 0.269 * [backup-simplify]: Simplify 0 into 0 0.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.270 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.270 * [backup-simplify]: Simplify (- 0) into 0 0.270 * [backup-simplify]: Simplify (+ 0 0) into 0 0.270 * [backup-simplify]: Simplify 0 into 0 0.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.271 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.272 * [backup-simplify]: Simplify (- 0) into 0 0.272 * [backup-simplify]: Simplify (+ 0 0) into 0 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.273 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.273 * [backup-simplify]: Simplify (- 0) into 0 0.274 * [backup-simplify]: Simplify (+ 0 0) into 0 0.274 * [backup-simplify]: Simplify 0 into 0 0.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.275 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.276 * [backup-simplify]: Simplify (- 0) into 0 0.276 * [backup-simplify]: Simplify (+ 0 0) into 0 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [backup-simplify]: Simplify (+ (- 4.0) (* 3.0 (/ 1 (/ 1 x)))) into (- (* 3.0 x) 4.0) 0.276 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) 3.0) 4.0) into (- (+ 4.0 (* 3.0 (/ 1 x)))) 0.276 * [approximate]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in (x) around 0 0.276 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 0.276 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 0.276 * [taylor]: Taking taylor expansion of 4.0 in x 0.276 * [backup-simplify]: Simplify 4.0 into 4.0 0.276 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.276 * [taylor]: Taking taylor expansion of 3.0 in x 0.276 * [backup-simplify]: Simplify 3.0 into 3.0 0.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.276 * [taylor]: Taking taylor expansion of x in x 0.277 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify 1 into 1 0.277 * [backup-simplify]: Simplify (/ 1 1) into 1 0.277 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 0.277 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 0.277 * [taylor]: Taking taylor expansion of 4.0 in x 0.277 * [backup-simplify]: Simplify 4.0 into 4.0 0.277 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 0.277 * [taylor]: Taking taylor expansion of 3.0 in x 0.277 * [backup-simplify]: Simplify 3.0 into 3.0 0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify 1 into 1 0.277 * [backup-simplify]: Simplify (/ 1 1) into 1 0.277 * [backup-simplify]: Simplify (* 3.0 1) into 3.0 0.278 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 0.278 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 0.278 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 0.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.279 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0 0.279 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 0.279 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.280 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.281 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0 0.281 * [backup-simplify]: Simplify (+ 0 0) into 0 0.281 * [backup-simplify]: Simplify (- 0) into 0 0.281 * [backup-simplify]: Simplify 0 into 0 0.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.282 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.282 * [backup-simplify]: Simplify (+ 0 0) into 0 0.282 * [backup-simplify]: Simplify (- 0) into 0 0.282 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.284 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.284 * [backup-simplify]: Simplify (+ 0 0) into 0 0.284 * [backup-simplify]: Simplify (- 0) into 0 0.284 * [backup-simplify]: Simplify 0 into 0 0.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.285 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.285 * [backup-simplify]: Simplify (+ 0 0) into 0 0.286 * [backup-simplify]: Simplify (- 0) into 0 0.286 * [backup-simplify]: Simplify 0 into 0 0.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.287 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.287 * [backup-simplify]: Simplify (+ 0 0) into 0 0.287 * [backup-simplify]: Simplify (- 0) into 0 0.287 * [backup-simplify]: Simplify 0 into 0 0.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.289 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.289 * [backup-simplify]: Simplify (+ 0 0) into 0 0.289 * [backup-simplify]: Simplify (- 0) into 0 0.289 * [backup-simplify]: Simplify 0 into 0 0.290 * [backup-simplify]: Simplify (+ (- 4.0) (* (- 3.0) (/ 1 (/ 1 (- x))))) into (- (* 3.0 x) 4.0) 0.290 * * * [progress]: simplifying candidates 0.291 * [simplify]: Simplifying: (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))) (+ (log 3.0) (log (+ 1.0 (* x (- (* x 3.0) 4.0))))) (log (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (exp (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (* (* (* 3.0 3.0) 3.0) (* (* (+ 1.0 (* x (- (* x 3.0) 4.0))) (+ 1.0 (* x (- (* x 3.0) 4.0)))) (+ 1.0 (* x (- (* x 3.0) 4.0))))) (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (* (* (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))) (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (sqrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (sqrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (* (sqrt 3.0) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0))))) (* (sqrt 3.0) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0))))) (* 3.0 1.0) (* 3.0 (* x (- (* x 3.0) 4.0))) (* 1.0 3.0) (* (* x (- (* x 3.0) 4.0)) 3.0) (* 3.0 (* (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (* 3.0 (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0))))) (* 3.0 1) (* (cbrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))) (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))) (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3))) (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))))) (* x (- (* x 3.0) 4.0)) (+ (log x) (log (- (* x 3.0) 4.0))) (log (* x (- (* x 3.0) 4.0))) (exp (* x (- (* x 3.0) 4.0))) (* (* (* x x) x) (* (* (- (* x 3.0) 4.0) (- (* x 3.0) 4.0)) (- (* x 3.0) 4.0))) (* (cbrt (* x (- (* x 3.0) 4.0))) (cbrt (* x (- (* x 3.0) 4.0)))) (cbrt (* x (- (* x 3.0) 4.0))) (* (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* x (- (* x 3.0) 4.0))) (sqrt (* x (- (* x 3.0) 4.0))) (sqrt (* x (- (* x 3.0) 4.0))) (* (sqrt x) (sqrt (- (* x 3.0) 4.0))) (* (sqrt x) (sqrt (- (* x 3.0) 4.0))) (* x (* x 3.0)) (* x (- 4.0)) (* x (* x 3.0)) (* x (- 4.0)) (* (* x 3.0) x) (* (- 4.0) x) (* (* x 3.0) x) (* (- 4.0) x) (* x (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0)))) (* x (sqrt (- (* x 3.0) 4.0))) (* x 1) (* (cbrt x) (- (* x 3.0) 4.0)) (* (sqrt x) (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)) (* x (- (pow (* x 3.0) 3) (pow 4.0 3))) (* x (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0))) (/ (exp (* x 3.0)) (exp 4.0)) (log (- (* x 3.0) 4.0)) (exp (- (* x 3.0) 4.0)) (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0))) (cbrt (- (* x 3.0) 4.0)) (* (* (- (* x 3.0) 4.0) (- (* x 3.0) 4.0)) (- (* x 3.0) 4.0)) (sqrt (- (* x 3.0) 4.0)) (sqrt (- (* x 3.0) 4.0)) (- (pow (* x 3.0) 3) (pow 4.0 3)) (+ (* (* x 3.0) (* x 3.0)) (+ (* 4.0 4.0) (* (* x 3.0) 4.0))) (- 4.0) (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0)) (+ (* x 3.0) 4.0) (- 4.0) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- (* 3.0 (pow x 2)) (* 4.0 x)) (- (* 3.0 (pow x 2)) (* 4.0 x)) (- (* 3.0 (pow x 2)) (* 4.0 x)) (- (* 3.0 x) 4.0) (- (* 3.0 x) 4.0) (- (* 3.0 x) 4.0) 0.291 * [simplify]: Sending expressions to egg_math: (* h1 (+ h3 (* h2 (- (* h2 h1) h0)))) (+ (log h1) (log (+ h3 (* h2 (- (* h2 h1) h0))))) (log (* h1 (+ h3 (* h2 (- (* h2 h1) h0))))) (exp (* h1 (+ h3 (* h2 (- (* h2 h1) h0))))) (* (* (* h1 h1) h1) (* (* (+ h3 (* h2 (- (* h2 h1) h0))) (+ h3 (* h2 (- (* h2 h1) h0)))) (+ h3 (* h2 (- (* h2 h1) h0))))) (* (cbrt (* h1 (+ h3 (* h2 (- (* h2 h1) h0))))) (cbrt (* h1 (+ h3 (* h2 (- (* h2 h1) h0)))))) (cbrt (* h1 (+ h3 (* h2 (- (* h2 h1) h0))))) (* (* (* h1 (+ h3 (* h2 (- (* h2 h1) h0)))) (* h1 (+ h3 (* h2 (- (* h2 h1) h0))))) (* h1 (+ h3 (* h2 (- (* h2 h1) h0))))) (sqrt (* h1 (+ h3 (* h2 (- (* h2 h1) h0))))) (sqrt (* h1 (+ h3 (* h2 (- (* h2 h1) h0))))) (* (sqrt h1) (sqrt (+ h3 (* h2 (- (* h2 h1) h0))))) (* (sqrt h1) (sqrt (+ h3 (* h2 (- (* h2 h1) h0))))) (* h1 h3) (* h1 (* h2 (- (* h2 h1) h0))) (* h3 h1) (* (* h2 (- (* h2 h1) h0)) h1) (* h1 (* (cbrt (+ h3 (* h2 (- (* h2 h1) h0)))) (cbrt (+ h3 (* h2 (- (* h2 h1) h0)))))) (* h1 (sqrt (+ h3 (* h2 (- (* h2 h1) h0))))) (* h1 1) (* (cbrt h1) (+ h3 (* h2 (- (* h2 h1) h0)))) (* (sqrt h1) (+ h3 (* h2 (- (* h2 h1) h0)))) (* h1 (+ h3 (* h2 (- (* h2 h1) h0)))) (* h1 (+ (pow h3 3) (pow (* h2 (- (* h2 h1) h0)) 3))) (* h1 (- (* h3 h3) (* (* h2 (- (* h2 h1) h0)) (* h2 (- (* h2 h1) h0))))) (* h2 (- (* h2 h1) h0)) (+ (log h2) (log (- (* h2 h1) h0))) (log (* h2 (- (* h2 h1) h0))) (exp (* h2 (- (* h2 h1) h0))) (* (* (* h2 h2) h2) (* (* (- (* h2 h1) h0) (- (* h2 h1) h0)) (- (* h2 h1) h0))) (* (cbrt (* h2 (- (* h2 h1) h0))) (cbrt (* h2 (- (* h2 h1) h0)))) (cbrt (* h2 (- (* h2 h1) h0))) (* (* (* h2 (- (* h2 h1) h0)) (* h2 (- (* h2 h1) h0))) (* h2 (- (* h2 h1) h0))) (sqrt (* h2 (- (* h2 h1) h0))) (sqrt (* h2 (- (* h2 h1) h0))) (* (sqrt h2) (sqrt (- (* h2 h1) h0))) (* (sqrt h2) (sqrt (- (* h2 h1) h0))) (* h2 (* h2 h1)) (* h2 (- h0)) (* h2 (* h2 h1)) (* h2 (- h0)) (* (* h2 h1) h2) (* (- h0) h2) (* (* h2 h1) h2) (* (- h0) h2) (* h2 (* (cbrt (- (* h2 h1) h0)) (cbrt (- (* h2 h1) h0)))) (* h2 (sqrt (- (* h2 h1) h0))) (* h2 1) (* (cbrt h2) (- (* h2 h1) h0)) (* (sqrt h2) (- (* h2 h1) h0)) (* h2 (- (* h2 h1) h0)) (* h2 (- (pow (* h2 h1) 3) (pow h0 3))) (* h2 (- (* (* h2 h1) (* h2 h1)) (* h0 h0))) (/ (exp (* h2 h1)) (exp h0)) (log (- (* h2 h1) h0)) (exp (- (* h2 h1) h0)) (* (cbrt (- (* h2 h1) h0)) (cbrt (- (* h2 h1) h0))) (cbrt (- (* h2 h1) h0)) (* (* (- (* h2 h1) h0) (- (* h2 h1) h0)) (- (* h2 h1) h0)) (sqrt (- (* h2 h1) h0)) (sqrt (- (* h2 h1) h0)) (- (pow (* h2 h1) 3) (pow h0 3)) (+ (* (* h2 h1) (* h2 h1)) (+ (* h0 h0) (* (* h2 h1) h0))) (- h0) (- (* (* h2 h1) (* h2 h1)) (* h0 h0)) (+ (* h2 h1) h0) (- h0) (- (+ (* h5 (pow h2 2)) h1) (* h4 h2)) (- (+ (* h5 (pow h2 2)) h1) (* h4 h2)) (- (+ (* h5 (pow h2 2)) h1) (* h4 h2)) (- (* h1 (pow h2 2)) (* h0 h2)) (- (* h1 (pow h2 2)) (* h0 h2)) (- (* h1 (pow h2 2)) (* h0 h2)) (- (* h1 h2) h0) (- (* h1 h2) h0) (- (* h1 h2) h0) 0.295 * * [simplify]: iteration 0 : 267 enodes (cost 361 ) 0.301 * * [simplify]: iteration 1 : 1213 enodes (cost 324 ) 0.327 * * [simplify]: iteration 2 : 5001 enodes (cost 323 ) 0.329 * * * [progress]: adding candidates to table 0.438 * * [progress]: iteration 2 / 4 0.438 * * * [progress]: picking best candidate 0.448 * * * * [pick]: Picked # 0.449 * * * [progress]: localizing error 0.455 * * * [progress]: generating rewritten candidates 0.455 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 0.470 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.524 * * * [progress]: generating series expansions 0.525 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 0.525 * [backup-simplify]: Simplify (* 9.0 (pow x 2)) into (* 9.0 (pow x 2)) 0.525 * [approximate]: Taking taylor expansion of (* 9.0 (pow x 2)) in (x) around 0 0.525 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x 0.525 * [taylor]: Taking taylor expansion of 9.0 in x 0.525 * [backup-simplify]: Simplify 9.0 into 9.0 0.525 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.525 * [taylor]: Taking taylor expansion of x in x 0.525 * [backup-simplify]: Simplify 0 into 0 0.525 * [backup-simplify]: Simplify 1 into 1 0.525 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x 0.525 * [taylor]: Taking taylor expansion of 9.0 in x 0.525 * [backup-simplify]: Simplify 9.0 into 9.0 0.525 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.525 * [taylor]: Taking taylor expansion of x in x 0.525 * [backup-simplify]: Simplify 0 into 0 0.525 * [backup-simplify]: Simplify 1 into 1 0.525 * [backup-simplify]: Simplify (* 1 1) into 1 0.526 * [backup-simplify]: Simplify (* 9.0 1) into 9.0 0.526 * [backup-simplify]: Simplify 9.0 into 9.0 0.526 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.526 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0 0.527 * [backup-simplify]: Simplify 0 into 0 0.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.527 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0 0.527 * [backup-simplify]: Simplify 0 into 0 0.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.529 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.529 * [backup-simplify]: Simplify 0 into 0 0.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.530 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.530 * [backup-simplify]: Simplify 0 into 0 0.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.531 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.531 * [backup-simplify]: Simplify 0 into 0 0.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.533 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.533 * [backup-simplify]: Simplify 0 into 0 0.533 * [backup-simplify]: Simplify (* 9.0 (pow x 2)) into (* 9.0 (pow x 2)) 0.533 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 x) 2)) into (/ 9.0 (pow x 2)) 0.533 * [approximate]: Taking taylor expansion of (/ 9.0 (pow x 2)) in (x) around 0 0.533 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x 0.533 * [taylor]: Taking taylor expansion of 9.0 in x 0.533 * [backup-simplify]: Simplify 9.0 into 9.0 0.533 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.533 * [taylor]: Taking taylor expansion of x in x 0.533 * [backup-simplify]: Simplify 0 into 0 0.533 * [backup-simplify]: Simplify 1 into 1 0.534 * [backup-simplify]: Simplify (* 1 1) into 1 0.534 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0 0.534 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x 0.534 * [taylor]: Taking taylor expansion of 9.0 in x 0.534 * [backup-simplify]: Simplify 9.0 into 9.0 0.534 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.534 * [taylor]: Taking taylor expansion of x in x 0.534 * [backup-simplify]: Simplify 0 into 0 0.534 * [backup-simplify]: Simplify 1 into 1 0.534 * [backup-simplify]: Simplify (* 1 1) into 1 0.535 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0 0.535 * [backup-simplify]: Simplify 9.0 into 9.0 0.535 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.535 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)))) into 0 0.535 * [backup-simplify]: Simplify 0 into 0 0.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.536 * [backup-simplify]: Simplify 0 into 0 0.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.537 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.537 * [backup-simplify]: Simplify 0 into 0 0.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.539 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.539 * [backup-simplify]: Simplify 0 into 0 0.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.540 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.540 * [backup-simplify]: Simplify 0 into 0 0.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.541 * [backup-simplify]: Simplify 0 into 0 0.542 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (/ 1 x)) 2)) into (* 9.0 (pow x 2)) 0.542 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (- x)) 2)) into (/ 9.0 (pow x 2)) 0.542 * [approximate]: Taking taylor expansion of (/ 9.0 (pow x 2)) in (x) around 0 0.542 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x 0.542 * [taylor]: Taking taylor expansion of 9.0 in x 0.542 * [backup-simplify]: Simplify 9.0 into 9.0 0.542 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.542 * [taylor]: Taking taylor expansion of x in x 0.542 * [backup-simplify]: Simplify 0 into 0 0.542 * [backup-simplify]: Simplify 1 into 1 0.542 * [backup-simplify]: Simplify (* 1 1) into 1 0.543 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0 0.543 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x 0.543 * [taylor]: Taking taylor expansion of 9.0 in x 0.543 * [backup-simplify]: Simplify 9.0 into 9.0 0.543 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.543 * [taylor]: Taking taylor expansion of x in x 0.543 * [backup-simplify]: Simplify 0 into 0 0.543 * [backup-simplify]: Simplify 1 into 1 0.543 * [backup-simplify]: Simplify (* 1 1) into 1 0.543 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0 0.543 * [backup-simplify]: Simplify 9.0 into 9.0 0.544 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.544 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)))) into 0 0.544 * [backup-simplify]: Simplify 0 into 0 0.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.545 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.545 * [backup-simplify]: Simplify 0 into 0 0.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.546 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.546 * [backup-simplify]: Simplify 0 into 0 0.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.547 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.547 * [backup-simplify]: Simplify 0 into 0 0.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.549 * [backup-simplify]: Simplify 0 into 0 0.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.550 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.550 * [backup-simplify]: Simplify 0 into 0 0.550 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 9.0 (pow x 2)) 0.550 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.550 * [backup-simplify]: Simplify (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) 0.550 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) in (x) around 0 0.550 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) in x 0.550 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow x 2)) 3.0) in x 0.550 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x 0.550 * [taylor]: Taking taylor expansion of 9.0 in x 0.550 * [backup-simplify]: Simplify 9.0 into 9.0 0.550 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.550 * [taylor]: Taking taylor expansion of x in x 0.550 * [backup-simplify]: Simplify 0 into 0 0.550 * [backup-simplify]: Simplify 1 into 1 0.550 * [taylor]: Taking taylor expansion of 3.0 in x 0.550 * [backup-simplify]: Simplify 3.0 into 3.0 0.550 * [taylor]: Taking taylor expansion of (* 12.0 x) in x 0.551 * [taylor]: Taking taylor expansion of 12.0 in x 0.551 * [backup-simplify]: Simplify 12.0 into 12.0 0.551 * [taylor]: Taking taylor expansion of x in x 0.551 * [backup-simplify]: Simplify 0 into 0 0.551 * [backup-simplify]: Simplify 1 into 1 0.551 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) in x 0.551 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow x 2)) 3.0) in x 0.551 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x 0.551 * [taylor]: Taking taylor expansion of 9.0 in x 0.551 * [backup-simplify]: Simplify 9.0 into 9.0 0.551 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.551 * [taylor]: Taking taylor expansion of x in x 0.551 * [backup-simplify]: Simplify 0 into 0 0.551 * [backup-simplify]: Simplify 1 into 1 0.551 * [taylor]: Taking taylor expansion of 3.0 in x 0.551 * [backup-simplify]: Simplify 3.0 into 3.0 0.551 * [taylor]: Taking taylor expansion of (* 12.0 x) in x 0.551 * [taylor]: Taking taylor expansion of 12.0 in x 0.551 * [backup-simplify]: Simplify 12.0 into 12.0 0.551 * [taylor]: Taking taylor expansion of x in x 0.551 * [backup-simplify]: Simplify 0 into 0 0.551 * [backup-simplify]: Simplify 1 into 1 0.551 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 0.551 * [backup-simplify]: Simplify (* 12.0 0) into 0 0.552 * [backup-simplify]: Simplify (- 0) into 0 0.552 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 0.552 * [backup-simplify]: Simplify 3.0 into 3.0 0.552 * [backup-simplify]: Simplify (+ 0 0) into 0 0.553 * [backup-simplify]: Simplify (+ (* 12.0 1) (* 0 0)) into 12.0 0.553 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.554 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0) 0.554 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.554 * [backup-simplify]: Simplify (* 1 1) into 1 0.554 * [backup-simplify]: Simplify (* 9.0 1) into 9.0 0.554 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0 0.555 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 1) (* 0 0))) into 0 0.555 * [backup-simplify]: Simplify (- 0) into 0 0.555 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0 0.555 * [backup-simplify]: Simplify 9.0 into 9.0 0.556 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (+ (* (- 12.0) x) 3.0)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) 0.556 * [backup-simplify]: Simplify (- (+ (* 9.0 (pow (/ 1 x) 2)) 3.0) (* 12.0 (/ 1 x))) into (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x))) 0.556 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x))) in (x) around 0 0.556 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x))) in x 0.556 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) 3.0) in x 0.556 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x 0.556 * [taylor]: Taking taylor expansion of 9.0 in x 0.556 * [backup-simplify]: Simplify 9.0 into 9.0 0.556 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.556 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.556 * [backup-simplify]: Simplify 0 into 0 0.556 * [backup-simplify]: Simplify 1 into 1 0.557 * [backup-simplify]: Simplify (* 1 1) into 1 0.557 * [backup-simplify]: Simplify (/ 1 1) into 1 0.557 * [taylor]: Taking taylor expansion of 3.0 in x 0.557 * [backup-simplify]: Simplify 3.0 into 3.0 0.557 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x 0.557 * [taylor]: Taking taylor expansion of 12.0 in x 0.557 * [backup-simplify]: Simplify 12.0 into 12.0 0.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.557 * [backup-simplify]: Simplify 0 into 0 0.557 * [backup-simplify]: Simplify 1 into 1 0.557 * [backup-simplify]: Simplify (/ 1 1) into 1 0.557 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x))) in x 0.557 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) 3.0) in x 0.557 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x 0.557 * [taylor]: Taking taylor expansion of 9.0 in x 0.557 * [backup-simplify]: Simplify 9.0 into 9.0 0.557 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.557 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.557 * [backup-simplify]: Simplify 0 into 0 0.557 * [backup-simplify]: Simplify 1 into 1 0.558 * [backup-simplify]: Simplify (* 1 1) into 1 0.558 * [backup-simplify]: Simplify (/ 1 1) into 1 0.558 * [taylor]: Taking taylor expansion of 3.0 in x 0.558 * [backup-simplify]: Simplify 3.0 into 3.0 0.558 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x 0.558 * [taylor]: Taking taylor expansion of 12.0 in x 0.558 * [backup-simplify]: Simplify 12.0 into 12.0 0.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.558 * [backup-simplify]: Simplify 0 into 0 0.558 * [backup-simplify]: Simplify 1 into 1 0.558 * [backup-simplify]: Simplify (/ 1 1) into 1 0.559 * [backup-simplify]: Simplify (* 9.0 1) into 9.0 0.559 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0 0.559 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0 0.559 * [backup-simplify]: Simplify 9.0 into 9.0 0.559 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.560 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0 0.560 * [backup-simplify]: Simplify (+ 0 0) into 0 0.561 * [backup-simplify]: Simplify (* 12.0 1) into 12.0 0.561 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.561 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0) 0.562 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.563 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0 0.563 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 0.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.564 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0 0.564 * [backup-simplify]: Simplify (- 0) into 0 0.565 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 0.565 * [backup-simplify]: Simplify 3.0 into 3.0 0.565 * [backup-simplify]: Simplify (+ 3.0 (+ (* (- 12.0) (/ 1 (/ 1 x))) (* 9.0 (pow (/ 1 (/ 1 x)) 2)))) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) 0.565 * [backup-simplify]: Simplify (- (+ (* 9.0 (pow (/ 1 (- x)) 2)) 3.0) (* 12.0 (/ 1 (- x)))) into (+ (* 9.0 (/ 1 (pow x 2))) (+ (* 12.0 (/ 1 x)) 3.0)) 0.565 * [approximate]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (+ (* 12.0 (/ 1 x)) 3.0)) in (x) around 0 0.565 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (+ (* 12.0 (/ 1 x)) 3.0)) in x 0.565 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x 0.565 * [taylor]: Taking taylor expansion of 9.0 in x 0.565 * [backup-simplify]: Simplify 9.0 into 9.0 0.565 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.565 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.565 * [taylor]: Taking taylor expansion of x in x 0.565 * [backup-simplify]: Simplify 0 into 0 0.565 * [backup-simplify]: Simplify 1 into 1 0.566 * [backup-simplify]: Simplify (* 1 1) into 1 0.566 * [backup-simplify]: Simplify (/ 1 1) into 1 0.566 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x 0.566 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x 0.566 * [taylor]: Taking taylor expansion of 12.0 in x 0.566 * [backup-simplify]: Simplify 12.0 into 12.0 0.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.566 * [taylor]: Taking taylor expansion of x in x 0.566 * [backup-simplify]: Simplify 0 into 0 0.566 * [backup-simplify]: Simplify 1 into 1 0.566 * [backup-simplify]: Simplify (/ 1 1) into 1 0.566 * [taylor]: Taking taylor expansion of 3.0 in x 0.566 * [backup-simplify]: Simplify 3.0 into 3.0 0.566 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (+ (* 12.0 (/ 1 x)) 3.0)) in x 0.566 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x 0.566 * [taylor]: Taking taylor expansion of 9.0 in x 0.566 * [backup-simplify]: Simplify 9.0 into 9.0 0.566 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.566 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.566 * [taylor]: Taking taylor expansion of x in x 0.566 * [backup-simplify]: Simplify 0 into 0 0.566 * [backup-simplify]: Simplify 1 into 1 0.567 * [backup-simplify]: Simplify (* 1 1) into 1 0.567 * [backup-simplify]: Simplify (/ 1 1) into 1 0.567 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x 0.567 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x 0.567 * [taylor]: Taking taylor expansion of 12.0 in x 0.567 * [backup-simplify]: Simplify 12.0 into 12.0 0.567 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.567 * [backup-simplify]: Simplify 0 into 0 0.567 * [backup-simplify]: Simplify 1 into 1 0.567 * [backup-simplify]: Simplify (/ 1 1) into 1 0.567 * [taylor]: Taking taylor expansion of 3.0 in x 0.568 * [backup-simplify]: Simplify 3.0 into 3.0 0.568 * [backup-simplify]: Simplify (* 9.0 1) into 9.0 0.568 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0 0.568 * [backup-simplify]: Simplify 9.0 into 9.0 0.568 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.569 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0 0.569 * [backup-simplify]: Simplify (* 12.0 1) into 12.0 0.570 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0 0.570 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0 0.570 * [backup-simplify]: Simplify 12.0 into 12.0 0.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.571 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0 0.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.572 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0 0.572 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 0.573 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 0.573 * [backup-simplify]: Simplify 3.0 into 3.0 0.573 * [backup-simplify]: Simplify (+ 3.0 (+ (* 12.0 (/ 1 (/ 1 (- x)))) (* 9.0 (pow (/ 1 (/ 1 (- x))) 2)))) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) 0.573 * * * [progress]: simplifying candidates 0.574 * [simplify]: Simplifying: (+ (log 9.0) (* (log x) 2)) (+ (log 9.0) (* (log x) 2)) (+ (log 9.0) (log (pow x 2))) (log (* 9.0 (pow x 2))) (exp (* 9.0 (pow x 2))) (* (* (* 9.0 9.0) 9.0) (* (* (pow x 2) (pow x 2)) (pow x 2))) (* (cbrt (* 9.0 (pow x 2))) (cbrt (* 9.0 (pow x 2)))) (cbrt (* 9.0 (pow x 2))) (* (* (* 9.0 (pow x 2)) (* 9.0 (pow x 2))) (* 9.0 (pow x 2))) (sqrt (* 9.0 (pow x 2))) (sqrt (* 9.0 (pow x 2))) (* (sqrt 9.0) (pow (sqrt x) 2)) (* (sqrt 9.0) (pow (sqrt x) 2)) (* (sqrt 9.0) x) (* (sqrt 9.0) x) (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (pow x (/ 2 2))) (* (sqrt 9.0) (pow x (/ 2 2))) (* 9.0 (pow (* (cbrt x) (cbrt x)) 2)) (* 9.0 (pow (sqrt x) 2)) (* 9.0 (pow 1 2)) (* 9.0 x) (* 9.0 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (* 9.0 (sqrt (pow x 2))) (* 9.0 1) (* 9.0 (pow x (/ 2 2))) (* (cbrt 9.0) (pow x 2)) (* (sqrt 9.0) (pow x 2)) (* 9.0 (pow x 2)) (/ (* (exp (* 9.0 (pow x 2))) (exp 3.0)) (exp (* 12.0 x))) (/ (exp (+ (* 9.0 (pow x 2)) 3.0)) (exp (* 12.0 x))) (log (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))) (exp (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))) (* (cbrt (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))) (cbrt (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)))) (cbrt (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))) (* (* (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))) (sqrt (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))) (sqrt (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))) (- (pow (+ (* 9.0 (pow x 2)) 3.0) 3) (pow (* 12.0 x) 3)) (+ (* (+ (* 9.0 (pow x 2)) 3.0) (+ (* 9.0 (pow x 2)) 3.0)) (+ (* (* 12.0 x) (* 12.0 x)) (* (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)))) (- (* 12.0 x)) (- (* (+ (* 9.0 (pow x 2)) 3.0) (+ (* 9.0 (pow x 2)) 3.0)) (* (* 12.0 x) (* 12.0 x))) (+ (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- 3.0 (* 12.0 x)) (- (* 12.0 x)) (* 9.0 (pow x 2)) (* 9.0 (pow x 2)) (* 9.0 (pow x 2)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) 0.574 * [simplify]: Sending expressions to egg_math: (+ (log h1) (* (log h0) 2)) (+ (log h1) (* (log h0) 2)) (+ (log h1) (log (pow h0 2))) (log (* h1 (pow h0 2))) (exp (* h1 (pow h0 2))) (* (* (* h1 h1) h1) (* (* (pow h0 2) (pow h0 2)) (pow h0 2))) (* (cbrt (* h1 (pow h0 2))) (cbrt (* h1 (pow h0 2)))) (cbrt (* h1 (pow h0 2))) (* (* (* h1 (pow h0 2)) (* h1 (pow h0 2))) (* h1 (pow h0 2))) (sqrt (* h1 (pow h0 2))) (sqrt (* h1 (pow h0 2))) (* (sqrt h1) (pow (sqrt h0) 2)) (* (sqrt h1) (pow (sqrt h0) 2)) (* (sqrt h1) h0) (* (sqrt h1) h0) (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (pow h0 (/ 2 2))) (* (sqrt h1) (pow h0 (/ 2 2))) (* h1 (pow (* (cbrt h0) (cbrt h0)) 2)) (* h1 (pow (sqrt h0) 2)) (* h1 (pow 1 2)) (* h1 h0) (* h1 (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) (* h1 (sqrt (pow h0 2))) (* h1 1) (* h1 (pow h0 (/ 2 2))) (* (cbrt h1) (pow h0 2)) (* (sqrt h1) (pow h0 2)) (* h1 (pow h0 2)) (/ (* (exp (* h1 (pow h0 2))) (exp h3)) (exp (* h2 h0))) (/ (exp (+ (* h1 (pow h0 2)) h3)) (exp (* h2 h0))) (log (- (+ (* h1 (pow h0 2)) h3) (* h2 h0))) (exp (- (+ (* h1 (pow h0 2)) h3) (* h2 h0))) (* (cbrt (- (+ (* h1 (pow h0 2)) h3) (* h2 h0))) (cbrt (- (+ (* h1 (pow h0 2)) h3) (* h2 h0)))) (cbrt (- (+ (* h1 (pow h0 2)) h3) (* h2 h0))) (* (* (- (+ (* h1 (pow h0 2)) h3) (* h2 h0)) (- (+ (* h1 (pow h0 2)) h3) (* h2 h0))) (- (+ (* h1 (pow h0 2)) h3) (* h2 h0))) (sqrt (- (+ (* h1 (pow h0 2)) h3) (* h2 h0))) (sqrt (- (+ (* h1 (pow h0 2)) h3) (* h2 h0))) (- (pow (+ (* h1 (pow h0 2)) h3) 3) (pow (* h2 h0) 3)) (+ (* (+ (* h1 (pow h0 2)) h3) (+ (* h1 (pow h0 2)) h3)) (+ (* (* h2 h0) (* h2 h0)) (* (+ (* h1 (pow h0 2)) h3) (* h2 h0)))) (- (* h2 h0)) (- (* (+ (* h1 (pow h0 2)) h3) (+ (* h1 (pow h0 2)) h3)) (* (* h2 h0) (* h2 h0))) (+ (+ (* h1 (pow h0 2)) h3) (* h2 h0)) (- h3 (* h2 h0)) (- (* h2 h0)) (* h1 (pow h0 2)) (* h1 (pow h0 2)) (* h1 (pow h0 2)) (- (+ (* h1 (pow h0 2)) h3) (* h2 h0)) (- (+ (* h1 (pow h0 2)) h3) (* h2 h0)) (- (+ (* h1 (pow h0 2)) h3) (* h2 h0)) 0.577 * * [simplify]: iteration 0 : 193 enodes (cost 233 ) 0.581 * * [simplify]: iteration 1 : 766 enodes (cost 207 ) 0.600 * * [simplify]: iteration 2 : 4099 enodes (cost 201 ) 0.722 * * [simplify]: iteration 3 : 5003 enodes (cost 200 ) 0.724 * * * [progress]: adding candidates to table 0.807 * * [progress]: iteration 3 / 4 0.807 * * * [progress]: picking best candidate 0.815 * * * * [pick]: Picked # 0.815 * * * [progress]: localizing error 0.820 * * * [progress]: generating rewritten candidates 0.820 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.848 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 0.860 * * * [progress]: generating series expansions 0.860 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.860 * [backup-simplify]: Simplify (* x (- (* x 9.0) 12.0)) into (* (- (* 9.0 x) 12.0) x) 0.860 * [approximate]: Taking taylor expansion of (* (- (* 9.0 x) 12.0) x) in (x) around 0 0.860 * [taylor]: Taking taylor expansion of (* (- (* 9.0 x) 12.0) x) in x 0.860 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x 0.860 * [taylor]: Taking taylor expansion of (* 9.0 x) in x 0.860 * [taylor]: Taking taylor expansion of 9.0 in x 0.860 * [backup-simplify]: Simplify 9.0 into 9.0 0.860 * [taylor]: Taking taylor expansion of x in x 0.860 * [backup-simplify]: Simplify 0 into 0 0.860 * [backup-simplify]: Simplify 1 into 1 0.860 * [taylor]: Taking taylor expansion of 12.0 in x 0.860 * [backup-simplify]: Simplify 12.0 into 12.0 0.860 * [taylor]: Taking taylor expansion of x in x 0.860 * [backup-simplify]: Simplify 0 into 0 0.860 * [backup-simplify]: Simplify 1 into 1 0.860 * [taylor]: Taking taylor expansion of (* (- (* 9.0 x) 12.0) x) in x 0.860 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x 0.860 * [taylor]: Taking taylor expansion of (* 9.0 x) in x 0.860 * [taylor]: Taking taylor expansion of 9.0 in x 0.860 * [backup-simplify]: Simplify 9.0 into 9.0 0.860 * [taylor]: Taking taylor expansion of x in x 0.860 * [backup-simplify]: Simplify 0 into 0 0.860 * [backup-simplify]: Simplify 1 into 1 0.860 * [taylor]: Taking taylor expansion of 12.0 in x 0.860 * [backup-simplify]: Simplify 12.0 into 12.0 0.860 * [taylor]: Taking taylor expansion of x in x 0.860 * [backup-simplify]: Simplify 0 into 0 0.860 * [backup-simplify]: Simplify 1 into 1 0.861 * [backup-simplify]: Simplify (* 9.0 0) into 0 0.861 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.862 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0) 0.862 * [backup-simplify]: Simplify (* (- 12.0) 0) into 0 0.862 * [backup-simplify]: Simplify 0 into 0 0.863 * [backup-simplify]: Simplify (+ (* 9.0 1) (* 0 0)) into 9.0 0.863 * [backup-simplify]: Simplify (- 0) into 0 0.863 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0 0.864 * [backup-simplify]: Simplify (+ (* (- 12.0) 1) (* 9.0 0)) into (- 12.0) 0.865 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.865 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 1) (* 0 0))) into 0 0.865 * [backup-simplify]: Simplify (- 0) into 0 0.866 * [backup-simplify]: Simplify (+ 0 0) into 0 0.867 * [backup-simplify]: Simplify (+ (* (- 12.0) 0) (+ (* 9.0 1) (* 0 0))) into 9.0 0.867 * [backup-simplify]: Simplify 9.0 into 9.0 0.868 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.868 * [backup-simplify]: Simplify (- 0) into 0 0.868 * [backup-simplify]: Simplify (+ 0 0) into 0 0.869 * [backup-simplify]: Simplify (+ (* (- 12.0) 0) (+ (* 9.0 0) (+ (* 0 1) (* 0 0)))) into 0 0.869 * [backup-simplify]: Simplify 0 into 0 0.869 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.870 * [backup-simplify]: Simplify (- 0) into 0 0.870 * [backup-simplify]: Simplify (+ 0 0) into 0 0.871 * [backup-simplify]: Simplify (+ (* (- 12.0) 0) (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.871 * [backup-simplify]: Simplify 0 into 0 0.871 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.872 * [backup-simplify]: Simplify (- 0) into 0 0.872 * [backup-simplify]: Simplify (+ 0 0) into 0 0.873 * [backup-simplify]: Simplify (+ (* (- 12.0) 0) (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.873 * [backup-simplify]: Simplify 0 into 0 0.874 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.874 * [backup-simplify]: Simplify (- 0) into 0 0.874 * [backup-simplify]: Simplify (+ 0 0) into 0 0.875 * [backup-simplify]: Simplify (+ (* (- 12.0) 0) (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.875 * [backup-simplify]: Simplify 0 into 0 0.876 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.876 * [backup-simplify]: Simplify (- 0) into 0 0.876 * [backup-simplify]: Simplify (+ 0 0) into 0 0.877 * [backup-simplify]: Simplify (+ (* (- 12.0) 0) (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.878 * [backup-simplify]: Simplify 0 into 0 0.878 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 0.879 * [backup-simplify]: Simplify (- 0) into 0 0.879 * [backup-simplify]: Simplify (+ 0 0) into 0 0.880 * [backup-simplify]: Simplify (+ (* (- 12.0) 0) (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 0.880 * [backup-simplify]: Simplify 0 into 0 0.881 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (* (- 12.0) x)) into (- (* 9.0 (pow x 2)) (* 12.0 x)) 0.881 * [backup-simplify]: Simplify (* (/ 1 x) (- (* (/ 1 x) 9.0) 12.0)) into (/ (- (* 9.0 (/ 1 x)) 12.0) x) 0.881 * [approximate]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in (x) around 0 0.881 * [taylor]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in x 0.881 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x 0.881 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 0.881 * [taylor]: Taking taylor expansion of 9.0 in x 0.881 * [backup-simplify]: Simplify 9.0 into 9.0 0.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.881 * [taylor]: Taking taylor expansion of x in x 0.881 * [backup-simplify]: Simplify 0 into 0 0.881 * [backup-simplify]: Simplify 1 into 1 0.881 * [backup-simplify]: Simplify (/ 1 1) into 1 0.881 * [taylor]: Taking taylor expansion of 12.0 in x 0.881 * [backup-simplify]: Simplify 12.0 into 12.0 0.881 * [taylor]: Taking taylor expansion of x in x 0.881 * [backup-simplify]: Simplify 0 into 0 0.881 * [backup-simplify]: Simplify 1 into 1 0.881 * [backup-simplify]: Simplify (* 9.0 1) into 9.0 0.882 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0 0.882 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0 0.882 * [taylor]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in x 0.882 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x 0.882 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 0.882 * [taylor]: Taking taylor expansion of 9.0 in x 0.882 * [backup-simplify]: Simplify 9.0 into 9.0 0.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.882 * [taylor]: Taking taylor expansion of x in x 0.882 * [backup-simplify]: Simplify 0 into 0 0.882 * [backup-simplify]: Simplify 1 into 1 0.882 * [backup-simplify]: Simplify (/ 1 1) into 1 0.882 * [taylor]: Taking taylor expansion of 12.0 in x 0.882 * [backup-simplify]: Simplify 12.0 into 12.0 0.882 * [taylor]: Taking taylor expansion of x in x 0.882 * [backup-simplify]: Simplify 0 into 0 0.882 * [backup-simplify]: Simplify 1 into 1 0.883 * [backup-simplify]: Simplify (* 9.0 1) into 9.0 0.883 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0 0.883 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0 0.883 * [backup-simplify]: Simplify 9.0 into 9.0 0.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.884 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0 0.884 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.885 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0) 0.886 * [backup-simplify]: Simplify (- (/ (- 12.0) 1) (+ (* 9.0 (/ 0 1)))) into (- 12.0) 0.886 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.887 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0 0.887 * [backup-simplify]: Simplify (- 0) into 0 0.888 * [backup-simplify]: Simplify (+ 0 0) into 0 0.888 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)))) into 0 0.888 * [backup-simplify]: Simplify 0 into 0 0.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.889 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.889 * [backup-simplify]: Simplify (- 0) into 0 0.890 * [backup-simplify]: Simplify (+ 0 0) into 0 0.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.890 * [backup-simplify]: Simplify 0 into 0 0.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.891 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.892 * [backup-simplify]: Simplify (- 0) into 0 0.892 * [backup-simplify]: Simplify (+ 0 0) into 0 0.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.893 * [backup-simplify]: Simplify 0 into 0 0.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.894 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.894 * [backup-simplify]: Simplify (- 0) into 0 0.894 * [backup-simplify]: Simplify (+ 0 0) into 0 0.895 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.895 * [backup-simplify]: Simplify 0 into 0 0.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.896 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.896 * [backup-simplify]: Simplify (- 0) into 0 0.897 * [backup-simplify]: Simplify (+ 0 0) into 0 0.897 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.897 * [backup-simplify]: Simplify 0 into 0 0.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.899 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.899 * [backup-simplify]: Simplify (- 0) into 0 0.899 * [backup-simplify]: Simplify (+ 0 0) into 0 0.900 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.900 * [backup-simplify]: Simplify 0 into 0 0.900 * [backup-simplify]: Simplify (+ (* (- 12.0) (/ 1 (/ 1 x))) (* 9.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 9.0 (pow x 2)) (* 12.0 x)) 0.900 * [backup-simplify]: Simplify (* (/ 1 (- x)) (- (* (/ 1 (- x)) 9.0) 12.0)) into (/ (+ 12.0 (* 9.0 (/ 1 x))) x) 0.900 * [approximate]: Taking taylor expansion of (/ (+ 12.0 (* 9.0 (/ 1 x))) x) in (x) around 0 0.900 * [taylor]: Taking taylor expansion of (/ (+ 12.0 (* 9.0 (/ 1 x))) x) in x 0.900 * [taylor]: Taking taylor expansion of (+ 12.0 (* 9.0 (/ 1 x))) in x 0.900 * [taylor]: Taking taylor expansion of 12.0 in x 0.900 * [backup-simplify]: Simplify 12.0 into 12.0 0.900 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 0.901 * [taylor]: Taking taylor expansion of 9.0 in x 0.901 * [backup-simplify]: Simplify 9.0 into 9.0 0.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.901 * [taylor]: Taking taylor expansion of x in x 0.901 * [backup-simplify]: Simplify 0 into 0 0.901 * [backup-simplify]: Simplify 1 into 1 0.901 * [backup-simplify]: Simplify (/ 1 1) into 1 0.901 * [taylor]: Taking taylor expansion of x in x 0.901 * [backup-simplify]: Simplify 0 into 0 0.901 * [backup-simplify]: Simplify 1 into 1 0.901 * [backup-simplify]: Simplify (* 9.0 1) into 9.0 0.901 * [backup-simplify]: Simplify (+ 0 9.0) into 9.0 0.902 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0 0.902 * [taylor]: Taking taylor expansion of (/ (+ 12.0 (* 9.0 (/ 1 x))) x) in x 0.902 * [taylor]: Taking taylor expansion of (+ 12.0 (* 9.0 (/ 1 x))) in x 0.902 * [taylor]: Taking taylor expansion of 12.0 in x 0.902 * [backup-simplify]: Simplify 12.0 into 12.0 0.902 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 0.902 * [taylor]: Taking taylor expansion of 9.0 in x 0.902 * [backup-simplify]: Simplify 9.0 into 9.0 0.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.902 * [taylor]: Taking taylor expansion of x in x 0.902 * [backup-simplify]: Simplify 0 into 0 0.902 * [backup-simplify]: Simplify 1 into 1 0.902 * [backup-simplify]: Simplify (/ 1 1) into 1 0.902 * [taylor]: Taking taylor expansion of x in x 0.902 * [backup-simplify]: Simplify 0 into 0 0.902 * [backup-simplify]: Simplify 1 into 1 0.902 * [backup-simplify]: Simplify (* 9.0 1) into 9.0 0.903 * [backup-simplify]: Simplify (+ 0 9.0) into 9.0 0.903 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0 0.903 * [backup-simplify]: Simplify 9.0 into 9.0 0.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.904 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0 0.904 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0 0.905 * [backup-simplify]: Simplify (- (/ 12.0 1) (+ (* 9.0 (/ 0 1)))) into 12.0 0.905 * [backup-simplify]: Simplify 12.0 into 12.0 0.905 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.906 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0 0.906 * [backup-simplify]: Simplify (+ 0 0) into 0 0.907 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)))) into 0 0.907 * [backup-simplify]: Simplify 0 into 0 0.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.908 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.908 * [backup-simplify]: Simplify (+ 0 0) into 0 0.909 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.909 * [backup-simplify]: Simplify 0 into 0 0.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.910 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.910 * [backup-simplify]: Simplify (+ 0 0) into 0 0.911 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.911 * [backup-simplify]: Simplify 0 into 0 0.911 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.912 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.912 * [backup-simplify]: Simplify (+ 0 0) into 0 0.913 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.913 * [backup-simplify]: Simplify 0 into 0 0.913 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.914 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.914 * [backup-simplify]: Simplify (+ 0 0) into 0 0.915 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.915 * [backup-simplify]: Simplify 0 into 0 0.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.916 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.917 * [backup-simplify]: Simplify (+ 0 0) into 0 0.917 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.917 * [backup-simplify]: Simplify 0 into 0 0.918 * [backup-simplify]: Simplify (+ (* 12.0 (/ 1 (/ 1 (- x)))) (* 9.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 9.0 (pow x 2)) (* 12.0 x)) 0.918 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 0.918 * [backup-simplify]: Simplify (- (* x 9.0) 12.0) into (- (* 9.0 x) 12.0) 0.918 * [approximate]: Taking taylor expansion of (- (* 9.0 x) 12.0) in (x) around 0 0.918 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x 0.918 * [taylor]: Taking taylor expansion of (* 9.0 x) in x 0.918 * [taylor]: Taking taylor expansion of 9.0 in x 0.918 * [backup-simplify]: Simplify 9.0 into 9.0 0.918 * [taylor]: Taking taylor expansion of x in x 0.918 * [backup-simplify]: Simplify 0 into 0 0.918 * [backup-simplify]: Simplify 1 into 1 0.918 * [taylor]: Taking taylor expansion of 12.0 in x 0.918 * [backup-simplify]: Simplify 12.0 into 12.0 0.918 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x 0.918 * [taylor]: Taking taylor expansion of (* 9.0 x) in x 0.918 * [taylor]: Taking taylor expansion of 9.0 in x 0.918 * [backup-simplify]: Simplify 9.0 into 9.0 0.918 * [taylor]: Taking taylor expansion of x in x 0.918 * [backup-simplify]: Simplify 0 into 0 0.918 * [backup-simplify]: Simplify 1 into 1 0.918 * [taylor]: Taking taylor expansion of 12.0 in x 0.918 * [backup-simplify]: Simplify 12.0 into 12.0 0.918 * [backup-simplify]: Simplify (* 9.0 0) into 0 0.919 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.919 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0) 0.919 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.920 * [backup-simplify]: Simplify (+ (* 9.0 1) (* 0 0)) into 9.0 0.920 * [backup-simplify]: Simplify (- 0) into 0 0.920 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0 0.920 * [backup-simplify]: Simplify 9.0 into 9.0 0.921 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 1) (* 0 0))) into 0 0.921 * [backup-simplify]: Simplify (- 0) into 0 0.921 * [backup-simplify]: Simplify (+ 0 0) into 0 0.921 * [backup-simplify]: Simplify 0 into 0 0.922 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.922 * [backup-simplify]: Simplify (- 0) into 0 0.922 * [backup-simplify]: Simplify (+ 0 0) into 0 0.922 * [backup-simplify]: Simplify 0 into 0 0.923 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.923 * [backup-simplify]: Simplify (- 0) into 0 0.924 * [backup-simplify]: Simplify (+ 0 0) into 0 0.924 * [backup-simplify]: Simplify 0 into 0 0.924 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.925 * [backup-simplify]: Simplify (- 0) into 0 0.925 * [backup-simplify]: Simplify (+ 0 0) into 0 0.925 * [backup-simplify]: Simplify 0 into 0 0.926 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.926 * [backup-simplify]: Simplify (- 0) into 0 0.926 * [backup-simplify]: Simplify (+ 0 0) into 0 0.926 * [backup-simplify]: Simplify 0 into 0 0.927 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.927 * [backup-simplify]: Simplify (- 0) into 0 0.927 * [backup-simplify]: Simplify (+ 0 0) into 0 0.927 * [backup-simplify]: Simplify 0 into 0 0.928 * [backup-simplify]: Simplify (+ (* 9.0 x) (- 12.0)) into (- (* 9.0 x) 12.0) 0.928 * [backup-simplify]: Simplify (- (* (/ 1 x) 9.0) 12.0) into (- (* 9.0 (/ 1 x)) 12.0) 0.928 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in (x) around 0 0.928 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x 0.928 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 0.928 * [taylor]: Taking taylor expansion of 9.0 in x 0.928 * [backup-simplify]: Simplify 9.0 into 9.0 0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.928 * [taylor]: Taking taylor expansion of x in x 0.928 * [backup-simplify]: Simplify 0 into 0 0.928 * [backup-simplify]: Simplify 1 into 1 0.928 * [backup-simplify]: Simplify (/ 1 1) into 1 0.928 * [taylor]: Taking taylor expansion of 12.0 in x 0.928 * [backup-simplify]: Simplify 12.0 into 12.0 0.928 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x 0.928 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 0.928 * [taylor]: Taking taylor expansion of 9.0 in x 0.928 * [backup-simplify]: Simplify 9.0 into 9.0 0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.928 * [taylor]: Taking taylor expansion of x in x 0.928 * [backup-simplify]: Simplify 0 into 0 0.928 * [backup-simplify]: Simplify 1 into 1 0.928 * [backup-simplify]: Simplify (/ 1 1) into 1 0.928 * [taylor]: Taking taylor expansion of 12.0 in x 0.929 * [backup-simplify]: Simplify 12.0 into 12.0 0.929 * [backup-simplify]: Simplify (* 9.0 1) into 9.0 0.929 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0 0.929 * [backup-simplify]: Simplify 9.0 into 9.0 0.929 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.934 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0 0.934 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.935 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0) 0.935 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.936 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0 0.936 * [backup-simplify]: Simplify (- 0) into 0 0.937 * [backup-simplify]: Simplify (+ 0 0) into 0 0.937 * [backup-simplify]: Simplify 0 into 0 0.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.938 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.938 * [backup-simplify]: Simplify (- 0) into 0 0.938 * [backup-simplify]: Simplify (+ 0 0) into 0 0.938 * [backup-simplify]: Simplify 0 into 0 0.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.939 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.939 * [backup-simplify]: Simplify (- 0) into 0 0.940 * [backup-simplify]: Simplify (+ 0 0) into 0 0.940 * [backup-simplify]: Simplify 0 into 0 0.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.941 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.941 * [backup-simplify]: Simplify (- 0) into 0 0.941 * [backup-simplify]: Simplify (+ 0 0) into 0 0.941 * [backup-simplify]: Simplify 0 into 0 0.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.942 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.943 * [backup-simplify]: Simplify (- 0) into 0 0.943 * [backup-simplify]: Simplify (+ 0 0) into 0 0.943 * [backup-simplify]: Simplify 0 into 0 0.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.944 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.944 * [backup-simplify]: Simplify (- 0) into 0 0.945 * [backup-simplify]: Simplify (+ 0 0) into 0 0.945 * [backup-simplify]: Simplify 0 into 0 0.945 * [backup-simplify]: Simplify (+ (- 12.0) (* 9.0 (/ 1 (/ 1 x)))) into (- (* 9.0 x) 12.0) 0.945 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) 9.0) 12.0) into (- (+ 12.0 (* 9.0 (/ 1 x)))) 0.945 * [approximate]: Taking taylor expansion of (- (+ 12.0 (* 9.0 (/ 1 x)))) in (x) around 0 0.945 * [taylor]: Taking taylor expansion of (- (+ 12.0 (* 9.0 (/ 1 x)))) in x 0.945 * [taylor]: Taking taylor expansion of (+ 12.0 (* 9.0 (/ 1 x))) in x 0.945 * [taylor]: Taking taylor expansion of 12.0 in x 0.945 * [backup-simplify]: Simplify 12.0 into 12.0 0.945 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 0.945 * [taylor]: Taking taylor expansion of 9.0 in x 0.945 * [backup-simplify]: Simplify 9.0 into 9.0 0.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.945 * [taylor]: Taking taylor expansion of x in x 0.945 * [backup-simplify]: Simplify 0 into 0 0.945 * [backup-simplify]: Simplify 1 into 1 0.946 * [backup-simplify]: Simplify (/ 1 1) into 1 0.946 * [taylor]: Taking taylor expansion of (- (+ 12.0 (* 9.0 (/ 1 x)))) in x 0.946 * [taylor]: Taking taylor expansion of (+ 12.0 (* 9.0 (/ 1 x))) in x 0.946 * [taylor]: Taking taylor expansion of 12.0 in x 0.946 * [backup-simplify]: Simplify 12.0 into 12.0 0.946 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 0.946 * [taylor]: Taking taylor expansion of 9.0 in x 0.946 * [backup-simplify]: Simplify 9.0 into 9.0 0.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.946 * [taylor]: Taking taylor expansion of x in x 0.946 * [backup-simplify]: Simplify 0 into 0 0.946 * [backup-simplify]: Simplify 1 into 1 0.946 * [backup-simplify]: Simplify (/ 1 1) into 1 0.946 * [backup-simplify]: Simplify (* 9.0 1) into 9.0 0.947 * [backup-simplify]: Simplify (+ 0 9.0) into 9.0 0.947 * [backup-simplify]: Simplify (- 9.0) into (- 9.0) 0.947 * [backup-simplify]: Simplify (- 9.0) into (- 9.0) 0.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.948 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0 0.948 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0 0.948 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.948 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 0.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.949 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0 0.950 * [backup-simplify]: Simplify (+ 0 0) into 0 0.950 * [backup-simplify]: Simplify (- 0) into 0 0.950 * [backup-simplify]: Simplify 0 into 0 0.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.951 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.951 * [backup-simplify]: Simplify (+ 0 0) into 0 0.951 * [backup-simplify]: Simplify (- 0) into 0 0.951 * [backup-simplify]: Simplify 0 into 0 0.952 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.952 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.952 * [backup-simplify]: Simplify (+ 0 0) into 0 0.953 * [backup-simplify]: Simplify (- 0) into 0 0.953 * [backup-simplify]: Simplify 0 into 0 0.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.954 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.954 * [backup-simplify]: Simplify (+ 0 0) into 0 0.954 * [backup-simplify]: Simplify (- 0) into 0 0.954 * [backup-simplify]: Simplify 0 into 0 0.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.956 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.956 * [backup-simplify]: Simplify (+ 0 0) into 0 0.956 * [backup-simplify]: Simplify (- 0) into 0 0.956 * [backup-simplify]: Simplify 0 into 0 0.956 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.957 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.958 * [backup-simplify]: Simplify (+ 0 0) into 0 0.958 * [backup-simplify]: Simplify (- 0) into 0 0.958 * [backup-simplify]: Simplify 0 into 0 0.958 * [backup-simplify]: Simplify (+ (- 12.0) (* (- 9.0) (/ 1 (/ 1 (- x))))) into (- (* 9.0 x) 12.0) 0.958 * * * [progress]: simplifying candidates 0.959 * [simplify]: Simplifying: (* x (- (* x 9.0) 12.0)) (+ (log x) (log (- (* x 9.0) 12.0))) (log (* x (- (* x 9.0) 12.0))) (exp (* x (- (* x 9.0) 12.0))) (* (* (* x x) x) (* (* (- (* x 9.0) 12.0) (- (* x 9.0) 12.0)) (- (* x 9.0) 12.0))) (* (cbrt (* x (- (* x 9.0) 12.0))) (cbrt (* x (- (* x 9.0) 12.0)))) (cbrt (* x (- (* x 9.0) 12.0))) (* (* (* x (- (* x 9.0) 12.0)) (* x (- (* x 9.0) 12.0))) (* x (- (* x 9.0) 12.0))) (sqrt (* x (- (* x 9.0) 12.0))) (sqrt (* x (- (* x 9.0) 12.0))) (* (sqrt x) (sqrt (- (* x 9.0) 12.0))) (* (sqrt x) (sqrt (- (* x 9.0) 12.0))) (* x (* x 9.0)) (* x (- 12.0)) (* x (* x 9.0)) (* x (- 12.0)) (* (* x 9.0) x) (* (- 12.0) x) (* (* x 9.0) x) (* (- 12.0) x) (* x (* (cbrt (- (* x 9.0) 12.0)) (cbrt (- (* x 9.0) 12.0)))) (* x (sqrt (- (* x 9.0) 12.0))) (* x 1) (* (cbrt x) (- (* x 9.0) 12.0)) (* (sqrt x) (- (* x 9.0) 12.0)) (* x (- (* x 9.0) 12.0)) (* x (- (pow (* x 9.0) 3) (pow 12.0 3))) (* x (- (* (* x 9.0) (* x 9.0)) (* 12.0 12.0))) (/ (exp (* x 9.0)) (exp 12.0)) (log (- (* x 9.0) 12.0)) (exp (- (* x 9.0) 12.0)) (* (cbrt (- (* x 9.0) 12.0)) (cbrt (- (* x 9.0) 12.0))) (cbrt (- (* x 9.0) 12.0)) (* (* (- (* x 9.0) 12.0) (- (* x 9.0) 12.0)) (- (* x 9.0) 12.0)) (sqrt (- (* x 9.0) 12.0)) (sqrt (- (* x 9.0) 12.0)) (- (pow (* x 9.0) 3) (pow 12.0 3)) (+ (* (* x 9.0) (* x 9.0)) (+ (* 12.0 12.0) (* (* x 9.0) 12.0))) (- 12.0) (- (* (* x 9.0) (* x 9.0)) (* 12.0 12.0)) (+ (* x 9.0) 12.0) (- 12.0) (- (* 9.0 (pow x 2)) (* 12.0 x)) (- (* 9.0 (pow x 2)) (* 12.0 x)) (- (* 9.0 (pow x 2)) (* 12.0 x)) (- (* 9.0 x) 12.0) (- (* 9.0 x) 12.0) (- (* 9.0 x) 12.0) 0.959 * [simplify]: Sending expressions to egg_math: (* h2 (- (* h2 h1) h0)) (+ (log h2) (log (- (* h2 h1) h0))) (log (* h2 (- (* h2 h1) h0))) (exp (* h2 (- (* h2 h1) h0))) (* (* (* h2 h2) h2) (* (* (- (* h2 h1) h0) (- (* h2 h1) h0)) (- (* h2 h1) h0))) (* (cbrt (* h2 (- (* h2 h1) h0))) (cbrt (* h2 (- (* h2 h1) h0)))) (cbrt (* h2 (- (* h2 h1) h0))) (* (* (* h2 (- (* h2 h1) h0)) (* h2 (- (* h2 h1) h0))) (* h2 (- (* h2 h1) h0))) (sqrt (* h2 (- (* h2 h1) h0))) (sqrt (* h2 (- (* h2 h1) h0))) (* (sqrt h2) (sqrt (- (* h2 h1) h0))) (* (sqrt h2) (sqrt (- (* h2 h1) h0))) (* h2 (* h2 h1)) (* h2 (- h0)) (* h2 (* h2 h1)) (* h2 (- h0)) (* (* h2 h1) h2) (* (- h0) h2) (* (* h2 h1) h2) (* (- h0) h2) (* h2 (* (cbrt (- (* h2 h1) h0)) (cbrt (- (* h2 h1) h0)))) (* h2 (sqrt (- (* h2 h1) h0))) (* h2 1) (* (cbrt h2) (- (* h2 h1) h0)) (* (sqrt h2) (- (* h2 h1) h0)) (* h2 (- (* h2 h1) h0)) (* h2 (- (pow (* h2 h1) 3) (pow h0 3))) (* h2 (- (* (* h2 h1) (* h2 h1)) (* h0 h0))) (/ (exp (* h2 h1)) (exp h0)) (log (- (* h2 h1) h0)) (exp (- (* h2 h1) h0)) (* (cbrt (- (* h2 h1) h0)) (cbrt (- (* h2 h1) h0))) (cbrt (- (* h2 h1) h0)) (* (* (- (* h2 h1) h0) (- (* h2 h1) h0)) (- (* h2 h1) h0)) (sqrt (- (* h2 h1) h0)) (sqrt (- (* h2 h1) h0)) (- (pow (* h2 h1) 3) (pow h0 3)) (+ (* (* h2 h1) (* h2 h1)) (+ (* h0 h0) (* (* h2 h1) h0))) (- h0) (- (* (* h2 h1) (* h2 h1)) (* h0 h0)) (+ (* h2 h1) h0) (- h0) (- (* h1 (pow h2 2)) (* h0 h2)) (- (* h1 (pow h2 2)) (* h0 h2)) (- (* h1 (pow h2 2)) (* h0 h2)) (- (* h1 h2) h0) (- (* h1 h2) h0) (- (* h1 h2) h0) 0.962 * * [simplify]: iteration 0 : 137 enodes (cost 189 ) 0.966 * * [simplify]: iteration 1 : 560 enodes (cost 167 ) 0.979 * * [simplify]: iteration 2 : 2720 enodes (cost 166 ) 1.035 * * [simplify]: iteration 3 : 5001 enodes (cost 166 ) 1.036 * * * [progress]: adding candidates to table 1.101 * * [progress]: iteration 4 / 4 1.101 * * * [progress]: picking best candidate 1.108 * * * * [pick]: Picked # 1.108 * * * [progress]: localizing error 1.119 * * * [progress]: generating rewritten candidates 1.119 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2) 1.122 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 1.128 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.188 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.638 * * * [progress]: generating series expansions 1.638 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2) 1.638 * [backup-simplify]: Simplify (sqrt (pow x 2)) into x 1.638 * [approximate]: Taking taylor expansion of x in (x) around 0 1.638 * [taylor]: Taking taylor expansion of x in x 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 1 into 1 1.638 * [taylor]: Taking taylor expansion of x in x 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 1 into 1 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 1 into 1 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify (* 1 x) into x 1.638 * [backup-simplify]: Simplify (sqrt (pow (/ 1 x) 2)) into (/ 1 x) 1.638 * [approximate]: Taking taylor expansion of (/ 1 x) in (x) around 0 1.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.638 * [taylor]: Taking taylor expansion of x in x 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 1 into 1 1.639 * [backup-simplify]: Simplify (/ 1 1) into 1 1.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.639 * [taylor]: Taking taylor expansion of x in x 1.639 * [backup-simplify]: Simplify 0 into 0 1.639 * [backup-simplify]: Simplify 1 into 1 1.639 * [backup-simplify]: Simplify (/ 1 1) into 1 1.639 * [backup-simplify]: Simplify 1 into 1 1.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.640 * [backup-simplify]: Simplify 0 into 0 1.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.640 * [backup-simplify]: Simplify 0 into 0 1.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.641 * [backup-simplify]: Simplify 0 into 0 1.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.641 * [backup-simplify]: Simplify 0 into 0 1.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.642 * [backup-simplify]: Simplify 0 into 0 1.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.642 * [backup-simplify]: Simplify 0 into 0 1.643 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 x))) into x 1.643 * [backup-simplify]: Simplify (sqrt (pow (/ 1 (- x)) 2)) into (/ 1 x) 1.643 * [approximate]: Taking taylor expansion of (/ 1 x) in (x) around 0 1.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.643 * [taylor]: Taking taylor expansion of x in x 1.643 * [backup-simplify]: Simplify 0 into 0 1.643 * [backup-simplify]: Simplify 1 into 1 1.643 * [backup-simplify]: Simplify (/ 1 1) into 1 1.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.643 * [taylor]: Taking taylor expansion of x in x 1.643 * [backup-simplify]: Simplify 0 into 0 1.643 * [backup-simplify]: Simplify 1 into 1 1.643 * [backup-simplify]: Simplify (/ 1 1) into 1 1.643 * [backup-simplify]: Simplify 1 into 1 1.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.644 * [backup-simplify]: Simplify 0 into 0 1.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.644 * [backup-simplify]: Simplify 0 into 0 1.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.645 * [backup-simplify]: Simplify 0 into 0 1.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.645 * [backup-simplify]: Simplify 0 into 0 1.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.646 * [backup-simplify]: Simplify 0 into 0 1.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.646 * [backup-simplify]: Simplify 0 into 0 1.646 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- x)))) into (* -1 x) 1.646 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 1.647 * [backup-simplify]: Simplify (sqrt (pow x 2)) into x 1.647 * [approximate]: Taking taylor expansion of x in (x) around 0 1.647 * [taylor]: Taking taylor expansion of x in x 1.647 * [backup-simplify]: Simplify 0 into 0 1.647 * [backup-simplify]: Simplify 1 into 1 1.647 * [taylor]: Taking taylor expansion of x in x 1.647 * [backup-simplify]: Simplify 0 into 0 1.647 * [backup-simplify]: Simplify 1 into 1 1.647 * [backup-simplify]: Simplify 0 into 0 1.647 * [backup-simplify]: Simplify 1 into 1 1.647 * [backup-simplify]: Simplify 0 into 0 1.647 * [backup-simplify]: Simplify 0 into 0 1.647 * [backup-simplify]: Simplify 0 into 0 1.647 * [backup-simplify]: Simplify 0 into 0 1.647 * [backup-simplify]: Simplify 0 into 0 1.647 * [backup-simplify]: Simplify 0 into 0 1.647 * [backup-simplify]: Simplify (* 1 x) into x 1.647 * [backup-simplify]: Simplify (sqrt (pow (/ 1 x) 2)) into (/ 1 x) 1.647 * [approximate]: Taking taylor expansion of (/ 1 x) in (x) around 0 1.647 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.647 * [taylor]: Taking taylor expansion of x in x 1.647 * [backup-simplify]: Simplify 0 into 0 1.647 * [backup-simplify]: Simplify 1 into 1 1.647 * [backup-simplify]: Simplify (/ 1 1) into 1 1.647 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.648 * [taylor]: Taking taylor expansion of x in x 1.648 * [backup-simplify]: Simplify 0 into 0 1.648 * [backup-simplify]: Simplify 1 into 1 1.648 * [backup-simplify]: Simplify (/ 1 1) into 1 1.648 * [backup-simplify]: Simplify 1 into 1 1.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.648 * [backup-simplify]: Simplify 0 into 0 1.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.649 * [backup-simplify]: Simplify 0 into 0 1.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.649 * [backup-simplify]: Simplify 0 into 0 1.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.650 * [backup-simplify]: Simplify 0 into 0 1.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.650 * [backup-simplify]: Simplify 0 into 0 1.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.651 * [backup-simplify]: Simplify 0 into 0 1.651 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 x))) into x 1.651 * [backup-simplify]: Simplify (sqrt (pow (/ 1 (- x)) 2)) into (/ 1 x) 1.651 * [approximate]: Taking taylor expansion of (/ 1 x) in (x) around 0 1.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.651 * [taylor]: Taking taylor expansion of x in x 1.651 * [backup-simplify]: Simplify 0 into 0 1.651 * [backup-simplify]: Simplify 1 into 1 1.651 * [backup-simplify]: Simplify (/ 1 1) into 1 1.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.651 * [taylor]: Taking taylor expansion of x in x 1.651 * [backup-simplify]: Simplify 0 into 0 1.651 * [backup-simplify]: Simplify 1 into 1 1.652 * [backup-simplify]: Simplify (/ 1 1) into 1 1.652 * [backup-simplify]: Simplify 1 into 1 1.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.652 * [backup-simplify]: Simplify 0 into 0 1.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.652 * [backup-simplify]: Simplify 0 into 0 1.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.653 * [backup-simplify]: Simplify 0 into 0 1.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.653 * [backup-simplify]: Simplify 0 into 0 1.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.654 * [backup-simplify]: Simplify 0 into 0 1.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.654 * [backup-simplify]: Simplify 0 into 0 1.655 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- x)))) into (* -1 x) 1.655 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.655 * [backup-simplify]: Simplify (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) into (* (pow x 2) (pow (sqrt 9.0) 2)) 1.655 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 9.0) 2)) in (x) around 0 1.655 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 9.0) 2)) in x 1.655 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.655 * [taylor]: Taking taylor expansion of x in x 1.655 * [backup-simplify]: Simplify 0 into 0 1.655 * [backup-simplify]: Simplify 1 into 1 1.655 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x 1.655 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x 1.655 * [taylor]: Taking taylor expansion of 9.0 in x 1.655 * [backup-simplify]: Simplify 9.0 into 9.0 1.656 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0) 1.656 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0 1.656 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 9.0) 2)) in x 1.656 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.656 * [taylor]: Taking taylor expansion of x in x 1.656 * [backup-simplify]: Simplify 0 into 0 1.656 * [backup-simplify]: Simplify 1 into 1 1.656 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x 1.656 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x 1.656 * [taylor]: Taking taylor expansion of 9.0 in x 1.656 * [backup-simplify]: Simplify 9.0 into 9.0 1.657 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0) 1.657 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0 1.657 * [backup-simplify]: Simplify (* 1 1) into 1 1.658 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2) 1.659 * [backup-simplify]: Simplify (* 1 (pow (sqrt 9.0) 2)) into (pow (sqrt 9.0) 2) 1.659 * [backup-simplify]: Simplify (pow (sqrt 9.0) 2) into (pow (sqrt 9.0) 2) 1.660 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (* 0 (sqrt 9.0))) into 0 1.660 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.661 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 9.0) 2))) into 0 1.661 * [backup-simplify]: Simplify 0 into 0 1.661 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 9.0))) into 0 1.662 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (* 0 (sqrt 9.0)))) into 0 1.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2)))) into 0 1.663 * [backup-simplify]: Simplify 0 into 0 1.664 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0 1.664 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))) into 0 1.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2))))) into 0 1.666 * [backup-simplify]: Simplify 0 into 0 1.666 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0 1.667 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))) into 0 1.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2)))))) into 0 1.669 * [backup-simplify]: Simplify 0 into 0 1.669 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0 1.670 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))))) into 0 1.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2))))))) into 0 1.672 * [backup-simplify]: Simplify 0 into 0 1.672 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0 1.673 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))))) into 0 1.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 9.0) 2)))))))) into 0 1.675 * [backup-simplify]: Simplify 0 into 0 1.676 * [backup-simplify]: Simplify (* (pow (sqrt 9.0) 2) (pow x 2)) into (* (pow x 2) (pow (sqrt 9.0) 2)) 1.676 * [backup-simplify]: Simplify (* (* (sqrt 9.0) (sqrt (pow (/ 1 x) 2))) (* (sqrt 9.0) (sqrt (pow (/ 1 x) 2)))) into (/ (pow (sqrt 9.0) 2) (pow x 2)) 1.676 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in (x) around 0 1.676 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x 1.676 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x 1.676 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x 1.676 * [taylor]: Taking taylor expansion of 9.0 in x 1.676 * [backup-simplify]: Simplify 9.0 into 9.0 1.677 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0) 1.677 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0 1.677 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.677 * [taylor]: Taking taylor expansion of x in x 1.677 * [backup-simplify]: Simplify 0 into 0 1.677 * [backup-simplify]: Simplify 1 into 1 1.678 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2) 1.678 * [backup-simplify]: Simplify (* 1 1) into 1 1.679 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2) 1.679 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x 1.679 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x 1.679 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x 1.679 * [taylor]: Taking taylor expansion of 9.0 in x 1.679 * [backup-simplify]: Simplify 9.0 into 9.0 1.679 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0) 1.680 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0 1.680 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.680 * [taylor]: Taking taylor expansion of x in x 1.680 * [backup-simplify]: Simplify 0 into 0 1.680 * [backup-simplify]: Simplify 1 into 1 1.681 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2) 1.681 * [backup-simplify]: Simplify (* 1 1) into 1 1.682 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2) 1.682 * [backup-simplify]: Simplify (pow (sqrt 9.0) 2) into (pow (sqrt 9.0) 2) 1.683 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (* 0 (sqrt 9.0))) into 0 1.683 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.684 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)))) into 0 1.684 * [backup-simplify]: Simplify 0 into 0 1.684 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 9.0))) into 0 1.685 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (* 0 (sqrt 9.0)))) into 0 1.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.686 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.686 * [backup-simplify]: Simplify 0 into 0 1.687 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0 1.687 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))) into 0 1.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.689 * [backup-simplify]: Simplify 0 into 0 1.690 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0 1.690 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))) into 0 1.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.692 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.692 * [backup-simplify]: Simplify 0 into 0 1.692 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0 1.693 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))))) into 0 1.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.694 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.694 * [backup-simplify]: Simplify 0 into 0 1.695 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0 1.696 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))))) into 0 1.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.698 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.698 * [backup-simplify]: Simplify 0 into 0 1.698 * [backup-simplify]: Simplify (* (pow (sqrt 9.0) 2) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (pow (sqrt 9.0) 2)) 1.699 * [backup-simplify]: Simplify (* (* (sqrt 9.0) (sqrt (pow (/ 1 (- x)) 2))) (* (sqrt 9.0) (sqrt (pow (/ 1 (- x)) 2)))) into (/ (pow (sqrt 9.0) 2) (pow x 2)) 1.699 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in (x) around 0 1.699 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x 1.699 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x 1.699 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x 1.699 * [taylor]: Taking taylor expansion of 9.0 in x 1.699 * [backup-simplify]: Simplify 9.0 into 9.0 1.700 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0) 1.700 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0 1.700 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.700 * [taylor]: Taking taylor expansion of x in x 1.700 * [backup-simplify]: Simplify 0 into 0 1.700 * [backup-simplify]: Simplify 1 into 1 1.701 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2) 1.701 * [backup-simplify]: Simplify (* 1 1) into 1 1.702 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2) 1.702 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x 1.702 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x 1.702 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x 1.702 * [taylor]: Taking taylor expansion of 9.0 in x 1.702 * [backup-simplify]: Simplify 9.0 into 9.0 1.703 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0) 1.703 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0 1.703 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.703 * [taylor]: Taking taylor expansion of x in x 1.703 * [backup-simplify]: Simplify 0 into 0 1.703 * [backup-simplify]: Simplify 1 into 1 1.704 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2) 1.704 * [backup-simplify]: Simplify (* 1 1) into 1 1.705 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2) 1.705 * [backup-simplify]: Simplify (pow (sqrt 9.0) 2) into (pow (sqrt 9.0) 2) 1.706 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (* 0 (sqrt 9.0))) into 0 1.706 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.707 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)))) into 0 1.707 * [backup-simplify]: Simplify 0 into 0 1.707 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 9.0))) into 0 1.708 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (* 0 (sqrt 9.0)))) into 0 1.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.715 * [backup-simplify]: Simplify 0 into 0 1.715 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0 1.716 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))) into 0 1.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.717 * [backup-simplify]: Simplify 0 into 0 1.718 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0 1.719 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))) into 0 1.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.720 * [backup-simplify]: Simplify 0 into 0 1.721 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0 1.721 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0))))))) into 0 1.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.723 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.723 * [backup-simplify]: Simplify 0 into 0 1.724 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 9.0))) into 0 1.724 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 9.0)))))))) into 0 1.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.726 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.726 * [backup-simplify]: Simplify 0 into 0 1.727 * [backup-simplify]: Simplify (* (pow (sqrt 9.0) 2) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (pow (sqrt 9.0) 2)) 1.727 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.727 * [backup-simplify]: Simplify (- (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (* 12.0 x)) into (- (+ (* (pow x 2) (pow (sqrt 9.0) 2)) 3.0) (* 12.0 x)) 1.727 * [approximate]: Taking taylor expansion of (- (+ (* (pow x 2) (pow (sqrt 9.0) 2)) 3.0) (* 12.0 x)) in (x) around 0 1.727 * [taylor]: Taking taylor expansion of (- (+ (* (pow x 2) (pow (sqrt 9.0) 2)) 3.0) (* 12.0 x)) in x 1.727 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow (sqrt 9.0) 2)) 3.0) in x 1.728 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 9.0) 2)) in x 1.728 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.728 * [taylor]: Taking taylor expansion of x in x 1.728 * [backup-simplify]: Simplify 0 into 0 1.728 * [backup-simplify]: Simplify 1 into 1 1.728 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x 1.728 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x 1.728 * [taylor]: Taking taylor expansion of 9.0 in x 1.728 * [backup-simplify]: Simplify 9.0 into 9.0 1.728 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0) 1.728 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0 1.728 * [taylor]: Taking taylor expansion of 3.0 in x 1.728 * [backup-simplify]: Simplify 3.0 into 3.0 1.728 * [taylor]: Taking taylor expansion of (* 12.0 x) in x 1.728 * [taylor]: Taking taylor expansion of 12.0 in x 1.728 * [backup-simplify]: Simplify 12.0 into 12.0 1.728 * [taylor]: Taking taylor expansion of x in x 1.728 * [backup-simplify]: Simplify 0 into 0 1.728 * [backup-simplify]: Simplify 1 into 1 1.728 * [taylor]: Taking taylor expansion of (- (+ (* (pow x 2) (pow (sqrt 9.0) 2)) 3.0) (* 12.0 x)) in x 1.728 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow (sqrt 9.0) 2)) 3.0) in x 1.728 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 9.0) 2)) in x 1.728 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.728 * [taylor]: Taking taylor expansion of x in x 1.729 * [backup-simplify]: Simplify 0 into 0 1.729 * [backup-simplify]: Simplify 1 into 1 1.729 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x 1.729 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x 1.729 * [taylor]: Taking taylor expansion of 9.0 in x 1.729 * [backup-simplify]: Simplify 9.0 into 9.0 1.729 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0) 1.729 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0 1.729 * [taylor]: Taking taylor expansion of 3.0 in x 1.729 * [backup-simplify]: Simplify 3.0 into 3.0 1.729 * [taylor]: Taking taylor expansion of (* 12.0 x) in x 1.729 * [taylor]: Taking taylor expansion of 12.0 in x 1.729 * [backup-simplify]: Simplify 12.0 into 12.0 1.729 * [taylor]: Taking taylor expansion of x in x 1.729 * [backup-simplify]: Simplify 0 into 0 1.729 * [backup-simplify]: Simplify 1 into 1 1.730 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 1.730 * [backup-simplify]: Simplify (* 12.0 0) into 0 1.730 * [backup-simplify]: Simplify (- 0) into 0 1.730 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 1.730 * [backup-simplify]: Simplify 3.0 into 3.0 1.731 * [backup-simplify]: Simplify (+ 0 0) into 0 1.731 * [backup-simplify]: Simplify (+ (* 12.0 1) (* 0 0)) into 12.0 1.732 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 1.732 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0) 1.732 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 1.732 * [backup-simplify]: Simplify (* 1 1) into 1 1.733 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2) 1.734 * [backup-simplify]: Simplify (* 1 (pow (sqrt 9.0) 2)) into (pow (sqrt 9.0) 2) 1.735 * [backup-simplify]: Simplify (+ (pow (sqrt 9.0) 2) 0) into (pow (sqrt 9.0) 2) 1.735 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 1) (* 0 0))) into 0 1.736 * [backup-simplify]: Simplify (- 0) into 0 1.737 * [backup-simplify]: Simplify (+ (pow (sqrt 9.0) 2) 0) into (pow (sqrt 9.0) 2) 1.737 * [backup-simplify]: Simplify (pow (sqrt 9.0) 2) into (pow (sqrt 9.0) 2) 1.738 * [backup-simplify]: Simplify (+ (* (pow (sqrt 9.0) 2) (pow x 2)) (+ (* (- 12.0) x) 3.0)) into (- (+ (* (pow x 2) (pow (sqrt 9.0) 2)) 3.0) (* 12.0 x)) 1.739 * [backup-simplify]: Simplify (- (+ (* (* (sqrt 9.0) (sqrt (pow (/ 1 x) 2))) (* (sqrt 9.0) (sqrt (pow (/ 1 x) 2)))) 3.0) (* 12.0 (/ 1 x))) into (- (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) 3.0) (* 12.0 (/ 1 x))) 1.739 * [approximate]: Taking taylor expansion of (- (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) 3.0) (* 12.0 (/ 1 x))) in (x) around 0 1.739 * [taylor]: Taking taylor expansion of (- (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) 3.0) (* 12.0 (/ 1 x))) in x 1.739 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) 3.0) in x 1.739 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x 1.739 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x 1.739 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x 1.739 * [taylor]: Taking taylor expansion of 9.0 in x 1.739 * [backup-simplify]: Simplify 9.0 into 9.0 1.739 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0) 1.740 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0 1.740 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.740 * [taylor]: Taking taylor expansion of x in x 1.740 * [backup-simplify]: Simplify 0 into 0 1.740 * [backup-simplify]: Simplify 1 into 1 1.740 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2) 1.741 * [backup-simplify]: Simplify (* 1 1) into 1 1.742 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2) 1.742 * [taylor]: Taking taylor expansion of 3.0 in x 1.742 * [backup-simplify]: Simplify 3.0 into 3.0 1.742 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x 1.742 * [taylor]: Taking taylor expansion of 12.0 in x 1.742 * [backup-simplify]: Simplify 12.0 into 12.0 1.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.742 * [taylor]: Taking taylor expansion of x in x 1.742 * [backup-simplify]: Simplify 0 into 0 1.742 * [backup-simplify]: Simplify 1 into 1 1.742 * [backup-simplify]: Simplify (/ 1 1) into 1 1.742 * [taylor]: Taking taylor expansion of (- (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) 3.0) (* 12.0 (/ 1 x))) in x 1.742 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) 3.0) in x 1.742 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x 1.742 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x 1.742 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x 1.742 * [taylor]: Taking taylor expansion of 9.0 in x 1.742 * [backup-simplify]: Simplify 9.0 into 9.0 1.742 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0) 1.743 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0 1.743 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.743 * [taylor]: Taking taylor expansion of x in x 1.743 * [backup-simplify]: Simplify 0 into 0 1.743 * [backup-simplify]: Simplify 1 into 1 1.743 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2) 1.744 * [backup-simplify]: Simplify (* 1 1) into 1 1.745 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2) 1.745 * [taylor]: Taking taylor expansion of 3.0 in x 1.745 * [backup-simplify]: Simplify 3.0 into 3.0 1.745 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x 1.745 * [taylor]: Taking taylor expansion of 12.0 in x 1.745 * [backup-simplify]: Simplify 12.0 into 12.0 1.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.745 * [taylor]: Taking taylor expansion of x in x 1.745 * [backup-simplify]: Simplify 0 into 0 1.745 * [backup-simplify]: Simplify 1 into 1 1.745 * [backup-simplify]: Simplify (/ 1 1) into 1 1.746 * [backup-simplify]: Simplify (+ (pow (sqrt 9.0) 2) 0) into (pow (sqrt 9.0) 2) 1.747 * [backup-simplify]: Simplify (+ (pow (sqrt 9.0) 2) 0) into (pow (sqrt 9.0) 2) 1.747 * [backup-simplify]: Simplify (pow (sqrt 9.0) 2) into (pow (sqrt 9.0) 2) 1.748 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (* 0 (sqrt 9.0))) into 0 1.748 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.749 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)))) into 0 1.749 * [backup-simplify]: Simplify (+ 0 0) into 0 1.749 * [backup-simplify]: Simplify (* 12.0 1) into 12.0 1.749 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 1.750 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0) 1.750 * [backup-simplify]: Simplify (- 12.0) into (- 12.0) 1.751 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 9.0))) into 0 1.751 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (* 0 (sqrt 9.0)))) into 0 1.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.752 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.753 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 1.753 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.753 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0 1.754 * [backup-simplify]: Simplify (- 0) into 0 1.754 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0 1.754 * [backup-simplify]: Simplify 3.0 into 3.0 1.755 * [backup-simplify]: Simplify (+ 3.0 (+ (* (- 12.0) (/ 1 (/ 1 x))) (* (pow (sqrt 9.0) 2) (pow (/ 1 (/ 1 x)) 2)))) into (- (+ (* (pow x 2) (pow (sqrt 9.0) 2)) 3.0) (* 12.0 x)) 1.756 * [backup-simplify]: Simplify (- (+ (* (* (sqrt 9.0) (sqrt (pow (/ 1 (- x)) 2))) (* (sqrt 9.0) (sqrt (pow (/ 1 (- x)) 2)))) 3.0) (* 12.0 (/ 1 (- x)))) into (+ (* 12.0 (/ 1 x)) (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) 3.0)) 1.756 * [approximate]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) 3.0)) in (x) around 0 1.756 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) 3.0)) in x 1.756 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x 1.756 * [taylor]: Taking taylor expansion of 12.0 in x 1.756 * [backup-simplify]: Simplify 12.0 into 12.0 1.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.756 * [taylor]: Taking taylor expansion of x in x 1.756 * [backup-simplify]: Simplify 0 into 0 1.756 * [backup-simplify]: Simplify 1 into 1 1.756 * [backup-simplify]: Simplify (/ 1 1) into 1 1.756 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) 3.0) in x 1.756 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x 1.756 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x 1.756 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x 1.756 * [taylor]: Taking taylor expansion of 9.0 in x 1.756 * [backup-simplify]: Simplify 9.0 into 9.0 1.757 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0) 1.757 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0 1.757 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.757 * [taylor]: Taking taylor expansion of x in x 1.757 * [backup-simplify]: Simplify 0 into 0 1.757 * [backup-simplify]: Simplify 1 into 1 1.758 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2) 1.758 * [backup-simplify]: Simplify (* 1 1) into 1 1.759 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2) 1.759 * [taylor]: Taking taylor expansion of 3.0 in x 1.759 * [backup-simplify]: Simplify 3.0 into 3.0 1.759 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) 3.0)) in x 1.759 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x 1.759 * [taylor]: Taking taylor expansion of 12.0 in x 1.759 * [backup-simplify]: Simplify 12.0 into 12.0 1.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.759 * [taylor]: Taking taylor expansion of x in x 1.759 * [backup-simplify]: Simplify 0 into 0 1.759 * [backup-simplify]: Simplify 1 into 1 1.759 * [backup-simplify]: Simplify (/ 1 1) into 1 1.759 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 9.0) 2) (pow x 2)) 3.0) in x 1.759 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 9.0) 2) (pow x 2)) in x 1.759 * [taylor]: Taking taylor expansion of (pow (sqrt 9.0) 2) in x 1.759 * [taylor]: Taking taylor expansion of (sqrt 9.0) in x 1.759 * [taylor]: Taking taylor expansion of 9.0 in x 1.759 * [backup-simplify]: Simplify 9.0 into 9.0 1.760 * [backup-simplify]: Simplify (sqrt 9.0) into (sqrt 9.0) 1.760 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 9.0))) into 0 1.760 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.760 * [taylor]: Taking taylor expansion of x in x 1.760 * [backup-simplify]: Simplify 0 into 0 1.760 * [backup-simplify]: Simplify 1 into 1 1.761 * [backup-simplify]: Simplify (* (sqrt 9.0) (sqrt 9.0)) into (pow (sqrt 9.0) 2) 1.761 * [backup-simplify]: Simplify (* 1 1) into 1 1.762 * [backup-simplify]: Simplify (/ (pow (sqrt 9.0) 2) 1) into (pow (sqrt 9.0) 2) 1.762 * [taylor]: Taking taylor expansion of 3.0 in x 1.762 * [backup-simplify]: Simplify 3.0 into 3.0 1.763 * [backup-simplify]: Simplify (+ (pow (sqrt 9.0) 2) 0) into (pow (sqrt 9.0) 2) 1.764 * [backup-simplify]: Simplify (+ 0 (pow (sqrt 9.0) 2)) into (pow (sqrt 9.0) 2) 1.764 * [backup-simplify]: Simplify (pow (sqrt 9.0) 2) into (pow (sqrt 9.0) 2) 1.765 * [backup-simplify]: Simplify (* 12.0 1) into 12.0 1.765 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (* 0 (sqrt 9.0))) into 0 1.765 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.766 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)))) into 0 1.766 * [backup-simplify]: Simplify (+ 0 0) into 0 1.767 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0 1.767 * [backup-simplify]: Simplify 12.0 into 12.0 1.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.767 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0 1.768 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 9.0))) into 0 1.768 * [backup-simplify]: Simplify (+ (* (sqrt 9.0) 0) (+ (* 0 0) (* 0 (sqrt 9.0)))) into 0 1.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.770 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 9.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.770 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 1.770 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 1.770 * [backup-simplify]: Simplify 3.0 into 3.0 1.771 * [backup-simplify]: Simplify (+ 3.0 (+ (* 12.0 (/ 1 (/ 1 (- x)))) (* (pow (sqrt 9.0) 2) (pow (/ 1 (/ 1 (- x))) 2)))) into (- (+ (* (pow x 2) (pow (sqrt 9.0) 2)) 3.0) (* 12.0 x)) 1.771 * * * [progress]: simplifying candidates 1.773 * [simplify]: Simplifying: (log (sqrt (pow x 2))) (exp (sqrt (pow x 2))) (* (cbrt (sqrt (pow x 2))) (cbrt (sqrt (pow x 2)))) (cbrt (sqrt (pow x 2))) (* (* (sqrt (pow x 2)) (sqrt (pow x 2))) (sqrt (pow x 2))) (sqrt (pow (* (cbrt x) (cbrt x)) 2)) (sqrt (pow (cbrt x) 2)) (sqrt (pow (sqrt x) 2)) (sqrt (pow (sqrt x) 2)) (sqrt (pow 1 2)) (sqrt (pow x 2)) (sqrt x) (sqrt x) (sqrt (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (sqrt (cbrt (pow x 2))) (sqrt (sqrt (pow x 2))) (sqrt (sqrt (pow x 2))) (sqrt 1) (sqrt (pow x 2)) (sqrt (pow x (/ 2 2))) (sqrt (pow x (/ 2 2))) (/ 2 2) (sqrt (sqrt (pow x 2))) (sqrt (sqrt (pow x 2))) (log (sqrt (pow x 2))) (exp (sqrt (pow x 2))) (* (cbrt (sqrt (pow x 2))) (cbrt (sqrt (pow x 2)))) (cbrt (sqrt (pow x 2))) (* (* (sqrt (pow x 2)) (sqrt (pow x 2))) (sqrt (pow x 2))) (sqrt (pow (* (cbrt x) (cbrt x)) 2)) (sqrt (pow (cbrt x) 2)) (sqrt (pow (sqrt x) 2)) (sqrt (pow (sqrt x) 2)) (sqrt (pow 1 2)) (sqrt (pow x 2)) (sqrt x) (sqrt x) (sqrt (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (sqrt (cbrt (pow x 2))) (sqrt (sqrt (pow x 2))) (sqrt (sqrt (pow x 2))) (sqrt 1) (sqrt (pow x 2)) (sqrt (pow x (/ 2 2))) (sqrt (pow x (/ 2 2))) (/ 2 2) (sqrt (sqrt (pow x 2))) (sqrt (sqrt (pow x 2))) (+ 1/2 1/2) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* 9.0 (pow x 2)) (* 9.0 (pow x 2))) (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) (+ 1 1) (+ 1 1) (+ (+ (log (sqrt 9.0)) (log (sqrt (pow x 2)))) (+ (log (sqrt 9.0)) (log (sqrt (pow x 2))))) (+ (+ (log (sqrt 9.0)) (log (sqrt (pow x 2)))) (log (* (sqrt 9.0) (sqrt (pow x 2))))) (+ (log (* (sqrt 9.0) (sqrt (pow x 2)))) (+ (log (sqrt 9.0)) (log (sqrt (pow x 2))))) (+ (log (* (sqrt 9.0) (sqrt (pow x 2)))) (log (* (sqrt 9.0) (sqrt (pow x 2))))) (log (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2))))) (exp (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2))))) (* (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (sqrt (pow x 2)) (sqrt (pow x 2))) (sqrt (pow x 2)))) (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (sqrt (pow x 2)) (sqrt (pow x 2))) (sqrt (pow x 2))))) (* (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (sqrt (pow x 2)) (sqrt (pow x 2))) (sqrt (pow x 2)))) (* (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) (* (sqrt 9.0) (sqrt (pow x 2))))) (* (* (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) (* (sqrt 9.0) (sqrt (pow x 2)))) (* (* (* (sqrt 9.0) (sqrt 9.0)) (sqrt 9.0)) (* (* (sqrt (pow x 2)) (sqrt (pow x 2))) (sqrt (pow x 2))))) (* (* (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) (* (sqrt 9.0) (sqrt (pow x 2)))) (* (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) (* (sqrt 9.0) (sqrt (pow x 2))))) (* (cbrt (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2))))) (cbrt (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))))) (cbrt (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2))))) (* (* (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2))))) (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2))))) (* (* 9.0 (pow x 2)) (* 9.0 (pow x 2))) (sqrt (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2))))) (sqrt (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2))))) (* (sqrt 9.0) (sqrt 9.0)) (* (sqrt (pow x 2)) (sqrt (pow x 2))) (* 2 1/2) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* (sqrt 9.0) (sqrt (pow x 2))) (sqrt 9.0)) (* (sqrt (pow x 2)) (* (sqrt 9.0) (sqrt (pow x 2)))) (/ (* (exp (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2))))) (exp 3.0)) (exp (* 12.0 x))) (/ (exp (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0)) (exp (* 12.0 x))) (log (- (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (* 12.0 x))) (exp (- (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (* 12.0 x))) (* (cbrt (- (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (* 12.0 x))) (cbrt (- (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (* 12.0 x)))) (cbrt (- (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (* 12.0 x))) (* (* (- (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (* 12.0 x)) (- (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (* 12.0 x))) (- (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (* 12.0 x))) (sqrt (- (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (* 12.0 x))) (sqrt (- (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (* 12.0 x))) (- (pow (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) 3) (pow (* 12.0 x) 3)) (+ (* (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0)) (+ (* (* 12.0 x) (* 12.0 x)) (* (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (* 12.0 x)))) (- (* 12.0 x)) (- (* (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0)) (* (* 12.0 x) (* 12.0 x))) (+ (+ (* (* (sqrt 9.0) (sqrt (pow x 2))) (* (sqrt 9.0) (sqrt (pow x 2)))) 3.0) (* 12.0 x)) (- 3.0 (* 12.0 x)) (- (* 12.0 x)) x x (* -1 x) x x (* -1 x) (* (pow x 2) (pow (sqrt 9.0) 2)) (* (pow x 2) (pow (sqrt 9.0) 2)) (* (pow x 2) (pow (sqrt 9.0) 2)) (- (+ (* (pow x 2) (pow (sqrt 9.0) 2)) 3.0) (* 12.0 x)) (- (+ (* (pow x 2) (pow (sqrt 9.0) 2)) 3.0) (* 12.0 x)) (- (+ (* (pow x 2) (pow (sqrt 9.0) 2)) 3.0) (* 12.0 x)) 1.773 * [simplify]: Sending expressions to egg_math: (log (sqrt (pow h0 2))) (exp (sqrt (pow h0 2))) (* (cbrt (sqrt (pow h0 2))) (cbrt (sqrt (pow h0 2)))) (cbrt (sqrt (pow h0 2))) (* (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (sqrt (pow h0 2))) (sqrt (pow (* (cbrt h0) (cbrt h0)) 2)) (sqrt (pow (cbrt h0) 2)) (sqrt (pow (sqrt h0) 2)) (sqrt (pow (sqrt h0) 2)) (sqrt (pow 1 2)) (sqrt (pow h0 2)) (sqrt h0) (sqrt h0) (sqrt (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) (sqrt (cbrt (pow h0 2))) (sqrt (sqrt (pow h0 2))) (sqrt (sqrt (pow h0 2))) (sqrt 1) (sqrt (pow h0 2)) (sqrt (pow h0 (/ 2 2))) (sqrt (pow h0 (/ 2 2))) (/ 2 2) (sqrt (sqrt (pow h0 2))) (sqrt (sqrt (pow h0 2))) (log (sqrt (pow h0 2))) (exp (sqrt (pow h0 2))) (* (cbrt (sqrt (pow h0 2))) (cbrt (sqrt (pow h0 2)))) (cbrt (sqrt (pow h0 2))) (* (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (sqrt (pow h0 2))) (sqrt (pow (* (cbrt h0) (cbrt h0)) 2)) (sqrt (pow (cbrt h0) 2)) (sqrt (pow (sqrt h0) 2)) (sqrt (pow (sqrt h0) 2)) (sqrt (pow 1 2)) (sqrt (pow h0 2)) (sqrt h0) (sqrt h0) (sqrt (* (cbrt (pow h0 2)) (cbrt (pow h0 2)))) (sqrt (cbrt (pow h0 2))) (sqrt (sqrt (pow h0 2))) (sqrt (sqrt (pow h0 2))) (sqrt 1) (sqrt (pow h0 2)) (sqrt (pow h0 (/ 2 2))) (sqrt (pow h0 (/ 2 2))) (/ 2 2) (sqrt (sqrt (pow h0 2))) (sqrt (sqrt (pow h0 2))) (+ 1/2 1/2) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* h1 (pow h0 2)) (* h1 (pow h0 2))) (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (+ 1 1) (+ 1 1) (+ (+ (log (sqrt h1)) (log (sqrt (pow h0 2)))) (+ (log (sqrt h1)) (log (sqrt (pow h0 2))))) (+ (+ (log (sqrt h1)) (log (sqrt (pow h0 2)))) (log (* (sqrt h1) (sqrt (pow h0 2))))) (+ (log (* (sqrt h1) (sqrt (pow h0 2)))) (+ (log (sqrt h1)) (log (sqrt (pow h0 2))))) (+ (log (* (sqrt h1) (sqrt (pow h0 2)))) (log (* (sqrt h1) (sqrt (pow h0 2))))) (log (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (exp (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (* (* (* (* (sqrt h1) (sqrt h1)) (sqrt h1)) (* (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (sqrt (pow h0 2)))) (* (* (* (sqrt h1) (sqrt h1)) (sqrt h1)) (* (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (sqrt (pow h0 2))))) (* (* (* (* (sqrt h1) (sqrt h1)) (sqrt h1)) (* (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (sqrt (pow h0 2)))) (* (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (sqrt h1) (sqrt (pow h0 2))))) (* (* (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (* (* (sqrt h1) (sqrt h1)) (sqrt h1)) (* (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (sqrt (pow h0 2))))) (* (* (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (sqrt h1) (sqrt (pow h0 2))))) (* (cbrt (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (cbrt (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))))) (cbrt (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (* (* (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (* (* h1 (pow h0 2)) (* h1 (pow h0 2))) (sqrt (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (sqrt (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (* (sqrt h1) (sqrt h1)) (* (sqrt (pow h0 2)) (sqrt (pow h0 2))) (* 2 1/2) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* (sqrt h1) (sqrt (pow h0 2))) (sqrt h1)) (* (sqrt (pow h0 2)) (* (sqrt h1) (sqrt (pow h0 2)))) (/ (* (exp (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2))))) (exp h3)) (exp (* h2 h0))) (/ (exp (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3)) (exp (* h2 h0))) (log (- (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) (* h2 h0))) (exp (- (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) (* h2 h0))) (* (cbrt (- (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) (* h2 h0))) (cbrt (- (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) (* h2 h0)))) (cbrt (- (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) (* h2 h0))) (* (* (- (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) (* h2 h0)) (- (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) (* h2 h0))) (- (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) (* h2 h0))) (sqrt (- (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) (* h2 h0))) (sqrt (- (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) (* h2 h0))) (- (pow (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) 3) (pow (* h2 h0) 3)) (+ (* (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3)) (+ (* (* h2 h0) (* h2 h0)) (* (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) (* h2 h0)))) (- (* h2 h0)) (- (* (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3)) (* (* h2 h0) (* h2 h0))) (+ (+ (* (* (sqrt h1) (sqrt (pow h0 2))) (* (sqrt h1) (sqrt (pow h0 2)))) h3) (* h2 h0)) (- h3 (* h2 h0)) (- (* h2 h0)) h0 h0 (* -1 h0) h0 h0 (* -1 h0) (* (pow h0 2) (pow (sqrt h1) 2)) (* (pow h0 2) (pow (sqrt h1) 2)) (* (pow h0 2) (pow (sqrt h1) 2)) (- (+ (* (pow h0 2) (pow (sqrt h1) 2)) h3) (* h2 h0)) (- (+ (* (pow h0 2) (pow (sqrt h1) 2)) h3) (* h2 h0)) (- (+ (* (pow h0 2) (pow (sqrt h1) 2)) h3) (* h2 h0)) 1.778 * * [simplify]: iteration 0 : 254 enodes (cost 578 ) 1.784 * * [simplify]: iteration 1 : 1136 enodes (cost 372 ) 1.811 * * [simplify]: iteration 2 : 5001 enodes (cost 361 ) 1.814 * * * [progress]: adding candidates to table 2.034 * [progress]: [Phase 3 of 3] Extracting. 2.034 * * [regime]: Finding splitpoints for: (# # # # # #) 2.035 * * * [regime-changes]: Trying 1 branch expressions: (x) 2.035 * * * * [regimes]: Trying to branch on x from (# # # # # #) 2.056 * * * [regime]: Found split indices: #