1553931499.563 * [progress]: [Phase 1 of 3] Setting up. 1553931499.564 * * * [progress]: [1/2] Preparing points 1553931499.640 * * * [progress]: [2/2] Setting up program. 1553931499.644 * [progress]: [Phase 2 of 3] Improving. 1553931499.646 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553931499.647 * [simplify]: Simplifying (- (* re re) (* im im)) 1553931499.648 * * [simplify]: iters left: 4 (5 enodes) 1553931499.697 * * [simplify]: iters left: 3 (20 enodes) 1553931499.700 * * [simplify]: iters left: 2 (33 enodes) 1553931499.706 * * [simplify]: iters left: 1 (50 enodes) 1553931499.716 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931499.716 * * [simplify]: Extracting #1: cost 11 inf + 0 1553931499.716 * * [simplify]: Extracting #2: cost 29 inf + 0 1553931499.717 * * [simplify]: Extracting #3: cost 19 inf + 455 1553931499.717 * * [simplify]: Extracting #4: cost 0 inf + 2130 1553931499.718 * * [simplify]: Extracting #5: cost 0 inf + 1970 1553931499.719 * [simplify]: Simplified to (* (+ re im) (- re im)) 1553931499.719 * [simplify]: Simplified (2) to (λ (re im) (* (+ re im) (- re im))) 1553931499.723 * * [progress]: iteration 1 / 4 1553931499.723 * * * [progress]: picking best candidate 1553931499.725 * * * * [pick]: Picked # 1553931499.725 * * * [progress]: localizing error 1553931499.735 * * * [progress]: generating rewritten candidates 1553931499.735 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553931499.746 * * * [progress]: generating series expansions 1553931499.746 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553931499.751 * [backup-simplify]: Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2)) 1553931499.751 * [approximate]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0 1553931499.752 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im 1553931499.752 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931499.752 * [taylor]: Taking taylor expansion of re in im 1553931499.752 * [backup-simplify]: Simplify re into re 1553931499.752 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931499.752 * [taylor]: Taking taylor expansion of im in im 1553931499.752 * [backup-simplify]: Simplify 0 into 0 1553931499.752 * [backup-simplify]: Simplify 1 into 1 1553931499.752 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1553931499.752 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931499.753 * [taylor]: Taking taylor expansion of re in re 1553931499.753 * [backup-simplify]: Simplify 0 into 0 1553931499.753 * [backup-simplify]: Simplify 1 into 1 1553931499.753 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931499.753 * [taylor]: Taking taylor expansion of im in re 1553931499.753 * [backup-simplify]: Simplify im into im 1553931499.753 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1553931499.753 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931499.753 * [taylor]: Taking taylor expansion of re in re 1553931499.753 * [backup-simplify]: Simplify 0 into 0 1553931499.753 * [backup-simplify]: Simplify 1 into 1 1553931499.753 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931499.753 * [taylor]: Taking taylor expansion of im in re 1553931499.753 * [backup-simplify]: Simplify im into im 1553931499.753 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931499.753 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 1553931499.754 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 1553931499.754 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 1553931499.754 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931499.754 * [taylor]: Taking taylor expansion of im in im 1553931499.754 * [backup-simplify]: Simplify 0 into 0 1553931499.754 * [backup-simplify]: Simplify 1 into 1 1553931499.754 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931499.755 * [backup-simplify]: Simplify (- 0) into 0 1553931499.755 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931499.755 * [taylor]: Taking taylor expansion of 0 in im 1553931499.755 * [backup-simplify]: Simplify 0 into 0 1553931499.755 * [backup-simplify]: Simplify 0 into 0 1553931499.756 * [backup-simplify]: Simplify (* 1 1) into 1 1553931499.756 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1553931499.756 * [backup-simplify]: Simplify (- 0) into 0 1553931499.756 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931499.756 * [taylor]: Taking taylor expansion of 1 in im 1553931499.756 * [backup-simplify]: Simplify 1 into 1 1553931499.756 * [backup-simplify]: Simplify 1 into 1 1553931499.757 * [backup-simplify]: Simplify 0 into 0 1553931499.757 * [backup-simplify]: Simplify (* 1 1) into 1 1553931499.757 * [backup-simplify]: Simplify (- 1) into -1 1553931499.757 * [backup-simplify]: Simplify -1 into -1 1553931499.758 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931499.759 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 1553931499.760 * [backup-simplify]: Simplify (- 0) into 0 1553931499.760 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931499.760 * [taylor]: Taking taylor expansion of 0 in im 1553931499.760 * [backup-simplify]: Simplify 0 into 0 1553931499.760 * [backup-simplify]: Simplify 0 into 0 1553931499.760 * [backup-simplify]: Simplify 0 into 0 1553931499.760 * [backup-simplify]: Simplify 0 into 0 1553931499.761 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931499.761 * [backup-simplify]: Simplify (- 0) into 0 1553931499.761 * [backup-simplify]: Simplify 0 into 0 1553931499.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931499.763 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 1553931499.764 * [backup-simplify]: Simplify (- 0) into 0 1553931499.764 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931499.764 * [taylor]: Taking taylor expansion of 0 in im 1553931499.764 * [backup-simplify]: Simplify 0 into 0 1553931499.764 * [backup-simplify]: Simplify 0 into 0 1553931499.764 * [backup-simplify]: Simplify 0 into 0 1553931499.765 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 1553931499.765 * [backup-simplify]: Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 1553931499.765 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 1553931499.765 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1553931499.765 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1553931499.765 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931499.765 * [taylor]: Taking taylor expansion of re in im 1553931499.765 * [backup-simplify]: Simplify re into re 1553931499.766 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1553931499.766 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1553931499.766 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931499.766 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931499.766 * [taylor]: Taking taylor expansion of im in im 1553931499.766 * [backup-simplify]: Simplify 0 into 0 1553931499.766 * [backup-simplify]: Simplify 1 into 1 1553931499.766 * [backup-simplify]: Simplify (* 1 1) into 1 1553931499.767 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931499.767 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931499.767 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931499.767 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931499.767 * [taylor]: Taking taylor expansion of re in re 1553931499.767 * [backup-simplify]: Simplify 0 into 0 1553931499.767 * [backup-simplify]: Simplify 1 into 1 1553931499.767 * [backup-simplify]: Simplify (* 1 1) into 1 1553931499.768 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931499.768 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931499.768 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931499.768 * [taylor]: Taking taylor expansion of im in re 1553931499.768 * [backup-simplify]: Simplify im into im 1553931499.768 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931499.768 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931499.768 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931499.768 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931499.768 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931499.768 * [taylor]: Taking taylor expansion of re in re 1553931499.768 * [backup-simplify]: Simplify 0 into 0 1553931499.768 * [backup-simplify]: Simplify 1 into 1 1553931499.769 * [backup-simplify]: Simplify (* 1 1) into 1 1553931499.769 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931499.769 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931499.769 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931499.769 * [taylor]: Taking taylor expansion of im in re 1553931499.769 * [backup-simplify]: Simplify im into im 1553931499.769 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931499.769 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931499.770 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931499.770 * [taylor]: Taking taylor expansion of 1 in im 1553931499.770 * [backup-simplify]: Simplify 1 into 1 1553931499.773 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931499.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931499.774 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931499.774 * [taylor]: Taking taylor expansion of 0 in im 1553931499.774 * [backup-simplify]: Simplify 0 into 0 1553931499.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931499.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931499.776 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1553931499.776 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1553931499.776 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 1553931499.776 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931499.776 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931499.776 * [taylor]: Taking taylor expansion of im in im 1553931499.776 * [backup-simplify]: Simplify 0 into 0 1553931499.776 * [backup-simplify]: Simplify 1 into 1 1553931499.777 * [backup-simplify]: Simplify (* 1 1) into 1 1553931499.777 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931499.777 * [backup-simplify]: Simplify (- 1) into -1 1553931499.777 * [backup-simplify]: Simplify -1 into -1 1553931499.778 * [backup-simplify]: Simplify 1 into 1 1553931499.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931499.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931499.780 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931499.780 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1553931499.780 * [backup-simplify]: Simplify (- 0) into 0 1553931499.781 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931499.781 * [taylor]: Taking taylor expansion of 0 in im 1553931499.781 * [backup-simplify]: Simplify 0 into 0 1553931499.782 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931499.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931499.783 * [backup-simplify]: Simplify (- 0) into 0 1553931499.783 * [backup-simplify]: Simplify 0 into 0 1553931499.783 * [backup-simplify]: Simplify 0 into 0 1553931499.783 * [backup-simplify]: Simplify 0 into 0 1553931499.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553931499.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931499.796 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1553931499.797 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 1553931499.797 * [backup-simplify]: Simplify (- 0) into 0 1553931499.797 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931499.797 * [taylor]: Taking taylor expansion of 0 in im 1553931499.797 * [backup-simplify]: Simplify 0 into 0 1553931499.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931499.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931499.800 * [backup-simplify]: Simplify (- 0) into 0 1553931499.800 * [backup-simplify]: Simplify 0 into 0 1553931499.800 * [backup-simplify]: Simplify 0 into 0 1553931499.800 * [backup-simplify]: Simplify 0 into 0 1553931499.800 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 1553931499.801 * [backup-simplify]: Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 1553931499.801 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 1553931499.801 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1553931499.801 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1553931499.801 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931499.801 * [taylor]: Taking taylor expansion of re in im 1553931499.801 * [backup-simplify]: Simplify re into re 1553931499.801 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1553931499.801 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1553931499.801 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931499.801 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931499.801 * [taylor]: Taking taylor expansion of im in im 1553931499.801 * [backup-simplify]: Simplify 0 into 0 1553931499.801 * [backup-simplify]: Simplify 1 into 1 1553931499.802 * [backup-simplify]: Simplify (* 1 1) into 1 1553931499.802 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931499.802 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931499.802 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931499.802 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931499.802 * [taylor]: Taking taylor expansion of re in re 1553931499.802 * [backup-simplify]: Simplify 0 into 0 1553931499.802 * [backup-simplify]: Simplify 1 into 1 1553931499.802 * [backup-simplify]: Simplify (* 1 1) into 1 1553931499.803 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931499.803 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931499.803 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931499.803 * [taylor]: Taking taylor expansion of im in re 1553931499.803 * [backup-simplify]: Simplify im into im 1553931499.803 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931499.803 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931499.803 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931499.803 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931499.803 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931499.803 * [taylor]: Taking taylor expansion of re in re 1553931499.803 * [backup-simplify]: Simplify 0 into 0 1553931499.803 * [backup-simplify]: Simplify 1 into 1 1553931499.804 * [backup-simplify]: Simplify (* 1 1) into 1 1553931499.804 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931499.804 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931499.804 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931499.804 * [taylor]: Taking taylor expansion of im in re 1553931499.805 * [backup-simplify]: Simplify im into im 1553931499.805 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931499.805 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931499.805 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931499.805 * [taylor]: Taking taylor expansion of 1 in im 1553931499.805 * [backup-simplify]: Simplify 1 into 1 1553931499.806 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931499.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931499.807 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931499.807 * [taylor]: Taking taylor expansion of 0 in im 1553931499.807 * [backup-simplify]: Simplify 0 into 0 1553931499.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931499.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931499.809 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1553931499.810 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1553931499.810 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 1553931499.810 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931499.810 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931499.810 * [taylor]: Taking taylor expansion of im in im 1553931499.810 * [backup-simplify]: Simplify 0 into 0 1553931499.810 * [backup-simplify]: Simplify 1 into 1 1553931499.810 * [backup-simplify]: Simplify (* 1 1) into 1 1553931499.811 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931499.811 * [backup-simplify]: Simplify (- 1) into -1 1553931499.811 * [backup-simplify]: Simplify -1 into -1 1553931499.811 * [backup-simplify]: Simplify 1 into 1 1553931499.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931499.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931499.814 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931499.814 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1553931499.814 * [backup-simplify]: Simplify (- 0) into 0 1553931499.815 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931499.815 * [taylor]: Taking taylor expansion of 0 in im 1553931499.815 * [backup-simplify]: Simplify 0 into 0 1553931499.816 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931499.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931499.817 * [backup-simplify]: Simplify (- 0) into 0 1553931499.817 * [backup-simplify]: Simplify 0 into 0 1553931499.817 * [backup-simplify]: Simplify 0 into 0 1553931499.817 * [backup-simplify]: Simplify 0 into 0 1553931499.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553931499.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931499.820 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1553931499.820 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 1553931499.820 * [backup-simplify]: Simplify (- 0) into 0 1553931499.821 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931499.821 * [taylor]: Taking taylor expansion of 0 in im 1553931499.821 * [backup-simplify]: Simplify 0 into 0 1553931499.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931499.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931499.823 * [backup-simplify]: Simplify (- 0) into 0 1553931499.823 * [backup-simplify]: Simplify 0 into 0 1553931499.823 * [backup-simplify]: Simplify 0 into 0 1553931499.823 * [backup-simplify]: Simplify 0 into 0 1553931499.823 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 1553931499.824 * * * [progress]: simplifying candidates 1553931499.824 * * * * [progress]: [ 1 / 17 ] simplifiying candidate # 1553931499.824 * [simplify]: Simplifying (/ (exp (* re re)) (exp (* im im))) 1553931499.824 * * [simplify]: iters left: 5 (7 enodes) 1553931499.827 * * [simplify]: iters left: 4 (27 enodes) 1553931499.835 * * [simplify]: iters left: 3 (45 enodes) 1553931499.849 * * [simplify]: iters left: 2 (88 enodes) 1553931499.865 * * [simplify]: iters left: 1 (199 enodes) 1553931500.013 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931500.013 * * [simplify]: Extracting #1: cost 61 inf + 0 1553931500.014 * * [simplify]: Extracting #2: cost 168 inf + 0 1553931500.040 * * [simplify]: Extracting #3: cost 198 inf + 1218 1553931500.046 * * [simplify]: Extracting #4: cost 139 inf + 9149 1553931500.059 * * [simplify]: Extracting #5: cost 69 inf + 34185 1553931500.073 * * [simplify]: Extracting #6: cost 10 inf + 77610 1553931500.094 * * [simplify]: Extracting #7: cost 0 inf + 85017 1553931500.112 * [simplify]: Simplified to (exp (- (* re re) (* im im))) 1553931500.112 * [simplify]: Simplified (2 1) to (λ (re im) (log (exp (- (* re re) (* im im))))) 1553931500.112 * * * * [progress]: [ 2 / 17 ] simplifiying candidate # 1553931500.112 * * * * [progress]: [ 3 / 17 ] simplifiying candidate # 1553931500.112 * * * * [progress]: [ 4 / 17 ] simplifiying candidate # 1553931500.112 * * * * [progress]: [ 5 / 17 ] simplifiying candidate # 1553931500.112 * * * * [progress]: [ 6 / 17 ] simplifiying candidate # 1553931500.113 * * * * [progress]: [ 7 / 17 ] simplifiying candidate # 1553931500.113 * * * * [progress]: [ 8 / 17 ] simplifiying candidate # 1553931500.113 * * * * [progress]: [ 9 / 17 ] simplifiying candidate # 1553931500.113 * * * * [progress]: [ 10 / 17 ] simplifiying candidate # 1553931500.113 * * * * [progress]: [ 11 / 17 ] simplifiying candidate # 1553931500.113 * * * * [progress]: [ 12 / 17 ] simplifiying candidate # 1553931500.113 * [simplify]: Simplifying (+ re im) 1553931500.113 * * [simplify]: iters left: 2 (3 enodes) 1553931500.115 * * [simplify]: iters left: 1 (10 enodes) 1553931500.117 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931500.117 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931500.118 * * [simplify]: Extracting #2: cost 2 inf + 2 1553931500.118 * * [simplify]: Extracting #3: cost 0 inf + 86 1553931500.118 * [simplify]: Simplified to (+ im re) 1553931500.118 * [simplify]: Simplified (2 1) to (λ (re im) (* (+ im re) (- re im))) 1553931500.118 * [simplify]: Simplifying (- re im) 1553931500.118 * * [simplify]: iters left: 2 (3 enodes) 1553931500.120 * * [simplify]: iters left: 1 (11 enodes) 1553931500.123 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931500.123 * * [simplify]: Extracting #1: cost 5 inf + 0 1553931500.123 * * [simplify]: Extracting #2: cost 3 inf + 43 1553931500.123 * * [simplify]: Extracting #3: cost 0 inf + 168 1553931500.123 * [simplify]: Simplified to (- re im) 1553931500.123 * [simplify]: Simplified (2 2) to (λ (re im) (* (+ re im) (- re im))) 1553931500.123 * * * * [progress]: [ 13 / 17 ] simplifiying candidate # 1553931500.123 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #real (real->posit16 (- (* re re) (* im im)))))> 1553931500.123 * * * * [progress]: [ 15 / 17 ] simplifiying candidate # 1553931500.124 * [simplify]: Simplifying (- (pow re 2) (pow im 2)) 1553931500.124 * * [simplify]: iters left: 3 (6 enodes) 1553931500.128 * * [simplify]: iters left: 2 (28 enodes) 1553931500.135 * * [simplify]: iters left: 1 (41 enodes) 1553931500.142 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931500.142 * * [simplify]: Extracting #1: cost 7 inf + 0 1553931500.142 * * [simplify]: Extracting #2: cost 16 inf + 0 1553931500.142 * * [simplify]: Extracting #3: cost 14 inf + 3 1553931500.142 * * [simplify]: Extracting #4: cost 6 inf + 454 1553931500.142 * * [simplify]: Extracting #5: cost 0 inf + 823 1553931500.143 * [simplify]: Simplified to (- (* re re) (* im im)) 1553931500.143 * [simplify]: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1553931500.143 * * * * [progress]: [ 16 / 17 ] simplifiying candidate # 1553931500.143 * [simplify]: Simplifying (- (pow re 2) (pow im 2)) 1553931500.143 * * [simplify]: iters left: 3 (6 enodes) 1553931500.145 * * [simplify]: iters left: 2 (28 enodes) 1553931500.153 * * [simplify]: iters left: 1 (41 enodes) 1553931500.160 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931500.160 * * [simplify]: Extracting #1: cost 7 inf + 0 1553931500.160 * * [simplify]: Extracting #2: cost 16 inf + 0 1553931500.160 * * [simplify]: Extracting #3: cost 14 inf + 3 1553931500.160 * * [simplify]: Extracting #4: cost 6 inf + 454 1553931500.160 * * [simplify]: Extracting #5: cost 0 inf + 823 1553931500.161 * [simplify]: Simplified to (- (* re re) (* im im)) 1553931500.161 * [simplify]: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1553931500.161 * * * * [progress]: [ 17 / 17 ] simplifiying candidate # 1553931500.161 * [simplify]: Simplifying (- (pow re 2) (pow im 2)) 1553931500.161 * * [simplify]: iters left: 3 (6 enodes) 1553931500.164 * * [simplify]: iters left: 2 (28 enodes) 1553931500.169 * * [simplify]: iters left: 1 (41 enodes) 1553931500.176 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931500.176 * * [simplify]: Extracting #1: cost 7 inf + 0 1553931500.176 * * [simplify]: Extracting #2: cost 16 inf + 0 1553931500.176 * * [simplify]: Extracting #3: cost 14 inf + 3 1553931500.176 * * [simplify]: Extracting #4: cost 6 inf + 454 1553931500.177 * * [simplify]: Extracting #5: cost 0 inf + 823 1553931500.177 * [simplify]: Simplified to (- (* re re) (* im im)) 1553931500.177 * [simplify]: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1553931500.177 * * * [progress]: adding candidates to table 1553931500.269 * * [progress]: iteration 2 / 4 1553931500.269 * * * [progress]: picking best candidate 1553931500.271 * * * * [pick]: Picked # 1553931500.271 * * * [progress]: localizing error 1553931500.287 * * * [progress]: generating rewritten candidates 1553931500.287 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1553931500.294 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1553931500.300 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1553931500.342 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1553931500.352 * * * [progress]: generating series expansions 1553931500.352 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1553931500.353 * [backup-simplify]: Simplify (sqrt (- (* re re) (* im im))) into (sqrt (- (pow re 2) (pow im 2))) 1553931500.353 * [approximate]: Taking taylor expansion of (sqrt (- (pow re 2) (pow im 2))) in (re im) around 0 1553931500.353 * [taylor]: Taking taylor expansion of (sqrt (- (pow re 2) (pow im 2))) in im 1553931500.353 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im 1553931500.353 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931500.353 * [taylor]: Taking taylor expansion of re in im 1553931500.353 * [backup-simplify]: Simplify re into re 1553931500.353 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.353 * [taylor]: Taking taylor expansion of im in im 1553931500.353 * [backup-simplify]: Simplify 0 into 0 1553931500.353 * [backup-simplify]: Simplify 1 into 1 1553931500.353 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1553931500.353 * [backup-simplify]: Simplify (+ (pow re 2) 0) into (pow re 2) 1553931500.353 * [backup-simplify]: Simplify (sqrt (pow re 2)) into re 1553931500.353 * [backup-simplify]: Simplify (+ (* re 0) (* 0 re)) into 0 1553931500.354 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.354 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow re 2)))) into 0 1553931500.354 * [taylor]: Taking taylor expansion of (sqrt (- (pow re 2) (pow im 2))) in re 1553931500.354 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1553931500.354 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.354 * [taylor]: Taking taylor expansion of re in re 1553931500.354 * [backup-simplify]: Simplify 0 into 0 1553931500.354 * [backup-simplify]: Simplify 1 into 1 1553931500.354 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.354 * [taylor]: Taking taylor expansion of im in re 1553931500.354 * [backup-simplify]: Simplify im into im 1553931500.354 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.354 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 1553931500.354 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 1553931500.354 * [backup-simplify]: Simplify (sqrt (- (pow im 2))) into (sqrt (- (pow im 2))) 1553931500.354 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931500.354 * [backup-simplify]: Simplify (- 0) into 0 1553931500.355 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.355 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow im 2))))) into 0 1553931500.355 * [taylor]: Taking taylor expansion of (sqrt (- (pow re 2) (pow im 2))) in re 1553931500.355 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1553931500.355 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.355 * [taylor]: Taking taylor expansion of re in re 1553931500.355 * [backup-simplify]: Simplify 0 into 0 1553931500.355 * [backup-simplify]: Simplify 1 into 1 1553931500.355 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.355 * [taylor]: Taking taylor expansion of im in re 1553931500.355 * [backup-simplify]: Simplify im into im 1553931500.355 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.355 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 1553931500.355 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 1553931500.355 * [backup-simplify]: Simplify (sqrt (- (pow im 2))) into (sqrt (- (pow im 2))) 1553931500.355 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931500.355 * [backup-simplify]: Simplify (- 0) into 0 1553931500.356 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.356 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow im 2))))) into 0 1553931500.356 * [taylor]: Taking taylor expansion of (sqrt (- (pow im 2))) in im 1553931500.356 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 1553931500.356 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.356 * [taylor]: Taking taylor expansion of im in im 1553931500.356 * [backup-simplify]: Simplify 0 into 0 1553931500.356 * [backup-simplify]: Simplify 1 into 1 1553931500.356 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.356 * [backup-simplify]: Simplify (- 1) into -1 1553931500.357 * [backup-simplify]: Simplify (- 1) into -1 1553931500.357 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553931500.357 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.358 * [backup-simplify]: Simplify (- 0) into 0 1553931500.358 * [backup-simplify]: Simplify (- 1) into -1 1553931500.358 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1553931500.358 * [taylor]: Taking taylor expansion of 0 in im 1553931500.358 * [backup-simplify]: Simplify 0 into 0 1553931500.358 * [backup-simplify]: Simplify 0 into 0 1553931500.359 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553931500.359 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.359 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1553931500.360 * [backup-simplify]: Simplify (- 0) into 0 1553931500.360 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.360 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt (- (pow im 2))))) into (/ 1/2 (sqrt (- (pow im 2)))) 1553931500.360 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow im 2)))) in im 1553931500.360 * [taylor]: Taking taylor expansion of 1/2 in im 1553931500.360 * [backup-simplify]: Simplify 1/2 into 1/2 1553931500.360 * [taylor]: Taking taylor expansion of (sqrt (- (pow im 2))) in im 1553931500.360 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 1553931500.360 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.360 * [taylor]: Taking taylor expansion of im in im 1553931500.361 * [backup-simplify]: Simplify 0 into 0 1553931500.361 * [backup-simplify]: Simplify 1 into 1 1553931500.361 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.361 * [backup-simplify]: Simplify (- 1) into -1 1553931500.361 * [backup-simplify]: Simplify (- 1) into -1 1553931500.361 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553931500.362 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.362 * [backup-simplify]: Simplify (- 0) into 0 1553931500.362 * [backup-simplify]: Simplify (- 1) into -1 1553931500.363 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1553931500.363 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1553931500.364 * [backup-simplify]: Simplify (- (/ 0 (sqrt -1)) (+ (* (/ 1/2 (sqrt -1)) (/ 0 (sqrt -1))))) into 0 1553931500.364 * [backup-simplify]: Simplify 0 into 0 1553931500.364 * [backup-simplify]: Simplify 0 into 0 1553931500.364 * [backup-simplify]: Simplify 0 into 0 1553931500.365 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.365 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 1553931500.365 * [backup-simplify]: Simplify (- 0) into 0 1553931500.366 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.366 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt (- (pow im 2)))))))) (* 2 (sqrt (- (pow im 2))))) into 0 1553931500.366 * [taylor]: Taking taylor expansion of 0 in im 1553931500.366 * [backup-simplify]: Simplify 0 into 0 1553931500.366 * [backup-simplify]: Simplify 0 into 0 1553931500.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.367 * [backup-simplify]: Simplify (- 0) into 0 1553931500.367 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt -1))) into 0 1553931500.368 * [backup-simplify]: Simplify (- (/ 0 (sqrt -1)) (+ (* (/ 1/2 (sqrt -1)) (/ 0 (sqrt -1))) (* 0 (/ 0 (sqrt -1))))) into 0 1553931500.368 * [backup-simplify]: Simplify 0 into 0 1553931500.368 * [backup-simplify]: Simplify 0 into 0 1553931500.368 * [backup-simplify]: Simplify (* (sqrt -1) (* im 1)) into (* (sqrt -1) im) 1553931500.368 * [backup-simplify]: Simplify (sqrt (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) into (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) 1553931500.368 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in (re im) around 0 1553931500.368 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in im 1553931500.368 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1553931500.369 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1553931500.369 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931500.369 * [taylor]: Taking taylor expansion of re in im 1553931500.369 * [backup-simplify]: Simplify re into re 1553931500.369 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1553931500.369 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1553931500.369 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931500.369 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.369 * [taylor]: Taking taylor expansion of im in im 1553931500.369 * [backup-simplify]: Simplify 0 into 0 1553931500.369 * [backup-simplify]: Simplify 1 into 1 1553931500.369 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.369 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.369 * [backup-simplify]: Simplify (- 1) into -1 1553931500.370 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553931500.370 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553931500.370 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.371 * [backup-simplify]: Simplify (- 0) into 0 1553931500.371 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.372 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1553931500.372 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re 1553931500.372 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.372 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.372 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.372 * [taylor]: Taking taylor expansion of re in re 1553931500.372 * [backup-simplify]: Simplify 0 into 0 1553931500.372 * [backup-simplify]: Simplify 1 into 1 1553931500.372 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.372 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.372 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.372 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.372 * [taylor]: Taking taylor expansion of im in re 1553931500.372 * [backup-simplify]: Simplify im into im 1553931500.372 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.372 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.373 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.373 * [backup-simplify]: Simplify (sqrt 1) into 1 1553931500.373 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.374 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.374 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1553931500.374 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re 1553931500.374 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.374 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.374 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.374 * [taylor]: Taking taylor expansion of re in re 1553931500.374 * [backup-simplify]: Simplify 0 into 0 1553931500.374 * [backup-simplify]: Simplify 1 into 1 1553931500.375 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.375 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.375 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.375 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.375 * [taylor]: Taking taylor expansion of im in re 1553931500.375 * [backup-simplify]: Simplify im into im 1553931500.375 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.375 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.375 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.376 * [backup-simplify]: Simplify (sqrt 1) into 1 1553931500.376 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.377 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.377 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1553931500.377 * [taylor]: Taking taylor expansion of 1 in im 1553931500.377 * [backup-simplify]: Simplify 1 into 1 1553931500.377 * [taylor]: Taking taylor expansion of 0 in im 1553931500.377 * [backup-simplify]: Simplify 0 into 0 1553931500.377 * [backup-simplify]: Simplify 1 into 1 1553931500.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.378 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1553931500.378 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1553931500.379 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow im 2))) (pow 0 2) (+)) (* 2 1)) into (/ -1/2 (pow im 2)) 1553931500.379 * [taylor]: Taking taylor expansion of (/ -1/2 (pow im 2)) in im 1553931500.380 * [taylor]: Taking taylor expansion of -1/2 in im 1553931500.380 * [backup-simplify]: Simplify -1/2 into -1/2 1553931500.380 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.380 * [taylor]: Taking taylor expansion of im in im 1553931500.380 * [backup-simplify]: Simplify 0 into 0 1553931500.380 * [backup-simplify]: Simplify 1 into 1 1553931500.380 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.380 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 1553931500.380 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.381 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0 1553931500.381 * [backup-simplify]: Simplify 0 into 0 1553931500.381 * [backup-simplify]: Simplify 0 into 0 1553931500.381 * [backup-simplify]: Simplify 0 into 0 1553931500.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931500.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.383 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931500.383 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1553931500.383 * [backup-simplify]: Simplify (- 0) into 0 1553931500.383 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.383 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (pow im 2)))))) (* 2 1)) into 0 1553931500.384 * [taylor]: Taking taylor expansion of 0 in im 1553931500.384 * [backup-simplify]: Simplify 0 into 0 1553931500.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.385 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.385 * [backup-simplify]: Simplify 0 into 0 1553931500.385 * [backup-simplify]: Simplify 0 into 0 1553931500.385 * [backup-simplify]: Simplify 0 into 0 1553931500.385 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 re)))) into re 1553931500.385 * [backup-simplify]: Simplify (sqrt (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im))))) into (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) 1553931500.385 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in (re im) around 0 1553931500.385 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in im 1553931500.385 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1553931500.385 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1553931500.385 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931500.385 * [taylor]: Taking taylor expansion of re in im 1553931500.385 * [backup-simplify]: Simplify re into re 1553931500.385 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1553931500.385 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1553931500.385 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931500.385 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.385 * [taylor]: Taking taylor expansion of im in im 1553931500.385 * [backup-simplify]: Simplify 0 into 0 1553931500.385 * [backup-simplify]: Simplify 1 into 1 1553931500.386 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.386 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.386 * [backup-simplify]: Simplify (- 1) into -1 1553931500.386 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553931500.387 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553931500.387 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.388 * [backup-simplify]: Simplify (- 0) into 0 1553931500.388 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.388 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1553931500.388 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re 1553931500.388 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.388 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.388 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.388 * [taylor]: Taking taylor expansion of re in re 1553931500.388 * [backup-simplify]: Simplify 0 into 0 1553931500.388 * [backup-simplify]: Simplify 1 into 1 1553931500.389 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.389 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.389 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.389 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.389 * [taylor]: Taking taylor expansion of im in re 1553931500.389 * [backup-simplify]: Simplify im into im 1553931500.389 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.389 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.389 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.389 * [backup-simplify]: Simplify (sqrt 1) into 1 1553931500.390 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.391 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.391 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1553931500.391 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re 1553931500.391 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.391 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.391 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.391 * [taylor]: Taking taylor expansion of re in re 1553931500.391 * [backup-simplify]: Simplify 0 into 0 1553931500.391 * [backup-simplify]: Simplify 1 into 1 1553931500.391 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.392 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.392 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.392 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.392 * [taylor]: Taking taylor expansion of im in re 1553931500.392 * [backup-simplify]: Simplify im into im 1553931500.392 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.392 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.392 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.392 * [backup-simplify]: Simplify (sqrt 1) into 1 1553931500.393 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.393 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.394 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1553931500.394 * [taylor]: Taking taylor expansion of 1 in im 1553931500.394 * [backup-simplify]: Simplify 1 into 1 1553931500.394 * [taylor]: Taking taylor expansion of 0 in im 1553931500.394 * [backup-simplify]: Simplify 0 into 0 1553931500.394 * [backup-simplify]: Simplify 1 into 1 1553931500.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.395 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1553931500.395 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1553931500.396 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow im 2))) (pow 0 2) (+)) (* 2 1)) into (/ -1/2 (pow im 2)) 1553931500.396 * [taylor]: Taking taylor expansion of (/ -1/2 (pow im 2)) in im 1553931500.396 * [taylor]: Taking taylor expansion of -1/2 in im 1553931500.396 * [backup-simplify]: Simplify -1/2 into -1/2 1553931500.396 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.396 * [taylor]: Taking taylor expansion of im in im 1553931500.396 * [backup-simplify]: Simplify 0 into 0 1553931500.396 * [backup-simplify]: Simplify 1 into 1 1553931500.396 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.396 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 1553931500.397 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.397 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0 1553931500.397 * [backup-simplify]: Simplify 0 into 0 1553931500.397 * [backup-simplify]: Simplify 0 into 0 1553931500.397 * [backup-simplify]: Simplify 0 into 0 1553931500.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931500.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.399 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931500.399 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1553931500.399 * [backup-simplify]: Simplify (- 0) into 0 1553931500.399 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.399 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (pow im 2)))))) (* 2 1)) into 0 1553931500.400 * [taylor]: Taking taylor expansion of 0 in im 1553931500.400 * [backup-simplify]: Simplify 0 into 0 1553931500.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.401 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.401 * [backup-simplify]: Simplify 0 into 0 1553931500.401 * [backup-simplify]: Simplify 0 into 0 1553931500.401 * [backup-simplify]: Simplify 0 into 0 1553931500.401 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 (- re))))) into (* -1 re) 1553931500.401 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1553931500.401 * [backup-simplify]: Simplify (sqrt (- (* re re) (* im im))) into (sqrt (- (pow re 2) (pow im 2))) 1553931500.401 * [approximate]: Taking taylor expansion of (sqrt (- (pow re 2) (pow im 2))) in (re im) around 0 1553931500.401 * [taylor]: Taking taylor expansion of (sqrt (- (pow re 2) (pow im 2))) in im 1553931500.401 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im 1553931500.401 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931500.401 * [taylor]: Taking taylor expansion of re in im 1553931500.401 * [backup-simplify]: Simplify re into re 1553931500.401 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.401 * [taylor]: Taking taylor expansion of im in im 1553931500.401 * [backup-simplify]: Simplify 0 into 0 1553931500.401 * [backup-simplify]: Simplify 1 into 1 1553931500.401 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1553931500.401 * [backup-simplify]: Simplify (+ (pow re 2) 0) into (pow re 2) 1553931500.401 * [backup-simplify]: Simplify (sqrt (pow re 2)) into re 1553931500.401 * [backup-simplify]: Simplify (+ (* re 0) (* 0 re)) into 0 1553931500.402 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.402 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow re 2)))) into 0 1553931500.402 * [taylor]: Taking taylor expansion of (sqrt (- (pow re 2) (pow im 2))) in re 1553931500.402 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1553931500.402 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.402 * [taylor]: Taking taylor expansion of re in re 1553931500.402 * [backup-simplify]: Simplify 0 into 0 1553931500.402 * [backup-simplify]: Simplify 1 into 1 1553931500.402 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.402 * [taylor]: Taking taylor expansion of im in re 1553931500.402 * [backup-simplify]: Simplify im into im 1553931500.402 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.402 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 1553931500.402 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 1553931500.402 * [backup-simplify]: Simplify (sqrt (- (pow im 2))) into (sqrt (- (pow im 2))) 1553931500.402 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931500.403 * [backup-simplify]: Simplify (- 0) into 0 1553931500.403 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.403 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow im 2))))) into 0 1553931500.403 * [taylor]: Taking taylor expansion of (sqrt (- (pow re 2) (pow im 2))) in re 1553931500.403 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1553931500.403 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.403 * [taylor]: Taking taylor expansion of re in re 1553931500.403 * [backup-simplify]: Simplify 0 into 0 1553931500.403 * [backup-simplify]: Simplify 1 into 1 1553931500.403 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.403 * [taylor]: Taking taylor expansion of im in re 1553931500.403 * [backup-simplify]: Simplify im into im 1553931500.403 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.403 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 1553931500.403 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 1553931500.403 * [backup-simplify]: Simplify (sqrt (- (pow im 2))) into (sqrt (- (pow im 2))) 1553931500.403 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931500.404 * [backup-simplify]: Simplify (- 0) into 0 1553931500.404 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.404 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (pow im 2))))) into 0 1553931500.404 * [taylor]: Taking taylor expansion of (sqrt (- (pow im 2))) in im 1553931500.404 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 1553931500.404 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.404 * [taylor]: Taking taylor expansion of im in im 1553931500.404 * [backup-simplify]: Simplify 0 into 0 1553931500.404 * [backup-simplify]: Simplify 1 into 1 1553931500.404 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.405 * [backup-simplify]: Simplify (- 1) into -1 1553931500.405 * [backup-simplify]: Simplify (- 1) into -1 1553931500.405 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553931500.405 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.406 * [backup-simplify]: Simplify (- 0) into 0 1553931500.406 * [backup-simplify]: Simplify (- 1) into -1 1553931500.406 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1553931500.406 * [taylor]: Taking taylor expansion of 0 in im 1553931500.406 * [backup-simplify]: Simplify 0 into 0 1553931500.406 * [backup-simplify]: Simplify 0 into 0 1553931500.407 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553931500.407 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.407 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1553931500.407 * [backup-simplify]: Simplify (- 0) into 0 1553931500.408 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.408 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt (- (pow im 2))))) into (/ 1/2 (sqrt (- (pow im 2)))) 1553931500.408 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow im 2)))) in im 1553931500.408 * [taylor]: Taking taylor expansion of 1/2 in im 1553931500.408 * [backup-simplify]: Simplify 1/2 into 1/2 1553931500.408 * [taylor]: Taking taylor expansion of (sqrt (- (pow im 2))) in im 1553931500.408 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 1553931500.408 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.408 * [taylor]: Taking taylor expansion of im in im 1553931500.408 * [backup-simplify]: Simplify 0 into 0 1553931500.408 * [backup-simplify]: Simplify 1 into 1 1553931500.409 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.409 * [backup-simplify]: Simplify (- 1) into -1 1553931500.409 * [backup-simplify]: Simplify (- 1) into -1 1553931500.409 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553931500.410 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.410 * [backup-simplify]: Simplify (- 0) into 0 1553931500.410 * [backup-simplify]: Simplify (- 1) into -1 1553931500.411 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1553931500.411 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1553931500.412 * [backup-simplify]: Simplify (- (/ 0 (sqrt -1)) (+ (* (/ 1/2 (sqrt -1)) (/ 0 (sqrt -1))))) into 0 1553931500.412 * [backup-simplify]: Simplify 0 into 0 1553931500.412 * [backup-simplify]: Simplify 0 into 0 1553931500.412 * [backup-simplify]: Simplify 0 into 0 1553931500.412 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.413 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 1553931500.413 * [backup-simplify]: Simplify (- 0) into 0 1553931500.413 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.414 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt (- (pow im 2)))))))) (* 2 (sqrt (- (pow im 2))))) into 0 1553931500.414 * [taylor]: Taking taylor expansion of 0 in im 1553931500.414 * [backup-simplify]: Simplify 0 into 0 1553931500.414 * [backup-simplify]: Simplify 0 into 0 1553931500.414 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.414 * [backup-simplify]: Simplify (- 0) into 0 1553931500.415 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt -1))) into 0 1553931500.416 * [backup-simplify]: Simplify (- (/ 0 (sqrt -1)) (+ (* (/ 1/2 (sqrt -1)) (/ 0 (sqrt -1))) (* 0 (/ 0 (sqrt -1))))) into 0 1553931500.416 * [backup-simplify]: Simplify 0 into 0 1553931500.416 * [backup-simplify]: Simplify 0 into 0 1553931500.416 * [backup-simplify]: Simplify (* (sqrt -1) (* im 1)) into (* (sqrt -1) im) 1553931500.416 * [backup-simplify]: Simplify (sqrt (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) into (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) 1553931500.416 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in (re im) around 0 1553931500.416 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in im 1553931500.416 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1553931500.416 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1553931500.416 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931500.416 * [taylor]: Taking taylor expansion of re in im 1553931500.416 * [backup-simplify]: Simplify re into re 1553931500.416 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1553931500.417 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1553931500.417 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931500.417 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.417 * [taylor]: Taking taylor expansion of im in im 1553931500.417 * [backup-simplify]: Simplify 0 into 0 1553931500.417 * [backup-simplify]: Simplify 1 into 1 1553931500.417 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.417 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.417 * [backup-simplify]: Simplify (- 1) into -1 1553931500.418 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553931500.420 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553931500.420 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.421 * [backup-simplify]: Simplify (- 0) into 0 1553931500.421 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.422 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1553931500.422 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re 1553931500.422 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.422 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.422 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.422 * [taylor]: Taking taylor expansion of re in re 1553931500.422 * [backup-simplify]: Simplify 0 into 0 1553931500.422 * [backup-simplify]: Simplify 1 into 1 1553931500.422 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.422 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.422 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.422 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.422 * [taylor]: Taking taylor expansion of im in re 1553931500.422 * [backup-simplify]: Simplify im into im 1553931500.422 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.422 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.423 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.423 * [backup-simplify]: Simplify (sqrt 1) into 1 1553931500.423 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.424 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.424 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.424 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1553931500.424 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re 1553931500.424 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.424 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.424 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.424 * [taylor]: Taking taylor expansion of re in re 1553931500.424 * [backup-simplify]: Simplify 0 into 0 1553931500.424 * [backup-simplify]: Simplify 1 into 1 1553931500.425 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.425 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.425 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.425 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.425 * [taylor]: Taking taylor expansion of im in re 1553931500.425 * [backup-simplify]: Simplify im into im 1553931500.425 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.425 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.425 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.426 * [backup-simplify]: Simplify (sqrt 1) into 1 1553931500.426 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.426 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.427 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.427 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1553931500.427 * [taylor]: Taking taylor expansion of 1 in im 1553931500.427 * [backup-simplify]: Simplify 1 into 1 1553931500.427 * [taylor]: Taking taylor expansion of 0 in im 1553931500.427 * [backup-simplify]: Simplify 0 into 0 1553931500.427 * [backup-simplify]: Simplify 1 into 1 1553931500.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.432 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1553931500.432 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1553931500.433 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow im 2))) (pow 0 2) (+)) (* 2 1)) into (/ -1/2 (pow im 2)) 1553931500.433 * [taylor]: Taking taylor expansion of (/ -1/2 (pow im 2)) in im 1553931500.433 * [taylor]: Taking taylor expansion of -1/2 in im 1553931500.433 * [backup-simplify]: Simplify -1/2 into -1/2 1553931500.433 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.433 * [taylor]: Taking taylor expansion of im in im 1553931500.433 * [backup-simplify]: Simplify 0 into 0 1553931500.433 * [backup-simplify]: Simplify 1 into 1 1553931500.433 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.434 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 1553931500.434 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.434 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0 1553931500.434 * [backup-simplify]: Simplify 0 into 0 1553931500.435 * [backup-simplify]: Simplify 0 into 0 1553931500.435 * [backup-simplify]: Simplify 0 into 0 1553931500.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931500.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.436 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931500.436 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1553931500.436 * [backup-simplify]: Simplify (- 0) into 0 1553931500.436 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.437 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (pow im 2)))))) (* 2 1)) into 0 1553931500.437 * [taylor]: Taking taylor expansion of 0 in im 1553931500.437 * [backup-simplify]: Simplify 0 into 0 1553931500.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.438 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.438 * [backup-simplify]: Simplify 0 into 0 1553931500.438 * [backup-simplify]: Simplify 0 into 0 1553931500.438 * [backup-simplify]: Simplify 0 into 0 1553931500.438 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 re)))) into re 1553931500.438 * [backup-simplify]: Simplify (sqrt (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im))))) into (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) 1553931500.438 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in (re im) around 0 1553931500.438 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in im 1553931500.438 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1553931500.438 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1553931500.438 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931500.438 * [taylor]: Taking taylor expansion of re in im 1553931500.438 * [backup-simplify]: Simplify re into re 1553931500.438 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1553931500.438 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1553931500.438 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931500.438 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.438 * [taylor]: Taking taylor expansion of im in im 1553931500.438 * [backup-simplify]: Simplify 0 into 0 1553931500.438 * [backup-simplify]: Simplify 1 into 1 1553931500.439 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.439 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.439 * [backup-simplify]: Simplify (- 1) into -1 1553931500.439 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553931500.440 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553931500.440 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.441 * [backup-simplify]: Simplify (- 0) into 0 1553931500.441 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.441 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1553931500.441 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re 1553931500.441 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.441 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.441 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.441 * [taylor]: Taking taylor expansion of re in re 1553931500.441 * [backup-simplify]: Simplify 0 into 0 1553931500.442 * [backup-simplify]: Simplify 1 into 1 1553931500.442 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.442 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.442 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.442 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.442 * [taylor]: Taking taylor expansion of im in re 1553931500.442 * [backup-simplify]: Simplify im into im 1553931500.442 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.442 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.442 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.443 * [backup-simplify]: Simplify (sqrt 1) into 1 1553931500.443 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.444 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.444 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1553931500.444 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re 1553931500.444 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.444 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.444 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.444 * [taylor]: Taking taylor expansion of re in re 1553931500.444 * [backup-simplify]: Simplify 0 into 0 1553931500.444 * [backup-simplify]: Simplify 1 into 1 1553931500.444 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.445 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.445 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.445 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.445 * [taylor]: Taking taylor expansion of im in re 1553931500.445 * [backup-simplify]: Simplify im into im 1553931500.445 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.445 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.445 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.445 * [backup-simplify]: Simplify (sqrt 1) into 1 1553931500.446 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.446 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.447 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1553931500.447 * [taylor]: Taking taylor expansion of 1 in im 1553931500.447 * [backup-simplify]: Simplify 1 into 1 1553931500.447 * [taylor]: Taking taylor expansion of 0 in im 1553931500.447 * [backup-simplify]: Simplify 0 into 0 1553931500.447 * [backup-simplify]: Simplify 1 into 1 1553931500.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.448 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1553931500.448 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1553931500.449 * [backup-simplify]: Simplify (/ (- (- (/ 1 (pow im 2))) (pow 0 2) (+)) (* 2 1)) into (/ -1/2 (pow im 2)) 1553931500.449 * [taylor]: Taking taylor expansion of (/ -1/2 (pow im 2)) in im 1553931500.449 * [taylor]: Taking taylor expansion of -1/2 in im 1553931500.449 * [backup-simplify]: Simplify -1/2 into -1/2 1553931500.449 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.449 * [taylor]: Taking taylor expansion of im in im 1553931500.449 * [backup-simplify]: Simplify 0 into 0 1553931500.449 * [backup-simplify]: Simplify 1 into 1 1553931500.449 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.450 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 1553931500.450 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0 1553931500.451 * [backup-simplify]: Simplify 0 into 0 1553931500.451 * [backup-simplify]: Simplify 0 into 0 1553931500.451 * [backup-simplify]: Simplify 0 into 0 1553931500.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931500.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.452 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931500.452 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1553931500.452 * [backup-simplify]: Simplify (- 0) into 0 1553931500.453 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.453 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (pow im 2)))))) (* 2 1)) into 0 1553931500.453 * [taylor]: Taking taylor expansion of 0 in im 1553931500.453 * [backup-simplify]: Simplify 0 into 0 1553931500.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.454 * [backup-simplify]: Simplify 0 into 0 1553931500.454 * [backup-simplify]: Simplify 0 into 0 1553931500.454 * [backup-simplify]: Simplify 0 into 0 1553931500.454 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 (- re))))) into (* -1 re) 1553931500.454 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1553931500.455 * [backup-simplify]: Simplify (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im)))) into (- (pow re 2) (pow im 2)) 1553931500.455 * [approximate]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0 1553931500.455 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im 1553931500.455 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931500.455 * [taylor]: Taking taylor expansion of re in im 1553931500.455 * [backup-simplify]: Simplify re into re 1553931500.455 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.455 * [taylor]: Taking taylor expansion of im in im 1553931500.455 * [backup-simplify]: Simplify 0 into 0 1553931500.455 * [backup-simplify]: Simplify 1 into 1 1553931500.455 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1553931500.455 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.455 * [taylor]: Taking taylor expansion of re in re 1553931500.455 * [backup-simplify]: Simplify 0 into 0 1553931500.455 * [backup-simplify]: Simplify 1 into 1 1553931500.455 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.455 * [taylor]: Taking taylor expansion of im in re 1553931500.455 * [backup-simplify]: Simplify im into im 1553931500.455 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1553931500.455 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.455 * [taylor]: Taking taylor expansion of re in re 1553931500.455 * [backup-simplify]: Simplify 0 into 0 1553931500.455 * [backup-simplify]: Simplify 1 into 1 1553931500.455 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.455 * [taylor]: Taking taylor expansion of im in re 1553931500.455 * [backup-simplify]: Simplify im into im 1553931500.455 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.455 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 1553931500.455 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 1553931500.455 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 1553931500.455 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.455 * [taylor]: Taking taylor expansion of im in im 1553931500.455 * [backup-simplify]: Simplify 0 into 0 1553931500.455 * [backup-simplify]: Simplify 1 into 1 1553931500.455 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931500.456 * [backup-simplify]: Simplify (- 0) into 0 1553931500.456 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.456 * [taylor]: Taking taylor expansion of 0 in im 1553931500.456 * [backup-simplify]: Simplify 0 into 0 1553931500.456 * [backup-simplify]: Simplify 0 into 0 1553931500.456 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.456 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1553931500.457 * [backup-simplify]: Simplify (- 0) into 0 1553931500.457 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.457 * [taylor]: Taking taylor expansion of 1 in im 1553931500.457 * [backup-simplify]: Simplify 1 into 1 1553931500.457 * [backup-simplify]: Simplify 1 into 1 1553931500.457 * [backup-simplify]: Simplify 0 into 0 1553931500.457 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.457 * [backup-simplify]: Simplify (- 1) into -1 1553931500.458 * [backup-simplify]: Simplify -1 into -1 1553931500.458 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.458 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 1553931500.459 * [backup-simplify]: Simplify (- 0) into 0 1553931500.459 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.459 * [taylor]: Taking taylor expansion of 0 in im 1553931500.459 * [backup-simplify]: Simplify 0 into 0 1553931500.459 * [backup-simplify]: Simplify 0 into 0 1553931500.459 * [backup-simplify]: Simplify 0 into 0 1553931500.459 * [backup-simplify]: Simplify 0 into 0 1553931500.459 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.460 * [backup-simplify]: Simplify (- 0) into 0 1553931500.460 * [backup-simplify]: Simplify 0 into 0 1553931500.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.461 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 1553931500.461 * [backup-simplify]: Simplify (- 0) into 0 1553931500.461 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.461 * [taylor]: Taking taylor expansion of 0 in im 1553931500.461 * [backup-simplify]: Simplify 0 into 0 1553931500.461 * [backup-simplify]: Simplify 0 into 0 1553931500.461 * [backup-simplify]: Simplify 0 into 0 1553931500.462 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 1553931500.462 * [backup-simplify]: Simplify (* (sqrt (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) (sqrt (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 1553931500.462 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 1553931500.462 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1553931500.462 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1553931500.462 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931500.462 * [taylor]: Taking taylor expansion of re in im 1553931500.462 * [backup-simplify]: Simplify re into re 1553931500.462 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1553931500.462 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1553931500.462 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931500.462 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.462 * [taylor]: Taking taylor expansion of im in im 1553931500.462 * [backup-simplify]: Simplify 0 into 0 1553931500.462 * [backup-simplify]: Simplify 1 into 1 1553931500.462 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.463 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.463 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.463 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.463 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.463 * [taylor]: Taking taylor expansion of re in re 1553931500.463 * [backup-simplify]: Simplify 0 into 0 1553931500.463 * [backup-simplify]: Simplify 1 into 1 1553931500.463 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.463 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.463 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.463 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.463 * [taylor]: Taking taylor expansion of im in re 1553931500.463 * [backup-simplify]: Simplify im into im 1553931500.463 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.463 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.463 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.463 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.464 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.464 * [taylor]: Taking taylor expansion of re in re 1553931500.464 * [backup-simplify]: Simplify 0 into 0 1553931500.464 * [backup-simplify]: Simplify 1 into 1 1553931500.464 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.464 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.464 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.464 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.464 * [taylor]: Taking taylor expansion of im in re 1553931500.464 * [backup-simplify]: Simplify im into im 1553931500.464 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.464 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.465 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.465 * [taylor]: Taking taylor expansion of 1 in im 1553931500.465 * [backup-simplify]: Simplify 1 into 1 1553931500.465 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.466 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.466 * [taylor]: Taking taylor expansion of 0 in im 1553931500.466 * [backup-simplify]: Simplify 0 into 0 1553931500.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.467 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1553931500.467 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1553931500.467 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 1553931500.467 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931500.467 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.467 * [taylor]: Taking taylor expansion of im in im 1553931500.467 * [backup-simplify]: Simplify 0 into 0 1553931500.467 * [backup-simplify]: Simplify 1 into 1 1553931500.467 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.468 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.468 * [backup-simplify]: Simplify (- 1) into -1 1553931500.468 * [backup-simplify]: Simplify -1 into -1 1553931500.468 * [backup-simplify]: Simplify 1 into 1 1553931500.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931500.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.469 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931500.469 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1553931500.470 * [backup-simplify]: Simplify (- 0) into 0 1553931500.470 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.470 * [taylor]: Taking taylor expansion of 0 in im 1553931500.470 * [backup-simplify]: Simplify 0 into 0 1553931500.470 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.471 * [backup-simplify]: Simplify (- 0) into 0 1553931500.471 * [backup-simplify]: Simplify 0 into 0 1553931500.471 * [backup-simplify]: Simplify 0 into 0 1553931500.471 * [backup-simplify]: Simplify 0 into 0 1553931500.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553931500.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.473 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1553931500.473 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 1553931500.473 * [backup-simplify]: Simplify (- 0) into 0 1553931500.473 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.473 * [taylor]: Taking taylor expansion of 0 in im 1553931500.473 * [backup-simplify]: Simplify 0 into 0 1553931500.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.475 * [backup-simplify]: Simplify (- 0) into 0 1553931500.475 * [backup-simplify]: Simplify 0 into 0 1553931500.475 * [backup-simplify]: Simplify 0 into 0 1553931500.475 * [backup-simplify]: Simplify 0 into 0 1553931500.475 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 1553931500.475 * [backup-simplify]: Simplify (* (sqrt (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im))))) (sqrt (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 1553931500.475 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 1553931500.475 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1553931500.475 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1553931500.475 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931500.475 * [taylor]: Taking taylor expansion of re in im 1553931500.475 * [backup-simplify]: Simplify re into re 1553931500.475 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1553931500.475 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1553931500.475 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931500.475 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.475 * [taylor]: Taking taylor expansion of im in im 1553931500.475 * [backup-simplify]: Simplify 0 into 0 1553931500.476 * [backup-simplify]: Simplify 1 into 1 1553931500.476 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.476 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.476 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.476 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.476 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.476 * [taylor]: Taking taylor expansion of re in re 1553931500.476 * [backup-simplify]: Simplify 0 into 0 1553931500.476 * [backup-simplify]: Simplify 1 into 1 1553931500.476 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.477 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.477 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.477 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.477 * [taylor]: Taking taylor expansion of im in re 1553931500.477 * [backup-simplify]: Simplify im into im 1553931500.477 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.477 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.477 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.477 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.477 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.477 * [taylor]: Taking taylor expansion of re in re 1553931500.477 * [backup-simplify]: Simplify 0 into 0 1553931500.477 * [backup-simplify]: Simplify 1 into 1 1553931500.477 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.478 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.478 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.478 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.478 * [taylor]: Taking taylor expansion of im in re 1553931500.478 * [backup-simplify]: Simplify im into im 1553931500.478 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.478 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.478 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.478 * [taylor]: Taking taylor expansion of 1 in im 1553931500.478 * [backup-simplify]: Simplify 1 into 1 1553931500.479 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.480 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.480 * [taylor]: Taking taylor expansion of 0 in im 1553931500.480 * [backup-simplify]: Simplify 0 into 0 1553931500.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.481 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1553931500.481 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1553931500.481 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 1553931500.481 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931500.481 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.481 * [taylor]: Taking taylor expansion of im in im 1553931500.481 * [backup-simplify]: Simplify 0 into 0 1553931500.481 * [backup-simplify]: Simplify 1 into 1 1553931500.482 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.482 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.483 * [backup-simplify]: Simplify (- 1) into -1 1553931500.483 * [backup-simplify]: Simplify -1 into -1 1553931500.483 * [backup-simplify]: Simplify 1 into 1 1553931500.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931500.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.485 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931500.485 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1553931500.486 * [backup-simplify]: Simplify (- 0) into 0 1553931500.486 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.486 * [taylor]: Taking taylor expansion of 0 in im 1553931500.486 * [backup-simplify]: Simplify 0 into 0 1553931500.487 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.488 * [backup-simplify]: Simplify (- 0) into 0 1553931500.488 * [backup-simplify]: Simplify 0 into 0 1553931500.488 * [backup-simplify]: Simplify 0 into 0 1553931500.488 * [backup-simplify]: Simplify 0 into 0 1553931500.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553931500.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.491 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1553931500.491 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 1553931500.492 * [backup-simplify]: Simplify (- 0) into 0 1553931500.492 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.492 * [taylor]: Taking taylor expansion of 0 in im 1553931500.492 * [backup-simplify]: Simplify 0 into 0 1553931500.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.495 * [backup-simplify]: Simplify (- 0) into 0 1553931500.495 * [backup-simplify]: Simplify 0 into 0 1553931500.495 * [backup-simplify]: Simplify 0 into 0 1553931500.495 * [backup-simplify]: Simplify 0 into 0 1553931500.495 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 1553931500.495 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1553931500.496 * [backup-simplify]: Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2)) 1553931500.496 * [approximate]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0 1553931500.496 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im 1553931500.496 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931500.496 * [taylor]: Taking taylor expansion of re in im 1553931500.496 * [backup-simplify]: Simplify re into re 1553931500.496 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.496 * [taylor]: Taking taylor expansion of im in im 1553931500.496 * [backup-simplify]: Simplify 0 into 0 1553931500.496 * [backup-simplify]: Simplify 1 into 1 1553931500.496 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1553931500.496 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.496 * [taylor]: Taking taylor expansion of re in re 1553931500.496 * [backup-simplify]: Simplify 0 into 0 1553931500.496 * [backup-simplify]: Simplify 1 into 1 1553931500.496 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.496 * [taylor]: Taking taylor expansion of im in re 1553931500.496 * [backup-simplify]: Simplify im into im 1553931500.496 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1553931500.496 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.496 * [taylor]: Taking taylor expansion of re in re 1553931500.496 * [backup-simplify]: Simplify 0 into 0 1553931500.496 * [backup-simplify]: Simplify 1 into 1 1553931500.497 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.497 * [taylor]: Taking taylor expansion of im in re 1553931500.497 * [backup-simplify]: Simplify im into im 1553931500.497 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.497 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 1553931500.497 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 1553931500.497 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 1553931500.497 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.497 * [taylor]: Taking taylor expansion of im in im 1553931500.497 * [backup-simplify]: Simplify 0 into 0 1553931500.497 * [backup-simplify]: Simplify 1 into 1 1553931500.497 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931500.498 * [backup-simplify]: Simplify (- 0) into 0 1553931500.498 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.498 * [taylor]: Taking taylor expansion of 0 in im 1553931500.498 * [backup-simplify]: Simplify 0 into 0 1553931500.498 * [backup-simplify]: Simplify 0 into 0 1553931500.499 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.499 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1553931500.500 * [backup-simplify]: Simplify (- 0) into 0 1553931500.500 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.500 * [taylor]: Taking taylor expansion of 1 in im 1553931500.500 * [backup-simplify]: Simplify 1 into 1 1553931500.500 * [backup-simplify]: Simplify 1 into 1 1553931500.500 * [backup-simplify]: Simplify 0 into 0 1553931500.501 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.501 * [backup-simplify]: Simplify (- 1) into -1 1553931500.501 * [backup-simplify]: Simplify -1 into -1 1553931500.502 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.503 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 1553931500.503 * [backup-simplify]: Simplify (- 0) into 0 1553931500.503 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.503 * [taylor]: Taking taylor expansion of 0 in im 1553931500.503 * [backup-simplify]: Simplify 0 into 0 1553931500.504 * [backup-simplify]: Simplify 0 into 0 1553931500.504 * [backup-simplify]: Simplify 0 into 0 1553931500.504 * [backup-simplify]: Simplify 0 into 0 1553931500.504 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.505 * [backup-simplify]: Simplify (- 0) into 0 1553931500.505 * [backup-simplify]: Simplify 0 into 0 1553931500.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.507 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 1553931500.507 * [backup-simplify]: Simplify (- 0) into 0 1553931500.508 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.508 * [taylor]: Taking taylor expansion of 0 in im 1553931500.508 * [backup-simplify]: Simplify 0 into 0 1553931500.508 * [backup-simplify]: Simplify 0 into 0 1553931500.508 * [backup-simplify]: Simplify 0 into 0 1553931500.508 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 1553931500.509 * [backup-simplify]: Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 1553931500.509 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 1553931500.509 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1553931500.509 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1553931500.509 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931500.509 * [taylor]: Taking taylor expansion of re in im 1553931500.509 * [backup-simplify]: Simplify re into re 1553931500.509 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1553931500.509 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1553931500.509 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931500.509 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.509 * [taylor]: Taking taylor expansion of im in im 1553931500.509 * [backup-simplify]: Simplify 0 into 0 1553931500.509 * [backup-simplify]: Simplify 1 into 1 1553931500.510 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.510 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.510 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.510 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.510 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.510 * [taylor]: Taking taylor expansion of re in re 1553931500.510 * [backup-simplify]: Simplify 0 into 0 1553931500.510 * [backup-simplify]: Simplify 1 into 1 1553931500.511 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.511 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.511 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.511 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.511 * [taylor]: Taking taylor expansion of im in re 1553931500.511 * [backup-simplify]: Simplify im into im 1553931500.511 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.511 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.511 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.511 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.512 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.512 * [taylor]: Taking taylor expansion of re in re 1553931500.512 * [backup-simplify]: Simplify 0 into 0 1553931500.512 * [backup-simplify]: Simplify 1 into 1 1553931500.512 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.513 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.513 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.513 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.513 * [taylor]: Taking taylor expansion of im in re 1553931500.513 * [backup-simplify]: Simplify im into im 1553931500.513 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.513 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.513 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.514 * [taylor]: Taking taylor expansion of 1 in im 1553931500.514 * [backup-simplify]: Simplify 1 into 1 1553931500.514 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.515 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.515 * [taylor]: Taking taylor expansion of 0 in im 1553931500.515 * [backup-simplify]: Simplify 0 into 0 1553931500.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.517 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1553931500.517 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1553931500.517 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 1553931500.518 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931500.518 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.518 * [taylor]: Taking taylor expansion of im in im 1553931500.518 * [backup-simplify]: Simplify 0 into 0 1553931500.518 * [backup-simplify]: Simplify 1 into 1 1553931500.518 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.518 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.519 * [backup-simplify]: Simplify (- 1) into -1 1553931500.519 * [backup-simplify]: Simplify -1 into -1 1553931500.519 * [backup-simplify]: Simplify 1 into 1 1553931500.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931500.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.521 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931500.521 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1553931500.521 * [backup-simplify]: Simplify (- 0) into 0 1553931500.522 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.522 * [taylor]: Taking taylor expansion of 0 in im 1553931500.522 * [backup-simplify]: Simplify 0 into 0 1553931500.523 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.524 * [backup-simplify]: Simplify (- 0) into 0 1553931500.524 * [backup-simplify]: Simplify 0 into 0 1553931500.524 * [backup-simplify]: Simplify 0 into 0 1553931500.524 * [backup-simplify]: Simplify 0 into 0 1553931500.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553931500.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.526 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1553931500.527 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 1553931500.527 * [backup-simplify]: Simplify (- 0) into 0 1553931500.527 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.527 * [taylor]: Taking taylor expansion of 0 in im 1553931500.527 * [backup-simplify]: Simplify 0 into 0 1553931500.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.530 * [backup-simplify]: Simplify (- 0) into 0 1553931500.530 * [backup-simplify]: Simplify 0 into 0 1553931500.530 * [backup-simplify]: Simplify 0 into 0 1553931500.530 * [backup-simplify]: Simplify 0 into 0 1553931500.531 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 1553931500.531 * [backup-simplify]: Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 1553931500.531 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 1553931500.531 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1553931500.531 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1553931500.531 * [taylor]: Taking taylor expansion of (pow re 2) in im 1553931500.531 * [taylor]: Taking taylor expansion of re in im 1553931500.531 * [backup-simplify]: Simplify re into re 1553931500.531 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1553931500.531 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1553931500.531 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931500.531 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.531 * [taylor]: Taking taylor expansion of im in im 1553931500.532 * [backup-simplify]: Simplify 0 into 0 1553931500.532 * [backup-simplify]: Simplify 1 into 1 1553931500.532 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.532 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.532 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.533 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.533 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.533 * [taylor]: Taking taylor expansion of re in re 1553931500.533 * [backup-simplify]: Simplify 0 into 0 1553931500.533 * [backup-simplify]: Simplify 1 into 1 1553931500.533 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.534 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.534 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.534 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.534 * [taylor]: Taking taylor expansion of im in re 1553931500.534 * [backup-simplify]: Simplify im into im 1553931500.534 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.534 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.534 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1553931500.534 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1553931500.534 * [taylor]: Taking taylor expansion of (pow re 2) in re 1553931500.534 * [taylor]: Taking taylor expansion of re in re 1553931500.534 * [backup-simplify]: Simplify 0 into 0 1553931500.534 * [backup-simplify]: Simplify 1 into 1 1553931500.535 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.535 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.535 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1553931500.535 * [taylor]: Taking taylor expansion of (pow im 2) in re 1553931500.535 * [taylor]: Taking taylor expansion of im in re 1553931500.535 * [backup-simplify]: Simplify im into im 1553931500.535 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1553931500.535 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1553931500.536 * [backup-simplify]: Simplify (+ 1 0) into 1 1553931500.536 * [taylor]: Taking taylor expansion of 1 in im 1553931500.536 * [backup-simplify]: Simplify 1 into 1 1553931500.537 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.538 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.538 * [taylor]: Taking taylor expansion of 0 in im 1553931500.538 * [backup-simplify]: Simplify 0 into 0 1553931500.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.540 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.540 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1553931500.540 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1553931500.540 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 1553931500.540 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1553931500.540 * [taylor]: Taking taylor expansion of (pow im 2) in im 1553931500.540 * [taylor]: Taking taylor expansion of im in im 1553931500.540 * [backup-simplify]: Simplify 0 into 0 1553931500.540 * [backup-simplify]: Simplify 1 into 1 1553931500.540 * [backup-simplify]: Simplify (* 1 1) into 1 1553931500.541 * [backup-simplify]: Simplify (/ 1 1) into 1 1553931500.541 * [backup-simplify]: Simplify (- 1) into -1 1553931500.541 * [backup-simplify]: Simplify -1 into -1 1553931500.541 * [backup-simplify]: Simplify 1 into 1 1553931500.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553931500.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.543 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1553931500.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1553931500.544 * [backup-simplify]: Simplify (- 0) into 0 1553931500.544 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.544 * [taylor]: Taking taylor expansion of 0 in im 1553931500.544 * [backup-simplify]: Simplify 0 into 0 1553931500.545 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553931500.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553931500.546 * [backup-simplify]: Simplify (- 0) into 0 1553931500.546 * [backup-simplify]: Simplify 0 into 0 1553931500.546 * [backup-simplify]: Simplify 0 into 0 1553931500.546 * [backup-simplify]: Simplify 0 into 0 1553931500.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553931500.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.549 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1553931500.549 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 1553931500.550 * [backup-simplify]: Simplify (- 0) into 0 1553931500.550 * [backup-simplify]: Simplify (+ 0 0) into 0 1553931500.550 * [taylor]: Taking taylor expansion of 0 in im 1553931500.550 * [backup-simplify]: Simplify 0 into 0 1553931500.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553931500.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553931500.558 * [backup-simplify]: Simplify (- 0) into 0 1553931500.558 * [backup-simplify]: Simplify 0 into 0 1553931500.558 * [backup-simplify]: Simplify 0 into 0 1553931500.558 * [backup-simplify]: Simplify 0 into 0 1553931500.558 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 1553931500.558 * * * [progress]: simplifying candidates 1553931500.558 * * * * [progress]: [ 1 / 121 ] simplifiying candidate # 1553931500.558 * * * * [progress]: [ 2 / 121 ] simplifiying candidate # 1553931500.558 * * * * [progress]: [ 3 / 121 ] simplifiying candidate # 1553931500.559 * * * * [progress]: [ 4 / 121 ] simplifiying candidate # 1553931500.559 * * * * [progress]: [ 5 / 121 ] simplifiying candidate # 1553931500.559 * * * * [progress]: [ 6 / 121 ] simplifiying candidate # 1553931500.559 * * * * [progress]: [ 7 / 121 ] simplifiying candidate # 1553931500.559 * [simplify]: Simplifying (sqrt (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im))))) 1553931500.559 * * [simplify]: iters left: 6 (8 enodes) 1553931500.563 * * [simplify]: iters left: 5 (30 enodes) 1553931500.572 * * [simplify]: iters left: 4 (43 enodes) 1553931500.585 * * [simplify]: iters left: 3 (60 enodes) 1553931500.604 * * [simplify]: iters left: 2 (101 enodes) 1553931500.631 * * [simplify]: iters left: 1 (184 enodes) 1553931500.661 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931500.662 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931500.662 * * [simplify]: Extracting #2: cost 7 inf + 0 1553931500.662 * * [simplify]: Extracting #3: cost 28 inf + 0 1553931500.662 * * [simplify]: Extracting #4: cost 62 inf + 0 1553931500.662 * * [simplify]: Extracting #5: cost 56 inf + 329 1553931500.663 * * [simplify]: Extracting #6: cost 12 inf + 5373 1553931500.665 * * [simplify]: Extracting #7: cost 0 inf + 7157 1553931500.667 * [simplify]: Simplified to (fabs (cbrt (- (* re re) (* im im)))) 1553931500.667 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (* (fabs (cbrt (- (* re re) (* im im)))) (sqrt (cbrt (- (* re re) (* im im))))))) 1553931500.667 * * * * [progress]: [ 8 / 121 ] simplifiying candidate # 1553931500.667 * [simplify]: Simplifying (sqrt (sqrt (- (* re re) (* im im)))) 1553931500.667 * * [simplify]: iters left: 6 (7 enodes) 1553931500.669 * * [simplify]: iters left: 5 (26 enodes) 1553931500.672 * * [simplify]: iters left: 4 (39 enodes) 1553931500.677 * * [simplify]: iters left: 3 (56 enodes) 1553931500.686 * * [simplify]: iters left: 2 (97 enodes) 1553931500.712 * * [simplify]: iters left: 1 (180 enodes) 1553931501.138 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931501.139 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931501.139 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931501.139 * * [simplify]: Extracting #3: cost 25 inf + 0 1553931501.139 * * [simplify]: Extracting #4: cost 59 inf + 0 1553931501.140 * * [simplify]: Extracting #5: cost 53 inf + 290 1553931501.141 * * [simplify]: Extracting #6: cost 20 inf + 3831 1553931501.145 * * [simplify]: Extracting #7: cost 2 inf + 6067 1553931501.148 * * [simplify]: Extracting #8: cost 0 inf + 6311 1553931501.152 * [simplify]: Simplified to (sqrt (sqrt (- (* re re) (* im im)))) 1553931501.152 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))))) 1553931501.152 * * * * [progress]: [ 9 / 121 ] simplifiying candidate # 1553931501.152 * [simplify]: Simplifying (sqrt 1) 1553931501.152 * * [simplify]: iters left: 1 (2 enodes) 1553931501.156 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931501.156 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931501.156 * [simplify]: Simplified to 1 1553931501.156 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (* 1 (sqrt (- (* re re) (* im im)))))) 1553931501.156 * * * * [progress]: [ 10 / 121 ] simplifiying candidate # 1553931501.156 * [simplify]: Simplifying (sqrt (+ re im)) 1553931501.156 * * [simplify]: iters left: 3 (4 enodes) 1553931501.158 * * [simplify]: iters left: 2 (13 enodes) 1553931501.161 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931501.161 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931501.161 * * [simplify]: Extracting #2: cost 6 inf + 0 1553931501.161 * * [simplify]: Extracting #3: cost 4 inf + 2 1553931501.161 * * [simplify]: Extracting #4: cost 0 inf + 250 1553931501.162 * [simplify]: Simplified to (sqrt (+ im re)) 1553931501.162 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (* (sqrt (+ im re)) (sqrt (- re im))))) 1553931501.162 * * * * [progress]: [ 11 / 121 ] simplifiying candidate # 1553931501.162 * [simplify]: Simplifying (sqrt (- (pow (* re re) 3) (pow (* im im) 3))) 1553931501.162 * * [simplify]: iters left: 6 (9 enodes) 1553931501.168 * * [simplify]: iters left: 5 (46 enodes) 1553931501.184 * * [simplify]: iters left: 4 (128 enodes) 1553931501.223 * * [simplify]: iters left: 3 (304 enodes) 1553931501.335 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931501.335 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931501.335 * * [simplify]: Extracting #2: cost 51 inf + 0 1553931501.336 * * [simplify]: Extracting #3: cost 115 inf + 0 1553931501.337 * * [simplify]: Extracting #4: cost 184 inf + 2130 1553931501.338 * * [simplify]: Extracting #5: cost 149 inf + 9206 1553931501.342 * * [simplify]: Extracting #6: cost 55 inf + 39470 1553931501.347 * * [simplify]: Extracting #7: cost 2 inf + 60934 1553931501.353 * * [simplify]: Extracting #8: cost 0 inf + 62140 1553931501.359 * [simplify]: Simplified to (sqrt (- (* (* re re) (* (* re re) (* re re))) (* (* im im) (* (* im im) (* im im))))) 1553931501.360 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (/ (sqrt (- (* (* re re) (* (* re re) (* re re))) (* (* im im) (* (* im im) (* im im))))) (sqrt (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im)))))))) 1553931501.360 * * * * [progress]: [ 12 / 121 ] simplifiying candidate # 1553931501.360 * [simplify]: Simplifying (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) 1553931501.360 * * [simplify]: iters left: 6 (8 enodes) 1553931501.362 * * [simplify]: iters left: 5 (37 enodes) 1553931501.368 * * [simplify]: iters left: 4 (67 enodes) 1553931501.381 * * [simplify]: iters left: 3 (123 enodes) 1553931501.431 * * [simplify]: iters left: 2 (278 enodes) 1553931501.534 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931501.534 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931501.534 * * [simplify]: Extracting #2: cost 50 inf + 0 1553931501.534 * * [simplify]: Extracting #3: cost 150 inf + 0 1553931501.535 * * [simplify]: Extracting #4: cost 194 inf + 1180 1553931501.537 * * [simplify]: Extracting #5: cost 123 inf + 12421 1553931501.543 * * [simplify]: Extracting #6: cost 12 inf + 33804 1553931501.550 * * [simplify]: Extracting #7: cost 0 inf + 36129 1553931501.559 * [simplify]: Simplified to (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) 1553931501.559 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (/ (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (+ (* re re) (* im im)))))) 1553931501.559 * * * * [progress]: [ 13 / 121 ] simplifiying candidate # 1553931501.559 * [simplify]: Simplifying (- (* re re) (* im im)) 1553931501.559 * * [simplify]: iters left: 4 (5 enodes) 1553931501.562 * * [simplify]: iters left: 3 (20 enodes) 1553931501.571 * * [simplify]: iters left: 2 (33 enodes) 1553931501.581 * * [simplify]: iters left: 1 (50 enodes) 1553931501.591 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931501.591 * * [simplify]: Extracting #1: cost 11 inf + 0 1553931501.591 * * [simplify]: Extracting #2: cost 29 inf + 0 1553931501.591 * * [simplify]: Extracting #3: cost 19 inf + 455 1553931501.592 * * [simplify]: Extracting #4: cost 0 inf + 2130 1553931501.592 * * [simplify]: Extracting #5: cost 0 inf + 1970 1553931501.593 * [simplify]: Simplified to (* (+ re im) (- re im)) 1553931501.593 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (pow (* (+ re im) (- re im)) (/ 1 2)))) 1553931501.593 * * * * [progress]: [ 14 / 121 ] simplifiying candidate # 1553931501.593 * * * * [progress]: [ 15 / 121 ] simplifiying candidate # 1553931501.593 * [simplify]: Simplifying (sqrt (- (* re re) (* im im))) 1553931501.593 * * [simplify]: iters left: 5 (6 enodes) 1553931501.594 * * [simplify]: iters left: 4 (23 enodes) 1553931501.598 * * [simplify]: iters left: 3 (36 enodes) 1553931501.602 * * [simplify]: iters left: 2 (53 enodes) 1553931501.611 * * [simplify]: iters left: 1 (94 enodes) 1553931501.637 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931501.637 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931501.637 * * [simplify]: Extracting #2: cost 32 inf + 0 1553931501.637 * * [simplify]: Extracting #3: cost 48 inf + 0 1553931501.637 * * [simplify]: Extracting #4: cost 42 inf + 247 1553931501.639 * * [simplify]: Extracting #5: cost 18 inf + 3412 1553931501.641 * * [simplify]: Extracting #6: cost 0 inf + 5728 1553931501.643 * * [simplify]: Extracting #7: cost 0 inf + 5448 1553931501.645 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931501.645 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (fabs (sqrt (- (* re re) (* im im)))))) 1553931501.645 * * * * [progress]: [ 16 / 121 ] simplifiying candidate # 1553931501.645 * * * * [progress]: [ 17 / 121 ] simplifiying candidate #real (real->posit16 (sqrt (- (* re re) (* im im)))))))> 1553931501.646 * * * * [progress]: [ 18 / 121 ] simplifiying candidate # 1553931501.646 * * * * [progress]: [ 19 / 121 ] simplifiying candidate # 1553931501.646 * * * * [progress]: [ 20 / 121 ] simplifiying candidate # 1553931501.646 * * * * [progress]: [ 21 / 121 ] simplifiying candidate # 1553931501.646 * * * * [progress]: [ 22 / 121 ] simplifiying candidate # 1553931501.646 * * * * [progress]: [ 23 / 121 ] simplifiying candidate # 1553931501.646 * * * * [progress]: [ 24 / 121 ] simplifiying candidate # 1553931501.646 * [simplify]: Simplifying (sqrt (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im))))) 1553931501.646 * * [simplify]: iters left: 6 (8 enodes) 1553931501.648 * * [simplify]: iters left: 5 (30 enodes) 1553931501.652 * * [simplify]: iters left: 4 (43 enodes) 1553931501.658 * * [simplify]: iters left: 3 (60 enodes) 1553931501.667 * * [simplify]: iters left: 2 (101 enodes) 1553931501.684 * * [simplify]: iters left: 1 (184 enodes) 1553931501.713 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931501.713 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931501.713 * * [simplify]: Extracting #2: cost 7 inf + 0 1553931501.713 * * [simplify]: Extracting #3: cost 28 inf + 0 1553931501.714 * * [simplify]: Extracting #4: cost 62 inf + 0 1553931501.714 * * [simplify]: Extracting #5: cost 56 inf + 329 1553931501.715 * * [simplify]: Extracting #6: cost 12 inf + 5373 1553931501.717 * * [simplify]: Extracting #7: cost 0 inf + 7157 1553931501.718 * [simplify]: Simplified to (fabs (cbrt (- (* re re) (* im im)))) 1553931501.719 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (* (fabs (cbrt (- (* re re) (* im im)))) (sqrt (cbrt (- (* re re) (* im im))))) (sqrt (- (* re re) (* im im))))) 1553931501.719 * * * * [progress]: [ 25 / 121 ] simplifiying candidate # 1553931501.719 * [simplify]: Simplifying (sqrt (sqrt (- (* re re) (* im im)))) 1553931501.719 * * [simplify]: iters left: 6 (7 enodes) 1553931501.721 * * [simplify]: iters left: 5 (26 enodes) 1553931501.725 * * [simplify]: iters left: 4 (39 enodes) 1553931501.731 * * [simplify]: iters left: 3 (56 enodes) 1553931501.739 * * [simplify]: iters left: 2 (97 enodes) 1553931501.756 * * [simplify]: iters left: 1 (180 enodes) 1553931501.787 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931501.788 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931501.788 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931501.788 * * [simplify]: Extracting #3: cost 25 inf + 0 1553931501.788 * * [simplify]: Extracting #4: cost 59 inf + 0 1553931501.789 * * [simplify]: Extracting #5: cost 53 inf + 290 1553931501.790 * * [simplify]: Extracting #6: cost 20 inf + 3831 1553931501.793 * * [simplify]: Extracting #7: cost 2 inf + 6067 1553931501.796 * * [simplify]: Extracting #8: cost 0 inf + 6311 1553931501.800 * [simplify]: Simplified to (sqrt (sqrt (- (* re re) (* im im)))) 1553931501.800 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) (sqrt (- (* re re) (* im im))))) 1553931501.800 * * * * [progress]: [ 26 / 121 ] simplifiying candidate # 1553931501.800 * [simplify]: Simplifying (sqrt 1) 1553931501.800 * * [simplify]: iters left: 1 (2 enodes) 1553931501.804 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931501.804 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931501.804 * [simplify]: Simplified to 1 1553931501.804 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (* 1 (sqrt (- (* re re) (* im im)))) (sqrt (- (* re re) (* im im))))) 1553931501.804 * * * * [progress]: [ 27 / 121 ] simplifiying candidate # 1553931501.804 * [simplify]: Simplifying (sqrt (+ re im)) 1553931501.804 * * [simplify]: iters left: 3 (4 enodes) 1553931501.806 * * [simplify]: iters left: 2 (13 enodes) 1553931501.809 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931501.809 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931501.809 * * [simplify]: Extracting #2: cost 6 inf + 0 1553931501.809 * * [simplify]: Extracting #3: cost 4 inf + 2 1553931501.809 * * [simplify]: Extracting #4: cost 0 inf + 250 1553931501.809 * [simplify]: Simplified to (sqrt (+ im re)) 1553931501.809 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (* (sqrt (+ im re)) (sqrt (- re im))) (sqrt (- (* re re) (* im im))))) 1553931501.809 * * * * [progress]: [ 28 / 121 ] simplifiying candidate # 1553931501.809 * [simplify]: Simplifying (sqrt (- (pow (* re re) 3) (pow (* im im) 3))) 1553931501.810 * * [simplify]: iters left: 6 (9 enodes) 1553931501.812 * * [simplify]: iters left: 5 (46 enodes) 1553931501.823 * * [simplify]: iters left: 4 (128 enodes) 1553931501.864 * * [simplify]: iters left: 3 (304 enodes) 1553931502.004 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.004 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931502.005 * * [simplify]: Extracting #2: cost 51 inf + 0 1553931502.005 * * [simplify]: Extracting #3: cost 115 inf + 0 1553931502.006 * * [simplify]: Extracting #4: cost 184 inf + 2130 1553931502.009 * * [simplify]: Extracting #5: cost 149 inf + 9206 1553931502.019 * * [simplify]: Extracting #6: cost 55 inf + 39470 1553931502.029 * * [simplify]: Extracting #7: cost 2 inf + 60934 1553931502.041 * * [simplify]: Extracting #8: cost 0 inf + 62140 1553931502.053 * [simplify]: Simplified to (sqrt (- (* (* re re) (* (* re re) (* re re))) (* (* im im) (* (* im im) (* im im))))) 1553931502.053 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (/ (sqrt (- (* (* re re) (* (* re re) (* re re))) (* (* im im) (* (* im im) (* im im))))) (sqrt (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im)))))) (sqrt (- (* re re) (* im im))))) 1553931502.053 * * * * [progress]: [ 29 / 121 ] simplifiying candidate # 1553931502.054 * [simplify]: Simplifying (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) 1553931502.054 * * [simplify]: iters left: 6 (8 enodes) 1553931502.059 * * [simplify]: iters left: 5 (37 enodes) 1553931502.071 * * [simplify]: iters left: 4 (67 enodes) 1553931502.094 * * [simplify]: iters left: 3 (123 enodes) 1553931502.126 * * [simplify]: iters left: 2 (278 enodes) 1553931502.249 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.249 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931502.250 * * [simplify]: Extracting #2: cost 50 inf + 0 1553931502.250 * * [simplify]: Extracting #3: cost 150 inf + 0 1553931502.251 * * [simplify]: Extracting #4: cost 194 inf + 1180 1553931502.253 * * [simplify]: Extracting #5: cost 123 inf + 12421 1553931502.259 * * [simplify]: Extracting #6: cost 12 inf + 33804 1553931502.266 * * [simplify]: Extracting #7: cost 0 inf + 36129 1553931502.273 * [simplify]: Simplified to (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) 1553931502.274 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (/ (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (+ (* re re) (* im im)))) (sqrt (- (* re re) (* im im))))) 1553931502.274 * * * * [progress]: [ 30 / 121 ] simplifiying candidate # 1553931502.274 * [simplify]: Simplifying (- (* re re) (* im im)) 1553931502.274 * * [simplify]: iters left: 4 (5 enodes) 1553931502.275 * * [simplify]: iters left: 3 (20 enodes) 1553931502.279 * * [simplify]: iters left: 2 (33 enodes) 1553931502.289 * * [simplify]: iters left: 1 (50 enodes) 1553931502.308 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.309 * * [simplify]: Extracting #1: cost 11 inf + 0 1553931502.309 * * [simplify]: Extracting #2: cost 29 inf + 0 1553931502.309 * * [simplify]: Extracting #3: cost 19 inf + 455 1553931502.309 * * [simplify]: Extracting #4: cost 0 inf + 2130 1553931502.310 * * [simplify]: Extracting #5: cost 0 inf + 1970 1553931502.311 * [simplify]: Simplified to (* (+ re im) (- re im)) 1553931502.311 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (pow (* (+ re im) (- re im)) (/ 1 2)) (sqrt (- (* re re) (* im im))))) 1553931502.311 * * * * [progress]: [ 31 / 121 ] simplifiying candidate # 1553931502.311 * * * * [progress]: [ 32 / 121 ] simplifiying candidate # 1553931502.311 * [simplify]: Simplifying (sqrt (- (* re re) (* im im))) 1553931502.311 * * [simplify]: iters left: 5 (6 enodes) 1553931502.312 * * [simplify]: iters left: 4 (23 enodes) 1553931502.316 * * [simplify]: iters left: 3 (36 enodes) 1553931502.321 * * [simplify]: iters left: 2 (53 enodes) 1553931502.329 * * [simplify]: iters left: 1 (94 enodes) 1553931502.346 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.346 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931502.346 * * [simplify]: Extracting #2: cost 32 inf + 0 1553931502.346 * * [simplify]: Extracting #3: cost 48 inf + 0 1553931502.347 * * [simplify]: Extracting #4: cost 42 inf + 247 1553931502.347 * * [simplify]: Extracting #5: cost 18 inf + 3412 1553931502.348 * * [simplify]: Extracting #6: cost 0 inf + 5728 1553931502.350 * * [simplify]: Extracting #7: cost 0 inf + 5448 1553931502.353 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931502.353 * [simplify]: Simplified (2 1 1) to (λ (re im) (* (fabs (sqrt (- (* re re) (* im im)))) (sqrt (- (* re re) (* im im))))) 1553931502.353 * * * * [progress]: [ 33 / 121 ] simplifiying candidate # 1553931502.353 * * * * [progress]: [ 34 / 121 ] simplifiying candidate #real (real->posit16 (sqrt (- (* re re) (* im im))))) (sqrt (- (* re re) (* im im)))))> 1553931502.353 * * * * [progress]: [ 35 / 121 ] simplifiying candidate # 1553931502.353 * [simplify]: Simplifying (- (* re re) (* im im)) 1553931502.353 * * [simplify]: iters left: 4 (5 enodes) 1553931502.356 * * [simplify]: iters left: 3 (20 enodes) 1553931502.361 * * [simplify]: iters left: 2 (33 enodes) 1553931502.366 * * [simplify]: iters left: 1 (50 enodes) 1553931502.373 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.373 * * [simplify]: Extracting #1: cost 11 inf + 0 1553931502.373 * * [simplify]: Extracting #2: cost 29 inf + 0 1553931502.374 * * [simplify]: Extracting #3: cost 19 inf + 455 1553931502.374 * * [simplify]: Extracting #4: cost 0 inf + 2130 1553931502.375 * * [simplify]: Extracting #5: cost 0 inf + 1970 1553931502.375 * [simplify]: Simplified to (* (+ re im) (- re im)) 1553931502.375 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (+ re im) (- re im)) (+ 1/2 1/2))) 1553931502.375 * [simplify]: Simplifying (+ 1/2 1/2) 1553931502.375 * * [simplify]: iters left: 2 (2 enodes) 1553931502.377 * * [simplify]: iters left: 1 (7 enodes) 1553931502.378 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.378 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931502.378 * [simplify]: Simplified to 1 1553931502.378 * [simplify]: Simplified (2 2) to (λ (re im) (pow (- (* re re) (* im im)) 1)) 1553931502.378 * * * * [progress]: [ 36 / 121 ] simplifiying candidate # 1553931502.378 * [simplify]: Simplifying (- (* re re) (* im im)) 1553931502.378 * * [simplify]: iters left: 4 (5 enodes) 1553931502.380 * * [simplify]: iters left: 3 (20 enodes) 1553931502.384 * * [simplify]: iters left: 2 (33 enodes) 1553931502.388 * * [simplify]: iters left: 1 (50 enodes) 1553931502.403 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.403 * * [simplify]: Extracting #1: cost 11 inf + 0 1553931502.403 * * [simplify]: Extracting #2: cost 29 inf + 0 1553931502.404 * * [simplify]: Extracting #3: cost 19 inf + 455 1553931502.405 * * [simplify]: Extracting #4: cost 0 inf + 2130 1553931502.405 * * [simplify]: Extracting #5: cost 0 inf + 1970 1553931502.406 * [simplify]: Simplified to (* (+ re im) (- re im)) 1553931502.406 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (+ re im) (- re im)) (+ 1/2 (/ 1 2)))) 1553931502.406 * [simplify]: Simplifying (+ 1/2 (/ 1 2)) 1553931502.406 * * [simplify]: iters left: 4 (5 enodes) 1553931502.409 * * [simplify]: iters left: 3 (18 enodes) 1553931502.413 * * [simplify]: iters left: 2 (20 enodes) 1553931502.416 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.416 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931502.416 * [simplify]: Simplified to 1 1553931502.416 * [simplify]: Simplified (2 2) to (λ (re im) (pow (- (* re re) (* im im)) 1)) 1553931502.416 * * * * [progress]: [ 37 / 121 ] simplifiying candidate # 1553931502.416 * [simplify]: Simplifying (sqrt (- (* re re) (* im im))) 1553931502.416 * * [simplify]: iters left: 5 (6 enodes) 1553931502.418 * * [simplify]: iters left: 4 (23 enodes) 1553931502.421 * * [simplify]: iters left: 3 (36 enodes) 1553931502.426 * * [simplify]: iters left: 2 (53 enodes) 1553931502.434 * * [simplify]: iters left: 1 (94 enodes) 1553931502.458 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.458 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931502.459 * * [simplify]: Extracting #2: cost 32 inf + 0 1553931502.459 * * [simplify]: Extracting #3: cost 48 inf + 0 1553931502.459 * * [simplify]: Extracting #4: cost 42 inf + 247 1553931502.460 * * [simplify]: Extracting #5: cost 18 inf + 3412 1553931502.463 * * [simplify]: Extracting #6: cost 0 inf + 5728 1553931502.465 * * [simplify]: Extracting #7: cost 0 inf + 5448 1553931502.468 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931502.468 * [simplify]: Simplified (2 1) to (λ (re im) (pow (sqrt (- (* re re) (* im im))) (+ 1 1))) 1553931502.468 * [simplify]: Simplifying (+ 1 1) 1553931502.468 * * [simplify]: iters left: 2 (2 enodes) 1553931502.471 * * [simplify]: iters left: 1 (9 enodes) 1553931502.474 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.474 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931502.474 * [simplify]: Simplified to 2 1553931502.474 * [simplify]: Simplified (2 2) to (λ (re im) (pow (sqrt (- (* re re) (* im im))) 2)) 1553931502.474 * * * * [progress]: [ 38 / 121 ] simplifiying candidate # 1553931502.476 * [simplify]: Simplifying (- (* re re) (* im im)) 1553931502.476 * * [simplify]: iters left: 4 (5 enodes) 1553931502.478 * * [simplify]: iters left: 3 (20 enodes) 1553931502.485 * * [simplify]: iters left: 2 (33 enodes) 1553931502.494 * * [simplify]: iters left: 1 (50 enodes) 1553931502.511 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.512 * * [simplify]: Extracting #1: cost 11 inf + 0 1553931502.512 * * [simplify]: Extracting #2: cost 29 inf + 0 1553931502.512 * * [simplify]: Extracting #3: cost 19 inf + 455 1553931502.513 * * [simplify]: Extracting #4: cost 0 inf + 2130 1553931502.514 * * [simplify]: Extracting #5: cost 0 inf + 1970 1553931502.515 * [simplify]: Simplified to (* (+ re im) (- re im)) 1553931502.515 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (+ re im) (- re im)) (+ (/ 1 2) 1/2))) 1553931502.516 * [simplify]: Simplifying (+ (/ 1 2) 1/2) 1553931502.516 * * [simplify]: iters left: 4 (5 enodes) 1553931502.523 * * [simplify]: iters left: 3 (18 enodes) 1553931502.528 * * [simplify]: iters left: 2 (20 enodes) 1553931502.534 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.534 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931502.534 * [simplify]: Simplified to 1 1553931502.534 * [simplify]: Simplified (2 2) to (λ (re im) (pow (- (* re re) (* im im)) 1)) 1553931502.534 * * * * [progress]: [ 39 / 121 ] simplifiying candidate # 1553931502.534 * [simplify]: Simplifying (- (* re re) (* im im)) 1553931502.534 * * [simplify]: iters left: 4 (5 enodes) 1553931502.537 * * [simplify]: iters left: 3 (20 enodes) 1553931502.542 * * [simplify]: iters left: 2 (33 enodes) 1553931502.552 * * [simplify]: iters left: 1 (50 enodes) 1553931502.568 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.569 * * [simplify]: Extracting #1: cost 11 inf + 0 1553931502.569 * * [simplify]: Extracting #2: cost 29 inf + 0 1553931502.569 * * [simplify]: Extracting #3: cost 19 inf + 455 1553931502.570 * * [simplify]: Extracting #4: cost 0 inf + 2130 1553931502.571 * * [simplify]: Extracting #5: cost 0 inf + 1970 1553931502.572 * [simplify]: Simplified to (* (+ re im) (- re im)) 1553931502.572 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (+ re im) (- re im)) (+ (/ 1 2) (/ 1 2)))) 1553931502.573 * [simplify]: Simplifying (+ (/ 1 2) (/ 1 2)) 1553931502.573 * * [simplify]: iters left: 4 (4 enodes) 1553931502.577 * * [simplify]: iters left: 3 (15 enodes) 1553931502.581 * * [simplify]: iters left: 2 (17 enodes) 1553931502.586 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.586 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931502.586 * [simplify]: Simplified to 1 1553931502.586 * [simplify]: Simplified (2 2) to (λ (re im) (pow (- (* re re) (* im im)) 1)) 1553931502.586 * * * * [progress]: [ 40 / 121 ] simplifiying candidate # 1553931502.587 * [simplify]: Simplifying (* (- (* re re) (* im im)) (- (* re re) (* im im))) 1553931502.587 * * [simplify]: iters left: 6 (6 enodes) 1553931502.590 * * [simplify]: iters left: 5 (23 enodes) 1553931502.597 * * [simplify]: iters left: 4 (49 enodes) 1553931502.619 * * [simplify]: iters left: 3 (161 enodes) 1553931502.712 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.712 * * [simplify]: Extracting #1: cost 43 inf + 0 1553931502.713 * * [simplify]: Extracting #2: cost 161 inf + 0 1553931502.714 * * [simplify]: Extracting #3: cost 180 inf + 1588 1553931502.718 * * [simplify]: Extracting #4: cost 63 inf + 19808 1553931502.725 * * [simplify]: Extracting #5: cost 0 inf + 30333 1553931502.733 * * [simplify]: Extracting #6: cost 0 inf + 30253 1553931502.740 * [simplify]: Simplified to (* (- (* re re) (* im im)) (- (* re re) (* im im))) 1553931502.740 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (- (* re re) (* im im)) (- (* re re) (* im im))) 1/2)) 1553931502.740 * * * * [progress]: [ 41 / 121 ] simplifiying candidate # 1553931502.741 * [simplify]: Simplifying (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im)))) 1553931502.741 * * [simplify]: iters left: 6 (7 enodes) 1553931502.742 * * [simplify]: iters left: 5 (24 enodes) 1553931502.746 * * [simplify]: iters left: 4 (37 enodes) 1553931502.750 * * [simplify]: iters left: 3 (47 enodes) 1553931502.762 * * [simplify]: iters left: 2 (81 enodes) 1553931502.787 * * [simplify]: iters left: 1 (148 enodes) 1553931502.828 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.829 * * [simplify]: Extracting #1: cost 20 inf + 0 1553931502.829 * * [simplify]: Extracting #2: cost 50 inf + 0 1553931502.829 * * [simplify]: Extracting #3: cost 44 inf + 290 1553931502.831 * * [simplify]: Extracting #4: cost 16 inf + 3421 1553931502.834 * * [simplify]: Extracting #5: cost 2 inf + 4689 1553931502.837 * * [simplify]: Extracting #6: cost 0 inf + 5013 1553931502.839 * [simplify]: Simplified to (- (* re re) (* im im)) 1553931502.840 * [simplify]: Simplified (2 1) to (λ (re im) (pow (- (* re re) (* im im)) 1)) 1553931502.840 * * * * [progress]: [ 42 / 121 ] simplifiying candidate # 1553931502.840 * [simplify]: Simplifying (* (- (* re re) (* im im)) (- (* re re) (* im im))) 1553931502.840 * * [simplify]: iters left: 6 (6 enodes) 1553931502.843 * * [simplify]: iters left: 5 (23 enodes) 1553931502.851 * * [simplify]: iters left: 4 (49 enodes) 1553931502.866 * * [simplify]: iters left: 3 (161 enodes) 1553931502.958 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.958 * * [simplify]: Extracting #1: cost 43 inf + 0 1553931502.958 * * [simplify]: Extracting #2: cost 161 inf + 0 1553931502.959 * * [simplify]: Extracting #3: cost 180 inf + 1588 1553931502.963 * * [simplify]: Extracting #4: cost 63 inf + 19808 1553931502.971 * * [simplify]: Extracting #5: cost 0 inf + 30333 1553931502.978 * * [simplify]: Extracting #6: cost 0 inf + 30253 1553931502.986 * [simplify]: Simplified to (* (- (* re re) (* im im)) (- (* re re) (* im im))) 1553931502.986 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (- (* re re) (* im im)) (- (* re re) (* im im))) (/ 1 2))) 1553931502.986 * [simplify]: Simplifying (/ 1 2) 1553931502.986 * * [simplify]: iters left: 2 (3 enodes) 1553931502.988 * * [simplify]: iters left: 1 (12 enodes) 1553931502.991 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931502.991 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931502.991 * [simplify]: Simplified to 1/2 1553931502.991 * [simplify]: Simplified (2 2) to (λ (re im) (pow (* (- (* re re) (* im im)) (- (* re re) (* im im))) 1/2)) 1553931502.991 * * * * [progress]: [ 43 / 121 ] simplifiying candidate # 1553931502.991 * * * * [progress]: [ 44 / 121 ] simplifiying candidate # 1553931502.991 * [simplify]: Simplifying (sqrt (- (* re re) (* im im))) 1553931502.991 * * [simplify]: iters left: 5 (6 enodes) 1553931502.992 * * [simplify]: iters left: 4 (23 enodes) 1553931502.996 * * [simplify]: iters left: 3 (36 enodes) 1553931503.001 * * [simplify]: iters left: 2 (53 enodes) 1553931503.012 * * [simplify]: iters left: 1 (94 enodes) 1553931503.028 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931503.044 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931503.044 * * [simplify]: Extracting #2: cost 32 inf + 0 1553931503.044 * * [simplify]: Extracting #3: cost 48 inf + 0 1553931503.044 * * [simplify]: Extracting #4: cost 42 inf + 247 1553931503.045 * * [simplify]: Extracting #5: cost 18 inf + 3412 1553931503.046 * * [simplify]: Extracting #6: cost 0 inf + 5728 1553931503.047 * * [simplify]: Extracting #7: cost 0 inf + 5448 1553931503.048 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931503.048 * [simplify]: Simplified (2 1) to (λ (re im) (pow (sqrt (- (* re re) (* im im))) (+ 1 1))) 1553931503.048 * * * * [progress]: [ 45 / 121 ] simplifiying candidate # 1553931503.048 * * * * [progress]: [ 46 / 121 ] simplifiying candidate # 1553931503.049 * [simplify]: Simplifying (+ (log (sqrt (- (* re re) (* im im)))) (log (sqrt (- (* re re) (* im im))))) 1553931503.049 * * [simplify]: iters left: 6 (8 enodes) 1553931503.050 * * [simplify]: iters left: 5 (29 enodes) 1553931503.055 * * [simplify]: iters left: 4 (42 enodes) 1553931503.061 * * [simplify]: iters left: 3 (59 enodes) 1553931503.071 * * [simplify]: iters left: 2 (100 enodes) 1553931503.088 * * [simplify]: iters left: 1 (183 enodes) 1553931503.123 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931503.123 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931503.123 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931503.123 * * [simplify]: Extracting #3: cost 7 inf + 0 1553931503.123 * * [simplify]: Extracting #4: cost 27 inf + 0 1553931503.123 * * [simplify]: Extracting #5: cost 62 inf + 0 1553931503.124 * * [simplify]: Extracting #6: cost 54 inf + 413 1553931503.126 * * [simplify]: Extracting #7: cost 16 inf + 4965 1553931503.129 * * [simplify]: Extracting #8: cost 0 inf + 6957 1553931503.133 * [simplify]: Simplified to (+ (log (sqrt (- (* re re) (* im im)))) (log (sqrt (- (* re re) (* im im))))) 1553931503.133 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (log (sqrt (- (* re re) (* im im)))) (log (sqrt (- (* re re) (* im im))))))) 1553931503.133 * * * * [progress]: [ 47 / 121 ] simplifiying candidate # 1553931503.133 * * * * [progress]: [ 48 / 121 ] simplifiying candidate # 1553931503.133 * * * * [progress]: [ 49 / 121 ] simplifiying candidate # 1553931503.134 * [simplify]: Simplifying (* (* (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im)))) (sqrt (- (* re re) (* im im)))) (* (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im)))) (sqrt (- (* re re) (* im im))))) 1553931503.134 * * [simplify]: iters left: 6 (9 enodes) 1553931503.138 * * [simplify]: iters left: 5 (37 enodes) 1553931503.153 * * [simplify]: iters left: 4 (101 enodes) 1553931503.225 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931503.225 * * [simplify]: Extracting #1: cost 26 inf + 0 1553931503.225 * * [simplify]: Extracting #2: cost 124 inf + 2 1553931503.226 * * [simplify]: Extracting #3: cost 159 inf + 947 1553931503.228 * * [simplify]: Extracting #4: cost 82 inf + 13933 1553931503.234 * * [simplify]: Extracting #5: cost 10 inf + 30997 1553931503.242 * * [simplify]: Extracting #6: cost 0 inf + 33817 1553931503.249 * [simplify]: Simplified to (* (* (- (* re re) (* im im)) (- (* re re) (* im im))) (- (* re re) (* im im))) 1553931503.249 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (- (* re re) (* im im)) (- (* re re) (* im im))) (- (* re re) (* im im))))) 1553931503.249 * * * * [progress]: [ 50 / 121 ] simplifiying candidate # 1553931503.249 * * * * [progress]: [ 51 / 121 ] simplifiying candidate # 1553931503.249 * * * * [progress]: [ 52 / 121 ] simplifiying candidate # 1553931503.249 * [simplify]: Simplifying (* (- (* re re) (* im im)) (- (* re re) (* im im))) 1553931503.249 * * [simplify]: iters left: 6 (6 enodes) 1553931503.251 * * [simplify]: iters left: 5 (23 enodes) 1553931503.254 * * [simplify]: iters left: 4 (49 enodes) 1553931503.272 * * [simplify]: iters left: 3 (161 enodes) 1553931503.366 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931503.367 * * [simplify]: Extracting #1: cost 43 inf + 0 1553931503.367 * * [simplify]: Extracting #2: cost 161 inf + 0 1553931503.368 * * [simplify]: Extracting #3: cost 180 inf + 1588 1553931503.372 * * [simplify]: Extracting #4: cost 63 inf + 19808 1553931503.379 * * [simplify]: Extracting #5: cost 0 inf + 30333 1553931503.392 * * [simplify]: Extracting #6: cost 0 inf + 30253 1553931503.407 * [simplify]: Simplified to (* (- (* re re) (* im im)) (- (* re re) (* im im))) 1553931503.407 * [simplify]: Simplified (2 1) to (λ (re im) (sqrt (* (- (* re re) (* im im)) (- (* re re) (* im im))))) 1553931503.407 * * * * [progress]: [ 53 / 121 ] simplifiying candidate # 1553931503.407 * * * * [progress]: [ 54 / 121 ] simplifiying candidate # 1553931503.408 * [simplify]: Simplifying (* re re) 1553931503.408 * * [simplify]: iters left: 2 (2 enodes) 1553931503.409 * * [simplify]: iters left: 1 (6 enodes) 1553931503.410 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931503.410 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931503.410 * * [simplify]: Extracting #2: cost 2 inf + 1 1553931503.410 * * [simplify]: Extracting #3: cost 0 inf + 83 1553931503.410 * [simplify]: Simplified to (* re re) 1553931503.410 * [simplify]: Simplified (2 1) to (λ (re im) (- (* re re) (* im im))) 1553931503.411 * [simplify]: Simplifying (* im im) 1553931503.411 * * [simplify]: iters left: 2 (2 enodes) 1553931503.412 * * [simplify]: iters left: 1 (6 enodes) 1553931503.413 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931503.413 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931503.413 * * [simplify]: Extracting #2: cost 2 inf + 1 1553931503.413 * * [simplify]: Extracting #3: cost 0 inf + 83 1553931503.413 * [simplify]: Simplified to (* im im) 1553931503.414 * [simplify]: Simplified (2 2) to (λ (re im) (- (* re re) (* im im))) 1553931503.414 * * * * [progress]: [ 55 / 121 ] simplifiying candidate # 1553931503.414 * [simplify]: Simplifying (* (sqrt (- (pow (* re re) 3) (pow (* im im) 3))) (sqrt (- (pow (* re re) 3) (pow (* im im) 3)))) 1553931503.414 * * [simplify]: iters left: 6 (10 enodes) 1553931503.420 * * [simplify]: iters left: 5 (47 enodes) 1553931503.441 * * [simplify]: iters left: 4 (130 enodes) 1553931503.498 * * [simplify]: iters left: 3 (309 enodes) 1553931503.611 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931503.611 * * [simplify]: Extracting #1: cost 50 inf + 0 1553931503.611 * * [simplify]: Extracting #2: cost 116 inf + 0 1553931503.612 * * [simplify]: Extracting #3: cost 190 inf + 973 1553931503.613 * * [simplify]: Extracting #4: cost 158 inf + 7482 1553931503.616 * * [simplify]: Extracting #5: cost 50 inf + 40284 1553931503.622 * * [simplify]: Extracting #6: cost 1 inf + 60911 1553931503.628 * * [simplify]: Extracting #7: cost 0 inf + 61374 1553931503.635 * [simplify]: Simplified to (- (* (* re (* re re)) (* re (* re re))) (* (* (* im im) (* im im)) (* im im))) 1553931503.635 * [simplify]: Simplified (2 1) to (λ (re im) (/ (- (* (* re (* re re)) (* re (* re re))) (* (* (* im im) (* im im)) (* im im))) (* (sqrt (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im))))) (sqrt (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im)))))))) 1553931503.635 * [simplify]: Simplifying (* (sqrt (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im))))) (sqrt (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im)))))) 1553931503.635 * * [simplify]: iters left: 6 (11 enodes) 1553931503.638 * * [simplify]: iters left: 5 (52 enodes) 1553931503.647 * * [simplify]: iters left: 4 (97 enodes) 1553931503.669 * * [simplify]: iters left: 3 (134 enodes) 1553931503.709 * * [simplify]: iters left: 2 (187 enodes) 1553931503.747 * * [simplify]: iters left: 1 (281 enodes) 1553931503.823 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931503.824 * * [simplify]: Extracting #1: cost 9 inf + 0 1553931503.824 * * [simplify]: Extracting #2: cost 44 inf + 0 1553931503.824 * * [simplify]: Extracting #3: cost 88 inf + 370 1553931503.826 * * [simplify]: Extracting #4: cost 55 inf + 5536 1553931503.829 * * [simplify]: Extracting #5: cost 32 inf + 11929 1553931503.833 * * [simplify]: Extracting #6: cost 5 inf + 21398 1553931503.838 * * [simplify]: Extracting #7: cost 0 inf + 23251 1553931503.843 * [simplify]: Simplified to (+ (* (* im im) (+ (* re re) (* im im))) (* (* re re) (* re re))) 1553931503.843 * [simplify]: Simplified (2 2) to (λ (re im) (/ (- (* (* re (* re re)) (* re (* re re))) (* (* (* im im) (* im im)) (* im im))) (+ (* (* im im) (+ (* re re) (* im im))) (* (* re re) (* re re))))) 1553931503.843 * * * * [progress]: [ 56 / 121 ] simplifiying candidate # 1553931503.844 * [simplify]: Simplifying (* (sqrt (- (pow (* re re) 3) (pow (* im im) 3))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) 1553931503.844 * * [simplify]: iters left: 6 (14 enodes) 1553931503.852 * * [simplify]: iters left: 5 (73 enodes) 1553931503.881 * * [simplify]: iters left: 4 (157 enodes) 1553931503.923 * * [simplify]: iters left: 3 (354 enodes) 1553931504.055 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931504.055 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931504.055 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931504.055 * * [simplify]: Extracting #3: cost 74 inf + 0 1553931504.056 * * [simplify]: Extracting #4: cost 178 inf + 0 1553931504.058 * * [simplify]: Extracting #5: cost 224 inf + 2260 1553931504.063 * * [simplify]: Extracting #6: cost 156 inf + 15144 1553931504.077 * * [simplify]: Extracting #7: cost 46 inf + 49541 1553931504.084 * * [simplify]: Extracting #8: cost 0 inf + 68451 1553931504.092 * [simplify]: Simplified to (* (sqrt (* (- (* re re) (* im im)) (+ (* re re) (* im im)))) (sqrt (- (* (* re (* re re)) (* re (* re re))) (* (* im im) (* (* im im) (* im im)))))) 1553931504.092 * [simplify]: Simplified (2 1) to (λ (re im) (/ (* (sqrt (* (- (* re re) (* im im)) (+ (* re re) (* im im)))) (sqrt (- (* (* re (* re re)) (* re (* re re))) (* (* im im) (* (* im im) (* im im)))))) (* (sqrt (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im))))) (sqrt (+ (* re re) (* im im)))))) 1553931504.093 * [simplify]: Simplifying (* (sqrt (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im))))) (sqrt (+ (* re re) (* im im)))) 1553931504.093 * * [simplify]: iters left: 6 (13 enodes) 1553931504.096 * * [simplify]: iters left: 5 (61 enodes) 1553931504.108 * * [simplify]: iters left: 4 (98 enodes) 1553931504.132 * * [simplify]: iters left: 3 (134 enodes) 1553931504.165 * * [simplify]: iters left: 2 (189 enodes) 1553931504.208 * * [simplify]: iters left: 1 (283 enodes) 1553931504.297 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931504.297 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931504.297 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931504.297 * * [simplify]: Extracting #3: cost 18 inf + 0 1553931504.297 * * [simplify]: Extracting #4: cost 53 inf + 0 1553931504.297 * * [simplify]: Extracting #5: cost 92 inf + 208 1553931504.298 * * [simplify]: Extracting #6: cost 61 inf + 4528 1553931504.300 * * [simplify]: Extracting #7: cost 35 inf + 10864 1553931504.302 * * [simplify]: Extracting #8: cost 14 inf + 18569 1553931504.305 * * [simplify]: Extracting #9: cost 0 inf + 23836 1553931504.307 * [simplify]: Simplified to (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* (* im im) (* im im)) (* (+ (* re re) (* im im)) (* re re))))) 1553931504.307 * [simplify]: Simplified (2 2) to (λ (re im) (/ (* (sqrt (* (- (* re re) (* im im)) (+ (* re re) (* im im)))) (sqrt (- (* (* re (* re re)) (* re (* re re))) (* (* im im) (* (* im im) (* im im)))))) (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* (* im im) (* im im)) (* (+ (* re re) (* im im)) (* re re))))))) 1553931504.307 * * * * [progress]: [ 57 / 121 ] simplifiying candidate # 1553931504.307 * [simplify]: Simplifying (* (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (- (pow (* re re) 3) (pow (* im im) 3)))) 1553931504.307 * * [simplify]: iters left: 6 (14 enodes) 1553931504.312 * * [simplify]: iters left: 5 (73 enodes) 1553931504.343 * * [simplify]: iters left: 4 (157 enodes) 1553931504.401 * * [simplify]: iters left: 3 (351 enodes) 1553931504.512 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931504.512 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931504.512 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931504.513 * * [simplify]: Extracting #3: cost 74 inf + 0 1553931504.513 * * [simplify]: Extracting #4: cost 178 inf + 0 1553931504.514 * * [simplify]: Extracting #5: cost 212 inf + 2805 1553931504.517 * * [simplify]: Extracting #6: cost 140 inf + 17562 1553931504.523 * * [simplify]: Extracting #7: cost 43 inf + 51778 1553931504.531 * * [simplify]: Extracting #8: cost 0 inf + 67828 1553931504.540 * [simplify]: Simplified to (* (sqrt (- (* (* (* re re) (* re re)) (* re re)) (* (* im im) (* (* im im) (* im im))))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) 1553931504.540 * [simplify]: Simplified (2 1) to (λ (re im) (/ (* (sqrt (- (* (* (* re re) (* re re)) (* re re)) (* (* im im) (* (* im im) (* im im))))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im)))))))) 1553931504.540 * [simplify]: Simplifying (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im)))))) 1553931504.540 * * [simplify]: iters left: 6 (13 enodes) 1553931504.547 * * [simplify]: iters left: 5 (61 enodes) 1553931504.570 * * [simplify]: iters left: 4 (98 enodes) 1553931504.604 * * [simplify]: iters left: 3 (134 enodes) 1553931504.650 * * [simplify]: iters left: 2 (189 enodes) 1553931504.714 * * [simplify]: iters left: 1 (283 enodes) 1553931504.762 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931504.763 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931504.763 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931504.763 * * [simplify]: Extracting #3: cost 18 inf + 0 1553931504.763 * * [simplify]: Extracting #4: cost 53 inf + 0 1553931504.763 * * [simplify]: Extracting #5: cost 91 inf + 249 1553931504.764 * * [simplify]: Extracting #6: cost 63 inf + 4245 1553931504.766 * * [simplify]: Extracting #7: cost 33 inf + 11539 1553931504.768 * * [simplify]: Extracting #8: cost 5 inf + 22023 1553931504.772 * * [simplify]: Extracting #9: cost 0 inf + 23836 1553931504.774 * [simplify]: Simplified to (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* (* re re) (* re re)) (* (* im im) (+ (* re re) (* im im)))))) 1553931504.774 * [simplify]: Simplified (2 2) to (λ (re im) (/ (* (sqrt (- (* (* (* re re) (* re re)) (* re re)) (* (* im im) (* (* im im) (* im im))))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* (* re re) (* re re)) (* (* im im) (+ (* re re) (* im im)))))))) 1553931504.775 * * * * [progress]: [ 58 / 121 ] simplifiying candidate # 1553931504.775 * [simplify]: Simplifying (* (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) 1553931504.775 * * [simplify]: iters left: 6 (9 enodes) 1553931504.777 * * [simplify]: iters left: 5 (38 enodes) 1553931504.786 * * [simplify]: iters left: 4 (68 enodes) 1553931504.808 * * [simplify]: iters left: 3 (115 enodes) 1553931504.853 * * [simplify]: iters left: 2 (234 enodes) 1553931504.977 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931504.977 * * [simplify]: Extracting #1: cost 40 inf + 0 1553931504.978 * * [simplify]: Extracting #2: cost 131 inf + 0 1553931504.979 * * [simplify]: Extracting #3: cost 160 inf + 940 1553931504.983 * * [simplify]: Extracting #4: cost 59 inf + 16092 1553931504.988 * * [simplify]: Extracting #5: cost 5 inf + 28703 1553931504.994 * * [simplify]: Extracting #6: cost 0 inf + 29993 1553931505.002 * [simplify]: Simplified to (- (* (* re re) (* re re)) (* (* im im) (* im im))) 1553931505.002 * [simplify]: Simplified (2 1) to (λ (re im) (/ (- (* (* re re) (* re re)) (* (* im im) (* im im))) (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))))) 1553931505.002 * [simplify]: Simplifying (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) 1553931505.002 * * [simplify]: iters left: 6 (7 enodes) 1553931505.004 * * [simplify]: iters left: 5 (20 enodes) 1553931505.006 * * [simplify]: iters left: 4 (21 enodes) 1553931505.009 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931505.009 * * [simplify]: Extracting #1: cost 5 inf + 0 1553931505.009 * * [simplify]: Extracting #2: cost 10 inf + 0 1553931505.009 * * [simplify]: Extracting #3: cost 6 inf + 84 1553931505.009 * * [simplify]: Extracting #4: cost 2 inf + 410 1553931505.009 * * [simplify]: Extracting #5: cost 0 inf + 734 1553931505.009 * [simplify]: Simplified to (+ (* re re) (* im im)) 1553931505.009 * [simplify]: Simplified (2 2) to (λ (re im) (/ (- (* (* re re) (* re re)) (* (* im im) (* im im))) (+ (* re re) (* im im)))) 1553931505.009 * * * * [progress]: [ 59 / 121 ] simplifiying candidate # 1553931505.009 * * * * [progress]: [ 60 / 121 ] simplifiying candidate # 1553931505.010 * [simplify]: Simplifying (* (* (cbrt (sqrt (- (* re re) (* im im)))) (cbrt (sqrt (- (* re re) (* im im))))) (* (cbrt (sqrt (- (* re re) (* im im)))) (cbrt (sqrt (- (* re re) (* im im)))))) 1553931505.010 * * [simplify]: iters left: 6 (9 enodes) 1553931505.012 * * [simplify]: iters left: 5 (36 enodes) 1553931505.022 * * [simplify]: iters left: 4 (53 enodes) 1553931505.034 * * [simplify]: iters left: 3 (81 enodes) 1553931505.048 * * [simplify]: iters left: 2 (146 enodes) 1553931505.075 * * [simplify]: iters left: 1 (277 enodes) 1553931505.137 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931505.137 * * [simplify]: Extracting #1: cost 13 inf + 0 1553931505.137 * * [simplify]: Extracting #2: cost 40 inf + 1 1553931505.138 * * [simplify]: Extracting #3: cost 59 inf + 7 1553931505.138 * * [simplify]: Extracting #4: cost 92 inf + 9 1553931505.139 * * [simplify]: Extracting #5: cost 83 inf + 503 1553931505.142 * * [simplify]: Extracting #6: cost 42 inf + 5502 1553931505.147 * * [simplify]: Extracting #7: cost 9 inf + 17220 1553931505.155 * * [simplify]: Extracting #8: cost 1 inf + 22772 1553931505.162 * * [simplify]: Extracting #9: cost 0 inf + 23436 1553931505.170 * [simplify]: Simplified to (* (sqrt (- (* re re) (* im im))) (cbrt (sqrt (- (* re re) (* im im))))) 1553931505.170 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (sqrt (- (* re re) (* im im))) (cbrt (sqrt (- (* re re) (* im im))))) (* (cbrt (sqrt (- (* re re) (* im im)))) (cbrt (sqrt (- (* re re) (* im im))))))) 1553931505.171 * [simplify]: Simplifying (* (cbrt (sqrt (- (* re re) (* im im)))) (cbrt (sqrt (- (* re re) (* im im))))) 1553931505.171 * * [simplify]: iters left: 6 (8 enodes) 1553931505.175 * * [simplify]: iters left: 5 (29 enodes) 1553931505.186 * * [simplify]: iters left: 4 (42 enodes) 1553931505.198 * * [simplify]: iters left: 3 (59 enodes) 1553931505.208 * * [simplify]: iters left: 2 (100 enodes) 1553931505.225 * * [simplify]: iters left: 1 (183 enodes) 1553931505.278 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931505.278 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931505.278 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931505.278 * * [simplify]: Extracting #3: cost 7 inf + 0 1553931505.278 * * [simplify]: Extracting #4: cost 27 inf + 0 1553931505.279 * * [simplify]: Extracting #5: cost 62 inf + 0 1553931505.279 * * [simplify]: Extracting #6: cost 54 inf + 413 1553931505.281 * * [simplify]: Extracting #7: cost 16 inf + 5005 1553931505.285 * * [simplify]: Extracting #8: cost 0 inf + 6997 1553931505.288 * [simplify]: Simplified to (* (cbrt (sqrt (- (* re re) (* im im)))) (cbrt (sqrt (- (* re re) (* im im))))) 1553931505.288 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* (cbrt (sqrt (- (* re re) (* im im)))) (cbrt (sqrt (- (* re re) (* im im))))) (* (cbrt (sqrt (- (* re re) (* im im)))) (cbrt (sqrt (- (* re re) (* im im)))))) (* (cbrt (sqrt (- (* re re) (* im im)))) (cbrt (sqrt (- (* re re) (* im im))))))) 1553931505.289 * * * * [progress]: [ 61 / 121 ] simplifiying candidate # 1553931505.289 * [simplify]: Simplifying (* (sqrt (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im))))) (sqrt (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im)))))) 1553931505.289 * * [simplify]: iters left: 6 (9 enodes) 1553931505.293 * * [simplify]: iters left: 5 (31 enodes) 1553931505.300 * * [simplify]: iters left: 4 (45 enodes) 1553931505.309 * * [simplify]: iters left: 3 (62 enodes) 1553931505.318 * * [simplify]: iters left: 2 (103 enodes) 1553931505.336 * * [simplify]: iters left: 1 (186 enodes) 1553931505.379 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931505.379 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931505.379 * * [simplify]: Extracting #2: cost 7 inf + 0 1553931505.379 * * [simplify]: Extracting #3: cost 28 inf + 0 1553931505.380 * * [simplify]: Extracting #4: cost 62 inf + 0 1553931505.380 * * [simplify]: Extracting #5: cost 57 inf + 247 1553931505.382 * * [simplify]: Extracting #6: cost 19 inf + 4519 1553931505.385 * * [simplify]: Extracting #7: cost 0 inf + 6997 1553931505.389 * [simplify]: Simplified to (* (cbrt (* (+ re im) (- re im))) (cbrt (* (+ re im) (- re im)))) 1553931505.389 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (cbrt (* (+ re im) (- re im))) (cbrt (* (+ re im) (- re im)))) (* (sqrt (cbrt (- (* re re) (* im im)))) (sqrt (cbrt (- (* re re) (* im im))))))) 1553931505.390 * [simplify]: Simplifying (* (sqrt (cbrt (- (* re re) (* im im)))) (sqrt (cbrt (- (* re re) (* im im))))) 1553931505.390 * * [simplify]: iters left: 6 (8 enodes) 1553931505.394 * * [simplify]: iters left: 5 (27 enodes) 1553931505.401 * * [simplify]: iters left: 4 (41 enodes) 1553931505.409 * * [simplify]: iters left: 3 (58 enodes) 1553931505.417 * * [simplify]: iters left: 2 (99 enodes) 1553931505.436 * * [simplify]: iters left: 1 (182 enodes) 1553931505.497 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931505.497 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931505.497 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931505.498 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931505.498 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931505.500 * * [simplify]: Extracting #5: cost 18 inf + 3875 1553931505.503 * * [simplify]: Extracting #6: cost 1 inf + 6269 1553931505.507 * * [simplify]: Extracting #7: cost 0 inf + 6511 1553931505.510 * [simplify]: Simplified to (cbrt (- (* re re) (* im im))) 1553931505.510 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im))))) (sqrt (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im)))))) (cbrt (- (* re re) (* im im))))) 1553931505.510 * * * * [progress]: [ 62 / 121 ] simplifiying candidate # 1553931505.510 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931505.511 * * [simplify]: iters left: 6 (8 enodes) 1553931505.514 * * [simplify]: iters left: 5 (27 enodes) 1553931505.522 * * [simplify]: iters left: 4 (41 enodes) 1553931505.533 * * [simplify]: iters left: 3 (58 enodes) 1553931505.552 * * [simplify]: iters left: 2 (99 enodes) 1553931505.591 * * [simplify]: iters left: 1 (182 enodes) 1553931505.650 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931505.650 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931505.651 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931505.651 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931505.651 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931505.653 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931505.655 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931505.656 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931505.658 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931505.658 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))))) 1553931505.658 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931505.658 * * [simplify]: iters left: 6 (8 enodes) 1553931505.660 * * [simplify]: iters left: 5 (27 enodes) 1553931505.664 * * [simplify]: iters left: 4 (41 enodes) 1553931505.669 * * [simplify]: iters left: 3 (58 enodes) 1553931505.684 * * [simplify]: iters left: 2 (99 enodes) 1553931505.711 * * [simplify]: iters left: 1 (182 enodes) 1553931505.752 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931505.752 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931505.752 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931505.752 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931505.753 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931505.755 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931505.758 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931505.761 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931505.765 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931505.765 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) (sqrt (- (* re re) (* im im))))) 1553931505.765 * * * * [progress]: [ 63 / 121 ] simplifiying candidate # 1553931505.765 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931505.766 * * [simplify]: iters left: 6 (8 enodes) 1553931505.769 * * [simplify]: iters left: 5 (27 enodes) 1553931505.775 * * [simplify]: iters left: 4 (41 enodes) 1553931505.780 * * [simplify]: iters left: 3 (58 enodes) 1553931505.791 * * [simplify]: iters left: 2 (99 enodes) 1553931505.815 * * [simplify]: iters left: 1 (182 enodes) 1553931505.849 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931505.849 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931505.849 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931505.849 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931505.850 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931505.851 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931505.852 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931505.855 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931505.858 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931505.859 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))))) 1553931505.859 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931505.859 * * [simplify]: iters left: 6 (8 enodes) 1553931505.864 * * [simplify]: iters left: 5 (27 enodes) 1553931505.872 * * [simplify]: iters left: 4 (41 enodes) 1553931505.885 * * [simplify]: iters left: 3 (58 enodes) 1553931505.902 * * [simplify]: iters left: 2 (99 enodes) 1553931505.936 * * [simplify]: iters left: 1 (182 enodes) 1553931505.964 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931505.964 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931505.964 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931505.964 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931505.965 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931505.966 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931505.968 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931505.970 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931505.972 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931505.972 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) (sqrt (- (* re re) (* im im))))) 1553931505.972 * * * * [progress]: [ 64 / 121 ] simplifiying candidate # 1553931505.972 * [simplify]: Simplifying (* (sqrt 1) (sqrt 1)) 1553931505.972 * * [simplify]: iters left: 3 (3 enodes) 1553931505.975 * * [simplify]: iters left: 2 (9 enodes) 1553931505.978 * * [simplify]: iters left: 1 (11 enodes) 1553931505.980 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931505.981 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931505.981 * [simplify]: Simplified to 1 1553931505.981 * [simplify]: Simplified (2 1) to (λ (re im) (* 1 (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im)))))) 1553931505.981 * [simplify]: Simplifying (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im)))) 1553931505.981 * * [simplify]: iters left: 6 (7 enodes) 1553931505.984 * * [simplify]: iters left: 5 (24 enodes) 1553931505.991 * * [simplify]: iters left: 4 (37 enodes) 1553931506.002 * * [simplify]: iters left: 3 (47 enodes) 1553931506.016 * * [simplify]: iters left: 2 (81 enodes) 1553931506.034 * * [simplify]: iters left: 1 (148 enodes) 1553931506.054 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931506.055 * * [simplify]: Extracting #1: cost 20 inf + 0 1553931506.055 * * [simplify]: Extracting #2: cost 50 inf + 0 1553931506.055 * * [simplify]: Extracting #3: cost 44 inf + 290 1553931506.056 * * [simplify]: Extracting #4: cost 16 inf + 3421 1553931506.057 * * [simplify]: Extracting #5: cost 2 inf + 4689 1553931506.059 * * [simplify]: Extracting #6: cost 0 inf + 5013 1553931506.060 * [simplify]: Simplified to (- (* re re) (* im im)) 1553931506.060 * [simplify]: Simplified (2 2) to (λ (re im) (* 1 (- (* re re) (* im im)))) 1553931506.060 * * * * [progress]: [ 65 / 121 ] simplifiying candidate # 1553931506.060 * [simplify]: Simplifying (* (sqrt (+ re im)) (sqrt (+ re im))) 1553931506.060 * * [simplify]: iters left: 5 (5 enodes) 1553931506.063 * * [simplify]: iters left: 4 (14 enodes) 1553931506.064 * * [simplify]: iters left: 3 (15 enodes) 1553931506.066 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931506.066 * * [simplify]: Extracting #1: cost 5 inf + 0 1553931506.066 * * [simplify]: Extracting #2: cost 4 inf + 2 1553931506.066 * * [simplify]: Extracting #3: cost 3 inf + 44 1553931506.066 * * [simplify]: Extracting #4: cost 0 inf + 250 1553931506.066 * [simplify]: Simplified to (+ im re) 1553931506.066 * [simplify]: Simplified (2 1) to (λ (re im) (* (+ im re) (* (sqrt (- re im)) (sqrt (- re im))))) 1553931506.067 * [simplify]: Simplifying (* (sqrt (- re im)) (sqrt (- re im))) 1553931506.067 * * [simplify]: iters left: 5 (5 enodes) 1553931506.068 * * [simplify]: iters left: 4 (15 enodes) 1553931506.070 * * [simplify]: iters left: 3 (19 enodes) 1553931506.075 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931506.075 * * [simplify]: Extracting #1: cost 6 inf + 0 1553931506.075 * * [simplify]: Extracting #2: cost 5 inf + 43 1553931506.075 * * [simplify]: Extracting #3: cost 2 inf + 168 1553931506.076 * * [simplify]: Extracting #4: cost 0 inf + 332 1553931506.076 * [simplify]: Simplified to (- re im) 1553931506.076 * [simplify]: Simplified (2 2) to (λ (re im) (* (+ im re) (- re im))) 1553931506.076 * * * * [progress]: [ 66 / 121 ] simplifiying candidate # 1553931506.076 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931506.076 * * [simplify]: iters left: 6 (8 enodes) 1553931506.080 * * [simplify]: iters left: 5 (27 enodes) 1553931506.087 * * [simplify]: iters left: 4 (41 enodes) 1553931506.097 * * [simplify]: iters left: 3 (58 enodes) 1553931506.116 * * [simplify]: iters left: 2 (99 enodes) 1553931506.151 * * [simplify]: iters left: 1 (182 enodes) 1553931506.211 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931506.211 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931506.211 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931506.212 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931506.212 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931506.214 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931506.217 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931506.221 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931506.224 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931506.224 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))))) 1553931506.225 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931506.225 * * [simplify]: iters left: 6 (8 enodes) 1553931506.229 * * [simplify]: iters left: 5 (27 enodes) 1553931506.237 * * [simplify]: iters left: 4 (41 enodes) 1553931506.244 * * [simplify]: iters left: 3 (58 enodes) 1553931506.253 * * [simplify]: iters left: 2 (99 enodes) 1553931506.270 * * [simplify]: iters left: 1 (182 enodes) 1553931506.308 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931506.308 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931506.308 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931506.308 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931506.308 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931506.309 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931506.311 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931506.313 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931506.314 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931506.316 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) (sqrt (- (* re re) (* im im))))) 1553931506.316 * * * * [progress]: [ 67 / 121 ] simplifiying candidate # 1553931506.316 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931506.317 * * [simplify]: iters left: 6 (8 enodes) 1553931506.318 * * [simplify]: iters left: 5 (27 enodes) 1553931506.322 * * [simplify]: iters left: 4 (41 enodes) 1553931506.328 * * [simplify]: iters left: 3 (58 enodes) 1553931506.336 * * [simplify]: iters left: 2 (99 enodes) 1553931506.354 * * [simplify]: iters left: 1 (182 enodes) 1553931506.383 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931506.383 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931506.383 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931506.383 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931506.383 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931506.384 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931506.386 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931506.387 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931506.390 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931506.390 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))))) 1553931506.390 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931506.390 * * [simplify]: iters left: 6 (8 enodes) 1553931506.394 * * [simplify]: iters left: 5 (27 enodes) 1553931506.402 * * [simplify]: iters left: 4 (41 enodes) 1553931506.413 * * [simplify]: iters left: 3 (58 enodes) 1553931506.431 * * [simplify]: iters left: 2 (99 enodes) 1553931506.466 * * [simplify]: iters left: 1 (182 enodes) 1553931506.509 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931506.509 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931506.509 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931506.509 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931506.509 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931506.510 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931506.512 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931506.514 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931506.515 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931506.515 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) (sqrt (- (* re re) (* im im))))) 1553931506.516 * * * * [progress]: [ 68 / 121 ] simplifiying candidate # 1553931506.516 * [simplify]: Simplifying (* 1 1) 1553931506.516 * * [simplify]: iters left: 2 (2 enodes) 1553931506.517 * * [simplify]: iters left: 1 (6 enodes) 1553931506.518 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931506.518 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931506.518 * [simplify]: Simplified to 1 1553931506.518 * [simplify]: Simplified (2 1) to (λ (re im) (* 1 (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im)))))) 1553931506.518 * [simplify]: Simplifying (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im)))) 1553931506.518 * * [simplify]: iters left: 6 (7 enodes) 1553931506.520 * * [simplify]: iters left: 5 (24 enodes) 1553931506.523 * * [simplify]: iters left: 4 (37 enodes) 1553931506.528 * * [simplify]: iters left: 3 (47 enodes) 1553931506.537 * * [simplify]: iters left: 2 (81 enodes) 1553931506.550 * * [simplify]: iters left: 1 (148 enodes) 1553931506.589 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931506.589 * * [simplify]: Extracting #1: cost 20 inf + 0 1553931506.589 * * [simplify]: Extracting #2: cost 50 inf + 0 1553931506.590 * * [simplify]: Extracting #3: cost 44 inf + 290 1553931506.591 * * [simplify]: Extracting #4: cost 16 inf + 3421 1553931506.594 * * [simplify]: Extracting #5: cost 2 inf + 4689 1553931506.597 * * [simplify]: Extracting #6: cost 0 inf + 5013 1553931506.600 * [simplify]: Simplified to (- (* re re) (* im im)) 1553931506.600 * [simplify]: Simplified (2 2) to (λ (re im) (* 1 (- (* re re) (* im im)))) 1553931506.600 * * * * [progress]: [ 69 / 121 ] simplifiying candidate # 1553931506.601 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931506.601 * * [simplify]: iters left: 6 (8 enodes) 1553931506.604 * * [simplify]: iters left: 5 (27 enodes) 1553931506.612 * * [simplify]: iters left: 4 (41 enodes) 1553931506.623 * * [simplify]: iters left: 3 (58 enodes) 1553931506.641 * * [simplify]: iters left: 2 (99 enodes) 1553931506.678 * * [simplify]: iters left: 1 (182 enodes) 1553931506.723 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931506.723 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931506.723 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931506.724 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931506.724 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931506.725 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931506.726 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931506.728 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931506.730 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931506.730 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))))) 1553931506.730 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931506.730 * * [simplify]: iters left: 6 (8 enodes) 1553931506.732 * * [simplify]: iters left: 5 (27 enodes) 1553931506.736 * * [simplify]: iters left: 4 (41 enodes) 1553931506.741 * * [simplify]: iters left: 3 (58 enodes) 1553931506.761 * * [simplify]: iters left: 2 (99 enodes) 1553931506.794 * * [simplify]: iters left: 1 (182 enodes) 1553931506.826 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931506.826 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931506.826 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931506.826 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931506.826 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931506.827 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931506.829 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931506.830 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931506.832 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931506.832 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) (sqrt (- (* re re) (* im im))))) 1553931506.832 * * * * [progress]: [ 70 / 121 ] simplifiying candidate # 1553931506.832 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931506.832 * * [simplify]: iters left: 6 (8 enodes) 1553931506.836 * * [simplify]: iters left: 5 (27 enodes) 1553931506.845 * * [simplify]: iters left: 4 (41 enodes) 1553931506.857 * * [simplify]: iters left: 3 (58 enodes) 1553931506.874 * * [simplify]: iters left: 2 (99 enodes) 1553931506.899 * * [simplify]: iters left: 1 (182 enodes) 1553931506.935 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931506.935 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931506.935 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931506.936 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931506.936 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931506.937 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931506.939 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931506.940 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931506.942 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931506.942 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))))) 1553931506.942 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931506.943 * * [simplify]: iters left: 6 (8 enodes) 1553931506.944 * * [simplify]: iters left: 5 (27 enodes) 1553931506.948 * * [simplify]: iters left: 4 (41 enodes) 1553931506.954 * * [simplify]: iters left: 3 (58 enodes) 1553931506.968 * * [simplify]: iters left: 2 (99 enodes) 1553931507.003 * * [simplify]: iters left: 1 (182 enodes) 1553931507.064 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931507.064 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931507.064 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931507.065 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931507.065 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931507.067 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931507.070 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931507.074 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931507.077 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931507.078 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) (sqrt (- (* re re) (* im im))))) 1553931507.078 * * * * [progress]: [ 71 / 121 ] simplifiying candidate # 1553931507.078 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931507.078 * * [simplify]: iters left: 6 (8 enodes) 1553931507.082 * * [simplify]: iters left: 5 (27 enodes) 1553931507.090 * * [simplify]: iters left: 4 (41 enodes) 1553931507.102 * * [simplify]: iters left: 3 (58 enodes) 1553931507.120 * * [simplify]: iters left: 2 (99 enodes) 1553931507.155 * * [simplify]: iters left: 1 (182 enodes) 1553931507.216 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931507.216 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931507.216 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931507.217 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931507.217 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931507.219 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931507.221 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931507.223 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931507.225 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931507.225 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))))) 1553931507.225 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931507.225 * * [simplify]: iters left: 6 (8 enodes) 1553931507.227 * * [simplify]: iters left: 5 (27 enodes) 1553931507.230 * * [simplify]: iters left: 4 (41 enodes) 1553931507.236 * * [simplify]: iters left: 3 (58 enodes) 1553931507.244 * * [simplify]: iters left: 2 (99 enodes) 1553931507.275 * * [simplify]: iters left: 1 (182 enodes) 1553931507.333 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931507.333 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931507.333 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931507.333 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931507.334 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931507.335 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931507.339 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931507.342 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931507.345 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931507.345 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) (sqrt (- (* re re) (* im im))))) 1553931507.346 * * * * [progress]: [ 72 / 121 ] simplifiying candidate # 1553931507.346 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931507.346 * * [simplify]: iters left: 6 (8 enodes) 1553931507.350 * * [simplify]: iters left: 5 (27 enodes) 1553931507.358 * * [simplify]: iters left: 4 (41 enodes) 1553931507.369 * * [simplify]: iters left: 3 (58 enodes) 1553931507.386 * * [simplify]: iters left: 2 (99 enodes) 1553931507.425 * * [simplify]: iters left: 1 (182 enodes) 1553931507.468 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931507.469 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931507.469 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931507.469 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931507.469 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931507.470 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931507.472 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931507.473 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931507.475 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931507.475 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))))) 1553931507.475 * [simplify]: Simplifying (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) 1553931507.476 * * [simplify]: iters left: 6 (8 enodes) 1553931507.477 * * [simplify]: iters left: 5 (27 enodes) 1553931507.482 * * [simplify]: iters left: 4 (41 enodes) 1553931507.494 * * [simplify]: iters left: 3 (58 enodes) 1553931507.513 * * [simplify]: iters left: 2 (99 enodes) 1553931507.549 * * [simplify]: iters left: 1 (182 enodes) 1553931507.595 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931507.595 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931507.595 * * [simplify]: Extracting #2: cost 25 inf + 0 1553931507.595 * * [simplify]: Extracting #3: cost 59 inf + 0 1553931507.596 * * [simplify]: Extracting #4: cost 51 inf + 412 1553931507.597 * * [simplify]: Extracting #5: cost 18 inf + 3835 1553931507.598 * * [simplify]: Extracting #6: cost 1 inf + 6149 1553931507.600 * * [simplify]: Extracting #7: cost 0 inf + 6351 1553931507.602 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931507.602 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (sqrt (- (* re re) (* im im))))) (sqrt (- (* re re) (* im im))))) 1553931507.602 * * * * [progress]: [ 73 / 121 ] simplifiying candidate # 1553931507.602 * [simplify]: Simplifying (- (* re re) (* im im)) 1553931507.602 * * [simplify]: iters left: 4 (5 enodes) 1553931507.603 * * [simplify]: iters left: 3 (20 enodes) 1553931507.606 * * [simplify]: iters left: 2 (33 enodes) 1553931507.616 * * [simplify]: iters left: 1 (50 enodes) 1553931507.632 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931507.633 * * [simplify]: Extracting #1: cost 11 inf + 0 1553931507.633 * * [simplify]: Extracting #2: cost 29 inf + 0 1553931507.633 * * [simplify]: Extracting #3: cost 19 inf + 455 1553931507.634 * * [simplify]: Extracting #4: cost 0 inf + 2130 1553931507.635 * * [simplify]: Extracting #5: cost 0 inf + 1970 1553931507.636 * [simplify]: Simplified to (* (+ re im) (- re im)) 1553931507.636 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (+ re im) (- re im)) (* 2 1/2))) 1553931507.637 * [simplify]: Simplifying (* 2 1/2) 1553931507.637 * * [simplify]: iters left: 2 (3 enodes) 1553931507.641 * * [simplify]: iters left: 1 (11 enodes) 1553931507.644 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931507.644 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931507.644 * [simplify]: Simplified to 1 1553931507.644 * [simplify]: Simplified (2 2) to (λ (re im) (pow (- (* re re) (* im im)) 1)) 1553931507.644 * * * * [progress]: [ 74 / 121 ] simplifiying candidate # 1553931507.645 * [simplify]: Simplifying (sqrt (- (* re re) (* im im))) 1553931507.645 * * [simplify]: iters left: 5 (6 enodes) 1553931507.648 * * [simplify]: iters left: 4 (23 enodes) 1553931507.655 * * [simplify]: iters left: 3 (36 enodes) 1553931507.665 * * [simplify]: iters left: 2 (53 enodes) 1553931507.682 * * [simplify]: iters left: 1 (94 enodes) 1553931507.699 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931507.699 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931507.700 * * [simplify]: Extracting #2: cost 32 inf + 0 1553931507.700 * * [simplify]: Extracting #3: cost 48 inf + 0 1553931507.700 * * [simplify]: Extracting #4: cost 42 inf + 247 1553931507.700 * * [simplify]: Extracting #5: cost 18 inf + 3412 1553931507.702 * * [simplify]: Extracting #6: cost 0 inf + 5728 1553931507.703 * * [simplify]: Extracting #7: cost 0 inf + 5448 1553931507.704 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931507.704 * [simplify]: Simplified (2 1) to (λ (re im) (pow (sqrt (- (* re re) (* im im))) (* 2 1))) 1553931507.704 * [simplify]: Simplifying (* 2 1) 1553931507.704 * * [simplify]: iters left: 2 (3 enodes) 1553931507.706 * * [simplify]: iters left: 1 (9 enodes) 1553931507.707 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931507.707 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931507.707 * [simplify]: Simplified to 2 1553931507.707 * [simplify]: Simplified (2 2) to (λ (re im) (pow (sqrt (- (* re re) (* im im))) 2)) 1553931507.707 * * * * [progress]: [ 75 / 121 ] simplifiying candidate # 1553931507.708 * [simplify]: Simplifying (- (* re re) (* im im)) 1553931507.708 * * [simplify]: iters left: 4 (5 enodes) 1553931507.709 * * [simplify]: iters left: 3 (20 enodes) 1553931507.712 * * [simplify]: iters left: 2 (33 enodes) 1553931507.718 * * [simplify]: iters left: 1 (50 enodes) 1553931507.728 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931507.728 * * [simplify]: Extracting #1: cost 11 inf + 0 1553931507.728 * * [simplify]: Extracting #2: cost 29 inf + 0 1553931507.728 * * [simplify]: Extracting #3: cost 19 inf + 455 1553931507.729 * * [simplify]: Extracting #4: cost 0 inf + 2130 1553931507.729 * * [simplify]: Extracting #5: cost 0 inf + 1970 1553931507.730 * [simplify]: Simplified to (* (+ re im) (- re im)) 1553931507.730 * [simplify]: Simplified (2 1) to (λ (re im) (pow (* (+ re im) (- re im)) (* 2 (/ 1 2)))) 1553931507.730 * [simplify]: Simplifying (* 2 (/ 1 2)) 1553931507.730 * * [simplify]: iters left: 4 (4 enodes) 1553931507.732 * * [simplify]: iters left: 3 (13 enodes) 1553931507.734 * * [simplify]: iters left: 2 (15 enodes) 1553931507.737 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931507.737 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931507.737 * [simplify]: Simplified to 1 1553931507.737 * [simplify]: Simplified (2 2) to (λ (re im) (pow (- (* re re) (* im im)) 1)) 1553931507.737 * * * * [progress]: [ 76 / 121 ] simplifiying candidate # 1553931507.737 * [simplify]: Simplifying (cbrt (sqrt (- (* re re) (* im im)))) 1553931507.737 * * [simplify]: iters left: 6 (7 enodes) 1553931507.738 * * [simplify]: iters left: 5 (26 enodes) 1553931507.742 * * [simplify]: iters left: 4 (39 enodes) 1553931507.748 * * [simplify]: iters left: 3 (56 enodes) 1553931507.756 * * [simplify]: iters left: 2 (97 enodes) 1553931507.773 * * [simplify]: iters left: 1 (180 enodes) 1553931507.803 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931507.803 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931507.803 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931507.803 * * [simplify]: Extracting #3: cost 25 inf + 0 1553931507.803 * * [simplify]: Extracting #4: cost 59 inf + 0 1553931507.804 * * [simplify]: Extracting #5: cost 53 inf + 290 1553931507.804 * * [simplify]: Extracting #6: cost 20 inf + 3911 1553931507.807 * * [simplify]: Extracting #7: cost 2 inf + 6147 1553931507.810 * * [simplify]: Extracting #8: cost 0 inf + 6391 1553931507.813 * [simplify]: Simplified to (cbrt (sqrt (- (* re re) (* im im)))) 1553931507.814 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (- (* re re) (* im im))) (* (cbrt (sqrt (- (* re re) (* im im)))) (cbrt (sqrt (- (* re re) (* im im)))))) (cbrt (sqrt (- (* re re) (* im im)))))) 1553931507.814 * * * * [progress]: [ 77 / 121 ] simplifiying candidate # 1553931507.814 * [simplify]: Simplifying (sqrt (cbrt (- (* re re) (* im im)))) 1553931507.814 * * [simplify]: iters left: 6 (7 enodes) 1553931507.817 * * [simplify]: iters left: 5 (26 enodes) 1553931507.825 * * [simplify]: iters left: 4 (39 enodes) 1553931507.836 * * [simplify]: iters left: 3 (56 enodes) 1553931507.853 * * [simplify]: iters left: 2 (97 enodes) 1553931507.872 * * [simplify]: iters left: 1 (180 enodes) 1553931507.901 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931507.901 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931507.901 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931507.902 * * [simplify]: Extracting #3: cost 25 inf + 0 1553931507.902 * * [simplify]: Extracting #4: cost 59 inf + 0 1553931507.902 * * [simplify]: Extracting #5: cost 53 inf + 290 1553931507.903 * * [simplify]: Extracting #6: cost 20 inf + 3951 1553931507.904 * * [simplify]: Extracting #7: cost 2 inf + 6227 1553931507.906 * * [simplify]: Extracting #8: cost 0 inf + 6471 1553931507.907 * [simplify]: Simplified to (sqrt (cbrt (- (* re re) (* im im)))) 1553931507.907 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (- (* re re) (* im im))) (sqrt (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im)))))) (sqrt (cbrt (- (* re re) (* im im)))))) 1553931507.908 * * * * [progress]: [ 78 / 121 ] simplifiying candidate # 1553931507.908 * [simplify]: Simplifying (sqrt (sqrt (- (* re re) (* im im)))) 1553931507.908 * * [simplify]: iters left: 6 (7 enodes) 1553931507.909 * * [simplify]: iters left: 5 (26 enodes) 1553931507.913 * * [simplify]: iters left: 4 (39 enodes) 1553931507.919 * * [simplify]: iters left: 3 (56 enodes) 1553931507.937 * * [simplify]: iters left: 2 (97 enodes) 1553931507.960 * * [simplify]: iters left: 1 (180 enodes) 1553931508.003 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931508.004 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931508.004 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931508.004 * * [simplify]: Extracting #3: cost 25 inf + 0 1553931508.004 * * [simplify]: Extracting #4: cost 59 inf + 0 1553931508.005 * * [simplify]: Extracting #5: cost 53 inf + 290 1553931508.006 * * [simplify]: Extracting #6: cost 20 inf + 3831 1553931508.009 * * [simplify]: Extracting #7: cost 2 inf + 6067 1553931508.012 * * [simplify]: Extracting #8: cost 0 inf + 6311 1553931508.016 * [simplify]: Simplified to (sqrt (sqrt (- (* re re) (* im im)))) 1553931508.016 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (- (* re re) (* im im))) (sqrt (sqrt (- (* re re) (* im im))))) (sqrt (sqrt (- (* re re) (* im im)))))) 1553931508.016 * * * * [progress]: [ 79 / 121 ] simplifiying candidate # 1553931508.016 * [simplify]: Simplifying (sqrt (- (* re re) (* im im))) 1553931508.016 * * [simplify]: iters left: 5 (6 enodes) 1553931508.019 * * [simplify]: iters left: 4 (23 enodes) 1553931508.026 * * [simplify]: iters left: 3 (36 enodes) 1553931508.037 * * [simplify]: iters left: 2 (53 enodes) 1553931508.053 * * [simplify]: iters left: 1 (94 enodes) 1553931508.088 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931508.089 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931508.089 * * [simplify]: Extracting #2: cost 32 inf + 0 1553931508.089 * * [simplify]: Extracting #3: cost 48 inf + 0 1553931508.089 * * [simplify]: Extracting #4: cost 42 inf + 247 1553931508.090 * * [simplify]: Extracting #5: cost 18 inf + 3412 1553931508.093 * * [simplify]: Extracting #6: cost 0 inf + 5728 1553931508.095 * * [simplify]: Extracting #7: cost 0 inf + 5448 1553931508.098 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931508.098 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (- (* re re) (* im im))) (sqrt 1)) (sqrt (- (* re re) (* im im))))) 1553931508.098 * * * * [progress]: [ 80 / 121 ] simplifiying candidate # 1553931508.098 * [simplify]: Simplifying (sqrt (- re im)) 1553931508.098 * * [simplify]: iters left: 3 (4 enodes) 1553931508.100 * * [simplify]: iters left: 2 (14 enodes) 1553931508.104 * * [simplify]: iters left: 1 (17 enodes) 1553931508.108 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931508.108 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931508.109 * * [simplify]: Extracting #2: cost 7 inf + 0 1553931508.109 * * [simplify]: Extracting #3: cost 5 inf + 43 1553931508.109 * * [simplify]: Extracting #4: cost 0 inf + 332 1553931508.109 * [simplify]: Simplified to (sqrt (- re im)) 1553931508.109 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (- (* re re) (* im im))) (sqrt (+ re im))) (sqrt (- re im)))) 1553931508.109 * * * * [progress]: [ 81 / 121 ] simplifiying candidate # 1553931508.110 * [simplify]: Simplifying (sqrt (sqrt (- (* re re) (* im im)))) 1553931508.110 * * [simplify]: iters left: 6 (7 enodes) 1553931508.113 * * [simplify]: iters left: 5 (26 enodes) 1553931508.121 * * [simplify]: iters left: 4 (39 enodes) 1553931508.133 * * [simplify]: iters left: 3 (56 enodes) 1553931508.150 * * [simplify]: iters left: 2 (97 enodes) 1553931508.181 * * [simplify]: iters left: 1 (180 enodes) 1553931508.221 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931508.221 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931508.221 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931508.221 * * [simplify]: Extracting #3: cost 25 inf + 0 1553931508.221 * * [simplify]: Extracting #4: cost 59 inf + 0 1553931508.222 * * [simplify]: Extracting #5: cost 53 inf + 290 1553931508.223 * * [simplify]: Extracting #6: cost 20 inf + 3831 1553931508.226 * * [simplify]: Extracting #7: cost 2 inf + 6067 1553931508.227 * * [simplify]: Extracting #8: cost 0 inf + 6311 1553931508.229 * [simplify]: Simplified to (sqrt (sqrt (- (* re re) (* im im)))) 1553931508.229 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (- (* re re) (* im im))) (sqrt (sqrt (- (* re re) (* im im))))) (sqrt (sqrt (- (* re re) (* im im)))))) 1553931508.229 * * * * [progress]: [ 82 / 121 ] simplifiying candidate # 1553931508.229 * [simplify]: Simplifying (sqrt (- (* re re) (* im im))) 1553931508.229 * * [simplify]: iters left: 5 (6 enodes) 1553931508.231 * * [simplify]: iters left: 4 (23 enodes) 1553931508.234 * * [simplify]: iters left: 3 (36 enodes) 1553931508.239 * * [simplify]: iters left: 2 (53 enodes) 1553931508.248 * * [simplify]: iters left: 1 (94 enodes) 1553931508.292 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931508.292 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931508.292 * * [simplify]: Extracting #2: cost 32 inf + 0 1553931508.292 * * [simplify]: Extracting #3: cost 48 inf + 0 1553931508.293 * * [simplify]: Extracting #4: cost 42 inf + 247 1553931508.293 * * [simplify]: Extracting #5: cost 18 inf + 3412 1553931508.295 * * [simplify]: Extracting #6: cost 0 inf + 5728 1553931508.296 * * [simplify]: Extracting #7: cost 0 inf + 5448 1553931508.297 * [simplify]: Simplified to (sqrt (- (* re re) (* im im))) 1553931508.297 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (sqrt (- (* re re) (* im im))) 1) (sqrt (- (* re re) (* im im))))) 1553931508.297 * * * * [progress]: [ 83 / 121 ] simplifiying candidate # 1553931508.297 * [simplify]: Simplifying (* (cbrt (sqrt (- (* re re) (* im im)))) (cbrt (sqrt (- (* re re) (* im im))))) 1553931508.297 * * [simplify]: iters left: 6 (8 enodes) 1553931508.299 * * [simplify]: iters left: 5 (29 enodes) 1553931508.303 * * [simplify]: iters left: 4 (42 enodes) 1553931508.309 * * [simplify]: iters left: 3 (59 enodes) 1553931508.319 * * [simplify]: iters left: 2 (100 enodes) 1553931508.347 * * [simplify]: iters left: 1 (183 enodes) 1553931508.408 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931508.408 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931508.408 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931508.408 * * [simplify]: Extracting #3: cost 7 inf + 0 1553931508.408 * * [simplify]: Extracting #4: cost 27 inf + 0 1553931508.408 * * [simplify]: Extracting #5: cost 62 inf + 0 1553931508.409 * * [simplify]: Extracting #6: cost 54 inf + 413 1553931508.411 * * [simplify]: Extracting #7: cost 16 inf + 5005 1553931508.414 * * [simplify]: Extracting #8: cost 0 inf + 6997 1553931508.418 * [simplify]: Simplified to (* (cbrt (sqrt (- (* re re) (* im im)))) (cbrt (sqrt (- (* re re) (* im im))))) 1553931508.418 * [simplify]: Simplified (2 1) to (λ (re im) (* (* (cbrt (sqrt (- (* re re) (* im im)))) (cbrt (sqrt (- (* re re) (* im im))))) (* (cbrt (sqrt (- (* re re) (* im im)))) (sqrt (- (* re re) (* im im)))))) 1553931508.418 * * * * [progress]: [ 84 / 121 ] simplifiying candidate # 1553931508.419 * [simplify]: Simplifying (sqrt (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im))))) 1553931508.419 * * [simplify]: iters left: 6 (8 enodes) 1553931508.423 * * [simplify]: iters left: 5 (30 enodes) 1553931508.432 * * [simplify]: iters left: 4 (43 enodes) 1553931508.444 * * [simplify]: iters left: 3 (60 enodes) 1553931508.462 * * [simplify]: iters left: 2 (101 enodes) 1553931508.485 * * [simplify]: iters left: 1 (184 enodes) 1553931508.528 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931508.528 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931508.528 * * [simplify]: Extracting #2: cost 7 inf + 0 1553931508.528 * * [simplify]: Extracting #3: cost 28 inf + 0 1553931508.528 * * [simplify]: Extracting #4: cost 62 inf + 0 1553931508.529 * * [simplify]: Extracting #5: cost 56 inf + 329 1553931508.531 * * [simplify]: Extracting #6: cost 12 inf + 5373 1553931508.535 * * [simplify]: Extracting #7: cost 0 inf + 7157 1553931508.538 * [simplify]: Simplified to (fabs (cbrt (- (* re re) (* im im)))) 1553931508.539 * [simplify]: Simplified (2 1) to (λ (re im) (* (fabs (cbrt (- (* re re) (* im im)))) (* (sqrt (cbrt (- (* re re) (* im im)))) (sqrt (- (* re re) (* im im)))))) 1553931508.539 * * * * [progress]: [ 85 / 121 ] simplifiying candidate # 1553931508.539 * [simplify]: Simplifying (sqrt (sqrt (- (* re re) (* im im)))) 1553931508.539 * * [simplify]: iters left: 6 (7 enodes) 1553931508.543 * * [simplify]: iters left: 5 (26 enodes) 1553931508.551 * * [simplify]: iters left: 4 (39 enodes) 1553931508.559 * * [simplify]: iters left: 3 (56 enodes) 1553931508.568 * * [simplify]: iters left: 2 (97 enodes) 1553931508.590 * * [simplify]: iters left: 1 (180 enodes) 1553931508.650 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931508.650 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931508.650 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931508.650 * * [simplify]: Extracting #3: cost 25 inf + 0 1553931508.650 * * [simplify]: Extracting #4: cost 59 inf + 0 1553931508.651 * * [simplify]: Extracting #5: cost 53 inf + 290 1553931508.652 * * [simplify]: Extracting #6: cost 20 inf + 3831 1553931508.655 * * [simplify]: Extracting #7: cost 2 inf + 6067 1553931508.659 * * [simplify]: Extracting #8: cost 0 inf + 6311 1553931508.662 * [simplify]: Simplified to (sqrt (sqrt (- (* re re) (* im im)))) 1553931508.662 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (sqrt (- (* re re) (* im im)))) (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (- (* re re) (* im im)))))) 1553931508.663 * * * * [progress]: [ 86 / 121 ] simplifiying candidate # 1553931508.663 * [simplify]: Simplifying (sqrt 1) 1553931508.663 * * [simplify]: iters left: 1 (2 enodes) 1553931508.666 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931508.666 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931508.667 * [simplify]: Simplified to 1 1553931508.667 * [simplify]: Simplified (2 1) to (λ (re im) (* 1 (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im)))))) 1553931508.667 * * * * [progress]: [ 87 / 121 ] simplifiying candidate # 1553931508.667 * [simplify]: Simplifying (sqrt (+ re im)) 1553931508.667 * * [simplify]: iters left: 3 (4 enodes) 1553931508.669 * * [simplify]: iters left: 2 (13 enodes) 1553931508.672 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931508.672 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931508.672 * * [simplify]: Extracting #2: cost 6 inf + 0 1553931508.672 * * [simplify]: Extracting #3: cost 4 inf + 2 1553931508.673 * * [simplify]: Extracting #4: cost 0 inf + 250 1553931508.673 * [simplify]: Simplified to (sqrt (+ im re)) 1553931508.673 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (+ im re)) (* (sqrt (- re im)) (sqrt (- (* re re) (* im im)))))) 1553931508.673 * * * * [progress]: [ 88 / 121 ] simplifiying candidate # 1553931508.673 * [simplify]: Simplifying (sqrt (sqrt (- (* re re) (* im im)))) 1553931508.673 * * [simplify]: iters left: 6 (7 enodes) 1553931508.676 * * [simplify]: iters left: 5 (26 enodes) 1553931508.684 * * [simplify]: iters left: 4 (39 enodes) 1553931508.690 * * [simplify]: iters left: 3 (56 enodes) 1553931508.698 * * [simplify]: iters left: 2 (97 enodes) 1553931508.722 * * [simplify]: iters left: 1 (180 enodes) 1553931508.781 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931508.781 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931508.781 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931508.781 * * [simplify]: Extracting #3: cost 25 inf + 0 1553931508.781 * * [simplify]: Extracting #4: cost 59 inf + 0 1553931508.782 * * [simplify]: Extracting #5: cost 53 inf + 290 1553931508.783 * * [simplify]: Extracting #6: cost 20 inf + 3831 1553931508.787 * * [simplify]: Extracting #7: cost 2 inf + 6067 1553931508.790 * * [simplify]: Extracting #8: cost 0 inf + 6311 1553931508.794 * [simplify]: Simplified to (sqrt (sqrt (- (* re re) (* im im)))) 1553931508.794 * [simplify]: Simplified (2 1) to (λ (re im) (* (sqrt (sqrt (- (* re re) (* im im)))) (* (sqrt (sqrt (- (* re re) (* im im)))) (sqrt (- (* re re) (* im im)))))) 1553931508.794 * * * * [progress]: [ 89 / 121 ] simplifiying candidate # 1553931508.794 * * * * [progress]: [ 90 / 121 ] simplifiying candidate # 1553931508.794 * [simplify]: Simplifying (sqrt (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im))))) 1553931508.795 * * [simplify]: iters left: 6 (10 enodes) 1553931508.800 * * [simplify]: iters left: 5 (51 enodes) 1553931508.812 * * [simplify]: iters left: 4 (95 enodes) 1553931508.833 * * [simplify]: iters left: 3 (136 enodes) 1553931508.864 * * [simplify]: iters left: 2 (192 enodes) 1553931508.925 * * [simplify]: iters left: 1 (286 enodes) 1553931509.011 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.011 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931509.011 * * [simplify]: Extracting #2: cost 10 inf + 0 1553931509.011 * * [simplify]: Extracting #3: cost 43 inf + 0 1553931509.011 * * [simplify]: Extracting #4: cost 85 inf + 573 1553931509.012 * * [simplify]: Extracting #5: cost 54 inf + 5416 1553931509.014 * * [simplify]: Extracting #6: cost 31 inf + 10905 1553931509.016 * * [simplify]: Extracting #7: cost 5 inf + 20975 1553931509.018 * * [simplify]: Extracting #8: cost 0 inf + 22788 1553931509.022 * [simplify]: Simplified to (sqrt (+ (* (* im im) (+ (* re re) (* im im))) (* (* re re) (* re re)))) 1553931509.022 * [simplify]: Simplified (2 2) to (λ (re im) (/ (* (sqrt (- (* re re) (* im im))) (sqrt (- (pow (* re re) 3) (pow (* im im) 3)))) (sqrt (+ (* (* im im) (+ (* re re) (* im im))) (* (* re re) (* re re)))))) 1553931509.022 * * * * [progress]: [ 91 / 121 ] simplifiying candidate # 1553931509.023 * [simplify]: Simplifying (sqrt (+ (* re re) (* im im))) 1553931509.023 * * [simplify]: iters left: 5 (6 enodes) 1553931509.024 * * [simplify]: iters left: 4 (19 enodes) 1553931509.026 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.027 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931509.027 * * [simplify]: Extracting #2: cost 6 inf + 0 1553931509.027 * * [simplify]: Extracting #3: cost 10 inf + 0 1553931509.027 * * [simplify]: Extracting #4: cost 6 inf + 84 1553931509.027 * * [simplify]: Extracting #5: cost 0 inf + 734 1553931509.027 * [simplify]: Simplified to (sqrt (+ (* re re) (* im im))) 1553931509.027 * [simplify]: Simplified (2 2) to (λ (re im) (/ (* (sqrt (- (* re re) (* im im))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (sqrt (+ (* re re) (* im im))))) 1553931509.027 * * * * [progress]: [ 92 / 121 ] simplifiying candidate # 1553931509.027 * [simplify]: Simplifying (* (sqrt (- (pow (* re re) 3) (pow (* im im) 3))) (sqrt (- (* re re) (* im im)))) 1553931509.027 * * [simplify]: iters left: 6 (12 enodes) 1553931509.031 * * [simplify]: iters left: 5 (61 enodes) 1553931509.044 * * [simplify]: iters left: 4 (155 enodes) 1553931509.086 * * [simplify]: iters left: 3 (347 enodes) 1553931509.228 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.228 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931509.228 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931509.228 * * [simplify]: Extracting #3: cost 66 inf + 0 1553931509.229 * * [simplify]: Extracting #4: cost 143 inf + 0 1553931509.231 * * [simplify]: Extracting #5: cost 208 inf + 1515 1553931509.234 * * [simplify]: Extracting #6: cost 159 inf + 11044 1553931509.243 * * [simplify]: Extracting #7: cost 40 inf + 50900 1553931509.257 * * [simplify]: Extracting #8: cost 0 inf + 65569 1553931509.271 * * [simplify]: Extracting #9: cost 0 inf + 65529 1553931509.283 * [simplify]: Simplified to (* (sqrt (* (- (* re (* re re)) (* im (* im im))) (+ (* im (* im im)) (* re (* re re))))) (sqrt (* (- re im) (+ re im)))) 1553931509.283 * [simplify]: Simplified (2 1) to (λ (re im) (/ (* (sqrt (* (- (* re (* re re)) (* im (* im im))) (+ (* im (* im im)) (* re (* re re))))) (sqrt (* (- re im) (+ re im)))) (sqrt (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im))))))) 1553931509.283 * * * * [progress]: [ 93 / 121 ] simplifiying candidate # 1553931509.283 * [simplify]: Simplifying (* (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (- (* re re) (* im im)))) 1553931509.283 * * [simplify]: iters left: 6 (11 enodes) 1553931509.286 * * [simplify]: iters left: 5 (51 enodes) 1553931509.294 * * [simplify]: iters left: 4 (94 enodes) 1553931509.310 * * [simplify]: iters left: 3 (199 enodes) 1553931509.365 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.366 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931509.366 * * [simplify]: Extracting #2: cost 8 inf + 0 1553931509.366 * * [simplify]: Extracting #3: cost 53 inf + 0 1553931509.366 * * [simplify]: Extracting #4: cost 142 inf + 0 1553931509.367 * * [simplify]: Extracting #5: cost 136 inf + 1749 1553931509.369 * * [simplify]: Extracting #6: cost 61 inf + 13170 1553931509.374 * * [simplify]: Extracting #7: cost 2 inf + 24456 1553931509.381 * * [simplify]: Extracting #8: cost 0 inf + 24800 1553931509.387 * [simplify]: Simplified to (* (sqrt (- (* re re) (* im im))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) 1553931509.387 * [simplify]: Simplified (2 1) to (λ (re im) (/ (* (sqrt (- (* re re) (* im im))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (sqrt (+ (* re re) (* im im))))) 1553931509.387 * * * * [progress]: [ 94 / 121 ] simplifiying candidate #real (real->posit16 (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im)))))))> 1553931509.387 * * * * [progress]: [ 95 / 121 ] simplifiying candidate # 1553931509.387 * * * * [progress]: [ 96 / 121 ] simplifiying candidate # 1553931509.387 * [simplify]: Simplifying (/ (exp (* re re)) (exp (* im im))) 1553931509.387 * * [simplify]: iters left: 5 (7 enodes) 1553931509.389 * * [simplify]: iters left: 4 (27 enodes) 1553931509.392 * * [simplify]: iters left: 3 (45 enodes) 1553931509.400 * * [simplify]: iters left: 2 (88 enodes) 1553931509.415 * * [simplify]: iters left: 1 (199 enodes) 1553931509.482 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.482 * * [simplify]: Extracting #1: cost 61 inf + 0 1553931509.483 * * [simplify]: Extracting #2: cost 168 inf + 0 1553931509.483 * * [simplify]: Extracting #3: cost 198 inf + 1218 1553931509.485 * * [simplify]: Extracting #4: cost 139 inf + 9149 1553931509.488 * * [simplify]: Extracting #5: cost 69 inf + 34185 1553931509.495 * * [simplify]: Extracting #6: cost 10 inf + 77610 1553931509.510 * * [simplify]: Extracting #7: cost 0 inf + 85017 1553931509.522 * [simplify]: Simplified to (exp (- (* re re) (* im im))) 1553931509.522 * [simplify]: Simplified (2 2 1 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (sqrt (log (exp (- (* re re) (* im im))))))) 1553931509.522 * * * * [progress]: [ 97 / 121 ] simplifiying candidate # 1553931509.522 * * * * [progress]: [ 98 / 121 ] simplifiying candidate # 1553931509.522 * * * * [progress]: [ 99 / 121 ] simplifiying candidate # 1553931509.522 * * * * [progress]: [ 100 / 121 ] simplifiying candidate # 1553931509.522 * * * * [progress]: [ 101 / 121 ] simplifiying candidate # 1553931509.522 * * * * [progress]: [ 102 / 121 ] simplifiying candidate # 1553931509.522 * * * * [progress]: [ 103 / 121 ] simplifiying candidate # 1553931509.522 * * * * [progress]: [ 104 / 121 ] simplifiying candidate # 1553931509.522 * * * * [progress]: [ 105 / 121 ] simplifiying candidate # 1553931509.522 * * * * [progress]: [ 106 / 121 ] simplifiying candidate # 1553931509.522 * * * * [progress]: [ 107 / 121 ] simplifiying candidate # 1553931509.523 * [simplify]: Simplifying (+ re im) 1553931509.523 * * [simplify]: iters left: 2 (3 enodes) 1553931509.523 * * [simplify]: iters left: 1 (10 enodes) 1553931509.524 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.524 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931509.524 * * [simplify]: Extracting #2: cost 2 inf + 2 1553931509.525 * * [simplify]: Extracting #3: cost 0 inf + 86 1553931509.525 * [simplify]: Simplified to (+ im re) 1553931509.525 * [simplify]: Simplified (2 2 1 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (sqrt (* (+ im re) (- re im))))) 1553931509.525 * [simplify]: Simplifying (- re im) 1553931509.525 * * [simplify]: iters left: 2 (3 enodes) 1553931509.525 * * [simplify]: iters left: 1 (11 enodes) 1553931509.527 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.527 * * [simplify]: Extracting #1: cost 5 inf + 0 1553931509.527 * * [simplify]: Extracting #2: cost 3 inf + 43 1553931509.527 * * [simplify]: Extracting #3: cost 0 inf + 168 1553931509.527 * [simplify]: Simplified to (- re im) 1553931509.527 * [simplify]: Simplified (2 2 1 2) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (sqrt (* (+ re im) (- re im))))) 1553931509.527 * * * * [progress]: [ 108 / 121 ] simplifiying candidate # 1553931509.527 * * * * [progress]: [ 109 / 121 ] simplifiying candidate #real (real->posit16 (- (* re re) (* im im)))))))> 1553931509.527 * * * * [progress]: [ 110 / 121 ] simplifiying candidate # 1553931509.527 * [simplify]: Simplifying (* (sqrt -1) im) 1553931509.527 * * [simplify]: iters left: 3 (4 enodes) 1553931509.529 * * [simplify]: iters left: 2 (13 enodes) 1553931509.531 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.531 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931509.531 * * [simplify]: Extracting #2: cost 5 inf + 1 1553931509.531 * * [simplify]: Extracting #3: cost 4 inf + 2 1553931509.531 * * [simplify]: Extracting #4: cost 0 inf + 248 1553931509.531 * [simplify]: Simplified to (* im (sqrt -1)) 1553931509.531 * [simplify]: Simplified (2 2) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (* im (sqrt -1)))) 1553931509.531 * * * * [progress]: [ 111 / 121 ] simplifiying candidate # 1553931509.531 * [simplify]: Simplifying re 1553931509.531 * * [simplify]: iters left: 0 (1 enodes) 1553931509.532 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.532 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931509.532 * [simplify]: Simplified to re 1553931509.532 * [simplify]: Simplified (2 2) to (λ (re im) (* (sqrt (- (* re re) (* im im))) re)) 1553931509.532 * * * * [progress]: [ 112 / 121 ] simplifiying candidate # 1553931509.532 * [simplify]: Simplifying (* -1 re) 1553931509.532 * * [simplify]: iters left: 2 (3 enodes) 1553931509.533 * * [simplify]: iters left: 1 (11 enodes) 1553931509.534 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.535 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931509.535 * * [simplify]: Extracting #2: cost 0 inf + 84 1553931509.535 * [simplify]: Simplified to (- re) 1553931509.535 * [simplify]: Simplified (2 2) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (- re))) 1553931509.535 * * * * [progress]: [ 113 / 121 ] simplifiying candidate # 1553931509.535 * [simplify]: Simplifying (* (sqrt -1) im) 1553931509.535 * * [simplify]: iters left: 3 (4 enodes) 1553931509.536 * * [simplify]: iters left: 2 (13 enodes) 1553931509.538 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.538 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931509.539 * * [simplify]: Extracting #2: cost 5 inf + 1 1553931509.539 * * [simplify]: Extracting #3: cost 4 inf + 2 1553931509.539 * * [simplify]: Extracting #4: cost 0 inf + 248 1553931509.539 * [simplify]: Simplified to (* im (sqrt -1)) 1553931509.539 * [simplify]: Simplified (2 1) to (λ (re im) (* (* im (sqrt -1)) (sqrt (- (* re re) (* im im))))) 1553931509.539 * * * * [progress]: [ 114 / 121 ] simplifiying candidate # 1553931509.539 * [simplify]: Simplifying re 1553931509.539 * * [simplify]: iters left: 0 (1 enodes) 1553931509.539 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.539 * * [simplify]: Extracting #1: cost 0 inf + 1 1553931509.539 * [simplify]: Simplified to re 1553931509.539 * [simplify]: Simplified (2 1) to (λ (re im) (* re (sqrt (- (* re re) (* im im))))) 1553931509.539 * * * * [progress]: [ 115 / 121 ] simplifiying candidate # 1553931509.539 * [simplify]: Simplifying (* -1 re) 1553931509.540 * * [simplify]: iters left: 2 (3 enodes) 1553931509.541 * * [simplify]: iters left: 1 (11 enodes) 1553931509.542 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.542 * * [simplify]: Extracting #1: cost 4 inf + 0 1553931509.542 * * [simplify]: Extracting #2: cost 0 inf + 84 1553931509.542 * [simplify]: Simplified to (- re) 1553931509.542 * [simplify]: Simplified (2 1) to (λ (re im) (* (- re) (sqrt (- (* re re) (* im im))))) 1553931509.542 * * * * [progress]: [ 116 / 121 ] simplifiying candidate # 1553931509.542 * [simplify]: Simplifying (- (pow re 2) (pow im 2)) 1553931509.542 * * [simplify]: iters left: 3 (6 enodes) 1553931509.544 * * [simplify]: iters left: 2 (28 enodes) 1553931509.549 * * [simplify]: iters left: 1 (41 enodes) 1553931509.563 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.563 * * [simplify]: Extracting #1: cost 7 inf + 0 1553931509.563 * * [simplify]: Extracting #2: cost 16 inf + 0 1553931509.563 * * [simplify]: Extracting #3: cost 14 inf + 3 1553931509.563 * * [simplify]: Extracting #4: cost 6 inf + 454 1553931509.564 * * [simplify]: Extracting #5: cost 0 inf + 823 1553931509.564 * [simplify]: Simplified to (- (* re re) (* im im)) 1553931509.564 * [simplify]: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1553931509.564 * * * * [progress]: [ 117 / 121 ] simplifiying candidate # 1553931509.565 * [simplify]: Simplifying (- (pow re 2) (pow im 2)) 1553931509.565 * * [simplify]: iters left: 3 (6 enodes) 1553931509.569 * * [simplify]: iters left: 2 (28 enodes) 1553931509.578 * * [simplify]: iters left: 1 (41 enodes) 1553931509.590 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.590 * * [simplify]: Extracting #1: cost 7 inf + 0 1553931509.590 * * [simplify]: Extracting #2: cost 16 inf + 0 1553931509.590 * * [simplify]: Extracting #3: cost 14 inf + 3 1553931509.590 * * [simplify]: Extracting #4: cost 6 inf + 454 1553931509.591 * * [simplify]: Extracting #5: cost 0 inf + 823 1553931509.591 * [simplify]: Simplified to (- (* re re) (* im im)) 1553931509.591 * [simplify]: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1553931509.591 * * * * [progress]: [ 118 / 121 ] simplifiying candidate # 1553931509.591 * [simplify]: Simplifying (- (pow re 2) (pow im 2)) 1553931509.591 * * [simplify]: iters left: 3 (6 enodes) 1553931509.595 * * [simplify]: iters left: 2 (28 enodes) 1553931509.604 * * [simplify]: iters left: 1 (41 enodes) 1553931509.615 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.615 * * [simplify]: Extracting #1: cost 7 inf + 0 1553931509.615 * * [simplify]: Extracting #2: cost 16 inf + 0 1553931509.615 * * [simplify]: Extracting #3: cost 14 inf + 3 1553931509.615 * * [simplify]: Extracting #4: cost 6 inf + 454 1553931509.615 * * [simplify]: Extracting #5: cost 0 inf + 823 1553931509.615 * [simplify]: Simplified to (- (* re re) (* im im)) 1553931509.615 * [simplify]: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1553931509.616 * * * * [progress]: [ 119 / 121 ] simplifiying candidate # 1553931509.616 * [simplify]: Simplifying (- (pow re 2) (pow im 2)) 1553931509.616 * * [simplify]: iters left: 3 (6 enodes) 1553931509.618 * * [simplify]: iters left: 2 (28 enodes) 1553931509.622 * * [simplify]: iters left: 1 (41 enodes) 1553931509.628 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.628 * * [simplify]: Extracting #1: cost 7 inf + 0 1553931509.628 * * [simplify]: Extracting #2: cost 16 inf + 0 1553931509.628 * * [simplify]: Extracting #3: cost 14 inf + 3 1553931509.628 * * [simplify]: Extracting #4: cost 6 inf + 454 1553931509.628 * * [simplify]: Extracting #5: cost 0 inf + 823 1553931509.629 * [simplify]: Simplified to (- (* re re) (* im im)) 1553931509.629 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im))))) 1553931509.629 * * * * [progress]: [ 120 / 121 ] simplifiying candidate # 1553931509.629 * [simplify]: Simplifying (- (pow re 2) (pow im 2)) 1553931509.629 * * [simplify]: iters left: 3 (6 enodes) 1553931509.631 * * [simplify]: iters left: 2 (28 enodes) 1553931509.635 * * [simplify]: iters left: 1 (41 enodes) 1553931509.641 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.641 * * [simplify]: Extracting #1: cost 7 inf + 0 1553931509.641 * * [simplify]: Extracting #2: cost 16 inf + 0 1553931509.641 * * [simplify]: Extracting #3: cost 14 inf + 3 1553931509.641 * * [simplify]: Extracting #4: cost 6 inf + 454 1553931509.641 * * [simplify]: Extracting #5: cost 0 inf + 823 1553931509.642 * [simplify]: Simplified to (- (* re re) (* im im)) 1553931509.642 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im))))) 1553931509.642 * * * * [progress]: [ 121 / 121 ] simplifiying candidate # 1553931509.642 * [simplify]: Simplifying (- (pow re 2) (pow im 2)) 1553931509.642 * * [simplify]: iters left: 3 (6 enodes) 1553931509.644 * * [simplify]: iters left: 2 (28 enodes) 1553931509.648 * * [simplify]: iters left: 1 (41 enodes) 1553931509.654 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931509.654 * * [simplify]: Extracting #1: cost 7 inf + 0 1553931509.654 * * [simplify]: Extracting #2: cost 16 inf + 0 1553931509.654 * * [simplify]: Extracting #3: cost 14 inf + 3 1553931509.654 * * [simplify]: Extracting #4: cost 6 inf + 454 1553931509.654 * * [simplify]: Extracting #5: cost 0 inf + 823 1553931509.655 * [simplify]: Simplified to (- (* re re) (* im im)) 1553931509.655 * [simplify]: Simplified (2 2 1) to (λ (re im) (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im))))) 1553931509.655 * * * [progress]: adding candidates to table 1553931510.652 * [progress]: [Phase 3 of 3] Extracting. 1553931510.653 * * [regime]: Finding splitpoints for: (# #) 1553931510.654 * * * [regime-changes]: Trying 5 branch expressions: (im (* im im) re (* re re) (- (* re re) (* im im))) 1553931510.654 * * * * [regimes]: Trying to branch on im from (# #) 1553931510.677 * * * * [regimes]: Trying to branch on (* im im) from (# #) 1553931510.702 * * * * [regimes]: Trying to branch on re from (# #) 1553931510.722 * * * * [regimes]: Trying to branch on (* re re) from (# #) 1553931510.739 * * * * [regimes]: Trying to branch on (- (* re re) (* im im)) from (# #) 1553931510.759 * * * [regime]: Found split indices: #