31.448 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying: (* (+ a b) (+ a b)) 0.020 * * [simplify]: Extracting # 0 : cost 0 0.020 * * [simplify]: Extracting # 1 : cost 0 0.020 * * [simplify]: Extracting # 2 : cost 0 0.020 * * [simplify]: Extracting # 3 : cost 0 0.020 * * [simplify]: Extracting # 4 : cost 0 0.020 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 0.021 * * [simplify]: Extracting # 0 : cost 0 0.021 * * [simplify]: Extracting # 1 : cost 0 0.021 * * [simplify]: Extracting # 2 : cost 0 0.021 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.024 * * [simplify]: Extracting # 0 : cost 0 0.024 * * [simplify]: Extracting # 1 : cost 0 0.024 * * [simplify]: Extracting # 2 : cost 0 0.024 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 0.030 * * [simplify]: Extracting # 0 : cost 0 0.030 * * [simplify]: Extracting # 1 : cost 0 0.030 * * [simplify]: Extracting # 2 : cost 0 0.030 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 0.053 * * [simplify]: Extracting # 0 : cost 0 0.053 * * [simplify]: Extracting # 1 : cost 0 0.053 * * [simplify]: Extracting # 2 : cost 0 0.054 * * [simplify]: iteration 4 : 72 enodes (cost 7 ) 0.081 * * [simplify]: Extracting # 0 : cost 0 0.081 * * [simplify]: Extracting # 1 : cost 0 0.081 * * [simplify]: Extracting # 2 : cost 0 0.081 * * [simplify]: iteration 5 : 88 enodes (cost 7 ) 0.110 * * [simplify]: Extracting # 0 : cost 0 0.110 * * [simplify]: iteration 6 : 97 enodes (cost 7 ) 0.131 * * [simplify]: Extracting # 0 : cost 0 0.131 * * [simplify]: iteration 7 : 103 enodes (cost 7 ) 0.156 * * [simplify]: Extracting # 0 : cost 0 0.156 * * [simplify]: iteration done: 103 enodes (cost 7 ) 0.156 * [simplify]: Simplified to: (* (+ a b) (+ a b)) 0.157 * * [progress]: iteration 1 / 4 0.157 * * * [progress]: picking best candidate 0.159 * * * * [pick]: Picked # 0.159 * * * [progress]: localizing error 0.167 * * * [progress]: generating rewritten candidates 0.167 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.242 * * * [progress]: generating series expansions 0.242 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.242 * [backup-simplify]: Simplify (* (+ a b) (+ a b)) into (pow (+ a b) 2) 0.242 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0 0.242 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b 0.242 * [taylor]: Taking taylor expansion of (+ a b) in b 0.242 * [taylor]: Taking taylor expansion of a in b 0.242 * [backup-simplify]: Simplify a into a 0.242 * [taylor]: Taking taylor expansion of b in b 0.242 * [backup-simplify]: Simplify 0 into 0 0.242 * [backup-simplify]: Simplify 1 into 1 0.242 * [backup-simplify]: Simplify (+ a 0) into a 0.242 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a 0.242 * [taylor]: Taking taylor expansion of (+ a b) in a 0.242 * [taylor]: Taking taylor expansion of a in a 0.242 * [backup-simplify]: Simplify 0 into 0 0.242 * [backup-simplify]: Simplify 1 into 1 0.242 * [taylor]: Taking taylor expansion of b in a 0.242 * [backup-simplify]: Simplify b into b 0.242 * [backup-simplify]: Simplify (+ 0 b) into b 0.243 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a 0.243 * [taylor]: Taking taylor expansion of (+ a b) in a 0.243 * [taylor]: Taking taylor expansion of a in a 0.243 * [backup-simplify]: Simplify 0 into 0 0.243 * [backup-simplify]: Simplify 1 into 1 0.243 * [taylor]: Taking taylor expansion of b in a 0.243 * [backup-simplify]: Simplify b into b 0.243 * [backup-simplify]: Simplify (+ 0 b) into b 0.243 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.243 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.243 * [taylor]: Taking taylor expansion of b in b 0.243 * [backup-simplify]: Simplify 0 into 0 0.243 * [backup-simplify]: Simplify 1 into 1 0.243 * [backup-simplify]: Simplify (+ 1 0) into 1 0.244 * [backup-simplify]: Simplify (+ (* b 1) (* 1 b)) into (* 2 b) 0.244 * [taylor]: Taking taylor expansion of (* 2 b) in b 0.244 * [taylor]: Taking taylor expansion of 2 in b 0.244 * [backup-simplify]: Simplify 2 into 2 0.244 * [taylor]: Taking taylor expansion of b in b 0.244 * [backup-simplify]: Simplify 0 into 0 0.244 * [backup-simplify]: Simplify 1 into 1 0.244 * [backup-simplify]: Simplify (* 2 0) into 0 0.244 * [backup-simplify]: Simplify 0 into 0 0.244 * [backup-simplify]: Simplify (+ 0 0) into 0 0.245 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 b))) into 1 0.245 * [taylor]: Taking taylor expansion of 1 in b 0.245 * [backup-simplify]: Simplify 1 into 1 0.245 * [backup-simplify]: Simplify 1 into 1 0.245 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 0.245 * [backup-simplify]: Simplify 2 into 2 0.245 * [backup-simplify]: Simplify (* 1 1) into 1 0.245 * [backup-simplify]: Simplify 1 into 1 0.246 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 0.246 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (+ (/ 1 a) (/ 1 b))) into (pow (+ (/ 1 b) (/ 1 a)) 2) 0.246 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in (a b) around 0 0.246 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in b 0.246 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.246 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.246 * [taylor]: Taking taylor expansion of b in b 0.246 * [backup-simplify]: Simplify 0 into 0 0.246 * [backup-simplify]: Simplify 1 into 1 0.246 * [backup-simplify]: Simplify (/ 1 1) into 1 0.246 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.246 * [taylor]: Taking taylor expansion of a in b 0.246 * [backup-simplify]: Simplify a into a 0.247 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.247 * [backup-simplify]: Simplify (+ 1 0) into 1 0.247 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.247 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.247 * [taylor]: Taking taylor expansion of b in a 0.247 * [backup-simplify]: Simplify b into b 0.247 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.247 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.247 * [taylor]: Taking taylor expansion of a in a 0.247 * [backup-simplify]: Simplify 0 into 0 0.247 * [backup-simplify]: Simplify 1 into 1 0.247 * [backup-simplify]: Simplify (/ 1 1) into 1 0.248 * [backup-simplify]: Simplify (+ 0 1) into 1 0.248 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.248 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.248 * [taylor]: Taking taylor expansion of b in a 0.248 * [backup-simplify]: Simplify b into b 0.248 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.248 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.248 * [taylor]: Taking taylor expansion of a in a 0.248 * [backup-simplify]: Simplify 0 into 0 0.248 * [backup-simplify]: Simplify 1 into 1 0.248 * [backup-simplify]: Simplify (/ 1 1) into 1 0.248 * [backup-simplify]: Simplify (+ 0 1) into 1 0.249 * [backup-simplify]: Simplify (* 1 1) into 1 0.249 * [taylor]: Taking taylor expansion of 1 in b 0.249 * [backup-simplify]: Simplify 1 into 1 0.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.249 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 0.249 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b)) 0.249 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 0.249 * [taylor]: Taking taylor expansion of 2 in b 0.249 * [backup-simplify]: Simplify 2 into 2 0.249 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.249 * [taylor]: Taking taylor expansion of b in b 0.249 * [backup-simplify]: Simplify 0 into 0 0.249 * [backup-simplify]: Simplify 1 into 1 0.250 * [backup-simplify]: Simplify (/ 1 1) into 1 0.250 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.251 * [backup-simplify]: Simplify (+ 0 0) into 0 0.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 0.251 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.251 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.251 * [taylor]: Taking taylor expansion of b in b 0.251 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify 1 into 1 0.251 * [backup-simplify]: Simplify (* 1 1) into 1 0.252 * [backup-simplify]: Simplify (/ 1 1) into 1 0.252 * [backup-simplify]: Simplify 1 into 1 0.252 * [backup-simplify]: Simplify (* 2 1) into 2 0.252 * [backup-simplify]: Simplify 2 into 2 0.252 * [backup-simplify]: Simplify 1 into 1 0.253 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 0.253 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (+ (/ 1 (- a)) (/ 1 (- b)))) into (pow (+ (/ 1 b) (/ 1 a)) 2) 0.253 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in (a b) around 0 0.253 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in b 0.253 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.253 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.253 * [taylor]: Taking taylor expansion of b in b 0.253 * [backup-simplify]: Simplify 0 into 0 0.253 * [backup-simplify]: Simplify 1 into 1 0.253 * [backup-simplify]: Simplify (/ 1 1) into 1 0.253 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.253 * [taylor]: Taking taylor expansion of a in b 0.253 * [backup-simplify]: Simplify a into a 0.253 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.254 * [backup-simplify]: Simplify (+ 1 0) into 1 0.254 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.254 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.254 * [taylor]: Taking taylor expansion of b in a 0.254 * [backup-simplify]: Simplify b into b 0.254 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.254 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.254 * [taylor]: Taking taylor expansion of a in a 0.254 * [backup-simplify]: Simplify 0 into 0 0.254 * [backup-simplify]: Simplify 1 into 1 0.254 * [backup-simplify]: Simplify (/ 1 1) into 1 0.254 * [backup-simplify]: Simplify (+ 0 1) into 1 0.254 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.254 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.254 * [taylor]: Taking taylor expansion of b in a 0.254 * [backup-simplify]: Simplify b into b 0.254 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.254 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.254 * [taylor]: Taking taylor expansion of a in a 0.254 * [backup-simplify]: Simplify 0 into 0 0.254 * [backup-simplify]: Simplify 1 into 1 0.255 * [backup-simplify]: Simplify (/ 1 1) into 1 0.255 * [backup-simplify]: Simplify (+ 0 1) into 1 0.255 * [backup-simplify]: Simplify (* 1 1) into 1 0.255 * [taylor]: Taking taylor expansion of 1 in b 0.255 * [backup-simplify]: Simplify 1 into 1 0.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.256 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 0.256 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b)) 0.256 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 0.256 * [taylor]: Taking taylor expansion of 2 in b 0.256 * [backup-simplify]: Simplify 2 into 2 0.256 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.256 * [taylor]: Taking taylor expansion of b in b 0.256 * [backup-simplify]: Simplify 0 into 0 0.256 * [backup-simplify]: Simplify 1 into 1 0.256 * [backup-simplify]: Simplify (/ 1 1) into 1 0.256 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.257 * [backup-simplify]: Simplify (+ 0 0) into 0 0.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 0.258 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.258 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.258 * [taylor]: Taking taylor expansion of b in b 0.258 * [backup-simplify]: Simplify 0 into 0 0.258 * [backup-simplify]: Simplify 1 into 1 0.258 * [backup-simplify]: Simplify (* 1 1) into 1 0.258 * [backup-simplify]: Simplify (/ 1 1) into 1 0.258 * [backup-simplify]: Simplify 1 into 1 0.259 * [backup-simplify]: Simplify (* 2 1) into 2 0.259 * [backup-simplify]: Simplify 2 into 2 0.259 * [backup-simplify]: Simplify 1 into 1 0.259 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 0.259 * * * [progress]: simplifying candidates 0.260 * [simplify]: Simplifying: (+ 1 1) (* (+ a b) (+ a b)) (+ 1 1) (+ (log (+ a b)) (log (+ a b))) (log (* (+ a b) (+ a b))) (exp (* (+ a b) (+ a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b))) (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b))) (* (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b))) (* (+ a b) (+ a b))) (sqrt (* (+ a b) (+ a b))) (sqrt (* (+ a b) (+ a b))) (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (- (* b b) (* a b))) (- a b)) (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3))) (* (- a b) (+ (* a a) (- (* b b) (* a b)))) (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b)) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (cbrt (+ a b)) (cbrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b))) (* 1 1) (* (+ a b) (+ a b)) (* 1 1) (* (+ a b) (+ a b)) (* 1 1) (* (+ a b) (+ a b)) (* 1 1) (* (+ a b) (+ a b)) (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b))) (* 2 1) (* (+ a b) a) (* (+ a b) b) (* a (+ a b)) (* b (+ a b)) (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (+ a b) (sqrt (+ a b))) (* (+ a b) 1) (* (+ a b) 1) (* (cbrt (+ a b)) (+ a b)) (* (sqrt (+ a b)) (+ a b)) (* (+ a b) (+ a b)) (* (+ a b) (+ a b)) (* (+ a b) (+ (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (+ a b)) (* (- (* a a) (* b b)) (+ a b)) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 0.261 * * [simplify]: Extracting # 0 : cost 0 0.261 * * [simplify]: Extracting # 1 : cost 0 0.261 * * [simplify]: Extracting # 2 : cost 0 0.261 * * [simplify]: Extracting # 3 : cost 0 0.261 * * [simplify]: Extracting # 4 : cost 0 0.261 * * [simplify]: Extracting # 5 : cost 0 0.261 * * [simplify]: Extracting # 6 : cost 0 0.261 * * [simplify]: Extracting # 7 : cost 0 0.261 * * [simplify]: iteration 0 : 62 enodes (cost 516 ) 0.283 * * [simplify]: Extracting # 0 : cost 0 0.283 * * [simplify]: Extracting # 1 : cost 0 0.283 * * [simplify]: Extracting # 2 : cost 0 0.284 * * [simplify]: Extracting # 3 : cost 0 0.284 * * [simplify]: Extracting # 4 : cost 0 0.284 * * [simplify]: iteration 1 : 188 enodes (cost 453 ) 0.409 * * [simplify]: Extracting # 0 : cost 0 0.411 * * [simplify]: Extracting # 1 : cost 0 0.412 * * [simplify]: Extracting # 2 : cost 0 0.414 * * [simplify]: Extracting # 3 : cost 0 0.415 * * [simplify]: Extracting # 4 : cost 0 0.416 * * [simplify]: iteration 2 : 742 enodes (cost 407 ) 1.461 * * [simplify]: Extracting # 0 : cost 0 1.470 * * [simplify]: Extracting # 1 : cost 0 1.476 * * [simplify]: Extracting # 2 : cost 0 1.481 * * [simplify]: Extracting # 3 : cost 0 1.484 * * [simplify]: Extracting # 4 : cost 0 1.487 * * [simplify]: Extracting # 5 : cost 0 1.490 * * [simplify]: iteration 3 : 3324 enodes (cost 376 ) 3.220 * * [simplify]: Extracting # 0 : cost 0 3.230 * * [simplify]: Extracting # 1 : cost 0 3.236 * * [simplify]: Extracting # 2 : cost 0 3.245 * * [simplify]: Extracting # 3 : cost 0 3.255 * * [simplify]: Extracting # 4 : cost 0 3.264 * * [simplify]: iteration done: 5001 enodes (cost 373 ) 3.265 * [simplify]: Simplified to: 2 (pow (sqrt (+ a b)) 4) 2 (* 2 (log (+ a b))) (* 2 (log (+ a b))) (exp (pow (sqrt (+ a b)) 4)) (pow (+ a b) 6) (* (cbrt (pow (sqrt (+ a b)) 4)) (cbrt (pow (sqrt (+ a b)) 4))) (cbrt (pow (sqrt (+ a b)) 4)) (pow (+ a b) 6) (fabs (+ a b)) (fabs (+ a b)) (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a)))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (* b (- b a))) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (* b (- b a))) (- a b)) (* (* (- a b) (- a b)) (pow (sqrt (+ a b)) 4)) (* (- a b) (- a b)) (pow (cbrt (+ a b)) 4) (* (cbrt (+ a b)) (cbrt (+ a b))) (+ a b) (+ a b) 1 (pow (sqrt (+ a b)) 4) 1 (pow (sqrt (+ a b)) 4) 1 (pow (sqrt (+ a b)) 4) 1 (pow (sqrt (+ a b)) 4) (+ a b) (+ a b) 2 (* (+ a b) a) (* (+ a b) b) (* (+ a b) a) (* (+ a b) b) (pow (cbrt (+ a b)) (+ 4 1)) (pow (sqrt (+ a b)) 3) (+ a b) (+ a b) (pow (cbrt (+ a b)) 4) (pow (sqrt (+ a b)) 3) (pow (sqrt (+ a b)) 4) (pow (sqrt (+ a b)) 4) (* (+ a b) (+ (pow a 3) (pow b 3))) (* (- a b) (pow (sqrt (+ a b)) 4)) (* (+ a b) (+ (pow a 3) (pow b 3))) (* (- a b) (pow (sqrt (+ a b)) 4)) (+ (* b (+ (* 2 a) b)) (* a a)) (+ (* b (+ (* 2 a) b)) (* a a)) (+ (* b (+ (* 2 a) b)) (* a a)) 3.265 * * * [progress]: adding candidates to table 3.340 * * [progress]: iteration 2 / 4 3.340 * * * [progress]: picking best candidate 3.342 * * * * [pick]: Picked # 3.342 * * * [progress]: localizing error 3.349 * * * [progress]: generating rewritten candidates 3.349 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 3.377 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.409 * * * [progress]: generating series expansions 3.409 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 3.409 * [backup-simplify]: Simplify (* (+ a b) b) into (* (+ a b) b) 3.409 * [approximate]: Taking taylor expansion of (* (+ a b) b) in (a b) around 0 3.409 * [taylor]: Taking taylor expansion of (* (+ a b) b) in b 3.409 * [taylor]: Taking taylor expansion of (+ a b) in b 3.409 * [taylor]: Taking taylor expansion of a in b 3.409 * [backup-simplify]: Simplify a into a 3.409 * [taylor]: Taking taylor expansion of b in b 3.409 * [backup-simplify]: Simplify 0 into 0 3.409 * [backup-simplify]: Simplify 1 into 1 3.409 * [taylor]: Taking taylor expansion of b in b 3.409 * [backup-simplify]: Simplify 0 into 0 3.409 * [backup-simplify]: Simplify 1 into 1 3.409 * [taylor]: Taking taylor expansion of (* (+ a b) b) in a 3.409 * [taylor]: Taking taylor expansion of (+ a b) in a 3.410 * [taylor]: Taking taylor expansion of a in a 3.410 * [backup-simplify]: Simplify 0 into 0 3.410 * [backup-simplify]: Simplify 1 into 1 3.410 * [taylor]: Taking taylor expansion of b in a 3.410 * [backup-simplify]: Simplify b into b 3.410 * [taylor]: Taking taylor expansion of b in a 3.410 * [backup-simplify]: Simplify b into b 3.410 * [taylor]: Taking taylor expansion of (* (+ a b) b) in a 3.410 * [taylor]: Taking taylor expansion of (+ a b) in a 3.410 * [taylor]: Taking taylor expansion of a in a 3.410 * [backup-simplify]: Simplify 0 into 0 3.410 * [backup-simplify]: Simplify 1 into 1 3.410 * [taylor]: Taking taylor expansion of b in a 3.410 * [backup-simplify]: Simplify b into b 3.410 * [taylor]: Taking taylor expansion of b in a 3.410 * [backup-simplify]: Simplify b into b 3.410 * [backup-simplify]: Simplify (+ 0 b) into b 3.410 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.410 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.410 * [taylor]: Taking taylor expansion of b in b 3.410 * [backup-simplify]: Simplify 0 into 0 3.410 * [backup-simplify]: Simplify 1 into 1 3.411 * [backup-simplify]: Simplify (+ 1 0) into 1 3.411 * [backup-simplify]: Simplify (+ (* b 0) (* 1 b)) into b 3.411 * [taylor]: Taking taylor expansion of b in b 3.411 * [backup-simplify]: Simplify 0 into 0 3.411 * [backup-simplify]: Simplify 1 into 1 3.411 * [backup-simplify]: Simplify 0 into 0 3.412 * [backup-simplify]: Simplify (+ 0 0) into 0 3.412 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (* 0 b))) into 0 3.412 * [taylor]: Taking taylor expansion of 0 in b 3.412 * [backup-simplify]: Simplify 0 into 0 3.412 * [backup-simplify]: Simplify 0 into 0 3.412 * [backup-simplify]: Simplify 1 into 1 3.413 * [backup-simplify]: Simplify (* 1 1) into 1 3.413 * [backup-simplify]: Simplify 1 into 1 3.413 * [backup-simplify]: Simplify (+ 0 0) into 0 3.414 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (+ (* 0 0) (* 0 b)))) into 0 3.414 * [taylor]: Taking taylor expansion of 0 in b 3.414 * [backup-simplify]: Simplify 0 into 0 3.414 * [backup-simplify]: Simplify 0 into 0 3.414 * [backup-simplify]: Simplify 0 into 0 3.414 * [backup-simplify]: Simplify 0 into 0 3.415 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.415 * [backup-simplify]: Simplify 0 into 0 3.416 * [backup-simplify]: Simplify (+ 0 0) into 0 3.417 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 3.417 * [taylor]: Taking taylor expansion of 0 in b 3.417 * [backup-simplify]: Simplify 0 into 0 3.417 * [backup-simplify]: Simplify 0 into 0 3.417 * [backup-simplify]: Simplify 0 into 0 3.417 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (* 1 (* b a))) into (+ (* a b) (pow b 2)) 3.418 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (/ 1 b)) into (/ (+ (/ 1 b) (/ 1 a)) b) 3.418 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) b) in (a b) around 0 3.418 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) b) in b 3.418 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.418 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.418 * [taylor]: Taking taylor expansion of b in b 3.418 * [backup-simplify]: Simplify 0 into 0 3.418 * [backup-simplify]: Simplify 1 into 1 3.418 * [backup-simplify]: Simplify (/ 1 1) into 1 3.418 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.418 * [taylor]: Taking taylor expansion of a in b 3.418 * [backup-simplify]: Simplify a into a 3.418 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.418 * [taylor]: Taking taylor expansion of b in b 3.418 * [backup-simplify]: Simplify 0 into 0 3.418 * [backup-simplify]: Simplify 1 into 1 3.419 * [backup-simplify]: Simplify (+ 1 0) into 1 3.419 * [backup-simplify]: Simplify (/ 1 1) into 1 3.419 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) b) in a 3.419 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.419 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.419 * [taylor]: Taking taylor expansion of b in a 3.419 * [backup-simplify]: Simplify b into b 3.419 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.419 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.419 * [taylor]: Taking taylor expansion of a in a 3.420 * [backup-simplify]: Simplify 0 into 0 3.420 * [backup-simplify]: Simplify 1 into 1 3.420 * [backup-simplify]: Simplify (/ 1 1) into 1 3.420 * [taylor]: Taking taylor expansion of b in a 3.420 * [backup-simplify]: Simplify b into b 3.420 * [backup-simplify]: Simplify (+ 0 1) into 1 3.421 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.421 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) b) in a 3.421 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.421 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.421 * [taylor]: Taking taylor expansion of b in a 3.421 * [backup-simplify]: Simplify b into b 3.421 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.421 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.421 * [taylor]: Taking taylor expansion of a in a 3.421 * [backup-simplify]: Simplify 0 into 0 3.421 * [backup-simplify]: Simplify 1 into 1 3.421 * [backup-simplify]: Simplify (/ 1 1) into 1 3.421 * [taylor]: Taking taylor expansion of b in a 3.421 * [backup-simplify]: Simplify b into b 3.422 * [backup-simplify]: Simplify (+ 0 1) into 1 3.422 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.422 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.422 * [taylor]: Taking taylor expansion of b in b 3.422 * [backup-simplify]: Simplify 0 into 0 3.422 * [backup-simplify]: Simplify 1 into 1 3.423 * [backup-simplify]: Simplify (/ 1 1) into 1 3.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.423 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 3.424 * [backup-simplify]: Simplify (- (/ (/ 1 b) b) (+ (* (/ 1 b) (/ 0 b)))) into (/ 1 (pow b 2)) 3.424 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.424 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.424 * [taylor]: Taking taylor expansion of b in b 3.424 * [backup-simplify]: Simplify 0 into 0 3.424 * [backup-simplify]: Simplify 1 into 1 3.424 * [backup-simplify]: Simplify (* 1 1) into 1 3.425 * [backup-simplify]: Simplify (/ 1 1) into 1 3.425 * [backup-simplify]: Simplify 1 into 1 3.425 * [backup-simplify]: Simplify 1 into 1 3.425 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.426 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.426 * [backup-simplify]: Simplify (+ 0 0) into 0 3.427 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)))) into 0 3.427 * [taylor]: Taking taylor expansion of 0 in b 3.427 * [backup-simplify]: Simplify 0 into 0 3.427 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.428 * [backup-simplify]: Simplify 0 into 0 3.429 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.429 * [backup-simplify]: Simplify 0 into 0 3.430 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.431 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.431 * [backup-simplify]: Simplify (+ 0 0) into 0 3.432 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.432 * [taylor]: Taking taylor expansion of 0 in b 3.432 * [backup-simplify]: Simplify 0 into 0 3.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.434 * [backup-simplify]: Simplify 0 into 0 3.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.435 * [backup-simplify]: Simplify 0 into 0 3.435 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.436 * [backup-simplify]: Simplify (+ 0 0) into 0 3.437 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.437 * [taylor]: Taking taylor expansion of 0 in b 3.437 * [backup-simplify]: Simplify 0 into 0 3.437 * [backup-simplify]: Simplify 0 into 0 3.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.439 * [backup-simplify]: Simplify 0 into 0 3.439 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (+ (* a b) (pow b 2)) 3.440 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- b))) into (/ (+ (/ 1 b) (/ 1 a)) b) 3.440 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) b) in (a b) around 0 3.440 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) b) in b 3.440 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.440 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.440 * [taylor]: Taking taylor expansion of b in b 3.440 * [backup-simplify]: Simplify 0 into 0 3.440 * [backup-simplify]: Simplify 1 into 1 3.440 * [backup-simplify]: Simplify (/ 1 1) into 1 3.440 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.440 * [taylor]: Taking taylor expansion of a in b 3.440 * [backup-simplify]: Simplify a into a 3.440 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.440 * [taylor]: Taking taylor expansion of b in b 3.440 * [backup-simplify]: Simplify 0 into 0 3.441 * [backup-simplify]: Simplify 1 into 1 3.441 * [backup-simplify]: Simplify (+ 1 0) into 1 3.441 * [backup-simplify]: Simplify (/ 1 1) into 1 3.441 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) b) in a 3.441 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.441 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.441 * [taylor]: Taking taylor expansion of b in a 3.441 * [backup-simplify]: Simplify b into b 3.441 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.441 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.442 * [taylor]: Taking taylor expansion of a in a 3.442 * [backup-simplify]: Simplify 0 into 0 3.442 * [backup-simplify]: Simplify 1 into 1 3.442 * [backup-simplify]: Simplify (/ 1 1) into 1 3.442 * [taylor]: Taking taylor expansion of b in a 3.442 * [backup-simplify]: Simplify b into b 3.442 * [backup-simplify]: Simplify (+ 0 1) into 1 3.442 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.442 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) b) in a 3.442 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.442 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.443 * [taylor]: Taking taylor expansion of b in a 3.443 * [backup-simplify]: Simplify b into b 3.443 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.443 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.443 * [taylor]: Taking taylor expansion of a in a 3.443 * [backup-simplify]: Simplify 0 into 0 3.443 * [backup-simplify]: Simplify 1 into 1 3.443 * [backup-simplify]: Simplify (/ 1 1) into 1 3.443 * [taylor]: Taking taylor expansion of b in a 3.443 * [backup-simplify]: Simplify b into b 3.444 * [backup-simplify]: Simplify (+ 0 1) into 1 3.444 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.444 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.444 * [taylor]: Taking taylor expansion of b in b 3.444 * [backup-simplify]: Simplify 0 into 0 3.444 * [backup-simplify]: Simplify 1 into 1 3.444 * [backup-simplify]: Simplify (/ 1 1) into 1 3.445 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.445 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 3.445 * [backup-simplify]: Simplify (- (/ (/ 1 b) b) (+ (* (/ 1 b) (/ 0 b)))) into (/ 1 (pow b 2)) 3.445 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.445 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.445 * [taylor]: Taking taylor expansion of b in b 3.446 * [backup-simplify]: Simplify 0 into 0 3.446 * [backup-simplify]: Simplify 1 into 1 3.446 * [backup-simplify]: Simplify (* 1 1) into 1 3.446 * [backup-simplify]: Simplify (/ 1 1) into 1 3.446 * [backup-simplify]: Simplify 1 into 1 3.446 * [backup-simplify]: Simplify 1 into 1 3.447 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.448 * [backup-simplify]: Simplify (+ 0 0) into 0 3.448 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)))) into 0 3.448 * [taylor]: Taking taylor expansion of 0 in b 3.448 * [backup-simplify]: Simplify 0 into 0 3.449 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.450 * [backup-simplify]: Simplify 0 into 0 3.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.451 * [backup-simplify]: Simplify 0 into 0 3.451 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.451 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.451 * [backup-simplify]: Simplify (+ 0 0) into 0 3.452 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.452 * [taylor]: Taking taylor expansion of 0 in b 3.452 * [backup-simplify]: Simplify 0 into 0 3.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.453 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.453 * [backup-simplify]: Simplify 0 into 0 3.453 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.453 * [backup-simplify]: Simplify 0 into 0 3.454 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.454 * [backup-simplify]: Simplify (+ 0 0) into 0 3.455 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.455 * [taylor]: Taking taylor expansion of 0 in b 3.455 * [backup-simplify]: Simplify 0 into 0 3.455 * [backup-simplify]: Simplify 0 into 0 3.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.456 * [backup-simplify]: Simplify 0 into 0 3.456 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (+ (* a b) (pow b 2)) 3.456 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.457 * [backup-simplify]: Simplify (+ (* (+ a b) a) (* (+ a b) b)) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 3.457 * [approximate]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in (a b) around 0 3.457 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in b 3.457 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.457 * [taylor]: Taking taylor expansion of a in b 3.457 * [backup-simplify]: Simplify a into a 3.457 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in b 3.457 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 3.457 * [taylor]: Taking taylor expansion of 2 in b 3.457 * [backup-simplify]: Simplify 2 into 2 3.457 * [taylor]: Taking taylor expansion of (* a b) in b 3.457 * [taylor]: Taking taylor expansion of a in b 3.457 * [backup-simplify]: Simplify a into a 3.457 * [taylor]: Taking taylor expansion of b in b 3.457 * [backup-simplify]: Simplify 0 into 0 3.457 * [backup-simplify]: Simplify 1 into 1 3.457 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.457 * [taylor]: Taking taylor expansion of b in b 3.457 * [backup-simplify]: Simplify 0 into 0 3.457 * [backup-simplify]: Simplify 1 into 1 3.457 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in a 3.457 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.457 * [taylor]: Taking taylor expansion of a in a 3.457 * [backup-simplify]: Simplify 0 into 0 3.457 * [backup-simplify]: Simplify 1 into 1 3.457 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in a 3.457 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 3.457 * [taylor]: Taking taylor expansion of 2 in a 3.457 * [backup-simplify]: Simplify 2 into 2 3.457 * [taylor]: Taking taylor expansion of (* a b) in a 3.457 * [taylor]: Taking taylor expansion of a in a 3.457 * [backup-simplify]: Simplify 0 into 0 3.457 * [backup-simplify]: Simplify 1 into 1 3.457 * [taylor]: Taking taylor expansion of b in a 3.457 * [backup-simplify]: Simplify b into b 3.457 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.457 * [taylor]: Taking taylor expansion of b in a 3.457 * [backup-simplify]: Simplify b into b 3.457 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in a 3.457 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.457 * [taylor]: Taking taylor expansion of a in a 3.457 * [backup-simplify]: Simplify 0 into 0 3.457 * [backup-simplify]: Simplify 1 into 1 3.457 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in a 3.457 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 3.457 * [taylor]: Taking taylor expansion of 2 in a 3.457 * [backup-simplify]: Simplify 2 into 2 3.457 * [taylor]: Taking taylor expansion of (* a b) in a 3.457 * [taylor]: Taking taylor expansion of a in a 3.457 * [backup-simplify]: Simplify 0 into 0 3.457 * [backup-simplify]: Simplify 1 into 1 3.457 * [taylor]: Taking taylor expansion of b in a 3.457 * [backup-simplify]: Simplify b into b 3.457 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.457 * [taylor]: Taking taylor expansion of b in a 3.457 * [backup-simplify]: Simplify b into b 3.458 * [backup-simplify]: Simplify (* 0 b) into 0 3.458 * [backup-simplify]: Simplify (* 2 0) into 0 3.458 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.458 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2) 3.458 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2) 3.458 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.458 * [taylor]: Taking taylor expansion of b in b 3.458 * [backup-simplify]: Simplify 0 into 0 3.458 * [backup-simplify]: Simplify 1 into 1 3.459 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 3.459 * [backup-simplify]: Simplify (+ (* 2 b) (* 0 0)) into (* 2 b) 3.459 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 3.459 * [backup-simplify]: Simplify (+ (* 2 b) 0) into (* 2 b) 3.459 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b) 3.459 * [taylor]: Taking taylor expansion of (* 2 b) in b 3.459 * [taylor]: Taking taylor expansion of 2 in b 3.459 * [backup-simplify]: Simplify 2 into 2 3.459 * [taylor]: Taking taylor expansion of b in b 3.459 * [backup-simplify]: Simplify 0 into 0 3.459 * [backup-simplify]: Simplify 1 into 1 3.460 * [backup-simplify]: Simplify (* 2 0) into 0 3.460 * [backup-simplify]: Simplify 0 into 0 3.460 * [backup-simplify]: Simplify (* 1 1) into 1 3.460 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 3.461 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 b) (* 0 0))) into 0 3.461 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 3.461 * [backup-simplify]: Simplify (+ 0 0) into 0 3.462 * [backup-simplify]: Simplify (+ 1 0) into 1 3.462 * [taylor]: Taking taylor expansion of 1 in b 3.462 * [backup-simplify]: Simplify 1 into 1 3.462 * [backup-simplify]: Simplify 1 into 1 3.462 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 3.462 * [backup-simplify]: Simplify 2 into 2 3.462 * [backup-simplify]: Simplify (* 1 1) into 1 3.462 * [backup-simplify]: Simplify 1 into 1 3.463 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 3.463 * [backup-simplify]: Simplify (+ (* (+ (/ 1 a) (/ 1 b)) (/ 1 a)) (* (+ (/ 1 a) (/ 1 b)) (/ 1 b))) into (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) 3.463 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (a b) around 0 3.463 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 3.463 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.463 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.463 * [taylor]: Taking taylor expansion of b in b 3.463 * [backup-simplify]: Simplify 0 into 0 3.463 * [backup-simplify]: Simplify 1 into 1 3.463 * [backup-simplify]: Simplify (* 1 1) into 1 3.464 * [backup-simplify]: Simplify (/ 1 1) into 1 3.464 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 3.464 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 3.464 * [taylor]: Taking taylor expansion of 2 in b 3.464 * [backup-simplify]: Simplify 2 into 2 3.464 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 3.464 * [taylor]: Taking taylor expansion of (* a b) in b 3.464 * [taylor]: Taking taylor expansion of a in b 3.464 * [backup-simplify]: Simplify a into a 3.464 * [taylor]: Taking taylor expansion of b in b 3.464 * [backup-simplify]: Simplify 0 into 0 3.464 * [backup-simplify]: Simplify 1 into 1 3.464 * [backup-simplify]: Simplify (* a 0) into 0 3.464 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 3.464 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.464 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 3.464 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.464 * [taylor]: Taking taylor expansion of a in b 3.464 * [backup-simplify]: Simplify a into a 3.464 * [backup-simplify]: Simplify (* a a) into (pow a 2) 3.464 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 3.464 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 3.464 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.464 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.464 * [taylor]: Taking taylor expansion of b in a 3.464 * [backup-simplify]: Simplify b into b 3.464 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.464 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 3.465 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 3.465 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 3.465 * [taylor]: Taking taylor expansion of 2 in a 3.465 * [backup-simplify]: Simplify 2 into 2 3.465 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 3.465 * [taylor]: Taking taylor expansion of (* a b) in a 3.465 * [taylor]: Taking taylor expansion of a in a 3.465 * [backup-simplify]: Simplify 0 into 0 3.465 * [backup-simplify]: Simplify 1 into 1 3.465 * [taylor]: Taking taylor expansion of b in a 3.465 * [backup-simplify]: Simplify b into b 3.465 * [backup-simplify]: Simplify (* 0 b) into 0 3.465 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 3.465 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.465 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.465 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.465 * [taylor]: Taking taylor expansion of a in a 3.465 * [backup-simplify]: Simplify 0 into 0 3.465 * [backup-simplify]: Simplify 1 into 1 3.466 * [backup-simplify]: Simplify (* 1 1) into 1 3.466 * [backup-simplify]: Simplify (/ 1 1) into 1 3.466 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 3.466 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.466 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.466 * [taylor]: Taking taylor expansion of b in a 3.466 * [backup-simplify]: Simplify b into b 3.466 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.466 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 3.466 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 3.466 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 3.466 * [taylor]: Taking taylor expansion of 2 in a 3.466 * [backup-simplify]: Simplify 2 into 2 3.466 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 3.466 * [taylor]: Taking taylor expansion of (* a b) in a 3.466 * [taylor]: Taking taylor expansion of a in a 3.466 * [backup-simplify]: Simplify 0 into 0 3.466 * [backup-simplify]: Simplify 1 into 1 3.466 * [taylor]: Taking taylor expansion of b in a 3.466 * [backup-simplify]: Simplify b into b 3.466 * [backup-simplify]: Simplify (* 0 b) into 0 3.466 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 3.467 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.467 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.467 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.467 * [taylor]: Taking taylor expansion of a in a 3.467 * [backup-simplify]: Simplify 0 into 0 3.467 * [backup-simplify]: Simplify 1 into 1 3.467 * [backup-simplify]: Simplify (* 1 1) into 1 3.467 * [backup-simplify]: Simplify (/ 1 1) into 1 3.467 * [backup-simplify]: Simplify (+ 0 1) into 1 3.468 * [backup-simplify]: Simplify (+ 0 1) into 1 3.468 * [taylor]: Taking taylor expansion of 1 in b 3.468 * [backup-simplify]: Simplify 1 into 1 3.468 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b) 3.468 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.469 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b)) 3.469 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b)) 3.469 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 3.469 * [taylor]: Taking taylor expansion of 2 in b 3.469 * [backup-simplify]: Simplify 2 into 2 3.469 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.469 * [taylor]: Taking taylor expansion of b in b 3.469 * [backup-simplify]: Simplify 0 into 0 3.469 * [backup-simplify]: Simplify 1 into 1 3.469 * [backup-simplify]: Simplify (/ 1 1) into 1 3.470 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 3.470 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.470 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0 3.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.471 * [backup-simplify]: Simplify (+ 0 0) into 0 3.471 * [backup-simplify]: Simplify (+ (/ 1 (pow b 2)) 0) into (/ 1 (pow b 2)) 3.471 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.471 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.471 * [taylor]: Taking taylor expansion of b in b 3.471 * [backup-simplify]: Simplify 0 into 0 3.471 * [backup-simplify]: Simplify 1 into 1 3.472 * [backup-simplify]: Simplify (* 1 1) into 1 3.472 * [backup-simplify]: Simplify (/ 1 1) into 1 3.472 * [backup-simplify]: Simplify 1 into 1 3.472 * [backup-simplify]: Simplify (* 2 1) into 2 3.472 * [backup-simplify]: Simplify 2 into 2 3.472 * [backup-simplify]: Simplify 1 into 1 3.473 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 3.473 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- a))) (* (+ (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- b)))) into (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) 3.473 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (a b) around 0 3.473 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 3.473 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.473 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.473 * [taylor]: Taking taylor expansion of b in b 3.473 * [backup-simplify]: Simplify 0 into 0 3.473 * [backup-simplify]: Simplify 1 into 1 3.473 * [backup-simplify]: Simplify (* 1 1) into 1 3.474 * [backup-simplify]: Simplify (/ 1 1) into 1 3.474 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 3.474 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 3.474 * [taylor]: Taking taylor expansion of 2 in b 3.474 * [backup-simplify]: Simplify 2 into 2 3.474 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 3.474 * [taylor]: Taking taylor expansion of (* a b) in b 3.474 * [taylor]: Taking taylor expansion of a in b 3.474 * [backup-simplify]: Simplify a into a 3.474 * [taylor]: Taking taylor expansion of b in b 3.474 * [backup-simplify]: Simplify 0 into 0 3.474 * [backup-simplify]: Simplify 1 into 1 3.474 * [backup-simplify]: Simplify (* a 0) into 0 3.474 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 3.474 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.474 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 3.474 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.474 * [taylor]: Taking taylor expansion of a in b 3.474 * [backup-simplify]: Simplify a into a 3.474 * [backup-simplify]: Simplify (* a a) into (pow a 2) 3.474 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 3.474 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 3.474 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.474 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.474 * [taylor]: Taking taylor expansion of b in a 3.475 * [backup-simplify]: Simplify b into b 3.475 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.475 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 3.475 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 3.475 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 3.475 * [taylor]: Taking taylor expansion of 2 in a 3.475 * [backup-simplify]: Simplify 2 into 2 3.475 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 3.475 * [taylor]: Taking taylor expansion of (* a b) in a 3.475 * [taylor]: Taking taylor expansion of a in a 3.475 * [backup-simplify]: Simplify 0 into 0 3.475 * [backup-simplify]: Simplify 1 into 1 3.475 * [taylor]: Taking taylor expansion of b in a 3.475 * [backup-simplify]: Simplify b into b 3.475 * [backup-simplify]: Simplify (* 0 b) into 0 3.475 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 3.475 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.475 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.475 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.475 * [taylor]: Taking taylor expansion of a in a 3.475 * [backup-simplify]: Simplify 0 into 0 3.475 * [backup-simplify]: Simplify 1 into 1 3.476 * [backup-simplify]: Simplify (* 1 1) into 1 3.476 * [backup-simplify]: Simplify (/ 1 1) into 1 3.476 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 3.476 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.476 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.476 * [taylor]: Taking taylor expansion of b in a 3.476 * [backup-simplify]: Simplify b into b 3.476 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.476 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 3.476 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 3.476 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 3.476 * [taylor]: Taking taylor expansion of 2 in a 3.476 * [backup-simplify]: Simplify 2 into 2 3.476 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 3.476 * [taylor]: Taking taylor expansion of (* a b) in a 3.476 * [taylor]: Taking taylor expansion of a in a 3.476 * [backup-simplify]: Simplify 0 into 0 3.476 * [backup-simplify]: Simplify 1 into 1 3.476 * [taylor]: Taking taylor expansion of b in a 3.476 * [backup-simplify]: Simplify b into b 3.476 * [backup-simplify]: Simplify (* 0 b) into 0 3.476 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 3.477 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.477 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.477 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.477 * [taylor]: Taking taylor expansion of a in a 3.477 * [backup-simplify]: Simplify 0 into 0 3.477 * [backup-simplify]: Simplify 1 into 1 3.477 * [backup-simplify]: Simplify (* 1 1) into 1 3.477 * [backup-simplify]: Simplify (/ 1 1) into 1 3.477 * [backup-simplify]: Simplify (+ 0 1) into 1 3.478 * [backup-simplify]: Simplify (+ 0 1) into 1 3.478 * [taylor]: Taking taylor expansion of 1 in b 3.478 * [backup-simplify]: Simplify 1 into 1 3.478 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b) 3.478 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.479 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b)) 3.479 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b)) 3.479 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 3.479 * [taylor]: Taking taylor expansion of 2 in b 3.479 * [backup-simplify]: Simplify 2 into 2 3.479 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.479 * [taylor]: Taking taylor expansion of b in b 3.479 * [backup-simplify]: Simplify 0 into 0 3.479 * [backup-simplify]: Simplify 1 into 1 3.479 * [backup-simplify]: Simplify (/ 1 1) into 1 3.480 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 3.480 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.481 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0 3.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.483 * [backup-simplify]: Simplify (+ 0 0) into 0 3.483 * [backup-simplify]: Simplify (+ (/ 1 (pow b 2)) 0) into (/ 1 (pow b 2)) 3.483 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.483 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.483 * [taylor]: Taking taylor expansion of b in b 3.483 * [backup-simplify]: Simplify 0 into 0 3.483 * [backup-simplify]: Simplify 1 into 1 3.484 * [backup-simplify]: Simplify (* 1 1) into 1 3.484 * [backup-simplify]: Simplify (/ 1 1) into 1 3.484 * [backup-simplify]: Simplify 1 into 1 3.485 * [backup-simplify]: Simplify (* 2 1) into 2 3.485 * [backup-simplify]: Simplify 2 into 2 3.485 * [backup-simplify]: Simplify 1 into 1 3.486 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 3.486 * * * [progress]: simplifying candidates 3.487 * [simplify]: Simplifying: (* (+ a b) b) (+ (log (+ a b)) (log b)) (log (* (+ a b) b)) (exp (* (+ a b) b)) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* b b) b)) (* (cbrt (* (+ a b) b)) (cbrt (* (+ a b) b))) (cbrt (* (+ a b) b)) (* (* (* (+ a b) b) (* (+ a b) b)) (* (+ a b) b)) (sqrt (* (+ a b) b)) (sqrt (* (+ a b) b)) (* (sqrt (+ a b)) (sqrt b)) (* (sqrt (+ a b)) (sqrt b)) (* (+ a b) (* (cbrt b) (cbrt b))) (* (+ a b) (sqrt b)) (* (+ a b) 1) (* (cbrt (+ a b)) b) (* (sqrt (+ a b)) b) (* (+ a b) b) (* (+ a b) b) (* (+ (pow a 3) (pow b 3)) b) (* (- (* a a) (* b b)) b) (* (exp (* (+ a b) a)) (exp (* (+ a b) b))) (log (+ (* (+ a b) a) (* (+ a b) b))) (exp (+ (* (+ a b) a) (* (+ a b) b))) (* (cbrt (+ (* (+ a b) a) (* (+ a b) b))) (cbrt (+ (* (+ a b) a) (* (+ a b) b)))) (cbrt (+ (* (+ a b) a) (* (+ a b) b))) (* (* (+ (* (+ a b) a) (* (+ a b) b)) (+ (* (+ a b) a) (* (+ a b) b))) (+ (* (+ a b) a) (* (+ a b) b))) (sqrt (+ (* (+ a b) a) (* (+ a b) b))) (sqrt (+ (* (+ a b) a) (* (+ a b) b))) (+ (* (* (+ (pow a 3) (pow b 3)) a) (+ (* a a) (- (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (* (+ (pow a 3) (pow b 3)) b))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))) (+ (* (* (+ (pow a 3) (pow b 3)) a) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* (- (* a a) (* b b)) b))) (* (+ (* a a) (- (* b b) (* a b))) (- a b)) (+ (* (* (- (* a a) (* b b)) a) (+ (* a a) (- (* b b) (* a b)))) (* (- a b) (* (+ (pow a 3) (pow b 3)) b))) (* (- a b) (+ (* a a) (- (* b b) (* a b)))) (+ (* (* (- (* a a) (* b b)) a) (- a b)) (* (- a b) (* (- (* a a) (* b b)) b))) (* (- a b) (- a b)) (+ (pow (* (+ a b) a) 3) (pow (* (+ a b) b) 3)) (+ (* (* (+ a b) a) (* (+ a b) a)) (- (* (* (+ a b) b) (* (+ a b) b)) (* (* (+ a b) a) (* (+ a b) b)))) (- (* (* (+ a b) a) (* (+ a b) a)) (* (* (+ a b) b) (* (+ a b) b))) (- (* (+ a b) a) (* (+ a b) b)) (+ a b) (+ (* a b) (pow b 2)) (+ (* a b) (pow b 2)) (+ (* a b) (pow b 2)) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 3.489 * * [simplify]: Extracting # 0 : cost 0 3.489 * * [simplify]: Extracting # 1 : cost 0 3.489 * * [simplify]: Extracting # 2 : cost 0 3.490 * * [simplify]: Extracting # 3 : cost 0 3.490 * * [simplify]: Extracting # 4 : cost 0 3.490 * * [simplify]: Extracting # 5 : cost 0 3.490 * * [simplify]: Extracting # 6 : cost 0 3.491 * * [simplify]: Extracting # 7 : cost 0 3.491 * * [simplify]: iteration 0 : 88 enodes (cost 643 ) 3.540 * * [simplify]: Extracting # 0 : cost 0 3.541 * * [simplify]: Extracting # 1 : cost 0 3.541 * * [simplify]: Extracting # 2 : cost 0 3.542 * * [simplify]: Extracting # 3 : cost 0 3.542 * * [simplify]: Extracting # 4 : cost 0 3.543 * * [simplify]: Extracting # 5 : cost 0 3.543 * * [simplify]: iteration 1 : 262 enodes (cost 549 ) 3.730 * * [simplify]: Extracting # 0 : cost 0 3.731 * * [simplify]: Extracting # 1 : cost 0 3.733 * * [simplify]: Extracting # 2 : cost 0 3.734 * * [simplify]: Extracting # 3 : cost 0 3.735 * * [simplify]: Extracting # 4 : cost 0 3.736 * * [simplify]: iteration 2 : 990 enodes (cost 481 ) 5.169 * * [simplify]: Extracting # 0 : cost 0 5.175 * * [simplify]: Extracting # 1 : cost 0 5.179 * * [simplify]: Extracting # 2 : cost 0 5.187 * * [simplify]: Extracting # 3 : cost 0 5.192 * * [simplify]: Extracting # 4 : cost 0 5.200 * * [simplify]: iteration 3 : 4631 enodes (cost 455 ) 7.376 * * [simplify]: Extracting # 0 : cost 0 7.387 * * [simplify]: Extracting # 1 : cost 0 7.396 * * [simplify]: Extracting # 2 : cost 0 7.405 * * [simplify]: Extracting # 3 : cost 0 7.415 * * [simplify]: Extracting # 4 : cost 0 7.434 * * [simplify]: iteration done: 5000 enodes (cost 455 ) 7.435 * [simplify]: Simplified to: (* b (+ a b)) (log (* (+ a b) b)) (log (* (+ a b) b)) (exp (* (+ a b) b)) (pow (* (+ a b) b) 3) (* (cbrt (* (+ a b) b)) (cbrt (* (+ a b) b))) (cbrt (* (+ a b) b)) (pow (* (+ a b) b) 3) (sqrt (* (+ a b) b)) (sqrt (* (+ a b) b)) (* (sqrt (+ a b)) (sqrt b)) (* (sqrt (+ a b)) (sqrt b)) (* (+ a b) (* (cbrt b) (cbrt b))) (* (+ a b) (sqrt b)) (+ a b) (* (cbrt (+ a b)) b) (* (sqrt (+ a b)) b) (* b (+ a b)) (* b (+ a b)) (* (+ (pow a 3) (pow b 3)) b) (* (- (* a a) (* b b)) b) (exp (* (+ a b) (+ a b))) (* 2 (log (+ a b))) (exp (* (+ a b) (+ a b))) (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b))) (pow (+ a b) 6) (fabs (+ a b)) (fabs (+ a b)) (* (+ (pow a 3) (pow b 3)) (* (+ (* b (- b a)) (* a a)) (+ a b))) (* (+ (* b (- b a)) (* a a)) (+ (* b (- b a)) (* a a))) (+ (* (+ (* b (- b a)) (* a a)) (* (- (* a a) (* b b)) b)) (* (* (+ (pow a 3) (pow b 3)) a) (- a b))) (* (- a b) (+ (* b (- b a)) (* a a))) (+ (* (- a b) (* (+ (pow a 3) (pow b 3)) b)) (* (* (- (* a a) (* b b)) a) (+ (* b (- b a)) (* a a)))) (* (- a b) (+ (* b (- b a)) (* a a))) (* (* (* (+ a b) (+ a b)) (- a b)) (- a b)) (* (- a b) (- a b)) (* (pow (+ a b) 3) (+ (pow a 3) (pow b 3))) (* (+ a b) (+ (* b (* (+ a b) (- b a))) (* (* a a) (+ a b)))) (* (pow (+ a b) 3) (- a b)) (- (pow a 2) (* b b)) (+ a b) (* b (+ a b)) (* b (+ a b)) (* b (+ a b)) (+ (* a a) (* b (+ (* 2 a) b))) (+ (* a a) (* b (+ (* 2 a) b))) (+ (* a a) (* b (+ (* 2 a) b))) 7.436 * * * [progress]: adding candidates to table 7.604 * * [progress]: iteration 3 / 4 7.604 * * * [progress]: picking best candidate 7.607 * * * * [pick]: Picked # 7.607 * * * [progress]: localizing error 7.628 * * * [progress]: generating rewritten candidates 7.628 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 7.643 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 7.670 * * * [progress]: generating series expansions 7.670 * * * * [progress]: [ 1 / 2 ] generating series at (2) 7.670 * [backup-simplify]: Simplify (+ (* a a) (* b (+ (* 2 a) b))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 7.670 * [approximate]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in (a b) around 0 7.671 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in b 7.671 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.671 * [taylor]: Taking taylor expansion of a in b 7.671 * [backup-simplify]: Simplify a into a 7.671 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in b 7.671 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 7.671 * [taylor]: Taking taylor expansion of 2 in b 7.671 * [backup-simplify]: Simplify 2 into 2 7.671 * [taylor]: Taking taylor expansion of (* a b) in b 7.671 * [taylor]: Taking taylor expansion of a in b 7.671 * [backup-simplify]: Simplify a into a 7.671 * [taylor]: Taking taylor expansion of b in b 7.671 * [backup-simplify]: Simplify 0 into 0 7.671 * [backup-simplify]: Simplify 1 into 1 7.671 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.671 * [taylor]: Taking taylor expansion of b in b 7.671 * [backup-simplify]: Simplify 0 into 0 7.671 * [backup-simplify]: Simplify 1 into 1 7.671 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in a 7.671 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.671 * [taylor]: Taking taylor expansion of a in a 7.671 * [backup-simplify]: Simplify 0 into 0 7.671 * [backup-simplify]: Simplify 1 into 1 7.671 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in a 7.671 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 7.671 * [taylor]: Taking taylor expansion of 2 in a 7.671 * [backup-simplify]: Simplify 2 into 2 7.671 * [taylor]: Taking taylor expansion of (* a b) in a 7.671 * [taylor]: Taking taylor expansion of a in a 7.671 * [backup-simplify]: Simplify 0 into 0 7.671 * [backup-simplify]: Simplify 1 into 1 7.671 * [taylor]: Taking taylor expansion of b in a 7.671 * [backup-simplify]: Simplify b into b 7.671 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.671 * [taylor]: Taking taylor expansion of b in a 7.671 * [backup-simplify]: Simplify b into b 7.671 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in a 7.671 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.671 * [taylor]: Taking taylor expansion of a in a 7.671 * [backup-simplify]: Simplify 0 into 0 7.671 * [backup-simplify]: Simplify 1 into 1 7.671 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in a 7.671 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 7.671 * [taylor]: Taking taylor expansion of 2 in a 7.671 * [backup-simplify]: Simplify 2 into 2 7.671 * [taylor]: Taking taylor expansion of (* a b) in a 7.671 * [taylor]: Taking taylor expansion of a in a 7.671 * [backup-simplify]: Simplify 0 into 0 7.671 * [backup-simplify]: Simplify 1 into 1 7.671 * [taylor]: Taking taylor expansion of b in a 7.671 * [backup-simplify]: Simplify b into b 7.671 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.671 * [taylor]: Taking taylor expansion of b in a 7.671 * [backup-simplify]: Simplify b into b 7.671 * [backup-simplify]: Simplify (* 0 b) into 0 7.672 * [backup-simplify]: Simplify (* 2 0) into 0 7.672 * [backup-simplify]: Simplify (* b b) into (pow b 2) 7.672 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2) 7.672 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2) 7.672 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.672 * [taylor]: Taking taylor expansion of b in b 7.672 * [backup-simplify]: Simplify 0 into 0 7.672 * [backup-simplify]: Simplify 1 into 1 7.673 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 7.673 * [backup-simplify]: Simplify (+ (* 2 b) (* 0 0)) into (* 2 b) 7.673 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 7.673 * [backup-simplify]: Simplify (+ (* 2 b) 0) into (* 2 b) 7.673 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b) 7.673 * [taylor]: Taking taylor expansion of (* 2 b) in b 7.673 * [taylor]: Taking taylor expansion of 2 in b 7.673 * [backup-simplify]: Simplify 2 into 2 7.673 * [taylor]: Taking taylor expansion of b in b 7.673 * [backup-simplify]: Simplify 0 into 0 7.673 * [backup-simplify]: Simplify 1 into 1 7.673 * [backup-simplify]: Simplify (* 2 0) into 0 7.673 * [backup-simplify]: Simplify 0 into 0 7.674 * [backup-simplify]: Simplify (* 1 1) into 1 7.674 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 7.675 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 b) (* 0 0))) into 0 7.675 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 7.675 * [backup-simplify]: Simplify (+ 0 0) into 0 7.675 * [backup-simplify]: Simplify (+ 1 0) into 1 7.676 * [taylor]: Taking taylor expansion of 1 in b 7.676 * [backup-simplify]: Simplify 1 into 1 7.676 * [backup-simplify]: Simplify 1 into 1 7.676 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 7.676 * [backup-simplify]: Simplify 2 into 2 7.676 * [backup-simplify]: Simplify (* 1 1) into 1 7.676 * [backup-simplify]: Simplify 1 into 1 7.677 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 7.677 * [backup-simplify]: Simplify (+ (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (+ (* 2 (/ 1 a)) (/ 1 b)))) into (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) 7.677 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (a b) around 0 7.677 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 7.677 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.677 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.677 * [taylor]: Taking taylor expansion of b in b 7.677 * [backup-simplify]: Simplify 0 into 0 7.677 * [backup-simplify]: Simplify 1 into 1 7.677 * [backup-simplify]: Simplify (* 1 1) into 1 7.677 * [backup-simplify]: Simplify (/ 1 1) into 1 7.677 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 7.677 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 7.678 * [taylor]: Taking taylor expansion of 2 in b 7.678 * [backup-simplify]: Simplify 2 into 2 7.678 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 7.678 * [taylor]: Taking taylor expansion of (* a b) in b 7.678 * [taylor]: Taking taylor expansion of a in b 7.678 * [backup-simplify]: Simplify a into a 7.678 * [taylor]: Taking taylor expansion of b in b 7.678 * [backup-simplify]: Simplify 0 into 0 7.678 * [backup-simplify]: Simplify 1 into 1 7.678 * [backup-simplify]: Simplify (* a 0) into 0 7.678 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 7.678 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 7.678 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 7.678 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.678 * [taylor]: Taking taylor expansion of a in b 7.678 * [backup-simplify]: Simplify a into a 7.678 * [backup-simplify]: Simplify (* a a) into (pow a 2) 7.678 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 7.678 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 7.678 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.678 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.678 * [taylor]: Taking taylor expansion of b in a 7.678 * [backup-simplify]: Simplify b into b 7.678 * [backup-simplify]: Simplify (* b b) into (pow b 2) 7.678 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 7.678 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 7.678 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 7.678 * [taylor]: Taking taylor expansion of 2 in a 7.679 * [backup-simplify]: Simplify 2 into 2 7.679 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 7.679 * [taylor]: Taking taylor expansion of (* a b) in a 7.679 * [taylor]: Taking taylor expansion of a in a 7.679 * [backup-simplify]: Simplify 0 into 0 7.679 * [backup-simplify]: Simplify 1 into 1 7.679 * [taylor]: Taking taylor expansion of b in a 7.679 * [backup-simplify]: Simplify b into b 7.679 * [backup-simplify]: Simplify (* 0 b) into 0 7.679 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 7.679 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 7.679 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 7.679 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.679 * [taylor]: Taking taylor expansion of a in a 7.679 * [backup-simplify]: Simplify 0 into 0 7.679 * [backup-simplify]: Simplify 1 into 1 7.679 * [backup-simplify]: Simplify (* 1 1) into 1 7.680 * [backup-simplify]: Simplify (/ 1 1) into 1 7.680 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 7.680 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.680 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.680 * [taylor]: Taking taylor expansion of b in a 7.680 * [backup-simplify]: Simplify b into b 7.680 * [backup-simplify]: Simplify (* b b) into (pow b 2) 7.680 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 7.680 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 7.680 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 7.680 * [taylor]: Taking taylor expansion of 2 in a 7.680 * [backup-simplify]: Simplify 2 into 2 7.680 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 7.680 * [taylor]: Taking taylor expansion of (* a b) in a 7.680 * [taylor]: Taking taylor expansion of a in a 7.680 * [backup-simplify]: Simplify 0 into 0 7.680 * [backup-simplify]: Simplify 1 into 1 7.680 * [taylor]: Taking taylor expansion of b in a 7.680 * [backup-simplify]: Simplify b into b 7.680 * [backup-simplify]: Simplify (* 0 b) into 0 7.680 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 7.680 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 7.680 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 7.680 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.680 * [taylor]: Taking taylor expansion of a in a 7.681 * [backup-simplify]: Simplify 0 into 0 7.681 * [backup-simplify]: Simplify 1 into 1 7.681 * [backup-simplify]: Simplify (* 1 1) into 1 7.681 * [backup-simplify]: Simplify (/ 1 1) into 1 7.681 * [backup-simplify]: Simplify (+ 0 1) into 1 7.682 * [backup-simplify]: Simplify (+ 0 1) into 1 7.682 * [taylor]: Taking taylor expansion of 1 in b 7.682 * [backup-simplify]: Simplify 1 into 1 7.682 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b) 7.682 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.683 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b)) 7.683 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b)) 7.683 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 7.683 * [taylor]: Taking taylor expansion of 2 in b 7.683 * [backup-simplify]: Simplify 2 into 2 7.683 * [taylor]: Taking taylor expansion of (/ 1 b) in b 7.683 * [taylor]: Taking taylor expansion of b in b 7.683 * [backup-simplify]: Simplify 0 into 0 7.683 * [backup-simplify]: Simplify 1 into 1 7.683 * [backup-simplify]: Simplify (/ 1 1) into 1 7.684 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 7.684 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 7.684 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0 7.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.685 * [backup-simplify]: Simplify (+ 0 0) into 0 7.685 * [backup-simplify]: Simplify (+ (/ 1 (pow b 2)) 0) into (/ 1 (pow b 2)) 7.685 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.685 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.685 * [taylor]: Taking taylor expansion of b in b 7.686 * [backup-simplify]: Simplify 0 into 0 7.686 * [backup-simplify]: Simplify 1 into 1 7.686 * [backup-simplify]: Simplify (* 1 1) into 1 7.686 * [backup-simplify]: Simplify (/ 1 1) into 1 7.686 * [backup-simplify]: Simplify 1 into 1 7.686 * [backup-simplify]: Simplify (* 2 1) into 2 7.686 * [backup-simplify]: Simplify 2 into 2 7.686 * [backup-simplify]: Simplify 1 into 1 7.687 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 7.687 * [backup-simplify]: Simplify (+ (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (+ (* 2 (/ 1 (- a))) (/ 1 (- b))))) into (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) 7.687 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (a b) around 0 7.687 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 7.687 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.687 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.687 * [taylor]: Taking taylor expansion of b in b 7.687 * [backup-simplify]: Simplify 0 into 0 7.687 * [backup-simplify]: Simplify 1 into 1 7.687 * [backup-simplify]: Simplify (* 1 1) into 1 7.688 * [backup-simplify]: Simplify (/ 1 1) into 1 7.688 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 7.688 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 7.688 * [taylor]: Taking taylor expansion of 2 in b 7.688 * [backup-simplify]: Simplify 2 into 2 7.688 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 7.688 * [taylor]: Taking taylor expansion of (* a b) in b 7.688 * [taylor]: Taking taylor expansion of a in b 7.688 * [backup-simplify]: Simplify a into a 7.688 * [taylor]: Taking taylor expansion of b in b 7.688 * [backup-simplify]: Simplify 0 into 0 7.688 * [backup-simplify]: Simplify 1 into 1 7.688 * [backup-simplify]: Simplify (* a 0) into 0 7.688 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 7.688 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 7.688 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 7.688 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.688 * [taylor]: Taking taylor expansion of a in b 7.688 * [backup-simplify]: Simplify a into a 7.688 * [backup-simplify]: Simplify (* a a) into (pow a 2) 7.688 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 7.688 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 7.688 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.688 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.688 * [taylor]: Taking taylor expansion of b in a 7.689 * [backup-simplify]: Simplify b into b 7.689 * [backup-simplify]: Simplify (* b b) into (pow b 2) 7.689 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 7.689 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 7.689 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 7.689 * [taylor]: Taking taylor expansion of 2 in a 7.689 * [backup-simplify]: Simplify 2 into 2 7.689 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 7.689 * [taylor]: Taking taylor expansion of (* a b) in a 7.689 * [taylor]: Taking taylor expansion of a in a 7.689 * [backup-simplify]: Simplify 0 into 0 7.689 * [backup-simplify]: Simplify 1 into 1 7.689 * [taylor]: Taking taylor expansion of b in a 7.689 * [backup-simplify]: Simplify b into b 7.689 * [backup-simplify]: Simplify (* 0 b) into 0 7.689 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 7.689 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 7.689 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 7.689 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.689 * [taylor]: Taking taylor expansion of a in a 7.689 * [backup-simplify]: Simplify 0 into 0 7.689 * [backup-simplify]: Simplify 1 into 1 7.689 * [backup-simplify]: Simplify (* 1 1) into 1 7.690 * [backup-simplify]: Simplify (/ 1 1) into 1 7.690 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 7.690 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.690 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.690 * [taylor]: Taking taylor expansion of b in a 7.690 * [backup-simplify]: Simplify b into b 7.690 * [backup-simplify]: Simplify (* b b) into (pow b 2) 7.690 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 7.690 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 7.690 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 7.690 * [taylor]: Taking taylor expansion of 2 in a 7.690 * [backup-simplify]: Simplify 2 into 2 7.690 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 7.690 * [taylor]: Taking taylor expansion of (* a b) in a 7.690 * [taylor]: Taking taylor expansion of a in a 7.690 * [backup-simplify]: Simplify 0 into 0 7.690 * [backup-simplify]: Simplify 1 into 1 7.690 * [taylor]: Taking taylor expansion of b in a 7.690 * [backup-simplify]: Simplify b into b 7.690 * [backup-simplify]: Simplify (* 0 b) into 0 7.690 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 7.690 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 7.690 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 7.690 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.691 * [taylor]: Taking taylor expansion of a in a 7.691 * [backup-simplify]: Simplify 0 into 0 7.691 * [backup-simplify]: Simplify 1 into 1 7.691 * [backup-simplify]: Simplify (* 1 1) into 1 7.691 * [backup-simplify]: Simplify (/ 1 1) into 1 7.691 * [backup-simplify]: Simplify (+ 0 1) into 1 7.692 * [backup-simplify]: Simplify (+ 0 1) into 1 7.692 * [taylor]: Taking taylor expansion of 1 in b 7.692 * [backup-simplify]: Simplify 1 into 1 7.692 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b) 7.692 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.693 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b)) 7.693 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b)) 7.693 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 7.693 * [taylor]: Taking taylor expansion of 2 in b 7.693 * [backup-simplify]: Simplify 2 into 2 7.693 * [taylor]: Taking taylor expansion of (/ 1 b) in b 7.693 * [taylor]: Taking taylor expansion of b in b 7.693 * [backup-simplify]: Simplify 0 into 0 7.693 * [backup-simplify]: Simplify 1 into 1 7.693 * [backup-simplify]: Simplify (/ 1 1) into 1 7.693 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 7.694 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 7.694 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0 7.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.695 * [backup-simplify]: Simplify (+ 0 0) into 0 7.695 * [backup-simplify]: Simplify (+ (/ 1 (pow b 2)) 0) into (/ 1 (pow b 2)) 7.695 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.695 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.695 * [taylor]: Taking taylor expansion of b in b 7.695 * [backup-simplify]: Simplify 0 into 0 7.695 * [backup-simplify]: Simplify 1 into 1 7.696 * [backup-simplify]: Simplify (* 1 1) into 1 7.696 * [backup-simplify]: Simplify (/ 1 1) into 1 7.696 * [backup-simplify]: Simplify 1 into 1 7.696 * [backup-simplify]: Simplify (* 2 1) into 2 7.696 * [backup-simplify]: Simplify 2 into 2 7.696 * [backup-simplify]: Simplify 1 into 1 7.697 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 7.697 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 7.697 * [backup-simplify]: Simplify (* b (+ (* 2 a) b)) into (* (+ (* 2 a) b) b) 7.697 * [approximate]: Taking taylor expansion of (* (+ (* 2 a) b) b) in (b a) around 0 7.697 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in a 7.697 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in a 7.697 * [taylor]: Taking taylor expansion of (* 2 a) in a 7.697 * [taylor]: Taking taylor expansion of 2 in a 7.697 * [backup-simplify]: Simplify 2 into 2 7.697 * [taylor]: Taking taylor expansion of a in a 7.697 * [backup-simplify]: Simplify 0 into 0 7.697 * [backup-simplify]: Simplify 1 into 1 7.697 * [taylor]: Taking taylor expansion of b in a 7.697 * [backup-simplify]: Simplify b into b 7.697 * [taylor]: Taking taylor expansion of b in a 7.697 * [backup-simplify]: Simplify b into b 7.697 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in b 7.697 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b 7.697 * [taylor]: Taking taylor expansion of (* 2 a) in b 7.697 * [taylor]: Taking taylor expansion of 2 in b 7.697 * [backup-simplify]: Simplify 2 into 2 7.697 * [taylor]: Taking taylor expansion of a in b 7.697 * [backup-simplify]: Simplify a into a 7.697 * [taylor]: Taking taylor expansion of b in b 7.697 * [backup-simplify]: Simplify 0 into 0 7.697 * [backup-simplify]: Simplify 1 into 1 7.697 * [taylor]: Taking taylor expansion of b in b 7.697 * [backup-simplify]: Simplify 0 into 0 7.697 * [backup-simplify]: Simplify 1 into 1 7.697 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in b 7.697 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b 7.697 * [taylor]: Taking taylor expansion of (* 2 a) in b 7.697 * [taylor]: Taking taylor expansion of 2 in b 7.697 * [backup-simplify]: Simplify 2 into 2 7.697 * [taylor]: Taking taylor expansion of a in b 7.697 * [backup-simplify]: Simplify a into a 7.697 * [taylor]: Taking taylor expansion of b in b 7.697 * [backup-simplify]: Simplify 0 into 0 7.697 * [backup-simplify]: Simplify 1 into 1 7.697 * [taylor]: Taking taylor expansion of b in b 7.697 * [backup-simplify]: Simplify 0 into 0 7.697 * [backup-simplify]: Simplify 1 into 1 7.697 * [backup-simplify]: Simplify (* 2 a) into (* 2 a) 7.697 * [backup-simplify]: Simplify (+ (* 2 a) 0) into (* 2 a) 7.697 * [backup-simplify]: Simplify (* (* 2 a) 0) into 0 7.697 * [taylor]: Taking taylor expansion of 0 in a 7.698 * [backup-simplify]: Simplify 0 into 0 7.698 * [backup-simplify]: Simplify 0 into 0 7.698 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 a)) into 0 7.698 * [backup-simplify]: Simplify (+ 0 1) into 1 7.698 * [backup-simplify]: Simplify (+ (* (* 2 a) 1) (* 1 0)) into (* 2 a) 7.698 * [taylor]: Taking taylor expansion of (* 2 a) in a 7.698 * [taylor]: Taking taylor expansion of 2 in a 7.698 * [backup-simplify]: Simplify 2 into 2 7.698 * [taylor]: Taking taylor expansion of a in a 7.699 * [backup-simplify]: Simplify 0 into 0 7.699 * [backup-simplify]: Simplify 1 into 1 7.699 * [backup-simplify]: Simplify (* 2 0) into 0 7.699 * [backup-simplify]: Simplify 0 into 0 7.699 * [backup-simplify]: Simplify 0 into 0 7.700 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 a))) into 0 7.700 * [backup-simplify]: Simplify (+ 0 0) into 0 7.701 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 1) (* 0 0))) into 1 7.701 * [taylor]: Taking taylor expansion of 1 in a 7.701 * [backup-simplify]: Simplify 1 into 1 7.701 * [backup-simplify]: Simplify 1 into 1 7.702 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 7.702 * [backup-simplify]: Simplify 2 into 2 7.702 * [backup-simplify]: Simplify 0 into 0 7.704 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 7.704 * [backup-simplify]: Simplify (+ 0 0) into 0 7.705 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 7.705 * [taylor]: Taking taylor expansion of 0 in a 7.705 * [backup-simplify]: Simplify 0 into 0 7.705 * [backup-simplify]: Simplify 0 into 0 7.705 * [backup-simplify]: Simplify 0 into 0 7.712 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 7.712 * [backup-simplify]: Simplify 0 into 0 7.712 * [backup-simplify]: Simplify 0 into 0 7.714 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 7.715 * [backup-simplify]: Simplify (+ 0 0) into 0 7.716 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 7.716 * [taylor]: Taking taylor expansion of 0 in a 7.716 * [backup-simplify]: Simplify 0 into 0 7.716 * [backup-simplify]: Simplify 0 into 0 7.717 * [backup-simplify]: Simplify (+ (* 2 (* a b)) (* 1 (pow (* 1 b) 2))) into (+ (* 2 (* a b)) (pow b 2)) 7.717 * [backup-simplify]: Simplify (* (/ 1 b) (+ (* 2 (/ 1 a)) (/ 1 b))) into (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) 7.717 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in (b a) around 0 7.717 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in a 7.717 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a 7.717 * [taylor]: Taking taylor expansion of (/ 1 b) in a 7.717 * [taylor]: Taking taylor expansion of b in a 7.717 * [backup-simplify]: Simplify b into b 7.717 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 7.717 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 7.717 * [taylor]: Taking taylor expansion of 2 in a 7.717 * [backup-simplify]: Simplify 2 into 2 7.717 * [taylor]: Taking taylor expansion of (/ 1 a) in a 7.717 * [taylor]: Taking taylor expansion of a in a 7.717 * [backup-simplify]: Simplify 0 into 0 7.717 * [backup-simplify]: Simplify 1 into 1 7.718 * [backup-simplify]: Simplify (/ 1 1) into 1 7.718 * [taylor]: Taking taylor expansion of b in a 7.718 * [backup-simplify]: Simplify b into b 7.718 * [backup-simplify]: Simplify (* 2 1) into 2 7.719 * [backup-simplify]: Simplify (+ 0 2) into 2 7.719 * [backup-simplify]: Simplify (/ 2 b) into (/ 2 b) 7.719 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 7.719 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 7.719 * [taylor]: Taking taylor expansion of (/ 1 b) in b 7.719 * [taylor]: Taking taylor expansion of b in b 7.719 * [backup-simplify]: Simplify 0 into 0 7.719 * [backup-simplify]: Simplify 1 into 1 7.719 * [backup-simplify]: Simplify (/ 1 1) into 1 7.719 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 7.719 * [taylor]: Taking taylor expansion of 2 in b 7.719 * [backup-simplify]: Simplify 2 into 2 7.720 * [taylor]: Taking taylor expansion of (/ 1 a) in b 7.720 * [taylor]: Taking taylor expansion of a in b 7.720 * [backup-simplify]: Simplify a into a 7.720 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 7.720 * [taylor]: Taking taylor expansion of b in b 7.720 * [backup-simplify]: Simplify 0 into 0 7.720 * [backup-simplify]: Simplify 1 into 1 7.720 * [backup-simplify]: Simplify (+ 1 0) into 1 7.721 * [backup-simplify]: Simplify (/ 1 1) into 1 7.721 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 7.721 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 7.721 * [taylor]: Taking taylor expansion of (/ 1 b) in b 7.721 * [taylor]: Taking taylor expansion of b in b 7.721 * [backup-simplify]: Simplify 0 into 0 7.721 * [backup-simplify]: Simplify 1 into 1 7.721 * [backup-simplify]: Simplify (/ 1 1) into 1 7.721 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 7.722 * [taylor]: Taking taylor expansion of 2 in b 7.722 * [backup-simplify]: Simplify 2 into 2 7.722 * [taylor]: Taking taylor expansion of (/ 1 a) in b 7.722 * [taylor]: Taking taylor expansion of a in b 7.722 * [backup-simplify]: Simplify a into a 7.722 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 7.722 * [taylor]: Taking taylor expansion of b in b 7.722 * [backup-simplify]: Simplify 0 into 0 7.722 * [backup-simplify]: Simplify 1 into 1 7.722 * [backup-simplify]: Simplify (+ 1 0) into 1 7.723 * [backup-simplify]: Simplify (/ 1 1) into 1 7.723 * [taylor]: Taking taylor expansion of 1 in a 7.723 * [backup-simplify]: Simplify 1 into 1 7.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.724 * [backup-simplify]: Simplify (* 2 (/ 1 a)) into (/ 2 a) 7.724 * [backup-simplify]: Simplify (+ 0 (/ 2 a)) into (* 2 (/ 1 a)) 7.725 * [backup-simplify]: Simplify (- (/ (* 2 (/ 1 a)) 1) (+ (* 1 (/ 0 1)))) into (* 2 (/ 1 a)) 7.725 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 7.725 * [taylor]: Taking taylor expansion of 2 in a 7.725 * [backup-simplify]: Simplify 2 into 2 7.725 * [taylor]: Taking taylor expansion of (/ 1 a) in a 7.725 * [taylor]: Taking taylor expansion of a in a 7.725 * [backup-simplify]: Simplify 0 into 0 7.725 * [backup-simplify]: Simplify 1 into 1 7.725 * [backup-simplify]: Simplify (/ 1 1) into 1 7.726 * [backup-simplify]: Simplify (* 2 1) into 2 7.726 * [backup-simplify]: Simplify 2 into 2 7.726 * [backup-simplify]: Simplify 1 into 1 7.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.727 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 7.727 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0 7.727 * [backup-simplify]: Simplify (+ 0 0) into 0 7.728 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)))) into 0 7.728 * [taylor]: Taking taylor expansion of 0 in a 7.728 * [backup-simplify]: Simplify 0 into 0 7.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.729 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 7.729 * [backup-simplify]: Simplify 0 into 0 7.729 * [backup-simplify]: Simplify 0 into 0 7.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.730 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 7.730 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0 7.730 * [backup-simplify]: Simplify (+ 0 0) into 0 7.732 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.732 * [taylor]: Taking taylor expansion of 0 in a 7.732 * [backup-simplify]: Simplify 0 into 0 7.732 * [backup-simplify]: Simplify 0 into 0 7.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.733 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 7.733 * [backup-simplify]: Simplify 0 into 0 7.733 * [backup-simplify]: Simplify 0 into 0 7.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.734 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 7.734 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0 7.735 * [backup-simplify]: Simplify (+ 0 0) into 0 7.736 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.736 * [taylor]: Taking taylor expansion of 0 in a 7.736 * [backup-simplify]: Simplify 0 into 0 7.736 * [backup-simplify]: Simplify 0 into 0 7.736 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 2)) (* 2 (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b))))) into (+ (* 2 (* a b)) (pow b 2)) 7.737 * [backup-simplify]: Simplify (* (/ 1 (- b)) (+ (* 2 (/ 1 (- a))) (/ 1 (- b)))) into (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) 7.737 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in (b a) around 0 7.737 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in a 7.737 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a 7.737 * [taylor]: Taking taylor expansion of (/ 1 b) in a 7.737 * [taylor]: Taking taylor expansion of b in a 7.737 * [backup-simplify]: Simplify b into b 7.737 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 7.737 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 7.737 * [taylor]: Taking taylor expansion of 2 in a 7.737 * [backup-simplify]: Simplify 2 into 2 7.737 * [taylor]: Taking taylor expansion of (/ 1 a) in a 7.737 * [taylor]: Taking taylor expansion of a in a 7.737 * [backup-simplify]: Simplify 0 into 0 7.737 * [backup-simplify]: Simplify 1 into 1 7.737 * [backup-simplify]: Simplify (/ 1 1) into 1 7.737 * [taylor]: Taking taylor expansion of b in a 7.737 * [backup-simplify]: Simplify b into b 7.737 * [backup-simplify]: Simplify (* 2 1) into 2 7.738 * [backup-simplify]: Simplify (+ 0 2) into 2 7.738 * [backup-simplify]: Simplify (/ 2 b) into (/ 2 b) 7.738 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 7.738 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 7.738 * [taylor]: Taking taylor expansion of (/ 1 b) in b 7.738 * [taylor]: Taking taylor expansion of b in b 7.738 * [backup-simplify]: Simplify 0 into 0 7.738 * [backup-simplify]: Simplify 1 into 1 7.738 * [backup-simplify]: Simplify (/ 1 1) into 1 7.738 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 7.738 * [taylor]: Taking taylor expansion of 2 in b 7.738 * [backup-simplify]: Simplify 2 into 2 7.738 * [taylor]: Taking taylor expansion of (/ 1 a) in b 7.738 * [taylor]: Taking taylor expansion of a in b 7.738 * [backup-simplify]: Simplify a into a 7.738 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 7.738 * [taylor]: Taking taylor expansion of b in b 7.738 * [backup-simplify]: Simplify 0 into 0 7.738 * [backup-simplify]: Simplify 1 into 1 7.739 * [backup-simplify]: Simplify (+ 1 0) into 1 7.739 * [backup-simplify]: Simplify (/ 1 1) into 1 7.739 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 7.739 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 7.739 * [taylor]: Taking taylor expansion of (/ 1 b) in b 7.739 * [taylor]: Taking taylor expansion of b in b 7.739 * [backup-simplify]: Simplify 0 into 0 7.739 * [backup-simplify]: Simplify 1 into 1 7.739 * [backup-simplify]: Simplify (/ 1 1) into 1 7.739 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 7.739 * [taylor]: Taking taylor expansion of 2 in b 7.739 * [backup-simplify]: Simplify 2 into 2 7.739 * [taylor]: Taking taylor expansion of (/ 1 a) in b 7.739 * [taylor]: Taking taylor expansion of a in b 7.739 * [backup-simplify]: Simplify a into a 7.739 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 7.739 * [taylor]: Taking taylor expansion of b in b 7.739 * [backup-simplify]: Simplify 0 into 0 7.739 * [backup-simplify]: Simplify 1 into 1 7.740 * [backup-simplify]: Simplify (+ 1 0) into 1 7.740 * [backup-simplify]: Simplify (/ 1 1) into 1 7.740 * [taylor]: Taking taylor expansion of 1 in a 7.740 * [backup-simplify]: Simplify 1 into 1 7.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.740 * [backup-simplify]: Simplify (* 2 (/ 1 a)) into (/ 2 a) 7.740 * [backup-simplify]: Simplify (+ 0 (/ 2 a)) into (* 2 (/ 1 a)) 7.741 * [backup-simplify]: Simplify (- (/ (* 2 (/ 1 a)) 1) (+ (* 1 (/ 0 1)))) into (* 2 (/ 1 a)) 7.741 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 7.741 * [taylor]: Taking taylor expansion of 2 in a 7.741 * [backup-simplify]: Simplify 2 into 2 7.741 * [taylor]: Taking taylor expansion of (/ 1 a) in a 7.741 * [taylor]: Taking taylor expansion of a in a 7.741 * [backup-simplify]: Simplify 0 into 0 7.741 * [backup-simplify]: Simplify 1 into 1 7.741 * [backup-simplify]: Simplify (/ 1 1) into 1 7.742 * [backup-simplify]: Simplify (* 2 1) into 2 7.742 * [backup-simplify]: Simplify 2 into 2 7.742 * [backup-simplify]: Simplify 1 into 1 7.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.742 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 7.743 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0 7.743 * [backup-simplify]: Simplify (+ 0 0) into 0 7.744 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)))) into 0 7.744 * [taylor]: Taking taylor expansion of 0 in a 7.744 * [backup-simplify]: Simplify 0 into 0 7.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.745 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 7.745 * [backup-simplify]: Simplify 0 into 0 7.745 * [backup-simplify]: Simplify 0 into 0 7.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.745 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 7.746 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0 7.746 * [backup-simplify]: Simplify (+ 0 0) into 0 7.747 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.747 * [taylor]: Taking taylor expansion of 0 in a 7.747 * [backup-simplify]: Simplify 0 into 0 7.747 * [backup-simplify]: Simplify 0 into 0 7.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.748 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 7.748 * [backup-simplify]: Simplify 0 into 0 7.748 * [backup-simplify]: Simplify 0 into 0 7.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.749 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 7.750 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0 7.750 * [backup-simplify]: Simplify (+ 0 0) into 0 7.751 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.751 * [taylor]: Taking taylor expansion of 0 in a 7.751 * [backup-simplify]: Simplify 0 into 0 7.751 * [backup-simplify]: Simplify 0 into 0 7.752 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 2)) (* 2 (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b)))))) into (+ (* 2 (* a b)) (pow b 2)) 7.752 * * * [progress]: simplifying candidates 7.752 * [simplify]: Simplifying: (* (exp (* a a)) (exp (* b (+ (* 2 a) b)))) (log (+ (* a a) (* b (+ (* 2 a) b)))) (exp (+ (* a a) (* b (+ (* 2 a) b)))) (* (cbrt (+ (* a a) (* b (+ (* 2 a) b)))) (cbrt (+ (* a a) (* b (+ (* 2 a) b))))) (cbrt (+ (* a a) (* b (+ (* 2 a) b)))) (* (* (+ (* a a) (* b (+ (* 2 a) b))) (+ (* a a) (* b (+ (* 2 a) b)))) (+ (* a a) (* b (+ (* 2 a) b)))) (sqrt (+ (* a a) (* b (+ (* 2 a) b)))) (sqrt (+ (* a a) (* b (+ (* 2 a) b)))) (+ (pow (* a a) 3) (pow (* b (+ (* 2 a) b)) 3)) (+ (* (* a a) (* a a)) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* a a) (* b (+ (* 2 a) b))))) (- (* (* a a) (* a a)) (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (- (* a a) (* b (+ (* 2 a) b))) (+ (* a a) (* b (* 2 a))) (+ (* a a) (* (* 2 a) b)) (* b (+ (* 2 a) b)) (+ (log b) (log (+ (* 2 a) b))) (log (* b (+ (* 2 a) b))) (exp (* b (+ (* 2 a) b))) (* (* (* b b) b) (* (* (+ (* 2 a) b) (+ (* 2 a) b)) (+ (* 2 a) b))) (* (cbrt (* b (+ (* 2 a) b))) (cbrt (* b (+ (* 2 a) b)))) (cbrt (* b (+ (* 2 a) b))) (* (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* b (+ (* 2 a) b))) (sqrt (* b (+ (* 2 a) b))) (sqrt (* b (+ (* 2 a) b))) (* (sqrt b) (sqrt (+ (* 2 a) b))) (* (sqrt b) (sqrt (+ (* 2 a) b))) (* b (* 2 a)) (* b b) (* (* 2 a) b) (* b b) (* b (* (cbrt (+ (* 2 a) b)) (cbrt (+ (* 2 a) b)))) (* b (sqrt (+ (* 2 a) b))) (* b 1) (* (cbrt b) (+ (* 2 a) b)) (* (sqrt b) (+ (* 2 a) b)) (* b (+ (* 2 a) b)) (* b (+ (pow (* 2 a) 3) (pow b 3))) (* b (- (* (* 2 a) (* 2 a)) (* b b))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (* 2 (* a b)) (pow b 2)) (+ (* 2 (* a b)) (pow b 2)) (+ (* 2 (* a b)) (pow b 2)) 7.753 * * [simplify]: Extracting # 0 : cost 0 7.753 * * [simplify]: Extracting # 1 : cost 0 7.753 * * [simplify]: Extracting # 2 : cost 0 7.754 * * [simplify]: Extracting # 3 : cost 0 7.754 * * [simplify]: Extracting # 4 : cost 0 7.754 * * [simplify]: Extracting # 5 : cost 0 7.754 * * [simplify]: Extracting # 6 : cost 0 7.754 * * [simplify]: iteration 0 : 71 enodes (cost 527 ) 7.776 * * [simplify]: Extracting # 0 : cost 0 7.777 * * [simplify]: Extracting # 1 : cost 0 7.777 * * [simplify]: Extracting # 2 : cost 0 7.777 * * [simplify]: Extracting # 3 : cost 0 7.777 * * [simplify]: Extracting # 4 : cost 0 7.778 * * [simplify]: iteration 1 : 220 enodes (cost 485 ) 7.897 * * [simplify]: Extracting # 0 : cost 0 7.899 * * [simplify]: Extracting # 1 : cost 0 7.900 * * [simplify]: Extracting # 2 : cost 0 7.900 * * [simplify]: Extracting # 3 : cost 0 7.901 * * [simplify]: Extracting # 4 : cost 0 7.902 * * [simplify]: iteration 2 : 767 enodes (cost 437 ) 8.781 * * [simplify]: Extracting # 0 : cost 0 8.786 * * [simplify]: Extracting # 1 : cost 0 8.789 * * [simplify]: Extracting # 2 : cost 0 8.792 * * [simplify]: Extracting # 3 : cost 0 8.795 * * [simplify]: Extracting # 4 : cost 0 8.801 * * [simplify]: iteration 3 : 3697 enodes (cost 437 ) 10.668 * * [simplify]: Extracting # 0 : cost 0 10.674 * * [simplify]: Extracting # 1 : cost 0 10.679 * * [simplify]: Extracting # 2 : cost 0 10.683 * * [simplify]: Extracting # 3 : cost 0 10.688 * * [simplify]: Extracting # 4 : cost 0 10.695 * * [simplify]: iteration done: 5000 enodes (cost 437 ) 10.695 * [simplify]: Simplified to: (exp (+ (* a a) (* b (+ (* 2 a) b)))) (log (+ (* a a) (* b (+ (* 2 a) b)))) (exp (+ (* a a) (* b (+ (* 2 a) b)))) (* (cbrt (+ (* a a) (* b (+ (* 2 a) b)))) (cbrt (+ (* a a) (* b (+ (* 2 a) b))))) (cbrt (+ (* a a) (* b (+ (* 2 a) b)))) (pow (+ (* a a) (* b (+ (* 2 a) b))) 3) (sqrt (+ (* a a) (* b (+ (* 2 a) b)))) (sqrt (+ (* a a) (* b (+ (* 2 a) b)))) (+ (pow (* b (+ (* 2 a) b)) 3) (pow a 6)) (+ (pow a 4) (* (* (+ (* 2 a) b) b) (- (* (+ (* 2 a) b) b) (* a a)))) (- (pow a 4) (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (- (* a a) (* b (+ (* 2 a) b))) (* a (+ a (* b 2))) (* a (+ a (* b 2))) (* (+ (* 2 a) b) b) (log (* b (+ (* 2 a) b))) (log (* b (+ (* 2 a) b))) (exp (* b (+ (* 2 a) b))) (pow (* b (+ (* 2 a) b)) 3) (* (cbrt (* b (+ (* 2 a) b))) (cbrt (* b (+ (* 2 a) b)))) (cbrt (* b (+ (* 2 a) b))) (pow (* b (+ (* 2 a) b)) 3) (sqrt (* b (+ (* 2 a) b))) (sqrt (* b (+ (* 2 a) b))) (* (sqrt b) (sqrt (+ (* 2 a) b))) (* (sqrt b) (sqrt (+ (* 2 a) b))) (* 2 (* a b)) (* b b) (* 2 (* a b)) (* b b) (* b (* (cbrt (+ (* 2 a) b)) (cbrt (+ (* 2 a) b)))) (* b (sqrt (+ (* 2 a) b))) b (* (cbrt b) (+ (* 2 a) b)) (* (sqrt b) (+ (* 2 a) b)) (* (+ (* 2 a) b) b) (* b (+ (pow (* 2 a) 3) (pow b 3))) (* (- (* 4 (* a a)) (* b b)) b) (+ (* a a) (* b (+ (* 2 a) b))) (+ (* a a) (* b (+ (* 2 a) b))) (+ (* a a) (* b (+ (* 2 a) b))) (* (+ (* 2 a) b) b) (* (+ (* 2 a) b) b) (* (+ (* 2 a) b) b) 10.696 * * * [progress]: adding candidates to table 10.799 * [progress]: [Phase 3 of 3] Extracting. 10.799 * * [regime]: Finding splitpoints for: (# #) 10.800 * * * [regime-changes]: Trying 2 branch expressions: (b a) 10.800 * * * * [regimes]: Trying to branch on b from (# #) 10.815 * * * * [regimes]: Trying to branch on a from (# #) 10.829 * * * [regime]: Found split indices: #