0.837 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.101 * * * [progress]: [2/2] Setting up program.
0.107 * [progress]: [Phase 2 of 3] Improving.
0.109 * [simplify]: Simplifying:
  (* 0.5 (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re))))
0.110 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.110 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.111 * * [simplify]: Extracting # 2 : cost  3  inf +  1
0.111 * * [simplify]: Extracting # 3 : cost  5  inf +  1
0.111 * * [simplify]: Extracting # 4 : cost  6  inf +  2
0.111 * * [simplify]: Extracting # 5 : cost  6  inf +  3
0.111 * * [simplify]: Extracting # 6 : cost  8  inf +  3
0.111 * * [simplify]: Extracting # 7 : cost  8  inf +  44
0.111 * * [simplify]: Extracting # 8 : cost  0  inf +  1422
0.111 * * [simplify]: iteration  0 :  12  enodes  (cost  324 )
0.118 * * [simplify]: Extracting # 0 : cost  0  inf +  1422
0.118 * * [simplify]: Extracting # 1 : cost  1  inf +  1422
0.118 * * [simplify]: Extracting # 2 : cost  0  inf +  1463
0.118 * * [simplify]: iteration  1 :  17  enodes  (cost  324 )
0.121 * * [simplify]: Extracting # 0 : cost  0  inf +  1463
0.121 * * [simplify]: Extracting # 1 : cost  4  inf +  1463
0.121 * * [simplify]: Extracting # 2 : cost  0  inf +  2033
0.122 * * [simplify]: iteration  2 :  24  enodes  (cost  324 )
0.126 * * [simplify]: Extracting # 0 : cost  0  inf +  2033
0.126 * * [simplify]: Extracting # 1 : cost  2  inf +  2033
0.127 * * [simplify]: Extracting # 2 : cost  0  inf +  2117
0.127 * * [simplify]: iteration  3 :  30  enodes  (cost  324 )
0.547 * * [simplify]: Extracting # 0 : cost  0  inf +  2117
0.548 * * [simplify]: Extracting # 1 : cost  1  inf +  2117
0.548 * * [simplify]: Extracting # 2 : cost  0  inf +  2158
0.549 * * [simplify]: iteration  4 :  35  enodes  (cost  324 )
0.558 * * [simplify]: Extracting # 0 : cost  0  inf +  2158
0.559 * * [simplify]: iteration complete:  35  enodes  (cost  324 )
0.559 * [simplify]: Simplified to:
  (* 0.5 (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re))))
