37.580 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [progress]: [2/2] Setting up program. 0.041 * [progress]: [Phase 2 of 3] Improving. 0.041 * [simplify]: Simplifying: (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) 0.042 * * [simplify]: Extracting # 0 : cost 0 0.042 * * [simplify]: Extracting # 1 : cost 0 0.042 * * [simplify]: Extracting # 2 : cost 0 0.042 * * [simplify]: Extracting # 3 : cost 0 0.042 * * [simplify]: Extracting # 4 : cost 0 0.042 * * [simplify]: Extracting # 5 : cost 0 0.042 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 0.046 * * [simplify]: Extracting # 0 : cost 0 0.046 * * [simplify]: Extracting # 1 : cost 0 0.046 * * [simplify]: Extracting # 2 : cost 0 0.047 * * [simplify]: iteration 1 : 20 enodes (cost 19 ) 0.054 * * [simplify]: Extracting # 0 : cost 0 0.055 * * [simplify]: Extracting # 1 : cost 0 0.055 * * [simplify]: Extracting # 2 : cost 0 0.055 * * [simplify]: Extracting # 3 : cost 0 0.055 * * [simplify]: iteration 2 : 51 enodes (cost 17 ) 0.083 * * [simplify]: Extracting # 0 : cost 0 0.083 * * [simplify]: Extracting # 1 : cost 0 0.083 * * [simplify]: Extracting # 2 : cost 0 0.084 * * [simplify]: iteration 3 : 127 enodes (cost 17 ) 0.127 * * [simplify]: Extracting # 0 : cost 0 0.127 * * [simplify]: Extracting # 1 : cost 0 0.128 * * [simplify]: Extracting # 2 : cost 0 0.128 * * [simplify]: Extracting # 3 : cost 0 0.128 * * [simplify]: Extracting # 4 : cost 0 0.128 * * [simplify]: iteration 4 : 329 enodes (cost 13 ) 0.752 * * [simplify]: Extracting # 0 : cost 0 0.754 * * [simplify]: Extracting # 1 : cost 0 0.756 * * [simplify]: Extracting # 2 : cost 0 0.758 * * [simplify]: Extracting # 3 : cost 0 0.759 * * [simplify]: Extracting # 4 : cost 0 0.760 * * [simplify]: iteration 5 : 1088 enodes (cost 11 ) 2.198 * * [simplify]: Extracting # 0 : cost 0 2.224 * * [simplify]: Extracting # 1 : cost 0 2.229 * * [simplify]: Extracting # 2 : cost 0 2.233 * * [simplify]: Extracting # 3 : cost 0 2.238 * * [simplify]: Extracting # 4 : cost 0 2.242 * * [simplify]: iteration 6 : 4916 enodes (cost 11 ) 4.221 * * [simplify]: Extracting # 0 : cost 0 4.229 * * [simplify]: Extracting # 1 : cost 0 4.239 * * [simplify]: Extracting # 2 : cost 0 4.247 * * [simplify]: Extracting # 3 : cost 0 4.256 * * [simplify]: Extracting # 4 : cost 0 4.266 * * [simplify]: iteration done: 5001 enodes (cost 11 ) 4.266 * [simplify]: Simplified to: (- (* (* 3 x.re) (* x.im x.re)) (pow x.im 3)) 4.272 * * [progress]: iteration 1 / 4 4.272 * * * [progress]: picking best candidate 4.278 * * * * [pick]: Picked # 4.278 * * * [progress]: localizing error 4.305 * * * [progress]: generating rewritten candidates 4.305 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 4.345 * * * [progress]: generating series expansions 4.345 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 4.345 * [backup-simplify]: Simplify (* (* 3 x.re) (* x.im x.re)) into (* 3 (* x.im (pow x.re 2))) 4.345 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 4.345 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 4.345 * [taylor]: Taking taylor expansion of 3 in x.im 4.345 * [backup-simplify]: Simplify 3 into 3 4.345 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.345 * [taylor]: Taking taylor expansion of x.im in x.im 4.345 * [backup-simplify]: Simplify 0 into 0 4.345 * [backup-simplify]: Simplify 1 into 1 4.345 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.345 * [taylor]: Taking taylor expansion of x.re in x.im 4.345 * [backup-simplify]: Simplify x.re into x.re 4.346 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 4.346 * [taylor]: Taking taylor expansion of 3 in x.re 4.346 * [backup-simplify]: Simplify 3 into 3 4.346 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.346 * [taylor]: Taking taylor expansion of x.im in x.re 4.346 * [backup-simplify]: Simplify x.im into x.im 4.346 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.346 * [taylor]: Taking taylor expansion of x.re in x.re 4.346 * [backup-simplify]: Simplify 0 into 0 4.346 * [backup-simplify]: Simplify 1 into 1 4.346 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 4.346 * [taylor]: Taking taylor expansion of 3 in x.re 4.346 * [backup-simplify]: Simplify 3 into 3 4.346 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.346 * [taylor]: Taking taylor expansion of x.im in x.re 4.346 * [backup-simplify]: Simplify x.im into x.im 4.346 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.346 * [taylor]: Taking taylor expansion of x.re in x.re 4.346 * [backup-simplify]: Simplify 0 into 0 4.346 * [backup-simplify]: Simplify 1 into 1 4.347 * [backup-simplify]: Simplify (* 1 1) into 1 4.347 * [backup-simplify]: Simplify (* x.im 1) into x.im 4.347 * [backup-simplify]: Simplify (* 3 x.im) into (* 3 x.im) 4.347 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 4.347 * [taylor]: Taking taylor expansion of 3 in x.im 4.347 * [backup-simplify]: Simplify 3 into 3 4.347 * [taylor]: Taking taylor expansion of x.im in x.im 4.347 * [backup-simplify]: Simplify 0 into 0 4.347 * [backup-simplify]: Simplify 1 into 1 4.347 * [backup-simplify]: Simplify (* 3 0) into 0 4.347 * [backup-simplify]: Simplify 0 into 0 4.347 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.348 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0 4.348 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.im)) into 0 4.348 * [taylor]: Taking taylor expansion of 0 in x.im 4.348 * [backup-simplify]: Simplify 0 into 0 4.348 * [backup-simplify]: Simplify 0 into 0 4.349 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 4.349 * [backup-simplify]: Simplify 3 into 3 4.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.350 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0 4.350 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.im))) into 0 4.350 * [taylor]: Taking taylor expansion of 0 in x.im 4.350 * [backup-simplify]: Simplify 0 into 0 4.350 * [backup-simplify]: Simplify 0 into 0 4.350 * [backup-simplify]: Simplify 0 into 0 4.351 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 4.351 * [backup-simplify]: Simplify 0 into 0 4.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.352 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.352 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.im)))) into 0 4.353 * [taylor]: Taking taylor expansion of 0 in x.im 4.353 * [backup-simplify]: Simplify 0 into 0 4.353 * [backup-simplify]: Simplify 0 into 0 4.353 * [backup-simplify]: Simplify 0 into 0 4.353 * [backup-simplify]: Simplify 0 into 0 4.353 * [backup-simplify]: Simplify (* 3 (* x.im (pow x.re 2))) into (* 3 (* x.im (pow x.re 2))) 4.353 * [backup-simplify]: Simplify (* (* 3 (/ 1 x.re)) (* (/ 1 x.im) (/ 1 x.re))) into (/ 3 (* x.im (pow x.re 2))) 4.353 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 4.353 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 4.353 * [taylor]: Taking taylor expansion of 3 in x.im 4.353 * [backup-simplify]: Simplify 3 into 3 4.353 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.353 * [taylor]: Taking taylor expansion of x.im in x.im 4.353 * [backup-simplify]: Simplify 0 into 0 4.353 * [backup-simplify]: Simplify 1 into 1 4.353 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.353 * [taylor]: Taking taylor expansion of x.re in x.im 4.353 * [backup-simplify]: Simplify x.re into x.re 4.353 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2) 4.353 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0 4.353 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0 4.354 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2) 4.354 * [backup-simplify]: Simplify (/ 3 (pow x.re 2)) into (/ 3 (pow x.re 2)) 4.354 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 4.354 * [taylor]: Taking taylor expansion of 3 in x.re 4.354 * [backup-simplify]: Simplify 3 into 3 4.354 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.354 * [taylor]: Taking taylor expansion of x.im in x.re 4.354 * [backup-simplify]: Simplify x.im into x.im 4.354 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.354 * [taylor]: Taking taylor expansion of x.re in x.re 4.354 * [backup-simplify]: Simplify 0 into 0 4.354 * [backup-simplify]: Simplify 1 into 1 4.354 * [backup-simplify]: Simplify (* 1 1) into 1 4.354 * [backup-simplify]: Simplify (* x.im 1) into x.im 4.354 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 4.354 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 4.354 * [taylor]: Taking taylor expansion of 3 in x.re 4.354 * [backup-simplify]: Simplify 3 into 3 4.354 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.354 * [taylor]: Taking taylor expansion of x.im in x.re 4.354 * [backup-simplify]: Simplify x.im into x.im 4.354 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.354 * [taylor]: Taking taylor expansion of x.re in x.re 4.354 * [backup-simplify]: Simplify 0 into 0 4.354 * [backup-simplify]: Simplify 1 into 1 4.355 * [backup-simplify]: Simplify (* 1 1) into 1 4.355 * [backup-simplify]: Simplify (* x.im 1) into x.im 4.355 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 4.355 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 4.355 * [taylor]: Taking taylor expansion of 3 in x.im 4.355 * [backup-simplify]: Simplify 3 into 3 4.355 * [taylor]: Taking taylor expansion of x.im in x.im 4.355 * [backup-simplify]: Simplify 0 into 0 4.355 * [backup-simplify]: Simplify 1 into 1 4.355 * [backup-simplify]: Simplify (/ 3 1) into 3 4.355 * [backup-simplify]: Simplify 3 into 3 4.355 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.356 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0 4.356 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)))) into 0 4.356 * [taylor]: Taking taylor expansion of 0 in x.im 4.356 * [backup-simplify]: Simplify 0 into 0 4.356 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 4.356 * [backup-simplify]: Simplify 0 into 0 4.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.357 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0 4.357 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 4.357 * [taylor]: Taking taylor expansion of 0 in x.im 4.358 * [backup-simplify]: Simplify 0 into 0 4.358 * [backup-simplify]: Simplify 0 into 0 4.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.358 * [backup-simplify]: Simplify 0 into 0 4.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.359 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.359 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 4.359 * [taylor]: Taking taylor expansion of 0 in x.im 4.359 * [backup-simplify]: Simplify 0 into 0 4.359 * [backup-simplify]: Simplify 0 into 0 4.359 * [backup-simplify]: Simplify 0 into 0 4.360 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.360 * [backup-simplify]: Simplify 0 into 0 4.360 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.im)) (pow (/ 1 x.re) -2))) into (* 3 (* x.im (pow x.re 2))) 4.361 * [backup-simplify]: Simplify (* (* 3 (/ 1 (- x.re))) (* (/ 1 (- x.im)) (/ 1 (- x.re)))) into (/ -3 (* x.im (pow x.re 2))) 4.361 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 4.361 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 4.361 * [taylor]: Taking taylor expansion of -3 in x.im 4.361 * [backup-simplify]: Simplify -3 into -3 4.361 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 4.361 * [taylor]: Taking taylor expansion of x.im in x.im 4.361 * [backup-simplify]: Simplify 0 into 0 4.361 * [backup-simplify]: Simplify 1 into 1 4.361 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 4.361 * [taylor]: Taking taylor expansion of x.re in x.im 4.361 * [backup-simplify]: Simplify x.re into x.re 4.361 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2) 4.361 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0 4.361 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0 4.361 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2) 4.361 * [backup-simplify]: Simplify (/ -3 (pow x.re 2)) into (/ -3 (pow x.re 2)) 4.361 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 4.362 * [taylor]: Taking taylor expansion of -3 in x.re 4.362 * [backup-simplify]: Simplify -3 into -3 4.362 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.362 * [taylor]: Taking taylor expansion of x.im in x.re 4.362 * [backup-simplify]: Simplify x.im into x.im 4.362 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.362 * [taylor]: Taking taylor expansion of x.re in x.re 4.362 * [backup-simplify]: Simplify 0 into 0 4.362 * [backup-simplify]: Simplify 1 into 1 4.362 * [backup-simplify]: Simplify (* 1 1) into 1 4.362 * [backup-simplify]: Simplify (* x.im 1) into x.im 4.362 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im) 4.362 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 4.362 * [taylor]: Taking taylor expansion of -3 in x.re 4.362 * [backup-simplify]: Simplify -3 into -3 4.362 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 4.362 * [taylor]: Taking taylor expansion of x.im in x.re 4.362 * [backup-simplify]: Simplify x.im into x.im 4.362 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 4.362 * [taylor]: Taking taylor expansion of x.re in x.re 4.362 * [backup-simplify]: Simplify 0 into 0 4.362 * [backup-simplify]: Simplify 1 into 1 4.362 * [backup-simplify]: Simplify (* 1 1) into 1 4.362 * [backup-simplify]: Simplify (* x.im 1) into x.im 4.362 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im) 4.362 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 4.363 * [taylor]: Taking taylor expansion of -3 in x.im 4.363 * [backup-simplify]: Simplify -3 into -3 4.363 * [taylor]: Taking taylor expansion of x.im in x.im 4.363 * [backup-simplify]: Simplify 0 into 0 4.363 * [backup-simplify]: Simplify 1 into 1 4.363 * [backup-simplify]: Simplify (/ -3 1) into -3 4.363 * [backup-simplify]: Simplify -3 into -3 4.363 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.364 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0 4.364 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)))) into 0 4.364 * [taylor]: Taking taylor expansion of 0 in x.im 4.364 * [backup-simplify]: Simplify 0 into 0 4.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0 4.364 * [backup-simplify]: Simplify 0 into 0 4.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.365 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0 4.365 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 4.365 * [taylor]: Taking taylor expansion of 0 in x.im 4.365 * [backup-simplify]: Simplify 0 into 0 4.365 * [backup-simplify]: Simplify 0 into 0 4.366 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.366 * [backup-simplify]: Simplify 0 into 0 4.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.367 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.367 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 4.367 * [taylor]: Taking taylor expansion of 0 in x.im 4.367 * [backup-simplify]: Simplify 0 into 0 4.367 * [backup-simplify]: Simplify 0 into 0 4.367 * [backup-simplify]: Simplify 0 into 0 4.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.368 * [backup-simplify]: Simplify 0 into 0 4.368 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.im))) (pow (/ 1 (- x.re)) -2))) into (* 3 (* x.im (pow x.re 2))) 4.368 * * * [progress]: simplifying candidates 4.369 * [simplify]: Simplifying: (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re)) (+ (+ (log 3) (log x.re)) (+ (log x.im) (log x.re))) (+ (+ (log 3) (log x.re)) (log (* x.im x.re))) (+ (log (* 3 x.re)) (+ (log x.im) (log x.re))) (+ (log (* 3 x.re)) (log (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (exp (* (* 3 x.re) (* x.im x.re))) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re))) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re))) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (cbrt (* (* 3 x.re) (* x.im x.re))) (* (* (* (* 3 x.re) (* x.im x.re)) (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) (* x.im x.re))) (sqrt (* (* 3 x.re) (* x.im x.re))) (sqrt (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) x.im) (* x.re (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) 4.369 * * [simplify]: Extracting # 0 : cost 0 4.369 * * [simplify]: Extracting # 1 : cost 0 4.369 * * [simplify]: Extracting # 2 : cost 0 4.369 * * [simplify]: Extracting # 3 : cost 0 4.369 * * [simplify]: Extracting # 4 : cost 0 4.369 * * [simplify]: Extracting # 5 : cost 0 4.369 * * [simplify]: Extracting # 6 : cost 0 4.369 * * [simplify]: Extracting # 7 : cost 0 4.369 * * [simplify]: iteration 0 : 46 enodes (cost 271 ) 4.385 * * [simplify]: Extracting # 0 : cost 0 4.385 * * [simplify]: Extracting # 1 : cost 0 4.386 * * [simplify]: Extracting # 2 : cost 0 4.386 * * [simplify]: Extracting # 3 : cost 0 4.386 * * [simplify]: iteration 1 : 133 enodes (cost 249 ) 4.492 * * [simplify]: Extracting # 0 : cost 0 4.493 * * [simplify]: Extracting # 1 : cost 0 4.493 * * [simplify]: Extracting # 2 : cost 0 4.494 * * [simplify]: Extracting # 3 : cost 0 4.495 * * [simplify]: Extracting # 4 : cost 0 4.496 * * [simplify]: iteration 2 : 734 enodes (cost 197 ) 5.089 * * [simplify]: Extracting # 0 : cost 0 5.101 * * [simplify]: Extracting # 1 : cost 0 5.114 * * [simplify]: Extracting # 2 : cost 0 5.133 * * [simplify]: Extracting # 3 : cost 0 5.145 * * [simplify]: Extracting # 4 : cost 0 5.157 * * [simplify]: iteration done: 5001 enodes (cost 193 ) 5.157 * [simplify]: Simplified to: (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (log (* (* 3 x.re) (* x.im x.re))) (exp (* (* 3 x.re) (* x.im x.re))) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (pow (* 3 (* x.im (pow x.re 2))) 3) (* (cbrt (* (* 3 x.re) (* x.im x.re))) (cbrt (* (* 3 x.re) (* x.im x.re)))) (cbrt (* (* 3 x.re) (* x.im x.re))) (pow (* 3 (* x.im (pow x.re 2))) 3) (sqrt (* (* 3 x.re) (* x.im x.re))) (sqrt (* (* 3 x.re) (* x.im x.re))) (* (* 3 x.re) x.im) (* x.re (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) 5.158 * * * [progress]: adding candidates to table 5.224 * * [progress]: iteration 2 / 4 5.224 * * * [progress]: picking best candidate 5.239 * * * * [pick]: Picked # 5.239 * * * [progress]: localizing error 5.257 * * * [progress]: generating rewritten candidates 5.257 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 5.293 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 5.380 * * * [progress]: generating series expansions 5.381 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 5.381 * [backup-simplify]: Simplify (* (* 3 x.re) x.im) into (* 3 (* x.im x.re)) 5.381 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.re x.im) around 0 5.381 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 5.381 * [taylor]: Taking taylor expansion of 3 in x.im 5.381 * [backup-simplify]: Simplify 3 into 3 5.381 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.381 * [taylor]: Taking taylor expansion of x.im in x.im 5.381 * [backup-simplify]: Simplify 0 into 0 5.381 * [backup-simplify]: Simplify 1 into 1 5.381 * [taylor]: Taking taylor expansion of x.re in x.im 5.381 * [backup-simplify]: Simplify x.re into x.re 5.381 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 5.381 * [taylor]: Taking taylor expansion of 3 in x.re 5.381 * [backup-simplify]: Simplify 3 into 3 5.381 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.381 * [taylor]: Taking taylor expansion of x.im in x.re 5.381 * [backup-simplify]: Simplify x.im into x.im 5.381 * [taylor]: Taking taylor expansion of x.re in x.re 5.381 * [backup-simplify]: Simplify 0 into 0 5.381 * [backup-simplify]: Simplify 1 into 1 5.381 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 5.381 * [taylor]: Taking taylor expansion of 3 in x.re 5.381 * [backup-simplify]: Simplify 3 into 3 5.381 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.381 * [taylor]: Taking taylor expansion of x.im in x.re 5.381 * [backup-simplify]: Simplify x.im into x.im 5.381 * [taylor]: Taking taylor expansion of x.re in x.re 5.381 * [backup-simplify]: Simplify 0 into 0 5.381 * [backup-simplify]: Simplify 1 into 1 5.382 * [backup-simplify]: Simplify (* x.im 0) into 0 5.382 * [backup-simplify]: Simplify (* 3 0) into 0 5.382 * [taylor]: Taking taylor expansion of 0 in x.im 5.382 * [backup-simplify]: Simplify 0 into 0 5.382 * [backup-simplify]: Simplify 0 into 0 5.383 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 5.383 * [backup-simplify]: Simplify (+ (* 3 x.im) (* 0 0)) into (* 3 x.im) 5.384 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 5.384 * [taylor]: Taking taylor expansion of 3 in x.im 5.384 * [backup-simplify]: Simplify 3 into 3 5.384 * [taylor]: Taking taylor expansion of x.im in x.im 5.384 * [backup-simplify]: Simplify 0 into 0 5.384 * [backup-simplify]: Simplify 1 into 1 5.384 * [backup-simplify]: Simplify (* 3 0) into 0 5.384 * [backup-simplify]: Simplify 0 into 0 5.384 * [backup-simplify]: Simplify 0 into 0 5.385 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 1) (* 0 0))) into 0 5.386 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 x.im) (* 0 0))) into 0 5.386 * [taylor]: Taking taylor expansion of 0 in x.im 5.386 * [backup-simplify]: Simplify 0 into 0 5.386 * [backup-simplify]: Simplify 0 into 0 5.386 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 5.386 * [backup-simplify]: Simplify 3 into 3 5.387 * [backup-simplify]: Simplify 0 into 0 5.387 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.388 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 x.im) (* 0 0)))) into 0 5.388 * [taylor]: Taking taylor expansion of 0 in x.im 5.388 * [backup-simplify]: Simplify 0 into 0 5.388 * [backup-simplify]: Simplify 0 into 0 5.388 * [backup-simplify]: Simplify 0 into 0 5.389 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 5.389 * [backup-simplify]: Simplify 0 into 0 5.389 * [backup-simplify]: Simplify 0 into 0 5.390 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.390 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 x.im) (* 0 0))))) into 0 5.390 * [taylor]: Taking taylor expansion of 0 in x.im 5.390 * [backup-simplify]: Simplify 0 into 0 5.390 * [backup-simplify]: Simplify 0 into 0 5.391 * [backup-simplify]: Simplify (* 3 (* x.im x.re)) into (* 3 (* x.im x.re)) 5.391 * [backup-simplify]: Simplify (* (* 3 (/ 1 x.re)) (/ 1 x.im)) into (/ 3 (* x.im x.re)) 5.391 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 5.391 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.391 * [taylor]: Taking taylor expansion of 3 in x.im 5.391 * [backup-simplify]: Simplify 3 into 3 5.391 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.391 * [taylor]: Taking taylor expansion of x.im in x.im 5.391 * [backup-simplify]: Simplify 0 into 0 5.391 * [backup-simplify]: Simplify 1 into 1 5.391 * [taylor]: Taking taylor expansion of x.re in x.im 5.391 * [backup-simplify]: Simplify x.re into x.re 5.391 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.391 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.391 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.391 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 5.391 * [taylor]: Taking taylor expansion of 3 in x.re 5.391 * [backup-simplify]: Simplify 3 into 3 5.391 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.391 * [taylor]: Taking taylor expansion of x.im in x.re 5.391 * [backup-simplify]: Simplify x.im into x.im 5.391 * [taylor]: Taking taylor expansion of x.re in x.re 5.391 * [backup-simplify]: Simplify 0 into 0 5.391 * [backup-simplify]: Simplify 1 into 1 5.391 * [backup-simplify]: Simplify (* x.im 0) into 0 5.392 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 5.392 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 5.392 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 5.392 * [taylor]: Taking taylor expansion of 3 in x.re 5.392 * [backup-simplify]: Simplify 3 into 3 5.392 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.392 * [taylor]: Taking taylor expansion of x.im in x.re 5.392 * [backup-simplify]: Simplify x.im into x.im 5.392 * [taylor]: Taking taylor expansion of x.re in x.re 5.392 * [backup-simplify]: Simplify 0 into 0 5.392 * [backup-simplify]: Simplify 1 into 1 5.392 * [backup-simplify]: Simplify (* x.im 0) into 0 5.392 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 5.392 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 5.392 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 5.392 * [taylor]: Taking taylor expansion of 3 in x.im 5.392 * [backup-simplify]: Simplify 3 into 3 5.392 * [taylor]: Taking taylor expansion of x.im in x.im 5.392 * [backup-simplify]: Simplify 0 into 0 5.392 * [backup-simplify]: Simplify 1 into 1 5.392 * [backup-simplify]: Simplify (/ 3 1) into 3 5.393 * [backup-simplify]: Simplify 3 into 3 5.393 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 1) (* 0 0))) into 0 5.393 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)))) into 0 5.393 * [taylor]: Taking taylor expansion of 0 in x.im 5.393 * [backup-simplify]: Simplify 0 into 0 5.394 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.394 * [backup-simplify]: Simplify 0 into 0 5.394 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.394 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 5.394 * [taylor]: Taking taylor expansion of 0 in x.im 5.394 * [backup-simplify]: Simplify 0 into 0 5.394 * [backup-simplify]: Simplify 0 into 0 5.395 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.395 * [backup-simplify]: Simplify 0 into 0 5.395 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.396 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 5.396 * [taylor]: Taking taylor expansion of 0 in x.im 5.396 * [backup-simplify]: Simplify 0 into 0 5.396 * [backup-simplify]: Simplify 0 into 0 5.396 * [backup-simplify]: Simplify 0 into 0 5.396 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.396 * [backup-simplify]: Simplify 0 into 0 5.396 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.im)) (/ 1 (/ 1 x.re)))) into (* 3 (* x.im x.re)) 5.396 * [backup-simplify]: Simplify (* (* 3 (/ 1 (- x.re))) (/ 1 (- x.im))) into (/ 3 (* x.im x.re)) 5.397 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 5.397 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.397 * [taylor]: Taking taylor expansion of 3 in x.im 5.397 * [backup-simplify]: Simplify 3 into 3 5.397 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.397 * [taylor]: Taking taylor expansion of x.im in x.im 5.397 * [backup-simplify]: Simplify 0 into 0 5.397 * [backup-simplify]: Simplify 1 into 1 5.397 * [taylor]: Taking taylor expansion of x.re in x.im 5.397 * [backup-simplify]: Simplify x.re into x.re 5.397 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.397 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.397 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.397 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 5.397 * [taylor]: Taking taylor expansion of 3 in x.re 5.397 * [backup-simplify]: Simplify 3 into 3 5.397 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.397 * [taylor]: Taking taylor expansion of x.im in x.re 5.397 * [backup-simplify]: Simplify x.im into x.im 5.397 * [taylor]: Taking taylor expansion of x.re in x.re 5.397 * [backup-simplify]: Simplify 0 into 0 5.397 * [backup-simplify]: Simplify 1 into 1 5.397 * [backup-simplify]: Simplify (* x.im 0) into 0 5.397 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 5.397 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 5.398 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 5.398 * [taylor]: Taking taylor expansion of 3 in x.re 5.398 * [backup-simplify]: Simplify 3 into 3 5.398 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.398 * [taylor]: Taking taylor expansion of x.im in x.re 5.398 * [backup-simplify]: Simplify x.im into x.im 5.398 * [taylor]: Taking taylor expansion of x.re in x.re 5.398 * [backup-simplify]: Simplify 0 into 0 5.398 * [backup-simplify]: Simplify 1 into 1 5.398 * [backup-simplify]: Simplify (* x.im 0) into 0 5.398 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 5.398 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 5.398 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 5.398 * [taylor]: Taking taylor expansion of 3 in x.im 5.398 * [backup-simplify]: Simplify 3 into 3 5.398 * [taylor]: Taking taylor expansion of x.im in x.im 5.398 * [backup-simplify]: Simplify 0 into 0 5.398 * [backup-simplify]: Simplify 1 into 1 5.398 * [backup-simplify]: Simplify (/ 3 1) into 3 5.398 * [backup-simplify]: Simplify 3 into 3 5.399 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 1) (* 0 0))) into 0 5.399 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)))) into 0 5.399 * [taylor]: Taking taylor expansion of 0 in x.im 5.399 * [backup-simplify]: Simplify 0 into 0 5.399 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.399 * [backup-simplify]: Simplify 0 into 0 5.400 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.400 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 5.400 * [taylor]: Taking taylor expansion of 0 in x.im 5.400 * [backup-simplify]: Simplify 0 into 0 5.400 * [backup-simplify]: Simplify 0 into 0 5.401 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.401 * [backup-simplify]: Simplify 0 into 0 5.401 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.401 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 5.401 * [taylor]: Taking taylor expansion of 0 in x.im 5.401 * [backup-simplify]: Simplify 0 into 0 5.401 * [backup-simplify]: Simplify 0 into 0 5.401 * [backup-simplify]: Simplify 0 into 0 5.402 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.402 * [backup-simplify]: Simplify 0 into 0 5.402 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 (- x.im))) (/ 1 (/ 1 (- x.re))))) into (* 3 (* x.im x.re)) 5.402 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 5.402 * [backup-simplify]: Simplify (* (* (* 3 x.re) x.im) x.re) into (* 3 (* x.im (pow x.re 2))) 5.402 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 5.402 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 5.402 * [taylor]: Taking taylor expansion of 3 in x.im 5.402 * [backup-simplify]: Simplify 3 into 3 5.402 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 5.402 * [taylor]: Taking taylor expansion of x.im in x.im 5.402 * [backup-simplify]: Simplify 0 into 0 5.402 * [backup-simplify]: Simplify 1 into 1 5.402 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 5.402 * [taylor]: Taking taylor expansion of x.re in x.im 5.402 * [backup-simplify]: Simplify x.re into x.re 5.402 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 5.403 * [taylor]: Taking taylor expansion of 3 in x.re 5.403 * [backup-simplify]: Simplify 3 into 3 5.403 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.403 * [taylor]: Taking taylor expansion of x.im in x.re 5.403 * [backup-simplify]: Simplify x.im into x.im 5.403 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.403 * [taylor]: Taking taylor expansion of x.re in x.re 5.403 * [backup-simplify]: Simplify 0 into 0 5.403 * [backup-simplify]: Simplify 1 into 1 5.403 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 5.403 * [taylor]: Taking taylor expansion of 3 in x.re 5.403 * [backup-simplify]: Simplify 3 into 3 5.403 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.403 * [taylor]: Taking taylor expansion of x.im in x.re 5.403 * [backup-simplify]: Simplify x.im into x.im 5.403 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.403 * [taylor]: Taking taylor expansion of x.re in x.re 5.403 * [backup-simplify]: Simplify 0 into 0 5.403 * [backup-simplify]: Simplify 1 into 1 5.403 * [backup-simplify]: Simplify (* 1 1) into 1 5.403 * [backup-simplify]: Simplify (* x.im 1) into x.im 5.403 * [backup-simplify]: Simplify (* 3 x.im) into (* 3 x.im) 5.403 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 5.403 * [taylor]: Taking taylor expansion of 3 in x.im 5.403 * [backup-simplify]: Simplify 3 into 3 5.403 * [taylor]: Taking taylor expansion of x.im in x.im 5.403 * [backup-simplify]: Simplify 0 into 0 5.403 * [backup-simplify]: Simplify 1 into 1 5.403 * [backup-simplify]: Simplify (* 3 0) into 0 5.404 * [backup-simplify]: Simplify 0 into 0 5.404 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.404 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0 5.404 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.im)) into 0 5.404 * [taylor]: Taking taylor expansion of 0 in x.im 5.404 * [backup-simplify]: Simplify 0 into 0 5.404 * [backup-simplify]: Simplify 0 into 0 5.405 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 5.405 * [backup-simplify]: Simplify 3 into 3 5.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.406 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0 5.407 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.im))) into 0 5.407 * [taylor]: Taking taylor expansion of 0 in x.im 5.407 * [backup-simplify]: Simplify 0 into 0 5.407 * [backup-simplify]: Simplify 0 into 0 5.407 * [backup-simplify]: Simplify 0 into 0 5.407 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 5.407 * [backup-simplify]: Simplify 0 into 0 5.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.408 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.409 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.im)))) into 0 5.409 * [taylor]: Taking taylor expansion of 0 in x.im 5.409 * [backup-simplify]: Simplify 0 into 0 5.409 * [backup-simplify]: Simplify 0 into 0 5.409 * [backup-simplify]: Simplify 0 into 0 5.409 * [backup-simplify]: Simplify 0 into 0 5.409 * [backup-simplify]: Simplify (* 3 (* x.im (pow x.re 2))) into (* 3 (* x.im (pow x.re 2))) 5.409 * [backup-simplify]: Simplify (* (* (* 3 (/ 1 x.re)) (/ 1 x.im)) (/ 1 x.re)) into (/ 3 (* x.im (pow x.re 2))) 5.409 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 5.409 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 5.409 * [taylor]: Taking taylor expansion of 3 in x.im 5.409 * [backup-simplify]: Simplify 3 into 3 5.409 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 5.409 * [taylor]: Taking taylor expansion of x.im in x.im 5.409 * [backup-simplify]: Simplify 0 into 0 5.409 * [backup-simplify]: Simplify 1 into 1 5.410 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 5.410 * [taylor]: Taking taylor expansion of x.re in x.im 5.410 * [backup-simplify]: Simplify x.re into x.re 5.410 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2) 5.410 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0 5.410 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0 5.410 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2) 5.410 * [backup-simplify]: Simplify (/ 3 (pow x.re 2)) into (/ 3 (pow x.re 2)) 5.410 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 5.410 * [taylor]: Taking taylor expansion of 3 in x.re 5.410 * [backup-simplify]: Simplify 3 into 3 5.410 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.410 * [taylor]: Taking taylor expansion of x.im in x.re 5.410 * [backup-simplify]: Simplify x.im into x.im 5.410 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.410 * [taylor]: Taking taylor expansion of x.re in x.re 5.410 * [backup-simplify]: Simplify 0 into 0 5.410 * [backup-simplify]: Simplify 1 into 1 5.411 * [backup-simplify]: Simplify (* 1 1) into 1 5.411 * [backup-simplify]: Simplify (* x.im 1) into x.im 5.411 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 5.411 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 5.411 * [taylor]: Taking taylor expansion of 3 in x.re 5.411 * [backup-simplify]: Simplify 3 into 3 5.411 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.411 * [taylor]: Taking taylor expansion of x.im in x.re 5.411 * [backup-simplify]: Simplify x.im into x.im 5.411 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.411 * [taylor]: Taking taylor expansion of x.re in x.re 5.411 * [backup-simplify]: Simplify 0 into 0 5.411 * [backup-simplify]: Simplify 1 into 1 5.411 * [backup-simplify]: Simplify (* 1 1) into 1 5.411 * [backup-simplify]: Simplify (* x.im 1) into x.im 5.411 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 5.411 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 5.411 * [taylor]: Taking taylor expansion of 3 in x.im 5.411 * [backup-simplify]: Simplify 3 into 3 5.411 * [taylor]: Taking taylor expansion of x.im in x.im 5.411 * [backup-simplify]: Simplify 0 into 0 5.411 * [backup-simplify]: Simplify 1 into 1 5.412 * [backup-simplify]: Simplify (/ 3 1) into 3 5.412 * [backup-simplify]: Simplify 3 into 3 5.412 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.412 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0 5.412 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)))) into 0 5.412 * [taylor]: Taking taylor expansion of 0 in x.im 5.412 * [backup-simplify]: Simplify 0 into 0 5.413 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.413 * [backup-simplify]: Simplify 0 into 0 5.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.414 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0 5.414 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 5.414 * [taylor]: Taking taylor expansion of 0 in x.im 5.414 * [backup-simplify]: Simplify 0 into 0 5.414 * [backup-simplify]: Simplify 0 into 0 5.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.415 * [backup-simplify]: Simplify 0 into 0 5.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.416 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.416 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 5.416 * [taylor]: Taking taylor expansion of 0 in x.im 5.416 * [backup-simplify]: Simplify 0 into 0 5.416 * [backup-simplify]: Simplify 0 into 0 5.416 * [backup-simplify]: Simplify 0 into 0 5.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.417 * [backup-simplify]: Simplify 0 into 0 5.418 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.im)) (pow (/ 1 x.re) -2))) into (* 3 (* x.im (pow x.re 2))) 5.418 * [backup-simplify]: Simplify (* (* (* 3 (/ 1 (- x.re))) (/ 1 (- x.im))) (/ 1 (- x.re))) into (/ -3 (* x.im (pow x.re 2))) 5.418 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 5.418 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 5.418 * [taylor]: Taking taylor expansion of -3 in x.im 5.418 * [backup-simplify]: Simplify -3 into -3 5.418 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 5.418 * [taylor]: Taking taylor expansion of x.im in x.im 5.418 * [backup-simplify]: Simplify 0 into 0 5.418 * [backup-simplify]: Simplify 1 into 1 5.418 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 5.418 * [taylor]: Taking taylor expansion of x.re in x.im 5.419 * [backup-simplify]: Simplify x.re into x.re 5.419 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2) 5.419 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0 5.419 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0 5.419 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2) 5.420 * [backup-simplify]: Simplify (/ -3 (pow x.re 2)) into (/ -3 (pow x.re 2)) 5.420 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 5.420 * [taylor]: Taking taylor expansion of -3 in x.re 5.420 * [backup-simplify]: Simplify -3 into -3 5.420 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.420 * [taylor]: Taking taylor expansion of x.im in x.re 5.420 * [backup-simplify]: Simplify x.im into x.im 5.420 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.420 * [taylor]: Taking taylor expansion of x.re in x.re 5.420 * [backup-simplify]: Simplify 0 into 0 5.420 * [backup-simplify]: Simplify 1 into 1 5.420 * [backup-simplify]: Simplify (* 1 1) into 1 5.420 * [backup-simplify]: Simplify (* x.im 1) into x.im 5.420 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im) 5.420 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 5.421 * [taylor]: Taking taylor expansion of -3 in x.re 5.421 * [backup-simplify]: Simplify -3 into -3 5.421 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 5.421 * [taylor]: Taking taylor expansion of x.im in x.re 5.421 * [backup-simplify]: Simplify x.im into x.im 5.421 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 5.421 * [taylor]: Taking taylor expansion of x.re in x.re 5.421 * [backup-simplify]: Simplify 0 into 0 5.421 * [backup-simplify]: Simplify 1 into 1 5.421 * [backup-simplify]: Simplify (* 1 1) into 1 5.421 * [backup-simplify]: Simplify (* x.im 1) into x.im 5.421 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im) 5.421 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 5.421 * [taylor]: Taking taylor expansion of -3 in x.im 5.421 * [backup-simplify]: Simplify -3 into -3 5.421 * [taylor]: Taking taylor expansion of x.im in x.im 5.421 * [backup-simplify]: Simplify 0 into 0 5.421 * [backup-simplify]: Simplify 1 into 1 5.422 * [backup-simplify]: Simplify (/ -3 1) into -3 5.422 * [backup-simplify]: Simplify -3 into -3 5.423 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.423 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0 5.423 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)))) into 0 5.423 * [taylor]: Taking taylor expansion of 0 in x.im 5.423 * [backup-simplify]: Simplify 0 into 0 5.424 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0 5.424 * [backup-simplify]: Simplify 0 into 0 5.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.426 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0 5.426 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 5.426 * [taylor]: Taking taylor expansion of 0 in x.im 5.426 * [backup-simplify]: Simplify 0 into 0 5.426 * [backup-simplify]: Simplify 0 into 0 5.427 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.427 * [backup-simplify]: Simplify 0 into 0 5.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.429 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.430 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 5.430 * [taylor]: Taking taylor expansion of 0 in x.im 5.430 * [backup-simplify]: Simplify 0 into 0 5.430 * [backup-simplify]: Simplify 0 into 0 5.430 * [backup-simplify]: Simplify 0 into 0 5.431 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.431 * [backup-simplify]: Simplify 0 into 0 5.431 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.im))) (pow (/ 1 (- x.re)) -2))) into (* 3 (* x.im (pow x.re 2))) 5.431 * * * [progress]: simplifying candidates 5.432 * [simplify]: Simplifying: (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (+ (+ (log 3) (log x.re)) (log x.im)) (+ (log (* 3 x.re)) (log x.im)) (log (* (* 3 x.re) x.im)) (exp (* (* 3 x.re) 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)) (* (* x.im x.im) x.im)) (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im))) (cbrt (* (* 3 x.re) x.im)) (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im))) (* (* 3 x.re) (sqrt x.im)) (* (* 3 x.re) 1) (* x.re x.im) (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re) (+ (+ (+ (log 3) (log x.re)) (log x.im)) (log x.re)) (+ (+ (log (* 3 x.re)) (log x.im)) (log x.re)) (+ (log (* (* 3 x.re) x.im)) (log x.re)) (log (* (* (* 3 x.re) x.im) x.re)) (exp (* (* (* 3 x.re) x.im) x.re)) (* (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)) (* (* x.re x.re) x.re)) (* (cbrt (* (* (* 3 x.re) x.im) x.re)) (cbrt (* (* (* 3 x.re) x.im) x.re))) (cbrt (* (* (* 3 x.re) x.im) x.re)) (* (* (* (* (* 3 x.re) x.im) x.re) (* (* (* 3 x.re) x.im) x.re)) (* (* (* 3 x.re) x.im) x.re)) (sqrt (* (* (* 3 x.re) x.im) x.re)) (sqrt (* (* (* 3 x.re) x.im) x.re)) (* (* (* 3 x.re) x.im) (* (cbrt x.re) (cbrt x.re))) (* (* (* 3 x.re) x.im) (sqrt x.re)) (* (* (* 3 x.re) x.im) 1) (* x.im x.re) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) 5.434 * * [simplify]: Extracting # 0 : cost 0 5.434 * * [simplify]: Extracting # 1 : cost 0 5.434 * * [simplify]: Extracting # 2 : cost 0 5.434 * * [simplify]: Extracting # 3 : cost 0 5.435 * * [simplify]: Extracting # 4 : cost 0 5.435 * * [simplify]: Extracting # 5 : cost 0 5.435 * * [simplify]: Extracting # 6 : cost 0 5.435 * * [simplify]: Extracting # 7 : cost 0 5.435 * * [simplify]: iteration 0 : 64 enodes (cost 407 ) 5.470 * * [simplify]: Extracting # 0 : cost 0 5.471 * * [simplify]: Extracting # 1 : cost 0 5.471 * * [simplify]: Extracting # 2 : cost 0 5.472 * * [simplify]: Extracting # 3 : cost 0 5.472 * * [simplify]: iteration 1 : 183 enodes (cost 382 ) 5.753 * * [simplify]: Extracting # 0 : cost 0 5.755 * * [simplify]: Extracting # 1 : cost 0 5.757 * * [simplify]: Extracting # 2 : cost 0 5.759 * * [simplify]: Extracting # 3 : cost 0 5.761 * * [simplify]: Extracting # 4 : cost 0 5.763 * * [simplify]: iteration 2 : 1593 enodes (cost 318 ) 7.045 * * [simplify]: Extracting # 0 : cost 0 7.084 * * [simplify]: Extracting # 1 : cost 0 7.098 * * [simplify]: Extracting # 2 : cost 0 7.111 * * [simplify]: Extracting # 3 : cost 0 7.125 * * [simplify]: Extracting # 4 : cost 0 7.132 * * [simplify]: iteration done: 5001 enodes (cost 318 ) 7.133 * [simplify]: Simplified to: (* x.im (* 3 x.re)) (* x.im (* 3 x.re)) (log (* (* 3 x.re) x.im)) (log (* (* 3 x.re) x.im)) (log (* (* 3 x.re) x.im)) (exp (* 3 (* x.im x.re))) (* (* (pow x.re 3) (pow x.im 3)) 27) (pow (* (* 3 x.re) x.im) 3) (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im))) (cbrt (* (* 3 x.re) x.im)) (pow (* (* 3 x.re) x.im) 3) (sqrt (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (* (* (cbrt x.im) (cbrt x.im)) (* 3 x.re)) (* (sqrt x.im) (* 3 x.re)) (* 3 x.re) (* x.im x.re) (* x.re (* 3 (* x.im x.re))) (* x.re (* 3 (* x.im x.re))) (* x.re (* 3 (* x.im x.re))) (log (* (* (* 3 x.re) x.im) x.re)) (log (* (* (* 3 x.re) x.im) x.re)) (log (* (* (* 3 x.re) x.im) x.re)) (log (* (* (* 3 x.re) x.im) x.re)) (exp (* (* (* 3 x.re) x.im) x.re)) (* (* (pow x.re 3) (pow x.im 3)) (* (pow x.re 3) 27)) (* (pow (* 3 (* x.im x.re)) 3) (pow x.re 3)) (* (pow (* 3 (* x.im x.re)) 3) (pow x.re 3)) (* (cbrt (* (* (* 3 x.re) x.im) x.re)) (cbrt (* (* (* 3 x.re) x.im) x.re))) (cbrt (* (* (* 3 x.re) x.im) x.re)) (pow (* 3 (* x.im (pow x.re 2))) 3) (sqrt (* (* (* 3 x.re) x.im) x.re)) (sqrt (* (* (* 3 x.re) x.im) x.re)) (* (* (cbrt x.re) (cbrt x.re)) (* 3 (* x.im x.re))) (* (sqrt x.re) (* 3 (* x.im x.re))) (* x.im (* 3 x.re)) (* x.im x.re) (* x.im (* 3 x.re)) (* x.im (* 3 x.re)) (* x.im (* 3 x.re)) (* x.re (* 3 (* x.im x.re))) (* x.re (* 3 (* x.im x.re))) (* x.re (* 3 (* x.im x.re))) 7.133 * * * [progress]: adding candidates to table 7.239 * * [progress]: iteration 3 / 4 7.239 * * * [progress]: picking best candidate 7.255 * * * * [pick]: Picked # 7.255 * * * [progress]: localizing error 7.266 * * * [progress]: generating rewritten candidates 7.266 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 7.283 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 7.353 * * * [progress]: generating series expansions 7.353 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 7.353 * [backup-simplify]: Simplify (* 3 (* x.im x.re)) into (* 3 (* x.im x.re)) 7.353 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.im x.re) around 0 7.353 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 7.353 * [taylor]: Taking taylor expansion of 3 in x.re 7.353 * [backup-simplify]: Simplify 3 into 3 7.353 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 7.353 * [taylor]: Taking taylor expansion of x.im in x.re 7.353 * [backup-simplify]: Simplify x.im into x.im 7.353 * [taylor]: Taking taylor expansion of x.re in x.re 7.353 * [backup-simplify]: Simplify 0 into 0 7.353 * [backup-simplify]: Simplify 1 into 1 7.353 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 7.353 * [taylor]: Taking taylor expansion of 3 in x.im 7.353 * [backup-simplify]: Simplify 3 into 3 7.353 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.353 * [taylor]: Taking taylor expansion of x.im in x.im 7.353 * [backup-simplify]: Simplify 0 into 0 7.353 * [backup-simplify]: Simplify 1 into 1 7.353 * [taylor]: Taking taylor expansion of x.re in x.im 7.353 * [backup-simplify]: Simplify x.re into x.re 7.353 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 7.353 * [taylor]: Taking taylor expansion of 3 in x.im 7.353 * [backup-simplify]: Simplify 3 into 3 7.353 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.353 * [taylor]: Taking taylor expansion of x.im in x.im 7.353 * [backup-simplify]: Simplify 0 into 0 7.353 * [backup-simplify]: Simplify 1 into 1 7.353 * [taylor]: Taking taylor expansion of x.re in x.im 7.353 * [backup-simplify]: Simplify x.re into x.re 7.353 * [backup-simplify]: Simplify (* 0 x.re) into 0 7.354 * [backup-simplify]: Simplify (* 3 0) into 0 7.354 * [taylor]: Taking taylor expansion of 0 in x.re 7.354 * [backup-simplify]: Simplify 0 into 0 7.354 * [backup-simplify]: Simplify 0 into 0 7.354 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 7.355 * [backup-simplify]: Simplify (+ (* 3 x.re) (* 0 0)) into (* 3 x.re) 7.355 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 7.355 * [taylor]: Taking taylor expansion of 3 in x.re 7.355 * [backup-simplify]: Simplify 3 into 3 7.355 * [taylor]: Taking taylor expansion of x.re in x.re 7.355 * [backup-simplify]: Simplify 0 into 0 7.355 * [backup-simplify]: Simplify 1 into 1 7.355 * [backup-simplify]: Simplify (* 3 0) into 0 7.355 * [backup-simplify]: Simplify 0 into 0 7.355 * [backup-simplify]: Simplify 0 into 0 7.356 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 7.356 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 x.re) (* 0 0))) into 0 7.356 * [taylor]: Taking taylor expansion of 0 in x.re 7.356 * [backup-simplify]: Simplify 0 into 0 7.356 * [backup-simplify]: Simplify 0 into 0 7.357 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 7.357 * [backup-simplify]: Simplify 3 into 3 7.357 * [backup-simplify]: Simplify 0 into 0 7.357 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 7.358 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0)))) into 0 7.358 * [taylor]: Taking taylor expansion of 0 in x.re 7.358 * [backup-simplify]: Simplify 0 into 0 7.358 * [backup-simplify]: Simplify 0 into 0 7.358 * [backup-simplify]: Simplify 0 into 0 7.359 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 7.359 * [backup-simplify]: Simplify 0 into 0 7.359 * [backup-simplify]: Simplify 0 into 0 7.360 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 7.361 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0))))) into 0 7.361 * [taylor]: Taking taylor expansion of 0 in x.re 7.361 * [backup-simplify]: Simplify 0 into 0 7.361 * [backup-simplify]: Simplify 0 into 0 7.361 * [backup-simplify]: Simplify (* 3 (* x.re x.im)) into (* 3 (* x.im x.re)) 7.361 * [backup-simplify]: Simplify (* 3 (* (/ 1 x.im) (/ 1 x.re))) into (/ 3 (* x.im x.re)) 7.361 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 7.361 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 7.361 * [taylor]: Taking taylor expansion of 3 in x.re 7.361 * [backup-simplify]: Simplify 3 into 3 7.361 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 7.361 * [taylor]: Taking taylor expansion of x.im in x.re 7.361 * [backup-simplify]: Simplify x.im into x.im 7.361 * [taylor]: Taking taylor expansion of x.re in x.re 7.361 * [backup-simplify]: Simplify 0 into 0 7.361 * [backup-simplify]: Simplify 1 into 1 7.361 * [backup-simplify]: Simplify (* x.im 0) into 0 7.362 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 7.362 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 7.362 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 7.362 * [taylor]: Taking taylor expansion of 3 in x.im 7.362 * [backup-simplify]: Simplify 3 into 3 7.362 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.362 * [taylor]: Taking taylor expansion of x.im in x.im 7.362 * [backup-simplify]: Simplify 0 into 0 7.362 * [backup-simplify]: Simplify 1 into 1 7.362 * [taylor]: Taking taylor expansion of x.re in x.im 7.362 * [backup-simplify]: Simplify x.re into x.re 7.362 * [backup-simplify]: Simplify (* 0 x.re) into 0 7.362 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 7.362 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 7.362 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 7.362 * [taylor]: Taking taylor expansion of 3 in x.im 7.362 * [backup-simplify]: Simplify 3 into 3 7.362 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.362 * [taylor]: Taking taylor expansion of x.im in x.im 7.362 * [backup-simplify]: Simplify 0 into 0 7.362 * [backup-simplify]: Simplify 1 into 1 7.362 * [taylor]: Taking taylor expansion of x.re in x.im 7.362 * [backup-simplify]: Simplify x.re into x.re 7.362 * [backup-simplify]: Simplify (* 0 x.re) into 0 7.363 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 7.363 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 7.363 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 7.363 * [taylor]: Taking taylor expansion of 3 in x.re 7.363 * [backup-simplify]: Simplify 3 into 3 7.363 * [taylor]: Taking taylor expansion of x.re in x.re 7.363 * [backup-simplify]: Simplify 0 into 0 7.363 * [backup-simplify]: Simplify 1 into 1 7.363 * [backup-simplify]: Simplify (/ 3 1) into 3 7.363 * [backup-simplify]: Simplify 3 into 3 7.364 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 7.364 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 7.364 * [taylor]: Taking taylor expansion of 0 in x.re 7.364 * [backup-simplify]: Simplify 0 into 0 7.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 7.364 * [backup-simplify]: Simplify 0 into 0 7.365 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 7.365 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 7.365 * [taylor]: Taking taylor expansion of 0 in x.re 7.365 * [backup-simplify]: Simplify 0 into 0 7.365 * [backup-simplify]: Simplify 0 into 0 7.366 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.366 * [backup-simplify]: Simplify 0 into 0 7.367 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 7.367 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 7.367 * [taylor]: Taking taylor expansion of 0 in x.re 7.367 * [backup-simplify]: Simplify 0 into 0 7.367 * [backup-simplify]: Simplify 0 into 0 7.367 * [backup-simplify]: Simplify 0 into 0 7.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.368 * [backup-simplify]: Simplify 0 into 0 7.368 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (/ 1 (/ 1 x.im)))) into (* 3 (* x.im x.re)) 7.368 * [backup-simplify]: Simplify (* 3 (* (/ 1 (- x.im)) (/ 1 (- x.re)))) into (/ 3 (* x.im x.re)) 7.368 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 7.368 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 7.368 * [taylor]: Taking taylor expansion of 3 in x.re 7.368 * [backup-simplify]: Simplify 3 into 3 7.368 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 7.368 * [taylor]: Taking taylor expansion of x.im in x.re 7.368 * [backup-simplify]: Simplify x.im into x.im 7.368 * [taylor]: Taking taylor expansion of x.re in x.re 7.368 * [backup-simplify]: Simplify 0 into 0 7.368 * [backup-simplify]: Simplify 1 into 1 7.368 * [backup-simplify]: Simplify (* x.im 0) into 0 7.368 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 7.368 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 7.368 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 7.368 * [taylor]: Taking taylor expansion of 3 in x.im 7.368 * [backup-simplify]: Simplify 3 into 3 7.368 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.368 * [taylor]: Taking taylor expansion of x.im in x.im 7.369 * [backup-simplify]: Simplify 0 into 0 7.369 * [backup-simplify]: Simplify 1 into 1 7.369 * [taylor]: Taking taylor expansion of x.re in x.im 7.369 * [backup-simplify]: Simplify x.re into x.re 7.369 * [backup-simplify]: Simplify (* 0 x.re) into 0 7.369 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 7.369 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 7.369 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 7.369 * [taylor]: Taking taylor expansion of 3 in x.im 7.369 * [backup-simplify]: Simplify 3 into 3 7.369 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 7.369 * [taylor]: Taking taylor expansion of x.im in x.im 7.369 * [backup-simplify]: Simplify 0 into 0 7.369 * [backup-simplify]: Simplify 1 into 1 7.369 * [taylor]: Taking taylor expansion of x.re in x.im 7.369 * [backup-simplify]: Simplify x.re into x.re 7.369 * [backup-simplify]: Simplify (* 0 x.re) into 0 7.369 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 7.369 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 7.369 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 7.369 * [taylor]: Taking taylor expansion of 3 in x.re 7.370 * [backup-simplify]: Simplify 3 into 3 7.370 * [taylor]: Taking taylor expansion of x.re in x.re 7.370 * [backup-simplify]: Simplify 0 into 0 7.370 * [backup-simplify]: Simplify 1 into 1 7.370 * [backup-simplify]: Simplify (/ 3 1) into 3 7.370 * [backup-simplify]: Simplify 3 into 3 7.370 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 7.370 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 7.371 * [taylor]: Taking taylor expansion of 0 in x.re 7.371 * [backup-simplify]: Simplify 0 into 0 7.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 7.371 * [backup-simplify]: Simplify 0 into 0 7.372 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 7.372 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 7.372 * [taylor]: Taking taylor expansion of 0 in x.re 7.372 * [backup-simplify]: Simplify 0 into 0 7.372 * [backup-simplify]: Simplify 0 into 0 7.373 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.373 * [backup-simplify]: Simplify 0 into 0 7.373 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 7.374 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 7.374 * [taylor]: Taking taylor expansion of 0 in x.re 7.374 * [backup-simplify]: Simplify 0 into 0 7.374 * [backup-simplify]: Simplify 0 into 0 7.374 * [backup-simplify]: Simplify 0 into 0 7.374 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.374 * [backup-simplify]: Simplify 0 into 0 7.374 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 (- x.re))) (/ 1 (/ 1 (- x.im))))) into (* 3 (* x.im x.re)) 7.374 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 7.375 * [backup-simplify]: Simplify (* (* 3 (* x.im x.re)) x.re) into (* 3 (* x.im (pow x.re 2))) 7.375 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 7.375 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 7.375 * [taylor]: Taking taylor expansion of 3 in x.re 7.375 * [backup-simplify]: Simplify 3 into 3 7.375 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.375 * [taylor]: Taking taylor expansion of x.im in x.re 7.375 * [backup-simplify]: Simplify x.im into x.im 7.375 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.375 * [taylor]: Taking taylor expansion of x.re in x.re 7.375 * [backup-simplify]: Simplify 0 into 0 7.375 * [backup-simplify]: Simplify 1 into 1 7.375 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 7.375 * [taylor]: Taking taylor expansion of 3 in x.im 7.375 * [backup-simplify]: Simplify 3 into 3 7.375 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.375 * [taylor]: Taking taylor expansion of x.im in x.im 7.375 * [backup-simplify]: Simplify 0 into 0 7.375 * [backup-simplify]: Simplify 1 into 1 7.375 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.375 * [taylor]: Taking taylor expansion of x.re in x.im 7.375 * [backup-simplify]: Simplify x.re into x.re 7.375 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 7.375 * [taylor]: Taking taylor expansion of 3 in x.im 7.375 * [backup-simplify]: Simplify 3 into 3 7.375 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.375 * [taylor]: Taking taylor expansion of x.im in x.im 7.375 * [backup-simplify]: Simplify 0 into 0 7.375 * [backup-simplify]: Simplify 1 into 1 7.375 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.375 * [taylor]: Taking taylor expansion of x.re in x.im 7.375 * [backup-simplify]: Simplify x.re into x.re 7.375 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2) 7.376 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0 7.376 * [backup-simplify]: Simplify (* 3 0) into 0 7.376 * [taylor]: Taking taylor expansion of 0 in x.re 7.376 * [backup-simplify]: Simplify 0 into 0 7.376 * [backup-simplify]: Simplify 0 into 0 7.376 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0 7.377 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2) 7.377 * [backup-simplify]: Simplify (+ (* 3 (pow x.re 2)) (* 0 0)) into (* 3 (pow x.re 2)) 7.377 * [taylor]: Taking taylor expansion of (* 3 (pow x.re 2)) in x.re 7.377 * [taylor]: Taking taylor expansion of 3 in x.re 7.378 * [backup-simplify]: Simplify 3 into 3 7.378 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.378 * [taylor]: Taking taylor expansion of x.re in x.re 7.378 * [backup-simplify]: Simplify 0 into 0 7.378 * [backup-simplify]: Simplify 1 into 1 7.378 * [backup-simplify]: Simplify (* 1 1) into 1 7.378 * [backup-simplify]: Simplify (* 3 1) into 3 7.378 * [backup-simplify]: Simplify 3 into 3 7.378 * [backup-simplify]: Simplify 0 into 0 7.379 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (* 0 x.re))) into 0 7.380 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow x.re 2)))) into 0 7.381 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 (pow x.re 2)) (* 0 0))) into 0 7.381 * [taylor]: Taking taylor expansion of 0 in x.re 7.381 * [backup-simplify]: Simplify 0 into 0 7.381 * [backup-simplify]: Simplify 0 into 0 7.382 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.382 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 7.383 * [backup-simplify]: Simplify 0 into 0 7.383 * [backup-simplify]: Simplify 0 into 0 7.383 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 7.385 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow x.re 2))))) into 0 7.386 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 (pow x.re 2)) (* 0 0)))) into 0 7.386 * [taylor]: Taking taylor expansion of 0 in x.re 7.386 * [backup-simplify]: Simplify 0 into 0 7.386 * [backup-simplify]: Simplify 0 into 0 7.386 * [backup-simplify]: Simplify 0 into 0 7.386 * [backup-simplify]: Simplify (* 3 (* (pow x.re 2) x.im)) into (* 3 (* x.im (pow x.re 2))) 7.387 * [backup-simplify]: Simplify (* (* 3 (* (/ 1 x.im) (/ 1 x.re))) (/ 1 x.re)) into (/ 3 (* x.im (pow x.re 2))) 7.387 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 7.387 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 7.387 * [taylor]: Taking taylor expansion of 3 in x.re 7.387 * [backup-simplify]: Simplify 3 into 3 7.387 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.387 * [taylor]: Taking taylor expansion of x.im in x.re 7.387 * [backup-simplify]: Simplify x.im into x.im 7.387 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.387 * [taylor]: Taking taylor expansion of x.re in x.re 7.387 * [backup-simplify]: Simplify 0 into 0 7.387 * [backup-simplify]: Simplify 1 into 1 7.387 * [backup-simplify]: Simplify (* 1 1) into 1 7.387 * [backup-simplify]: Simplify (* x.im 1) into x.im 7.387 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 7.387 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 7.387 * [taylor]: Taking taylor expansion of 3 in x.im 7.387 * [backup-simplify]: Simplify 3 into 3 7.387 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.387 * [taylor]: Taking taylor expansion of x.im in x.im 7.387 * [backup-simplify]: Simplify 0 into 0 7.387 * [backup-simplify]: Simplify 1 into 1 7.387 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.387 * [taylor]: Taking taylor expansion of x.re in x.im 7.387 * [backup-simplify]: Simplify x.re into x.re 7.388 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2) 7.388 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0 7.388 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0 7.388 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2) 7.388 * [backup-simplify]: Simplify (/ 3 (pow x.re 2)) into (/ 3 (pow x.re 2)) 7.388 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 7.388 * [taylor]: Taking taylor expansion of 3 in x.im 7.388 * [backup-simplify]: Simplify 3 into 3 7.388 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.388 * [taylor]: Taking taylor expansion of x.im in x.im 7.388 * [backup-simplify]: Simplify 0 into 0 7.388 * [backup-simplify]: Simplify 1 into 1 7.388 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.388 * [taylor]: Taking taylor expansion of x.re in x.im 7.388 * [backup-simplify]: Simplify x.re into x.re 7.388 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2) 7.388 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0 7.388 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0 7.389 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2) 7.389 * [backup-simplify]: Simplify (/ 3 (pow x.re 2)) into (/ 3 (pow x.re 2)) 7.389 * [taylor]: Taking taylor expansion of (/ 3 (pow x.re 2)) in x.re 7.389 * [taylor]: Taking taylor expansion of 3 in x.re 7.389 * [backup-simplify]: Simplify 3 into 3 7.389 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.389 * [taylor]: Taking taylor expansion of x.re in x.re 7.389 * [backup-simplify]: Simplify 0 into 0 7.389 * [backup-simplify]: Simplify 1 into 1 7.389 * [backup-simplify]: Simplify (* 1 1) into 1 7.390 * [backup-simplify]: Simplify (/ 3 1) into 3 7.390 * [backup-simplify]: Simplify 3 into 3 7.390 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (* 0 x.re))) into 0 7.391 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow x.re 2)))) into 0 7.391 * [backup-simplify]: Simplify (- (/ 0 (pow x.re 2)) (+ (* (/ 3 (pow x.re 2)) (/ 0 (pow x.re 2))))) into 0 7.391 * [taylor]: Taking taylor expansion of 0 in x.re 7.391 * [backup-simplify]: Simplify 0 into 0 7.391 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.392 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 7.392 * [backup-simplify]: Simplify 0 into 0 7.393 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 7.394 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow x.re 2))))) into 0 7.394 * [backup-simplify]: Simplify (- (/ 0 (pow x.re 2)) (+ (* (/ 3 (pow x.re 2)) (/ 0 (pow x.re 2))) (* 0 (/ 0 (pow x.re 2))))) into 0 7.394 * [taylor]: Taking taylor expansion of 0 in x.re 7.394 * [backup-simplify]: Simplify 0 into 0 7.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.395 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.395 * [backup-simplify]: Simplify 0 into 0 7.396 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 7.397 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x.re 2)))))) into 0 7.398 * [backup-simplify]: Simplify (- (/ 0 (pow x.re 2)) (+ (* (/ 3 (pow x.re 2)) (/ 0 (pow x.re 2))) (* 0 (/ 0 (pow x.re 2))) (* 0 (/ 0 (pow x.re 2))))) into 0 7.398 * [taylor]: Taking taylor expansion of 0 in x.re 7.398 * [backup-simplify]: Simplify 0 into 0 7.398 * [backup-simplify]: Simplify 0 into 0 7.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.399 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.399 * [backup-simplify]: Simplify 0 into 0 7.400 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))))) into 0 7.401 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x.re 2))))))) into 0 7.402 * [backup-simplify]: Simplify (- (/ 0 (pow x.re 2)) (+ (* (/ 3 (pow x.re 2)) (/ 0 (pow x.re 2))) (* 0 (/ 0 (pow x.re 2))) (* 0 (/ 0 (pow x.re 2))) (* 0 (/ 0 (pow x.re 2))))) into 0 7.402 * [taylor]: Taking taylor expansion of 0 in x.re 7.402 * [backup-simplify]: Simplify 0 into 0 7.402 * [backup-simplify]: Simplify 0 into 0 7.402 * [backup-simplify]: Simplify 0 into 0 7.402 * [backup-simplify]: Simplify (* 3 (* (pow (/ 1 x.re) -2) (/ 1 (/ 1 x.im)))) into (* 3 (* x.im (pow x.re 2))) 7.402 * [backup-simplify]: Simplify (* (* 3 (* (/ 1 (- x.im)) (/ 1 (- x.re)))) (/ 1 (- x.re))) into (/ -3 (* x.im (pow x.re 2))) 7.402 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.im x.re) around 0 7.402 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 7.402 * [taylor]: Taking taylor expansion of -3 in x.re 7.402 * [backup-simplify]: Simplify -3 into -3 7.402 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 7.402 * [taylor]: Taking taylor expansion of x.im in x.re 7.402 * [backup-simplify]: Simplify x.im into x.im 7.402 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.402 * [taylor]: Taking taylor expansion of x.re in x.re 7.402 * [backup-simplify]: Simplify 0 into 0 7.402 * [backup-simplify]: Simplify 1 into 1 7.403 * [backup-simplify]: Simplify (* 1 1) into 1 7.403 * [backup-simplify]: Simplify (* x.im 1) into x.im 7.403 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im) 7.403 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 7.403 * [taylor]: Taking taylor expansion of -3 in x.im 7.403 * [backup-simplify]: Simplify -3 into -3 7.403 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.403 * [taylor]: Taking taylor expansion of x.im in x.im 7.403 * [backup-simplify]: Simplify 0 into 0 7.403 * [backup-simplify]: Simplify 1 into 1 7.403 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.403 * [taylor]: Taking taylor expansion of x.re in x.im 7.403 * [backup-simplify]: Simplify x.re into x.re 7.403 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2) 7.403 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0 7.403 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0 7.403 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2) 7.404 * [backup-simplify]: Simplify (/ -3 (pow x.re 2)) into (/ -3 (pow x.re 2)) 7.404 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 7.404 * [taylor]: Taking taylor expansion of -3 in x.im 7.404 * [backup-simplify]: Simplify -3 into -3 7.404 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 7.404 * [taylor]: Taking taylor expansion of x.im in x.im 7.404 * [backup-simplify]: Simplify 0 into 0 7.404 * [backup-simplify]: Simplify 1 into 1 7.404 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 7.404 * [taylor]: Taking taylor expansion of x.re in x.im 7.404 * [backup-simplify]: Simplify x.re into x.re 7.404 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2) 7.404 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0 7.404 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0 7.404 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2) 7.404 * [backup-simplify]: Simplify (/ -3 (pow x.re 2)) into (/ -3 (pow x.re 2)) 7.404 * [taylor]: Taking taylor expansion of (/ -3 (pow x.re 2)) in x.re 7.404 * [taylor]: Taking taylor expansion of -3 in x.re 7.404 * [backup-simplify]: Simplify -3 into -3 7.404 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 7.404 * [taylor]: Taking taylor expansion of x.re in x.re 7.404 * [backup-simplify]: Simplify 0 into 0 7.404 * [backup-simplify]: Simplify 1 into 1 7.405 * [backup-simplify]: Simplify (* 1 1) into 1 7.405 * [backup-simplify]: Simplify (/ -3 1) into -3 7.405 * [backup-simplify]: Simplify -3 into -3 7.405 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (* 0 x.re))) into 0 7.406 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow x.re 2)))) into 0 7.406 * [backup-simplify]: Simplify (- (/ 0 (pow x.re 2)) (+ (* (/ -3 (pow x.re 2)) (/ 0 (pow x.re 2))))) into 0 7.406 * [taylor]: Taking taylor expansion of 0 in x.re 7.406 * [backup-simplify]: Simplify 0 into 0 7.406 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.407 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0 7.407 * [backup-simplify]: Simplify 0 into 0 7.408 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 7.408 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow x.re 2))))) into 0 7.409 * [backup-simplify]: Simplify (- (/ 0 (pow x.re 2)) (+ (* (/ -3 (pow x.re 2)) (/ 0 (pow x.re 2))) (* 0 (/ 0 (pow x.re 2))))) into 0 7.409 * [taylor]: Taking taylor expansion of 0 in x.re 7.409 * [backup-simplify]: Simplify 0 into 0 7.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.412 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.413 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 7.415 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x.re 2)))))) into 0 7.415 * [backup-simplify]: Simplify (- (/ 0 (pow x.re 2)) (+ (* (/ -3 (pow x.re 2)) (/ 0 (pow x.re 2))) (* 0 (/ 0 (pow x.re 2))) (* 0 (/ 0 (pow x.re 2))))) into 0 7.415 * [taylor]: Taking taylor expansion of 0 in x.re 7.415 * [backup-simplify]: Simplify 0 into 0 7.415 * [backup-simplify]: Simplify 0 into 0 7.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.417 * [backup-simplify]: Simplify 0 into 0 7.418 * [backup-simplify]: Simplify (+ (* x.re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))))) into 0 7.420 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x.re 2))))))) into 0 7.421 * [backup-simplify]: Simplify (- (/ 0 (pow x.re 2)) (+ (* (/ -3 (pow x.re 2)) (/ 0 (pow x.re 2))) (* 0 (/ 0 (pow x.re 2))) (* 0 (/ 0 (pow x.re 2))) (* 0 (/ 0 (pow x.re 2))))) into 0 7.421 * [taylor]: Taking taylor expansion of 0 in x.re 7.421 * [backup-simplify]: Simplify 0 into 0 7.421 * [backup-simplify]: Simplify 0 into 0 7.421 * [backup-simplify]: Simplify 0 into 0 7.421 * [backup-simplify]: Simplify (* -3 (* (pow (/ 1 (- x.re)) -2) (/ 1 (/ 1 (- x.im))))) into (* 3 (* x.im (pow x.re 2))) 7.422 * * * [progress]: simplifying candidates 7.423 * [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)) (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re) (+ (+ (log 3) (+ (log x.im) (log x.re))) (log x.re)) (+ (+ (log 3) (log (* x.im x.re))) (log x.re)) (+ (log (* 3 (* x.im x.re))) (log x.re)) (log (* (* 3 (* x.im x.re)) x.re)) (exp (* (* 3 (* x.im x.re)) x.re)) (* (* (* (* 3 3) 3) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re))) (* (* x.re x.re) x.re)) (* (* (* (* 3 3) 3) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* (* x.re x.re) x.re)) (* (* (* (* 3 (* x.im x.re)) (* 3 (* x.im x.re))) (* 3 (* x.im x.re))) (* (* x.re x.re) x.re)) (* (cbrt (* (* 3 (* x.im x.re)) x.re)) (cbrt (* (* 3 (* x.im x.re)) x.re))) (cbrt (* (* 3 (* x.im x.re)) x.re)) (* (* (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re)) (* (* 3 (* x.im x.re)) x.re)) (sqrt (* (* 3 (* x.im x.re)) x.re)) (sqrt (* (* 3 (* x.im x.re)) x.re)) (* (* 3 (* x.im x.re)) (* (cbrt x.re) (cbrt x.re))) (* (* 3 (* x.im x.re)) (sqrt x.re)) (* (* 3 (* x.im x.re)) 1) (* (* x.im x.re) x.re) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) 7.424 * * [simplify]: Extracting # 0 : cost 0 7.424 * * [simplify]: Extracting # 1 : cost 0 7.424 * * [simplify]: Extracting # 2 : cost 0 7.424 * * [simplify]: Extracting # 3 : cost 0 7.424 * * [simplify]: Extracting # 4 : cost 0 7.424 * * [simplify]: Extracting # 5 : cost 0 7.425 * * [simplify]: Extracting # 6 : cost 0 7.425 * * [simplify]: Extracting # 7 : cost 0 7.425 * * [simplify]: Extracting # 8 : cost 0 7.425 * * [simplify]: iteration 0 : 61 enodes (cost 406 ) 7.448 * * [simplify]: Extracting # 0 : cost 0 7.449 * * [simplify]: Extracting # 1 : cost 0 7.449 * * [simplify]: Extracting # 2 : cost 0 7.449 * * [simplify]: Extracting # 3 : cost 0 7.449 * * [simplify]: iteration 1 : 169 enodes (cost 375 ) 7.590 * * [simplify]: Extracting # 0 : cost 0 7.591 * * [simplify]: Extracting # 1 : cost 0 7.593 * * [simplify]: Extracting # 2 : cost 0 7.594 * * [simplify]: Extracting # 3 : cost 0 7.595 * * [simplify]: Extracting # 4 : cost 0 7.597 * * [simplify]: iteration 2 : 1107 enodes (cost 315 ) 8.278 * * [simplify]: Extracting # 0 : cost 0 8.291 * * [simplify]: Extracting # 1 : cost 0 8.304 * * [simplify]: Extracting # 2 : cost 0 8.324 * * [simplify]: Extracting # 3 : cost 0 8.336 * * [simplify]: Extracting # 4 : cost 0 8.348 * * [simplify]: iteration done: 5000 enodes (cost 315 ) 8.349 * [simplify]: Simplified to: (* x.im (* 3 x.re)) (* x.im (* 3 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))) (* (pow (* x.re x.im) 3) 27) (* (pow (* x.re x.im) 3) 27) (* (cbrt (* 3 (* x.im x.re))) (cbrt (* 3 (* x.im x.re)))) (cbrt (* 3 (* x.im x.re))) (pow (* 3 (* 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)) (* x.im (* 3 x.re)) (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re) (log (* 3 (* x.im (pow x.re 2)))) (log (* 3 (* x.im (pow x.re 2)))) (log (* 3 (* x.im (pow x.re 2)))) (log (* 3 (* x.im (pow x.re 2)))) (exp (* (* 3 (* x.im x.re)) x.re)) (* (* (pow x.re 3) (pow (* x.re x.im) 3)) 27) (* (* (pow x.re 3) (pow (* x.re x.im) 3)) 27) (* (pow (* 3 (* x.im x.re)) 3) (pow x.re 3)) (* (cbrt (* (* 3 (* x.im x.re)) x.re)) (cbrt (* (* 3 (* x.im x.re)) x.re))) (cbrt (* (* 3 (* x.im x.re)) x.re)) (pow (* (* 3 (* x.im x.re)) x.re) 3) (sqrt (* (* 3 (* x.im x.re)) x.re)) (sqrt (* (* 3 (* x.im x.re)) x.re)) (* (* (cbrt x.re) (cbrt x.re)) (* 3 (* x.im x.re))) (* (sqrt x.re) (* 3 (* x.im x.re))) (* x.im (* 3 x.re)) (* x.im (pow x.re 2)) (* x.im (* 3 x.re)) (* x.im (* 3 x.re)) (* x.im (* 3 x.re)) (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re) (* (* 3 (* x.im x.re)) x.re) 8.349 * * * [progress]: adding candidates to table 8.457 * * [progress]: iteration 4 / 4 8.458 * * * [progress]: picking best candidate 8.472 * * * * [pick]: Picked # 8.472 * * * [progress]: localizing error 8.487 * * * [progress]: generating rewritten candidates 8.487 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 8.532 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 8.563 * * * [progress]: generating series expansions 8.563 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 8.563 * [backup-simplify]: Simplify (* 3 (* x.re (* x.im x.re))) into (* 3 (* x.im (pow x.re 2))) 8.563 * [approximate]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 8.563 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.im 8.563 * [taylor]: Taking taylor expansion of 3 in x.im 8.563 * [backup-simplify]: Simplify 3 into 3 8.563 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 8.563 * [taylor]: Taking taylor expansion of x.im in x.im 8.563 * [backup-simplify]: Simplify 0 into 0 8.563 * [backup-simplify]: Simplify 1 into 1 8.563 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 8.563 * [taylor]: Taking taylor expansion of x.re in x.im 8.563 * [backup-simplify]: Simplify x.re into x.re 8.563 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 8.563 * [taylor]: Taking taylor expansion of 3 in x.re 8.563 * [backup-simplify]: Simplify 3 into 3 8.563 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.563 * [taylor]: Taking taylor expansion of x.im in x.re 8.563 * [backup-simplify]: Simplify x.im into x.im 8.563 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.563 * [taylor]: Taking taylor expansion of x.re in x.re 8.563 * [backup-simplify]: Simplify 0 into 0 8.563 * [backup-simplify]: Simplify 1 into 1 8.563 * [taylor]: Taking taylor expansion of (* 3 (* x.im (pow x.re 2))) in x.re 8.563 * [taylor]: Taking taylor expansion of 3 in x.re 8.563 * [backup-simplify]: Simplify 3 into 3 8.564 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.564 * [taylor]: Taking taylor expansion of x.im in x.re 8.564 * [backup-simplify]: Simplify x.im into x.im 8.564 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.564 * [taylor]: Taking taylor expansion of x.re in x.re 8.564 * [backup-simplify]: Simplify 0 into 0 8.564 * [backup-simplify]: Simplify 1 into 1 8.564 * [backup-simplify]: Simplify (* 1 1) into 1 8.564 * [backup-simplify]: Simplify (* x.im 1) into x.im 8.564 * [backup-simplify]: Simplify (* 3 x.im) into (* 3 x.im) 8.564 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 8.564 * [taylor]: Taking taylor expansion of 3 in x.im 8.564 * [backup-simplify]: Simplify 3 into 3 8.564 * [taylor]: Taking taylor expansion of x.im in x.im 8.564 * [backup-simplify]: Simplify 0 into 0 8.564 * [backup-simplify]: Simplify 1 into 1 8.565 * [backup-simplify]: Simplify (* 3 0) into 0 8.565 * [backup-simplify]: Simplify 0 into 0 8.565 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.569 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0 8.569 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.im)) into 0 8.569 * [taylor]: Taking taylor expansion of 0 in x.im 8.570 * [backup-simplify]: Simplify 0 into 0 8.570 * [backup-simplify]: Simplify 0 into 0 8.570 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 8.570 * [backup-simplify]: Simplify 3 into 3 8.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.571 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0 8.572 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.im))) into 0 8.572 * [taylor]: Taking taylor expansion of 0 in x.im 8.572 * [backup-simplify]: Simplify 0 into 0 8.572 * [backup-simplify]: Simplify 0 into 0 8.572 * [backup-simplify]: Simplify 0 into 0 8.572 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 8.572 * [backup-simplify]: Simplify 0 into 0 8.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.574 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.574 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.im)))) into 0 8.574 * [taylor]: Taking taylor expansion of 0 in x.im 8.574 * [backup-simplify]: Simplify 0 into 0 8.574 * [backup-simplify]: Simplify 0 into 0 8.575 * [backup-simplify]: Simplify 0 into 0 8.575 * [backup-simplify]: Simplify 0 into 0 8.575 * [backup-simplify]: Simplify (* 3 (* x.im (pow x.re 2))) into (* 3 (* x.im (pow x.re 2))) 8.575 * [backup-simplify]: Simplify (* 3 (* (/ 1 x.re) (* (/ 1 x.im) (/ 1 x.re)))) into (/ 3 (* x.im (pow x.re 2))) 8.575 * [approximate]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 8.575 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.im 8.575 * [taylor]: Taking taylor expansion of 3 in x.im 8.575 * [backup-simplify]: Simplify 3 into 3 8.575 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 8.575 * [taylor]: Taking taylor expansion of x.im in x.im 8.575 * [backup-simplify]: Simplify 0 into 0 8.575 * [backup-simplify]: Simplify 1 into 1 8.575 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 8.575 * [taylor]: Taking taylor expansion of x.re in x.im 8.575 * [backup-simplify]: Simplify x.re into x.re 8.575 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2) 8.575 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0 8.575 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0 8.576 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2) 8.576 * [backup-simplify]: Simplify (/ 3 (pow x.re 2)) into (/ 3 (pow x.re 2)) 8.576 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 8.576 * [taylor]: Taking taylor expansion of 3 in x.re 8.576 * [backup-simplify]: Simplify 3 into 3 8.576 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.576 * [taylor]: Taking taylor expansion of x.im in x.re 8.576 * [backup-simplify]: Simplify x.im into x.im 8.576 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.576 * [taylor]: Taking taylor expansion of x.re in x.re 8.576 * [backup-simplify]: Simplify 0 into 0 8.576 * [backup-simplify]: Simplify 1 into 1 8.577 * [backup-simplify]: Simplify (* 1 1) into 1 8.577 * [backup-simplify]: Simplify (* x.im 1) into x.im 8.577 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 8.577 * [taylor]: Taking taylor expansion of (/ 3 (* x.im (pow x.re 2))) in x.re 8.577 * [taylor]: Taking taylor expansion of 3 in x.re 8.577 * [backup-simplify]: Simplify 3 into 3 8.577 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.577 * [taylor]: Taking taylor expansion of x.im in x.re 8.577 * [backup-simplify]: Simplify x.im into x.im 8.577 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.577 * [taylor]: Taking taylor expansion of x.re in x.re 8.577 * [backup-simplify]: Simplify 0 into 0 8.577 * [backup-simplify]: Simplify 1 into 1 8.578 * [backup-simplify]: Simplify (* 1 1) into 1 8.578 * [backup-simplify]: Simplify (* x.im 1) into x.im 8.578 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 8.578 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 8.578 * [taylor]: Taking taylor expansion of 3 in x.im 8.578 * [backup-simplify]: Simplify 3 into 3 8.578 * [taylor]: Taking taylor expansion of x.im in x.im 8.578 * [backup-simplify]: Simplify 0 into 0 8.578 * [backup-simplify]: Simplify 1 into 1 8.578 * [backup-simplify]: Simplify (/ 3 1) into 3 8.578 * [backup-simplify]: Simplify 3 into 3 8.579 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.579 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0 8.579 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)))) into 0 8.579 * [taylor]: Taking taylor expansion of 0 in x.im 8.579 * [backup-simplify]: Simplify 0 into 0 8.580 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 8.580 * [backup-simplify]: Simplify 0 into 0 8.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.581 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0 8.581 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 8.581 * [taylor]: Taking taylor expansion of 0 in x.im 8.581 * [backup-simplify]: Simplify 0 into 0 8.581 * [backup-simplify]: Simplify 0 into 0 8.582 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.582 * [backup-simplify]: Simplify 0 into 0 8.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.583 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.583 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ 3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 8.583 * [taylor]: Taking taylor expansion of 0 in x.im 8.583 * [backup-simplify]: Simplify 0 into 0 8.583 * [backup-simplify]: Simplify 0 into 0 8.583 * [backup-simplify]: Simplify 0 into 0 8.584 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.584 * [backup-simplify]: Simplify 0 into 0 8.584 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.im)) (pow (/ 1 x.re) -2))) into (* 3 (* x.im (pow x.re 2))) 8.584 * [backup-simplify]: Simplify (* 3 (* (/ 1 (- x.re)) (* (/ 1 (- x.im)) (/ 1 (- x.re))))) into (/ -3 (* x.im (pow x.re 2))) 8.584 * [approximate]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in (x.re x.im) around 0 8.584 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.im 8.584 * [taylor]: Taking taylor expansion of -3 in x.im 8.584 * [backup-simplify]: Simplify -3 into -3 8.584 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 8.584 * [taylor]: Taking taylor expansion of x.im in x.im 8.584 * [backup-simplify]: Simplify 0 into 0 8.584 * [backup-simplify]: Simplify 1 into 1 8.584 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 8.584 * [taylor]: Taking taylor expansion of x.re in x.im 8.584 * [backup-simplify]: Simplify x.re into x.re 8.584 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2) 8.585 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0 8.585 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0 8.585 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2) 8.585 * [backup-simplify]: Simplify (/ -3 (pow x.re 2)) into (/ -3 (pow x.re 2)) 8.585 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 8.585 * [taylor]: Taking taylor expansion of -3 in x.re 8.585 * [backup-simplify]: Simplify -3 into -3 8.585 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.585 * [taylor]: Taking taylor expansion of x.im in x.re 8.585 * [backup-simplify]: Simplify x.im into x.im 8.585 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.585 * [taylor]: Taking taylor expansion of x.re in x.re 8.585 * [backup-simplify]: Simplify 0 into 0 8.585 * [backup-simplify]: Simplify 1 into 1 8.586 * [backup-simplify]: Simplify (* 1 1) into 1 8.586 * [backup-simplify]: Simplify (* x.im 1) into x.im 8.586 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im) 8.586 * [taylor]: Taking taylor expansion of (/ -3 (* x.im (pow x.re 2))) in x.re 8.586 * [taylor]: Taking taylor expansion of -3 in x.re 8.586 * [backup-simplify]: Simplify -3 into -3 8.586 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.586 * [taylor]: Taking taylor expansion of x.im in x.re 8.586 * [backup-simplify]: Simplify x.im into x.im 8.586 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.586 * [taylor]: Taking taylor expansion of x.re in x.re 8.586 * [backup-simplify]: Simplify 0 into 0 8.586 * [backup-simplify]: Simplify 1 into 1 8.586 * [backup-simplify]: Simplify (* 1 1) into 1 8.586 * [backup-simplify]: Simplify (* x.im 1) into x.im 8.586 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im) 8.586 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 8.586 * [taylor]: Taking taylor expansion of -3 in x.im 8.586 * [backup-simplify]: Simplify -3 into -3 8.586 * [taylor]: Taking taylor expansion of x.im in x.im 8.586 * [backup-simplify]: Simplify 0 into 0 8.586 * [backup-simplify]: Simplify 1 into 1 8.587 * [backup-simplify]: Simplify (/ -3 1) into -3 8.587 * [backup-simplify]: Simplify -3 into -3 8.587 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.587 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0 8.587 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)))) into 0 8.588 * [taylor]: Taking taylor expansion of 0 in x.im 8.588 * [backup-simplify]: Simplify 0 into 0 8.588 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0 8.588 * [backup-simplify]: Simplify 0 into 0 8.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.589 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0 8.589 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 8.589 * [taylor]: Taking taylor expansion of 0 in x.im 8.589 * [backup-simplify]: Simplify 0 into 0 8.589 * [backup-simplify]: Simplify 0 into 0 8.590 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.590 * [backup-simplify]: Simplify 0 into 0 8.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.591 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.591 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -3 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 8.591 * [taylor]: Taking taylor expansion of 0 in x.im 8.591 * [backup-simplify]: Simplify 0 into 0 8.591 * [backup-simplify]: Simplify 0 into 0 8.591 * [backup-simplify]: Simplify 0 into 0 8.592 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.592 * [backup-simplify]: Simplify 0 into 0 8.592 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.im))) (pow (/ 1 (- x.re)) -2))) into (* 3 (* x.im (pow x.re 2))) 8.592 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 8.592 * [backup-simplify]: Simplify (* x.re (* x.im x.re)) into (* x.im (pow x.re 2)) 8.592 * [approximate]: Taking taylor expansion of (* x.im (pow x.re 2)) in (x.re x.im) around 0 8.592 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 8.592 * [taylor]: Taking taylor expansion of x.im in x.im 8.592 * [backup-simplify]: Simplify 0 into 0 8.592 * [backup-simplify]: Simplify 1 into 1 8.592 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 8.592 * [taylor]: Taking taylor expansion of x.re in x.im 8.592 * [backup-simplify]: Simplify x.re into x.re 8.592 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.592 * [taylor]: Taking taylor expansion of x.im in x.re 8.592 * [backup-simplify]: Simplify x.im into x.im 8.592 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.592 * [taylor]: Taking taylor expansion of x.re in x.re 8.592 * [backup-simplify]: Simplify 0 into 0 8.592 * [backup-simplify]: Simplify 1 into 1 8.592 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.592 * [taylor]: Taking taylor expansion of x.im in x.re 8.592 * [backup-simplify]: Simplify x.im into x.im 8.593 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.593 * [taylor]: Taking taylor expansion of x.re in x.re 8.593 * [backup-simplify]: Simplify 0 into 0 8.593 * [backup-simplify]: Simplify 1 into 1 8.593 * [backup-simplify]: Simplify (* 1 1) into 1 8.593 * [backup-simplify]: Simplify (* x.im 1) into x.im 8.593 * [taylor]: Taking taylor expansion of x.im in x.im 8.593 * [backup-simplify]: Simplify 0 into 0 8.593 * [backup-simplify]: Simplify 1 into 1 8.593 * [backup-simplify]: Simplify 0 into 0 8.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.594 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0 8.594 * [taylor]: Taking taylor expansion of 0 in x.im 8.594 * [backup-simplify]: Simplify 0 into 0 8.594 * [backup-simplify]: Simplify 0 into 0 8.594 * [backup-simplify]: Simplify 1 into 1 8.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.595 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0 8.595 * [taylor]: Taking taylor expansion of 0 in x.im 8.595 * [backup-simplify]: Simplify 0 into 0 8.595 * [backup-simplify]: Simplify 0 into 0 8.595 * [backup-simplify]: Simplify 0 into 0 8.595 * [backup-simplify]: Simplify 0 into 0 8.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.596 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.596 * [taylor]: Taking taylor expansion of 0 in x.im 8.596 * [backup-simplify]: Simplify 0 into 0 8.596 * [backup-simplify]: Simplify 0 into 0 8.596 * [backup-simplify]: Simplify 0 into 0 8.596 * [backup-simplify]: Simplify 0 into 0 8.596 * [backup-simplify]: Simplify (* 1 (* x.im (pow x.re 2))) into (* x.im (pow x.re 2)) 8.596 * [backup-simplify]: Simplify (* (/ 1 x.re) (* (/ 1 x.im) (/ 1 x.re))) into (/ 1 (* x.im (pow x.re 2))) 8.596 * [approximate]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 8.596 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.im 8.596 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 8.596 * [taylor]: Taking taylor expansion of x.im in x.im 8.596 * [backup-simplify]: Simplify 0 into 0 8.596 * [backup-simplify]: Simplify 1 into 1 8.596 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 8.596 * [taylor]: Taking taylor expansion of x.re in x.im 8.596 * [backup-simplify]: Simplify x.re into x.re 8.596 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2) 8.596 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0 8.596 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0 8.597 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2) 8.597 * [backup-simplify]: Simplify (/ 1 (pow x.re 2)) into (/ 1 (pow x.re 2)) 8.597 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 8.597 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.597 * [taylor]: Taking taylor expansion of x.im in x.re 8.597 * [backup-simplify]: Simplify x.im into x.im 8.597 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.597 * [taylor]: Taking taylor expansion of x.re in x.re 8.597 * [backup-simplify]: Simplify 0 into 0 8.597 * [backup-simplify]: Simplify 1 into 1 8.597 * [backup-simplify]: Simplify (* 1 1) into 1 8.597 * [backup-simplify]: Simplify (* x.im 1) into x.im 8.597 * [backup-simplify]: Simplify (/ 1 x.im) into (/ 1 x.im) 8.597 * [taylor]: Taking taylor expansion of (/ 1 (* x.im (pow x.re 2))) in x.re 8.597 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.597 * [taylor]: Taking taylor expansion of x.im in x.re 8.597 * [backup-simplify]: Simplify x.im into x.im 8.597 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.598 * [taylor]: Taking taylor expansion of x.re in x.re 8.598 * [backup-simplify]: Simplify 0 into 0 8.598 * [backup-simplify]: Simplify 1 into 1 8.598 * [backup-simplify]: Simplify (* 1 1) into 1 8.598 * [backup-simplify]: Simplify (* x.im 1) into x.im 8.598 * [backup-simplify]: Simplify (/ 1 x.im) into (/ 1 x.im) 8.598 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 8.598 * [taylor]: Taking taylor expansion of x.im in x.im 8.598 * [backup-simplify]: Simplify 0 into 0 8.598 * [backup-simplify]: Simplify 1 into 1 8.598 * [backup-simplify]: Simplify (/ 1 1) into 1 8.598 * [backup-simplify]: Simplify 1 into 1 8.599 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.599 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0 8.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 x.im) (/ 0 x.im)))) into 0 8.599 * [taylor]: Taking taylor expansion of 0 in x.im 8.599 * [backup-simplify]: Simplify 0 into 0 8.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.599 * [backup-simplify]: Simplify 0 into 0 8.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.600 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0 8.600 * [backup-simplify]: Simplify (- (+ (* (/ 1 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 8.600 * [taylor]: Taking taylor expansion of 0 in x.im 8.600 * [backup-simplify]: Simplify 0 into 0 8.601 * [backup-simplify]: Simplify 0 into 0 8.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.601 * [backup-simplify]: Simplify 0 into 0 8.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.602 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.602 * [backup-simplify]: Simplify (- (+ (* (/ 1 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 8.602 * [taylor]: Taking taylor expansion of 0 in x.im 8.602 * [backup-simplify]: Simplify 0 into 0 8.602 * [backup-simplify]: Simplify 0 into 0 8.602 * [backup-simplify]: Simplify 0 into 0 8.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.603 * [backup-simplify]: Simplify 0 into 0 8.603 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x.im)) (pow (/ 1 x.re) -2))) into (* x.im (pow x.re 2)) 8.603 * [backup-simplify]: Simplify (* (/ 1 (- x.re)) (* (/ 1 (- x.im)) (/ 1 (- x.re)))) into (/ -1 (* x.im (pow x.re 2))) 8.603 * [approximate]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in (x.re x.im) around 0 8.603 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.im 8.603 * [taylor]: Taking taylor expansion of -1 in x.im 8.603 * [backup-simplify]: Simplify -1 into -1 8.603 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.im 8.603 * [taylor]: Taking taylor expansion of x.im in x.im 8.603 * [backup-simplify]: Simplify 0 into 0 8.603 * [backup-simplify]: Simplify 1 into 1 8.603 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 8.603 * [taylor]: Taking taylor expansion of x.re in x.im 8.603 * [backup-simplify]: Simplify x.re into x.re 8.603 * [backup-simplify]: Simplify (* x.re x.re) into (pow x.re 2) 8.604 * [backup-simplify]: Simplify (* 0 (pow x.re 2)) into 0 8.604 * [backup-simplify]: Simplify (+ (* x.re 0) (* 0 x.re)) into 0 8.604 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow x.re 2))) into (pow x.re 2) 8.604 * [backup-simplify]: Simplify (/ -1 (pow x.re 2)) into (/ -1 (pow x.re 2)) 8.604 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 8.604 * [taylor]: Taking taylor expansion of -1 in x.re 8.604 * [backup-simplify]: Simplify -1 into -1 8.604 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.604 * [taylor]: Taking taylor expansion of x.im in x.re 8.604 * [backup-simplify]: Simplify x.im into x.im 8.604 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.604 * [taylor]: Taking taylor expansion of x.re in x.re 8.604 * [backup-simplify]: Simplify 0 into 0 8.604 * [backup-simplify]: Simplify 1 into 1 8.604 * [backup-simplify]: Simplify (* 1 1) into 1 8.604 * [backup-simplify]: Simplify (* x.im 1) into x.im 8.605 * [backup-simplify]: Simplify (/ -1 x.im) into (/ -1 x.im) 8.605 * [taylor]: Taking taylor expansion of (/ -1 (* x.im (pow x.re 2))) in x.re 8.605 * [taylor]: Taking taylor expansion of -1 in x.re 8.605 * [backup-simplify]: Simplify -1 into -1 8.605 * [taylor]: Taking taylor expansion of (* x.im (pow x.re 2)) in x.re 8.605 * [taylor]: Taking taylor expansion of x.im in x.re 8.605 * [backup-simplify]: Simplify x.im into x.im 8.605 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 8.605 * [taylor]: Taking taylor expansion of x.re in x.re 8.605 * [backup-simplify]: Simplify 0 into 0 8.605 * [backup-simplify]: Simplify 1 into 1 8.605 * [backup-simplify]: Simplify (* 1 1) into 1 8.605 * [backup-simplify]: Simplify (* x.im 1) into x.im 8.605 * [backup-simplify]: Simplify (/ -1 x.im) into (/ -1 x.im) 8.605 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 8.605 * [taylor]: Taking taylor expansion of -1 in x.im 8.605 * [backup-simplify]: Simplify -1 into -1 8.605 * [taylor]: Taking taylor expansion of x.im in x.im 8.605 * [backup-simplify]: Simplify 0 into 0 8.605 * [backup-simplify]: Simplify 1 into 1 8.605 * [backup-simplify]: Simplify (/ -1 1) into -1 8.605 * [backup-simplify]: Simplify -1 into -1 8.606 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.606 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 1)) into 0 8.606 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -1 x.im) (/ 0 x.im)))) into 0 8.606 * [taylor]: Taking taylor expansion of 0 in x.im 8.606 * [backup-simplify]: Simplify 0 into 0 8.607 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.607 * [backup-simplify]: Simplify 0 into 0 8.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.608 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 1))) into 0 8.608 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -1 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 8.608 * [taylor]: Taking taylor expansion of 0 in x.im 8.608 * [backup-simplify]: Simplify 0 into 0 8.608 * [backup-simplify]: Simplify 0 into 0 8.608 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.608 * [backup-simplify]: Simplify 0 into 0 8.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.609 * [backup-simplify]: Simplify (+ (* x.im 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.610 * [backup-simplify]: Simplify (- (/ 0 x.im) (+ (* (/ -1 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0 8.610 * [taylor]: Taking taylor expansion of 0 in x.im 8.610 * [backup-simplify]: Simplify 0 into 0 8.610 * [backup-simplify]: Simplify 0 into 0 8.610 * [backup-simplify]: Simplify 0 into 0 8.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.610 * [backup-simplify]: Simplify 0 into 0 8.610 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x.im))) (pow (/ 1 (- x.re)) -2))) into (* x.im (pow x.re 2)) 8.611 * * * [progress]: simplifying candidates 8.611 * [simplify]: Simplifying: (* 3 (* x.re (* x.im x.re))) (* 3 (* x.re (* x.im x.re))) (* 3 (* x.re (* x.im x.re))) (+ (log 3) (+ (log x.re) (+ (log x.im) (log x.re)))) (+ (log 3) (+ (log x.re) (log (* x.im x.re)))) (+ (log 3) (log (* x.re (* x.im x.re)))) (log (* 3 (* x.re (* x.im x.re)))) (exp (* 3 (* x.re (* x.im x.re)))) (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re)))) (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re)))) (* (* (* 3 3) 3) (* (* (* x.re (* x.im x.re)) (* x.re (* x.im x.re))) (* x.re (* x.im x.re)))) (* (cbrt (* 3 (* x.re (* x.im x.re)))) (cbrt (* 3 (* x.re (* x.im x.re))))) (cbrt (* 3 (* x.re (* x.im x.re)))) (* (* (* 3 (* x.re (* x.im x.re))) (* 3 (* x.re (* x.im x.re)))) (* 3 (* x.re (* x.im x.re)))) (sqrt (* 3 (* x.re (* x.im x.re)))) (sqrt (* 3 (* x.re (* x.im x.re)))) (* 3 x.re) (* (cbrt 3) (* x.re (* x.im x.re))) (* (sqrt 3) (* x.re (* x.im x.re))) (* 3 (* x.re (* x.im x.re))) (* x.re (* x.im x.re)) (* x.re (* x.im x.re)) (+ (log x.re) (+ (log x.im) (log x.re))) (+ (log x.re) (log (* x.im x.re))) (log (* x.re (* x.im x.re))) (exp (* x.re (* x.im x.re))) (* (* (* x.re x.re) x.re) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re))) (* (* (* x.re x.re) x.re) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* (cbrt (* x.re (* x.im x.re))) (cbrt (* x.re (* x.im x.re)))) (cbrt (* x.re (* x.im x.re))) (* (* (* x.re (* x.im x.re)) (* x.re (* x.im x.re))) (* x.re (* x.im x.re))) (sqrt (* x.re (* x.im x.re))) (sqrt (* x.re (* x.im x.re))) (* x.re x.im) (* (cbrt x.re) (* x.im x.re)) (* (sqrt x.re) (* x.im x.re)) (* x.re (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* x.im (pow x.re 2)) (* x.im (pow x.re 2)) (* x.im (pow x.re 2)) 8.612 * * [simplify]: Extracting # 0 : cost 0 8.612 * * [simplify]: Extracting # 1 : cost 0 8.612 * * [simplify]: Extracting # 2 : cost 0 8.612 * * [simplify]: Extracting # 3 : cost 0 8.612 * * [simplify]: Extracting # 4 : cost 0 8.612 * * [simplify]: Extracting # 5 : cost 0 8.612 * * [simplify]: Extracting # 6 : cost 0 8.612 * * [simplify]: Extracting # 7 : cost 0 8.612 * * [simplify]: iteration 0 : 58 enodes (cost 401 ) 8.625 * * [simplify]: Extracting # 0 : cost 0 8.626 * * [simplify]: Extracting # 1 : cost 0 8.626 * * [simplify]: Extracting # 2 : cost 0 8.626 * * [simplify]: Extracting # 3 : cost 0 8.626 * * [simplify]: Extracting # 4 : cost 0 8.626 * * [simplify]: iteration 1 : 150 enodes (cost 378 ) 8.749 * * [simplify]: Extracting # 0 : cost 0 8.749 * * [simplify]: Extracting # 1 : cost 0 8.750 * * [simplify]: Extracting # 2 : cost 0 8.751 * * [simplify]: Extracting # 3 : cost 0 8.753 * * [simplify]: Extracting # 4 : cost 0 8.754 * * [simplify]: iteration 2 : 716 enodes (cost 314 ) 9.263 * * [simplify]: Extracting # 0 : cost 0 9.271 * * [simplify]: Extracting # 1 : cost 0 9.281 * * [simplify]: Extracting # 2 : cost 0 9.297 * * [simplify]: Extracting # 3 : cost 0 9.305 * * [simplify]: Extracting # 4 : cost 0 9.314 * * [simplify]: iteration done: 5001 enodes (cost 306 ) 9.315 * [simplify]: Simplified to: (* 3 (* x.re (* x.im x.re))) (* 3 (* x.re (* x.im x.re))) (* 3 (* x.re (* x.im x.re))) (log (* 3 (* x.re (* x.im x.re)))) (log (* 3 (* x.re (* x.im x.re)))) (log (* 3 (* x.re (* x.im x.re)))) (log (* 3 (* x.re (* x.im x.re)))) (exp (* 3 (* x.re (* x.im x.re)))) (pow (* 3 (* x.re (* x.im x.re))) 3) (pow (* 3 (* x.re (* x.im x.re))) 3) (pow (* 3 (* x.re (* x.im x.re))) 3) (* (cbrt (* 3 (* x.re (* x.im x.re)))) (cbrt (* 3 (* x.re (* x.im x.re))))) (cbrt (* 3 (* x.re (* x.im x.re)))) (pow (* 3 (* x.re (* x.im x.re))) 3) (sqrt (* 3 (* x.re (* x.im x.re)))) (sqrt (* 3 (* x.re (* x.im x.re)))) (* 3 x.re) (* (cbrt 3) (* x.re (* x.im x.re))) (* (sqrt 3) (* x.re (* x.im x.re))) (* 3 (* x.re (* x.im x.re))) (* x.re (* x.im x.re)) (* x.re (* x.im x.re)) (log (* x.re (* x.im x.re))) (log (* x.re (* x.im x.re))) (log (* x.re (* x.im x.re))) (exp (* x.re (* x.im x.re))) (pow (* x.re (* x.im x.re)) 3) (pow (* x.re (* x.im x.re)) 3) (* (cbrt (* x.re (* x.im x.re))) (cbrt (* x.re (* x.im x.re)))) (cbrt (* x.re (* x.im x.re))) (pow (* x.re (* x.im x.re)) 3) (sqrt (* x.re (* x.im x.re))) (sqrt (* x.re (* x.im x.re))) (* x.re x.im) (* (cbrt x.re) (* x.im x.re)) (* (sqrt x.re) (* x.im x.re)) (* x.re (* x.im x.re)) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* 3 (* x.im (pow x.re 2))) (* x.im (pow x.re 2)) (* x.im (pow x.re 2)) (* x.im (pow x.re 2)) 9.315 * * * [progress]: adding candidates to table 9.391 * [progress]: [Phase 3 of 3] Extracting. 9.391 * * [regime]: Finding splitpoints for: (# # # # # # # #) 9.392 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re) 9.392 * * * * [regimes]: Trying to branch on x.im from (# # # # # # # #) 9.431 * * * * [regimes]: Trying to branch on x.re from (# # # # # # # #) 9.459 * * * [regime]: Found split indices: #