7.753 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.048 * * * [progress]: [2/2] Setting up program. 0.051 * [progress]: [Phase 2 of 3] Improving. 0.052 * [simplify]: Simplifying: (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) 1.529 * * [progress]: iteration 1 / 4 1.529 * * * [progress]: picking best candidate 1.533 * * * * [pick]: Picked # 1.533 * * * [progress]: localizing error 1.541 * * * [progress]: generating rewritten candidates 1.541 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 1.617 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 1.636 * * * [progress]: generating series expansions 1.637 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 1.637 * [backup-simplify]: Simplify (* 3 (* x.im (* x.re x.im))) into (* 3 (* (pow x.im 2) x.re)) 1.637 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 1.637 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 1.637 * [taylor]: Taking taylor expansion of 3 in x.re 1.637 * [backup-simplify]: Simplify 3 into 3 1.637 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.637 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.637 * [taylor]: Taking taylor expansion of x.im in x.re 1.637 * [backup-simplify]: Simplify x.im into x.im 1.637 * [taylor]: Taking taylor expansion of x.re in x.re 1.637 * [backup-simplify]: Simplify 0 into 0 1.637 * [backup-simplify]: Simplify 1 into 1 1.637 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 1.637 * [taylor]: Taking taylor expansion of 3 in x.im 1.637 * [backup-simplify]: Simplify 3 into 3 1.637 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.637 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.637 * [taylor]: Taking taylor expansion of x.im in x.im 1.637 * [backup-simplify]: Simplify 0 into 0 1.637 * [backup-simplify]: Simplify 1 into 1 1.637 * [taylor]: Taking taylor expansion of x.re in x.im 1.637 * [backup-simplify]: Simplify x.re into x.re 1.637 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 1.637 * [taylor]: Taking taylor expansion of 3 in x.im 1.637 * [backup-simplify]: Simplify 3 into 3 1.637 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.637 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.637 * [taylor]: Taking taylor expansion of x.im in x.im 1.637 * [backup-simplify]: Simplify 0 into 0 1.637 * [backup-simplify]: Simplify 1 into 1 1.637 * [taylor]: Taking taylor expansion of x.re in x.im 1.637 * [backup-simplify]: Simplify x.re into x.re 1.639 * [backup-simplify]: Simplify (* 1 1) into 1 1.639 * [backup-simplify]: Simplify (* 1 x.re) into x.re 1.639 * [backup-simplify]: Simplify (* 3 x.re) into (* 3 x.re) 1.639 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 1.639 * [taylor]: Taking taylor expansion of 3 in x.re 1.639 * [backup-simplify]: Simplify 3 into 3 1.639 * [taylor]: Taking taylor expansion of x.re in x.re 1.639 * [backup-simplify]: Simplify 0 into 0 1.639 * [backup-simplify]: Simplify 1 into 1 1.639 * [backup-simplify]: Simplify (* 3 0) into 0 1.639 * [backup-simplify]: Simplify 0 into 0 1.640 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.641 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 1.641 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.re)) into 0 1.641 * [taylor]: Taking taylor expansion of 0 in x.re 1.641 * [backup-simplify]: Simplify 0 into 0 1.641 * [backup-simplify]: Simplify 0 into 0 1.642 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 1.642 * [backup-simplify]: Simplify 3 into 3 1.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 1.646 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.re))) into 0 1.646 * [taylor]: Taking taylor expansion of 0 in x.re 1.646 * [backup-simplify]: Simplify 0 into 0 1.646 * [backup-simplify]: Simplify 0 into 0 1.646 * [backup-simplify]: Simplify 0 into 0 1.648 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 1.648 * [backup-simplify]: Simplify 0 into 0 1.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 1.651 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 1.652 * [taylor]: Taking taylor expansion of 0 in x.re 1.652 * [backup-simplify]: Simplify 0 into 0 1.652 * [backup-simplify]: Simplify 0 into 0 1.652 * [backup-simplify]: Simplify 0 into 0 1.652 * [backup-simplify]: Simplify 0 into 0 1.652 * [backup-simplify]: Simplify (* 3 (* x.re (pow x.im 2))) into (* 3 (* (pow x.im 2) x.re)) 1.652 * [backup-simplify]: Simplify (* 3 (* (/ 1 x.im) (* (/ 1 x.re) (/ 1 x.im)))) into (/ 3 (* (pow x.im 2) x.re)) 1.652 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 1.652 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 1.652 * [taylor]: Taking taylor expansion of 3 in x.re 1.652 * [backup-simplify]: Simplify 3 into 3 1.653 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.653 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.653 * [taylor]: Taking taylor expansion of x.im in x.re 1.653 * [backup-simplify]: Simplify x.im into x.im 1.653 * [taylor]: Taking taylor expansion of x.re in x.re 1.653 * [backup-simplify]: Simplify 0 into 0 1.653 * [backup-simplify]: Simplify 1 into 1 1.653 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 1.653 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 1.653 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 1.654 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 1.654 * [backup-simplify]: Simplify (/ 3 (pow x.im 2)) into (/ 3 (pow x.im 2)) 1.654 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 1.654 * [taylor]: Taking taylor expansion of 3 in x.im 1.654 * [backup-simplify]: Simplify 3 into 3 1.654 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.654 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.654 * [taylor]: Taking taylor expansion of x.im in x.im 1.654 * [backup-simplify]: Simplify 0 into 0 1.654 * [backup-simplify]: Simplify 1 into 1 1.654 * [taylor]: Taking taylor expansion of x.re in x.im 1.654 * [backup-simplify]: Simplify x.re into x.re 1.655 * [backup-simplify]: Simplify (* 1 1) into 1 1.655 * [backup-simplify]: Simplify (* 1 x.re) into x.re 1.655 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 1.655 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 1.655 * [taylor]: Taking taylor expansion of 3 in x.im 1.655 * [backup-simplify]: Simplify 3 into 3 1.655 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.655 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.655 * [taylor]: Taking taylor expansion of x.im in x.im 1.655 * [backup-simplify]: Simplify 0 into 0 1.655 * [backup-simplify]: Simplify 1 into 1 1.655 * [taylor]: Taking taylor expansion of x.re in x.im 1.655 * [backup-simplify]: Simplify x.re into x.re 1.656 * [backup-simplify]: Simplify (* 1 1) into 1 1.656 * [backup-simplify]: Simplify (* 1 x.re) into x.re 1.656 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 1.656 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 1.656 * [taylor]: Taking taylor expansion of 3 in x.re 1.656 * [backup-simplify]: Simplify 3 into 3 1.656 * [taylor]: Taking taylor expansion of x.re in x.re 1.656 * [backup-simplify]: Simplify 0 into 0 1.656 * [backup-simplify]: Simplify 1 into 1 1.657 * [backup-simplify]: Simplify (/ 3 1) into 3 1.657 * [backup-simplify]: Simplify 3 into 3 1.658 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.658 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 1.659 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 1.659 * [taylor]: Taking taylor expansion of 0 in x.re 1.659 * [backup-simplify]: Simplify 0 into 0 1.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 1.660 * [backup-simplify]: Simplify 0 into 0 1.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 1.662 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 1.662 * [taylor]: Taking taylor expansion of 0 in x.re 1.662 * [backup-simplify]: Simplify 0 into 0 1.662 * [backup-simplify]: Simplify 0 into 0 1.663 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.663 * [backup-simplify]: Simplify 0 into 0 1.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 1.666 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 1.666 * [taylor]: Taking taylor expansion of 0 in x.re 1.666 * [backup-simplify]: Simplify 0 into 0 1.666 * [backup-simplify]: Simplify 0 into 0 1.666 * [backup-simplify]: Simplify 0 into 0 1.667 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.667 * [backup-simplify]: Simplify 0 into 0 1.668 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* 3 (* (pow x.im 2) x.re)) 1.668 * [backup-simplify]: Simplify (* 3 (* (/ 1 (- x.im)) (* (/ 1 (- x.re)) (/ 1 (- x.im))))) into (/ -3 (* (pow x.im 2) x.re)) 1.668 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 1.668 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 1.668 * [taylor]: Taking taylor expansion of -3 in x.re 1.668 * [backup-simplify]: Simplify -3 into -3 1.668 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.668 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.668 * [taylor]: Taking taylor expansion of x.im in x.re 1.668 * [backup-simplify]: Simplify x.im into x.im 1.668 * [taylor]: Taking taylor expansion of x.re in x.re 1.668 * [backup-simplify]: Simplify 0 into 0 1.668 * [backup-simplify]: Simplify 1 into 1 1.668 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 1.668 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 1.669 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 1.669 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 1.669 * [backup-simplify]: Simplify (/ -3 (pow x.im 2)) into (/ -3 (pow x.im 2)) 1.669 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 1.669 * [taylor]: Taking taylor expansion of -3 in x.im 1.669 * [backup-simplify]: Simplify -3 into -3 1.669 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.669 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.669 * [taylor]: Taking taylor expansion of x.im in x.im 1.670 * [backup-simplify]: Simplify 0 into 0 1.670 * [backup-simplify]: Simplify 1 into 1 1.670 * [taylor]: Taking taylor expansion of x.re in x.im 1.670 * [backup-simplify]: Simplify x.re into x.re 1.670 * [backup-simplify]: Simplify (* 1 1) into 1 1.670 * [backup-simplify]: Simplify (* 1 x.re) into x.re 1.670 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 1.670 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 1.670 * [taylor]: Taking taylor expansion of -3 in x.im 1.670 * [backup-simplify]: Simplify -3 into -3 1.670 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.670 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.670 * [taylor]: Taking taylor expansion of x.im in x.im 1.670 * [backup-simplify]: Simplify 0 into 0 1.670 * [backup-simplify]: Simplify 1 into 1 1.670 * [taylor]: Taking taylor expansion of x.re in x.im 1.671 * [backup-simplify]: Simplify x.re into x.re 1.671 * [backup-simplify]: Simplify (* 1 1) into 1 1.671 * [backup-simplify]: Simplify (* 1 x.re) into x.re 1.671 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 1.671 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re 1.671 * [taylor]: Taking taylor expansion of -3 in x.re 1.671 * [backup-simplify]: Simplify -3 into -3 1.671 * [taylor]: Taking taylor expansion of x.re in x.re 1.671 * [backup-simplify]: Simplify 0 into 0 1.671 * [backup-simplify]: Simplify 1 into 1 1.672 * [backup-simplify]: Simplify (/ -3 1) into -3 1.672 * [backup-simplify]: Simplify -3 into -3 1.673 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.673 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 1.673 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0 1.673 * [taylor]: Taking taylor expansion of 0 in x.re 1.673 * [backup-simplify]: Simplify 0 into 0 1.675 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0 1.675 * [backup-simplify]: Simplify 0 into 0 1.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 1.678 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 1.678 * [taylor]: Taking taylor expansion of 0 in x.re 1.678 * [backup-simplify]: Simplify 0 into 0 1.678 * [backup-simplify]: Simplify 0 into 0 1.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.679 * [backup-simplify]: Simplify 0 into 0 1.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 1.682 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 1.682 * [taylor]: Taking taylor expansion of 0 in x.re 1.682 * [backup-simplify]: Simplify 0 into 0 1.682 * [backup-simplify]: Simplify 0 into 0 1.682 * [backup-simplify]: Simplify 0 into 0 1.683 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.683 * [backup-simplify]: Simplify 0 into 0 1.684 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* 3 (* (pow x.im 2) x.re)) 1.684 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 1.684 * [backup-simplify]: Simplify (* x.im (* x.re x.im)) into (* (pow x.im 2) x.re) 1.684 * [approximate]: Taking taylor expansion of (* (pow x.im 2) x.re) in (x.im x.re) around 0 1.684 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.684 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.684 * [taylor]: Taking taylor expansion of x.im in x.re 1.684 * [backup-simplify]: Simplify x.im into x.im 1.684 * [taylor]: Taking taylor expansion of x.re in x.re 1.684 * [backup-simplify]: Simplify 0 into 0 1.684 * [backup-simplify]: Simplify 1 into 1 1.684 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.684 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.684 * [taylor]: Taking taylor expansion of x.im in x.im 1.684 * [backup-simplify]: Simplify 0 into 0 1.684 * [backup-simplify]: Simplify 1 into 1 1.684 * [taylor]: Taking taylor expansion of x.re in x.im 1.684 * [backup-simplify]: Simplify x.re into x.re 1.684 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.684 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.684 * [taylor]: Taking taylor expansion of x.im in x.im 1.684 * [backup-simplify]: Simplify 0 into 0 1.684 * [backup-simplify]: Simplify 1 into 1 1.684 * [taylor]: Taking taylor expansion of x.re in x.im 1.684 * [backup-simplify]: Simplify x.re into x.re 1.685 * [backup-simplify]: Simplify (* 1 1) into 1 1.685 * [backup-simplify]: Simplify (* 1 x.re) into x.re 1.685 * [taylor]: Taking taylor expansion of x.re in x.re 1.685 * [backup-simplify]: Simplify 0 into 0 1.685 * [backup-simplify]: Simplify 1 into 1 1.685 * [backup-simplify]: Simplify 0 into 0 1.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 1.686 * [taylor]: Taking taylor expansion of 0 in x.re 1.686 * [backup-simplify]: Simplify 0 into 0 1.686 * [backup-simplify]: Simplify 0 into 0 1.686 * [backup-simplify]: Simplify 1 into 1 1.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 1.688 * [taylor]: Taking taylor expansion of 0 in x.re 1.688 * [backup-simplify]: Simplify 0 into 0 1.688 * [backup-simplify]: Simplify 0 into 0 1.688 * [backup-simplify]: Simplify 0 into 0 1.688 * [backup-simplify]: Simplify 0 into 0 1.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 1.691 * [taylor]: Taking taylor expansion of 0 in x.re 1.691 * [backup-simplify]: Simplify 0 into 0 1.691 * [backup-simplify]: Simplify 0 into 0 1.691 * [backup-simplify]: Simplify 0 into 0 1.691 * [backup-simplify]: Simplify 0 into 0 1.691 * [backup-simplify]: Simplify (* 1 (* x.re (pow x.im 2))) into (* (pow x.im 2) x.re) 1.691 * [backup-simplify]: Simplify (* (/ 1 x.im) (* (/ 1 x.re) (/ 1 x.im))) into (/ 1 (* (pow x.im 2) x.re)) 1.691 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 1.691 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.691 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.691 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.691 * [taylor]: Taking taylor expansion of x.im in x.re 1.691 * [backup-simplify]: Simplify x.im into x.im 1.692 * [taylor]: Taking taylor expansion of x.re in x.re 1.692 * [backup-simplify]: Simplify 0 into 0 1.692 * [backup-simplify]: Simplify 1 into 1 1.692 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 1.692 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 1.692 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 1.692 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 1.693 * [backup-simplify]: Simplify (/ 1 (pow x.im 2)) into (/ 1 (pow x.im 2)) 1.693 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 1.693 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.693 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.693 * [taylor]: Taking taylor expansion of x.im in x.im 1.693 * [backup-simplify]: Simplify 0 into 0 1.693 * [backup-simplify]: Simplify 1 into 1 1.693 * [taylor]: Taking taylor expansion of x.re in x.im 1.693 * [backup-simplify]: Simplify x.re into x.re 1.693 * [backup-simplify]: Simplify (* 1 1) into 1 1.693 * [backup-simplify]: Simplify (* 1 x.re) into x.re 1.693 * [backup-simplify]: Simplify (/ 1 x.re) into (/ 1 x.re) 1.693 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 1.693 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.694 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.694 * [taylor]: Taking taylor expansion of x.im in x.im 1.694 * [backup-simplify]: Simplify 0 into 0 1.694 * [backup-simplify]: Simplify 1 into 1 1.694 * [taylor]: Taking taylor expansion of x.re in x.im 1.694 * [backup-simplify]: Simplify x.re into x.re 1.694 * [backup-simplify]: Simplify (* 1 1) into 1 1.694 * [backup-simplify]: Simplify (* 1 x.re) into x.re 1.694 * [backup-simplify]: Simplify (/ 1 x.re) into (/ 1 x.re) 1.694 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.694 * [taylor]: Taking taylor expansion of x.re in x.re 1.694 * [backup-simplify]: Simplify 0 into 0 1.694 * [backup-simplify]: Simplify 1 into 1 1.695 * [backup-simplify]: Simplify (/ 1 1) into 1 1.695 * [backup-simplify]: Simplify 1 into 1 1.696 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.696 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 1.696 * [backup-simplify]: Simplify (- (+ (* (/ 1 x.re) (/ 0 x.re)))) into 0 1.696 * [taylor]: Taking taylor expansion of 0 in x.re 1.696 * [backup-simplify]: Simplify 0 into 0 1.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.697 * [backup-simplify]: Simplify 0 into 0 1.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 1.699 * [backup-simplify]: Simplify (- (+ (* (/ 1 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 1.699 * [taylor]: Taking taylor expansion of 0 in x.re 1.699 * [backup-simplify]: Simplify 0 into 0 1.699 * [backup-simplify]: Simplify 0 into 0 1.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.700 * [backup-simplify]: Simplify 0 into 0 1.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 1.703 * [backup-simplify]: Simplify (- (+ (* (/ 1 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 1.703 * [taylor]: Taking taylor expansion of 0 in x.re 1.703 * [backup-simplify]: Simplify 0 into 0 1.703 * [backup-simplify]: Simplify 0 into 0 1.703 * [backup-simplify]: Simplify 0 into 0 1.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.704 * [backup-simplify]: Simplify 0 into 0 1.704 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* (pow x.im 2) x.re) 1.705 * [backup-simplify]: Simplify (* (/ 1 (- x.im)) (* (/ 1 (- x.re)) (/ 1 (- x.im)))) into (/ -1 (* (pow x.im 2) x.re)) 1.705 * [approximate]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 1.705 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.re 1.705 * [taylor]: Taking taylor expansion of -1 in x.re 1.705 * [backup-simplify]: Simplify -1 into -1 1.705 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.705 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.705 * [taylor]: Taking taylor expansion of x.im in x.re 1.705 * [backup-simplify]: Simplify x.im into x.im 1.705 * [taylor]: Taking taylor expansion of x.re in x.re 1.705 * [backup-simplify]: Simplify 0 into 0 1.705 * [backup-simplify]: Simplify 1 into 1 1.705 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 1.705 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 1.705 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 1.706 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 1.706 * [backup-simplify]: Simplify (/ -1 (pow x.im 2)) into (/ -1 (pow x.im 2)) 1.706 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.im 1.706 * [taylor]: Taking taylor expansion of -1 in x.im 1.706 * [backup-simplify]: Simplify -1 into -1 1.706 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.706 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.706 * [taylor]: Taking taylor expansion of x.im in x.im 1.706 * [backup-simplify]: Simplify 0 into 0 1.706 * [backup-simplify]: Simplify 1 into 1 1.706 * [taylor]: Taking taylor expansion of x.re in x.im 1.706 * [backup-simplify]: Simplify x.re into x.re 1.707 * [backup-simplify]: Simplify (* 1 1) into 1 1.707 * [backup-simplify]: Simplify (* 1 x.re) into x.re 1.707 * [backup-simplify]: Simplify (/ -1 x.re) into (/ -1 x.re) 1.707 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.im 1.707 * [taylor]: Taking taylor expansion of -1 in x.im 1.707 * [backup-simplify]: Simplify -1 into -1 1.707 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.707 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.707 * [taylor]: Taking taylor expansion of x.im in x.im 1.707 * [backup-simplify]: Simplify 0 into 0 1.707 * [backup-simplify]: Simplify 1 into 1 1.707 * [taylor]: Taking taylor expansion of x.re in x.im 1.707 * [backup-simplify]: Simplify x.re into x.re 1.707 * [backup-simplify]: Simplify (* 1 1) into 1 1.707 * [backup-simplify]: Simplify (* 1 x.re) into x.re 1.708 * [backup-simplify]: Simplify (/ -1 x.re) into (/ -1 x.re) 1.708 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 1.708 * [taylor]: Taking taylor expansion of -1 in x.re 1.708 * [backup-simplify]: Simplify -1 into -1 1.708 * [taylor]: Taking taylor expansion of x.re in x.re 1.708 * [backup-simplify]: Simplify 0 into 0 1.708 * [backup-simplify]: Simplify 1 into 1 1.708 * [backup-simplify]: Simplify (/ -1 1) into -1 1.708 * [backup-simplify]: Simplify -1 into -1 1.709 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.709 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 1.710 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -1 x.re) (/ 0 x.re)))) into 0 1.710 * [taylor]: Taking taylor expansion of 0 in x.re 1.710 * [backup-simplify]: Simplify 0 into 0 1.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.711 * [backup-simplify]: Simplify 0 into 0 1.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 1.713 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -1 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 1.713 * [taylor]: Taking taylor expansion of 0 in x.re 1.713 * [backup-simplify]: Simplify 0 into 0 1.713 * [backup-simplify]: Simplify 0 into 0 1.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.714 * [backup-simplify]: Simplify 0 into 0 1.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 1.716 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -1 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 1.716 * [taylor]: Taking taylor expansion of 0 in x.re 1.716 * [backup-simplify]: Simplify 0 into 0 1.716 * [backup-simplify]: Simplify 0 into 0 1.716 * [backup-simplify]: Simplify 0 into 0 1.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.717 * [backup-simplify]: Simplify 0 into 0 1.717 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* (pow x.im 2) x.re) 1.718 * * * [progress]: simplifying candidates 1.719 * [simplify]: Simplifying: (* 3 (* x.im (* x.re x.im))) (* 3 (* x.im (* x.re x.im))) (* 3 (* x.im (* x.re x.im))) (+ (log 3) (+ (log x.im) (+ (log x.re) (log x.im)))) (+ (log 3) (+ (log x.im) (log (* x.re x.im)))) (+ (log 3) (log (* x.im (* x.re x.im)))) (log (* 3 (* x.im (* x.re x.im)))) (exp (* 3 (* x.im (* x.re x.im)))) (* (* (* 3 3) 3) (* (* (* x.im x.im) x.im) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))) (* (* (* 3 3) 3) (* (* (* x.im x.im) x.im) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))) (* (* (* 3 3) 3) (* (* (* x.im (* x.re x.im)) (* x.im (* x.re x.im))) (* x.im (* x.re x.im)))) (* (cbrt (* 3 (* x.im (* x.re x.im)))) (cbrt (* 3 (* x.im (* x.re x.im))))) (cbrt (* 3 (* x.im (* x.re x.im)))) (* (* (* 3 (* x.im (* x.re x.im))) (* 3 (* x.im (* x.re x.im)))) (* 3 (* x.im (* x.re x.im)))) (sqrt (* 3 (* x.im (* x.re x.im)))) (sqrt (* 3 (* x.im (* x.re x.im)))) (* 3 x.im) (* (cbrt 3) (* x.im (* x.re x.im))) (* (sqrt 3) (* x.im (* x.re x.im))) (* 3 (* x.im (* x.re x.im))) (* x.im (* x.re x.im)) (* x.im (* x.re x.im)) (+ (log x.im) (+ (log x.re) (log x.im))) (+ (log x.im) (log (* x.re x.im))) (log (* x.im (* x.re x.im))) (exp (* x.im (* x.re x.im))) (* (* (* x.im x.im) x.im) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* (* x.im x.im) x.im) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (cbrt (* x.im (* x.re x.im))) (cbrt (* x.im (* x.re x.im)))) (cbrt (* x.im (* x.re x.im))) (* (* (* x.im (* x.re x.im)) (* x.im (* x.re x.im))) (* x.im (* x.re x.im))) (sqrt (* x.im (* x.re x.im))) (sqrt (* x.im (* x.re x.im))) (* x.im x.re) (* (cbrt x.im) (* x.re x.im)) (* (sqrt x.im) (* x.re x.im)) (* x.im (* x.re x.im)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* (pow x.im 2) x.re) (* (pow x.im 2) x.re) (* (pow x.im 2) x.re) 3.205 * * * [progress]: adding candidates to table 3.334 * * [progress]: iteration 2 / 4 3.334 * * * [progress]: picking best candidate 3.360 * * * * [pick]: Picked # 3.360 * * * [progress]: localizing error 3.377 * * * [progress]: generating rewritten candidates 3.377 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 3.419 * * * [progress]: generating series expansions 3.419 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 3.420 * [backup-simplify]: Simplify (* (* 3 x.im) (* x.re x.im)) into (* 3 (* (pow x.im 2) x.re)) 3.420 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 3.420 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 3.420 * [taylor]: Taking taylor expansion of 3 in x.re 3.420 * [backup-simplify]: Simplify 3 into 3 3.420 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.420 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.420 * [taylor]: Taking taylor expansion of x.im in x.re 3.420 * [backup-simplify]: Simplify x.im into x.im 3.420 * [taylor]: Taking taylor expansion of x.re in x.re 3.420 * [backup-simplify]: Simplify 0 into 0 3.420 * [backup-simplify]: Simplify 1 into 1 3.420 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 3.420 * [taylor]: Taking taylor expansion of 3 in x.im 3.420 * [backup-simplify]: Simplify 3 into 3 3.420 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.420 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.420 * [taylor]: Taking taylor expansion of x.im in x.im 3.420 * [backup-simplify]: Simplify 0 into 0 3.420 * [backup-simplify]: Simplify 1 into 1 3.420 * [taylor]: Taking taylor expansion of x.re in x.im 3.420 * [backup-simplify]: Simplify x.re into x.re 3.420 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 3.420 * [taylor]: Taking taylor expansion of 3 in x.im 3.420 * [backup-simplify]: Simplify 3 into 3 3.420 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.420 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.420 * [taylor]: Taking taylor expansion of x.im in x.im 3.420 * [backup-simplify]: Simplify 0 into 0 3.420 * [backup-simplify]: Simplify 1 into 1 3.420 * [taylor]: Taking taylor expansion of x.re in x.im 3.420 * [backup-simplify]: Simplify x.re into x.re 3.421 * [backup-simplify]: Simplify (* 1 1) into 1 3.421 * [backup-simplify]: Simplify (* 1 x.re) into x.re 3.421 * [backup-simplify]: Simplify (* 3 x.re) into (* 3 x.re) 3.421 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 3.421 * [taylor]: Taking taylor expansion of 3 in x.re 3.421 * [backup-simplify]: Simplify 3 into 3 3.421 * [taylor]: Taking taylor expansion of x.re in x.re 3.421 * [backup-simplify]: Simplify 0 into 0 3.421 * [backup-simplify]: Simplify 1 into 1 3.421 * [backup-simplify]: Simplify (* 3 0) into 0 3.421 * [backup-simplify]: Simplify 0 into 0 3.422 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.422 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 3.422 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.re)) into 0 3.422 * [taylor]: Taking taylor expansion of 0 in x.re 3.422 * [backup-simplify]: Simplify 0 into 0 3.422 * [backup-simplify]: Simplify 0 into 0 3.423 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 3.423 * [backup-simplify]: Simplify 3 into 3 3.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 3.429 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.re))) into 0 3.429 * [taylor]: Taking taylor expansion of 0 in x.re 3.429 * [backup-simplify]: Simplify 0 into 0 3.429 * [backup-simplify]: Simplify 0 into 0 3.429 * [backup-simplify]: Simplify 0 into 0 3.430 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 3.430 * [backup-simplify]: Simplify 0 into 0 3.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 3.432 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 3.432 * [taylor]: Taking taylor expansion of 0 in x.re 3.432 * [backup-simplify]: Simplify 0 into 0 3.432 * [backup-simplify]: Simplify 0 into 0 3.432 * [backup-simplify]: Simplify 0 into 0 3.432 * [backup-simplify]: Simplify 0 into 0 3.432 * [backup-simplify]: Simplify (* 3 (* x.re (pow x.im 2))) into (* 3 (* (pow x.im 2) x.re)) 3.432 * [backup-simplify]: Simplify (* (* 3 (/ 1 x.im)) (* (/ 1 x.re) (/ 1 x.im))) into (/ 3 (* (pow x.im 2) x.re)) 3.432 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 3.432 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 3.432 * [taylor]: Taking taylor expansion of 3 in x.re 3.432 * [backup-simplify]: Simplify 3 into 3 3.432 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.432 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.432 * [taylor]: Taking taylor expansion of x.im in x.re 3.432 * [backup-simplify]: Simplify x.im into x.im 3.432 * [taylor]: Taking taylor expansion of x.re in x.re 3.432 * [backup-simplify]: Simplify 0 into 0 3.433 * [backup-simplify]: Simplify 1 into 1 3.433 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 3.433 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 3.433 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 3.433 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 3.433 * [backup-simplify]: Simplify (/ 3 (pow x.im 2)) into (/ 3 (pow x.im 2)) 3.433 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 3.433 * [taylor]: Taking taylor expansion of 3 in x.im 3.433 * [backup-simplify]: Simplify 3 into 3 3.433 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.433 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.433 * [taylor]: Taking taylor expansion of x.im in x.im 3.433 * [backup-simplify]: Simplify 0 into 0 3.433 * [backup-simplify]: Simplify 1 into 1 3.433 * [taylor]: Taking taylor expansion of x.re in x.im 3.433 * [backup-simplify]: Simplify x.re into x.re 3.434 * [backup-simplify]: Simplify (* 1 1) into 1 3.434 * [backup-simplify]: Simplify (* 1 x.re) into x.re 3.434 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 3.434 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 3.434 * [taylor]: Taking taylor expansion of 3 in x.im 3.434 * [backup-simplify]: Simplify 3 into 3 3.434 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.434 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.434 * [taylor]: Taking taylor expansion of x.im in x.im 3.434 * [backup-simplify]: Simplify 0 into 0 3.434 * [backup-simplify]: Simplify 1 into 1 3.434 * [taylor]: Taking taylor expansion of x.re in x.im 3.434 * [backup-simplify]: Simplify x.re into x.re 3.434 * [backup-simplify]: Simplify (* 1 1) into 1 3.434 * [backup-simplify]: Simplify (* 1 x.re) into x.re 3.434 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 3.434 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 3.434 * [taylor]: Taking taylor expansion of 3 in x.re 3.434 * [backup-simplify]: Simplify 3 into 3 3.434 * [taylor]: Taking taylor expansion of x.re in x.re 3.434 * [backup-simplify]: Simplify 0 into 0 3.434 * [backup-simplify]: Simplify 1 into 1 3.435 * [backup-simplify]: Simplify (/ 3 1) into 3 3.435 * [backup-simplify]: Simplify 3 into 3 3.435 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.436 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 3.436 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 3.436 * [taylor]: Taking taylor expansion of 0 in x.re 3.436 * [backup-simplify]: Simplify 0 into 0 3.437 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 3.437 * [backup-simplify]: Simplify 0 into 0 3.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 3.439 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 3.439 * [taylor]: Taking taylor expansion of 0 in x.re 3.439 * [backup-simplify]: Simplify 0 into 0 3.439 * [backup-simplify]: Simplify 0 into 0 3.440 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.440 * [backup-simplify]: Simplify 0 into 0 3.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 3.443 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 3.443 * [taylor]: Taking taylor expansion of 0 in x.re 3.443 * [backup-simplify]: Simplify 0 into 0 3.443 * [backup-simplify]: Simplify 0 into 0 3.443 * [backup-simplify]: Simplify 0 into 0 3.444 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.444 * [backup-simplify]: Simplify 0 into 0 3.444 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* 3 (* (pow x.im 2) x.re)) 3.445 * [backup-simplify]: Simplify (* (* 3 (/ 1 (- x.im))) (* (/ 1 (- x.re)) (/ 1 (- x.im)))) into (/ -3 (* (pow x.im 2) x.re)) 3.445 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 3.445 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 3.445 * [taylor]: Taking taylor expansion of -3 in x.re 3.445 * [backup-simplify]: Simplify -3 into -3 3.445 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.445 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.445 * [taylor]: Taking taylor expansion of x.im in x.re 3.445 * [backup-simplify]: Simplify x.im into x.im 3.445 * [taylor]: Taking taylor expansion of x.re in x.re 3.445 * [backup-simplify]: Simplify 0 into 0 3.445 * [backup-simplify]: Simplify 1 into 1 3.445 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 3.445 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 3.445 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 3.446 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 3.446 * [backup-simplify]: Simplify (/ -3 (pow x.im 2)) into (/ -3 (pow x.im 2)) 3.447 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 3.447 * [taylor]: Taking taylor expansion of -3 in x.im 3.447 * [backup-simplify]: Simplify -3 into -3 3.447 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.447 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.447 * [taylor]: Taking taylor expansion of x.im in x.im 3.447 * [backup-simplify]: Simplify 0 into 0 3.447 * [backup-simplify]: Simplify 1 into 1 3.447 * [taylor]: Taking taylor expansion of x.re in x.im 3.447 * [backup-simplify]: Simplify x.re into x.re 3.447 * [backup-simplify]: Simplify (* 1 1) into 1 3.447 * [backup-simplify]: Simplify (* 1 x.re) into x.re 3.447 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 3.447 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 3.447 * [taylor]: Taking taylor expansion of -3 in x.im 3.447 * [backup-simplify]: Simplify -3 into -3 3.447 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.447 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.448 * [taylor]: Taking taylor expansion of x.im in x.im 3.448 * [backup-simplify]: Simplify 0 into 0 3.448 * [backup-simplify]: Simplify 1 into 1 3.448 * [taylor]: Taking taylor expansion of x.re in x.im 3.448 * [backup-simplify]: Simplify x.re into x.re 3.448 * [backup-simplify]: Simplify (* 1 1) into 1 3.448 * [backup-simplify]: Simplify (* 1 x.re) into x.re 3.448 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 3.448 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re 3.448 * [taylor]: Taking taylor expansion of -3 in x.re 3.448 * [backup-simplify]: Simplify -3 into -3 3.448 * [taylor]: Taking taylor expansion of x.re in x.re 3.448 * [backup-simplify]: Simplify 0 into 0 3.448 * [backup-simplify]: Simplify 1 into 1 3.449 * [backup-simplify]: Simplify (/ -3 1) into -3 3.449 * [backup-simplify]: Simplify -3 into -3 3.450 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.450 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 3.451 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0 3.451 * [taylor]: Taking taylor expansion of 0 in x.re 3.451 * [backup-simplify]: Simplify 0 into 0 3.452 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0 3.452 * [backup-simplify]: Simplify 0 into 0 3.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 3.454 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 3.454 * [taylor]: Taking taylor expansion of 0 in x.re 3.454 * [backup-simplify]: Simplify 0 into 0 3.454 * [backup-simplify]: Simplify 0 into 0 3.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.455 * [backup-simplify]: Simplify 0 into 0 3.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 3.458 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 3.458 * [taylor]: Taking taylor expansion of 0 in x.re 3.458 * [backup-simplify]: Simplify 0 into 0 3.458 * [backup-simplify]: Simplify 0 into 0 3.458 * [backup-simplify]: Simplify 0 into 0 3.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.459 * [backup-simplify]: Simplify 0 into 0 3.459 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* 3 (* (pow x.im 2) x.re)) 3.459 * * * [progress]: simplifying candidates 3.460 * [simplify]: Simplifying: (* (* 3 x.im) (* x.re x.im)) (* (* 3 x.im) (* x.re x.im)) (* (* 3 x.im) (* x.re x.im)) (* (* 3 x.im) (* x.re x.im)) (+ (+ (log 3) (log x.im)) (+ (log x.re) (log x.im))) (+ (+ (log 3) (log x.im)) (log (* x.re x.im))) (+ (log (* 3 x.im)) (+ (log x.re) (log x.im))) (+ (log (* 3 x.im)) (log (* x.re x.im))) (log (* (* 3 x.im) (* x.re x.im))) (exp (* (* 3 x.im) (* x.re x.im))) (* (* (* (* 3 3) 3) (* (* x.im x.im) x.im)) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* (* (* 3 3) 3) (* (* x.im x.im) x.im)) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (* (* (* 3 x.im) (* 3 x.im)) (* 3 x.im)) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* (* (* 3 x.im) (* 3 x.im)) (* 3 x.im)) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (cbrt (* (* 3 x.im) (* x.re x.im))) (cbrt (* (* 3 x.im) (* x.re x.im)))) (cbrt (* (* 3 x.im) (* x.re x.im))) (* (* (* (* 3 x.im) (* x.re x.im)) (* (* 3 x.im) (* x.re x.im))) (* (* 3 x.im) (* x.re x.im))) (sqrt (* (* 3 x.im) (* x.re x.im))) (sqrt (* (* 3 x.im) (* x.re x.im))) (* (* 3 x.im) x.re) (* x.im (* x.re x.im)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) 4.975 * * * [progress]: adding candidates to table 5.021 * * [progress]: iteration 3 / 4 5.021 * * * [progress]: picking best candidate 5.028 * * * * [pick]: Picked # 5.028 * * * [progress]: localizing error 5.040 * * * [progress]: generating rewritten candidates 5.041 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 5.115 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 5.157 * * * [progress]: generating series expansions 5.157 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 5.158 * [backup-simplify]: Simplify (* (* (* 3 x.im) x.re) x.im) into (* 3 (* (pow x.im 2) x.re)) 5.158 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 5.158 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 5.158 * [taylor]: Taking taylor expansion of 3 in x.re 5.158 * [backup-simplify]: Simplify 3 into 3 5.158 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 5.158 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 5.158 * [taylor]: Taking taylor expansion of x.im in x.re 5.158 * [backup-simplify]: Simplify x.im into x.im 5.158 * [taylor]: Taking taylor expansion of x.re in x.re 5.158 * [backup-simplify]: Simplify 0 into 0 5.158 * [backup-simplify]: Simplify 1 into 1 5.158 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 5.158 * [taylor]: Taking taylor expansion of 3 in x.im 5.158 * [backup-simplify]: Simplify 3 into 3 5.158 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 5.158 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.158 * [taylor]: Taking taylor expansion of x.im in x.im 5.158 * [backup-simplify]: Simplify 0 into 0 5.158 * [backup-simplify]: Simplify 1 into 1 5.158 * [taylor]: Taking taylor expansion of x.re in x.im 5.158 * [backup-simplify]: Simplify x.re into x.re 5.158 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 5.158 * [taylor]: Taking taylor expansion of 3 in x.im 5.158 * [backup-simplify]: Simplify 3 into 3 5.158 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 5.159 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.159 * [taylor]: Taking taylor expansion of x.im in x.im 5.159 * [backup-simplify]: Simplify 0 into 0 5.159 * [backup-simplify]: Simplify 1 into 1 5.159 * [taylor]: Taking taylor expansion of x.re in x.im 5.159 * [backup-simplify]: Simplify x.re into x.re 5.160 * [backup-simplify]: Simplify (* 1 1) into 1 5.160 * [backup-simplify]: Simplify (* 1 x.re) into x.re 5.160 * [backup-simplify]: Simplify (* 3 x.re) into (* 3 x.re) 5.160 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 5.160 * [taylor]: Taking taylor expansion of 3 in x.re 5.160 * [backup-simplify]: Simplify 3 into 3 5.160 * [taylor]: Taking taylor expansion of x.re in x.re 5.160 * [backup-simplify]: Simplify 0 into 0 5.160 * [backup-simplify]: Simplify 1 into 1 5.160 * [backup-simplify]: Simplify (* 3 0) into 0 5.160 * [backup-simplify]: Simplify 0 into 0 5.161 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.162 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 5.162 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.re)) into 0 5.162 * [taylor]: Taking taylor expansion of 0 in x.re 5.162 * [backup-simplify]: Simplify 0 into 0 5.162 * [backup-simplify]: Simplify 0 into 0 5.163 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 5.163 * [backup-simplify]: Simplify 3 into 3 5.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.165 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 5.166 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.re))) into 0 5.166 * [taylor]: Taking taylor expansion of 0 in x.re 5.166 * [backup-simplify]: Simplify 0 into 0 5.166 * [backup-simplify]: Simplify 0 into 0 5.166 * [backup-simplify]: Simplify 0 into 0 5.168 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 5.168 * [backup-simplify]: Simplify 0 into 0 5.169 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.171 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.171 * [taylor]: Taking taylor expansion of 0 in x.re 5.171 * [backup-simplify]: Simplify 0 into 0 5.172 * [backup-simplify]: Simplify 0 into 0 5.172 * [backup-simplify]: Simplify 0 into 0 5.172 * [backup-simplify]: Simplify 0 into 0 5.172 * [backup-simplify]: Simplify (* 3 (* x.re (pow x.im 2))) into (* 3 (* (pow x.im 2) x.re)) 5.172 * [backup-simplify]: Simplify (* (* (* 3 (/ 1 x.im)) (/ 1 x.re)) (/ 1 x.im)) into (/ 3 (* (pow x.im 2) x.re)) 5.172 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 5.172 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 5.172 * [taylor]: Taking taylor expansion of 3 in x.re 5.172 * [backup-simplify]: Simplify 3 into 3 5.172 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 5.172 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 5.172 * [taylor]: Taking taylor expansion of x.im in x.re 5.172 * [backup-simplify]: Simplify x.im into x.im 5.172 * [taylor]: Taking taylor expansion of x.re in x.re 5.173 * [backup-simplify]: Simplify 0 into 0 5.173 * [backup-simplify]: Simplify 1 into 1 5.173 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 5.173 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 5.173 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 5.174 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 5.174 * [backup-simplify]: Simplify (/ 3 (pow x.im 2)) into (/ 3 (pow x.im 2)) 5.174 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 5.174 * [taylor]: Taking taylor expansion of 3 in x.im 5.174 * [backup-simplify]: Simplify 3 into 3 5.174 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 5.174 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.174 * [taylor]: Taking taylor expansion of x.im in x.im 5.175 * [backup-simplify]: Simplify 0 into 0 5.175 * [backup-simplify]: Simplify 1 into 1 5.175 * [taylor]: Taking taylor expansion of x.re in x.im 5.175 * [backup-simplify]: Simplify x.re into x.re 5.175 * [backup-simplify]: Simplify (* 1 1) into 1 5.175 * [backup-simplify]: Simplify (* 1 x.re) into x.re 5.175 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.176 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 5.176 * [taylor]: Taking taylor expansion of 3 in x.im 5.176 * [backup-simplify]: Simplify 3 into 3 5.176 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 5.176 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.176 * [taylor]: Taking taylor expansion of x.im in x.im 5.176 * [backup-simplify]: Simplify 0 into 0 5.176 * [backup-simplify]: Simplify 1 into 1 5.176 * [taylor]: Taking taylor expansion of x.re in x.im 5.176 * [backup-simplify]: Simplify x.re into x.re 5.176 * [backup-simplify]: Simplify (* 1 1) into 1 5.176 * [backup-simplify]: Simplify (* 1 x.re) into x.re 5.176 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.177 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 5.177 * [taylor]: Taking taylor expansion of 3 in x.re 5.177 * [backup-simplify]: Simplify 3 into 3 5.177 * [taylor]: Taking taylor expansion of x.re in x.re 5.177 * [backup-simplify]: Simplify 0 into 0 5.177 * [backup-simplify]: Simplify 1 into 1 5.177 * [backup-simplify]: Simplify (/ 3 1) into 3 5.177 * [backup-simplify]: Simplify 3 into 3 5.178 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.179 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 5.179 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 5.179 * [taylor]: Taking taylor expansion of 0 in x.re 5.179 * [backup-simplify]: Simplify 0 into 0 5.180 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.180 * [backup-simplify]: Simplify 0 into 0 5.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 5.182 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.182 * [taylor]: Taking taylor expansion of 0 in x.re 5.182 * [backup-simplify]: Simplify 0 into 0 5.182 * [backup-simplify]: Simplify 0 into 0 5.183 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.183 * [backup-simplify]: Simplify 0 into 0 5.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.186 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.186 * [taylor]: Taking taylor expansion of 0 in x.re 5.186 * [backup-simplify]: Simplify 0 into 0 5.186 * [backup-simplify]: Simplify 0 into 0 5.186 * [backup-simplify]: Simplify 0 into 0 5.187 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.187 * [backup-simplify]: Simplify 0 into 0 5.188 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* 3 (* (pow x.im 2) x.re)) 5.188 * [backup-simplify]: Simplify (* (* (* 3 (/ 1 (- x.im))) (/ 1 (- x.re))) (/ 1 (- x.im))) into (/ -3 (* (pow x.im 2) x.re)) 5.188 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 5.188 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 5.188 * [taylor]: Taking taylor expansion of -3 in x.re 5.188 * [backup-simplify]: Simplify -3 into -3 5.188 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 5.188 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 5.188 * [taylor]: Taking taylor expansion of x.im in x.re 5.188 * [backup-simplify]: Simplify x.im into x.im 5.188 * [taylor]: Taking taylor expansion of x.re in x.re 5.188 * [backup-simplify]: Simplify 0 into 0 5.188 * [backup-simplify]: Simplify 1 into 1 5.188 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 5.188 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 5.189 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 5.189 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 5.189 * [backup-simplify]: Simplify (/ -3 (pow x.im 2)) into (/ -3 (pow x.im 2)) 5.189 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 5.189 * [taylor]: Taking taylor expansion of -3 in x.im 5.189 * [backup-simplify]: Simplify -3 into -3 5.189 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 5.189 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.189 * [taylor]: Taking taylor expansion of x.im in x.im 5.190 * [backup-simplify]: Simplify 0 into 0 5.190 * [backup-simplify]: Simplify 1 into 1 5.190 * [taylor]: Taking taylor expansion of x.re in x.im 5.190 * [backup-simplify]: Simplify x.re into x.re 5.190 * [backup-simplify]: Simplify (* 1 1) into 1 5.190 * [backup-simplify]: Simplify (* 1 x.re) into x.re 5.190 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 5.190 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 5.190 * [taylor]: Taking taylor expansion of -3 in x.im 5.190 * [backup-simplify]: Simplify -3 into -3 5.190 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 5.190 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.190 * [taylor]: Taking taylor expansion of x.im in x.im 5.190 * [backup-simplify]: Simplify 0 into 0 5.190 * [backup-simplify]: Simplify 1 into 1 5.190 * [taylor]: Taking taylor expansion of x.re in x.im 5.190 * [backup-simplify]: Simplify x.re into x.re 5.191 * [backup-simplify]: Simplify (* 1 1) into 1 5.191 * [backup-simplify]: Simplify (* 1 x.re) into x.re 5.191 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 5.191 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re 5.191 * [taylor]: Taking taylor expansion of -3 in x.re 5.191 * [backup-simplify]: Simplify -3 into -3 5.191 * [taylor]: Taking taylor expansion of x.re in x.re 5.191 * [backup-simplify]: Simplify 0 into 0 5.191 * [backup-simplify]: Simplify 1 into 1 5.192 * [backup-simplify]: Simplify (/ -3 1) into -3 5.192 * [backup-simplify]: Simplify -3 into -3 5.192 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.193 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 5.193 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0 5.193 * [taylor]: Taking taylor expansion of 0 in x.re 5.193 * [backup-simplify]: Simplify 0 into 0 5.194 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0 5.194 * [backup-simplify]: Simplify 0 into 0 5.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 5.196 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.196 * [taylor]: Taking taylor expansion of 0 in x.re 5.196 * [backup-simplify]: Simplify 0 into 0 5.196 * [backup-simplify]: Simplify 0 into 0 5.197 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.197 * [backup-simplify]: Simplify 0 into 0 5.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.199 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.200 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.200 * [taylor]: Taking taylor expansion of 0 in x.re 5.200 * [backup-simplify]: Simplify 0 into 0 5.200 * [backup-simplify]: Simplify 0 into 0 5.200 * [backup-simplify]: Simplify 0 into 0 5.201 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.201 * [backup-simplify]: Simplify 0 into 0 5.201 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* 3 (* (pow x.im 2) x.re)) 5.201 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 5.202 * [backup-simplify]: Simplify (* (* 3 x.im) x.re) into (* 3 (* x.im x.re)) 5.202 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.im x.re) around 0 5.202 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 5.202 * [taylor]: Taking taylor expansion of 3 in x.re 5.202 * [backup-simplify]: Simplify 3 into 3 5.202 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.202 * [taylor]: Taking taylor expansion of x.im in x.re 5.202 * [backup-simplify]: Simplify x.im into x.im 5.202 * [taylor]: Taking taylor expansion of x.re in x.re 5.202 * [backup-simplify]: Simplify 0 into 0 5.202 * [backup-simplify]: Simplify 1 into 1 5.202 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 5.202 * [taylor]: Taking taylor expansion of 3 in x.im 5.202 * [backup-simplify]: Simplify 3 into 3 5.202 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.202 * [taylor]: Taking taylor expansion of x.im in x.im 5.202 * [backup-simplify]: Simplify 0 into 0 5.202 * [backup-simplify]: Simplify 1 into 1 5.202 * [taylor]: Taking taylor expansion of x.re in x.im 5.202 * [backup-simplify]: Simplify x.re into x.re 5.202 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 5.202 * [taylor]: Taking taylor expansion of 3 in x.im 5.202 * [backup-simplify]: Simplify 3 into 3 5.202 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.202 * [taylor]: Taking taylor expansion of x.im in x.im 5.202 * [backup-simplify]: Simplify 0 into 0 5.202 * [backup-simplify]: Simplify 1 into 1 5.202 * [taylor]: Taking taylor expansion of x.re in x.im 5.202 * [backup-simplify]: Simplify x.re into x.re 5.202 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.203 * [backup-simplify]: Simplify (* 3 0) into 0 5.203 * [taylor]: Taking taylor expansion of 0 in x.re 5.203 * [backup-simplify]: Simplify 0 into 0 5.203 * [backup-simplify]: Simplify 0 into 0 5.203 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.204 * [backup-simplify]: Simplify (+ (* 3 x.re) (* 0 0)) into (* 3 x.re) 5.204 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 5.204 * [taylor]: Taking taylor expansion of 3 in x.re 5.204 * [backup-simplify]: Simplify 3 into 3 5.204 * [taylor]: Taking taylor expansion of x.re in x.re 5.204 * [backup-simplify]: Simplify 0 into 0 5.204 * [backup-simplify]: Simplify 1 into 1 5.204 * [backup-simplify]: Simplify (* 3 0) into 0 5.204 * [backup-simplify]: Simplify 0 into 0 5.204 * [backup-simplify]: Simplify 0 into 0 5.205 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 5.206 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 x.re) (* 0 0))) into 0 5.206 * [taylor]: Taking taylor expansion of 0 in x.re 5.206 * [backup-simplify]: Simplify 0 into 0 5.206 * [backup-simplify]: Simplify 0 into 0 5.207 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 5.207 * [backup-simplify]: Simplify 3 into 3 5.207 * [backup-simplify]: Simplify 0 into 0 5.208 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.209 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0)))) into 0 5.209 * [taylor]: Taking taylor expansion of 0 in x.re 5.209 * [backup-simplify]: Simplify 0 into 0 5.209 * [backup-simplify]: Simplify 0 into 0 5.209 * [backup-simplify]: Simplify 0 into 0 5.210 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 5.210 * [backup-simplify]: Simplify 0 into 0 5.210 * [backup-simplify]: Simplify 0 into 0 5.211 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 5.213 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0))))) into 0 5.213 * [taylor]: Taking taylor expansion of 0 in x.re 5.213 * [backup-simplify]: Simplify 0 into 0 5.213 * [backup-simplify]: Simplify 0 into 0 5.213 * [backup-simplify]: Simplify (* 3 (* x.re x.im)) into (* 3 (* x.im x.re)) 5.213 * [backup-simplify]: Simplify (* (* 3 (/ 1 x.im)) (/ 1 x.re)) into (/ 3 (* x.im x.re)) 5.213 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 5.213 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 5.213 * [taylor]: Taking taylor expansion of 3 in x.re 5.213 * [backup-simplify]: Simplify 3 into 3 5.213 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.213 * [taylor]: Taking taylor expansion of x.im in x.re 5.213 * [backup-simplify]: Simplify x.im into x.im 5.213 * [taylor]: Taking taylor expansion of x.re in x.re 5.213 * [backup-simplify]: Simplify 0 into 0 5.213 * [backup-simplify]: Simplify 1 into 1 5.213 * [backup-simplify]: Simplify (* x.im 0) into 0 5.214 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 5.214 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 5.214 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.214 * [taylor]: Taking taylor expansion of 3 in x.im 5.214 * [backup-simplify]: Simplify 3 into 3 5.214 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.214 * [taylor]: Taking taylor expansion of x.im in x.im 5.214 * [backup-simplify]: Simplify 0 into 0 5.214 * [backup-simplify]: Simplify 1 into 1 5.214 * [taylor]: Taking taylor expansion of x.re in x.im 5.214 * [backup-simplify]: Simplify x.re into x.re 5.214 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.215 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.215 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.215 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.215 * [taylor]: Taking taylor expansion of 3 in x.im 5.215 * [backup-simplify]: Simplify 3 into 3 5.215 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.215 * [taylor]: Taking taylor expansion of x.im in x.im 5.215 * [backup-simplify]: Simplify 0 into 0 5.215 * [backup-simplify]: Simplify 1 into 1 5.215 * [taylor]: Taking taylor expansion of x.re in x.im 5.215 * [backup-simplify]: Simplify x.re into x.re 5.215 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.215 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.215 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.215 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 5.216 * [taylor]: Taking taylor expansion of 3 in x.re 5.216 * [backup-simplify]: Simplify 3 into 3 5.216 * [taylor]: Taking taylor expansion of x.re in x.re 5.216 * [backup-simplify]: Simplify 0 into 0 5.216 * [backup-simplify]: Simplify 1 into 1 5.216 * [backup-simplify]: Simplify (/ 3 1) into 3 5.216 * [backup-simplify]: Simplify 3 into 3 5.217 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 5.217 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 5.217 * [taylor]: Taking taylor expansion of 0 in x.re 5.217 * [backup-simplify]: Simplify 0 into 0 5.218 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.218 * [backup-simplify]: Simplify 0 into 0 5.219 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.220 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.220 * [taylor]: Taking taylor expansion of 0 in x.re 5.220 * [backup-simplify]: Simplify 0 into 0 5.220 * [backup-simplify]: Simplify 0 into 0 5.221 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.221 * [backup-simplify]: Simplify 0 into 0 5.222 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 5.223 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.223 * [taylor]: Taking taylor expansion of 0 in x.re 5.223 * [backup-simplify]: Simplify 0 into 0 5.223 * [backup-simplify]: Simplify 0 into 0 5.223 * [backup-simplify]: Simplify 0 into 0 5.224 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.224 * [backup-simplify]: Simplify 0 into 0 5.224 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (/ 1 (/ 1 x.im)))) into (* 3 (* x.im x.re)) 5.224 * [backup-simplify]: Simplify (* (* 3 (/ 1 (- x.im))) (/ 1 (- x.re))) into (/ 3 (* x.im x.re)) 5.224 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 5.224 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 5.224 * [taylor]: Taking taylor expansion of 3 in x.re 5.224 * [backup-simplify]: Simplify 3 into 3 5.224 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.225 * [taylor]: Taking taylor expansion of x.im in x.re 5.225 * [backup-simplify]: Simplify x.im into x.im 5.225 * [taylor]: Taking taylor expansion of x.re in x.re 5.225 * [backup-simplify]: Simplify 0 into 0 5.225 * [backup-simplify]: Simplify 1 into 1 5.225 * [backup-simplify]: Simplify (* x.im 0) into 0 5.225 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 5.225 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 5.225 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.225 * [taylor]: Taking taylor expansion of 3 in x.im 5.225 * [backup-simplify]: Simplify 3 into 3 5.225 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.225 * [taylor]: Taking taylor expansion of x.im in x.im 5.225 * [backup-simplify]: Simplify 0 into 0 5.225 * [backup-simplify]: Simplify 1 into 1 5.225 * [taylor]: Taking taylor expansion of x.re in x.im 5.226 * [backup-simplify]: Simplify x.re into x.re 5.226 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.226 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.226 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.226 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.226 * [taylor]: Taking taylor expansion of 3 in x.im 5.226 * [backup-simplify]: Simplify 3 into 3 5.226 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.226 * [taylor]: Taking taylor expansion of x.im in x.im 5.226 * [backup-simplify]: Simplify 0 into 0 5.226 * [backup-simplify]: Simplify 1 into 1 5.226 * [taylor]: Taking taylor expansion of x.re in x.im 5.226 * [backup-simplify]: Simplify x.re into x.re 5.226 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.227 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.227 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.227 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 5.227 * [taylor]: Taking taylor expansion of 3 in x.re 5.227 * [backup-simplify]: Simplify 3 into 3 5.227 * [taylor]: Taking taylor expansion of x.re in x.re 5.227 * [backup-simplify]: Simplify 0 into 0 5.227 * [backup-simplify]: Simplify 1 into 1 5.228 * [backup-simplify]: Simplify (/ 3 1) into 3 5.228 * [backup-simplify]: Simplify 3 into 3 5.229 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 5.229 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 5.229 * [taylor]: Taking taylor expansion of 0 in x.re 5.229 * [backup-simplify]: Simplify 0 into 0 5.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.230 * [backup-simplify]: Simplify 0 into 0 5.231 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.231 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.231 * [taylor]: Taking taylor expansion of 0 in x.re 5.231 * [backup-simplify]: Simplify 0 into 0 5.231 * [backup-simplify]: Simplify 0 into 0 5.232 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.232 * [backup-simplify]: Simplify 0 into 0 5.234 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 5.234 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.234 * [taylor]: Taking taylor expansion of 0 in x.re 5.234 * [backup-simplify]: Simplify 0 into 0 5.234 * [backup-simplify]: Simplify 0 into 0 5.234 * [backup-simplify]: Simplify 0 into 0 5.235 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.236 * [backup-simplify]: Simplify 0 into 0 5.236 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 (- x.re))) (/ 1 (/ 1 (- x.im))))) into (* 3 (* x.im x.re)) 5.236 * * * [progress]: simplifying candidates 5.237 * [simplify]: Simplifying: (* (* (* 3 x.im) x.re) x.im) (* (* (* 3 x.im) x.re) x.im) (* (* (* 3 x.im) x.re) x.im) (+ (+ (+ (log 3) (log x.im)) (log x.re)) (log x.im)) (+ (+ (log (* 3 x.im)) (log x.re)) (log x.im)) (+ (log (* (* 3 x.im) x.re)) (log x.im)) (log (* (* (* 3 x.im) x.re) x.im)) (exp (* (* (* 3 x.im) x.re) x.im)) (* (* (* (* (* 3 3) 3) (* (* x.im x.im) x.im)) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* (* (* (* 3 x.im) (* 3 x.im)) (* 3 x.im)) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* (* (* (* 3 x.im) x.re) (* (* 3 x.im) x.re)) (* (* 3 x.im) x.re)) (* (* x.im x.im) x.im)) (* (cbrt (* (* (* 3 x.im) x.re) x.im)) (cbrt (* (* (* 3 x.im) x.re) x.im))) (cbrt (* (* (* 3 x.im) x.re) x.im)) (* (* (* (* (* 3 x.im) x.re) x.im) (* (* (* 3 x.im) x.re) x.im)) (* (* (* 3 x.im) x.re) x.im)) (sqrt (* (* (* 3 x.im) x.re) x.im)) (sqrt (* (* (* 3 x.im) x.re) x.im)) (* (* (* 3 x.im) x.re) (* (cbrt x.im) (cbrt x.im))) (* (* (* 3 x.im) x.re) (sqrt x.im)) (* (* (* 3 x.im) x.re) 1) (* x.re x.im) (* (* 3 x.im) x.re) (* (* 3 x.im) x.re) (+ (+ (log 3) (log x.im)) (log x.re)) (+ (log (* 3 x.im)) (log 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 x.im) (* 3 x.im)) (* 3 x.im)) (* (* x.re x.re) 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 x.re) (cbrt x.re))) (* (* 3 x.im) (sqrt x.re)) (* (* 3 x.im) 1) (* x.im x.re) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) 6.060 * * * [progress]: adding candidates to table 6.147 * * [progress]: iteration 4 / 4 6.147 * * * [progress]: picking best candidate 6.163 * * * * [pick]: Picked # 6.163 * * * [progress]: localizing error 6.175 * * * [progress]: generating rewritten candidates 6.175 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 6.192 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 6.258 * * * [progress]: generating series expansions 6.258 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 6.259 * [backup-simplify]: Simplify (* 3 (* x.im x.re)) into (* 3 (* x.im x.re)) 6.259 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.im x.re) around 0 6.259 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 6.259 * [taylor]: Taking taylor expansion of 3 in x.re 6.259 * [backup-simplify]: Simplify 3 into 3 6.259 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 6.259 * [taylor]: Taking taylor expansion of x.im in x.re 6.259 * [backup-simplify]: Simplify x.im into x.im 6.259 * [taylor]: Taking taylor expansion of x.re in x.re 6.259 * [backup-simplify]: Simplify 0 into 0 6.259 * [backup-simplify]: Simplify 1 into 1 6.259 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 6.259 * [taylor]: Taking taylor expansion of 3 in x.im 6.259 * [backup-simplify]: Simplify 3 into 3 6.259 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 6.259 * [taylor]: Taking taylor expansion of x.im in x.im 6.259 * [backup-simplify]: Simplify 0 into 0 6.259 * [backup-simplify]: Simplify 1 into 1 6.259 * [taylor]: Taking taylor expansion of x.re in x.im 6.259 * [backup-simplify]: Simplify x.re into x.re 6.259 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 6.259 * [taylor]: Taking taylor expansion of 3 in x.im 6.259 * [backup-simplify]: Simplify 3 into 3 6.259 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 6.259 * [taylor]: Taking taylor expansion of x.im in x.im 6.259 * [backup-simplify]: Simplify 0 into 0 6.259 * [backup-simplify]: Simplify 1 into 1 6.259 * [taylor]: Taking taylor expansion of x.re in x.im 6.259 * [backup-simplify]: Simplify x.re into x.re 6.259 * [backup-simplify]: Simplify (* 0 x.re) into 0 6.260 * [backup-simplify]: Simplify (* 3 0) into 0 6.260 * [taylor]: Taking taylor expansion of 0 in x.re 6.260 * [backup-simplify]: Simplify 0 into 0 6.260 * [backup-simplify]: Simplify 0 into 0 6.260 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 6.260 * [backup-simplify]: Simplify (+ (* 3 x.re) (* 0 0)) into (* 3 x.re) 6.260 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 6.260 * [taylor]: Taking taylor expansion of 3 in x.re 6.260 * [backup-simplify]: Simplify 3 into 3 6.260 * [taylor]: Taking taylor expansion of x.re in x.re 6.260 * [backup-simplify]: Simplify 0 into 0 6.260 * [backup-simplify]: Simplify 1 into 1 6.261 * [backup-simplify]: Simplify (* 3 0) into 0 6.261 * [backup-simplify]: Simplify 0 into 0 6.261 * [backup-simplify]: Simplify 0 into 0 6.261 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 6.262 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 x.re) (* 0 0))) into 0 6.262 * [taylor]: Taking taylor expansion of 0 in x.re 6.262 * [backup-simplify]: Simplify 0 into 0 6.262 * [backup-simplify]: Simplify 0 into 0 6.262 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 6.262 * [backup-simplify]: Simplify 3 into 3 6.262 * [backup-simplify]: Simplify 0 into 0 6.263 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 6.264 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0)))) into 0 6.264 * [taylor]: Taking taylor expansion of 0 in x.re 6.264 * [backup-simplify]: Simplify 0 into 0 6.264 * [backup-simplify]: Simplify 0 into 0 6.264 * [backup-simplify]: Simplify 0 into 0 6.265 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 6.265 * [backup-simplify]: Simplify 0 into 0 6.265 * [backup-simplify]: Simplify 0 into 0 6.267 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 6.269 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0))))) into 0 6.269 * [taylor]: Taking taylor expansion of 0 in x.re 6.269 * [backup-simplify]: Simplify 0 into 0 6.269 * [backup-simplify]: Simplify 0 into 0 6.269 * [backup-simplify]: Simplify (* 3 (* x.re x.im)) into (* 3 (* x.im x.re)) 6.269 * [backup-simplify]: Simplify (* 3 (* (/ 1 x.im) (/ 1 x.re))) into (/ 3 (* x.im x.re)) 6.269 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 6.269 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 6.269 * [taylor]: Taking taylor expansion of 3 in x.re 6.269 * [backup-simplify]: Simplify 3 into 3 6.269 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 6.269 * [taylor]: Taking taylor expansion of x.im in x.re 6.269 * [backup-simplify]: Simplify x.im into x.im 6.269 * [taylor]: Taking taylor expansion of x.re in x.re 6.269 * [backup-simplify]: Simplify 0 into 0 6.269 * [backup-simplify]: Simplify 1 into 1 6.269 * [backup-simplify]: Simplify (* x.im 0) into 0 6.270 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 6.270 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 6.270 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 6.270 * [taylor]: Taking taylor expansion of 3 in x.im 6.270 * [backup-simplify]: Simplify 3 into 3 6.270 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 6.270 * [taylor]: Taking taylor expansion of x.im in x.im 6.270 * [backup-simplify]: Simplify 0 into 0 6.270 * [backup-simplify]: Simplify 1 into 1 6.270 * [taylor]: Taking taylor expansion of x.re in x.im 6.270 * [backup-simplify]: Simplify x.re into x.re 6.270 * [backup-simplify]: Simplify (* 0 x.re) into 0 6.271 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 6.271 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 6.271 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 6.271 * [taylor]: Taking taylor expansion of 3 in x.im 6.271 * [backup-simplify]: Simplify 3 into 3 6.271 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 6.271 * [taylor]: Taking taylor expansion of x.im in x.im 6.271 * [backup-simplify]: Simplify 0 into 0 6.271 * [backup-simplify]: Simplify 1 into 1 6.271 * [taylor]: Taking taylor expansion of x.re in x.im 6.271 * [backup-simplify]: Simplify x.re into x.re 6.271 * [backup-simplify]: Simplify (* 0 x.re) into 0 6.271 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 6.272 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 6.272 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 6.272 * [taylor]: Taking taylor expansion of 3 in x.re 6.272 * [backup-simplify]: Simplify 3 into 3 6.272 * [taylor]: Taking taylor expansion of x.re in x.re 6.272 * [backup-simplify]: Simplify 0 into 0 6.272 * [backup-simplify]: Simplify 1 into 1 6.272 * [backup-simplify]: Simplify (/ 3 1) into 3 6.272 * [backup-simplify]: Simplify 3 into 3 6.273 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 6.273 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 6.273 * [taylor]: Taking taylor expansion of 0 in x.re 6.273 * [backup-simplify]: Simplify 0 into 0 6.274 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 6.274 * [backup-simplify]: Simplify 0 into 0 6.275 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 6.276 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 6.276 * [taylor]: Taking taylor expansion of 0 in x.re 6.276 * [backup-simplify]: Simplify 0 into 0 6.276 * [backup-simplify]: Simplify 0 into 0 6.277 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.277 * [backup-simplify]: Simplify 0 into 0 6.278 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 6.279 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 6.279 * [taylor]: Taking taylor expansion of 0 in x.re 6.279 * [backup-simplify]: Simplify 0 into 0 6.279 * [backup-simplify]: Simplify 0 into 0 6.279 * [backup-simplify]: Simplify 0 into 0 6.280 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.280 * [backup-simplify]: Simplify 0 into 0 6.280 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (/ 1 (/ 1 x.im)))) into (* 3 (* x.im x.re)) 6.280 * [backup-simplify]: Simplify (* 3 (* (/ 1 (- x.im)) (/ 1 (- x.re)))) into (/ 3 (* x.im x.re)) 6.280 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 6.280 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 6.280 * [taylor]: Taking taylor expansion of 3 in x.re 6.280 * [backup-simplify]: Simplify 3 into 3 6.280 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 6.281 * [taylor]: Taking taylor expansion of x.im in x.re 6.281 * [backup-simplify]: Simplify x.im into x.im 6.281 * [taylor]: Taking taylor expansion of x.re in x.re 6.281 * [backup-simplify]: Simplify 0 into 0 6.281 * [backup-simplify]: Simplify 1 into 1 6.281 * [backup-simplify]: Simplify (* x.im 0) into 0 6.281 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 6.281 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 6.281 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 6.281 * [taylor]: Taking taylor expansion of 3 in x.im 6.281 * [backup-simplify]: Simplify 3 into 3 6.281 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 6.281 * [taylor]: Taking taylor expansion of x.im in x.im 6.281 * [backup-simplify]: Simplify 0 into 0 6.281 * [backup-simplify]: Simplify 1 into 1 6.281 * [taylor]: Taking taylor expansion of x.re in x.im 6.281 * [backup-simplify]: Simplify x.re into x.re 6.282 * [backup-simplify]: Simplify (* 0 x.re) into 0 6.282 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 6.282 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 6.282 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 6.282 * [taylor]: Taking taylor expansion of 3 in x.im 6.282 * [backup-simplify]: Simplify 3 into 3 6.282 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 6.282 * [taylor]: Taking taylor expansion of x.im in x.im 6.282 * [backup-simplify]: Simplify 0 into 0 6.282 * [backup-simplify]: Simplify 1 into 1 6.282 * [taylor]: Taking taylor expansion of x.re in x.im 6.282 * [backup-simplify]: Simplify x.re into x.re 6.282 * [backup-simplify]: Simplify (* 0 x.re) into 0 6.283 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 6.283 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 6.283 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 6.283 * [taylor]: Taking taylor expansion of 3 in x.re 6.283 * [backup-simplify]: Simplify 3 into 3 6.283 * [taylor]: Taking taylor expansion of x.re in x.re 6.283 * [backup-simplify]: Simplify 0 into 0 6.283 * [backup-simplify]: Simplify 1 into 1 6.284 * [backup-simplify]: Simplify (/ 3 1) into 3 6.284 * [backup-simplify]: Simplify 3 into 3 6.284 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 6.285 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 6.285 * [taylor]: Taking taylor expansion of 0 in x.re 6.285 * [backup-simplify]: Simplify 0 into 0 6.286 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 6.286 * [backup-simplify]: Simplify 0 into 0 6.287 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 6.287 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 6.287 * [taylor]: Taking taylor expansion of 0 in x.re 6.287 * [backup-simplify]: Simplify 0 into 0 6.287 * [backup-simplify]: Simplify 0 into 0 6.288 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.288 * [backup-simplify]: Simplify 0 into 0 6.290 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 6.290 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 6.290 * [taylor]: Taking taylor expansion of 0 in x.re 6.290 * [backup-simplify]: Simplify 0 into 0 6.290 * [backup-simplify]: Simplify 0 into 0 6.290 * [backup-simplify]: Simplify 0 into 0 6.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.291 * [backup-simplify]: Simplify 0 into 0 6.292 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 (- x.re))) (/ 1 (/ 1 (- x.im))))) into (* 3 (* x.im x.re)) 6.292 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 6.292 * [backup-simplify]: Simplify (* (* 3 (* x.im x.re)) x.im) into (* 3 (* (pow x.im 2) x.re)) 6.292 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 6.292 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 6.292 * [taylor]: Taking taylor expansion of 3 in x.re 6.292 * [backup-simplify]: Simplify 3 into 3 6.292 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.292 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.292 * [taylor]: Taking taylor expansion of x.im in x.re 6.292 * [backup-simplify]: Simplify x.im into x.im 6.292 * [taylor]: Taking taylor expansion of x.re in x.re 6.292 * [backup-simplify]: Simplify 0 into 0 6.292 * [backup-simplify]: Simplify 1 into 1 6.292 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 6.292 * [taylor]: Taking taylor expansion of 3 in x.im 6.292 * [backup-simplify]: Simplify 3 into 3 6.292 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 6.292 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.292 * [taylor]: Taking taylor expansion of x.im in x.im 6.292 * [backup-simplify]: Simplify 0 into 0 6.292 * [backup-simplify]: Simplify 1 into 1 6.292 * [taylor]: Taking taylor expansion of x.re in x.im 6.292 * [backup-simplify]: Simplify x.re into x.re 6.292 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 6.292 * [taylor]: Taking taylor expansion of 3 in x.im 6.293 * [backup-simplify]: Simplify 3 into 3 6.293 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 6.293 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.293 * [taylor]: Taking taylor expansion of x.im in x.im 6.293 * [backup-simplify]: Simplify 0 into 0 6.293 * [backup-simplify]: Simplify 1 into 1 6.293 * [taylor]: Taking taylor expansion of x.re in x.im 6.293 * [backup-simplify]: Simplify x.re into x.re 6.293 * [backup-simplify]: Simplify (* 1 1) into 1 6.293 * [backup-simplify]: Simplify (* 1 x.re) into x.re 6.293 * [backup-simplify]: Simplify (* 3 x.re) into (* 3 x.re) 6.293 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 6.293 * [taylor]: Taking taylor expansion of 3 in x.re 6.293 * [backup-simplify]: Simplify 3 into 3 6.293 * [taylor]: Taking taylor expansion of x.re in x.re 6.293 * [backup-simplify]: Simplify 0 into 0 6.293 * [backup-simplify]: Simplify 1 into 1 6.294 * [backup-simplify]: Simplify (* 3 0) into 0 6.294 * [backup-simplify]: Simplify 0 into 0 6.295 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.295 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 6.295 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x.re)) into 0 6.295 * [taylor]: Taking taylor expansion of 0 in x.re 6.295 * [backup-simplify]: Simplify 0 into 0 6.295 * [backup-simplify]: Simplify 0 into 0 6.296 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 6.296 * [backup-simplify]: Simplify 3 into 3 6.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 6.297 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 x.re))) into 0 6.297 * [taylor]: Taking taylor expansion of 0 in x.re 6.298 * [backup-simplify]: Simplify 0 into 0 6.298 * [backup-simplify]: Simplify 0 into 0 6.298 * [backup-simplify]: Simplify 0 into 0 6.298 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 6.298 * [backup-simplify]: Simplify 0 into 0 6.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 6.300 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 6.300 * [taylor]: Taking taylor expansion of 0 in x.re 6.300 * [backup-simplify]: Simplify 0 into 0 6.300 * [backup-simplify]: Simplify 0 into 0 6.300 * [backup-simplify]: Simplify 0 into 0 6.300 * [backup-simplify]: Simplify 0 into 0 6.300 * [backup-simplify]: Simplify (* 3 (* x.re (pow x.im 2))) into (* 3 (* (pow x.im 2) x.re)) 6.300 * [backup-simplify]: Simplify (* (* 3 (* (/ 1 x.im) (/ 1 x.re))) (/ 1 x.im)) into (/ 3 (* (pow x.im 2) x.re)) 6.301 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 6.301 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 6.301 * [taylor]: Taking taylor expansion of 3 in x.re 6.301 * [backup-simplify]: Simplify 3 into 3 6.301 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.301 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.301 * [taylor]: Taking taylor expansion of x.im in x.re 6.301 * [backup-simplify]: Simplify x.im into x.im 6.301 * [taylor]: Taking taylor expansion of x.re in x.re 6.301 * [backup-simplify]: Simplify 0 into 0 6.301 * [backup-simplify]: Simplify 1 into 1 6.301 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 6.301 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 6.301 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 6.301 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 6.301 * [backup-simplify]: Simplify (/ 3 (pow x.im 2)) into (/ 3 (pow x.im 2)) 6.301 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 6.301 * [taylor]: Taking taylor expansion of 3 in x.im 6.301 * [backup-simplify]: Simplify 3 into 3 6.301 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 6.301 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.301 * [taylor]: Taking taylor expansion of x.im in x.im 6.301 * [backup-simplify]: Simplify 0 into 0 6.301 * [backup-simplify]: Simplify 1 into 1 6.301 * [taylor]: Taking taylor expansion of x.re in x.im 6.301 * [backup-simplify]: Simplify x.re into x.re 6.302 * [backup-simplify]: Simplify (* 1 1) into 1 6.302 * [backup-simplify]: Simplify (* 1 x.re) into x.re 6.302 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 6.302 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 6.302 * [taylor]: Taking taylor expansion of 3 in x.im 6.302 * [backup-simplify]: Simplify 3 into 3 6.302 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 6.302 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.302 * [taylor]: Taking taylor expansion of x.im in x.im 6.302 * [backup-simplify]: Simplify 0 into 0 6.302 * [backup-simplify]: Simplify 1 into 1 6.302 * [taylor]: Taking taylor expansion of x.re in x.im 6.302 * [backup-simplify]: Simplify x.re into x.re 6.302 * [backup-simplify]: Simplify (* 1 1) into 1 6.302 * [backup-simplify]: Simplify (* 1 x.re) into x.re 6.302 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 6.302 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 6.302 * [taylor]: Taking taylor expansion of 3 in x.re 6.302 * [backup-simplify]: Simplify 3 into 3 6.302 * [taylor]: Taking taylor expansion of x.re in x.re 6.302 * [backup-simplify]: Simplify 0 into 0 6.302 * [backup-simplify]: Simplify 1 into 1 6.303 * [backup-simplify]: Simplify (/ 3 1) into 3 6.303 * [backup-simplify]: Simplify 3 into 3 6.303 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.303 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 6.303 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 6.303 * [taylor]: Taking taylor expansion of 0 in x.re 6.304 * [backup-simplify]: Simplify 0 into 0 6.304 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 6.304 * [backup-simplify]: Simplify 0 into 0 6.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 6.305 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 6.305 * [taylor]: Taking taylor expansion of 0 in x.re 6.305 * [backup-simplify]: Simplify 0 into 0 6.305 * [backup-simplify]: Simplify 0 into 0 6.306 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.306 * [backup-simplify]: Simplify 0 into 0 6.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 6.307 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 6.307 * [taylor]: Taking taylor expansion of 0 in x.re 6.307 * [backup-simplify]: Simplify 0 into 0 6.307 * [backup-simplify]: Simplify 0 into 0 6.307 * [backup-simplify]: Simplify 0 into 0 6.308 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.308 * [backup-simplify]: Simplify 0 into 0 6.308 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (pow (/ 1 x.im) -2))) into (* 3 (* (pow x.im 2) x.re)) 6.308 * [backup-simplify]: Simplify (* (* 3 (* (/ 1 (- x.im)) (/ 1 (- x.re)))) (/ 1 (- x.im))) into (/ -3 (* (pow x.im 2) x.re)) 6.308 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.im x.re) around 0 6.308 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 6.308 * [taylor]: Taking taylor expansion of -3 in x.re 6.308 * [backup-simplify]: Simplify -3 into -3 6.308 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.308 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.308 * [taylor]: Taking taylor expansion of x.im in x.re 6.308 * [backup-simplify]: Simplify x.im into x.im 6.309 * [taylor]: Taking taylor expansion of x.re in x.re 6.309 * [backup-simplify]: Simplify 0 into 0 6.309 * [backup-simplify]: Simplify 1 into 1 6.309 * [backup-simplify]: Simplify (* x.im x.im) into (pow x.im 2) 6.309 * [backup-simplify]: Simplify (* (pow x.im 2) 0) into 0 6.309 * [backup-simplify]: Simplify (+ (* x.im 0) (* 0 x.im)) into 0 6.309 * [backup-simplify]: Simplify (+ (* (pow x.im 2) 1) (* 0 0)) into (pow x.im 2) 6.309 * [backup-simplify]: Simplify (/ -3 (pow x.im 2)) into (/ -3 (pow x.im 2)) 6.309 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 6.309 * [taylor]: Taking taylor expansion of -3 in x.im 6.309 * [backup-simplify]: Simplify -3 into -3 6.309 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 6.309 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.309 * [taylor]: Taking taylor expansion of x.im in x.im 6.309 * [backup-simplify]: Simplify 0 into 0 6.309 * [backup-simplify]: Simplify 1 into 1 6.309 * [taylor]: Taking taylor expansion of x.re in x.im 6.309 * [backup-simplify]: Simplify x.re into x.re 6.310 * [backup-simplify]: Simplify (* 1 1) into 1 6.310 * [backup-simplify]: Simplify (* 1 x.re) into x.re 6.310 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 6.310 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 6.310 * [taylor]: Taking taylor expansion of -3 in x.im 6.310 * [backup-simplify]: Simplify -3 into -3 6.310 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 6.310 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.310 * [taylor]: Taking taylor expansion of x.im in x.im 6.310 * [backup-simplify]: Simplify 0 into 0 6.310 * [backup-simplify]: Simplify 1 into 1 6.310 * [taylor]: Taking taylor expansion of x.re in x.im 6.310 * [backup-simplify]: Simplify x.re into x.re 6.310 * [backup-simplify]: Simplify (* 1 1) into 1 6.310 * [backup-simplify]: Simplify (* 1 x.re) into x.re 6.310 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 6.310 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re 6.310 * [taylor]: Taking taylor expansion of -3 in x.re 6.310 * [backup-simplify]: Simplify -3 into -3 6.310 * [taylor]: Taking taylor expansion of x.re in x.re 6.310 * [backup-simplify]: Simplify 0 into 0 6.310 * [backup-simplify]: Simplify 1 into 1 6.311 * [backup-simplify]: Simplify (/ -3 1) into -3 6.311 * [backup-simplify]: Simplify -3 into -3 6.311 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.311 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 x.re)) into 0 6.311 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0 6.311 * [taylor]: Taking taylor expansion of 0 in x.re 6.311 * [backup-simplify]: Simplify 0 into 0 6.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0 6.312 * [backup-simplify]: Simplify 0 into 0 6.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 x.re))) into 0 6.313 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 6.313 * [taylor]: Taking taylor expansion of 0 in x.re 6.313 * [backup-simplify]: Simplify 0 into 0 6.313 * [backup-simplify]: Simplify 0 into 0 6.314 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.314 * [backup-simplify]: Simplify 0 into 0 6.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re)))) into 0 6.315 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 6.315 * [taylor]: Taking taylor expansion of 0 in x.re 6.315 * [backup-simplify]: Simplify 0 into 0 6.315 * [backup-simplify]: Simplify 0 into 0 6.315 * [backup-simplify]: Simplify 0 into 0 6.316 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.316 * [backup-simplify]: Simplify 0 into 0 6.316 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.re))) (pow (/ 1 (- x.im)) -2))) into (* 3 (* (pow x.im 2) x.re)) 6.316 * * * [progress]: simplifying candidates 6.317 * [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.im) (* (* 3 (* x.im x.re)) x.im) (* (* 3 (* x.im x.re)) x.im) (+ (+ (log 3) (+ (log x.im) (log x.re))) (log x.im)) (+ (+ (log 3) (log (* x.im x.re))) (log x.im)) (+ (log (* 3 (* x.im x.re))) (log x.im)) (log (* (* 3 (* x.im x.re)) x.im)) (exp (* (* 3 (* x.im x.re)) x.im)) (* (* (* (* 3 3) 3) (* (* (* x.im x.im) x.im) (* (* x.re x.re) x.re))) (* (* x.im x.im) x.im)) (* (* (* (* 3 3) 3) (* (* (* x.im x.re) (* x.im x.re)) (* x.im x.re))) (* (* x.im x.im) x.im)) (* (* (* (* 3 (* x.im x.re)) (* 3 (* x.im x.re))) (* 3 (* x.im x.re))) (* (* x.im x.im) x.im)) (* (cbrt (* (* 3 (* x.im x.re)) x.im)) (cbrt (* (* 3 (* x.im x.re)) x.im))) (cbrt (* (* 3 (* x.im x.re)) x.im)) (* (* (* (* 3 (* x.im x.re)) x.im) (* (* 3 (* x.im x.re)) x.im)) (* (* 3 (* x.im x.re)) x.im)) (sqrt (* (* 3 (* x.im x.re)) x.im)) (sqrt (* (* 3 (* x.im x.re)) x.im)) (* (* 3 (* x.im x.re)) (* (cbrt x.im) (cbrt x.im))) (* (* 3 (* x.im x.re)) (sqrt x.im)) (* (* 3 (* x.im x.re)) 1) (* (* x.im x.re) x.im) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) 6.948 * * * [progress]: adding candidates to table 7.037 * [progress]: [Phase 3 of 3] Extracting. 7.037 * * [regime]: Finding splitpoints for: (# # # # # # #) 7.040 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re) 7.040 * * * * [regimes]: Trying to branch on x.im from (# # # # # # #) 7.067 * * * * [regimes]: Trying to branch on x.re from (# # # # # # #) 7.100 * * * [regime]: Found split indices: #