0.575 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.112 * * * [progress]: [2/2] Setting up program. 0.119 * [progress]: [Phase 2 of 3] Improving. 0.123 * [simplify]: Simplifying: (- (* re re) (* im im)) 0.124 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.125 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.125 * * [simplify]: Extracting # 2 : cost 5 inf + 0 0.125 * * [simplify]: Extracting # 3 : cost 2 inf + 43 0.125 * * [simplify]: Extracting # 4 : cost 0 inf + 206 0.126 * * [simplify]: iteration 0 : 5 enodes (cost 122 ) 0.131 * * [simplify]: Extracting # 0 : cost 0 inf + 206 0.131 * * [simplify]: Extracting # 1 : cost 3 inf + 206 0.131 * * [simplify]: Extracting # 2 : cost 0 inf + 371 0.132 * * [simplify]: iteration 1 : 10 enodes (cost 122 ) 0.134 * * [simplify]: Extracting # 0 : cost 0 inf + 371 0.134 * * [simplify]: Extracting # 1 : cost 1 inf + 371 0.135 * * [simplify]: Extracting # 2 : cost 0 inf + 412 0.135 * * [simplify]: iteration 2 : 17 enodes (cost 122 ) 0.139 * * [simplify]: Extracting # 0 : cost 0 inf + 412 0.139 * * [simplify]: Extracting # 1 : cost 8 inf + 412 0.140 * * [simplify]: Extracting # 2 : cost 0 inf + 1148 0.140 * * [simplify]: iteration 3 : 32 enodes (cost 122 ) 0.149 * * [simplify]: Extracting # 0 : cost 0 inf + 1148 0.150 * * [simplify]: Extracting # 1 : cost 6 inf + 780 0.150 * * [simplify]: Extracting # 2 : cost 0 inf + 1192 0.151 * * [simplify]: iteration 4 : 58 enodes (cost 122 ) 0.172 * * [simplify]: Extracting # 0 : cost 0 inf + 1192 0.172 * * [simplify]: Extracting # 1 : cost 17 inf + 986 0.174 * * [simplify]: Extracting # 2 : cost 0 inf + 4140 0.175 * * [simplify]: iteration 5 : 129 enodes (cost 122 ) 0.232 * * [simplify]: Extracting # 0 : cost 0 inf + 4140 0.235 * * [simplify]: Extracting # 1 : cost 34 inf + 1716 0.237 * * [simplify]: Extracting # 2 : cost 0 inf + 6663 0.240 * * [simplify]: Extracting # 3 : cost 0 inf + 6623 0.243 * * [simplify]: iteration 6 : 281 enodes (cost 122 ) 0.391 * * [simplify]: Extracting # 0 : cost 0 inf + 6623 0.396 * * [simplify]: Extracting # 1 : cost 93 inf + 2653 0.404 * * [simplify]: Extracting # 2 : cost 0 inf + 18953 0.413 * * [simplify]: Extracting # 3 : cost 0 inf + 18793 0.421 * * [simplify]: iteration 7 : 703 enodes (cost 122 ) 1.406 * * [simplify]: Extracting # 0 : cost 0 inf + 18793 1.434 * * [simplify]: Extracting # 1 : cost 663 inf + 5988 1.468 * * [simplify]: Extracting # 2 : cost 0 inf + 132009 1.525 * * [simplify]: Extracting # 3 : cost 0 inf + 130329 1.584 * * [simplify]: iteration 8 : 3184 enodes (cost 122 ) 3.358 * * [simplify]: Extracting # 0 : cost 0 inf + 130329 3.568 * * [simplify]: Extracting # 1 : cost 902 inf + 68155 3.596 * * [simplify]: Extracting # 2 : cost 0 inf + 158235 3.641 * * [simplify]: Extracting # 3 : cost 0 inf + 155567 3.673 * * [simplify]: iteration done: 5000 enodes (cost 122 ) 3.673 * [simplify]: Simplified to: (- (* re re) (* im im)) 3.675 * * [progress]: iteration 1 / 4 3.675 * * * [progress]: picking best candidate 3.678 * * * * [pick]: Picked # 3.678 * * * [progress]: localizing error 3.687 * * * [progress]: generating rewritten candidates 3.687 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.697 * * * [progress]: generating series expansions 3.697 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.702 * [backup-simplify]: Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2)) 3.702 * [approximate]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0 3.702 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im 3.702 * [taylor]: Taking taylor expansion of (pow re 2) in im 3.702 * [taylor]: Taking taylor expansion of re in im 3.702 * [backup-simplify]: Simplify re into re 3.703 * [taylor]: Taking taylor expansion of (pow im 2) in im 3.703 * [taylor]: Taking taylor expansion of im in im 3.703 * [backup-simplify]: Simplify 0 into 0 3.703 * [backup-simplify]: Simplify 1 into 1 3.703 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 3.703 * [taylor]: Taking taylor expansion of (pow re 2) in re 3.703 * [taylor]: Taking taylor expansion of re in re 3.703 * [backup-simplify]: Simplify 0 into 0 3.703 * [backup-simplify]: Simplify 1 into 1 3.703 * [taylor]: Taking taylor expansion of (pow im 2) in re 3.703 * [taylor]: Taking taylor expansion of im in re 3.703 * [backup-simplify]: Simplify im into im 3.703 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 3.703 * [taylor]: Taking taylor expansion of (pow re 2) in re 3.703 * [taylor]: Taking taylor expansion of re in re 3.703 * [backup-simplify]: Simplify 0 into 0 3.703 * [backup-simplify]: Simplify 1 into 1 3.703 * [taylor]: Taking taylor expansion of (pow im 2) in re 3.703 * [taylor]: Taking taylor expansion of im in re 3.703 * [backup-simplify]: Simplify im into im 3.704 * [backup-simplify]: Simplify (* im im) into (pow im 2) 3.704 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 3.704 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 3.704 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 3.704 * [taylor]: Taking taylor expansion of (pow im 2) in im 3.704 * [taylor]: Taking taylor expansion of im in im 3.704 * [backup-simplify]: Simplify 0 into 0 3.704 * [backup-simplify]: Simplify 1 into 1 3.705 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 3.705 * [backup-simplify]: Simplify (- 0) into 0 3.705 * [backup-simplify]: Simplify (+ 0 0) into 0 3.705 * [taylor]: Taking taylor expansion of 0 in im 3.705 * [backup-simplify]: Simplify 0 into 0 3.706 * [backup-simplify]: Simplify 0 into 0 3.706 * [backup-simplify]: Simplify (* 1 1) into 1 3.706 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 3.706 * [backup-simplify]: Simplify (- 0) into 0 3.707 * [backup-simplify]: Simplify (+ 1 0) into 1 3.707 * [taylor]: Taking taylor expansion of 1 in im 3.707 * [backup-simplify]: Simplify 1 into 1 3.707 * [backup-simplify]: Simplify 1 into 1 3.707 * [backup-simplify]: Simplify 0 into 0 3.707 * [backup-simplify]: Simplify (* 1 1) into 1 3.707 * [backup-simplify]: Simplify (- 1) into -1 3.708 * [backup-simplify]: Simplify -1 into -1 3.708 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.709 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 3.709 * [backup-simplify]: Simplify (- 0) into 0 3.709 * [backup-simplify]: Simplify (+ 0 0) into 0 3.709 * [taylor]: Taking taylor expansion of 0 in im 3.709 * [backup-simplify]: Simplify 0 into 0 3.709 * [backup-simplify]: Simplify 0 into 0 3.709 * [backup-simplify]: Simplify 0 into 0 3.709 * [backup-simplify]: Simplify 0 into 0 3.710 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.710 * [backup-simplify]: Simplify (- 0) into 0 3.710 * [backup-simplify]: Simplify 0 into 0 3.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.711 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 3.712 * [backup-simplify]: Simplify (- 0) into 0 3.712 * [backup-simplify]: Simplify (+ 0 0) into 0 3.712 * [taylor]: Taking taylor expansion of 0 in im 3.712 * [backup-simplify]: Simplify 0 into 0 3.712 * [backup-simplify]: Simplify 0 into 0 3.712 * [backup-simplify]: Simplify 0 into 0 3.712 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 3.712 * [backup-simplify]: Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 3.712 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 3.712 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 3.713 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 3.713 * [taylor]: Taking taylor expansion of (pow re 2) in im 3.713 * [taylor]: Taking taylor expansion of re in im 3.713 * [backup-simplify]: Simplify re into re 3.713 * [backup-simplify]: Simplify (* re re) into (pow re 2) 3.713 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 3.713 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 3.713 * [taylor]: Taking taylor expansion of (pow im 2) in im 3.713 * [taylor]: Taking taylor expansion of im in im 3.713 * [backup-simplify]: Simplify 0 into 0 3.713 * [backup-simplify]: Simplify 1 into 1 3.713 * [backup-simplify]: Simplify (* 1 1) into 1 3.713 * [backup-simplify]: Simplify (/ 1 1) into 1 3.713 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 3.713 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 3.713 * [taylor]: Taking taylor expansion of (pow re 2) in re 3.713 * [taylor]: Taking taylor expansion of re in re 3.713 * [backup-simplify]: Simplify 0 into 0 3.714 * [backup-simplify]: Simplify 1 into 1 3.714 * [backup-simplify]: Simplify (* 1 1) into 1 3.714 * [backup-simplify]: Simplify (/ 1 1) into 1 3.714 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 3.714 * [taylor]: Taking taylor expansion of (pow im 2) in re 3.714 * [taylor]: Taking taylor expansion of im in re 3.714 * [backup-simplify]: Simplify im into im 3.714 * [backup-simplify]: Simplify (* im im) into (pow im 2) 3.714 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 3.714 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 3.714 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 3.714 * [taylor]: Taking taylor expansion of (pow re 2) in re 3.714 * [taylor]: Taking taylor expansion of re in re 3.714 * [backup-simplify]: Simplify 0 into 0 3.714 * [backup-simplify]: Simplify 1 into 1 3.715 * [backup-simplify]: Simplify (* 1 1) into 1 3.715 * [backup-simplify]: Simplify (/ 1 1) into 1 3.715 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 3.715 * [taylor]: Taking taylor expansion of (pow im 2) in re 3.715 * [taylor]: Taking taylor expansion of im in re 3.715 * [backup-simplify]: Simplify im into im 3.715 * [backup-simplify]: Simplify (* im im) into (pow im 2) 3.715 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 3.715 * [backup-simplify]: Simplify (+ 1 0) into 1 3.715 * [taylor]: Taking taylor expansion of 1 in im 3.715 * [backup-simplify]: Simplify 1 into 1 3.716 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.717 * [backup-simplify]: Simplify (+ 0 0) into 0 3.717 * [taylor]: Taking taylor expansion of 0 in im 3.717 * [backup-simplify]: Simplify 0 into 0 3.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.718 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 3.718 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 3.718 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 3.718 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 3.718 * [taylor]: Taking taylor expansion of (pow im 2) in im 3.718 * [taylor]: Taking taylor expansion of im in im 3.718 * [backup-simplify]: Simplify 0 into 0 3.718 * [backup-simplify]: Simplify 1 into 1 3.719 * [backup-simplify]: Simplify (* 1 1) into 1 3.726 * [backup-simplify]: Simplify (/ 1 1) into 1 3.726 * [backup-simplify]: Simplify (- 1) into -1 3.726 * [backup-simplify]: Simplify -1 into -1 3.727 * [backup-simplify]: Simplify 1 into 1 3.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.728 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 3.728 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 3.728 * [backup-simplify]: Simplify (- 0) into 0 3.729 * [backup-simplify]: Simplify (+ 0 0) into 0 3.729 * [taylor]: Taking taylor expansion of 0 in im 3.729 * [backup-simplify]: Simplify 0 into 0 3.729 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.730 * [backup-simplify]: Simplify (- 0) into 0 3.730 * [backup-simplify]: Simplify 0 into 0 3.730 * [backup-simplify]: Simplify 0 into 0 3.730 * [backup-simplify]: Simplify 0 into 0 3.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.732 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 3.732 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 3.732 * [backup-simplify]: Simplify (- 0) into 0 3.732 * [backup-simplify]: Simplify (+ 0 0) into 0 3.732 * [taylor]: Taking taylor expansion of 0 in im 3.732 * [backup-simplify]: Simplify 0 into 0 3.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.734 * [backup-simplify]: Simplify (- 0) into 0 3.734 * [backup-simplify]: Simplify 0 into 0 3.734 * [backup-simplify]: Simplify 0 into 0 3.734 * [backup-simplify]: Simplify 0 into 0 3.734 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 3.734 * [backup-simplify]: Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 3.734 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 3.734 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 3.734 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 3.734 * [taylor]: Taking taylor expansion of (pow re 2) in im 3.735 * [taylor]: Taking taylor expansion of re in im 3.735 * [backup-simplify]: Simplify re into re 3.735 * [backup-simplify]: Simplify (* re re) into (pow re 2) 3.735 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 3.735 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 3.735 * [taylor]: Taking taylor expansion of (pow im 2) in im 3.735 * [taylor]: Taking taylor expansion of im in im 3.735 * [backup-simplify]: Simplify 0 into 0 3.735 * [backup-simplify]: Simplify 1 into 1 3.735 * [backup-simplify]: Simplify (* 1 1) into 1 3.735 * [backup-simplify]: Simplify (/ 1 1) into 1 3.735 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 3.735 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 3.735 * [taylor]: Taking taylor expansion of (pow re 2) in re 3.735 * [taylor]: Taking taylor expansion of re in re 3.735 * [backup-simplify]: Simplify 0 into 0 3.735 * [backup-simplify]: Simplify 1 into 1 3.736 * [backup-simplify]: Simplify (* 1 1) into 1 3.736 * [backup-simplify]: Simplify (/ 1 1) into 1 3.736 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 3.736 * [taylor]: Taking taylor expansion of (pow im 2) in re 3.736 * [taylor]: Taking taylor expansion of im in re 3.736 * [backup-simplify]: Simplify im into im 3.736 * [backup-simplify]: Simplify (* im im) into (pow im 2) 3.736 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 3.736 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 3.736 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 3.736 * [taylor]: Taking taylor expansion of (pow re 2) in re 3.736 * [taylor]: Taking taylor expansion of re in re 3.736 * [backup-simplify]: Simplify 0 into 0 3.736 * [backup-simplify]: Simplify 1 into 1 3.736 * [backup-simplify]: Simplify (* 1 1) into 1 3.737 * [backup-simplify]: Simplify (/ 1 1) into 1 3.737 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 3.737 * [taylor]: Taking taylor expansion of (pow im 2) in re 3.737 * [taylor]: Taking taylor expansion of im in re 3.737 * [backup-simplify]: Simplify im into im 3.737 * [backup-simplify]: Simplify (* im im) into (pow im 2) 3.737 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 3.737 * [backup-simplify]: Simplify (+ 1 0) into 1 3.737 * [taylor]: Taking taylor expansion of 1 in im 3.737 * [backup-simplify]: Simplify 1 into 1 3.738 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.738 * [backup-simplify]: Simplify (+ 0 0) into 0 3.738 * [taylor]: Taking taylor expansion of 0 in im 3.738 * [backup-simplify]: Simplify 0 into 0 3.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.740 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 3.740 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 3.740 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 3.740 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 3.740 * [taylor]: Taking taylor expansion of (pow im 2) in im 3.740 * [taylor]: Taking taylor expansion of im in im 3.740 * [backup-simplify]: Simplify 0 into 0 3.740 * [backup-simplify]: Simplify 1 into 1 3.740 * [backup-simplify]: Simplify (* 1 1) into 1 3.741 * [backup-simplify]: Simplify (/ 1 1) into 1 3.741 * [backup-simplify]: Simplify (- 1) into -1 3.741 * [backup-simplify]: Simplify -1 into -1 3.741 * [backup-simplify]: Simplify 1 into 1 3.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.742 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 3.742 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 3.743 * [backup-simplify]: Simplify (- 0) into 0 3.743 * [backup-simplify]: Simplify (+ 0 0) into 0 3.743 * [taylor]: Taking taylor expansion of 0 in im 3.743 * [backup-simplify]: Simplify 0 into 0 3.743 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.744 * [backup-simplify]: Simplify (- 0) into 0 3.744 * [backup-simplify]: Simplify 0 into 0 3.744 * [backup-simplify]: Simplify 0 into 0 3.744 * [backup-simplify]: Simplify 0 into 0 3.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.746 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 3.746 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 3.746 * [backup-simplify]: Simplify (- 0) into 0 3.747 * [backup-simplify]: Simplify (+ 0 0) into 0 3.747 * [taylor]: Taking taylor expansion of 0 in im 3.747 * [backup-simplify]: Simplify 0 into 0 3.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.748 * [backup-simplify]: Simplify (- 0) into 0 3.748 * [backup-simplify]: Simplify 0 into 0 3.748 * [backup-simplify]: Simplify 0 into 0 3.748 * [backup-simplify]: Simplify 0 into 0 3.748 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 3.748 * * * [progress]: simplifying candidates 3.749 * [simplify]: Simplifying: (/ (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)))) (- (* im im)) (- (* (* re re) (* re re)) (* (* im im) (* im im))) (+ (* re re) (* im im)) (+ re im) (- re im) (- (* im im)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) 3.749 * * [simplify]: Extracting # 0 : cost 15 inf + 0 3.749 * * [simplify]: Extracting # 1 : cost 30 inf + 0 3.749 * * [simplify]: Extracting # 2 : cost 25 inf + 399 3.750 * * [simplify]: Extracting # 3 : cost 9 inf + 2717 3.750 * * [simplify]: Extracting # 4 : cost 1 inf + 4955 3.750 * * [simplify]: Extracting # 5 : cost 0 inf + 5237 3.751 * * [simplify]: iteration 0 : 33 enodes (cost 4400 ) 3.757 * * [simplify]: Extracting # 0 : cost 0 inf + 5237 3.758 * * [simplify]: Extracting # 1 : cost 31 inf + 4088 3.758 * * [simplify]: Extracting # 2 : cost 8 inf + 6563 3.759 * * [simplify]: Extracting # 3 : cost 3 inf + 7091 3.760 * * [simplify]: Extracting # 4 : cost 0 inf + 7807 3.761 * * [simplify]: iteration 1 : 111 enodes (cost 3006 ) 3.835 * * [simplify]: Extracting # 0 : cost 0 inf + 7807 3.843 * * [simplify]: Extracting # 1 : cost 197 inf + 5340 3.850 * * [simplify]: Extracting # 2 : cost 11 inf + 22772 3.853 * * [simplify]: Extracting # 3 : cost 4 inf + 23585 3.857 * * [simplify]: Extracting # 4 : cost 0 inf + 24733 3.861 * * [simplify]: iteration 2 : 589 enodes (cost 3006 ) 4.213 * * [simplify]: Extracting # 0 : cost 0 inf + 24733 4.232 * * [simplify]: Extracting # 1 : cost 2097 inf + 21401 4.273 * * [simplify]: Extracting # 2 : cost 148 inf + 273757 4.335 * * [simplify]: Extracting # 3 : cost 48 inf + 287929 4.381 * * [simplify]: Extracting # 4 : cost 0 inf + 300879 4.437 * * [simplify]: iteration done: 5000 enodes (cost 3006 ) 4.438 * [simplify]: Simplified to: (exp (- (* re re) (* 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))) (- (* (* re re) (* (* re re) (* re re))) (* (* im im) (* (* im im) (* im im)))) (+ (* (* im im) (+ (* im im) (* re re))) (* (* re re) (* re re))) (- (* im im)) (- (* (* re re) (* re re)) (* (* im im) (* im im))) (+ (* im im) (* re re)) (+ re im) (- re im) (- (* im im)) (- (* re re) (* im im)) (- (* re re) (* im im)) (- (* re re) (* im im)) 4.439 * * * [progress]: adding candidates to table 4.496 * * [progress]: iteration 2 / 4 4.496 * * * [progress]: picking best candidate 4.499 * * * * [pick]: Picked # 4.499 * * * [progress]: localizing error 4.506 * * * [progress]: generating rewritten candidates 4.506 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.551 * * * [progress]: generating series expansions 4.551 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.552 * [backup-simplify]: Simplify (* (+ re im) (- re im)) into (* (- re im) (+ re im)) 4.552 * [approximate]: Taking taylor expansion of (* (- re im) (+ re im)) in (re im) around 0 4.552 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in im 4.552 * [taylor]: Taking taylor expansion of (- re im) in im 4.552 * [taylor]: Taking taylor expansion of re in im 4.552 * [backup-simplify]: Simplify re into re 4.552 * [taylor]: Taking taylor expansion of im in im 4.552 * [backup-simplify]: Simplify 0 into 0 4.552 * [backup-simplify]: Simplify 1 into 1 4.552 * [taylor]: Taking taylor expansion of (+ re im) in im 4.552 * [taylor]: Taking taylor expansion of re in im 4.552 * [backup-simplify]: Simplify re into re 4.552 * [taylor]: Taking taylor expansion of im in im 4.552 * [backup-simplify]: Simplify 0 into 0 4.552 * [backup-simplify]: Simplify 1 into 1 4.553 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in re 4.553 * [taylor]: Taking taylor expansion of (- re im) in re 4.553 * [taylor]: Taking taylor expansion of re in re 4.553 * [backup-simplify]: Simplify 0 into 0 4.553 * [backup-simplify]: Simplify 1 into 1 4.553 * [taylor]: Taking taylor expansion of im in re 4.553 * [backup-simplify]: Simplify im into im 4.553 * [taylor]: Taking taylor expansion of (+ re im) in re 4.553 * [taylor]: Taking taylor expansion of re in re 4.553 * [backup-simplify]: Simplify 0 into 0 4.553 * [backup-simplify]: Simplify 1 into 1 4.553 * [taylor]: Taking taylor expansion of im in re 4.553 * [backup-simplify]: Simplify im into im 4.553 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in re 4.553 * [taylor]: Taking taylor expansion of (- re im) in re 4.553 * [taylor]: Taking taylor expansion of re in re 4.553 * [backup-simplify]: Simplify 0 into 0 4.553 * [backup-simplify]: Simplify 1 into 1 4.553 * [taylor]: Taking taylor expansion of im in re 4.553 * [backup-simplify]: Simplify im into im 4.553 * [taylor]: Taking taylor expansion of (+ re im) in re 4.553 * [taylor]: Taking taylor expansion of re in re 4.553 * [backup-simplify]: Simplify 0 into 0 4.553 * [backup-simplify]: Simplify 1 into 1 4.553 * [taylor]: Taking taylor expansion of im in re 4.553 * [backup-simplify]: Simplify im into im 4.553 * [backup-simplify]: Simplify (- im) into (- im) 4.553 * [backup-simplify]: Simplify (+ 0 (- im)) into (- im) 4.554 * [backup-simplify]: Simplify (+ 0 im) into im 4.554 * [backup-simplify]: Simplify (* (- im) im) into (* -1 (pow im 2)) 4.554 * [taylor]: Taking taylor expansion of (* -1 (pow im 2)) in im 4.554 * [taylor]: Taking taylor expansion of -1 in im 4.554 * [backup-simplify]: Simplify -1 into -1 4.554 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.554 * [taylor]: Taking taylor expansion of im in im 4.554 * [backup-simplify]: Simplify 0 into 0 4.554 * [backup-simplify]: Simplify 1 into 1 4.554 * [backup-simplify]: Simplify (+ 1 0) into 1 4.555 * [backup-simplify]: Simplify (- 0) into 0 4.555 * [backup-simplify]: Simplify (+ 1 0) into 1 4.555 * [backup-simplify]: Simplify (+ (* (- im) 1) (* 1 im)) into 0 4.555 * [taylor]: Taking taylor expansion of 0 in im 4.556 * [backup-simplify]: Simplify 0 into 0 4.556 * [backup-simplify]: Simplify 0 into 0 4.556 * [backup-simplify]: Simplify (+ 0 0) into 0 4.556 * [backup-simplify]: Simplify (- 0) into 0 4.557 * [backup-simplify]: Simplify (+ 0 0) into 0 4.557 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 1) (* 0 im))) into 1 4.557 * [taylor]: Taking taylor expansion of 1 in im 4.557 * [backup-simplify]: Simplify 1 into 1 4.557 * [backup-simplify]: Simplify 1 into 1 4.557 * [backup-simplify]: Simplify 0 into 0 4.558 * [backup-simplify]: Simplify (* 1 1) into 1 4.558 * [backup-simplify]: Simplify (* -1 1) into -1 4.558 * [backup-simplify]: Simplify -1 into -1 4.559 * [backup-simplify]: Simplify (+ 0 0) into 0 4.559 * [backup-simplify]: Simplify (- 0) into 0 4.559 * [backup-simplify]: Simplify (+ 0 0) into 0 4.560 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 0) (+ (* 0 1) (* 0 im)))) into 0 4.560 * [taylor]: Taking taylor expansion of 0 in im 4.560 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify 0 into 0 4.561 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.562 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 4.562 * [backup-simplify]: Simplify 0 into 0 4.562 * [backup-simplify]: Simplify (+ 0 0) into 0 4.563 * [backup-simplify]: Simplify (- 0) into 0 4.563 * [backup-simplify]: Simplify (+ 0 0) into 0 4.564 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 im))))) into 0 4.564 * [taylor]: Taking taylor expansion of 0 in im 4.565 * [backup-simplify]: Simplify 0 into 0 4.565 * [backup-simplify]: Simplify 0 into 0 4.565 * [backup-simplify]: Simplify 0 into 0 4.565 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 4.565 * [backup-simplify]: Simplify (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) into (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) 4.565 * [approximate]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in (re im) around 0 4.565 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in im 4.565 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in im 4.565 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.565 * [taylor]: Taking taylor expansion of re in im 4.565 * [backup-simplify]: Simplify re into re 4.566 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 4.566 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.566 * [taylor]: Taking taylor expansion of im in im 4.566 * [backup-simplify]: Simplify 0 into 0 4.566 * [backup-simplify]: Simplify 1 into 1 4.566 * [backup-simplify]: Simplify (/ 1 1) into 1 4.566 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im 4.566 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.566 * [taylor]: Taking taylor expansion of re in im 4.566 * [backup-simplify]: Simplify re into re 4.571 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 4.571 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.571 * [taylor]: Taking taylor expansion of im in im 4.571 * [backup-simplify]: Simplify 0 into 0 4.571 * [backup-simplify]: Simplify 1 into 1 4.571 * [backup-simplify]: Simplify (/ 1 1) into 1 4.571 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in re 4.571 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re 4.572 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.572 * [taylor]: Taking taylor expansion of re in re 4.572 * [backup-simplify]: Simplify 0 into 0 4.572 * [backup-simplify]: Simplify 1 into 1 4.572 * [backup-simplify]: Simplify (/ 1 1) into 1 4.572 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.572 * [taylor]: Taking taylor expansion of im in re 4.572 * [backup-simplify]: Simplify im into im 4.572 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.572 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 4.572 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.572 * [taylor]: Taking taylor expansion of re in re 4.572 * [backup-simplify]: Simplify 0 into 0 4.572 * [backup-simplify]: Simplify 1 into 1 4.573 * [backup-simplify]: Simplify (/ 1 1) into 1 4.573 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.573 * [taylor]: Taking taylor expansion of im in re 4.573 * [backup-simplify]: Simplify im into im 4.573 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.573 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in re 4.573 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re 4.573 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.573 * [taylor]: Taking taylor expansion of re in re 4.573 * [backup-simplify]: Simplify 0 into 0 4.573 * [backup-simplify]: Simplify 1 into 1 4.573 * [backup-simplify]: Simplify (/ 1 1) into 1 4.574 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.574 * [taylor]: Taking taylor expansion of im in re 4.574 * [backup-simplify]: Simplify im into im 4.574 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.574 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 4.574 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.574 * [taylor]: Taking taylor expansion of re in re 4.574 * [backup-simplify]: Simplify 0 into 0 4.574 * [backup-simplify]: Simplify 1 into 1 4.574 * [backup-simplify]: Simplify (/ 1 1) into 1 4.574 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.574 * [taylor]: Taking taylor expansion of im in re 4.574 * [backup-simplify]: Simplify im into im 4.575 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.575 * [backup-simplify]: Simplify (+ 1 0) into 1 4.576 * [backup-simplify]: Simplify (+ 1 0) into 1 4.576 * [backup-simplify]: Simplify (* 1 1) into 1 4.576 * [taylor]: Taking taylor expansion of 1 in im 4.576 * [backup-simplify]: Simplify 1 into 1 4.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.577 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.577 * [backup-simplify]: Simplify (+ 0 (- (/ 1 im))) into (- (/ 1 im)) 4.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.578 * [backup-simplify]: Simplify (+ 0 (/ 1 im)) into (/ 1 im) 4.578 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 im))) (* (/ 1 im) 1)) into 0 4.578 * [taylor]: Taking taylor expansion of 0 in im 4.578 * [backup-simplify]: Simplify 0 into 0 4.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.579 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 4.580 * [backup-simplify]: Simplify (- 0) into 0 4.580 * [backup-simplify]: Simplify (+ 0 0) into 0 4.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.581 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 4.582 * [backup-simplify]: Simplify (+ 0 0) into 0 4.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) (- (/ 1 im))) (* 0 1))) into (- (/ 1 (pow im 2))) 4.583 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 4.583 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 4.583 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.583 * [taylor]: Taking taylor expansion of im in im 4.583 * [backup-simplify]: Simplify 0 into 0 4.583 * [backup-simplify]: Simplify 1 into 1 4.583 * [backup-simplify]: Simplify (* 1 1) into 1 4.584 * [backup-simplify]: Simplify (/ 1 1) into 1 4.584 * [backup-simplify]: Simplify (- 1) into -1 4.584 * [backup-simplify]: Simplify -1 into -1 4.584 * [backup-simplify]: Simplify 1 into 1 4.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.585 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.586 * [backup-simplify]: Simplify (- 0) into 0 4.586 * [backup-simplify]: Simplify (+ 0 0) into 0 4.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.587 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.587 * [backup-simplify]: Simplify (+ 0 0) into 0 4.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 (- (/ 1 im))) (* 0 1)))) into 0 4.588 * [taylor]: Taking taylor expansion of 0 in im 4.588 * [backup-simplify]: Simplify 0 into 0 4.589 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.590 * [backup-simplify]: Simplify (- 0) into 0 4.590 * [backup-simplify]: Simplify 0 into 0 4.590 * [backup-simplify]: Simplify 0 into 0 4.590 * [backup-simplify]: Simplify 0 into 0 4.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.592 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.592 * [backup-simplify]: Simplify (- 0) into 0 4.592 * [backup-simplify]: Simplify (+ 0 0) into 0 4.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.594 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.594 * [backup-simplify]: Simplify (+ 0 0) into 0 4.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 0) (+ (* 0 (- (/ 1 im))) (* 0 1))))) into 0 4.595 * [taylor]: Taking taylor expansion of 0 in im 4.595 * [backup-simplify]: Simplify 0 into 0 4.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.598 * [backup-simplify]: Simplify (- 0) into 0 4.598 * [backup-simplify]: Simplify 0 into 0 4.598 * [backup-simplify]: Simplify 0 into 0 4.598 * [backup-simplify]: Simplify 0 into 0 4.598 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 4.598 * [backup-simplify]: Simplify (* (+ (/ 1 (- re)) (/ 1 (- im))) (- (/ 1 (- re)) (/ 1 (- im)))) into (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) 4.598 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in (re im) around 0 4.598 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in im 4.598 * [taylor]: Taking taylor expansion of -1 in im 4.598 * [backup-simplify]: Simplify -1 into -1 4.598 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re))) in im 4.598 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in im 4.598 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.598 * [taylor]: Taking taylor expansion of re in im 4.598 * [backup-simplify]: Simplify re into re 4.599 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 4.599 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.599 * [taylor]: Taking taylor expansion of im in im 4.599 * [backup-simplify]: Simplify 0 into 0 4.599 * [backup-simplify]: Simplify 1 into 1 4.599 * [backup-simplify]: Simplify (/ 1 1) into 1 4.599 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im 4.599 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.599 * [taylor]: Taking taylor expansion of im in im 4.599 * [backup-simplify]: Simplify 0 into 0 4.599 * [backup-simplify]: Simplify 1 into 1 4.599 * [backup-simplify]: Simplify (/ 1 1) into 1 4.599 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.599 * [taylor]: Taking taylor expansion of re in im 4.599 * [backup-simplify]: Simplify re into re 4.599 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 4.599 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in re 4.599 * [taylor]: Taking taylor expansion of -1 in re 4.599 * [backup-simplify]: Simplify -1 into -1 4.599 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re))) in re 4.599 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re 4.599 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.599 * [taylor]: Taking taylor expansion of re in re 4.599 * [backup-simplify]: Simplify 0 into 0 4.599 * [backup-simplify]: Simplify 1 into 1 4.600 * [backup-simplify]: Simplify (/ 1 1) into 1 4.600 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.600 * [taylor]: Taking taylor expansion of im in re 4.600 * [backup-simplify]: Simplify im into im 4.600 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.600 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 4.600 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.600 * [taylor]: Taking taylor expansion of im in re 4.600 * [backup-simplify]: Simplify im into im 4.600 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.600 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.600 * [taylor]: Taking taylor expansion of re in re 4.600 * [backup-simplify]: Simplify 0 into 0 4.600 * [backup-simplify]: Simplify 1 into 1 4.600 * [backup-simplify]: Simplify (/ 1 1) into 1 4.600 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in re 4.600 * [taylor]: Taking taylor expansion of -1 in re 4.600 * [backup-simplify]: Simplify -1 into -1 4.600 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re))) in re 4.600 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re 4.600 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.600 * [taylor]: Taking taylor expansion of re in re 4.600 * [backup-simplify]: Simplify 0 into 0 4.600 * [backup-simplify]: Simplify 1 into 1 4.601 * [backup-simplify]: Simplify (/ 1 1) into 1 4.601 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.601 * [taylor]: Taking taylor expansion of im in re 4.601 * [backup-simplify]: Simplify im into im 4.601 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.601 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 4.601 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.601 * [taylor]: Taking taylor expansion of im in re 4.601 * [backup-simplify]: Simplify im into im 4.601 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.601 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.601 * [taylor]: Taking taylor expansion of re in re 4.601 * [backup-simplify]: Simplify 0 into 0 4.601 * [backup-simplify]: Simplify 1 into 1 4.601 * [backup-simplify]: Simplify (/ 1 1) into 1 4.601 * [backup-simplify]: Simplify (+ 1 0) into 1 4.602 * [backup-simplify]: Simplify (- 1) into -1 4.602 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.602 * [backup-simplify]: Simplify (* 1 -1) into -1 4.602 * [backup-simplify]: Simplify (* -1 -1) into 1 4.602 * [taylor]: Taking taylor expansion of 1 in im 4.602 * [backup-simplify]: Simplify 1 into 1 4.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.603 * [backup-simplify]: Simplify (- 0) into 0 4.603 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im) 4.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.604 * [backup-simplify]: Simplify (+ 0 (/ 1 im)) into (/ 1 im) 4.604 * [backup-simplify]: Simplify (+ (* 1 (/ 1 im)) (* (/ 1 im) -1)) into 0 4.604 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 4.604 * [taylor]: Taking taylor expansion of 0 in im 4.604 * [backup-simplify]: Simplify 0 into 0 4.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 4.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.605 * [backup-simplify]: Simplify (- 0) into 0 4.606 * [backup-simplify]: Simplify (+ 0 0) into 0 4.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.606 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 4.606 * [backup-simplify]: Simplify (+ 0 0) into 0 4.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) (/ 1 im)) (* 0 -1))) into (/ 1 (pow im 2)) 4.608 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1))) into (- (/ 1 (pow im 2))) 4.608 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 4.608 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 4.608 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.608 * [taylor]: Taking taylor expansion of im in im 4.608 * [backup-simplify]: Simplify 0 into 0 4.608 * [backup-simplify]: Simplify 1 into 1 4.608 * [backup-simplify]: Simplify (* 1 1) into 1 4.608 * [backup-simplify]: Simplify (/ 1 1) into 1 4.608 * [backup-simplify]: Simplify (- 1) into -1 4.608 * [backup-simplify]: Simplify -1 into -1 4.608 * [backup-simplify]: Simplify 1 into 1 4.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.609 * [backup-simplify]: Simplify (- 0) into 0 4.610 * [backup-simplify]: Simplify (+ 0 0) into 0 4.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.610 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.610 * [backup-simplify]: Simplify (+ 0 0) into 0 4.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 (/ 1 im)) (* 0 -1)))) into 0 4.612 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1)))) into 0 4.612 * [taylor]: Taking taylor expansion of 0 in im 4.612 * [backup-simplify]: Simplify 0 into 0 4.612 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.613 * [backup-simplify]: Simplify (- 0) into 0 4.613 * [backup-simplify]: Simplify 0 into 0 4.613 * [backup-simplify]: Simplify 0 into 0 4.613 * [backup-simplify]: Simplify 0 into 0 4.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.614 * [backup-simplify]: Simplify (- 0) into 0 4.615 * [backup-simplify]: Simplify (+ 0 0) into 0 4.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.615 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.616 * [backup-simplify]: Simplify (+ 0 0) into 0 4.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 0) (+ (* 0 (/ 1 im)) (* 0 -1))))) into 0 4.617 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1))))) into 0 4.617 * [taylor]: Taking taylor expansion of 0 in im 4.617 * [backup-simplify]: Simplify 0 into 0 4.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.619 * [backup-simplify]: Simplify (- 0) into 0 4.619 * [backup-simplify]: Simplify 0 into 0 4.619 * [backup-simplify]: Simplify 0 into 0 4.619 * [backup-simplify]: Simplify 0 into 0 4.619 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 4.619 * * * [progress]: simplifying candidates 4.620 * [simplify]: Simplifying: (* (+ re im) (- re im)) (+ (log (+ re im)) (log (- re im))) (log (* (+ re im) (- re im))) (exp (* (+ re im) (- re im))) (* (* (* (+ re im) (+ re im)) (+ re im)) (* (* (- re im) (- re im)) (- re im))) (* (cbrt (* (+ re im) (- re im))) (cbrt (* (+ re im) (- re im)))) (cbrt (* (+ re im) (- re im))) (* (* (* (+ re im) (- re im)) (* (+ re im) (- re im))) (* (+ re im) (- re im))) (sqrt (* (+ re im) (- re im))) (sqrt (* (+ re im) (- re im))) (* (+ (pow re 3) (pow im 3)) (- (pow re 3) (pow im 3))) (* (+ (* re re) (- (* im im) (* re im))) (+ (* re re) (+ (* im im) (* re im)))) (* (+ (pow re 3) (pow im 3)) (- (* re re) (* im im))) (* (+ (* re re) (- (* im im) (* re im))) (+ re im)) (* (- (* re re) (* im im)) (- (pow re 3) (pow im 3))) (* (- re im) (+ (* re re) (+ (* im im) (* re im)))) (* (- (* re re) (* im im)) (- (* re re) (* im im))) (* (- re im) (+ re im)) (* (sqrt (+ re im)) (sqrt (- re im))) (* (sqrt (+ re im)) (sqrt (- re im))) (* (+ re im) re) (* (+ re im) (- im)) (* (+ re im) re) (* (+ re im) (- im)) (* re (+ re im)) (* (- im) (+ re im)) (* re (+ re im)) (* (- im) (+ re im)) (* (+ re im) (* (cbrt (- re im)) (cbrt (- re im)))) (* (+ re im) (sqrt (- re im))) (* (+ re im) 1) (* (+ re im) (+ (sqrt re) (sqrt im))) (* (+ re im) 1) (* (cbrt (+ re im)) (- re im)) (* (sqrt (+ re im)) (- re im)) (* (+ re im) (- re im)) (* (+ re im) (- re im)) (* (+ re im) (- (pow re 3) (pow im 3))) (* (+ re im) (- (* re re) (* im im))) (* (+ (pow re 3) (pow im 3)) (- re im)) (* (- (* re re) (* im im)) (- re im)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) 4.620 * * [simplify]: Extracting # 0 : cost 33 inf + 0 4.621 * * [simplify]: Extracting # 1 : cost 55 inf + 0 4.621 * * [simplify]: Extracting # 2 : cost 66 inf + 2 4.621 * * [simplify]: Extracting # 3 : cost 63 inf + 298 4.621 * * [simplify]: Extracting # 4 : cost 28 inf + 5066 4.622 * * [simplify]: Extracting # 5 : cost 7 inf + 9701 4.623 * * [simplify]: Extracting # 6 : cost 0 inf + 12799 4.624 * * [simplify]: iteration 0 : 70 enodes (cost 10458 ) 4.646 * * [simplify]: Extracting # 0 : cost 0 inf + 12799 4.649 * * [simplify]: Extracting # 1 : cost 53 inf + 10300 4.653 * * [simplify]: Extracting # 2 : cost 3 inf + 16164 4.658 * * [simplify]: Extracting # 3 : cost 2 inf + 15823 4.660 * * [simplify]: Extracting # 4 : cost 0 inf + 16247 4.662 * * [simplify]: iteration 1 : 213 enodes (cost 7658 ) 4.772 * * [simplify]: Extracting # 0 : cost 0 inf + 16247 4.780 * * [simplify]: Extracting # 1 : cost 636 inf + 14445 4.808 * * [simplify]: Extracting # 2 : cost 5 inf + 99272 4.842 * * [simplify]: Extracting # 3 : cost 3 inf + 99356 4.875 * * [simplify]: Extracting # 4 : cost 0 inf + 100183 4.911 * * [simplify]: iteration 2 : 1544 enodes (cost 7658 ) 5.479 * * [simplify]: Extracting # 0 : cost 0 inf + 100183 5.545 * * [simplify]: Extracting # 1 : cost 2053 inf + 82376 5.635 * * [simplify]: Extracting # 2 : cost 66 inf + 387736 5.760 * * [simplify]: Extracting # 3 : cost 20 inf + 394722 5.834 * * [simplify]: Extracting # 4 : cost 0 inf + 399849 5.939 * * [simplify]: iteration done: 5002 enodes (cost 7578 ) 5.939 * [simplify]: Simplified to: (* (+ re im) (- re im)) (log (* (+ re im) (- re im))) (log (* (+ re im) (- re im))) (exp (* (+ re im) (- re im))) (* (* (* (+ re im) (- re im)) (* (+ re im) (- re im))) (* (+ re im) (- re im))) (* (cbrt (* (+ re im) (- re im))) (cbrt (* (+ re im) (- re im)))) (cbrt (* (+ re im) (- re im))) (* (* (* (+ re im) (- re im)) (* (+ re im) (- re im))) (* (+ re im) (- re im))) (sqrt (* (+ re im) (- re im))) (sqrt (* (+ re im) (- re im))) (* (- (* (* re re) re) (* (* im im) im)) (+ (* (* im im) im) (* (* re re) re))) (* (+ (* re re) (- (* im im) (* re im))) (+ (* re re) (+ (* im im) (* re im)))) (* (- (* re re) (* im im)) (+ (* (* im im) im) (* (* re re) re))) (* (+ re im) (+ (* re re) (* im (- im re)))) (* (- (* (* re re) re) (* (* im im) im)) (- (* re re) (* im im))) (* (- re im) (+ (* im (+ re im)) (* re re))) (* (* (+ re im) (- re im)) (* (+ re im) (- re im))) (* (+ re im) (- re im)) (* (sqrt (+ re im)) (sqrt (- re im))) (* (sqrt (+ re im)) (sqrt (- re im))) (* re (+ re im)) (* (- im) (+ re im)) (* re (+ re im)) (* (- im) (+ re im)) (* re (+ re im)) (* (- im) (+ re im)) (* re (+ re im)) (* (- im) (+ re im)) (* (* (cbrt (- re im)) (cbrt (- re im))) (+ re im)) (* (sqrt (- re im)) (+ re im)) (+ re im) (* (+ (sqrt re) (sqrt im)) (+ re im)) (+ re im) (* (cbrt (+ re im)) (- re im)) (* (sqrt (+ re im)) (- re im)) (* (+ re im) (- re im)) (* (+ re im) (- re im)) (* (- (* (* re re) re) (* (* im im) im)) (+ re im)) (* (* (+ re im) (+ re im)) (- re im)) (* (- re im) (+ (* (* im im) im) (* (* re re) re))) (* (+ re im) (* (- re im) (- re im))) (* (+ re im) (- re im)) (* (+ re im) (- re im)) (* (+ re im) (- re im)) 5.941 * * * [progress]: adding candidates to table 6.074 * [progress]: [Phase 3 of 3] Extracting. 6.074 * * [regime]: Finding splitpoints for: (# #) 6.076 * * * [regime-changes]: Trying 5 branch expressions: ((* im im) (* re re) (- (* re re) (* im im)) im re) 6.076 * * * * [regimes]: Trying to branch on (* im im) from (# #) 6.109 * * * * [regimes]: Trying to branch on (* re re) from (# #) 6.141 * * * * [regimes]: Trying to branch on (- (* re re) (* im im)) from (# #) 6.192 * * * * [regimes]: Trying to branch on im from (# #) 6.234 * * * * [regimes]: Trying to branch on re from (# #) 6.262 * * * [regime]: Found split indices: #