4.997 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.069 * * * [progress]: [2/2] Setting up program. 0.075 * [progress]: [Phase 2 of 3] Improving. 0.076 * [simplify]: Simplifying: (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) 0.076 * * [simplify]: Extracting # 0 : cost 0 0.076 * * [simplify]: Extracting # 1 : cost 0 0.076 * * [simplify]: Extracting # 2 : cost 0 0.076 * * [simplify]: Extracting # 3 : cost 0 0.076 * * [simplify]: Extracting # 4 : cost 0 0.076 * * [simplify]: Extracting # 5 : cost 0 0.076 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 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 1 : 21 enodes (cost 19 ) 0.090 * * [simplify]: Extracting # 0 : cost 0 0.090 * * [simplify]: Extracting # 1 : cost 0 0.091 * * [simplify]: Extracting # 2 : cost 0 0.091 * * [simplify]: Extracting # 3 : cost 0 0.091 * * [simplify]: iteration 2 : 58 enodes (cost 17 ) 0.118 * * [simplify]: Extracting # 0 : cost 0 0.118 * * [simplify]: Extracting # 1 : cost 0 0.119 * * [simplify]: Extracting # 2 : cost 0 0.119 * * [simplify]: Extracting # 3 : cost 0 0.119 * * [simplify]: iteration 3 : 161 enodes (cost 17 ) 0.192 * * [simplify]: Extracting # 0 : cost 0 0.192 * * [simplify]: Extracting # 1 : cost 0 0.193 * * [simplify]: Extracting # 2 : cost 0 0.194 * * [simplify]: Extracting # 3 : cost 0 0.195 * * [simplify]: Extracting # 4 : cost 0 0.195 * * [simplify]: iteration 4 : 454 enodes (cost 14 ) 0.725 * * [simplify]: Extracting # 0 : cost 0 0.728 * * [simplify]: Extracting # 1 : cost 0 0.729 * * [simplify]: Extracting # 2 : cost 0 0.731 * * [simplify]: Extracting # 3 : cost 0 0.732 * * [simplify]: Extracting # 4 : cost 0 0.734 * * [simplify]: iteration 5 : 1801 enodes (cost 11 ) 3.126 * * [simplify]: Extracting # 0 : cost 0 3.144 * * [simplify]: Extracting # 1 : cost 0 3.153 * * [simplify]: Extracting # 2 : cost 0 3.157 * * [simplify]: Extracting # 3 : cost 0 3.161 * * [simplify]: Extracting # 4 : cost 0 3.165 * * [simplify]: Extracting # 5 : cost 0 3.169 * * [simplify]: iteration done: 5000 enodes (cost 11 ) 3.169 * [simplify]: Simplified to: (- (pow x.re 3) (* (* x.im x.im) (* 3 x.re))) 3.173 * * [progress]: iteration 1 / 4 3.173 * * * [progress]: picking best candidate 3.183 * * * * [pick]: Picked # 3.183 * * * [progress]: localizing error 3.206 * * * [progress]: generating rewritten candidates 3.207 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 3.274 * * * [progress]: generating series expansions 3.274 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 3.275 * [backup-simplify]: Simplify (* (* x.im x.im) (* 3 x.re)) into (* 3 (* (pow x.im 2) x.re)) 3.275 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 3.275 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 3.275 * [taylor]: Taking taylor expansion of 3 in x.re 3.275 * [backup-simplify]: Simplify 3 into 3 3.275 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.275 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.275 * [taylor]: Taking taylor expansion of x.im in x.re 3.275 * [backup-simplify]: Simplify x.im into x.im 3.275 * [taylor]: Taking taylor expansion of x.re in x.re 3.275 * [backup-simplify]: Simplify 0 into 0 3.275 * [backup-simplify]: Simplify 1 into 1 3.275 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 3.275 * [taylor]: Taking taylor expansion of 3 in x.im 3.275 * [backup-simplify]: Simplify 3 into 3 3.275 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.275 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.275 * [taylor]: Taking taylor expansion of x.im in x.im 3.275 * [backup-simplify]: Simplify 0 into 0 3.275 * [backup-simplify]: Simplify 1 into 1 3.275 * [taylor]: Taking taylor expansion of x.re in x.im 3.275 * [backup-simplify]: Simplify x.re into x.re 3.275 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 3.275 * [taylor]: Taking taylor expansion of 3 in x.im 3.275 * [backup-simplify]: Simplify 3 into 3 3.275 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.275 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.275 * [taylor]: Taking taylor expansion of x.im in x.im 3.275 * [backup-simplify]: Simplify 0 into 0 3.275 * [backup-simplify]: Simplify 1 into 1 3.275 * [taylor]: Taking taylor expansion of x.re in x.im 3.275 * [backup-simplify]: Simplify x.re into x.re 3.276 * [backup-simplify]: Simplify (* 1 1) into 1 3.276 * [backup-simplify]: Simplify (* 1 x.re) into x.re 3.276 * [backup-simplify]: Simplify (* 3 x.re) into (* 3 x.re) 3.276 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 3.276 * [taylor]: Taking taylor expansion of 3 in x.re 3.276 * [backup-simplify]: Simplify 3 into 3 3.276 * [taylor]: Taking taylor expansion of x.re in x.re 3.277 * [backup-simplify]: Simplify 0 into 0 3.277 * [backup-simplify]: Simplify 1 into 1 3.277 * [backup-simplify]: Simplify (* 3 0) into 0 3.277 * [backup-simplify]: Simplify 0 into 0 3.278 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.278 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 3.279 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.re)) into 0 3.279 * [taylor]: Taking taylor expansion of 0 in x.re 3.279 * [backup-simplify]: Simplify 0 into 0 3.279 * [backup-simplify]: Simplify 0 into 0 3.280 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 3.280 * [backup-simplify]: Simplify 3 into 3 3.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 3.281 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.re))) into 0 3.281 * [taylor]: Taking taylor expansion of 0 in x.re 3.281 * [backup-simplify]: Simplify 0 into 0 3.281 * [backup-simplify]: Simplify 0 into 0 3.281 * [backup-simplify]: Simplify 0 into 0 3.282 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 3.282 * [backup-simplify]: Simplify 0 into 0 3.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 3.284 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 3.284 * [taylor]: Taking taylor expansion of 0 in x.re 3.284 * [backup-simplify]: Simplify 0 into 0 3.284 * [backup-simplify]: Simplify 0 into 0 3.284 * [backup-simplify]: Simplify 0 into 0 3.284 * [backup-simplify]: Simplify 0 into 0 3.284 * [backup-simplify]: Simplify (* 3 (* x.re (pow x.im 2))) into (* 3 (* (pow x.im 2) x.re)) 3.285 * [backup-simplify]: Simplify (* (* (/ 1 x.im) (/ 1 x.im)) (* 3 (/ 1 x.re))) into (/ 3 (* (pow x.im 2) x.re)) 3.285 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 3.285 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 3.285 * [taylor]: Taking taylor expansion of 3 in x.re 3.285 * [backup-simplify]: Simplify 3 into 3 3.285 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.285 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.285 * [taylor]: Taking taylor expansion of x.im in x.re 3.285 * [backup-simplify]: Simplify x.im into x.im 3.285 * [taylor]: Taking taylor expansion of x.re in x.re 3.285 * [backup-simplify]: Simplify 0 into 0 3.285 * [backup-simplify]: Simplify 1 into 1 3.285 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 3.285 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 3.285 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 3.285 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 3.285 * [backup-simplify]: Simplify (/ 3 (pow x.im 2)) into (/ 3 (pow x.im 2)) 3.285 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 3.285 * [taylor]: Taking taylor expansion of 3 in x.im 3.286 * [backup-simplify]: Simplify 3 into 3 3.286 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.286 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.286 * [taylor]: Taking taylor expansion of x.im in x.im 3.286 * [backup-simplify]: Simplify 0 into 0 3.286 * [backup-simplify]: Simplify 1 into 1 3.286 * [taylor]: Taking taylor expansion of x.re in x.im 3.286 * [backup-simplify]: Simplify x.re into x.re 3.286 * [backup-simplify]: Simplify (* 1 1) into 1 3.286 * [backup-simplify]: Simplify (* 1 x.re) into x.re 3.286 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 3.286 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 3.286 * [taylor]: Taking taylor expansion of 3 in x.im 3.286 * [backup-simplify]: Simplify 3 into 3 3.286 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.286 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.286 * [taylor]: Taking taylor expansion of x.im in x.im 3.286 * [backup-simplify]: Simplify 0 into 0 3.286 * [backup-simplify]: Simplify 1 into 1 3.286 * [taylor]: Taking taylor expansion of x.re in x.im 3.286 * [backup-simplify]: Simplify x.re into x.re 3.286 * [backup-simplify]: Simplify (* 1 1) into 1 3.286 * [backup-simplify]: Simplify (* 1 x.re) into x.re 3.286 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 3.287 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 3.287 * [taylor]: Taking taylor expansion of 3 in x.re 3.287 * [backup-simplify]: Simplify 3 into 3 3.287 * [taylor]: Taking taylor expansion of x.re in x.re 3.287 * [backup-simplify]: Simplify 0 into 0 3.287 * [backup-simplify]: Simplify 1 into 1 3.287 * [backup-simplify]: Simplify (/ 3 1) into 3 3.287 * [backup-simplify]: Simplify 3 into 3 3.287 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.288 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 3.288 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 3.288 * [taylor]: Taking taylor expansion of 0 in x.re 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 3.288 * [backup-simplify]: Simplify 0 into 0 3.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 3.290 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 3.290 * [taylor]: Taking taylor expansion of 0 in x.re 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.290 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 3.292 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 3.292 * [taylor]: Taking taylor expansion of 0 in x.re 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 (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.293 * [backup-simplify]: Simplify 0 into 0 3.293 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* 3 (* (pow x.im 2) x.re)) 3.293 * [backup-simplify]: Simplify (* (* (/ 1 (- x.im)) (/ 1 (- x.im))) (* 3 (/ 1 (- x.re)))) into (/ -3 (* (pow x.im 2) x.re)) 3.293 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 3.293 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 3.293 * [taylor]: Taking taylor expansion of -3 in x.re 3.293 * [backup-simplify]: Simplify -3 into -3 3.293 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.293 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.293 * [taylor]: Taking taylor expansion of x.im in x.re 3.293 * [backup-simplify]: Simplify x.im into x.im 3.293 * [taylor]: Taking taylor expansion of x.re in x.re 3.293 * [backup-simplify]: Simplify 0 into 0 3.293 * [backup-simplify]: Simplify 1 into 1 3.293 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 3.293 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 3.293 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 3.294 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 3.294 * [backup-simplify]: Simplify (/ -3 (pow x.im 2)) into (/ -3 (pow x.im 2)) 3.294 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 3.294 * [taylor]: Taking taylor expansion of -3 in x.im 3.294 * [backup-simplify]: Simplify -3 into -3 3.294 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.294 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.294 * [taylor]: Taking taylor expansion of x.im in x.im 3.294 * [backup-simplify]: Simplify 0 into 0 3.294 * [backup-simplify]: Simplify 1 into 1 3.294 * [taylor]: Taking taylor expansion of x.re in x.im 3.294 * [backup-simplify]: Simplify x.re into x.re 3.294 * [backup-simplify]: Simplify (* 1 1) into 1 3.294 * [backup-simplify]: Simplify (* 1 x.re) into x.re 3.294 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 3.294 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 3.294 * [taylor]: Taking taylor expansion of -3 in x.im 3.294 * [backup-simplify]: Simplify -3 into -3 3.294 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.294 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.294 * [taylor]: Taking taylor expansion of x.im in x.im 3.294 * [backup-simplify]: Simplify 0 into 0 3.294 * [backup-simplify]: Simplify 1 into 1 3.294 * [taylor]: Taking taylor expansion of x.re in x.im 3.295 * [backup-simplify]: Simplify x.re into x.re 3.295 * [backup-simplify]: Simplify (* 1 1) into 1 3.295 * [backup-simplify]: Simplify (* 1 x.re) into x.re 3.295 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 3.295 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re 3.295 * [taylor]: Taking taylor expansion of -3 in x.re 3.295 * [backup-simplify]: Simplify -3 into -3 3.295 * [taylor]: Taking taylor expansion of x.re in x.re 3.295 * [backup-simplify]: Simplify 0 into 0 3.295 * [backup-simplify]: Simplify 1 into 1 3.295 * [backup-simplify]: Simplify (/ -3 1) into -3 3.295 * [backup-simplify]: Simplify -3 into -3 3.296 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.296 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 3.296 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0 3.296 * [taylor]: Taking taylor expansion of 0 in x.re 3.296 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 3.298 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 3.298 * [taylor]: Taking taylor expansion of 0 in x.re 3.298 * [backup-simplify]: Simplify 0 into 0 3.298 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 3.300 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 3.300 * [taylor]: Taking taylor expansion of 0 in x.re 3.300 * [backup-simplify]: Simplify 0 into 0 3.300 * [backup-simplify]: Simplify 0 into 0 3.300 * [backup-simplify]: Simplify 0 into 0 3.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.301 * [backup-simplify]: Simplify 0 into 0 3.301 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* 3 (* (pow x.im 2) x.re)) 3.301 * * * [progress]: simplifying candidates 3.301 * [simplify]: Simplifying: (* (* x.im x.im) (* 3 x.re)) (* (* x.im x.im) (* 3 x.re)) (* (* x.im x.im) (* 3 x.re)) (* (* x.im x.im) (* 3 x.re)) (+ (+ (log x.im) (log x.im)) (+ (log 3) (log x.re))) (+ (+ (log x.im) (log x.im)) (log (* 3 x.re))) (+ (log (* x.im x.im)) (+ (log 3) (log x.re))) (+ (log (* x.im x.im)) (log (* 3 x.re))) (log (* (* x.im x.im) (* 3 x.re))) (exp (* (* x.im x.im) (* 3 x.re))) (* (* (* (* x.im x.im) x.im) (* (* x.im x.im) x.im)) (* (* (* 3 3) 3) (* (* x.re x.re) x.re))) (* (* (* (* x.im x.im) x.im) (* (* x.im x.im) x.im)) (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re))) (* (* (* (* x.im x.im) (* x.im x.im)) (* x.im x.im)) (* (* (* 3 3) 3) (* (* x.re x.re) x.re))) (* (* (* (* x.im x.im) (* x.im x.im)) (* x.im x.im)) (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re))) (* (cbrt (* (* x.im x.im) (* 3 x.re))) (cbrt (* (* x.im x.im) (* 3 x.re)))) (cbrt (* (* x.im x.im) (* 3 x.re))) (* (* (* (* x.im x.im) (* 3 x.re)) (* (* x.im x.im) (* 3 x.re))) (* (* x.im x.im) (* 3 x.re))) (sqrt (* (* x.im x.im) (* 3 x.re))) (sqrt (* (* x.im x.im) (* 3 x.re))) (* (* x.im x.im) 3) (* x.im (* 3 x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) 3.302 * * [simplify]: Extracting # 0 : cost 0 3.302 * * [simplify]: Extracting # 1 : cost 0 3.302 * * [simplify]: Extracting # 2 : cost 0 3.302 * * [simplify]: Extracting # 3 : cost 0 3.302 * * [simplify]: Extracting # 4 : cost 0 3.302 * * [simplify]: Extracting # 5 : cost 0 3.302 * * [simplify]: Extracting # 6 : cost 0 3.302 * * [simplify]: iteration 0 : 45 enodes (cost 271 ) 3.315 * * [simplify]: Extracting # 0 : cost 0 3.316 * * [simplify]: Extracting # 1 : cost 0 3.316 * * [simplify]: Extracting # 2 : cost 0 3.316 * * [simplify]: Extracting # 3 : cost 0 3.317 * * [simplify]: iteration 1 : 138 enodes (cost 249 ) 3.417 * * [simplify]: Extracting # 0 : cost 0 3.418 * * [simplify]: Extracting # 1 : cost 0 3.419 * * [simplify]: Extracting # 2 : cost 0 3.420 * * [simplify]: Extracting # 3 : cost 0 3.421 * * [simplify]: Extracting # 4 : cost 0 3.422 * * [simplify]: Extracting # 5 : cost 0 3.422 * * [simplify]: iteration 2 : 831 enodes (cost 197 ) 4.160 * * [simplify]: Extracting # 0 : cost 0 4.174 * * [simplify]: Extracting # 1 : cost 0 4.186 * * [simplify]: Extracting # 2 : cost 0 4.199 * * [simplify]: Extracting # 3 : cost 0 4.212 * * [simplify]: Extracting # 4 : cost 0 4.224 * * [simplify]: iteration done: 5001 enodes (cost 193 ) 4.225 * [simplify]: Simplified to: (* (* x.im x.im) (* 3 x.re)) (* (* x.im x.im) (* 3 x.re)) (* (* x.im x.im) (* 3 x.re)) (* (* x.im x.im) (* 3 x.re)) (log (* (* x.im x.im) (* 3 x.re))) (log (* (* x.im x.im) (* 3 x.re))) (log (* (* x.im x.im) (* 3 x.re))) (log (* (* x.im x.im) (* 3 x.re))) (log (* (* x.im x.im) (* 3 x.re))) (exp (* (* x.im x.im) (* 3 x.re))) (pow (* (* x.im x.im) (* 3 x.re)) 3) (pow (* (* x.im x.im) (* 3 x.re)) 3) (pow (* (* x.im x.im) (* 3 x.re)) 3) (pow (* (* x.im x.im) (* 3 x.re)) 3) (* (cbrt (* (* x.im x.im) (* 3 x.re))) (cbrt (* (* x.im x.im) (* 3 x.re)))) (cbrt (* (* x.im x.im) (* 3 x.re))) (pow (* (* x.im x.im) (* 3 x.re)) 3) (sqrt (* (* x.im x.im) (* 3 x.re))) (sqrt (* (* x.im x.im) (* 3 x.re))) (* (* x.im x.im) 3) (* x.im (* 3 x.re)) (* (* x.im x.im) (* 3 x.re)) (* (* x.im x.im) (* 3 x.re)) (* (* x.im x.im) (* 3 x.re)) 4.225 * * * [progress]: adding candidates to table 4.305 * * [progress]: iteration 2 / 4 4.305 * * * [progress]: picking best candidate 4.320 * * * * [pick]: Picked # 4.320 * * * [progress]: localizing error 4.331 * * * [progress]: generating rewritten candidates 4.331 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 4.361 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 4.448 * * * [progress]: generating series expansions 4.448 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 4.448 * [backup-simplify]: Simplify (* x.im (* 3 x.re)) into (* 3 (* x.im x.re)) 4.448 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.im x.re) around 0 4.448 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 4.448 * [taylor]: Taking taylor expansion of 3 in x.re 4.448 * [backup-simplify]: Simplify 3 into 3 4.448 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.448 * [taylor]: Taking taylor expansion of x.im in x.re 4.448 * [backup-simplify]: Simplify x.im into x.im 4.448 * [taylor]: Taking taylor expansion of x.re in x.re 4.448 * [backup-simplify]: Simplify 0 into 0 4.448 * [backup-simplify]: Simplify 1 into 1 4.448 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 4.448 * [taylor]: Taking taylor expansion of 3 in x.im 4.448 * [backup-simplify]: Simplify 3 into 3 4.448 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.448 * [taylor]: Taking taylor expansion of x.im in x.im 4.448 * [backup-simplify]: Simplify 0 into 0 4.448 * [backup-simplify]: Simplify 1 into 1 4.448 * [taylor]: Taking taylor expansion of x.re in x.im 4.448 * [backup-simplify]: Simplify x.re into x.re 4.448 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 4.448 * [taylor]: Taking taylor expansion of 3 in x.im 4.448 * [backup-simplify]: Simplify 3 into 3 4.448 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.448 * [taylor]: Taking taylor expansion of x.im in x.im 4.448 * [backup-simplify]: Simplify 0 into 0 4.448 * [backup-simplify]: Simplify 1 into 1 4.448 * [taylor]: Taking taylor expansion of x.re in x.im 4.448 * [backup-simplify]: Simplify x.re into x.re 4.448 * [backup-simplify]: Simplify (* 0 x.re) into 0 4.449 * [backup-simplify]: Simplify (* 3 0) into 0 4.449 * [taylor]: Taking taylor expansion of 0 in x.re 4.449 * [backup-simplify]: Simplify 0 into 0 4.449 * [backup-simplify]: Simplify 0 into 0 4.449 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 4.450 * [backup-simplify]: Simplify (+ (* 3 x.re) (* 0 0)) into (* 3 x.re) 4.450 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 4.450 * [taylor]: Taking taylor expansion of 3 in x.re 4.450 * [backup-simplify]: Simplify 3 into 3 4.450 * [taylor]: Taking taylor expansion of x.re in x.re 4.450 * [backup-simplify]: Simplify 0 into 0 4.450 * [backup-simplify]: Simplify 1 into 1 4.450 * [backup-simplify]: Simplify (* 3 0) into 0 4.450 * [backup-simplify]: Simplify 0 into 0 4.450 * [backup-simplify]: Simplify 0 into 0 4.451 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 4.451 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 x.re) (* 0 0))) into 0 4.451 * [taylor]: Taking taylor expansion of 0 in x.re 4.451 * [backup-simplify]: Simplify 0 into 0 4.451 * [backup-simplify]: Simplify 0 into 0 4.452 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 4.452 * [backup-simplify]: Simplify 3 into 3 4.452 * [backup-simplify]: Simplify 0 into 0 4.452 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 4.453 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0)))) into 0 4.453 * [taylor]: Taking taylor expansion of 0 in x.re 4.453 * [backup-simplify]: Simplify 0 into 0 4.453 * [backup-simplify]: Simplify 0 into 0 4.453 * [backup-simplify]: Simplify 0 into 0 4.454 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 4.454 * [backup-simplify]: Simplify 0 into 0 4.454 * [backup-simplify]: Simplify 0 into 0 4.455 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 4.456 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0))))) into 0 4.456 * [taylor]: Taking taylor expansion of 0 in x.re 4.456 * [backup-simplify]: Simplify 0 into 0 4.456 * [backup-simplify]: Simplify 0 into 0 4.456 * [backup-simplify]: Simplify (* 3 (* x.re x.im)) into (* 3 (* x.im x.re)) 4.456 * [backup-simplify]: Simplify (* (/ 1 x.im) (* 3 (/ 1 x.re))) into (/ 3 (* x.im x.re)) 4.456 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 4.456 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 4.456 * [taylor]: Taking taylor expansion of 3 in x.re 4.456 * [backup-simplify]: Simplify 3 into 3 4.456 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.456 * [taylor]: Taking taylor expansion of x.im in x.re 4.456 * [backup-simplify]: Simplify x.im into x.im 4.456 * [taylor]: Taking taylor expansion of x.re in x.re 4.456 * [backup-simplify]: Simplify 0 into 0 4.456 * [backup-simplify]: Simplify 1 into 1 4.456 * [backup-simplify]: Simplify (* x.im 0) into 0 4.457 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 4.457 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 4.457 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 4.457 * [taylor]: Taking taylor expansion of 3 in x.im 4.457 * [backup-simplify]: Simplify 3 into 3 4.457 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.457 * [taylor]: Taking taylor expansion of x.im in x.im 4.457 * [backup-simplify]: Simplify 0 into 0 4.457 * [backup-simplify]: Simplify 1 into 1 4.457 * [taylor]: Taking taylor expansion of x.re in x.im 4.457 * [backup-simplify]: Simplify x.re into x.re 4.457 * [backup-simplify]: Simplify (* 0 x.re) into 0 4.457 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 4.457 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 4.457 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 4.457 * [taylor]: Taking taylor expansion of 3 in x.im 4.457 * [backup-simplify]: Simplify 3 into 3 4.457 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.457 * [taylor]: Taking taylor expansion of x.im in x.im 4.457 * [backup-simplify]: Simplify 0 into 0 4.457 * [backup-simplify]: Simplify 1 into 1 4.457 * [taylor]: Taking taylor expansion of x.re in x.im 4.457 * [backup-simplify]: Simplify x.re into x.re 4.457 * [backup-simplify]: Simplify (* 0 x.re) into 0 4.458 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 4.458 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 4.458 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 4.458 * [taylor]: Taking taylor expansion of 3 in x.re 4.458 * [backup-simplify]: Simplify 3 into 3 4.458 * [taylor]: Taking taylor expansion of x.re in x.re 4.458 * [backup-simplify]: Simplify 0 into 0 4.458 * [backup-simplify]: Simplify 1 into 1 4.458 * [backup-simplify]: Simplify (/ 3 1) into 3 4.458 * [backup-simplify]: Simplify 3 into 3 4.459 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 4.459 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 4.459 * [taylor]: Taking taylor expansion of 0 in x.re 4.459 * [backup-simplify]: Simplify 0 into 0 4.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 4.459 * [backup-simplify]: Simplify 0 into 0 4.460 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 4.460 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 4.460 * [taylor]: Taking taylor expansion of 0 in x.re 4.460 * [backup-simplify]: Simplify 0 into 0 4.460 * [backup-simplify]: Simplify 0 into 0 4.461 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.461 * [backup-simplify]: Simplify 0 into 0 4.462 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 4.462 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 4.462 * [taylor]: Taking taylor expansion of 0 in x.re 4.462 * [backup-simplify]: Simplify 0 into 0 4.462 * [backup-simplify]: Simplify 0 into 0 4.462 * [backup-simplify]: Simplify 0 into 0 4.463 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.463 * [backup-simplify]: Simplify 0 into 0 4.463 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (/ 1 (/ 1 x.im)))) into (* 3 (* x.im x.re)) 4.463 * [backup-simplify]: Simplify (* (/ 1 (- x.im)) (* 3 (/ 1 (- x.re)))) into (/ 3 (* x.im x.re)) 4.463 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 4.463 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 4.463 * [taylor]: Taking taylor expansion of 3 in x.re 4.463 * [backup-simplify]: Simplify 3 into 3 4.463 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.463 * [taylor]: Taking taylor expansion of x.im in x.re 4.463 * [backup-simplify]: Simplify x.im into x.im 4.463 * [taylor]: Taking taylor expansion of x.re in x.re 4.463 * [backup-simplify]: Simplify 0 into 0 4.463 * [backup-simplify]: Simplify 1 into 1 4.463 * [backup-simplify]: Simplify (* x.im 0) into 0 4.463 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 4.463 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 4.463 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 4.463 * [taylor]: Taking taylor expansion of 3 in x.im 4.463 * [backup-simplify]: Simplify 3 into 3 4.463 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.463 * [taylor]: Taking taylor expansion of x.im in x.im 4.463 * [backup-simplify]: Simplify 0 into 0 4.463 * [backup-simplify]: Simplify 1 into 1 4.463 * [taylor]: Taking taylor expansion of x.re in x.im 4.464 * [backup-simplify]: Simplify x.re into x.re 4.464 * [backup-simplify]: Simplify (* 0 x.re) into 0 4.464 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 4.464 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 4.464 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 4.464 * [taylor]: Taking taylor expansion of 3 in x.im 4.464 * [backup-simplify]: Simplify 3 into 3 4.464 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.464 * [taylor]: Taking taylor expansion of x.im in x.im 4.464 * [backup-simplify]: Simplify 0 into 0 4.464 * [backup-simplify]: Simplify 1 into 1 4.464 * [taylor]: Taking taylor expansion of x.re in x.im 4.464 * [backup-simplify]: Simplify x.re into x.re 4.464 * [backup-simplify]: Simplify (* 0 x.re) into 0 4.464 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 4.464 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 4.464 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 4.464 * [taylor]: Taking taylor expansion of 3 in x.re 4.464 * [backup-simplify]: Simplify 3 into 3 4.464 * [taylor]: Taking taylor expansion of x.re in x.re 4.464 * [backup-simplify]: Simplify 0 into 0 4.465 * [backup-simplify]: Simplify 1 into 1 4.465 * [backup-simplify]: Simplify (/ 3 1) into 3 4.465 * [backup-simplify]: Simplify 3 into 3 4.465 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 4.465 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 4.465 * [taylor]: Taking taylor expansion of 0 in x.re 4.465 * [backup-simplify]: Simplify 0 into 0 4.466 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 4.466 * [backup-simplify]: Simplify 0 into 0 4.467 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 4.467 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 4.467 * [taylor]: Taking taylor expansion of 0 in x.re 4.467 * [backup-simplify]: Simplify 0 into 0 4.467 * [backup-simplify]: Simplify 0 into 0 4.467 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.468 * [backup-simplify]: Simplify 0 into 0 4.469 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 4.469 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 4.469 * [taylor]: Taking taylor expansion of 0 in x.re 4.469 * [backup-simplify]: Simplify 0 into 0 4.469 * [backup-simplify]: Simplify 0 into 0 4.469 * [backup-simplify]: Simplify 0 into 0 4.471 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.471 * [backup-simplify]: Simplify 0 into 0 4.471 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 (- x.re))) (/ 1 (/ 1 (- x.im))))) into (* 3 (* x.im x.re)) 4.471 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 4.471 * [backup-simplify]: Simplify (* x.im (* x.im (* 3 x.re))) into (* 3 (* (pow x.im 2) x.re)) 4.471 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 4.471 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 4.471 * [taylor]: Taking taylor expansion of 3 in x.re 4.471 * [backup-simplify]: Simplify 3 into 3 4.471 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.471 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.471 * [taylor]: Taking taylor expansion of x.im in x.re 4.471 * [backup-simplify]: Simplify x.im into x.im 4.471 * [taylor]: Taking taylor expansion of x.re in x.re 4.471 * [backup-simplify]: Simplify 0 into 0 4.471 * [backup-simplify]: Simplify 1 into 1 4.472 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 4.472 * [taylor]: Taking taylor expansion of 3 in x.im 4.472 * [backup-simplify]: Simplify 3 into 3 4.472 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.472 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.472 * [taylor]: Taking taylor expansion of x.im in x.im 4.472 * [backup-simplify]: Simplify 0 into 0 4.472 * [backup-simplify]: Simplify 1 into 1 4.472 * [taylor]: Taking taylor expansion of x.re in x.im 4.472 * [backup-simplify]: Simplify x.re into x.re 4.472 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 4.472 * [taylor]: Taking taylor expansion of 3 in x.im 4.472 * [backup-simplify]: Simplify 3 into 3 4.472 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.472 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.472 * [taylor]: Taking taylor expansion of x.im in x.im 4.472 * [backup-simplify]: Simplify 0 into 0 4.472 * [backup-simplify]: Simplify 1 into 1 4.472 * [taylor]: Taking taylor expansion of x.re in x.im 4.472 * [backup-simplify]: Simplify x.re into x.re 4.473 * [backup-simplify]: Simplify (* 1 1) into 1 4.473 * [backup-simplify]: Simplify (* 1 x.re) into x.re 4.473 * [backup-simplify]: Simplify (* 3 x.re) into (* 3 x.re) 4.473 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 4.473 * [taylor]: Taking taylor expansion of 3 in x.re 4.473 * [backup-simplify]: Simplify 3 into 3 4.473 * [taylor]: Taking taylor expansion of x.re in x.re 4.473 * [backup-simplify]: Simplify 0 into 0 4.473 * [backup-simplify]: Simplify 1 into 1 4.473 * [backup-simplify]: Simplify (* 3 0) into 0 4.474 * [backup-simplify]: Simplify 0 into 0 4.474 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.475 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 4.475 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.re)) into 0 4.475 * [taylor]: Taking taylor expansion of 0 in x.re 4.475 * [backup-simplify]: Simplify 0 into 0 4.475 * [backup-simplify]: Simplify 0 into 0 4.476 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 4.476 * [backup-simplify]: Simplify 3 into 3 4.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 4.479 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.re))) into 0 4.479 * [taylor]: Taking taylor expansion of 0 in x.re 4.479 * [backup-simplify]: Simplify 0 into 0 4.479 * [backup-simplify]: Simplify 0 into 0 4.479 * [backup-simplify]: Simplify 0 into 0 4.480 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 4.480 * [backup-simplify]: Simplify 0 into 0 4.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 4.483 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 4.483 * [taylor]: Taking taylor expansion of 0 in x.re 4.484 * [backup-simplify]: Simplify 0 into 0 4.484 * [backup-simplify]: Simplify 0 into 0 4.484 * [backup-simplify]: Simplify 0 into 0 4.484 * [backup-simplify]: Simplify 0 into 0 4.484 * [backup-simplify]: Simplify (* 3 (* x.re (pow x.im 2))) into (* 3 (* (pow x.im 2) x.re)) 4.484 * [backup-simplify]: Simplify (* (/ 1 x.im) (* (/ 1 x.im) (* 3 (/ 1 x.re)))) into (/ 3 (* (pow x.im 2) x.re)) 4.484 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 4.484 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 4.484 * [taylor]: Taking taylor expansion of 3 in x.re 4.484 * [backup-simplify]: Simplify 3 into 3 4.484 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.484 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.484 * [taylor]: Taking taylor expansion of x.im in x.re 4.484 * [backup-simplify]: Simplify x.im into x.im 4.484 * [taylor]: Taking taylor expansion of x.re in x.re 4.484 * [backup-simplify]: Simplify 0 into 0 4.485 * [backup-simplify]: Simplify 1 into 1 4.485 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 4.485 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 4.485 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 4.485 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 4.486 * [backup-simplify]: Simplify (/ 3 (pow x.im 2)) into (/ 3 (pow x.im 2)) 4.486 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 4.486 * [taylor]: Taking taylor expansion of 3 in x.im 4.486 * [backup-simplify]: Simplify 3 into 3 4.486 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.486 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.486 * [taylor]: Taking taylor expansion of x.im in x.im 4.486 * [backup-simplify]: Simplify 0 into 0 4.486 * [backup-simplify]: Simplify 1 into 1 4.486 * [taylor]: Taking taylor expansion of x.re in x.im 4.486 * [backup-simplify]: Simplify x.re into x.re 4.486 * [backup-simplify]: Simplify (* 1 1) into 1 4.486 * [backup-simplify]: Simplify (* 1 x.re) into x.re 4.486 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 4.487 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 4.487 * [taylor]: Taking taylor expansion of 3 in x.im 4.487 * [backup-simplify]: Simplify 3 into 3 4.487 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.487 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.487 * [taylor]: Taking taylor expansion of x.im in x.im 4.487 * [backup-simplify]: Simplify 0 into 0 4.487 * [backup-simplify]: Simplify 1 into 1 4.487 * [taylor]: Taking taylor expansion of x.re in x.im 4.487 * [backup-simplify]: Simplify x.re into x.re 4.487 * [backup-simplify]: Simplify (* 1 1) into 1 4.488 * [backup-simplify]: Simplify (* 1 x.re) into x.re 4.488 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 4.488 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 4.488 * [taylor]: Taking taylor expansion of 3 in x.re 4.488 * [backup-simplify]: Simplify 3 into 3 4.488 * [taylor]: Taking taylor expansion of x.re in x.re 4.488 * [backup-simplify]: Simplify 0 into 0 4.488 * [backup-simplify]: Simplify 1 into 1 4.488 * [backup-simplify]: Simplify (/ 3 1) into 3 4.488 * [backup-simplify]: Simplify 3 into 3 4.489 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.490 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 4.490 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 4.490 * [taylor]: Taking taylor expansion of 0 in x.re 4.490 * [backup-simplify]: Simplify 0 into 0 4.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 4.491 * [backup-simplify]: Simplify 0 into 0 4.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 4.493 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 4.493 * [taylor]: Taking taylor expansion of 0 in x.re 4.493 * [backup-simplify]: Simplify 0 into 0 4.493 * [backup-simplify]: Simplify 0 into 0 4.494 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.494 * [backup-simplify]: Simplify 0 into 0 4.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 4.496 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 4.497 * [taylor]: Taking taylor expansion of 0 in x.re 4.497 * [backup-simplify]: Simplify 0 into 0 4.497 * [backup-simplify]: Simplify 0 into 0 4.497 * [backup-simplify]: Simplify 0 into 0 4.498 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.498 * [backup-simplify]: Simplify 0 into 0 4.498 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* 3 (* (pow x.im 2) x.re)) 4.498 * [backup-simplify]: Simplify (* (/ 1 (- x.im)) (* (/ 1 (- x.im)) (* 3 (/ 1 (- x.re))))) into (/ -3 (* (pow x.im 2) x.re)) 4.498 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 4.498 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 4.499 * [taylor]: Taking taylor expansion of -3 in x.re 4.499 * [backup-simplify]: Simplify -3 into -3 4.499 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.499 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.499 * [taylor]: Taking taylor expansion of x.im in x.re 4.499 * [backup-simplify]: Simplify x.im into x.im 4.499 * [taylor]: Taking taylor expansion of x.re in x.re 4.499 * [backup-simplify]: Simplify 0 into 0 4.499 * [backup-simplify]: Simplify 1 into 1 4.499 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 4.499 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 4.499 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 4.500 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 4.500 * [backup-simplify]: Simplify (/ -3 (pow x.im 2)) into (/ -3 (pow x.im 2)) 4.500 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 4.500 * [taylor]: Taking taylor expansion of -3 in x.im 4.500 * [backup-simplify]: Simplify -3 into -3 4.500 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.500 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.500 * [taylor]: Taking taylor expansion of x.im in x.im 4.500 * [backup-simplify]: Simplify 0 into 0 4.500 * [backup-simplify]: Simplify 1 into 1 4.500 * [taylor]: Taking taylor expansion of x.re in x.im 4.500 * [backup-simplify]: Simplify x.re into x.re 4.501 * [backup-simplify]: Simplify (* 1 1) into 1 4.501 * [backup-simplify]: Simplify (* 1 x.re) into x.re 4.501 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 4.501 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 4.501 * [taylor]: Taking taylor expansion of -3 in x.im 4.501 * [backup-simplify]: Simplify -3 into -3 4.501 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.501 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.501 * [taylor]: Taking taylor expansion of x.im in x.im 4.501 * [backup-simplify]: Simplify 0 into 0 4.501 * [backup-simplify]: Simplify 1 into 1 4.501 * [taylor]: Taking taylor expansion of x.re in x.im 4.501 * [backup-simplify]: Simplify x.re into x.re 4.501 * [backup-simplify]: Simplify (* 1 1) into 1 4.501 * [backup-simplify]: Simplify (* 1 x.re) into x.re 4.502 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 4.502 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re 4.502 * [taylor]: Taking taylor expansion of -3 in x.re 4.502 * [backup-simplify]: Simplify -3 into -3 4.502 * [taylor]: Taking taylor expansion of x.re in x.re 4.502 * [backup-simplify]: Simplify 0 into 0 4.502 * [backup-simplify]: Simplify 1 into 1 4.502 * [backup-simplify]: Simplify (/ -3 1) into -3 4.502 * [backup-simplify]: Simplify -3 into -3 4.503 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.503 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 4.504 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0 4.504 * [taylor]: Taking taylor expansion of 0 in x.re 4.504 * [backup-simplify]: Simplify 0 into 0 4.505 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0 4.505 * [backup-simplify]: Simplify 0 into 0 4.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 4.511 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 4.511 * [taylor]: Taking taylor expansion of 0 in x.re 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify 0 into 0 4.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.512 * [backup-simplify]: Simplify 0 into 0 4.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 4.515 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 4.515 * [taylor]: Taking taylor expansion of 0 in x.re 4.515 * [backup-simplify]: Simplify 0 into 0 4.515 * [backup-simplify]: Simplify 0 into 0 4.515 * [backup-simplify]: Simplify 0 into 0 4.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.516 * [backup-simplify]: Simplify 0 into 0 4.516 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* 3 (* (pow x.im 2) x.re)) 4.517 * * * [progress]: simplifying candidates 4.518 * [simplify]: Simplifying: (* x.im (* 3 x.re)) (* x.im (* 3 x.re)) (+ (log x.im) (+ (log 3) (log x.re))) (+ (log x.im) (log (* 3 x.re))) (log (* x.im (* 3 x.re))) (exp (* x.im (* 3 x.re))) (* (* (* x.im x.im) x.im) (* (* (* 3 3) 3) (* (* x.re x.re) x.re))) (* (* (* x.im x.im) x.im) (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re))) (* (cbrt (* x.im (* 3 x.re))) (cbrt (* x.im (* 3 x.re)))) (cbrt (* x.im (* 3 x.re))) (* (* (* x.im (* 3 x.re)) (* x.im (* 3 x.re))) (* x.im (* 3 x.re))) (sqrt (* x.im (* 3 x.re))) (sqrt (* x.im (* 3 x.re))) (* x.im 3) (* (cbrt x.im) (* 3 x.re)) (* (sqrt x.im) (* 3 x.re)) (* x.im (* 3 x.re)) (* x.im (* x.im (* 3 x.re))) (* x.im (* x.im (* 3 x.re))) (* x.im (* x.im (* 3 x.re))) (+ (log x.im) (+ (log x.im) (+ (log 3) (log x.re)))) (+ (log x.im) (+ (log x.im) (log (* 3 x.re)))) (+ (log x.im) (log (* x.im (* 3 x.re)))) (log (* x.im (* x.im (* 3 x.re)))) (exp (* x.im (* x.im (* 3 x.re)))) (* (* (* x.im x.im) x.im) (* (* (* x.im x.im) x.im) (* (* (* 3 3) 3) (* (* x.re x.re) x.re)))) (* (* (* x.im x.im) x.im) (* (* (* x.im x.im) x.im) (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)))) (* (* (* x.im x.im) x.im) (* (* (* x.im (* 3 x.re)) (* x.im (* 3 x.re))) (* x.im (* 3 x.re)))) (* (cbrt (* x.im (* x.im (* 3 x.re)))) (cbrt (* x.im (* x.im (* 3 x.re))))) (cbrt (* x.im (* x.im (* 3 x.re)))) (* (* (* x.im (* x.im (* 3 x.re))) (* x.im (* x.im (* 3 x.re)))) (* x.im (* x.im (* 3 x.re)))) (sqrt (* x.im (* x.im (* 3 x.re)))) (sqrt (* x.im (* x.im (* 3 x.re)))) (* x.im x.im) (* (cbrt x.im) (* x.im (* 3 x.re))) (* (sqrt x.im) (* x.im (* 3 x.re))) (* x.im (* x.im (* 3 x.re))) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) 4.519 * * [simplify]: Extracting # 0 : cost 0 4.519 * * [simplify]: Extracting # 1 : cost 0 4.519 * * [simplify]: Extracting # 2 : cost 0 4.520 * * [simplify]: Extracting # 3 : cost 0 4.520 * * [simplify]: Extracting # 4 : cost 0 4.520 * * [simplify]: Extracting # 5 : cost 0 4.520 * * [simplify]: Extracting # 6 : cost 0 4.520 * * [simplify]: Extracting # 7 : cost 0 4.520 * * [simplify]: Extracting # 8 : cost 0 4.521 * * [simplify]: iteration 0 : 57 enodes (cost 401 ) 4.546 * * [simplify]: Extracting # 0 : cost 0 4.546 * * [simplify]: Extracting # 1 : cost 0 4.547 * * [simplify]: Extracting # 2 : cost 0 4.547 * * [simplify]: Extracting # 3 : cost 0 4.547 * * [simplify]: Extracting # 4 : cost 0 4.548 * * [simplify]: iteration 1 : 155 enodes (cost 378 ) 4.689 * * [simplify]: Extracting # 0 : cost 0 4.690 * * [simplify]: Extracting # 1 : cost 0 4.691 * * [simplify]: Extracting # 2 : cost 0 4.692 * * [simplify]: Extracting # 3 : cost 0 4.693 * * [simplify]: iteration 2 : 856 enodes (cost 320 ) 5.317 * * [simplify]: Extracting # 0 : cost 0 5.333 * * [simplify]: Extracting # 1 : cost 0 5.354 * * [simplify]: Extracting # 2 : cost 0 5.361 * * [simplify]: Extracting # 3 : cost 0 5.368 * * [simplify]: Extracting # 4 : cost 0 5.375 * * [simplify]: iteration done: 5000 enodes (cost 306 ) 5.375 * [simplify]: Simplified to: (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (log (* 3 (* x.im x.re))) (log (* 3 (* x.im x.re))) (log (* 3 (* x.im x.re))) (exp (* x.im (* 3 x.re))) (pow (* 3 (* x.im x.re)) 3) (pow (* 3 (* x.im x.re)) 3) (* (cbrt (* x.im (* 3 x.re))) (cbrt (* x.im (* 3 x.re)))) (cbrt (* x.im (* 3 x.re))) (pow (* 3 (* x.im x.re)) 3) (sqrt (* x.im (* 3 x.re))) (sqrt (* x.im (* 3 x.re))) (* x.im 3) (* (cbrt x.im) (* 3 x.re)) (* (sqrt x.im) (* 3 x.re)) (* 3 (* x.im x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (log (* x.im (* x.im (* 3 x.re)))) (log (* x.im (* x.im (* 3 x.re)))) (log (* x.im (* x.im (* 3 x.re)))) (log (* x.im (* x.im (* 3 x.re)))) (exp (* x.im (* x.im (* 3 x.re)))) (pow (* 3 (* (pow x.im 2) x.re)) 3) (pow (* 3 (* (pow x.im 2) x.re)) 3) (pow (* 3 (* (pow x.im 2) x.re)) 3) (* (cbrt (* x.im (* x.im (* 3 x.re)))) (cbrt (* x.im (* x.im (* 3 x.re))))) (cbrt (* x.im (* x.im (* 3 x.re)))) (pow (* 3 (* (pow x.im 2) x.re)) 3) (sqrt (* x.im (* x.im (* 3 x.re)))) (sqrt (* x.im (* x.im (* 3 x.re)))) (* x.im x.im) (* (cbrt x.im) (* x.im (* 3 x.re))) (* (sqrt x.im) (* x.im (* 3 x.re))) (* 3 (* (pow x.im 2) x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) 5.375 * * * [progress]: adding candidates to table 5.547 * * [progress]: iteration 3 / 4 5.547 * * * [progress]: picking best candidate 5.565 * * * * [pick]: Picked # 5.565 * * * [progress]: localizing error 5.578 * * * [progress]: generating rewritten candidates 5.578 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 5.615 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 5.678 * * * [progress]: generating series expansions 5.678 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 5.678 * [backup-simplify]: Simplify (* (* x.im 3) x.re) into (* 3 (* x.im x.re)) 5.678 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.im x.re) around 0 5.678 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 5.678 * [taylor]: Taking taylor expansion of 3 in x.re 5.678 * [backup-simplify]: Simplify 3 into 3 5.678 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.678 * [taylor]: Taking taylor expansion of x.im in x.re 5.678 * [backup-simplify]: Simplify x.im into x.im 5.678 * [taylor]: Taking taylor expansion of x.re in x.re 5.678 * [backup-simplify]: Simplify 0 into 0 5.678 * [backup-simplify]: Simplify 1 into 1 5.678 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 5.678 * [taylor]: Taking taylor expansion of 3 in x.im 5.678 * [backup-simplify]: Simplify 3 into 3 5.678 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.678 * [taylor]: Taking taylor expansion of x.im in x.im 5.678 * [backup-simplify]: Simplify 0 into 0 5.679 * [backup-simplify]: Simplify 1 into 1 5.679 * [taylor]: Taking taylor expansion of x.re in x.im 5.679 * [backup-simplify]: Simplify x.re into x.re 5.679 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 5.679 * [taylor]: Taking taylor expansion of 3 in x.im 5.679 * [backup-simplify]: Simplify 3 into 3 5.679 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.679 * [taylor]: Taking taylor expansion of x.im in x.im 5.679 * [backup-simplify]: Simplify 0 into 0 5.679 * [backup-simplify]: Simplify 1 into 1 5.679 * [taylor]: Taking taylor expansion of x.re in x.im 5.679 * [backup-simplify]: Simplify x.re into x.re 5.679 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.679 * [backup-simplify]: Simplify (* 3 0) into 0 5.679 * [taylor]: Taking taylor expansion of 0 in x.re 5.679 * [backup-simplify]: Simplify 0 into 0 5.679 * [backup-simplify]: Simplify 0 into 0 5.680 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.680 * [backup-simplify]: Simplify (+ (* 3 x.re) (* 0 0)) into (* 3 x.re) 5.680 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 5.680 * [taylor]: Taking taylor expansion of 3 in x.re 5.680 * [backup-simplify]: Simplify 3 into 3 5.680 * [taylor]: Taking taylor expansion of x.re in x.re 5.680 * [backup-simplify]: Simplify 0 into 0 5.680 * [backup-simplify]: Simplify 1 into 1 5.680 * [backup-simplify]: Simplify (* 3 0) into 0 5.680 * [backup-simplify]: Simplify 0 into 0 5.680 * [backup-simplify]: Simplify 0 into 0 5.681 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 5.681 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 x.re) (* 0 0))) into 0 5.681 * [taylor]: Taking taylor expansion of 0 in x.re 5.681 * [backup-simplify]: Simplify 0 into 0 5.681 * [backup-simplify]: Simplify 0 into 0 5.682 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 5.682 * [backup-simplify]: Simplify 3 into 3 5.682 * [backup-simplify]: Simplify 0 into 0 5.683 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.683 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0)))) into 0 5.683 * [taylor]: Taking taylor expansion of 0 in x.re 5.683 * [backup-simplify]: Simplify 0 into 0 5.683 * [backup-simplify]: Simplify 0 into 0 5.683 * [backup-simplify]: Simplify 0 into 0 5.684 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 5.684 * [backup-simplify]: Simplify 0 into 0 5.684 * [backup-simplify]: Simplify 0 into 0 5.685 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 5.686 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0))))) into 0 5.686 * [taylor]: Taking taylor expansion of 0 in x.re 5.686 * [backup-simplify]: Simplify 0 into 0 5.686 * [backup-simplify]: Simplify 0 into 0 5.686 * [backup-simplify]: Simplify (* 3 (* x.re x.im)) into (* 3 (* x.im x.re)) 5.686 * [backup-simplify]: Simplify (* (* (/ 1 x.im) 3) (/ 1 x.re)) into (/ 3 (* x.im x.re)) 5.686 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 5.686 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 5.686 * [taylor]: Taking taylor expansion of 3 in x.re 5.686 * [backup-simplify]: Simplify 3 into 3 5.686 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.686 * [taylor]: Taking taylor expansion of x.im in x.re 5.686 * [backup-simplify]: Simplify x.im into x.im 5.686 * [taylor]: Taking taylor expansion of x.re in x.re 5.686 * [backup-simplify]: Simplify 0 into 0 5.686 * [backup-simplify]: Simplify 1 into 1 5.686 * [backup-simplify]: Simplify (* x.im 0) into 0 5.687 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 5.687 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 5.687 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.687 * [taylor]: Taking taylor expansion of 3 in x.im 5.687 * [backup-simplify]: Simplify 3 into 3 5.687 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.687 * [taylor]: Taking taylor expansion of x.im in x.im 5.687 * [backup-simplify]: Simplify 0 into 0 5.687 * [backup-simplify]: Simplify 1 into 1 5.687 * [taylor]: Taking taylor expansion of x.re in x.im 5.687 * [backup-simplify]: Simplify x.re into x.re 5.687 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.687 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.687 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.687 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.687 * [taylor]: Taking taylor expansion of 3 in x.im 5.687 * [backup-simplify]: Simplify 3 into 3 5.687 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.687 * [taylor]: Taking taylor expansion of x.im in x.im 5.687 * [backup-simplify]: Simplify 0 into 0 5.687 * [backup-simplify]: Simplify 1 into 1 5.687 * [taylor]: Taking taylor expansion of x.re in x.im 5.687 * [backup-simplify]: Simplify x.re into x.re 5.687 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.688 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.688 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.688 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 5.688 * [taylor]: Taking taylor expansion of 3 in x.re 5.688 * [backup-simplify]: Simplify 3 into 3 5.688 * [taylor]: Taking taylor expansion of x.re in x.re 5.688 * [backup-simplify]: Simplify 0 into 0 5.688 * [backup-simplify]: Simplify 1 into 1 5.688 * [backup-simplify]: Simplify (/ 3 1) into 3 5.688 * [backup-simplify]: Simplify 3 into 3 5.689 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 5.689 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 5.689 * [taylor]: Taking taylor expansion of 0 in x.re 5.689 * [backup-simplify]: Simplify 0 into 0 5.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.689 * [backup-simplify]: Simplify 0 into 0 5.690 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.690 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.690 * [taylor]: Taking taylor expansion of 0 in x.re 5.690 * [backup-simplify]: Simplify 0 into 0 5.690 * [backup-simplify]: Simplify 0 into 0 5.691 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.691 * [backup-simplify]: Simplify 0 into 0 5.692 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 5.692 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.692 * [taylor]: Taking taylor expansion of 0 in x.re 5.692 * [backup-simplify]: Simplify 0 into 0 5.692 * [backup-simplify]: Simplify 0 into 0 5.692 * [backup-simplify]: Simplify 0 into 0 5.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.693 * [backup-simplify]: Simplify 0 into 0 5.693 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (/ 1 (/ 1 x.im)))) into (* 3 (* x.im x.re)) 5.693 * [backup-simplify]: Simplify (* (* (/ 1 (- x.im)) 3) (/ 1 (- x.re))) into (/ 3 (* x.im x.re)) 5.693 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 5.693 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 5.693 * [taylor]: Taking taylor expansion of 3 in x.re 5.693 * [backup-simplify]: Simplify 3 into 3 5.693 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.693 * [taylor]: Taking taylor expansion of x.im in x.re 5.693 * [backup-simplify]: Simplify x.im into x.im 5.693 * [taylor]: Taking taylor expansion of x.re in x.re 5.693 * [backup-simplify]: Simplify 0 into 0 5.693 * [backup-simplify]: Simplify 1 into 1 5.693 * [backup-simplify]: Simplify (* x.im 0) into 0 5.693 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 5.693 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 5.693 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.694 * [taylor]: Taking taylor expansion of 3 in x.im 5.694 * [backup-simplify]: Simplify 3 into 3 5.694 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.694 * [taylor]: Taking taylor expansion of x.im in x.im 5.694 * [backup-simplify]: Simplify 0 into 0 5.694 * [backup-simplify]: Simplify 1 into 1 5.694 * [taylor]: Taking taylor expansion of x.re in x.im 5.694 * [backup-simplify]: Simplify x.re into x.re 5.694 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.694 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.694 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.694 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.694 * [taylor]: Taking taylor expansion of 3 in x.im 5.694 * [backup-simplify]: Simplify 3 into 3 5.694 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.694 * [taylor]: Taking taylor expansion of x.im in x.im 5.694 * [backup-simplify]: Simplify 0 into 0 5.694 * [backup-simplify]: Simplify 1 into 1 5.694 * [taylor]: Taking taylor expansion of x.re in x.im 5.694 * [backup-simplify]: Simplify x.re into x.re 5.694 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.694 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.694 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.695 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 5.695 * [taylor]: Taking taylor expansion of 3 in x.re 5.695 * [backup-simplify]: Simplify 3 into 3 5.695 * [taylor]: Taking taylor expansion of x.re in x.re 5.695 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify 1 into 1 5.695 * [backup-simplify]: Simplify (/ 3 1) into 3 5.695 * [backup-simplify]: Simplify 3 into 3 5.695 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 5.696 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 5.696 * [taylor]: Taking taylor expansion of 0 in x.re 5.696 * [backup-simplify]: Simplify 0 into 0 5.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.697 * [backup-simplify]: Simplify 0 into 0 5.698 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.698 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.698 * [taylor]: Taking taylor expansion of 0 in x.re 5.698 * [backup-simplify]: Simplify 0 into 0 5.698 * [backup-simplify]: Simplify 0 into 0 5.699 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.699 * [backup-simplify]: Simplify 0 into 0 5.701 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 5.701 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.701 * [taylor]: Taking taylor expansion of 0 in x.re 5.701 * [backup-simplify]: Simplify 0 into 0 5.701 * [backup-simplify]: Simplify 0 into 0 5.701 * [backup-simplify]: Simplify 0 into 0 5.703 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.703 * [backup-simplify]: Simplify 0 into 0 5.703 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 (- x.re))) (/ 1 (/ 1 (- x.im))))) into (* 3 (* x.im x.re)) 5.703 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 5.703 * [backup-simplify]: Simplify (* x.im (* (* x.im 3) x.re)) into (* 3 (* (pow x.im 2) x.re)) 5.703 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 5.703 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 5.703 * [taylor]: Taking taylor expansion of 3 in x.re 5.703 * [backup-simplify]: Simplify 3 into 3 5.703 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 5.703 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 5.703 * [taylor]: Taking taylor expansion of x.im in x.re 5.703 * [backup-simplify]: Simplify x.im into x.im 5.703 * [taylor]: Taking taylor expansion of x.re in x.re 5.703 * [backup-simplify]: Simplify 0 into 0 5.703 * [backup-simplify]: Simplify 1 into 1 5.704 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 5.704 * [taylor]: Taking taylor expansion of 3 in x.im 5.704 * [backup-simplify]: Simplify 3 into 3 5.704 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 5.704 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.704 * [taylor]: Taking taylor expansion of x.im in x.im 5.704 * [backup-simplify]: Simplify 0 into 0 5.704 * [backup-simplify]: Simplify 1 into 1 5.704 * [taylor]: Taking taylor expansion of x.re in x.im 5.704 * [backup-simplify]: Simplify x.re into x.re 5.704 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 5.704 * [taylor]: Taking taylor expansion of 3 in x.im 5.704 * [backup-simplify]: Simplify 3 into 3 5.704 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 5.704 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.704 * [taylor]: Taking taylor expansion of x.im in x.im 5.704 * [backup-simplify]: Simplify 0 into 0 5.704 * [backup-simplify]: Simplify 1 into 1 5.704 * [taylor]: Taking taylor expansion of x.re in x.im 5.704 * [backup-simplify]: Simplify x.re into x.re 5.705 * [backup-simplify]: Simplify (* 1 1) into 1 5.705 * [backup-simplify]: Simplify (* 1 x.re) into x.re 5.705 * [backup-simplify]: Simplify (* 3 x.re) into (* 3 x.re) 5.705 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 5.705 * [taylor]: Taking taylor expansion of 3 in x.re 5.705 * [backup-simplify]: Simplify 3 into 3 5.705 * [taylor]: Taking taylor expansion of x.re in x.re 5.705 * [backup-simplify]: Simplify 0 into 0 5.705 * [backup-simplify]: Simplify 1 into 1 5.705 * [backup-simplify]: Simplify (* 3 0) into 0 5.705 * [backup-simplify]: Simplify 0 into 0 5.706 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.707 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 5.707 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.re)) into 0 5.707 * [taylor]: Taking taylor expansion of 0 in x.re 5.707 * [backup-simplify]: Simplify 0 into 0 5.707 * [backup-simplify]: Simplify 0 into 0 5.708 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 5.708 * [backup-simplify]: Simplify 3 into 3 5.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 5.711 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.re))) into 0 5.711 * [taylor]: Taking taylor expansion of 0 in x.re 5.711 * [backup-simplify]: Simplify 0 into 0 5.711 * [backup-simplify]: Simplify 0 into 0 5.711 * [backup-simplify]: Simplify 0 into 0 5.712 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 5.712 * [backup-simplify]: Simplify 0 into 0 5.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.719 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.719 * [taylor]: Taking taylor expansion of 0 in x.re 5.719 * [backup-simplify]: Simplify 0 into 0 5.719 * [backup-simplify]: Simplify 0 into 0 5.719 * [backup-simplify]: Simplify 0 into 0 5.719 * [backup-simplify]: Simplify 0 into 0 5.720 * [backup-simplify]: Simplify (* 3 (* x.re (pow x.im 2))) into (* 3 (* (pow x.im 2) x.re)) 5.720 * [backup-simplify]: Simplify (* (/ 1 x.im) (* (* (/ 1 x.im) 3) (/ 1 x.re))) into (/ 3 (* (pow x.im 2) x.re)) 5.720 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 5.720 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 5.720 * [taylor]: Taking taylor expansion of 3 in x.re 5.720 * [backup-simplify]: Simplify 3 into 3 5.720 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 5.720 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 5.720 * [taylor]: Taking taylor expansion of x.im in x.re 5.720 * [backup-simplify]: Simplify x.im into x.im 5.720 * [taylor]: Taking taylor expansion of x.re in x.re 5.720 * [backup-simplify]: Simplify 0 into 0 5.720 * [backup-simplify]: Simplify 1 into 1 5.720 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 5.720 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 5.721 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 5.721 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 5.721 * [backup-simplify]: Simplify (/ 3 (pow x.im 2)) into (/ 3 (pow x.im 2)) 5.721 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 5.721 * [taylor]: Taking taylor expansion of 3 in x.im 5.722 * [backup-simplify]: Simplify 3 into 3 5.722 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 5.722 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.722 * [taylor]: Taking taylor expansion of x.im in x.im 5.722 * [backup-simplify]: Simplify 0 into 0 5.722 * [backup-simplify]: Simplify 1 into 1 5.722 * [taylor]: Taking taylor expansion of x.re in x.im 5.722 * [backup-simplify]: Simplify x.re into x.re 5.722 * [backup-simplify]: Simplify (* 1 1) into 1 5.722 * [backup-simplify]: Simplify (* 1 x.re) into x.re 5.722 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.722 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 5.722 * [taylor]: Taking taylor expansion of 3 in x.im 5.722 * [backup-simplify]: Simplify 3 into 3 5.722 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 5.722 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.722 * [taylor]: Taking taylor expansion of x.im in x.im 5.723 * [backup-simplify]: Simplify 0 into 0 5.723 * [backup-simplify]: Simplify 1 into 1 5.723 * [taylor]: Taking taylor expansion of x.re in x.im 5.723 * [backup-simplify]: Simplify x.re into x.re 5.723 * [backup-simplify]: Simplify (* 1 1) into 1 5.723 * [backup-simplify]: Simplify (* 1 x.re) into x.re 5.723 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.723 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 5.723 * [taylor]: Taking taylor expansion of 3 in x.re 5.723 * [backup-simplify]: Simplify 3 into 3 5.723 * [taylor]: Taking taylor expansion of x.re in x.re 5.723 * [backup-simplify]: Simplify 0 into 0 5.723 * [backup-simplify]: Simplify 1 into 1 5.724 * [backup-simplify]: Simplify (/ 3 1) into 3 5.724 * [backup-simplify]: Simplify 3 into 3 5.725 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.725 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 5.725 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 5.725 * [taylor]: Taking taylor expansion of 0 in x.re 5.725 * [backup-simplify]: Simplify 0 into 0 5.726 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.726 * [backup-simplify]: Simplify 0 into 0 5.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 5.728 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.728 * [taylor]: Taking taylor expansion of 0 in x.re 5.728 * [backup-simplify]: Simplify 0 into 0 5.728 * [backup-simplify]: Simplify 0 into 0 5.729 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.729 * [backup-simplify]: Simplify 0 into 0 5.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.732 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.732 * [taylor]: Taking taylor expansion of 0 in x.re 5.732 * [backup-simplify]: Simplify 0 into 0 5.732 * [backup-simplify]: Simplify 0 into 0 5.732 * [backup-simplify]: Simplify 0 into 0 5.733 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.733 * [backup-simplify]: Simplify 0 into 0 5.734 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* 3 (* (pow x.im 2) x.re)) 5.734 * [backup-simplify]: Simplify (* (/ 1 (- x.im)) (* (* (/ 1 (- x.im)) 3) (/ 1 (- x.re)))) into (/ -3 (* (pow x.im 2) x.re)) 5.734 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 5.734 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 5.734 * [taylor]: Taking taylor expansion of -3 in x.re 5.734 * [backup-simplify]: Simplify -3 into -3 5.734 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 5.734 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 5.734 * [taylor]: Taking taylor expansion of x.im in x.re 5.734 * [backup-simplify]: Simplify x.im into x.im 5.734 * [taylor]: Taking taylor expansion of x.re in x.re 5.734 * [backup-simplify]: Simplify 0 into 0 5.734 * [backup-simplify]: Simplify 1 into 1 5.734 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 5.735 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 5.735 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 5.735 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 5.735 * [backup-simplify]: Simplify (/ -3 (pow x.im 2)) into (/ -3 (pow x.im 2)) 5.735 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 5.736 * [taylor]: Taking taylor expansion of -3 in x.im 5.736 * [backup-simplify]: Simplify -3 into -3 5.736 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 5.736 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.736 * [taylor]: Taking taylor expansion of x.im in x.im 5.736 * [backup-simplify]: Simplify 0 into 0 5.736 * [backup-simplify]: Simplify 1 into 1 5.736 * [taylor]: Taking taylor expansion of x.re in x.im 5.736 * [backup-simplify]: Simplify x.re into x.re 5.736 * [backup-simplify]: Simplify (* 1 1) into 1 5.736 * [backup-simplify]: Simplify (* 1 x.re) into x.re 5.736 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 5.736 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 5.736 * [taylor]: Taking taylor expansion of -3 in x.im 5.736 * [backup-simplify]: Simplify -3 into -3 5.736 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 5.736 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.736 * [taylor]: Taking taylor expansion of x.im in x.im 5.737 * [backup-simplify]: Simplify 0 into 0 5.737 * [backup-simplify]: Simplify 1 into 1 5.737 * [taylor]: Taking taylor expansion of x.re in x.im 5.737 * [backup-simplify]: Simplify x.re into x.re 5.737 * [backup-simplify]: Simplify (* 1 1) into 1 5.737 * [backup-simplify]: Simplify (* 1 x.re) into x.re 5.737 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 5.737 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re 5.737 * [taylor]: Taking taylor expansion of -3 in x.re 5.737 * [backup-simplify]: Simplify -3 into -3 5.737 * [taylor]: Taking taylor expansion of x.re in x.re 5.737 * [backup-simplify]: Simplify 0 into 0 5.737 * [backup-simplify]: Simplify 1 into 1 5.738 * [backup-simplify]: Simplify (/ -3 1) into -3 5.738 * [backup-simplify]: Simplify -3 into -3 5.739 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.739 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 5.739 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0 5.739 * [taylor]: Taking taylor expansion of 0 in x.re 5.739 * [backup-simplify]: Simplify 0 into 0 5.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0 5.740 * [backup-simplify]: Simplify 0 into 0 5.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 5.742 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.742 * [taylor]: Taking taylor expansion of 0 in x.re 5.742 * [backup-simplify]: Simplify 0 into 0 5.742 * [backup-simplify]: Simplify 0 into 0 5.743 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.744 * [backup-simplify]: Simplify 0 into 0 5.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.746 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.746 * [taylor]: Taking taylor expansion of 0 in x.re 5.746 * [backup-simplify]: Simplify 0 into 0 5.746 * [backup-simplify]: Simplify 0 into 0 5.747 * [backup-simplify]: Simplify 0 into 0 5.748 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.748 * [backup-simplify]: Simplify 0 into 0 5.748 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* 3 (* (pow x.im 2) x.re)) 5.748 * * * [progress]: simplifying candidates 5.749 * [simplify]: Simplifying: (* (* x.im 3) x.re) (* (* x.im 3) x.re) (+ (+ (log x.im) (log 3)) (log x.re)) (+ (log (* x.im 3)) (log x.re)) (log (* (* x.im 3) x.re)) (exp (* (* x.im 3) x.re)) (* (* (* (* x.im x.im) x.im) (* (* 3 3) 3)) (* (* x.re x.re) x.re)) (* (* (* (* x.im 3) (* x.im 3)) (* x.im 3)) (* (* x.re x.re) x.re)) (* (cbrt (* (* x.im 3) x.re)) (cbrt (* (* x.im 3) x.re))) (cbrt (* (* x.im 3) x.re)) (* (* (* (* x.im 3) x.re) (* (* x.im 3) x.re)) (* (* x.im 3) x.re)) (sqrt (* (* x.im 3) x.re)) (sqrt (* (* x.im 3) x.re)) (* (* x.im 3) (* (cbrt x.re) (cbrt x.re))) (* (* x.im 3) (sqrt x.re)) (* (* x.im 3) 1) (* 3 x.re) (* x.im (* (* x.im 3) x.re)) (* x.im (* (* x.im 3) x.re)) (* x.im (* (* x.im 3) x.re)) (+ (log x.im) (+ (+ (log x.im) (log 3)) (log x.re))) (+ (log x.im) (+ (log (* x.im 3)) (log x.re))) (+ (log x.im) (log (* (* x.im 3) x.re))) (log (* x.im (* (* x.im 3) x.re))) (exp (* x.im (* (* x.im 3) x.re))) (* (* (* x.im x.im) x.im) (* (* (* (* x.im x.im) x.im) (* (* 3 3) 3)) (* (* x.re x.re) x.re))) (* (* (* x.im x.im) x.im) (* (* (* (* x.im 3) (* x.im 3)) (* x.im 3)) (* (* x.re x.re) x.re))) (* (* (* x.im x.im) x.im) (* (* (* (* x.im 3) x.re) (* (* x.im 3) x.re)) (* (* x.im 3) x.re))) (* (cbrt (* x.im (* (* x.im 3) x.re))) (cbrt (* x.im (* (* x.im 3) x.re)))) (cbrt (* x.im (* (* x.im 3) x.re))) (* (* (* x.im (* (* x.im 3) x.re)) (* x.im (* (* x.im 3) x.re))) (* x.im (* (* x.im 3) x.re))) (sqrt (* x.im (* (* x.im 3) x.re))) (sqrt (* x.im (* (* x.im 3) x.re))) (* x.im (* x.im 3)) (* (cbrt x.im) (* (* x.im 3) x.re)) (* (sqrt x.im) (* (* x.im 3) x.re)) (* x.im (* (* x.im 3) x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) 5.751 * * [simplify]: Extracting # 0 : cost 0 5.751 * * [simplify]: Extracting # 1 : cost 0 5.751 * * [simplify]: Extracting # 2 : cost 0 5.751 * * [simplify]: Extracting # 3 : cost 0 5.751 * * [simplify]: Extracting # 4 : cost 0 5.752 * * [simplify]: Extracting # 5 : cost 0 5.752 * * [simplify]: Extracting # 6 : cost 0 5.752 * * [simplify]: Extracting # 7 : cost 0 5.752 * * [simplify]: iteration 0 : 63 enodes (cost 406 ) 5.783 * * [simplify]: Extracting # 0 : cost 0 5.783 * * [simplify]: Extracting # 1 : cost 0 5.784 * * [simplify]: Extracting # 2 : cost 0 5.784 * * [simplify]: Extracting # 3 : cost 0 5.784 * * [simplify]: Extracting # 4 : cost 0 5.785 * * [simplify]: iteration 1 : 180 enodes (cost 387 ) 5.982 * * [simplify]: Extracting # 0 : cost 0 5.984 * * [simplify]: Extracting # 1 : cost 0 5.985 * * [simplify]: Extracting # 2 : cost 0 5.986 * * [simplify]: Extracting # 3 : cost 0 5.988 * * [simplify]: Extracting # 4 : cost 0 5.990 * * [simplify]: iteration 2 : 1170 enodes (cost 323 ) 6.686 * * [simplify]: Extracting # 0 : cost 0 6.693 * * [simplify]: Extracting # 1 : cost 0 6.701 * * [simplify]: Extracting # 2 : cost 0 6.712 * * [simplify]: Extracting # 3 : cost 0 6.718 * * [simplify]: Extracting # 4 : cost 0 6.730 * * [simplify]: iteration done: 5001 enodes (cost 313 ) 6.731 * [simplify]: Simplified to: (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (log (* (* x.im 3) x.re)) (log (* (* x.im 3) x.re)) (log (* (* x.im 3) x.re)) (exp (* (* x.im 3) x.re)) (* (* 27 (pow x.re 3)) (pow x.im 3)) (pow (* x.re (* x.im 3)) 3) (* (cbrt (* (* x.im 3) x.re)) (cbrt (* (* x.im 3) x.re))) (cbrt (* (* x.im 3) x.re)) (pow (* x.re (* x.im 3)) 3) (sqrt (* (* x.im 3) x.re)) (sqrt (* (* x.im 3) x.re)) (* (* x.im 3) (* (cbrt x.re) (cbrt x.re))) (* (* x.im 3) (sqrt x.re)) (* x.im 3) (* 3 x.re) (* x.im (* (* x.im 3) x.re)) (* x.im (* (* x.im 3) x.re)) (* x.im (* (* x.im 3) x.re)) (log (* x.im (* (* x.im 3) x.re))) (log (* x.im (* (* x.im 3) x.re))) (log (* x.im (* (* x.im 3) x.re))) (log (* x.im (* (* x.im 3) x.re))) (exp (* x.im (* (* x.im 3) x.re))) (* (* (pow x.im (* 2 3)) 27) (pow x.re 3)) (pow (* x.im (* (* x.im 3) x.re)) 3) (pow (* x.im (* (* x.im 3) x.re)) 3) (* (cbrt (* x.im (* (* x.im 3) x.re))) (cbrt (* x.im (* (* x.im 3) x.re)))) (cbrt (* x.im (* (* x.im 3) x.re))) (pow (* x.im (* (* x.im 3) x.re)) 3) (sqrt (* x.im (* (* x.im 3) x.re))) (sqrt (* x.im (* (* x.im 3) x.re))) (* (* x.im 3) x.im) (* (cbrt x.im) (* (* x.im 3) x.re)) (* (sqrt x.im) (* (* x.im 3) x.re)) (* x.im (* (* x.im 3) x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* x.im (* (* x.im 3) x.re)) (* x.im (* (* x.im 3) x.re)) (* x.im (* (* x.im 3) x.re)) 6.731 * * * [progress]: adding candidates to table 6.904 * * [progress]: iteration 4 / 4 6.904 * * * [progress]: picking best candidate 6.939 * * * * [pick]: Picked # 6.939 * * * [progress]: localizing error 6.963 * * * [progress]: generating rewritten candidates 6.963 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 6.994 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 7.041 * * * [progress]: generating series expansions 7.041 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 7.041 * [backup-simplify]: Simplify (* 3 (* x.im x.re)) into (* 3 (* x.im x.re)) 7.041 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.im x.re) around 0 7.041 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 7.041 * [taylor]: Taking taylor expansion of 3 in x.re 7.041 * [backup-simplify]: Simplify 3 into 3 7.041 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 7.041 * [taylor]: Taking taylor expansion of x.im in x.re 7.041 * [backup-simplify]: Simplify x.im into x.im 7.041 * [taylor]: Taking taylor expansion of x.re in x.re 7.041 * [backup-simplify]: Simplify 0 into 0 7.041 * [backup-simplify]: Simplify 1 into 1 7.041 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 7.041 * [taylor]: Taking taylor expansion of 3 in x.im 7.041 * [backup-simplify]: Simplify 3 into 3 7.041 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.041 * [taylor]: Taking taylor expansion of x.im in x.im 7.041 * [backup-simplify]: Simplify 0 into 0 7.041 * [backup-simplify]: Simplify 1 into 1 7.041 * [taylor]: Taking taylor expansion of x.re in x.im 7.041 * [backup-simplify]: Simplify x.re into x.re 7.041 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 7.041 * [taylor]: Taking taylor expansion of 3 in x.im 7.041 * [backup-simplify]: Simplify 3 into 3 7.041 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.041 * [taylor]: Taking taylor expansion of x.im in x.im 7.041 * [backup-simplify]: Simplify 0 into 0 7.041 * [backup-simplify]: Simplify 1 into 1 7.041 * [taylor]: Taking taylor expansion of x.re in x.im 7.041 * [backup-simplify]: Simplify x.re into x.re 7.041 * [backup-simplify]: Simplify (* 0 x.re) into 0 7.042 * [backup-simplify]: Simplify (* 3 0) into 0 7.042 * [taylor]: Taking taylor expansion of 0 in x.re 7.042 * [backup-simplify]: Simplify 0 into 0 7.042 * [backup-simplify]: Simplify 0 into 0 7.042 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 7.042 * [backup-simplify]: Simplify (+ (* 3 x.re) (* 0 0)) into (* 3 x.re) 7.043 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 7.043 * [taylor]: Taking taylor expansion of 3 in x.re 7.043 * [backup-simplify]: Simplify 3 into 3 7.043 * [taylor]: Taking taylor expansion of x.re in x.re 7.043 * [backup-simplify]: Simplify 0 into 0 7.043 * [backup-simplify]: Simplify 1 into 1 7.043 * [backup-simplify]: Simplify (* 3 0) into 0 7.043 * [backup-simplify]: Simplify 0 into 0 7.043 * [backup-simplify]: Simplify 0 into 0 7.043 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 7.044 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 x.re) (* 0 0))) into 0 7.044 * [taylor]: Taking taylor expansion of 0 in x.re 7.044 * [backup-simplify]: Simplify 0 into 0 7.044 * [backup-simplify]: Simplify 0 into 0 7.044 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 7.045 * [backup-simplify]: Simplify 3 into 3 7.045 * [backup-simplify]: Simplify 0 into 0 7.045 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 7.046 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0)))) into 0 7.046 * [taylor]: Taking taylor expansion of 0 in x.re 7.046 * [backup-simplify]: Simplify 0 into 0 7.046 * [backup-simplify]: Simplify 0 into 0 7.046 * [backup-simplify]: Simplify 0 into 0 7.047 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 7.047 * [backup-simplify]: Simplify 0 into 0 7.047 * [backup-simplify]: Simplify 0 into 0 7.048 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 7.049 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0))))) into 0 7.049 * [taylor]: Taking taylor expansion of 0 in x.re 7.049 * [backup-simplify]: Simplify 0 into 0 7.049 * [backup-simplify]: Simplify 0 into 0 7.049 * [backup-simplify]: Simplify (* 3 (* x.re x.im)) into (* 3 (* x.im x.re)) 7.049 * [backup-simplify]: Simplify (* 3 (* (/ 1 x.im) (/ 1 x.re))) into (/ 3 (* x.im x.re)) 7.049 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 7.049 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 7.049 * [taylor]: Taking taylor expansion of 3 in x.re 7.049 * [backup-simplify]: Simplify 3 into 3 7.049 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 7.049 * [taylor]: Taking taylor expansion of x.im in x.re 7.049 * [backup-simplify]: Simplify x.im into x.im 7.049 * [taylor]: Taking taylor expansion of x.re in x.re 7.049 * [backup-simplify]: Simplify 0 into 0 7.049 * [backup-simplify]: Simplify 1 into 1 7.049 * [backup-simplify]: Simplify (* x.im 0) into 0 7.049 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 7.049 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 7.049 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 7.049 * [taylor]: Taking taylor expansion of 3 in x.im 7.049 * [backup-simplify]: Simplify 3 into 3 7.049 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.050 * [taylor]: Taking taylor expansion of x.im in x.im 7.050 * [backup-simplify]: Simplify 0 into 0 7.050 * [backup-simplify]: Simplify 1 into 1 7.050 * [taylor]: Taking taylor expansion of x.re in x.im 7.050 * [backup-simplify]: Simplify x.re into x.re 7.050 * [backup-simplify]: Simplify (* 0 x.re) into 0 7.050 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 7.050 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 7.050 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 7.050 * [taylor]: Taking taylor expansion of 3 in x.im 7.050 * [backup-simplify]: Simplify 3 into 3 7.050 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.050 * [taylor]: Taking taylor expansion of x.im in x.im 7.050 * [backup-simplify]: Simplify 0 into 0 7.050 * [backup-simplify]: Simplify 1 into 1 7.050 * [taylor]: Taking taylor expansion of x.re in x.im 7.050 * [backup-simplify]: Simplify x.re into x.re 7.050 * [backup-simplify]: Simplify (* 0 x.re) into 0 7.050 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 7.050 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 7.050 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 7.050 * [taylor]: Taking taylor expansion of 3 in x.re 7.051 * [backup-simplify]: Simplify 3 into 3 7.051 * [taylor]: Taking taylor expansion of x.re in x.re 7.051 * [backup-simplify]: Simplify 0 into 0 7.051 * [backup-simplify]: Simplify 1 into 1 7.051 * [backup-simplify]: Simplify (/ 3 1) into 3 7.051 * [backup-simplify]: Simplify 3 into 3 7.051 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 7.051 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 7.052 * [taylor]: Taking taylor expansion of 0 in x.re 7.052 * [backup-simplify]: Simplify 0 into 0 7.052 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 7.052 * [backup-simplify]: Simplify 0 into 0 7.053 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 7.053 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 7.053 * [taylor]: Taking taylor expansion of 0 in x.re 7.053 * [backup-simplify]: Simplify 0 into 0 7.053 * [backup-simplify]: Simplify 0 into 0 7.054 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.054 * [backup-simplify]: Simplify 0 into 0 7.055 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 7.055 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 7.055 * [taylor]: Taking taylor expansion of 0 in x.re 7.055 * [backup-simplify]: Simplify 0 into 0 7.055 * [backup-simplify]: Simplify 0 into 0 7.055 * [backup-simplify]: Simplify 0 into 0 7.055 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.055 * [backup-simplify]: Simplify 0 into 0 7.056 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (/ 1 (/ 1 x.im)))) into (* 3 (* x.im x.re)) 7.056 * [backup-simplify]: Simplify (* 3 (* (/ 1 (- x.im)) (/ 1 (- x.re)))) into (/ 3 (* x.im x.re)) 7.056 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 7.056 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 7.056 * [taylor]: Taking taylor expansion of 3 in x.re 7.056 * [backup-simplify]: Simplify 3 into 3 7.056 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 7.056 * [taylor]: Taking taylor expansion of x.im in x.re 7.056 * [backup-simplify]: Simplify x.im into x.im 7.056 * [taylor]: Taking taylor expansion of x.re in x.re 7.056 * [backup-simplify]: Simplify 0 into 0 7.056 * [backup-simplify]: Simplify 1 into 1 7.056 * [backup-simplify]: Simplify (* x.im 0) into 0 7.056 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 7.056 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 7.057 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 7.057 * [taylor]: Taking taylor expansion of 3 in x.im 7.057 * [backup-simplify]: Simplify 3 into 3 7.057 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.057 * [taylor]: Taking taylor expansion of x.im in x.im 7.057 * [backup-simplify]: Simplify 0 into 0 7.057 * [backup-simplify]: Simplify 1 into 1 7.057 * [taylor]: Taking taylor expansion of x.re in x.im 7.057 * [backup-simplify]: Simplify x.re into x.re 7.057 * [backup-simplify]: Simplify (* 0 x.re) into 0 7.057 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 7.057 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 7.057 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 7.057 * [taylor]: Taking taylor expansion of 3 in x.im 7.057 * [backup-simplify]: Simplify 3 into 3 7.057 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.057 * [taylor]: Taking taylor expansion of x.im in x.im 7.057 * [backup-simplify]: Simplify 0 into 0 7.057 * [backup-simplify]: Simplify 1 into 1 7.057 * [taylor]: Taking taylor expansion of x.re in x.im 7.057 * [backup-simplify]: Simplify x.re into x.re 7.057 * [backup-simplify]: Simplify (* 0 x.re) into 0 7.057 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 7.057 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 7.058 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 7.058 * [taylor]: Taking taylor expansion of 3 in x.re 7.058 * [backup-simplify]: Simplify 3 into 3 7.058 * [taylor]: Taking taylor expansion of x.re in x.re 7.058 * [backup-simplify]: Simplify 0 into 0 7.058 * [backup-simplify]: Simplify 1 into 1 7.058 * [backup-simplify]: Simplify (/ 3 1) into 3 7.058 * [backup-simplify]: Simplify 3 into 3 7.058 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 7.059 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 7.059 * [taylor]: Taking taylor expansion of 0 in x.re 7.059 * [backup-simplify]: Simplify 0 into 0 7.059 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 7.059 * [backup-simplify]: Simplify 0 into 0 7.060 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 7.060 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 7.060 * [taylor]: Taking taylor expansion of 0 in x.re 7.060 * [backup-simplify]: Simplify 0 into 0 7.060 * [backup-simplify]: Simplify 0 into 0 7.061 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.061 * [backup-simplify]: Simplify 0 into 0 7.062 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 7.062 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 7.062 * [taylor]: Taking taylor expansion of 0 in x.re 7.062 * [backup-simplify]: Simplify 0 into 0 7.062 * [backup-simplify]: Simplify 0 into 0 7.062 * [backup-simplify]: Simplify 0 into 0 7.062 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.063 * [backup-simplify]: Simplify 0 into 0 7.063 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 (- x.re))) (/ 1 (/ 1 (- x.im))))) into (* 3 (* x.im x.re)) 7.063 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 7.063 * [backup-simplify]: Simplify (* x.im (* 3 (* x.im x.re))) into (* 3 (* (pow x.im 2) x.re)) 7.063 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 7.063 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 7.063 * [taylor]: Taking taylor expansion of 3 in x.re 7.063 * [backup-simplify]: Simplify 3 into 3 7.063 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 7.063 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 7.063 * [taylor]: Taking taylor expansion of x.im in x.re 7.063 * [backup-simplify]: Simplify x.im into x.im 7.063 * [taylor]: Taking taylor expansion of x.re in x.re 7.063 * [backup-simplify]: Simplify 0 into 0 7.063 * [backup-simplify]: Simplify 1 into 1 7.063 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 7.063 * [taylor]: Taking taylor expansion of 3 in x.im 7.063 * [backup-simplify]: Simplify 3 into 3 7.063 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 7.063 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 7.063 * [taylor]: Taking taylor expansion of x.im in x.im 7.063 * [backup-simplify]: Simplify 0 into 0 7.063 * [backup-simplify]: Simplify 1 into 1 7.063 * [taylor]: Taking taylor expansion of x.re in x.im 7.063 * [backup-simplify]: Simplify x.re into x.re 7.063 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 7.063 * [taylor]: Taking taylor expansion of 3 in x.im 7.063 * [backup-simplify]: Simplify 3 into 3 7.063 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 7.063 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 7.063 * [taylor]: Taking taylor expansion of x.im in x.im 7.063 * [backup-simplify]: Simplify 0 into 0 7.063 * [backup-simplify]: Simplify 1 into 1 7.063 * [taylor]: Taking taylor expansion of x.re in x.im 7.063 * [backup-simplify]: Simplify x.re into x.re 7.064 * [backup-simplify]: Simplify (* 1 1) into 1 7.064 * [backup-simplify]: Simplify (* 1 x.re) into x.re 7.064 * [backup-simplify]: Simplify (* 3 x.re) into (* 3 x.re) 7.064 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 7.064 * [taylor]: Taking taylor expansion of 3 in x.re 7.064 * [backup-simplify]: Simplify 3 into 3 7.064 * [taylor]: Taking taylor expansion of x.re in x.re 7.064 * [backup-simplify]: Simplify 0 into 0 7.064 * [backup-simplify]: Simplify 1 into 1 7.064 * [backup-simplify]: Simplify (* 3 0) into 0 7.064 * [backup-simplify]: Simplify 0 into 0 7.064 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.065 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 7.065 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.re)) into 0 7.065 * [taylor]: Taking taylor expansion of 0 in x.re 7.065 * [backup-simplify]: Simplify 0 into 0 7.065 * [backup-simplify]: Simplify 0 into 0 7.066 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 7.066 * [backup-simplify]: Simplify 3 into 3 7.066 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 7.067 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.re))) into 0 7.067 * [taylor]: Taking taylor expansion of 0 in x.re 7.067 * [backup-simplify]: Simplify 0 into 0 7.067 * [backup-simplify]: Simplify 0 into 0 7.067 * [backup-simplify]: Simplify 0 into 0 7.068 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 7.068 * [backup-simplify]: Simplify 0 into 0 7.068 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.069 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 7.070 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 7.070 * [taylor]: Taking taylor expansion of 0 in x.re 7.070 * [backup-simplify]: Simplify 0 into 0 7.070 * [backup-simplify]: Simplify 0 into 0 7.070 * [backup-simplify]: Simplify 0 into 0 7.070 * [backup-simplify]: Simplify 0 into 0 7.070 * [backup-simplify]: Simplify (* 3 (* x.re (pow x.im 2))) into (* 3 (* (pow x.im 2) x.re)) 7.070 * [backup-simplify]: Simplify (* (/ 1 x.im) (* 3 (* (/ 1 x.im) (/ 1 x.re)))) into (/ 3 (* (pow x.im 2) x.re)) 7.070 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 7.070 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 7.070 * [taylor]: Taking taylor expansion of 3 in x.re 7.070 * [backup-simplify]: Simplify 3 into 3 7.070 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 7.070 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 7.070 * [taylor]: Taking taylor expansion of x.im in x.re 7.070 * [backup-simplify]: Simplify x.im into x.im 7.070 * [taylor]: Taking taylor expansion of x.re in x.re 7.070 * [backup-simplify]: Simplify 0 into 0 7.071 * [backup-simplify]: Simplify 1 into 1 7.071 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 7.071 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 7.071 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 7.071 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 7.071 * [backup-simplify]: Simplify (/ 3 (pow x.im 2)) into (/ 3 (pow x.im 2)) 7.071 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 7.071 * [taylor]: Taking taylor expansion of 3 in x.im 7.071 * [backup-simplify]: Simplify 3 into 3 7.071 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 7.071 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 7.071 * [taylor]: Taking taylor expansion of x.im in x.im 7.071 * [backup-simplify]: Simplify 0 into 0 7.071 * [backup-simplify]: Simplify 1 into 1 7.071 * [taylor]: Taking taylor expansion of x.re in x.im 7.071 * [backup-simplify]: Simplify x.re into x.re 7.072 * [backup-simplify]: Simplify (* 1 1) into 1 7.072 * [backup-simplify]: Simplify (* 1 x.re) into x.re 7.072 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 7.072 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 7.072 * [taylor]: Taking taylor expansion of 3 in x.im 7.072 * [backup-simplify]: Simplify 3 into 3 7.072 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 7.072 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 7.072 * [taylor]: Taking taylor expansion of x.im in x.im 7.072 * [backup-simplify]: Simplify 0 into 0 7.072 * [backup-simplify]: Simplify 1 into 1 7.072 * [taylor]: Taking taylor expansion of x.re in x.im 7.072 * [backup-simplify]: Simplify x.re into x.re 7.072 * [backup-simplify]: Simplify (* 1 1) into 1 7.072 * [backup-simplify]: Simplify (* 1 x.re) into x.re 7.072 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 7.072 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 7.073 * [taylor]: Taking taylor expansion of 3 in x.re 7.073 * [backup-simplify]: Simplify 3 into 3 7.073 * [taylor]: Taking taylor expansion of x.re in x.re 7.073 * [backup-simplify]: Simplify 0 into 0 7.073 * [backup-simplify]: Simplify 1 into 1 7.073 * [backup-simplify]: Simplify (/ 3 1) into 3 7.073 * [backup-simplify]: Simplify 3 into 3 7.074 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.074 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 7.075 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 7.075 * [taylor]: Taking taylor expansion of 0 in x.re 7.075 * [backup-simplify]: Simplify 0 into 0 7.075 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 7.075 * [backup-simplify]: Simplify 0 into 0 7.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.077 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 7.077 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 7.077 * [taylor]: Taking taylor expansion of 0 in x.re 7.077 * [backup-simplify]: Simplify 0 into 0 7.077 * [backup-simplify]: Simplify 0 into 0 7.078 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.078 * [backup-simplify]: Simplify 0 into 0 7.079 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 7.081 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 7.081 * [taylor]: Taking taylor expansion of 0 in x.re 7.081 * [backup-simplify]: Simplify 0 into 0 7.081 * [backup-simplify]: Simplify 0 into 0 7.081 * [backup-simplify]: Simplify 0 into 0 7.082 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.082 * [backup-simplify]: Simplify 0 into 0 7.082 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* 3 (* (pow x.im 2) x.re)) 7.082 * [backup-simplify]: Simplify (* (/ 1 (- x.im)) (* 3 (* (/ 1 (- x.im)) (/ 1 (- x.re))))) into (/ -3 (* (pow x.im 2) x.re)) 7.083 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 7.083 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 7.083 * [taylor]: Taking taylor expansion of -3 in x.re 7.083 * [backup-simplify]: Simplify -3 into -3 7.083 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 7.083 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 7.083 * [taylor]: Taking taylor expansion of x.im in x.re 7.083 * [backup-simplify]: Simplify x.im into x.im 7.083 * [taylor]: Taking taylor expansion of x.re in x.re 7.083 * [backup-simplify]: Simplify 0 into 0 7.083 * [backup-simplify]: Simplify 1 into 1 7.083 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 7.083 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 7.083 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 7.084 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 7.084 * [backup-simplify]: Simplify (/ -3 (pow x.im 2)) into (/ -3 (pow x.im 2)) 7.084 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 7.084 * [taylor]: Taking taylor expansion of -3 in x.im 7.084 * [backup-simplify]: Simplify -3 into -3 7.084 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 7.084 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 7.084 * [taylor]: Taking taylor expansion of x.im in x.im 7.084 * [backup-simplify]: Simplify 0 into 0 7.084 * [backup-simplify]: Simplify 1 into 1 7.084 * [taylor]: Taking taylor expansion of x.re in x.im 7.084 * [backup-simplify]: Simplify x.re into x.re 7.085 * [backup-simplify]: Simplify (* 1 1) into 1 7.085 * [backup-simplify]: Simplify (* 1 x.re) into x.re 7.085 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 7.085 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 7.085 * [taylor]: Taking taylor expansion of -3 in x.im 7.085 * [backup-simplify]: Simplify -3 into -3 7.085 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 7.085 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 7.085 * [taylor]: Taking taylor expansion of x.im in x.im 7.085 * [backup-simplify]: Simplify 0 into 0 7.085 * [backup-simplify]: Simplify 1 into 1 7.085 * [taylor]: Taking taylor expansion of x.re in x.im 7.085 * [backup-simplify]: Simplify x.re into x.re 7.085 * [backup-simplify]: Simplify (* 1 1) into 1 7.085 * [backup-simplify]: Simplify (* 1 x.re) into x.re 7.085 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 7.086 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re 7.086 * [taylor]: Taking taylor expansion of -3 in x.re 7.086 * [backup-simplify]: Simplify -3 into -3 7.086 * [taylor]: Taking taylor expansion of x.re in x.re 7.086 * [backup-simplify]: Simplify 0 into 0 7.086 * [backup-simplify]: Simplify 1 into 1 7.086 * [backup-simplify]: Simplify (/ -3 1) into -3 7.086 * [backup-simplify]: Simplify -3 into -3 7.087 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.087 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 7.088 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0 7.088 * [taylor]: Taking taylor expansion of 0 in x.re 7.088 * [backup-simplify]: Simplify 0 into 0 7.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0 7.089 * [backup-simplify]: Simplify 0 into 0 7.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 7.091 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 7.091 * [taylor]: Taking taylor expansion of 0 in x.re 7.091 * [backup-simplify]: Simplify 0 into 0 7.091 * [backup-simplify]: Simplify 0 into 0 7.092 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.092 * [backup-simplify]: Simplify 0 into 0 7.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 7.094 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 7.095 * [taylor]: Taking taylor expansion of 0 in x.re 7.095 * [backup-simplify]: Simplify 0 into 0 7.095 * [backup-simplify]: Simplify 0 into 0 7.095 * [backup-simplify]: Simplify 0 into 0 7.096 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.096 * [backup-simplify]: Simplify 0 into 0 7.097 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* 3 (* (pow x.im 2) x.re)) 7.097 * * * [progress]: simplifying candidates 7.098 * [simplify]: Simplifying: (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (+ (log 3) (+ (log x.im) (log x.re))) (+ (log 3) (log (* x.im x.re))) (log (* 3 (* x.im x.re))) (exp (* 3 (* x.im x.re))) (* (* (* 3 3) 3) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re))) (* (* (* 3 3) 3) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* (cbrt (* 3 (* x.im x.re))) (cbrt (* 3 (* x.im x.re)))) (cbrt (* 3 (* x.im x.re))) (* (* (* 3 (* x.im x.re)) (* 3 (* x.im x.re))) (* 3 (* x.im x.re))) (sqrt (* 3 (* x.im x.re))) (sqrt (* 3 (* x.im x.re))) (* 3 x.im) (* (cbrt 3) (* x.im x.re)) (* (sqrt 3) (* x.im x.re)) (* 3 (* x.im x.re)) (* x.im (* 3 (* x.im x.re))) (* x.im (* 3 (* x.im x.re))) (* x.im (* 3 (* x.im x.re))) (+ (log x.im) (+ (log 3) (+ (log x.im) (log x.re)))) (+ (log x.im) (+ (log 3) (log (* x.im x.re)))) (+ (log x.im) (log (* 3 (* x.im x.re)))) (log (* x.im (* 3 (* x.im x.re)))) (exp (* x.im (* 3 (* x.im x.re)))) (* (* (* x.im x.im) x.im) (* (* (* 3 3) 3) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re)))) (* (* (* x.im x.im) x.im) (* (* (* 3 3) 3) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re)))) (* (* (* x.im x.im) x.im) (* (* (* 3 (* x.im x.re)) (* 3 (* x.im x.re))) (* 3 (* x.im x.re)))) (* (cbrt (* x.im (* 3 (* x.im x.re)))) (cbrt (* x.im (* 3 (* x.im x.re))))) (cbrt (* x.im (* 3 (* x.im x.re)))) (* (* (* x.im (* 3 (* x.im x.re))) (* x.im (* 3 (* x.im x.re)))) (* x.im (* 3 (* x.im x.re)))) (sqrt (* x.im (* 3 (* x.im x.re)))) (sqrt (* x.im (* 3 (* x.im x.re)))) (* x.im 3) (* (cbrt x.im) (* 3 (* x.im x.re))) (* (sqrt x.im) (* 3 (* x.im x.re))) (* x.im (* 3 (* x.im x.re))) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) 7.100 * * [simplify]: Extracting # 0 : cost 0 7.100 * * [simplify]: Extracting # 1 : cost 0 7.100 * * [simplify]: Extracting # 2 : cost 0 7.100 * * [simplify]: Extracting # 3 : cost 0 7.100 * * [simplify]: Extracting # 4 : cost 0 7.100 * * [simplify]: Extracting # 5 : cost 0 7.101 * * [simplify]: Extracting # 6 : cost 0 7.101 * * [simplify]: Extracting # 7 : cost 0 7.101 * * [simplify]: iteration 0 : 58 enodes (cost 401 ) 7.128 * * [simplify]: Extracting # 0 : cost 0 7.129 * * [simplify]: Extracting # 1 : cost 0 7.129 * * [simplify]: Extracting # 2 : cost 0 7.130 * * [simplify]: Extracting # 3 : cost 0 7.130 * * [simplify]: Extracting # 4 : cost 0 7.130 * * [simplify]: iteration 1 : 155 enodes (cost 370 ) 7.296 * * [simplify]: Extracting # 0 : cost 0 7.298 * * [simplify]: Extracting # 1 : cost 0 7.300 * * [simplify]: Extracting # 2 : cost 0 7.301 * * [simplify]: Extracting # 3 : cost 0 7.303 * * [simplify]: Extracting # 4 : cost 0 7.305 * * [simplify]: iteration 2 : 808 enodes (cost 316 ) 7.831 * * [simplify]: Extracting # 0 : cost 0 7.844 * * [simplify]: Extracting # 1 : cost 0 7.851 * * [simplify]: Extracting # 2 : cost 0 7.858 * * [simplify]: Extracting # 3 : cost 0 7.871 * * [simplify]: Extracting # 4 : cost 0 7.884 * * [simplify]: iteration done: 5001 enodes (cost 306 ) 7.884 * [simplify]: Simplified to: (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (log (* 3 (* x.im x.re))) (log (* 3 (* x.im x.re))) (log (* 3 (* x.im x.re))) (exp (* 3 (* x.im x.re))) (* 27 (pow (* x.im x.re) 3)) (* 27 (pow (* x.im x.re) 3)) (* (cbrt (* 3 (* x.im x.re))) (cbrt (* 3 (* x.im x.re)))) (cbrt (* 3 (* x.im x.re))) (* 27 (pow (* x.im x.re) 3)) (sqrt (* 3 (* x.im x.re))) (sqrt (* 3 (* x.im x.re))) (* x.im 3) (* (cbrt 3) (* x.im x.re)) (* (sqrt 3) (* x.im x.re)) (* 3 (* x.im x.re)) (* x.im (* 3 (* x.im x.re))) (* x.im (* 3 (* x.im x.re))) (* x.im (* 3 (* x.im x.re))) (log (* x.im (* 3 (* x.im x.re)))) (log (* x.im (* 3 (* x.im x.re)))) (log (* x.im (* 3 (* x.im x.re)))) (log (* x.im (* 3 (* x.im x.re)))) (exp (* x.im (* 3 (* x.im x.re)))) (pow (* x.im (* 3 (* x.im x.re))) 3) (pow (* x.im (* 3 (* x.im x.re))) 3) (pow (* x.im (* 3 (* x.im x.re))) 3) (* (cbrt (* x.im (* 3 (* x.im x.re)))) (cbrt (* x.im (* 3 (* x.im x.re))))) (cbrt (* x.im (* 3 (* x.im x.re)))) (pow (* x.im (* 3 (* x.im x.re))) 3) (sqrt (* x.im (* 3 (* x.im x.re)))) (sqrt (* x.im (* 3 (* x.im x.re)))) (* x.im 3) (* (cbrt x.im) (* 3 (* x.im x.re))) (* (sqrt x.im) (* 3 (* x.im x.re))) (* x.im (* 3 (* x.im x.re))) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) 7.884 * * * [progress]: adding candidates to table 8.001 * [progress]: [Phase 3 of 3] Extracting. 8.002 * * [regime]: Finding splitpoints for: (# # # # # # #) 8.003 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re) 8.003 * * * * [regimes]: Trying to branch on x.im from (# # # # # # #) 8.073 * * * * [regimes]: Trying to branch on x.re from (# # # # # # #) 8.132 * * * [regime]: Found split indices: #