9.545 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying: (- (* a a) (* b b)) 0.030 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.030 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.030 * * [simplify]: Extracting # 2 : cost 5 inf + 0 0.030 * * [simplify]: Extracting # 3 : cost 2 inf + 43 0.030 * * [simplify]: Extracting # 4 : cost 0 inf + 206 0.030 * * [simplify]: iteration 0 : 5 enodes (cost 122 ) 0.031 * * [simplify]: Extracting # 0 : cost 0 inf + 206 0.031 * * [simplify]: Extracting # 1 : cost 3 inf + 206 0.031 * * [simplify]: Extracting # 2 : cost 0 inf + 371 0.031 * * [simplify]: iteration 1 : 10 enodes (cost 122 ) 0.033 * * [simplify]: Extracting # 0 : cost 0 inf + 371 0.033 * * [simplify]: Extracting # 1 : cost 1 inf + 371 0.033 * * [simplify]: Extracting # 2 : cost 0 inf + 412 0.033 * * [simplify]: iteration 2 : 17 enodes (cost 122 ) 0.035 * * [simplify]: Extracting # 0 : cost 0 inf + 412 0.035 * * [simplify]: Extracting # 1 : cost 8 inf + 412 0.036 * * [simplify]: Extracting # 2 : cost 0 inf + 1148 0.036 * * [simplify]: iteration 3 : 32 enodes (cost 122 ) 0.045 * * [simplify]: Extracting # 0 : cost 0 inf + 1148 0.045 * * [simplify]: Extracting # 1 : cost 6 inf + 780 0.045 * * [simplify]: Extracting # 2 : cost 0 inf + 1192 0.046 * * [simplify]: iteration 4 : 58 enodes (cost 122 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 inf + 1192 0.057 * * [simplify]: Extracting # 1 : cost 17 inf + 986 0.058 * * [simplify]: Extracting # 2 : cost 0 inf + 4140 0.059 * * [simplify]: iteration 5 : 129 enodes (cost 122 ) 0.083 * * [simplify]: Extracting # 0 : cost 0 inf + 4140 0.087 * * [simplify]: Extracting # 1 : cost 34 inf + 1716 0.090 * * [simplify]: Extracting # 2 : cost 0 inf + 6663 0.093 * * [simplify]: Extracting # 3 : cost 0 inf + 6623 0.096 * * [simplify]: iteration 6 : 281 enodes (cost 122 ) 0.193 * * [simplify]: Extracting # 0 : cost 0 inf + 6623 0.195 * * [simplify]: Extracting # 1 : cost 93 inf + 2653 0.199 * * [simplify]: Extracting # 2 : cost 0 inf + 18953 0.203 * * [simplify]: Extracting # 3 : cost 0 inf + 18793 0.207 * * [simplify]: iteration 7 : 703 enodes (cost 122 ) 1.111 * * [simplify]: Extracting # 0 : cost 0 inf + 18793 1.135 * * [simplify]: Extracting # 1 : cost 663 inf + 5988 1.170 * * [simplify]: Extracting # 2 : cost 0 inf + 132009 1.215 * * [simplify]: Extracting # 3 : cost 0 inf + 130329 1.252 * * [simplify]: iteration 8 : 3184 enodes (cost 122 ) 2.980 * * [simplify]: Extracting # 0 : cost 0 inf + 130329 3.129 * * [simplify]: Extracting # 1 : cost 902 inf + 68155 3.185 * * [simplify]: Extracting # 2 : cost 0 inf + 158235 3.216 * * [simplify]: Extracting # 3 : cost 0 inf + 155567 3.256 * * [simplify]: iteration done: 5000 enodes (cost 122 ) 3.256 * [simplify]: Simplified to: (- (* a a) (* b b)) 3.257 * * [progress]: iteration 1 / 4 3.257 * * * [progress]: picking best candidate 3.260 * * * * [pick]: Picked # 3.260 * * * [progress]: localizing error 3.267 * * * [progress]: generating rewritten candidates 3.267 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.280 * * * [progress]: generating series expansions 3.280 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.280 * [backup-simplify]: Simplify (- (* a a) (* b b)) into (- (pow a 2) (pow b 2)) 3.280 * [approximate]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in (a b) around 0 3.280 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b 3.280 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.280 * [taylor]: Taking taylor expansion of a in b 3.280 * [backup-simplify]: Simplify a into a 3.280 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.280 * [taylor]: Taking taylor expansion of b in b 3.280 * [backup-simplify]: Simplify 0 into 0 3.280 * [backup-simplify]: Simplify 1 into 1 3.280 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 3.281 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.281 * [taylor]: Taking taylor expansion of a in a 3.281 * [backup-simplify]: Simplify 0 into 0 3.281 * [backup-simplify]: Simplify 1 into 1 3.281 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.281 * [taylor]: Taking taylor expansion of b in a 3.281 * [backup-simplify]: Simplify b into b 3.281 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 3.281 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.281 * [taylor]: Taking taylor expansion of a in a 3.281 * [backup-simplify]: Simplify 0 into 0 3.281 * [backup-simplify]: Simplify 1 into 1 3.281 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.281 * [taylor]: Taking taylor expansion of b in a 3.281 * [backup-simplify]: Simplify b into b 3.281 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.281 * [backup-simplify]: Simplify (- (pow b 2)) into (- (pow b 2)) 3.281 * [backup-simplify]: Simplify (+ 0 (- (pow b 2))) into (- (pow b 2)) 3.281 * [taylor]: Taking taylor expansion of (- (pow b 2)) in b 3.281 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.281 * [taylor]: Taking taylor expansion of b in b 3.281 * [backup-simplify]: Simplify 0 into 0 3.281 * [backup-simplify]: Simplify 1 into 1 3.282 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 3.282 * [backup-simplify]: Simplify (- 0) into 0 3.283 * [backup-simplify]: Simplify (+ 0 0) into 0 3.283 * [taylor]: Taking taylor expansion of 0 in b 3.283 * [backup-simplify]: Simplify 0 into 0 3.283 * [backup-simplify]: Simplify 0 into 0 3.283 * [backup-simplify]: Simplify (* 1 1) into 1 3.284 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 3.284 * [backup-simplify]: Simplify (- 0) into 0 3.284 * [backup-simplify]: Simplify (+ 1 0) into 1 3.284 * [taylor]: Taking taylor expansion of 1 in b 3.284 * [backup-simplify]: Simplify 1 into 1 3.284 * [backup-simplify]: Simplify 1 into 1 3.284 * [backup-simplify]: Simplify 0 into 0 3.285 * [backup-simplify]: Simplify (* 1 1) into 1 3.285 * [backup-simplify]: Simplify (- 1) into -1 3.285 * [backup-simplify]: Simplify -1 into -1 3.286 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.287 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 3.287 * [backup-simplify]: Simplify (- 0) into 0 3.288 * [backup-simplify]: Simplify (+ 0 0) into 0 3.288 * [taylor]: Taking taylor expansion of 0 in b 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.289 * [backup-simplify]: Simplify (- 0) into 0 3.289 * [backup-simplify]: Simplify 0 into 0 3.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.291 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 3.292 * [backup-simplify]: Simplify (- 0) into 0 3.292 * [backup-simplify]: Simplify (+ 0 0) into 0 3.292 * [taylor]: Taking taylor expansion of 0 in b 3.292 * [backup-simplify]: Simplify 0 into 0 3.292 * [backup-simplify]: Simplify 0 into 0 3.292 * [backup-simplify]: Simplify 0 into 0 3.293 * [backup-simplify]: Simplify (+ (* -1 (pow (* b 1) 2)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (pow b 2)) 3.293 * [backup-simplify]: Simplify (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) into (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) 3.293 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 3.293 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 3.293 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 3.293 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.293 * [taylor]: Taking taylor expansion of a in b 3.293 * [backup-simplify]: Simplify a into a 3.293 * [backup-simplify]: Simplify (* a a) into (pow a 2) 3.293 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 3.293 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.293 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.293 * [taylor]: Taking taylor expansion of b in b 3.293 * [backup-simplify]: Simplify 0 into 0 3.293 * [backup-simplify]: Simplify 1 into 1 3.294 * [backup-simplify]: Simplify (* 1 1) into 1 3.294 * [backup-simplify]: Simplify (/ 1 1) into 1 3.294 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 3.294 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.294 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.294 * [taylor]: Taking taylor expansion of a in a 3.294 * [backup-simplify]: Simplify 0 into 0 3.294 * [backup-simplify]: Simplify 1 into 1 3.295 * [backup-simplify]: Simplify (* 1 1) into 1 3.295 * [backup-simplify]: Simplify (/ 1 1) into 1 3.295 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.295 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.295 * [taylor]: Taking taylor expansion of b in a 3.295 * [backup-simplify]: Simplify b into b 3.295 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.295 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 3.295 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 3.295 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.295 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.295 * [taylor]: Taking taylor expansion of a in a 3.295 * [backup-simplify]: Simplify 0 into 0 3.296 * [backup-simplify]: Simplify 1 into 1 3.296 * [backup-simplify]: Simplify (* 1 1) into 1 3.296 * [backup-simplify]: Simplify (/ 1 1) into 1 3.296 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.296 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.296 * [taylor]: Taking taylor expansion of b in a 3.296 * [backup-simplify]: Simplify b into b 3.296 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.297 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 3.297 * [backup-simplify]: Simplify (+ 1 0) into 1 3.297 * [taylor]: Taking taylor expansion of 1 in b 3.297 * [backup-simplify]: Simplify 1 into 1 3.298 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.298 * [backup-simplify]: Simplify (+ 0 0) into 0 3.298 * [taylor]: Taking taylor expansion of 0 in b 3.298 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.300 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2))) 3.300 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2))) 3.300 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 3.300 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.300 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.300 * [taylor]: Taking taylor expansion of b in b 3.300 * [backup-simplify]: Simplify 0 into 0 3.300 * [backup-simplify]: Simplify 1 into 1 3.300 * [backup-simplify]: Simplify (* 1 1) into 1 3.300 * [backup-simplify]: Simplify (/ 1 1) into 1 3.300 * [backup-simplify]: Simplify (- 1) into -1 3.301 * [backup-simplify]: Simplify -1 into -1 3.301 * [backup-simplify]: Simplify 1 into 1 3.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.302 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 3.302 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 3.302 * [backup-simplify]: Simplify (- 0) into 0 3.302 * [backup-simplify]: Simplify (+ 0 0) into 0 3.302 * [taylor]: Taking taylor expansion of 0 in b 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.304 * [backup-simplify]: Simplify (- 0) into 0 3.304 * [backup-simplify]: Simplify 0 into 0 3.304 * [backup-simplify]: Simplify 0 into 0 3.304 * [backup-simplify]: Simplify 0 into 0 3.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.305 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 3.305 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 3.306 * [backup-simplify]: Simplify (- 0) into 0 3.306 * [backup-simplify]: Simplify (+ 0 0) into 0 3.306 * [taylor]: Taking taylor expansion of 0 in b 3.306 * [backup-simplify]: Simplify 0 into 0 3.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.307 * [backup-simplify]: Simplify (- 0) into 0 3.307 * [backup-simplify]: Simplify 0 into 0 3.307 * [backup-simplify]: Simplify 0 into 0 3.307 * [backup-simplify]: Simplify 0 into 0 3.308 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (- (pow a 2) (pow b 2)) 3.308 * [backup-simplify]: Simplify (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) into (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) 3.308 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 3.308 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 3.308 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 3.308 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.308 * [taylor]: Taking taylor expansion of a in b 3.308 * [backup-simplify]: Simplify a into a 3.308 * [backup-simplify]: Simplify (* a a) into (pow a 2) 3.308 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 3.308 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.308 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.308 * [taylor]: Taking taylor expansion of b in b 3.308 * [backup-simplify]: Simplify 0 into 0 3.308 * [backup-simplify]: Simplify 1 into 1 3.308 * [backup-simplify]: Simplify (* 1 1) into 1 3.309 * [backup-simplify]: Simplify (/ 1 1) into 1 3.309 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 3.309 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.309 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.309 * [taylor]: Taking taylor expansion of a in a 3.309 * [backup-simplify]: Simplify 0 into 0 3.309 * [backup-simplify]: Simplify 1 into 1 3.309 * [backup-simplify]: Simplify (* 1 1) into 1 3.309 * [backup-simplify]: Simplify (/ 1 1) into 1 3.309 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.309 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.309 * [taylor]: Taking taylor expansion of b in a 3.309 * [backup-simplify]: Simplify b into b 3.309 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.309 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 3.309 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 3.309 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.309 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.309 * [taylor]: Taking taylor expansion of a in a 3.310 * [backup-simplify]: Simplify 0 into 0 3.310 * [backup-simplify]: Simplify 1 into 1 3.310 * [backup-simplify]: Simplify (* 1 1) into 1 3.310 * [backup-simplify]: Simplify (/ 1 1) into 1 3.310 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.310 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.310 * [taylor]: Taking taylor expansion of b in a 3.310 * [backup-simplify]: Simplify b into b 3.310 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.310 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 3.311 * [backup-simplify]: Simplify (+ 1 0) into 1 3.311 * [taylor]: Taking taylor expansion of 1 in b 3.311 * [backup-simplify]: Simplify 1 into 1 3.311 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.312 * [backup-simplify]: Simplify (+ 0 0) into 0 3.312 * [taylor]: Taking taylor expansion of 0 in b 3.312 * [backup-simplify]: Simplify 0 into 0 3.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.313 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2))) 3.313 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2))) 3.313 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 3.313 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.313 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.313 * [taylor]: Taking taylor expansion of b in b 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 1 into 1 3.313 * [backup-simplify]: Simplify (* 1 1) into 1 3.314 * [backup-simplify]: Simplify (/ 1 1) into 1 3.314 * [backup-simplify]: Simplify (- 1) into -1 3.314 * [backup-simplify]: Simplify -1 into -1 3.314 * [backup-simplify]: Simplify 1 into 1 3.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.315 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 3.315 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 3.316 * [backup-simplify]: Simplify (- 0) into 0 3.316 * [backup-simplify]: Simplify (+ 0 0) into 0 3.316 * [taylor]: Taking taylor expansion of 0 in b 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.317 * [backup-simplify]: Simplify (- 0) into 0 3.317 * [backup-simplify]: Simplify 0 into 0 3.317 * [backup-simplify]: Simplify 0 into 0 3.317 * [backup-simplify]: Simplify 0 into 0 3.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.318 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 3.319 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 3.319 * [backup-simplify]: Simplify (- 0) into 0 3.319 * [backup-simplify]: Simplify (+ 0 0) into 0 3.319 * [taylor]: Taking taylor expansion of 0 in b 3.319 * [backup-simplify]: Simplify 0 into 0 3.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.321 * [backup-simplify]: Simplify (- 0) into 0 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (- (pow a 2) (pow b 2)) 3.321 * * * [progress]: simplifying candidates 3.321 * [simplify]: Simplifying: (/ (exp (* a a)) (exp (* b b))) (log (- (* a a) (* b b))) (exp (- (* a a) (* b b))) (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) (cbrt (- (* a a) (* b b))) (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))) (sqrt (- (* a a) (* b b))) (sqrt (- (* a a) (* b b))) (- (pow (* a a) 3) (pow (* b b) 3)) (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b)))) (- (* b b)) (- (* (* a a) (* a a)) (* (* b b) (* b b))) (+ (* a a) (* b b)) (+ a b) (- a b) (- (* b b)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) 3.322 * * [simplify]: Extracting # 0 : cost 15 inf + 0 3.322 * * [simplify]: Extracting # 1 : cost 30 inf + 0 3.322 * * [simplify]: Extracting # 2 : cost 25 inf + 399 3.322 * * [simplify]: Extracting # 3 : cost 9 inf + 2717 3.323 * * [simplify]: Extracting # 4 : cost 1 inf + 4955 3.324 * * [simplify]: Extracting # 5 : cost 0 inf + 5237 3.325 * * [simplify]: iteration 0 : 33 enodes (cost 4400 ) 3.337 * * [simplify]: Extracting # 0 : cost 0 inf + 5237 3.338 * * [simplify]: Extracting # 1 : cost 31 inf + 4088 3.339 * * [simplify]: Extracting # 2 : cost 8 inf + 6563 3.341 * * [simplify]: Extracting # 3 : cost 3 inf + 7091 3.343 * * [simplify]: Extracting # 4 : cost 0 inf + 7807 3.345 * * [simplify]: iteration 1 : 111 enodes (cost 3006 ) 3.392 * * [simplify]: Extracting # 0 : cost 0 inf + 7807 3.395 * * [simplify]: Extracting # 1 : cost 197 inf + 5340 3.402 * * [simplify]: Extracting # 2 : cost 11 inf + 22772 3.409 * * [simplify]: Extracting # 3 : cost 4 inf + 23585 3.416 * * [simplify]: Extracting # 4 : cost 0 inf + 24733 3.423 * * [simplify]: iteration 2 : 589 enodes (cost 3006 ) 3.755 * * [simplify]: Extracting # 0 : cost 0 inf + 24733 3.776 * * [simplify]: Extracting # 1 : cost 2097 inf + 21401 3.829 * * [simplify]: Extracting # 2 : cost 148 inf + 273757 3.898 * * [simplify]: Extracting # 3 : cost 48 inf + 287929 3.944 * * [simplify]: Extracting # 4 : cost 0 inf + 300879 4.000 * * [simplify]: iteration done: 5000 enodes (cost 3006 ) 4.001 * [simplify]: Simplified to: (exp (- (* a a) (* b b))) (log (- (* a a) (* b b))) (exp (- (* a a) (* b b))) (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) (cbrt (- (* a a) (* b b))) (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))) (sqrt (- (* a a) (* b b))) (sqrt (- (* a a) (* b b))) (- (* (* a a) (* (* a a) (* a a))) (* (* b b) (* (* b b) (* b b)))) (+ (* (* b b) (+ (* b b) (* a a))) (* (* a a) (* a a))) (- (* b b)) (- (* (* a a) (* a a)) (* (* b b) (* b b))) (+ (* b b) (* a a)) (+ a b) (- a b) (- (* b b)) (- (* a a) (* b b)) (- (* a a) (* b b)) (- (* a a) (* b b)) 4.001 * * * [progress]: adding candidates to table 4.063 * * [progress]: iteration 2 / 4 4.063 * * * [progress]: picking best candidate 4.068 * * * * [pick]: Picked # 4.069 * * * [progress]: localizing error 4.085 * * * [progress]: generating rewritten candidates 4.085 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.121 * * * [progress]: generating series expansions 4.121 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.122 * [backup-simplify]: Simplify (* (+ a b) (- a b)) into (* (+ a b) (- a b)) 4.122 * [approximate]: Taking taylor expansion of (* (+ a b) (- a b)) in (a b) around 0 4.122 * [taylor]: Taking taylor expansion of (* (+ a b) (- a b)) in b 4.122 * [taylor]: Taking taylor expansion of (+ a b) in b 4.122 * [taylor]: Taking taylor expansion of a in b 4.122 * [backup-simplify]: Simplify a into a 4.122 * [taylor]: Taking taylor expansion of b in b 4.122 * [backup-simplify]: Simplify 0 into 0 4.122 * [backup-simplify]: Simplify 1 into 1 4.122 * [taylor]: Taking taylor expansion of (- a b) in b 4.122 * [taylor]: Taking taylor expansion of a in b 4.122 * [backup-simplify]: Simplify a into a 4.122 * [taylor]: Taking taylor expansion of b in b 4.122 * [backup-simplify]: Simplify 0 into 0 4.122 * [backup-simplify]: Simplify 1 into 1 4.122 * [taylor]: Taking taylor expansion of (* (+ a b) (- a b)) in a 4.122 * [taylor]: Taking taylor expansion of (+ a b) in a 4.122 * [taylor]: Taking taylor expansion of a in a 4.122 * [backup-simplify]: Simplify 0 into 0 4.122 * [backup-simplify]: Simplify 1 into 1 4.122 * [taylor]: Taking taylor expansion of b in a 4.122 * [backup-simplify]: Simplify b into b 4.122 * [taylor]: Taking taylor expansion of (- a b) in a 4.122 * [taylor]: Taking taylor expansion of a in a 4.122 * [backup-simplify]: Simplify 0 into 0 4.122 * [backup-simplify]: Simplify 1 into 1 4.122 * [taylor]: Taking taylor expansion of b in a 4.122 * [backup-simplify]: Simplify b into b 4.122 * [taylor]: Taking taylor expansion of (* (+ a b) (- a b)) in a 4.122 * [taylor]: Taking taylor expansion of (+ a b) in a 4.122 * [taylor]: Taking taylor expansion of a in a 4.122 * [backup-simplify]: Simplify 0 into 0 4.122 * [backup-simplify]: Simplify 1 into 1 4.122 * [taylor]: Taking taylor expansion of b in a 4.122 * [backup-simplify]: Simplify b into b 4.122 * [taylor]: Taking taylor expansion of (- a b) in a 4.122 * [taylor]: Taking taylor expansion of a in a 4.122 * [backup-simplify]: Simplify 0 into 0 4.122 * [backup-simplify]: Simplify 1 into 1 4.122 * [taylor]: Taking taylor expansion of b in a 4.122 * [backup-simplify]: Simplify b into b 4.122 * [backup-simplify]: Simplify (+ 0 b) into b 4.122 * [backup-simplify]: Simplify (- b) into (- b) 4.122 * [backup-simplify]: Simplify (+ 0 (- b)) into (- b) 4.122 * [backup-simplify]: Simplify (* b (- b)) into (* -1 (pow b 2)) 4.122 * [taylor]: Taking taylor expansion of (* -1 (pow b 2)) in b 4.122 * [taylor]: Taking taylor expansion of -1 in b 4.122 * [backup-simplify]: Simplify -1 into -1 4.122 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.122 * [taylor]: Taking taylor expansion of b in b 4.122 * [backup-simplify]: Simplify 0 into 0 4.122 * [backup-simplify]: Simplify 1 into 1 4.123 * [backup-simplify]: Simplify (- 0) into 0 4.123 * [backup-simplify]: Simplify (+ 1 0) into 1 4.124 * [backup-simplify]: Simplify (+ 1 0) into 1 4.124 * [backup-simplify]: Simplify (+ (* b 1) (* 1 (- b))) into 0 4.124 * [taylor]: Taking taylor expansion of 0 in b 4.124 * [backup-simplify]: Simplify 0 into 0 4.124 * [backup-simplify]: Simplify 0 into 0 4.124 * [backup-simplify]: Simplify (- 0) into 0 4.124 * [backup-simplify]: Simplify (+ 0 0) into 0 4.125 * [backup-simplify]: Simplify (+ 0 0) into 0 4.125 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 (- b)))) into 1 4.125 * [taylor]: Taking taylor expansion of 1 in b 4.125 * [backup-simplify]: Simplify 1 into 1 4.125 * [backup-simplify]: Simplify 1 into 1 4.125 * [backup-simplify]: Simplify 0 into 0 4.125 * [backup-simplify]: Simplify (* 1 1) into 1 4.126 * [backup-simplify]: Simplify (* -1 1) into -1 4.126 * [backup-simplify]: Simplify -1 into -1 4.126 * [backup-simplify]: Simplify (- 0) into 0 4.126 * [backup-simplify]: Simplify (+ 0 0) into 0 4.126 * [backup-simplify]: Simplify (+ 0 0) into 0 4.127 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (+ (* 0 1) (* 0 (- b))))) into 0 4.127 * [taylor]: Taking taylor expansion of 0 in b 4.127 * [backup-simplify]: Simplify 0 into 0 4.127 * [backup-simplify]: Simplify 0 into 0 4.127 * [backup-simplify]: Simplify 0 into 0 4.127 * [backup-simplify]: Simplify 0 into 0 4.127 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.128 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 4.128 * [backup-simplify]: Simplify 0 into 0 4.128 * [backup-simplify]: Simplify (- 0) into 0 4.128 * [backup-simplify]: Simplify (+ 0 0) into 0 4.128 * [backup-simplify]: Simplify (+ 0 0) into 0 4.129 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- b)))))) into 0 4.129 * [taylor]: Taking taylor expansion of 0 in b 4.129 * [backup-simplify]: Simplify 0 into 0 4.129 * [backup-simplify]: Simplify 0 into 0 4.129 * [backup-simplify]: Simplify 0 into 0 4.130 * [backup-simplify]: Simplify (+ (* -1 (pow (* b 1) 2)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (pow b 2)) 4.130 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) into (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) 4.130 * [approximate]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) in (a b) around 0 4.130 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) in b 4.130 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 4.130 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.130 * [taylor]: Taking taylor expansion of a in b 4.130 * [backup-simplify]: Simplify a into a 4.130 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.130 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.130 * [taylor]: Taking taylor expansion of b in b 4.130 * [backup-simplify]: Simplify 0 into 0 4.130 * [backup-simplify]: Simplify 1 into 1 4.130 * [backup-simplify]: Simplify (/ 1 1) into 1 4.130 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 4.130 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.130 * [taylor]: Taking taylor expansion of a in b 4.130 * [backup-simplify]: Simplify a into a 4.130 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.130 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.130 * [taylor]: Taking taylor expansion of b in b 4.130 * [backup-simplify]: Simplify 0 into 0 4.130 * [backup-simplify]: Simplify 1 into 1 4.131 * [backup-simplify]: Simplify (/ 1 1) into 1 4.131 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) in a 4.131 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 4.131 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.131 * [taylor]: Taking taylor expansion of a in a 4.131 * [backup-simplify]: Simplify 0 into 0 4.131 * [backup-simplify]: Simplify 1 into 1 4.131 * [backup-simplify]: Simplify (/ 1 1) into 1 4.131 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.131 * [taylor]: Taking taylor expansion of b in a 4.131 * [backup-simplify]: Simplify b into b 4.131 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.131 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 4.131 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.131 * [taylor]: Taking taylor expansion of a in a 4.131 * [backup-simplify]: Simplify 0 into 0 4.131 * [backup-simplify]: Simplify 1 into 1 4.132 * [backup-simplify]: Simplify (/ 1 1) into 1 4.132 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.132 * [taylor]: Taking taylor expansion of b in a 4.132 * [backup-simplify]: Simplify b into b 4.132 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.132 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) in a 4.132 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 4.132 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.132 * [taylor]: Taking taylor expansion of a in a 4.132 * [backup-simplify]: Simplify 0 into 0 4.132 * [backup-simplify]: Simplify 1 into 1 4.132 * [backup-simplify]: Simplify (/ 1 1) into 1 4.132 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.132 * [taylor]: Taking taylor expansion of b in a 4.132 * [backup-simplify]: Simplify b into b 4.132 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.132 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 4.132 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.132 * [taylor]: Taking taylor expansion of a in a 4.132 * [backup-simplify]: Simplify 0 into 0 4.132 * [backup-simplify]: Simplify 1 into 1 4.132 * [backup-simplify]: Simplify (/ 1 1) into 1 4.132 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.132 * [taylor]: Taking taylor expansion of b in a 4.133 * [backup-simplify]: Simplify b into b 4.133 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.133 * [backup-simplify]: Simplify (+ 1 0) into 1 4.133 * [backup-simplify]: Simplify (+ 1 0) into 1 4.133 * [backup-simplify]: Simplify (* 1 1) into 1 4.133 * [taylor]: Taking taylor expansion of 1 in b 4.133 * [backup-simplify]: Simplify 1 into 1 4.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.134 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 4.134 * [backup-simplify]: Simplify (+ 0 (- (/ 1 b))) into (- (/ 1 b)) 4.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.135 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 4.135 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 b))) (* (/ 1 b) 1)) into 0 4.135 * [taylor]: Taking taylor expansion of 0 in b 4.135 * [backup-simplify]: Simplify 0 into 0 4.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.136 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 4.137 * [backup-simplify]: Simplify (- 0) into 0 4.137 * [backup-simplify]: Simplify (+ 0 0) into 0 4.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.138 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 4.138 * [backup-simplify]: Simplify (+ 0 0) into 0 4.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (- (/ 1 b))) (* 0 1))) into (- (/ 1 (pow b 2))) 4.139 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 4.139 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.139 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.139 * [taylor]: Taking taylor expansion of b in b 4.139 * [backup-simplify]: Simplify 0 into 0 4.139 * [backup-simplify]: Simplify 1 into 1 4.140 * [backup-simplify]: Simplify (* 1 1) into 1 4.140 * [backup-simplify]: Simplify (/ 1 1) into 1 4.141 * [backup-simplify]: Simplify (- 1) into -1 4.141 * [backup-simplify]: Simplify -1 into -1 4.141 * [backup-simplify]: Simplify 1 into 1 4.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.142 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 4.142 * [backup-simplify]: Simplify (- 0) into 0 4.142 * [backup-simplify]: Simplify (+ 0 0) into 0 4.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.143 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 4.143 * [backup-simplify]: Simplify (+ 0 0) into 0 4.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) 0) (+ (* 0 (- (/ 1 b))) (* 0 1)))) into 0 4.144 * [taylor]: Taking taylor expansion of 0 in b 4.144 * [backup-simplify]: Simplify 0 into 0 4.144 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.145 * [backup-simplify]: Simplify (- 0) into 0 4.145 * [backup-simplify]: Simplify 0 into 0 4.145 * [backup-simplify]: Simplify 0 into 0 4.145 * [backup-simplify]: Simplify 0 into 0 4.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.145 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 4.146 * [backup-simplify]: Simplify (- 0) into 0 4.146 * [backup-simplify]: Simplify (+ 0 0) into 0 4.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.147 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 4.148 * [backup-simplify]: Simplify (+ 0 0) into 0 4.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) 0) (+ (* 0 0) (+ (* 0 (- (/ 1 b))) (* 0 1))))) into 0 4.149 * [taylor]: Taking taylor expansion of 0 in b 4.149 * [backup-simplify]: Simplify 0 into 0 4.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.151 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.151 * [backup-simplify]: Simplify (- 0) into 0 4.151 * [backup-simplify]: Simplify 0 into 0 4.151 * [backup-simplify]: Simplify 0 into 0 4.151 * [backup-simplify]: Simplify 0 into 0 4.152 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (- (pow a 2) (pow b 2)) 4.152 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (- (/ 1 (- a)) (/ 1 (- b)))) into (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) 4.152 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) in (a b) around 0 4.152 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) in b 4.152 * [taylor]: Taking taylor expansion of -1 in b 4.152 * [backup-simplify]: Simplify -1 into -1 4.152 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b))) in b 4.152 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 4.152 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.152 * [taylor]: Taking taylor expansion of b in b 4.152 * [backup-simplify]: Simplify 0 into 0 4.152 * [backup-simplify]: Simplify 1 into 1 4.153 * [backup-simplify]: Simplify (/ 1 1) into 1 4.153 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.153 * [taylor]: Taking taylor expansion of a in b 4.153 * [backup-simplify]: Simplify a into a 4.153 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.153 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 4.153 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.153 * [taylor]: Taking taylor expansion of a in b 4.153 * [backup-simplify]: Simplify a into a 4.153 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.153 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.153 * [taylor]: Taking taylor expansion of b in b 4.153 * [backup-simplify]: Simplify 0 into 0 4.153 * [backup-simplify]: Simplify 1 into 1 4.153 * [backup-simplify]: Simplify (/ 1 1) into 1 4.153 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) in a 4.153 * [taylor]: Taking taylor expansion of -1 in a 4.154 * [backup-simplify]: Simplify -1 into -1 4.154 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b))) in a 4.154 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 4.154 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.154 * [taylor]: Taking taylor expansion of b in a 4.154 * [backup-simplify]: Simplify b into b 4.154 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.154 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.154 * [taylor]: Taking taylor expansion of a in a 4.154 * [backup-simplify]: Simplify 0 into 0 4.154 * [backup-simplify]: Simplify 1 into 1 4.154 * [backup-simplify]: Simplify (/ 1 1) into 1 4.154 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 4.154 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.154 * [taylor]: Taking taylor expansion of a in a 4.154 * [backup-simplify]: Simplify 0 into 0 4.154 * [backup-simplify]: Simplify 1 into 1 4.154 * [backup-simplify]: Simplify (/ 1 1) into 1 4.154 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.154 * [taylor]: Taking taylor expansion of b in a 4.154 * [backup-simplify]: Simplify b into b 4.154 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.154 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) in a 4.154 * [taylor]: Taking taylor expansion of -1 in a 4.154 * [backup-simplify]: Simplify -1 into -1 4.154 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b))) in a 4.154 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 4.154 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.154 * [taylor]: Taking taylor expansion of b in a 4.154 * [backup-simplify]: Simplify b into b 4.154 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.155 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.155 * [taylor]: Taking taylor expansion of a in a 4.155 * [backup-simplify]: Simplify 0 into 0 4.155 * [backup-simplify]: Simplify 1 into 1 4.155 * [backup-simplify]: Simplify (/ 1 1) into 1 4.155 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 4.155 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.155 * [taylor]: Taking taylor expansion of a in a 4.155 * [backup-simplify]: Simplify 0 into 0 4.155 * [backup-simplify]: Simplify 1 into 1 4.155 * [backup-simplify]: Simplify (/ 1 1) into 1 4.155 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.155 * [taylor]: Taking taylor expansion of b in a 4.155 * [backup-simplify]: Simplify b into b 4.155 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.155 * [backup-simplify]: Simplify (- 1) into -1 4.156 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.156 * [backup-simplify]: Simplify (+ 1 0) into 1 4.156 * [backup-simplify]: Simplify (* -1 1) into -1 4.156 * [backup-simplify]: Simplify (* -1 -1) into 1 4.157 * [taylor]: Taking taylor expansion of 1 in b 4.157 * [backup-simplify]: Simplify 1 into 1 4.157 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.157 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 4.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.158 * [backup-simplify]: Simplify (- 0) into 0 4.158 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 4.158 * [backup-simplify]: Simplify (+ (* -1 (/ 1 b)) (* (/ 1 b) 1)) into 0 4.158 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 4.158 * [taylor]: Taking taylor expansion of 0 in b 4.158 * [backup-simplify]: Simplify 0 into 0 4.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.159 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 4.159 * [backup-simplify]: Simplify (+ 0 0) into 0 4.159 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 4.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.160 * [backup-simplify]: Simplify (- 0) into 0 4.160 * [backup-simplify]: Simplify (+ 0 0) into 0 4.161 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 4.161 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1))) into (- (/ 1 (pow b 2))) 4.161 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 4.161 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.161 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.161 * [taylor]: Taking taylor expansion of b in b 4.162 * [backup-simplify]: Simplify 0 into 0 4.162 * [backup-simplify]: Simplify 1 into 1 4.162 * [backup-simplify]: Simplify (* 1 1) into 1 4.162 * [backup-simplify]: Simplify (/ 1 1) into 1 4.162 * [backup-simplify]: Simplify (- 1) into -1 4.162 * [backup-simplify]: Simplify -1 into -1 4.162 * [backup-simplify]: Simplify 1 into 1 4.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.163 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 4.163 * [backup-simplify]: Simplify (+ 0 0) into 0 4.163 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 4.164 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.164 * [backup-simplify]: Simplify (- 0) into 0 4.164 * [backup-simplify]: Simplify (+ 0 0) into 0 4.165 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) 0) (+ (* 0 (/ 1 b)) (* 0 1)))) into 0 4.166 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1)))) into 0 4.166 * [taylor]: Taking taylor expansion of 0 in b 4.166 * [backup-simplify]: Simplify 0 into 0 4.166 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.167 * [backup-simplify]: Simplify (- 0) into 0 4.167 * [backup-simplify]: Simplify 0 into 0 4.167 * [backup-simplify]: Simplify 0 into 0 4.167 * [backup-simplify]: Simplify 0 into 0 4.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.168 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 4.168 * [backup-simplify]: Simplify (+ 0 0) into 0 4.168 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 4.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.169 * [backup-simplify]: Simplify (- 0) into 0 4.169 * [backup-simplify]: Simplify (+ 0 0) into 0 4.170 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) 0) (+ (* 0 0) (+ (* 0 (/ 1 b)) (* 0 1))))) into 0 4.171 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1))))) into 0 4.171 * [taylor]: Taking taylor expansion of 0 in b 4.171 * [backup-simplify]: Simplify 0 into 0 4.171 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.172 * [backup-simplify]: Simplify (- 0) into 0 4.172 * [backup-simplify]: Simplify 0 into 0 4.172 * [backup-simplify]: Simplify 0 into 0 4.172 * [backup-simplify]: Simplify 0 into 0 4.172 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (- (pow a 2) (pow b 2)) 4.173 * * * [progress]: simplifying candidates 4.173 * [simplify]: Simplifying: (* (+ a b) (- a b)) (+ (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)) (* (sqrt (+ a b)) (sqrt (- a b))) (* (sqrt (+ a b)) (sqrt (- a b))) (* (+ a b) a) (* (+ a b) (- b)) (* (+ a b) a) (* (+ a b) (- b)) (* a (+ a b)) (* (- b) (+ a 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) (+ (sqrt a) (sqrt b))) (* (+ 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) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) 4.174 * * [simplify]: Extracting # 0 : cost 33 inf + 0 4.174 * * [simplify]: Extracting # 1 : cost 55 inf + 0 4.174 * * [simplify]: Extracting # 2 : cost 66 inf + 2 4.174 * * [simplify]: Extracting # 3 : cost 63 inf + 298 4.174 * * [simplify]: Extracting # 4 : cost 28 inf + 5066 4.175 * * [simplify]: Extracting # 5 : cost 7 inf + 9701 4.176 * * [simplify]: Extracting # 6 : cost 0 inf + 12799 4.177 * * [simplify]: iteration 0 : 70 enodes (cost 10458 ) 4.194 * * [simplify]: Extracting # 0 : cost 0 inf + 12799 4.196 * * [simplify]: Extracting # 1 : cost 53 inf + 10300 4.198 * * [simplify]: Extracting # 2 : cost 3 inf + 16164 4.200 * * [simplify]: Extracting # 3 : cost 2 inf + 15823 4.202 * * [simplify]: Extracting # 4 : cost 0 inf + 16247 4.205 * * [simplify]: iteration 1 : 213 enodes (cost 7658 ) 4.292 * * [simplify]: Extracting # 0 : cost 0 inf + 16247 4.298 * * [simplify]: Extracting # 1 : cost 636 inf + 14445 4.315 * * [simplify]: Extracting # 2 : cost 5 inf + 99272 4.334 * * [simplify]: Extracting # 3 : cost 3 inf + 99356 4.359 * * [simplify]: Extracting # 4 : cost 0 inf + 100183 4.390 * * [simplify]: iteration 2 : 1544 enodes (cost 7658 ) 4.923 * * [simplify]: Extracting # 0 : cost 0 inf + 100183 4.970 * * [simplify]: Extracting # 1 : cost 2053 inf + 82376 5.069 * * [simplify]: Extracting # 2 : cost 66 inf + 387736 5.193 * * [simplify]: Extracting # 3 : cost 20 inf + 394722 5.289 * * [simplify]: Extracting # 4 : cost 0 inf + 399849 5.386 * * [simplify]: iteration done: 5002 enodes (cost 7578 ) 5.386 * [simplify]: Simplified to: (* (+ a b) (- a b)) (log (* (+ a b) (- 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))) (* (- (* (* a a) a) (* (* b b) b)) (+ (* (* b b) b) (* (* a a) a))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (- (* a a) (* b b)) (+ (* (* b b) b) (* (* a a) a))) (* (+ a b) (+ (* a a) (* b (- b a)))) (* (- (* (* a a) a) (* (* b b) b)) (- (* a a) (* b b))) (* (- a b) (+ (* b (+ a b)) (* a a))) (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b)) (* (sqrt (+ a b)) (sqrt (- a b))) (* (sqrt (+ a b)) (sqrt (- a b))) (* a (+ a b)) (* (- b) (+ a b)) (* a (+ a b)) (* (- b) (+ a b)) (* a (+ a b)) (* (- b) (+ a b)) (* a (+ a b)) (* (- b) (+ a b)) (* (* (cbrt (- a b)) (cbrt (- a b))) (+ a b)) (* (sqrt (- a b)) (+ a b)) (+ a b) (* (+ (sqrt a) (sqrt b)) (+ a b)) (+ a b) (* (cbrt (+ a b)) (- a b)) (* (sqrt (+ a b)) (- a b)) (* (+ a b) (- a b)) (* (+ a b) (- a b)) (* (- (* (* a a) a) (* (* b b) b)) (+ a b)) (* (* (+ a b) (+ a b)) (- a b)) (* (- a b) (+ (* (* b b) b) (* (* a a) a))) (* (+ a b) (* (- a b) (- a b))) (* (+ a b) (- a b)) (* (+ a b) (- a b)) (* (+ a b) (- a b)) 5.389 * * * [progress]: adding candidates to table 5.501 * [progress]: [Phase 3 of 3] Extracting. 5.501 * * [regime]: Finding splitpoints for: (# #) 5.502 * * * [regime-changes]: Trying 5 branch expressions: ((* b b) (* a a) (- (* a a) (* b b)) b a) 5.502 * * * * [regimes]: Trying to branch on (* b b) from (# #) 5.527 * * * * [regimes]: Trying to branch on (* a a) from (# #) 5.552 * * * * [regimes]: Trying to branch on (- (* a a) (* b b)) from (# #) 5.592 * * * * [regimes]: Trying to branch on b from (# #) 5.616 * * * * [regimes]: Trying to branch on a from (# #) 5.654 * * * [regime]: Found split indices: #