0.562 * * [progress]: iteration 1 / 4
0.562 * * * [progress]: picking best candidate
0.569 * * * * [pick]: Picked  #<alt (λ (re im) (* 0.5 (sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))))>
0.569 * * * [progress]: localizing error
0.602 * * * [progress]: generating rewritten candidates
0.602 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 2 1)
0.616 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1 2)
0.674 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 2 1 1)
0.691 * * * [progress]: generating series expansions
0.691 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 2 1)
0.696 * [backup-simplify]: Simplify (sqrt (+ (* re re) (* im im))) into (sqrt (+ (pow im 2) (pow re 2)))
0.696 * [approximate]: Taking taylor expansion of (sqrt (+ (pow im 2) (pow re 2))) in (re im) around 0
0.697 * [taylor]: Taking taylor expansion of (sqrt (+ (pow im 2) (pow re 2))) in im
0.697 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in im
0.697 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.697 * [taylor]: Taking taylor expansion of im in im
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 1 into 1
0.697 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.697 * [taylor]: Taking taylor expansion of re in im
0.697 * [backup-simplify]: Simplify re into re
0.698 * [backup-simplify]: Simplify (* re re) into (pow re 2)
0.698 * [backup-simplify]: Simplify (+ 0 (pow re 2)) into (pow re 2)
0.699 * [backup-simplify]: Simplify (sqrt (pow re 2)) into re
0.699 * [backup-simplify]: Simplify (+ (* re 0) (* 0 re)) into 0
0.699 * [backup-simplify]: Simplify (+ 0 0) into 0
0.699 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow re 2)))) into 0
0.699 * [taylor]: Taking taylor expansion of (sqrt (+ (pow im 2) (pow re 2))) in re
0.699 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in re
0.699 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.699 * [taylor]: Taking taylor expansion of im in re
0.700 * [backup-simplify]: Simplify im into im
0.700 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.700 * [taylor]: Taking taylor expansion of re in re
0.700 * [backup-simplify]: Simplify 0 into 0
0.700 * [backup-simplify]: Simplify 1 into 1
0.700 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.700 * [backup-simplify]: Simplify (+ (pow im 2) 0) into (pow im 2)
0.700 * [backup-simplify]: Simplify (sqrt (pow im 2)) into im
0.700 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.700 * [backup-simplify]: Simplify (+ 0 0) into 0
0.700 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow im 2)))) into 0
0.700 * [taylor]: Taking taylor expansion of (sqrt (+ (pow im 2) (pow re 2))) in re
0.700 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in re
0.700 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.700 * [taylor]: Taking taylor expansion of im in re
0.700 * [backup-simplify]: Simplify im into im
0.700 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.700 * [taylor]: Taking taylor expansion of re in re
0.700 * [backup-simplify]: Simplify 0 into 0
0.701 * [backup-simplify]: Simplify 1 into 1
0.701 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.701 * [backup-simplify]: Simplify (+ (pow im 2) 0) into (pow im 2)
0.701 * [backup-simplify]: Simplify (sqrt (pow im 2)) into im
0.701 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.701 * [backup-simplify]: Simplify (+ 0 0) into 0
0.701 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow im 2)))) into 0
0.702 * [taylor]: Taking taylor expansion of im in im
0.702 * [backup-simplify]: Simplify 0 into 0
0.702 * [backup-simplify]: Simplify 1 into 1
0.702 * [backup-simplify]: Simplify 0 into 0
0.702 * [taylor]: Taking taylor expansion of 0 in im
0.702 * [backup-simplify]: Simplify 0 into 0
0.703 * [backup-simplify]: Simplify 0 into 0
0.703 * [backup-simplify]: Simplify 1 into 1
0.703 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
0.704 * [backup-simplify]: Simplify (* 1 1) into 1
0.704 * [backup-simplify]: Simplify (+ 0 1) into 1
0.705 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 im)) into (/ 1/2 im)
0.705 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
0.705 * [taylor]: Taking taylor expansion of 1/2 in im
0.705 * [backup-simplify]: Simplify 1/2 into 1/2
0.705 * [taylor]: Taking taylor expansion of im in im
0.705 * [backup-simplify]: Simplify 0 into 0
0.705 * [backup-simplify]: Simplify 1 into 1
0.705 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
0.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
0.706 * [backup-simplify]: Simplify 0 into 0
0.706 * [backup-simplify]: Simplify 0 into 0
0.706 * [backup-simplify]: Simplify 0 into 0
0.707 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
0.707 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.707 * [backup-simplify]: Simplify (+ 0 0) into 0
0.707 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 im))))) (* 2 im)) into 0
0.708 * [taylor]: Taking taylor expansion of 0 in im
0.708 * [backup-simplify]: Simplify 0 into 0
0.708 * [backup-simplify]: Simplify 0 into 0
0.708 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.708 * [backup-simplify]: Simplify 0 into 0
0.708 * [backup-simplify]: Simplify 0 into 0
0.708 * [backup-simplify]: Simplify (* 1 (* im 1)) into im
0.709 * [backup-simplify]: Simplify (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) into (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))))
0.709 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in (re im) around 0
0.709 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in im
0.709 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
0.709 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.709 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.709 * [taylor]: Taking taylor expansion of re in im
0.709 * [backup-simplify]: Simplify re into re
0.709 * [backup-simplify]: Simplify (* re re) into (pow re 2)
0.709 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
0.709 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.709 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.709 * [taylor]: Taking taylor expansion of im in im
0.709 * [backup-simplify]: Simplify 0 into 0
0.709 * [backup-simplify]: Simplify 1 into 1
0.709 * [backup-simplify]: Simplify (* 1 1) into 1
0.709 * [backup-simplify]: Simplify (/ 1 1) into 1
0.710 * [backup-simplify]: Simplify (+ 0 1) into 1
0.710 * [backup-simplify]: Simplify (sqrt 1) into 1
0.711 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.711 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.711 * [backup-simplify]: Simplify (+ 0 0) into 0
0.712 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.712 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re
0.712 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
0.712 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.712 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.712 * [taylor]: Taking taylor expansion of re in re
0.712 * [backup-simplify]: Simplify 0 into 0
0.712 * [backup-simplify]: Simplify 1 into 1
0.713 * [backup-simplify]: Simplify (* 1 1) into 1
0.713 * [backup-simplify]: Simplify (/ 1 1) into 1
0.713 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.713 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.713 * [taylor]: Taking taylor expansion of im in re
0.713 * [backup-simplify]: Simplify im into im
0.713 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.714 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.714 * [backup-simplify]: Simplify (+ 1 0) into 1
0.714 * [backup-simplify]: Simplify (sqrt 1) into 1
0.715 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.716 * [backup-simplify]: Simplify (+ 0 0) into 0
0.717 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.717 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re
0.717 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
0.717 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.717 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.717 * [taylor]: Taking taylor expansion of re in re
0.717 * [backup-simplify]: Simplify 0 into 0
0.717 * [backup-simplify]: Simplify 1 into 1
0.717 * [backup-simplify]: Simplify (* 1 1) into 1
0.718 * [backup-simplify]: Simplify (/ 1 1) into 1
0.718 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.718 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.718 * [taylor]: Taking taylor expansion of im in re
0.718 * [backup-simplify]: Simplify im into im
0.718 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.718 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.719 * [backup-simplify]: Simplify (+ 1 0) into 1
0.719 * [backup-simplify]: Simplify (sqrt 1) into 1
0.720 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.721 * [backup-simplify]: Simplify (+ 0 0) into 0
0.721 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.722 * [taylor]: Taking taylor expansion of 1 in im
0.722 * [backup-simplify]: Simplify 1 into 1
0.722 * [taylor]: Taking taylor expansion of 0 in im
0.722 * [backup-simplify]: Simplify 0 into 0
0.722 * [backup-simplify]: Simplify 1 into 1
0.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.724 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow im 2))) into (/ 1 (pow im 2))
0.725 * [backup-simplify]: Simplify (/ (- (/ 1 (pow im 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow im 2))
0.725 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.725 * [taylor]: Taking taylor expansion of 1/2 in im
0.725 * [backup-simplify]: Simplify 1/2 into 1/2
0.725 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.725 * [taylor]: Taking taylor expansion of im in im
0.725 * [backup-simplify]: Simplify 0 into 0
0.726 * [backup-simplify]: Simplify 1 into 1
0.726 * [backup-simplify]: Simplify (* 1 1) into 1
0.726 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
0.727 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.728 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
0.728 * [backup-simplify]: Simplify 0 into 0
0.728 * [backup-simplify]: Simplify 0 into 0
0.728 * [backup-simplify]: Simplify 0 into 0
0.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.730 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.731 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
0.731 * [backup-simplify]: Simplify (+ 0 0) into 0
0.732 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow im 2)))))) (* 2 1)) into 0
0.732 * [taylor]: Taking taylor expansion of 0 in im
0.732 * [backup-simplify]: Simplify 0 into 0
0.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.734 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.734 * [backup-simplify]: Simplify 0 into 0
0.734 * [backup-simplify]: Simplify 0 into 0
0.734 * [backup-simplify]: Simplify 0 into 0
0.734 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 re)))) into re
0.734 * [backup-simplify]: Simplify (sqrt (+ (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im))))) into (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))))
0.734 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in (re im) around 0
0.735 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in im
0.735 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
0.735 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.735 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.735 * [taylor]: Taking taylor expansion of re in im
0.735 * [backup-simplify]: Simplify re into re
0.735 * [backup-simplify]: Simplify (* re re) into (pow re 2)
0.735 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
0.735 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.735 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.735 * [taylor]: Taking taylor expansion of im in im
0.735 * [backup-simplify]: Simplify 0 into 0
0.735 * [backup-simplify]: Simplify 1 into 1
0.735 * [backup-simplify]: Simplify (* 1 1) into 1
0.736 * [backup-simplify]: Simplify (/ 1 1) into 1
0.736 * [backup-simplify]: Simplify (+ 0 1) into 1
0.737 * [backup-simplify]: Simplify (sqrt 1) into 1
0.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.738 * [backup-simplify]: Simplify (+ 0 0) into 0
0.739 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.739 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re
0.739 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
0.739 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.739 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.739 * [taylor]: Taking taylor expansion of re in re
0.739 * [backup-simplify]: Simplify 0 into 0
0.739 * [backup-simplify]: Simplify 1 into 1
0.740 * [backup-simplify]: Simplify (* 1 1) into 1
0.740 * [backup-simplify]: Simplify (/ 1 1) into 1
0.740 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.740 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.740 * [taylor]: Taking taylor expansion of im in re
0.740 * [backup-simplify]: Simplify im into im
0.740 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.740 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.741 * [backup-simplify]: Simplify (+ 1 0) into 1
0.741 * [backup-simplify]: Simplify (sqrt 1) into 1
0.742 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.743 * [backup-simplify]: Simplify (+ 0 0) into 0
0.743 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.744 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re
0.744 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
0.744 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.744 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.744 * [taylor]: Taking taylor expansion of re in re
0.744 * [backup-simplify]: Simplify 0 into 0
0.744 * [backup-simplify]: Simplify 1 into 1
0.744 * [backup-simplify]: Simplify (* 1 1) into 1
0.744 * [backup-simplify]: Simplify (/ 1 1) into 1
0.744 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.744 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.744 * [taylor]: Taking taylor expansion of im in re
0.744 * [backup-simplify]: Simplify im into im
0.744 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.744 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.745 * [backup-simplify]: Simplify (+ 1 0) into 1
0.745 * [backup-simplify]: Simplify (sqrt 1) into 1
0.745 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.746 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.746 * [backup-simplify]: Simplify (+ 0 0) into 0
0.746 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.747 * [taylor]: Taking taylor expansion of 1 in im
0.747 * [backup-simplify]: Simplify 1 into 1
0.747 * [taylor]: Taking taylor expansion of 0 in im
0.747 * [backup-simplify]: Simplify 0 into 0
0.747 * [backup-simplify]: Simplify 1 into 1
0.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.748 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow im 2))) into (/ 1 (pow im 2))
0.749 * [backup-simplify]: Simplify (/ (- (/ 1 (pow im 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow im 2))
0.749 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.749 * [taylor]: Taking taylor expansion of 1/2 in im
0.749 * [backup-simplify]: Simplify 1/2 into 1/2
0.749 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.749 * [taylor]: Taking taylor expansion of im in im
0.749 * [backup-simplify]: Simplify 0 into 0
0.749 * [backup-simplify]: Simplify 1 into 1
0.749 * [backup-simplify]: Simplify (* 1 1) into 1
0.749 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
0.750 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
0.750 * [backup-simplify]: Simplify 0 into 0
0.750 * [backup-simplify]: Simplify 0 into 0
0.750 * [backup-simplify]: Simplify 0 into 0
0.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.752 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.752 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
0.753 * [backup-simplify]: Simplify (+ 0 0) into 0
0.753 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow im 2)))))) (* 2 1)) into 0
0.753 * [taylor]: Taking taylor expansion of 0 in im
0.753 * [backup-simplify]: Simplify 0 into 0
0.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.755 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.755 * [backup-simplify]: Simplify 0 into 0
0.755 * [backup-simplify]: Simplify 0 into 0
0.755 * [backup-simplify]: Simplify 0 into 0
0.755 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 (- re))))) into (* -1 re)
0.755 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1 2)
0.755 * [backup-simplify]: Simplify (- (sqrt (+ (* re re) (* im im))) re) into (- (sqrt (+ (pow im 2) (pow re 2))) re)
0.755 * [approximate]: Taking taylor expansion of (- (sqrt (+ (pow im 2) (pow re 2))) re) in (re im) around 0
0.755 * [taylor]: Taking taylor expansion of (- (sqrt (+ (pow im 2) (pow re 2))) re) in im
0.755 * [taylor]: Taking taylor expansion of (sqrt (+ (pow im 2) (pow re 2))) in im
0.755 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in im
0.755 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.755 * [taylor]: Taking taylor expansion of im in im
0.755 * [backup-simplify]: Simplify 0 into 0
0.755 * [backup-simplify]: Simplify 1 into 1
0.755 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.755 * [taylor]: Taking taylor expansion of re in im
0.755 * [backup-simplify]: Simplify re into re
0.755 * [backup-simplify]: Simplify (* re re) into (pow re 2)
0.755 * [backup-simplify]: Simplify (+ 0 (pow re 2)) into (pow re 2)
0.755 * [backup-simplify]: Simplify (sqrt (pow re 2)) into re
0.755 * [backup-simplify]: Simplify (+ (* re 0) (* 0 re)) into 0
0.756 * [backup-simplify]: Simplify (+ 0 0) into 0
0.756 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow re 2)))) into 0
0.756 * [taylor]: Taking taylor expansion of re in im
0.756 * [backup-simplify]: Simplify re into re
0.756 * [taylor]: Taking taylor expansion of (- (sqrt (+ (pow im 2) (pow re 2))) re) in re
0.756 * [taylor]: Taking taylor expansion of (sqrt (+ (pow im 2) (pow re 2))) in re
0.756 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in re
0.756 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.756 * [taylor]: Taking taylor expansion of im in re
0.756 * [backup-simplify]: Simplify im into im
0.756 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.756 * [taylor]: Taking taylor expansion of re in re
0.756 * [backup-simplify]: Simplify 0 into 0
0.756 * [backup-simplify]: Simplify 1 into 1
0.756 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.756 * [backup-simplify]: Simplify (+ (pow im 2) 0) into (pow im 2)
0.756 * [backup-simplify]: Simplify (sqrt (pow im 2)) into im
0.756 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.756 * [backup-simplify]: Simplify (+ 0 0) into 0
0.757 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow im 2)))) into 0
0.757 * [taylor]: Taking taylor expansion of re in re
0.757 * [backup-simplify]: Simplify 0 into 0
0.757 * [backup-simplify]: Simplify 1 into 1
0.757 * [taylor]: Taking taylor expansion of (- (sqrt (+ (pow im 2) (pow re 2))) re) in re
0.757 * [taylor]: Taking taylor expansion of (sqrt (+ (pow im 2) (pow re 2))) in re
0.757 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in re
0.757 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.757 * [taylor]: Taking taylor expansion of im in re
0.757 * [backup-simplify]: Simplify im into im
0.757 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.757 * [taylor]: Taking taylor expansion of re in re
0.757 * [backup-simplify]: Simplify 0 into 0
0.757 * [backup-simplify]: Simplify 1 into 1
0.757 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.757 * [backup-simplify]: Simplify (+ (pow im 2) 0) into (pow im 2)
0.757 * [backup-simplify]: Simplify (sqrt (pow im 2)) into im
0.757 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.757 * [backup-simplify]: Simplify (+ 0 0) into 0
0.757 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow im 2)))) into 0
0.757 * [taylor]: Taking taylor expansion of re in re
0.757 * [backup-simplify]: Simplify 0 into 0
0.757 * [backup-simplify]: Simplify 1 into 1
0.758 * [backup-simplify]: Simplify (- 0) into 0
0.758 * [backup-simplify]: Simplify (+ im 0) into im
0.758 * [taylor]: Taking taylor expansion of im in im
0.758 * [backup-simplify]: Simplify 0 into 0
0.758 * [backup-simplify]: Simplify 1 into 1
0.758 * [backup-simplify]: Simplify 0 into 0
0.758 * [backup-simplify]: Simplify (- 1) into -1
0.758 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.758 * [taylor]: Taking taylor expansion of -1 in im
0.758 * [backup-simplify]: Simplify -1 into -1
0.758 * [backup-simplify]: Simplify -1 into -1
0.758 * [backup-simplify]: Simplify 1 into 1
0.759 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
0.759 * [backup-simplify]: Simplify (* 1 1) into 1
0.759 * [backup-simplify]: Simplify (+ 0 1) into 1
0.760 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 im)) into (/ 1/2 im)
0.760 * [backup-simplify]: Simplify (- 0) into 0
0.760 * [backup-simplify]: Simplify (+ (/ 1/2 im) 0) into (* 1/2 (/ 1 im))
0.760 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 im)) in im
0.760 * [taylor]: Taking taylor expansion of 1/2 in im
0.760 * [backup-simplify]: Simplify 1/2 into 1/2
0.760 * [taylor]: Taking taylor expansion of (/ 1 im) in im
0.760 * [taylor]: Taking taylor expansion of im in im
0.760 * [backup-simplify]: Simplify 0 into 0
0.760 * [backup-simplify]: Simplify 1 into 1
0.760 * [backup-simplify]: Simplify (/ 1 1) into 1
0.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.761 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
0.761 * [backup-simplify]: Simplify 0 into 0
0.761 * [backup-simplify]: Simplify 0 into 0
0.761 * [backup-simplify]: Simplify 0 into 0
0.762 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
0.762 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.763 * [backup-simplify]: Simplify (+ 0 0) into 0
0.763 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 im))))) (* 2 im)) into 0
0.763 * [backup-simplify]: Simplify (- 0) into 0
0.763 * [backup-simplify]: Simplify (+ 0 0) into 0
0.763 * [taylor]: Taking taylor expansion of 0 in im
0.763 * [backup-simplify]: Simplify 0 into 0
0.763 * [backup-simplify]: Simplify 0 into 0
0.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.764 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
0.764 * [backup-simplify]: Simplify 0 into 0
0.764 * [backup-simplify]: Simplify 0 into 0
0.765 * [backup-simplify]: Simplify (+ (* 1 (* im 1)) (* -1 (* 1 re))) into (- im re)
0.765 * [backup-simplify]: Simplify (- (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) (/ 1 re)) into (- (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) (/ 1 re))
0.765 * [approximate]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) (/ 1 re)) in (re im) around 0
0.765 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) (/ 1 re)) in im
0.765 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in im
0.765 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
0.765 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.765 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.765 * [taylor]: Taking taylor expansion of re in im
0.765 * [backup-simplify]: Simplify re into re
0.765 * [backup-simplify]: Simplify (* re re) into (pow re 2)
0.765 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
0.765 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.765 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.765 * [taylor]: Taking taylor expansion of im in im
0.765 * [backup-simplify]: Simplify 0 into 0
0.765 * [backup-simplify]: Simplify 1 into 1
0.765 * [backup-simplify]: Simplify (* 1 1) into 1
0.766 * [backup-simplify]: Simplify (/ 1 1) into 1
0.766 * [backup-simplify]: Simplify (+ 0 1) into 1
0.766 * [backup-simplify]: Simplify (sqrt 1) into 1
0.767 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.767 * [backup-simplify]: Simplify (+ 0 0) into 0
0.768 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.768 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.768 * [taylor]: Taking taylor expansion of re in im
0.768 * [backup-simplify]: Simplify re into re
0.768 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.768 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) (/ 1 re)) in re
0.768 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re
0.768 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
0.768 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.768 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.768 * [taylor]: Taking taylor expansion of re in re
0.768 * [backup-simplify]: Simplify 0 into 0
0.768 * [backup-simplify]: Simplify 1 into 1
0.768 * [backup-simplify]: Simplify (* 1 1) into 1
0.768 * [backup-simplify]: Simplify (/ 1 1) into 1
0.768 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.768 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.768 * [taylor]: Taking taylor expansion of im in re
0.768 * [backup-simplify]: Simplify im into im
0.768 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.769 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.769 * [backup-simplify]: Simplify (+ 1 0) into 1
0.769 * [backup-simplify]: Simplify (sqrt 1) into 1
0.769 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.770 * [backup-simplify]: Simplify (+ 0 0) into 0
0.771 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.771 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.771 * [taylor]: Taking taylor expansion of re in re
0.771 * [backup-simplify]: Simplify 0 into 0
0.771 * [backup-simplify]: Simplify 1 into 1
0.771 * [backup-simplify]: Simplify (/ 1 1) into 1
0.771 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) (/ 1 re)) in re
0.771 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re
0.771 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
0.771 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.771 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.771 * [taylor]: Taking taylor expansion of re in re
0.771 * [backup-simplify]: Simplify 0 into 0
0.771 * [backup-simplify]: Simplify 1 into 1
0.771 * [backup-simplify]: Simplify (* 1 1) into 1
0.771 * [backup-simplify]: Simplify (/ 1 1) into 1
0.771 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.771 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.772 * [taylor]: Taking taylor expansion of im in re
0.772 * [backup-simplify]: Simplify im into im
0.772 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.772 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.772 * [backup-simplify]: Simplify (+ 1 0) into 1
0.772 * [backup-simplify]: Simplify (sqrt 1) into 1
0.773 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.774 * [backup-simplify]: Simplify (+ 0 0) into 0
0.774 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.774 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.774 * [taylor]: Taking taylor expansion of re in re
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [backup-simplify]: Simplify 1 into 1
0.774 * [backup-simplify]: Simplify (/ 1 1) into 1
0.775 * [backup-simplify]: Simplify (- 1) into -1
0.775 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.775 * [taylor]: Taking taylor expansion of 0 in im
0.775 * [backup-simplify]: Simplify 0 into 0
0.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.776 * [backup-simplify]: Simplify (- 0) into 0
0.776 * [backup-simplify]: Simplify (+ 0 0) into 0
0.776 * [taylor]: Taking taylor expansion of 0 in im
0.776 * [backup-simplify]: Simplify 0 into 0
0.776 * [backup-simplify]: Simplify 0 into 0
0.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.778 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow im 2))) into (/ 1 (pow im 2))
0.779 * [backup-simplify]: Simplify (/ (- (/ 1 (pow im 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow im 2))
0.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.780 * [backup-simplify]: Simplify (- 0) into 0
0.780 * [backup-simplify]: Simplify (+ (/ 1/2 (pow im 2)) 0) into (* 1/2 (/ 1 (pow im 2)))
0.781 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im
0.781 * [taylor]: Taking taylor expansion of 1/2 in im
0.781 * [backup-simplify]: Simplify 1/2 into 1/2
0.781 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.781 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.781 * [taylor]: Taking taylor expansion of im in im
0.781 * [backup-simplify]: Simplify 0 into 0
0.781 * [backup-simplify]: Simplify 1 into 1
0.781 * [backup-simplify]: Simplify (* 1 1) into 1
0.781 * [backup-simplify]: Simplify (/ 1 1) into 1
0.782 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.783 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
0.783 * [backup-simplify]: Simplify 0 into 0
0.783 * [backup-simplify]: Simplify 0 into 0
0.783 * [backup-simplify]: Simplify 0 into 0
0.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.785 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.786 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
0.786 * [backup-simplify]: Simplify (+ 0 0) into 0
0.787 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow im 2)))))) (* 2 1)) into 0
0.787 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.788 * [backup-simplify]: Simplify (- 0) into 0
0.788 * [backup-simplify]: Simplify (+ 0 0) into 0
0.788 * [taylor]: Taking taylor expansion of 0 in im
0.788 * [backup-simplify]: Simplify 0 into 0
0.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.796 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
0.796 * [backup-simplify]: Simplify 0 into 0
0.796 * [backup-simplify]: Simplify 0 into 0
0.796 * [backup-simplify]: Simplify 0 into 0
0.796 * [backup-simplify]: Simplify (- (sqrt (+ (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im))))) (/ 1 (- re))) into (+ (/ 1 re) (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))))
0.796 * [approximate]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))))) in (re im) around 0
0.796 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))))) in im
0.796 * [taylor]: Taking taylor expansion of (/ 1 re) in im
0.796 * [taylor]: Taking taylor expansion of re in im
0.796 * [backup-simplify]: Simplify re into re
0.796 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
0.796 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in im
0.797 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
0.797 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.797 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.797 * [taylor]: Taking taylor expansion of re in im
0.797 * [backup-simplify]: Simplify re into re
0.797 * [backup-simplify]: Simplify (* re re) into (pow re 2)
0.797 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
0.797 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.797 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.797 * [taylor]: Taking taylor expansion of im in im
0.797 * [backup-simplify]: Simplify 0 into 0
0.797 * [backup-simplify]: Simplify 1 into 1
0.797 * [backup-simplify]: Simplify (* 1 1) into 1
0.798 * [backup-simplify]: Simplify (/ 1 1) into 1
0.798 * [backup-simplify]: Simplify (+ 0 1) into 1
0.798 * [backup-simplify]: Simplify (sqrt 1) into 1
0.799 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.799 * [backup-simplify]: Simplify (+ 0 0) into 0
0.800 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))))) in re
0.800 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.800 * [taylor]: Taking taylor expansion of re in re
0.800 * [backup-simplify]: Simplify 0 into 0
0.800 * [backup-simplify]: Simplify 1 into 1
0.800 * [backup-simplify]: Simplify (/ 1 1) into 1
0.800 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re
0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
0.800 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.800 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.800 * [taylor]: Taking taylor expansion of re in re
0.800 * [backup-simplify]: Simplify 0 into 0
0.800 * [backup-simplify]: Simplify 1 into 1
0.800 * [backup-simplify]: Simplify (* 1 1) into 1
0.801 * [backup-simplify]: Simplify (/ 1 1) into 1
0.801 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.801 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.801 * [taylor]: Taking taylor expansion of im in re
0.801 * [backup-simplify]: Simplify im into im
0.801 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.801 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.801 * [backup-simplify]: Simplify (+ 1 0) into 1
0.801 * [backup-simplify]: Simplify (sqrt 1) into 1
0.802 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.802 * [backup-simplify]: Simplify (+ 0 0) into 0
0.803 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.803 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))))) in re
0.803 * [taylor]: Taking taylor expansion of (/ 1 re) in re
0.803 * [taylor]: Taking taylor expansion of re in re
0.803 * [backup-simplify]: Simplify 0 into 0
0.803 * [backup-simplify]: Simplify 1 into 1
0.803 * [backup-simplify]: Simplify (/ 1 1) into 1
0.803 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re
0.803 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
0.803 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.803 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.803 * [taylor]: Taking taylor expansion of re in re
0.803 * [backup-simplify]: Simplify 0 into 0
0.803 * [backup-simplify]: Simplify 1 into 1
0.804 * [backup-simplify]: Simplify (* 1 1) into 1
0.804 * [backup-simplify]: Simplify (/ 1 1) into 1
0.804 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.804 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.804 * [taylor]: Taking taylor expansion of im in re
0.804 * [backup-simplify]: Simplify im into im
0.804 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.804 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.804 * [backup-simplify]: Simplify (+ 1 0) into 1
0.805 * [backup-simplify]: Simplify (sqrt 1) into 1
0.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.806 * [backup-simplify]: Simplify (+ 0 0) into 0
0.806 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.807 * [backup-simplify]: Simplify (+ 1 1) into 2
0.807 * [taylor]: Taking taylor expansion of 2 in im
0.807 * [backup-simplify]: Simplify 2 into 2
0.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.807 * [backup-simplify]: Simplify (+ 0 0) into 0
0.807 * [taylor]: Taking taylor expansion of 0 in im
0.808 * [backup-simplify]: Simplify 0 into 0
0.808 * [backup-simplify]: Simplify 2 into 2
0.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.809 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow im 2))) into (/ 1 (pow im 2))
0.810 * [backup-simplify]: Simplify (/ (- (/ 1 (pow im 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow im 2))
0.810 * [backup-simplify]: Simplify (+ 0 (/ 1/2 (pow im 2))) into (* 1/2 (/ 1 (pow im 2)))
0.810 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow im 2))) in im
0.810 * [taylor]: Taking taylor expansion of 1/2 in im
0.810 * [backup-simplify]: Simplify 1/2 into 1/2
0.810 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.810 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.810 * [taylor]: Taking taylor expansion of im in im
0.810 * [backup-simplify]: Simplify 0 into 0
0.810 * [backup-simplify]: Simplify 1 into 1
0.811 * [backup-simplify]: Simplify (* 1 1) into 1
0.811 * [backup-simplify]: Simplify (/ 1 1) into 1
0.811 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.812 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
0.812 * [backup-simplify]: Simplify 0 into 0
0.812 * [backup-simplify]: Simplify 0 into 0
0.812 * [backup-simplify]: Simplify 0 into 0
0.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.814 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.814 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
0.814 * [backup-simplify]: Simplify (+ 0 0) into 0
0.815 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow im 2)))))) (* 2 1)) into 0
0.815 * [backup-simplify]: Simplify (+ 0 0) into 0
0.815 * [taylor]: Taking taylor expansion of 0 in im
0.815 * [backup-simplify]: Simplify 0 into 0
0.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.817 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
0.817 * [backup-simplify]: Simplify 0 into 0
0.817 * [backup-simplify]: Simplify 0 into 0
0.817 * [backup-simplify]: Simplify 0 into 0
0.817 * [backup-simplify]: Simplify (* 2 (* 1 (/ 1 (/ 1 (- re))))) into (* -2 re)
0.817 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 2 1 1)
0.817 * [backup-simplify]: Simplify (+ (* re re) (* im im)) into (+ (pow im 2) (pow re 2))
0.817 * [approximate]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in (re im) around 0
0.817 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in im
0.817 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.817 * [taylor]: Taking taylor expansion of im in im
0.817 * [backup-simplify]: Simplify 0 into 0
0.817 * [backup-simplify]: Simplify 1 into 1
0.817 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.817 * [taylor]: Taking taylor expansion of re in im
0.817 * [backup-simplify]: Simplify re into re
0.817 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in re
0.817 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.818 * [taylor]: Taking taylor expansion of im in re
0.818 * [backup-simplify]: Simplify im into im
0.818 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.818 * [taylor]: Taking taylor expansion of re in re
0.818 * [backup-simplify]: Simplify 0 into 0
0.818 * [backup-simplify]: Simplify 1 into 1
0.818 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in re
0.818 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.818 * [taylor]: Taking taylor expansion of im in re
0.818 * [backup-simplify]: Simplify im into im
0.818 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.818 * [taylor]: Taking taylor expansion of re in re
0.818 * [backup-simplify]: Simplify 0 into 0
0.818 * [backup-simplify]: Simplify 1 into 1
0.818 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.818 * [backup-simplify]: Simplify (+ (pow im 2) 0) into (pow im 2)
0.818 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.818 * [taylor]: Taking taylor expansion of im in im
0.818 * [backup-simplify]: Simplify 0 into 0
0.818 * [backup-simplify]: Simplify 1 into 1
0.818 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.818 * [backup-simplify]: Simplify (+ 0 0) into 0
0.818 * [taylor]: Taking taylor expansion of 0 in im
0.818 * [backup-simplify]: Simplify 0 into 0
0.818 * [backup-simplify]: Simplify 0 into 0
0.819 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
0.819 * [backup-simplify]: Simplify (* 1 1) into 1
0.819 * [backup-simplify]: Simplify (+ 0 1) into 1
0.819 * [taylor]: Taking taylor expansion of 1 in im
0.819 * [backup-simplify]: Simplify 1 into 1
0.819 * [backup-simplify]: Simplify 1 into 1
0.819 * [backup-simplify]: Simplify 0 into 0
0.820 * [backup-simplify]: Simplify (* 1 1) into 1
0.820 * [backup-simplify]: Simplify 1 into 1
0.820 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
0.820 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.821 * [backup-simplify]: Simplify (+ 0 0) into 0
0.821 * [taylor]: Taking taylor expansion of 0 in im
0.821 * [backup-simplify]: Simplify 0 into 0
0.821 * [backup-simplify]: Simplify 0 into 0
0.821 * [backup-simplify]: Simplify 0 into 0
0.821 * [backup-simplify]: Simplify 0 into 0
0.821 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.821 * [backup-simplify]: Simplify 0 into 0
0.822 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
0.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.823 * [backup-simplify]: Simplify (+ 0 0) into 0
0.823 * [taylor]: Taking taylor expansion of 0 in im
0.823 * [backup-simplify]: Simplify 0 into 0
0.823 * [backup-simplify]: Simplify 0 into 0
0.823 * [backup-simplify]: Simplify 0 into 0
0.823 * [backup-simplify]: Simplify (+ (* 1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (+ (pow im 2) (pow re 2))
0.824 * [backup-simplify]: Simplify (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))
0.824 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0
0.824 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
0.824 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.824 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.824 * [taylor]: Taking taylor expansion of re in im
0.824 * [backup-simplify]: Simplify re into re
0.824 * [backup-simplify]: Simplify (* re re) into (pow re 2)
0.824 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
0.824 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.824 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.824 * [taylor]: Taking taylor expansion of im in im
0.824 * [backup-simplify]: Simplify 0 into 0
0.824 * [backup-simplify]: Simplify 1 into 1
0.824 * [backup-simplify]: Simplify (* 1 1) into 1
0.824 * [backup-simplify]: Simplify (/ 1 1) into 1
0.824 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
0.824 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.825 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.825 * [taylor]: Taking taylor expansion of re in re
0.825 * [backup-simplify]: Simplify 0 into 0
0.825 * [backup-simplify]: Simplify 1 into 1
0.825 * [backup-simplify]: Simplify (* 1 1) into 1
0.825 * [backup-simplify]: Simplify (/ 1 1) into 1
0.825 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.825 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.825 * [taylor]: Taking taylor expansion of im in re
0.825 * [backup-simplify]: Simplify im into im
0.825 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.825 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.825 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
0.825 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.825 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.825 * [taylor]: Taking taylor expansion of re in re
0.825 * [backup-simplify]: Simplify 0 into 0
0.825 * [backup-simplify]: Simplify 1 into 1
0.826 * [backup-simplify]: Simplify (* 1 1) into 1
0.826 * [backup-simplify]: Simplify (/ 1 1) into 1
0.826 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.826 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.826 * [taylor]: Taking taylor expansion of im in re
0.826 * [backup-simplify]: Simplify im into im
0.826 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.826 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.826 * [backup-simplify]: Simplify (+ 1 0) into 1
0.827 * [taylor]: Taking taylor expansion of 1 in im
0.827 * [backup-simplify]: Simplify 1 into 1
0.827 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.828 * [backup-simplify]: Simplify (+ 0 0) into 0
0.828 * [taylor]: Taking taylor expansion of 0 in im
0.828 * [backup-simplify]: Simplify 0 into 0
0.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.829 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow im 2))) into (/ 1 (pow im 2))
0.829 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.829 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.829 * [taylor]: Taking taylor expansion of im in im
0.829 * [backup-simplify]: Simplify 0 into 0
0.829 * [backup-simplify]: Simplify 1 into 1
0.829 * [backup-simplify]: Simplify (* 1 1) into 1
0.829 * [backup-simplify]: Simplify (/ 1 1) into 1
0.829 * [backup-simplify]: Simplify 1 into 1
0.830 * [backup-simplify]: Simplify 1 into 1
0.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.831 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.831 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
0.831 * [backup-simplify]: Simplify (+ 0 0) into 0
0.831 * [taylor]: Taking taylor expansion of 0 in im
0.831 * [backup-simplify]: Simplify 0 into 0
0.832 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.832 * [backup-simplify]: Simplify 0 into 0
0.832 * [backup-simplify]: Simplify 0 into 0
0.832 * [backup-simplify]: Simplify 0 into 0
0.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.834 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
0.834 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
0.834 * [backup-simplify]: Simplify (+ 0 0) into 0
0.834 * [taylor]: Taking taylor expansion of 0 in im
0.834 * [backup-simplify]: Simplify 0 into 0
0.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.835 * [backup-simplify]: Simplify 0 into 0
0.835 * [backup-simplify]: Simplify 0 into 0
0.836 * [backup-simplify]: Simplify 0 into 0
0.836 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* 1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (+ (pow im 2) (pow re 2))
0.836 * [backup-simplify]: Simplify (+ (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))
0.836 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0
0.836 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
0.836 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.836 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.836 * [taylor]: Taking taylor expansion of re in im
0.836 * [backup-simplify]: Simplify re into re
0.836 * [backup-simplify]: Simplify (* re re) into (pow re 2)
0.836 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
0.836 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.836 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.836 * [taylor]: Taking taylor expansion of im in im
0.836 * [backup-simplify]: Simplify 0 into 0
0.836 * [backup-simplify]: Simplify 1 into 1
0.837 * [backup-simplify]: Simplify (* 1 1) into 1
0.837 * [backup-simplify]: Simplify (/ 1 1) into 1
0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
0.837 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.837 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.837 * [taylor]: Taking taylor expansion of re in re
0.837 * [backup-simplify]: Simplify 0 into 0
0.837 * [backup-simplify]: Simplify 1 into 1
0.837 * [backup-simplify]: Simplify (* 1 1) into 1
0.837 * [backup-simplify]: Simplify (/ 1 1) into 1
0.837 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.837 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.837 * [taylor]: Taking taylor expansion of im in re
0.837 * [backup-simplify]: Simplify im into im
0.837 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.838 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.838 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
0.838 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.838 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.838 * [taylor]: Taking taylor expansion of re in re
0.838 * [backup-simplify]: Simplify 0 into 0
0.838 * [backup-simplify]: Simplify 1 into 1
0.838 * [backup-simplify]: Simplify (* 1 1) into 1
0.838 * [backup-simplify]: Simplify (/ 1 1) into 1
0.838 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.838 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.838 * [taylor]: Taking taylor expansion of im in re
0.838 * [backup-simplify]: Simplify im into im
0.838 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.838 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.839 * [backup-simplify]: Simplify (+ 1 0) into 1
0.839 * [taylor]: Taking taylor expansion of 1 in im
0.839 * [backup-simplify]: Simplify 1 into 1
0.839 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.840 * [backup-simplify]: Simplify (+ 0 0) into 0
0.840 * [taylor]: Taking taylor expansion of 0 in im
0.840 * [backup-simplify]: Simplify 0 into 0
0.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.841 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow im 2))) into (/ 1 (pow im 2))
0.841 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.841 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.841 * [taylor]: Taking taylor expansion of im in im
0.841 * [backup-simplify]: Simplify 0 into 0
0.841 * [backup-simplify]: Simplify 1 into 1
0.841 * [backup-simplify]: Simplify (* 1 1) into 1
0.842 * [backup-simplify]: Simplify (/ 1 1) into 1
0.842 * [backup-simplify]: Simplify 1 into 1
0.842 * [backup-simplify]: Simplify 1 into 1
0.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.843 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.843 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
0.843 * [backup-simplify]: Simplify (+ 0 0) into 0
0.843 * [taylor]: Taking taylor expansion of 0 in im
0.843 * [backup-simplify]: Simplify 0 into 0
0.844 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.844 * [backup-simplify]: Simplify 0 into 0
0.844 * [backup-simplify]: Simplify 0 into 0
0.844 * [backup-simplify]: Simplify 0 into 0
0.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.846 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
0.846 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
0.846 * [backup-simplify]: Simplify (+ 0 0) into 0
0.846 * [taylor]: Taking taylor expansion of 0 in im
0.846 * [backup-simplify]: Simplify 0 into 0
0.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.847 * [backup-simplify]: Simplify 0 into 0
0.848 * [backup-simplify]: Simplify 0 into 0
0.848 * [backup-simplify]: Simplify 0 into 0
0.848 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* 1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (+ (pow im 2) (pow re 2))
0.848 * * * [progress]: simplifying candidates
0.849 * [simplify]: Simplifying:
  (log (sqrt (+ (* re re) (* im im))))
  (exp (sqrt (+ (* re re) (* im im))))
  (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im)))))
  (cbrt (sqrt (+ (* re re) (* im im))))
  (* (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))))
  (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
  (sqrt (cbrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt 1)
  (sqrt (+ (* re re) (* im im)))
  (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
  (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))
  (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
  (sqrt (- (* re re) (* im im)))
  (/ 1 2)
  (sqrt (sqrt (+ (* re re) (* im im))))
  (sqrt (sqrt (+ (* re re) (* im im))))
  (/ (exp (sqrt (+ (* re re) (* im im)))) (exp re))
  (log (- (sqrt (+ (* re re) (* im im))) re))
  (exp (- (sqrt (+ (* re re) (* im im))) re))
  (* (cbrt (- (sqrt (+ (* re re) (* im im))) re)) (cbrt (- (sqrt (+ (* re re) (* im im))) re)))
  (cbrt (- (sqrt (+ (* re re) (* im im))) re))
  (* (* (- (sqrt (+ (* re re) (* im im))) re) (- (sqrt (+ (* re re) (* im im))) re)) (- (sqrt (+ (* re re) (* im im))) re))
  (sqrt (- (sqrt (+ (* re re) (* im im))) re))
  (sqrt (- (sqrt (+ (* re re) (* im im))) re))
  (- (pow (sqrt (+ (* re re) (* im im))) 3) (pow re 3))
  (+ (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (+ (* re re) (* (sqrt (+ (* re re) (* im im))) re)))
  (- re)
  (- (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (* re re))
  (+ (sqrt (+ (* re re) (* im im))) re)
  (+ (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt re))
  (- (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt re))
  (+ (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt re))
  (- (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt re))
  (- (sqrt (+ (* re re) (* im im))) re)
  (- re)
  (* (exp (* re re)) (exp (* im im)))
  (log (+ (* re re) (* im im)))
  (exp (+ (* re re) (* im im)))
  (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))
  (cbrt (+ (* re re) (* im im)))
  (* (* (+ (* re re) (* im im)) (+ (* re re) (* im im))) (+ (* re re) (* im im)))
  (sqrt (+ (* re re) (* im im)))
  (sqrt (+ (* re re) (* im im)))
  (+ (pow (* re re) 3) (pow (* im im) 3))
  (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))
  (- (* (* re re) (* re re)) (* (* im im) (* im im)))
  (- (* re re) (* im im))
  im
  re
  (* -1 re)
  (- im re)
  0
  (* -2 re)
  (+ (pow im 2) (pow re 2))
  (+ (pow im 2) (pow re 2))
  (+ (pow im 2) (pow re 2))
0.850 * * [simplify]: Extracting # 0 : cost  47  inf +  0
0.850 * * [simplify]: Extracting # 1 : cost  68  inf +  3
0.850 * * [simplify]: Extracting # 2 : cost  54  inf +  874
0.851 * * [simplify]: Extracting # 3 : cost  25  inf +  7042
0.852 * * [simplify]: Extracting # 4 : cost  7  inf +  11920
0.853 * * [simplify]: Extracting # 5 : cost  0  inf +  14345
0.854 * * [simplify]: iteration  0 :  74  enodes  (cost  13456 )
0.883 * * [simplify]: Extracting # 0 : cost  0  inf +  14345
0.886 * * [simplify]: Extracting # 1 : cost  37  inf +  12685
0.890 * * [simplify]: Extracting # 2 : cost  7  inf +  15865
0.894 * * [simplify]: Extracting # 3 : cost  6  inf +  15826
0.899 * * [simplify]: Extracting # 4 : cost  0  inf +  17379