0.456 * [progress]: [Phase 1 of 3] Setting up. 0.005 * * * [progress]: [1/2] Preparing points 0.141 * * * [progress]: [2/2] Setting up program. 0.146 * [progress]: [Phase 2 of 3] Improving. 0.152 * [simplify]: Simplifying: (- (* re re) (* im im)) 0.153 * * [simplify]: Extracting # 0 : cost 0 0.153 * * [simplify]: Extracting # 1 : cost 0 0.153 * * [simplify]: Extracting # 2 : cost 0 0.154 * * [simplify]: Extracting # 3 : cost 0 0.154 * * [simplify]: Extracting # 4 : cost 0 0.154 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.161 * * [simplify]: Extracting # 0 : cost 0 0.161 * * [simplify]: Extracting # 1 : cost 0 0.161 * * [simplify]: Extracting # 2 : cost 0 0.161 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.165 * * [simplify]: Extracting # 0 : cost 0 0.165 * * [simplify]: Extracting # 1 : cost 0 0.166 * * [simplify]: Extracting # 2 : cost 0 0.166 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 0.172 * * [simplify]: Extracting # 0 : cost 0 0.172 * * [simplify]: Extracting # 1 : cost 0 0.173 * * [simplify]: Extracting # 2 : cost 0 0.173 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 0.191 * * [simplify]: Extracting # 0 : cost 0 0.191 * * [simplify]: Extracting # 1 : cost 0 0.191 * * [simplify]: Extracting # 2 : cost 0 0.191 * * [simplify]: iteration 4 : 67 enodes (cost 7 ) 0.272 * * [simplify]: Extracting # 0 : cost 0 0.272 * * [simplify]: Extracting # 1 : cost 0 0.273 * * [simplify]: Extracting # 2 : cost 0 0.273 * * [simplify]: iteration 5 : 160 enodes (cost 7 ) 0.380 * * [simplify]: Extracting # 0 : cost 0 0.381 * * [simplify]: Extracting # 1 : cost 0 0.382 * * [simplify]: Extracting # 2 : cost 0 0.383 * * [simplify]: iteration 6 : 271 enodes (cost 7 ) 0.572 * * [simplify]: Extracting # 0 : cost 0 0.573 * * [simplify]: Extracting # 1 : cost 0 0.573 * * [simplify]: Extracting # 2 : cost 0 0.573 * * [simplify]: Extracting # 3 : cost 0 0.574 * * [simplify]: iteration 7 : 514 enodes (cost 7 ) 1.734 * * [simplify]: Extracting # 0 : cost 0 1.738 * * [simplify]: Extracting # 1 : cost 0 1.743 * * [simplify]: Extracting # 2 : cost 0 1.746 * * [simplify]: Extracting # 3 : cost 0 1.750 * * [simplify]: Extracting # 4 : cost 0 1.753 * * [simplify]: iteration 8 : 1901 enodes (cost 7 ) 12.557 * * [simplify]: Extracting # 0 : cost 0 12.572 * * [simplify]: Extracting # 1 : cost 0 12.577 * * [simplify]: Extracting # 2 : cost 0 12.583 * * [simplify]: Extracting # 3 : cost 0 12.589 * * [simplify]: Extracting # 4 : cost 0 12.595 * * [simplify]: iteration done: 5001 enodes (cost 7 ) 12.596 * [simplify]: Simplified to: (- (* re re) (* im im)) 12.598 * * [progress]: iteration 1 / 4 12.598 * * * [progress]: picking best candidate 12.601 * * * * [pick]: Picked # 12.601 * * * [progress]: localizing error 12.614 * * * [progress]: generating rewritten candidates 12.614 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 12.637 * * * [progress]: generating series expansions 12.638 * * * * [progress]: [ 1 / 1 ] generating series at (2) 12.645 * [backup-simplify]: Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2)) 12.645 * [approximate]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0 12.646 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im 12.646 * [taylor]: Taking taylor expansion of (pow re 2) in im 12.646 * [taylor]: Taking taylor expansion of re in im 12.646 * [backup-simplify]: Simplify re into re 12.646 * [taylor]: Taking taylor expansion of (pow im 2) in im 12.646 * [taylor]: Taking taylor expansion of im in im 12.646 * [backup-simplify]: Simplify 0 into 0 12.646 * [backup-simplify]: Simplify 1 into 1 12.647 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 12.647 * [taylor]: Taking taylor expansion of (pow re 2) in re 12.647 * [taylor]: Taking taylor expansion of re in re 12.647 * [backup-simplify]: Simplify 0 into 0 12.647 * [backup-simplify]: Simplify 1 into 1 12.647 * [taylor]: Taking taylor expansion of (pow im 2) in re 12.647 * [taylor]: Taking taylor expansion of im in re 12.647 * [backup-simplify]: Simplify im into im 12.647 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 12.647 * [taylor]: Taking taylor expansion of (pow re 2) in re 12.647 * [taylor]: Taking taylor expansion of re in re 12.647 * [backup-simplify]: Simplify 0 into 0 12.647 * [backup-simplify]: Simplify 1 into 1 12.647 * [taylor]: Taking taylor expansion of (pow im 2) in re 12.647 * [taylor]: Taking taylor expansion of im in re 12.647 * [backup-simplify]: Simplify im into im 12.648 * [backup-simplify]: Simplify (* im im) into (pow im 2) 12.648 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 12.648 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 12.648 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 12.648 * [taylor]: Taking taylor expansion of (pow im 2) in im 12.648 * [taylor]: Taking taylor expansion of im in im 12.648 * [backup-simplify]: Simplify 0 into 0 12.648 * [backup-simplify]: Simplify 1 into 1 12.648 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 12.649 * [backup-simplify]: Simplify (- 0) into 0 12.649 * [backup-simplify]: Simplify (+ 0 0) into 0 12.649 * [taylor]: Taking taylor expansion of 0 in im 12.649 * [backup-simplify]: Simplify 0 into 0 12.649 * [backup-simplify]: Simplify 0 into 0 12.650 * [backup-simplify]: Simplify (* 1 1) into 1 12.650 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 12.650 * [backup-simplify]: Simplify (- 0) into 0 12.650 * [backup-simplify]: Simplify (+ 1 0) into 1 12.650 * [taylor]: Taking taylor expansion of 1 in im 12.650 * [backup-simplify]: Simplify 1 into 1 12.650 * [backup-simplify]: Simplify 1 into 1 12.651 * [backup-simplify]: Simplify 0 into 0 12.651 * [backup-simplify]: Simplify (* 1 1) into 1 12.651 * [backup-simplify]: Simplify (- 1) into -1 12.651 * [backup-simplify]: Simplify -1 into -1 12.651 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.659 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 12.660 * [backup-simplify]: Simplify (- 0) into 0 12.660 * [backup-simplify]: Simplify (+ 0 0) into 0 12.660 * [taylor]: Taking taylor expansion of 0 in im 12.660 * [backup-simplify]: Simplify 0 into 0 12.660 * [backup-simplify]: Simplify 0 into 0 12.660 * [backup-simplify]: Simplify 0 into 0 12.660 * [backup-simplify]: Simplify 0 into 0 12.661 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.661 * [backup-simplify]: Simplify (- 0) into 0 12.661 * [backup-simplify]: Simplify 0 into 0 12.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.662 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 12.662 * [backup-simplify]: Simplify (- 0) into 0 12.663 * [backup-simplify]: Simplify (+ 0 0) into 0 12.663 * [taylor]: Taking taylor expansion of 0 in im 12.663 * [backup-simplify]: Simplify 0 into 0 12.663 * [backup-simplify]: Simplify 0 into 0 12.663 * [backup-simplify]: Simplify 0 into 0 12.663 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 12.663 * [backup-simplify]: Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 12.663 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 12.663 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 12.663 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 12.663 * [taylor]: Taking taylor expansion of (pow re 2) in im 12.663 * [taylor]: Taking taylor expansion of re in im 12.663 * [backup-simplify]: Simplify re into re 12.664 * [backup-simplify]: Simplify (* re re) into (pow re 2) 12.664 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 12.664 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 12.664 * [taylor]: Taking taylor expansion of (pow im 2) in im 12.664 * [taylor]: Taking taylor expansion of im in im 12.664 * [backup-simplify]: Simplify 0 into 0 12.664 * [backup-simplify]: Simplify 1 into 1 12.664 * [backup-simplify]: Simplify (* 1 1) into 1 12.664 * [backup-simplify]: Simplify (/ 1 1) into 1 12.664 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 12.664 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 12.664 * [taylor]: Taking taylor expansion of (pow re 2) in re 12.664 * [taylor]: Taking taylor expansion of re in re 12.664 * [backup-simplify]: Simplify 0 into 0 12.664 * [backup-simplify]: Simplify 1 into 1 12.665 * [backup-simplify]: Simplify (* 1 1) into 1 12.665 * [backup-simplify]: Simplify (/ 1 1) into 1 12.665 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 12.665 * [taylor]: Taking taylor expansion of (pow im 2) in re 12.665 * [taylor]: Taking taylor expansion of im in re 12.665 * [backup-simplify]: Simplify im into im 12.665 * [backup-simplify]: Simplify (* im im) into (pow im 2) 12.665 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 12.665 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 12.665 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 12.665 * [taylor]: Taking taylor expansion of (pow re 2) in re 12.665 * [taylor]: Taking taylor expansion of re in re 12.665 * [backup-simplify]: Simplify 0 into 0 12.665 * [backup-simplify]: Simplify 1 into 1 12.666 * [backup-simplify]: Simplify (* 1 1) into 1 12.666 * [backup-simplify]: Simplify (/ 1 1) into 1 12.666 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 12.666 * [taylor]: Taking taylor expansion of (pow im 2) in re 12.666 * [taylor]: Taking taylor expansion of im in re 12.666 * [backup-simplify]: Simplify im into im 12.666 * [backup-simplify]: Simplify (* im im) into (pow im 2) 12.666 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 12.666 * [backup-simplify]: Simplify (+ 1 0) into 1 12.666 * [taylor]: Taking taylor expansion of 1 in im 12.666 * [backup-simplify]: Simplify 1 into 1 12.667 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.668 * [backup-simplify]: Simplify (+ 0 0) into 0 12.668 * [taylor]: Taking taylor expansion of 0 in im 12.668 * [backup-simplify]: Simplify 0 into 0 12.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.669 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 12.669 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 12.669 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 12.669 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 12.669 * [taylor]: Taking taylor expansion of (pow im 2) in im 12.669 * [taylor]: Taking taylor expansion of im in im 12.669 * [backup-simplify]: Simplify 0 into 0 12.669 * [backup-simplify]: Simplify 1 into 1 12.669 * [backup-simplify]: Simplify (* 1 1) into 1 12.670 * [backup-simplify]: Simplify (/ 1 1) into 1 12.670 * [backup-simplify]: Simplify (- 1) into -1 12.670 * [backup-simplify]: Simplify -1 into -1 12.670 * [backup-simplify]: Simplify 1 into 1 12.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.671 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 12.671 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 12.672 * [backup-simplify]: Simplify (- 0) into 0 12.672 * [backup-simplify]: Simplify (+ 0 0) into 0 12.672 * [taylor]: Taking taylor expansion of 0 in im 12.672 * [backup-simplify]: Simplify 0 into 0 12.672 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.673 * [backup-simplify]: Simplify (- 0) into 0 12.673 * [backup-simplify]: Simplify 0 into 0 12.673 * [backup-simplify]: Simplify 0 into 0 12.673 * [backup-simplify]: Simplify 0 into 0 12.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.675 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 12.676 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 12.676 * [backup-simplify]: Simplify (- 0) into 0 12.676 * [backup-simplify]: Simplify (+ 0 0) into 0 12.677 * [taylor]: Taking taylor expansion of 0 in im 12.677 * [backup-simplify]: Simplify 0 into 0 12.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.679 * [backup-simplify]: Simplify (- 0) into 0 12.679 * [backup-simplify]: Simplify 0 into 0 12.679 * [backup-simplify]: Simplify 0 into 0 12.679 * [backup-simplify]: Simplify 0 into 0 12.680 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 12.680 * [backup-simplify]: Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 12.680 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 12.680 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 12.680 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 12.680 * [taylor]: Taking taylor expansion of (pow re 2) in im 12.680 * [taylor]: Taking taylor expansion of re in im 12.680 * [backup-simplify]: Simplify re into re 12.680 * [backup-simplify]: Simplify (* re re) into (pow re 2) 12.681 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 12.681 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 12.681 * [taylor]: Taking taylor expansion of (pow im 2) in im 12.681 * [taylor]: Taking taylor expansion of im in im 12.681 * [backup-simplify]: Simplify 0 into 0 12.681 * [backup-simplify]: Simplify 1 into 1 12.681 * [backup-simplify]: Simplify (* 1 1) into 1 12.682 * [backup-simplify]: Simplify (/ 1 1) into 1 12.682 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 12.682 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 12.682 * [taylor]: Taking taylor expansion of (pow re 2) in re 12.682 * [taylor]: Taking taylor expansion of re in re 12.682 * [backup-simplify]: Simplify 0 into 0 12.682 * [backup-simplify]: Simplify 1 into 1 12.682 * [backup-simplify]: Simplify (* 1 1) into 1 12.682 * [backup-simplify]: Simplify (/ 1 1) into 1 12.683 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 12.683 * [taylor]: Taking taylor expansion of (pow im 2) in re 12.683 * [taylor]: Taking taylor expansion of im in re 12.683 * [backup-simplify]: Simplify im into im 12.683 * [backup-simplify]: Simplify (* im im) into (pow im 2) 12.683 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 12.683 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 12.683 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 12.683 * [taylor]: Taking taylor expansion of (pow re 2) in re 12.683 * [taylor]: Taking taylor expansion of re in re 12.683 * [backup-simplify]: Simplify 0 into 0 12.683 * [backup-simplify]: Simplify 1 into 1 12.683 * [backup-simplify]: Simplify (* 1 1) into 1 12.684 * [backup-simplify]: Simplify (/ 1 1) into 1 12.684 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 12.684 * [taylor]: Taking taylor expansion of (pow im 2) in re 12.684 * [taylor]: Taking taylor expansion of im in re 12.684 * [backup-simplify]: Simplify im into im 12.684 * [backup-simplify]: Simplify (* im im) into (pow im 2) 12.684 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 12.685 * [backup-simplify]: Simplify (+ 1 0) into 1 12.685 * [taylor]: Taking taylor expansion of 1 in im 12.685 * [backup-simplify]: Simplify 1 into 1 12.685 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.686 * [backup-simplify]: Simplify (+ 0 0) into 0 12.686 * [taylor]: Taking taylor expansion of 0 in im 12.686 * [backup-simplify]: Simplify 0 into 0 12.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.688 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 12.689 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 12.689 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 12.689 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 12.689 * [taylor]: Taking taylor expansion of (pow im 2) in im 12.689 * [taylor]: Taking taylor expansion of im in im 12.689 * [backup-simplify]: Simplify 0 into 0 12.689 * [backup-simplify]: Simplify 1 into 1 12.689 * [backup-simplify]: Simplify (* 1 1) into 1 12.690 * [backup-simplify]: Simplify (/ 1 1) into 1 12.690 * [backup-simplify]: Simplify (- 1) into -1 12.690 * [backup-simplify]: Simplify -1 into -1 12.690 * [backup-simplify]: Simplify 1 into 1 12.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.691 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.691 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 12.691 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 12.692 * [backup-simplify]: Simplify (- 0) into 0 12.692 * [backup-simplify]: Simplify (+ 0 0) into 0 12.692 * [taylor]: Taking taylor expansion of 0 in im 12.692 * [backup-simplify]: Simplify 0 into 0 12.692 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.693 * [backup-simplify]: Simplify (- 0) into 0 12.693 * [backup-simplify]: Simplify 0 into 0 12.693 * [backup-simplify]: Simplify 0 into 0 12.693 * [backup-simplify]: Simplify 0 into 0 12.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.694 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 12.695 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 12.695 * [backup-simplify]: Simplify (- 0) into 0 12.695 * [backup-simplify]: Simplify (+ 0 0) into 0 12.695 * [taylor]: Taking taylor expansion of 0 in im 12.695 * [backup-simplify]: Simplify 0 into 0 12.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.696 * [backup-simplify]: Simplify (- 0) into 0 12.696 * [backup-simplify]: Simplify 0 into 0 12.696 * [backup-simplify]: Simplify 0 into 0 12.697 * [backup-simplify]: Simplify 0 into 0 12.697 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 12.697 * * * [progress]: simplifying candidates 12.698 * [simplify]: Simplifying: (fma re re (- (* im im))) (fma (- im) im (* im im)) (expm1 (- (* re re) (* im im))) (log1p (- (* re re) (* im im))) (- (* im im)) (/ (exp (* re re)) (exp (* im im))) (log (- (* re re) (* im im))) (exp (- (* re re) (* im im))) (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im)))) (cbrt (- (* re re) (* im im))) (* (* (- (* re re) (* im im)) (- (* re re) (* im im))) (- (* re re) (* im im))) (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im))) (- (pow (* re re) 3) (pow (* im im) 3)) (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im)))) (- (* im im)) (- (* (* re re) (* re re)) (* (* im im) (* im im))) (+ (* re re) (* im im)) (+ re im) (- re im) (- (* im im)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) 12.698 * * [simplify]: Extracting # 0 : cost 0 12.698 * * [simplify]: Extracting # 1 : cost 0 12.698 * * [simplify]: Extracting # 2 : cost 0 12.698 * * [simplify]: Extracting # 3 : cost 0 12.698 * * [simplify]: Extracting # 4 : cost 0 12.698 * * [simplify]: Extracting # 5 : cost 0 12.698 * * [simplify]: iteration 0 : 38 enodes (cost 214 ) 12.708 * * [simplify]: Extracting # 0 : cost 0 12.708 * * [simplify]: Extracting # 1 : cost 0 12.708 * * [simplify]: Extracting # 2 : cost 0 12.708 * * [simplify]: Extracting # 3 : cost 0 12.708 * * [simplify]: Extracting # 4 : cost 0 12.708 * * [simplify]: iteration 1 : 100 enodes (cost 205 ) 12.777 * * [simplify]: Extracting # 0 : cost 0 12.777 * * [simplify]: Extracting # 1 : cost 0 12.778 * * [simplify]: Extracting # 2 : cost 0 12.779 * * [simplify]: Extracting # 3 : cost 0 12.779 * * [simplify]: Extracting # 4 : cost 0 12.780 * * [simplify]: iteration 2 : 291 enodes (cost 175 ) 12.973 * * [simplify]: Extracting # 0 : cost 0 12.975 * * [simplify]: Extracting # 1 : cost 0 12.977 * * [simplify]: Extracting # 2 : cost 0 12.979 * * [simplify]: Extracting # 3 : cost 0 12.981 * * [simplify]: Extracting # 4 : cost 0 12.983 * * [simplify]: iteration 3 : 922 enodes (cost 175 ) 14.686 * * [simplify]: Extracting # 0 : cost 0 14.692 * * [simplify]: Extracting # 1 : cost 0 14.699 * * [simplify]: Extracting # 2 : cost 0 14.706 * * [simplify]: Extracting # 3 : cost 0 14.712 * * [simplify]: Extracting # 4 : cost 0 14.718 * * [simplify]: iteration 4 : 4017 enodes (cost 170 ) 16.317 * * [simplify]: Extracting # 0 : cost 0 16.328 * * [simplify]: Extracting # 1 : cost 0 16.333 * * [simplify]: iteration done: 5000 enodes (cost 170 ) 16.333 * [simplify]: Simplified to: (fma re re (- (* im im))) 0 (expm1 (- (* re re) (* im im))) (log1p (- (* re re) (* im im))) (- (* im im)) (exp (- (* re re) (* im im))) (log (- (* re re) (* im im))) (exp (- (* re re) (* im im))) (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im)))) (cbrt (- (* re re) (* im im))) (pow (fma re re (- (* im im))) 3) (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im))) (- (pow re 6) (pow im 6)) (fma (* im im) (fma re re (pow im 2)) (pow re 4)) (- (* im im)) (- (pow re 4) (pow im 4)) (fma re re (pow im 2)) (+ re im) (- re im) (- (* im im)) (fma re re (- (* im im))) (fma re re (- (* im im))) (fma re re (- (* im im))) 16.333 * * * [progress]: adding candidates to table 16.381 * * [progress]: iteration 2 / 4 16.381 * * * [progress]: picking best candidate 16.383 * * * * [pick]: Picked # 16.383 * * * [progress]: localizing error 16.396 * * * [progress]: generating rewritten candidates 16.396 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 16.449 * * * [progress]: generating series expansions 16.449 * * * * [progress]: [ 1 / 1 ] generating series at (2) 16.450 * [backup-simplify]: Simplify (* (+ re im) (- re im)) into (* (+ re im) (- re im)) 16.450 * [approximate]: Taking taylor expansion of (* (+ re im) (- re im)) in (re im) around 0 16.450 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in im 16.450 * [taylor]: Taking taylor expansion of (+ re im) in im 16.450 * [taylor]: Taking taylor expansion of re in im 16.450 * [backup-simplify]: Simplify re into re 16.450 * [taylor]: Taking taylor expansion of im in im 16.450 * [backup-simplify]: Simplify 0 into 0 16.450 * [backup-simplify]: Simplify 1 into 1 16.450 * [taylor]: Taking taylor expansion of (- re im) in im 16.450 * [taylor]: Taking taylor expansion of re in im 16.450 * [backup-simplify]: Simplify re into re 16.450 * [taylor]: Taking taylor expansion of im in im 16.450 * [backup-simplify]: Simplify 0 into 0 16.450 * [backup-simplify]: Simplify 1 into 1 16.450 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in re 16.450 * [taylor]: Taking taylor expansion of (+ re im) in re 16.450 * [taylor]: Taking taylor expansion of re in re 16.450 * [backup-simplify]: Simplify 0 into 0 16.450 * [backup-simplify]: Simplify 1 into 1 16.450 * [taylor]: Taking taylor expansion of im in re 16.450 * [backup-simplify]: Simplify im into im 16.450 * [taylor]: Taking taylor expansion of (- re im) in re 16.450 * [taylor]: Taking taylor expansion of re in re 16.450 * [backup-simplify]: Simplify 0 into 0 16.450 * [backup-simplify]: Simplify 1 into 1 16.450 * [taylor]: Taking taylor expansion of im in re 16.450 * [backup-simplify]: Simplify im into im 16.450 * [taylor]: Taking taylor expansion of (* (+ re im) (- re im)) in re 16.450 * [taylor]: Taking taylor expansion of (+ re im) in re 16.450 * [taylor]: Taking taylor expansion of re in re 16.450 * [backup-simplify]: Simplify 0 into 0 16.450 * [backup-simplify]: Simplify 1 into 1 16.450 * [taylor]: Taking taylor expansion of im in re 16.450 * [backup-simplify]: Simplify im into im 16.450 * [taylor]: Taking taylor expansion of (- re im) in re 16.450 * [taylor]: Taking taylor expansion of re in re 16.450 * [backup-simplify]: Simplify 0 into 0 16.450 * [backup-simplify]: Simplify 1 into 1 16.451 * [taylor]: Taking taylor expansion of im in re 16.451 * [backup-simplify]: Simplify im into im 16.451 * [backup-simplify]: Simplify (+ 0 im) into im 16.451 * [backup-simplify]: Simplify (- im) into (- im) 16.451 * [backup-simplify]: Simplify (+ 0 (- im)) into (- im) 16.451 * [backup-simplify]: Simplify (* im (- im)) into (* -1 (pow im 2)) 16.451 * [taylor]: Taking taylor expansion of (* -1 (pow im 2)) in im 16.451 * [taylor]: Taking taylor expansion of -1 in im 16.451 * [backup-simplify]: Simplify -1 into -1 16.451 * [taylor]: Taking taylor expansion of (pow im 2) in im 16.451 * [taylor]: Taking taylor expansion of im in im 16.451 * [backup-simplify]: Simplify 0 into 0 16.451 * [backup-simplify]: Simplify 1 into 1 16.451 * [backup-simplify]: Simplify (- 0) into 0 16.452 * [backup-simplify]: Simplify (+ 1 0) into 1 16.452 * [backup-simplify]: Simplify (+ 1 0) into 1 16.452 * [backup-simplify]: Simplify (+ (* im 1) (* 1 (- im))) into 0 16.452 * [taylor]: Taking taylor expansion of 0 in im 16.452 * [backup-simplify]: Simplify 0 into 0 16.452 * [backup-simplify]: Simplify 0 into 0 16.453 * [backup-simplify]: Simplify (- 0) into 0 16.453 * [backup-simplify]: Simplify (+ 0 0) into 0 16.453 * [backup-simplify]: Simplify (+ 0 0) into 0 16.454 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 1 1) (* 0 (- im)))) into 1 16.454 * [taylor]: Taking taylor expansion of 1 in im 16.454 * [backup-simplify]: Simplify 1 into 1 16.454 * [backup-simplify]: Simplify 1 into 1 16.454 * [backup-simplify]: Simplify 0 into 0 16.454 * [backup-simplify]: Simplify (* 1 1) into 1 16.455 * [backup-simplify]: Simplify (* -1 1) into -1 16.455 * [backup-simplify]: Simplify -1 into -1 16.455 * [backup-simplify]: Simplify (- 0) into 0 16.456 * [backup-simplify]: Simplify (+ 0 0) into 0 16.456 * [backup-simplify]: Simplify (+ 0 0) into 0 16.457 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 1 0) (+ (* 0 1) (* 0 (- im))))) into 0 16.457 * [taylor]: Taking taylor expansion of 0 in im 16.457 * [backup-simplify]: Simplify 0 into 0 16.457 * [backup-simplify]: Simplify 0 into 0 16.457 * [backup-simplify]: Simplify 0 into 0 16.457 * [backup-simplify]: Simplify 0 into 0 16.458 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.458 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 16.458 * [backup-simplify]: Simplify 0 into 0 16.459 * [backup-simplify]: Simplify (- 0) into 0 16.459 * [backup-simplify]: Simplify (+ 0 0) into 0 16.459 * [backup-simplify]: Simplify (+ 0 0) into 0 16.461 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- im)))))) into 0 16.461 * [taylor]: Taking taylor expansion of 0 in im 16.461 * [backup-simplify]: Simplify 0 into 0 16.461 * [backup-simplify]: Simplify 0 into 0 16.461 * [backup-simplify]: Simplify 0 into 0 16.461 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 16.462 * [backup-simplify]: Simplify (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) into (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) 16.462 * [approximate]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in (re im) around 0 16.462 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in im 16.462 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im 16.462 * [taylor]: Taking taylor expansion of (/ 1 re) in im 16.462 * [taylor]: Taking taylor expansion of re in im 16.462 * [backup-simplify]: Simplify re into re 16.462 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 16.462 * [taylor]: Taking taylor expansion of (/ 1 im) in im 16.462 * [taylor]: Taking taylor expansion of im in im 16.462 * [backup-simplify]: Simplify 0 into 0 16.462 * [backup-simplify]: Simplify 1 into 1 16.462 * [backup-simplify]: Simplify (/ 1 1) into 1 16.462 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 16.463 * [taylor]: Taking taylor expansion of (/ 1 im) in im 16.463 * [taylor]: Taking taylor expansion of im in im 16.463 * [backup-simplify]: Simplify 0 into 0 16.463 * [backup-simplify]: Simplify 1 into 1 16.463 * [backup-simplify]: Simplify (/ 1 1) into 1 16.463 * [taylor]: Taking taylor expansion of (/ 1 re) in im 16.463 * [taylor]: Taking taylor expansion of re in im 16.463 * [backup-simplify]: Simplify re into re 16.463 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 16.463 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in re 16.463 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 16.463 * [taylor]: Taking taylor expansion of (/ 1 re) in re 16.463 * [taylor]: Taking taylor expansion of re in re 16.463 * [backup-simplify]: Simplify 0 into 0 16.463 * [backup-simplify]: Simplify 1 into 1 16.464 * [backup-simplify]: Simplify (/ 1 1) into 1 16.464 * [taylor]: Taking taylor expansion of (/ 1 im) in re 16.464 * [taylor]: Taking taylor expansion of im in re 16.464 * [backup-simplify]: Simplify im into im 16.464 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 16.464 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 16.464 * [taylor]: Taking taylor expansion of (/ 1 im) in re 16.464 * [taylor]: Taking taylor expansion of im in re 16.464 * [backup-simplify]: Simplify im into im 16.464 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 16.464 * [taylor]: Taking taylor expansion of (/ 1 re) in re 16.464 * [taylor]: Taking taylor expansion of re in re 16.464 * [backup-simplify]: Simplify 0 into 0 16.464 * [backup-simplify]: Simplify 1 into 1 16.464 * [backup-simplify]: Simplify (/ 1 1) into 1 16.465 * [taylor]: Taking taylor expansion of (* (- (/ 1 re) (/ 1 im)) (+ (/ 1 im) (/ 1 re))) in re 16.465 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 16.465 * [taylor]: Taking taylor expansion of (/ 1 re) in re 16.465 * [taylor]: Taking taylor expansion of re in re 16.465 * [backup-simplify]: Simplify 0 into 0 16.465 * [backup-simplify]: Simplify 1 into 1 16.465 * [backup-simplify]: Simplify (/ 1 1) into 1 16.465 * [taylor]: Taking taylor expansion of (/ 1 im) in re 16.465 * [taylor]: Taking taylor expansion of im in re 16.465 * [backup-simplify]: Simplify im into im 16.465 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 16.465 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 16.465 * [taylor]: Taking taylor expansion of (/ 1 im) in re 16.465 * [taylor]: Taking taylor expansion of im in re 16.465 * [backup-simplify]: Simplify im into im 16.465 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 16.465 * [taylor]: Taking taylor expansion of (/ 1 re) in re 16.465 * [taylor]: Taking taylor expansion of re in re 16.465 * [backup-simplify]: Simplify 0 into 0 16.465 * [backup-simplify]: Simplify 1 into 1 16.466 * [backup-simplify]: Simplify (/ 1 1) into 1 16.466 * [backup-simplify]: Simplify (+ 1 0) into 1 16.467 * [backup-simplify]: Simplify (+ 0 1) into 1 16.467 * [backup-simplify]: Simplify (* 1 1) into 1 16.467 * [taylor]: Taking taylor expansion of 1 in im 16.467 * [backup-simplify]: Simplify 1 into 1 16.468 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.468 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im) 16.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.469 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 16.469 * [backup-simplify]: Simplify (+ 0 (- (/ 1 im))) into (- (/ 1 im)) 16.469 * [backup-simplify]: Simplify (+ (* 1 (/ 1 im)) (* (- (/ 1 im)) 1)) into 0 16.469 * [taylor]: Taking taylor expansion of 0 in im 16.469 * [backup-simplify]: Simplify 0 into 0 16.470 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 16.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.471 * [backup-simplify]: Simplify (+ 0 0) into 0 16.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.472 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 16.472 * [backup-simplify]: Simplify (- 0) into 0 16.473 * [backup-simplify]: Simplify (+ 0 0) into 0 16.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 im)) (/ 1 im)) (* 0 1))) into (- (/ 1 (pow im 2))) 16.474 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 16.474 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 16.474 * [taylor]: Taking taylor expansion of (pow im 2) in im 16.474 * [taylor]: Taking taylor expansion of im in im 16.474 * [backup-simplify]: Simplify 0 into 0 16.474 * [backup-simplify]: Simplify 1 into 1 16.474 * [backup-simplify]: Simplify (* 1 1) into 1 16.475 * [backup-simplify]: Simplify (/ 1 1) into 1 16.475 * [backup-simplify]: Simplify (- 1) into -1 16.475 * [backup-simplify]: Simplify -1 into -1 16.475 * [backup-simplify]: Simplify 1 into 1 16.476 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 16.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.477 * [backup-simplify]: Simplify (+ 0 0) into 0 16.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.478 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 16.478 * [backup-simplify]: Simplify (- 0) into 0 16.479 * [backup-simplify]: Simplify (+ 0 0) into 0 16.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 im)) 0) (+ (* 0 (/ 1 im)) (* 0 1)))) into 0 16.480 * [taylor]: Taking taylor expansion of 0 in im 16.480 * [backup-simplify]: Simplify 0 into 0 16.480 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.482 * [backup-simplify]: Simplify (- 0) into 0 16.482 * [backup-simplify]: Simplify 0 into 0 16.482 * [backup-simplify]: Simplify 0 into 0 16.482 * [backup-simplify]: Simplify 0 into 0 16.482 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 16.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.484 * [backup-simplify]: Simplify (+ 0 0) into 0 16.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.485 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 16.485 * [backup-simplify]: Simplify (- 0) into 0 16.486 * [backup-simplify]: Simplify (+ 0 0) into 0 16.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 (/ 1 im)) (* 0 1))))) into 0 16.487 * [taylor]: Taking taylor expansion of 0 in im 16.487 * [backup-simplify]: Simplify 0 into 0 16.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.490 * [backup-simplify]: Simplify (- 0) into 0 16.490 * [backup-simplify]: Simplify 0 into 0 16.490 * [backup-simplify]: Simplify 0 into 0 16.490 * [backup-simplify]: Simplify 0 into 0 16.491 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 16.491 * [backup-simplify]: Simplify (* (+ (/ 1 (- re)) (/ 1 (- im))) (- (/ 1 (- re)) (/ 1 (- im)))) into (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) 16.491 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in (re im) around 0 16.491 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in im 16.491 * [taylor]: Taking taylor expansion of -1 in im 16.491 * [backup-simplify]: Simplify -1 into -1 16.491 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in im 16.491 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im 16.491 * [taylor]: Taking taylor expansion of (/ 1 im) in im 16.491 * [taylor]: Taking taylor expansion of im in im 16.491 * [backup-simplify]: Simplify 0 into 0 16.491 * [backup-simplify]: Simplify 1 into 1 16.498 * [backup-simplify]: Simplify (/ 1 1) into 1 16.498 * [taylor]: Taking taylor expansion of (/ 1 re) in im 16.498 * [taylor]: Taking taylor expansion of re in im 16.498 * [backup-simplify]: Simplify re into re 16.499 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 16.499 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in im 16.499 * [taylor]: Taking taylor expansion of (/ 1 im) in im 16.499 * [taylor]: Taking taylor expansion of im in im 16.499 * [backup-simplify]: Simplify 0 into 0 16.499 * [backup-simplify]: Simplify 1 into 1 16.499 * [backup-simplify]: Simplify (/ 1 1) into 1 16.499 * [taylor]: Taking taylor expansion of (/ 1 re) in im 16.499 * [taylor]: Taking taylor expansion of re in im 16.499 * [backup-simplify]: Simplify re into re 16.499 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 16.499 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in re 16.499 * [taylor]: Taking taylor expansion of -1 in re 16.499 * [backup-simplify]: Simplify -1 into -1 16.499 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in re 16.499 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 16.499 * [taylor]: Taking taylor expansion of (/ 1 im) in re 16.499 * [taylor]: Taking taylor expansion of im in re 16.499 * [backup-simplify]: Simplify im into im 16.499 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 16.499 * [taylor]: Taking taylor expansion of (/ 1 re) in re 16.499 * [taylor]: Taking taylor expansion of re in re 16.500 * [backup-simplify]: Simplify 0 into 0 16.500 * [backup-simplify]: Simplify 1 into 1 16.500 * [backup-simplify]: Simplify (/ 1 1) into 1 16.500 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 16.500 * [taylor]: Taking taylor expansion of (/ 1 im) in re 16.500 * [taylor]: Taking taylor expansion of im in re 16.500 * [backup-simplify]: Simplify im into im 16.500 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 16.500 * [taylor]: Taking taylor expansion of (/ 1 re) in re 16.500 * [taylor]: Taking taylor expansion of re in re 16.500 * [backup-simplify]: Simplify 0 into 0 16.500 * [backup-simplify]: Simplify 1 into 1 16.500 * [backup-simplify]: Simplify (/ 1 1) into 1 16.500 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re)))) in re 16.500 * [taylor]: Taking taylor expansion of -1 in re 16.500 * [backup-simplify]: Simplify -1 into -1 16.500 * [taylor]: Taking taylor expansion of (* (- (/ 1 im) (/ 1 re)) (+ (/ 1 im) (/ 1 re))) in re 16.500 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 16.500 * [taylor]: Taking taylor expansion of (/ 1 im) in re 16.500 * [taylor]: Taking taylor expansion of im in re 16.500 * [backup-simplify]: Simplify im into im 16.500 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 16.500 * [taylor]: Taking taylor expansion of (/ 1 re) in re 16.500 * [taylor]: Taking taylor expansion of re in re 16.501 * [backup-simplify]: Simplify 0 into 0 16.501 * [backup-simplify]: Simplify 1 into 1 16.501 * [backup-simplify]: Simplify (/ 1 1) into 1 16.501 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (/ 1 re)) in re 16.501 * [taylor]: Taking taylor expansion of (/ 1 im) in re 16.501 * [taylor]: Taking taylor expansion of im in re 16.501 * [backup-simplify]: Simplify im into im 16.501 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 16.501 * [taylor]: Taking taylor expansion of (/ 1 re) in re 16.501 * [taylor]: Taking taylor expansion of re in re 16.501 * [backup-simplify]: Simplify 0 into 0 16.501 * [backup-simplify]: Simplify 1 into 1 16.501 * [backup-simplify]: Simplify (/ 1 1) into 1 16.502 * [backup-simplify]: Simplify (- 1) into -1 16.502 * [backup-simplify]: Simplify (+ 0 -1) into -1 16.502 * [backup-simplify]: Simplify (+ 0 1) into 1 16.502 * [backup-simplify]: Simplify (* -1 1) into -1 16.503 * [backup-simplify]: Simplify (* -1 -1) into 1 16.503 * [taylor]: Taking taylor expansion of 1 in im 16.503 * [backup-simplify]: Simplify 1 into 1 16.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.503 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im) 16.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.504 * [backup-simplify]: Simplify (- 0) into 0 16.504 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im) 16.504 * [backup-simplify]: Simplify (+ (* -1 (/ 1 im)) (* (/ 1 im) 1)) into 0 16.505 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 16.505 * [taylor]: Taking taylor expansion of 0 in im 16.505 * [backup-simplify]: Simplify 0 into 0 16.505 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 16.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.505 * [backup-simplify]: Simplify (+ 0 0) into 0 16.506 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 16.506 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.506 * [backup-simplify]: Simplify (- 0) into 0 16.507 * [backup-simplify]: Simplify (+ 0 0) into 0 16.507 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 im) (/ 1 im)) (* 0 1))) into (/ 1 (pow im 2)) 16.508 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1))) into (- (/ 1 (pow im 2))) 16.508 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 16.508 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 16.508 * [taylor]: Taking taylor expansion of (pow im 2) in im 16.508 * [taylor]: Taking taylor expansion of im in im 16.508 * [backup-simplify]: Simplify 0 into 0 16.508 * [backup-simplify]: Simplify 1 into 1 16.508 * [backup-simplify]: Simplify (* 1 1) into 1 16.508 * [backup-simplify]: Simplify (/ 1 1) into 1 16.509 * [backup-simplify]: Simplify (- 1) into -1 16.509 * [backup-simplify]: Simplify -1 into -1 16.509 * [backup-simplify]: Simplify 1 into 1 16.509 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 16.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.510 * [backup-simplify]: Simplify (+ 0 0) into 0 16.510 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 16.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.511 * [backup-simplify]: Simplify (- 0) into 0 16.511 * [backup-simplify]: Simplify (+ 0 0) into 0 16.511 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 im) 0) (+ (* 0 (/ 1 im)) (* 0 1)))) into 0 16.512 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1)))) into 0 16.512 * [taylor]: Taking taylor expansion of 0 in im 16.512 * [backup-simplify]: Simplify 0 into 0 16.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.513 * [backup-simplify]: Simplify (- 0) into 0 16.513 * [backup-simplify]: Simplify 0 into 0 16.513 * [backup-simplify]: Simplify 0 into 0 16.513 * [backup-simplify]: Simplify 0 into 0 16.513 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 16.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.514 * [backup-simplify]: Simplify (+ 0 0) into 0 16.514 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 16.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.515 * [backup-simplify]: Simplify (- 0) into 0 16.515 * [backup-simplify]: Simplify (+ 0 0) into 0 16.516 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 im) 0) (+ (* 0 0) (+ (* 0 (/ 1 im)) (* 0 1))))) into 0 16.517 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1))))) into 0 16.517 * [taylor]: Taking taylor expansion of 0 in im 16.517 * [backup-simplify]: Simplify 0 into 0 16.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.519 * [backup-simplify]: Simplify (- 0) into 0 16.519 * [backup-simplify]: Simplify 0 into 0 16.519 * [backup-simplify]: Simplify 0 into 0 16.519 * [backup-simplify]: Simplify 0 into 0 16.519 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 16.519 * * * [progress]: simplifying candidates 16.520 * [simplify]: Simplifying: (expm1 (* (+ re im) (- re im))) (log1p (* (+ re im) (- re im))) (* (+ re im) (- re im)) (+ (log (+ re im)) (log (- re im))) (log (* (+ re im) (- re im))) (exp (* (+ re im) (- re im))) (* (* (* (+ re im) (+ re im)) (+ re im)) (* (* (- re im) (- re im)) (- re im))) (* (cbrt (* (+ re im) (- re im))) (cbrt (* (+ re im) (- re im)))) (cbrt (* (+ re im) (- re im))) (* (* (* (+ re im) (- re im)) (* (+ re im) (- re im))) (* (+ re im) (- re im))) (sqrt (* (+ re im) (- re im))) (sqrt (* (+ re im) (- re im))) (* (+ (pow re 3) (pow im 3)) (- (pow re 3) (pow im 3))) (* (+ (* re re) (- (* im im) (* re im))) (+ (* re re) (+ (* im im) (* re im)))) (* (+ (pow re 3) (pow im 3)) (- (* re re) (* im im))) (* (+ (* re re) (- (* im im) (* re im))) (+ re im)) (* (- (* re re) (* im im)) (- (pow re 3) (pow im 3))) (* (- re im) (+ (* re re) (+ (* im im) (* re im)))) (* (- (* re re) (* im im)) (- (* re re) (* im im))) (* (- re im) (+ re im)) (* (sqrt (+ re im)) (sqrt (- re im))) (* (sqrt (+ re im)) (sqrt (- re im))) (* (+ re im) (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (+ re im) (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (* (+ re im) (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* (sqrt im) (sqrt im))))) (* (+ re im) (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (* (+ re im) (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* im 1)))) (* (+ re im) (fma (- im) 1 (* im 1))) (* (+ re im) (fma (sqrt re) (sqrt re) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (+ re im) (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (* (+ re im) (fma (sqrt re) (sqrt re) (- (* (sqrt im) (sqrt im))))) (* (+ re im) (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (* (+ re im) (fma (sqrt re) (sqrt re) (- (* im 1)))) (* (+ re im) (fma (- im) 1 (* im 1))) (* (+ re im) (fma 1 re (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (+ re im) (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (* (+ re im) (fma 1 re (- (* (sqrt im) (sqrt im))))) (* (+ re im) (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (* (+ re im) (fma 1 re (- (* im 1)))) (* (+ re im) (fma (- im) 1 (* im 1))) (* (+ re im) re) (* (+ re im) (- im)) (* (+ re im) re) (* (+ re im) (- im)) (* (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* (cbrt im) (* (cbrt im) (cbrt im))))) (+ re im)) (* (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))) (+ re im)) (* (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* (sqrt im) (sqrt im)))) (+ re im)) (* (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))) (+ re im)) (* (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* im 1))) (+ re im)) (* (fma (- im) 1 (* im 1)) (+ re im)) (* (fma (sqrt re) (sqrt re) (- (* (cbrt im) (* (cbrt im) (cbrt im))))) (+ re im)) (* (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))) (+ re im)) (* (fma (sqrt re) (sqrt re) (- (* (sqrt im) (sqrt im)))) (+ re im)) (* (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))) (+ re im)) (* (fma (sqrt re) (sqrt re) (- (* im 1))) (+ re im)) (* (fma (- im) 1 (* im 1)) (+ re im)) (* (fma 1 re (- (* (cbrt im) (* (cbrt im) (cbrt im))))) (+ re im)) (* (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))) (+ re im)) (* (fma 1 re (- (* (sqrt im) (sqrt im)))) (+ re im)) (* (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))) (+ re im)) (* (fma 1 re (- (* im 1))) (+ re im)) (* (fma (- im) 1 (* im 1)) (+ re im)) (* re (+ re im)) (* (- im) (+ re im)) (* re (+ re im)) (* (- im) (+ re im)) (* (+ re im) (* (cbrt (- re im)) (cbrt (- re im)))) (* (+ re im) (sqrt (- re im))) (* (+ re im) 1) (* (+ re im) (+ (sqrt re) (sqrt im))) (* (+ re im) 1) (* (cbrt (+ re im)) (- re im)) (* (sqrt (+ re im)) (- re im)) (* (+ re im) (- re im)) (* (+ re im) (- re im)) (* (+ re im) (- (pow re 3) (pow im 3))) (* (+ re im) (- (* re re) (* im im))) (* (+ (pow re 3) (pow im 3)) (- re im)) (* (- (* re re) (* im im)) (- re im)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) 16.522 * * [simplify]: Extracting # 0 : cost 0 16.522 * * [simplify]: Extracting # 1 : cost 0 16.522 * * [simplify]: Extracting # 2 : cost 0 16.522 * * [simplify]: Extracting # 3 : cost 0 16.522 * * [simplify]: Extracting # 4 : cost 0 16.523 * * [simplify]: Extracting # 5 : cost 0 16.523 * * [simplify]: Extracting # 6 : cost 0 16.523 * * [simplify]: Extracting # 7 : cost 0 16.523 * * [simplify]: Extracting # 8 : cost 0 16.523 * * [simplify]: Extracting # 9 : cost 0 16.523 * * [simplify]: iteration 0 : 120 enodes (cost 1016 ) 16.581 * * [simplify]: Extracting # 0 : cost 0 16.582 * * [simplify]: Extracting # 1 : cost 0 16.582 * * [simplify]: Extracting # 2 : cost 0 16.583 * * [simplify]: Extracting # 3 : cost 0 16.584 * * [simplify]: Extracting # 4 : cost 0 16.585 * * [simplify]: iteration 1 : 322 enodes (cost 837 ) 16.911 * * [simplify]: Extracting # 0 : cost 0 16.916 * * [simplify]: Extracting # 1 : cost 0 16.919 * * [simplify]: Extracting # 2 : cost 0 16.921 * * [simplify]: Extracting # 3 : cost 0 16.924 * * [simplify]: iteration 2 : 1100 enodes (cost 719 ) 17.886 * * [simplify]: Extracting # 0 : cost 0 17.908 * * [simplify]: Extracting # 1 : cost 0 17.919 * * [simplify]: Extracting # 2 : cost 0 17.930 * * [simplify]: Extracting # 3 : cost 0 17.942 * * [simplify]: Extracting # 4 : cost 0 17.953 * * [simplify]: iteration done: 5001 enodes (cost 695 ) 17.954 * [simplify]: Simplified to: (expm1 (* (+ re im) (- re im))) (log1p (* (+ re im) (- re im))) (fma re re (* im (- im))) (log (* (- re im) (+ re im))) (log (* (- re im) (+ re im))) (exp (* (+ re im) (- re im))) (pow (fma re re (* (- im) im)) 3) (* (cbrt (* (+ re im) (- re im))) (cbrt (* (+ re im) (- re im)))) (cbrt (* (+ re im) (- re im))) (pow (fma re re (* (- im) im)) 3) (sqrt (* (+ re im) (- re im))) (sqrt (* (+ re im) (- re im))) (* (+ (pow re 3) (pow im 3)) (- (pow re 3) (pow im 3))) (* (fma re re (* im (+ re im))) (fma re re (* im (- im re)))) (* (+ (pow re 3) (pow im 3)) (- (* re re) (* im im))) (* (+ re im) (fma re re (* im (- im re)))) (* (- (* re re) (* im im)) (- (pow re 3) (pow im 3))) (* (- re im) (fma re re (* im (+ re im)))) (* (* (+ re im) (- (* re re) (* im im))) (- re im)) (fma re re (* im (- im))) (* (sqrt (+ re im)) (sqrt (- re im))) (* (sqrt (+ re im)) (sqrt (- re im))) (* (- (pow (cbrt re) 3) im) (+ re im)) (* (+ (- im) im) (+ re im)) (* (- (pow (cbrt re) 3) im) (+ re im)) (* (+ (- im) im) (+ re im)) (* (- (pow (cbrt re) 3) im) (+ re im)) (* (+ (- im) im) (+ re im)) (fma re re (* im (- im))) (* (+ (- im) im) (+ re im)) (fma re re (* im (- im))) (* (+ (- im) im) (+ re im)) (fma re re (* im (- im))) (* (+ (- im) im) (+ re im)) (fma re re (* im (- im))) (* (+ (- im) im) (+ re im)) (fma re re (* im (- im))) (* (+ (- im) im) (+ re im)) (fma re re (* im (- im))) (* (+ (- im) im) (+ re im)) (* (+ re im) re) (* (- im) (+ re im)) (* (+ re im) re) (* (- im) (+ re im)) (* (- (pow (cbrt re) 3) im) (+ re im)) (* (+ (- im) im) (+ re im)) (* (- (pow (cbrt re) 3) im) (+ re im)) (* (+ (- im) im) (+ re im)) (* (- (pow (cbrt re) 3) im) (+ re im)) (* (+ (- im) im) (+ re im)) (fma re re (* im (- im))) (* (+ (- im) im) (+ re im)) (fma re re (* im (- im))) (* (+ (- im) im) (+ re im)) (fma re re (* im (- im))) (* (+ (- im) im) (+ re im)) (fma re re (* im (- im))) (* (+ (- im) im) (+ re im)) (fma re re (* im (- im))) (* (+ (- im) im) (+ re im)) (fma re re (* im (- im))) (* (+ (- im) im) (+ re im)) (* (+ re im) re) (* (- im) (+ re im)) (* (+ re im) re) (* (- im) (+ re im)) (* (+ re im) (* (cbrt (- re im)) (cbrt (- re im)))) (* (+ re im) (sqrt (- re im))) (+ re im) (* (+ re im) (+ (sqrt re) (sqrt im))) (+ re im) (* (cbrt (+ re im)) (- re im)) (* (sqrt (+ re im)) (- re im)) (fma re re (* im (- im))) (fma re re (* im (- im))) (* (+ re im) (- (pow re 3) (pow im 3))) (* (+ re im) (- (* re re) (* im im))) (* (+ (pow re 3) (pow im 3)) (- re im)) (* (* (- re im) (- re im)) (+ re im)) (fma re re (* im (- im))) (fma re re (* im (- im))) (fma re re (* im (- im))) 17.955 * * * [progress]: adding candidates to table 18.076 * * [progress]: iteration 3 / 4 18.076 * * * [progress]: picking best candidate 18.077 * * * * [pick]: Picked # 18.077 * * * [progress]: localizing error 18.083 * * * [progress]: generating rewritten candidates 18.083 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 18.084 * * * [progress]: generating series expansions 18.084 * * * * [progress]: [ 1 / 1 ] generating series at (2) 18.084 * [backup-simplify]: Simplify (fma re re (* im (- im))) into (fma re re (* -1 (pow im 2))) 18.084 * [approximate]: Taking taylor expansion of (fma re re (* -1 (pow im 2))) in (re im) around 0 18.084 * [taylor]: Taking taylor expansion of (fma re re (* -1 (pow im 2))) in im 18.086 * [taylor]: Rewrote expression to (+ (* re re) (* -1 (pow im 2))) 18.086 * [taylor]: Taking taylor expansion of (* re re) in im 18.086 * [taylor]: Taking taylor expansion of re in im 18.086 * [backup-simplify]: Simplify re into re 18.086 * [taylor]: Taking taylor expansion of re in im 18.086 * [backup-simplify]: Simplify re into re 18.086 * [taylor]: Taking taylor expansion of (* -1 (pow im 2)) in im 18.086 * [taylor]: Taking taylor expansion of -1 in im 18.086 * [backup-simplify]: Simplify -1 into -1 18.086 * [taylor]: Taking taylor expansion of (pow im 2) in im 18.086 * [taylor]: Taking taylor expansion of im in im 18.086 * [backup-simplify]: Simplify 0 into 0 18.086 * [backup-simplify]: Simplify 1 into 1 18.086 * [taylor]: Taking taylor expansion of (fma re re (* -1 (pow im 2))) in re 18.086 * [taylor]: Rewrote expression to (+ (* re re) (* -1 (pow im 2))) 18.086 * [taylor]: Taking taylor expansion of (* re re) in re 18.086 * [taylor]: Taking taylor expansion of re in re 18.086 * [backup-simplify]: Simplify 0 into 0 18.086 * [backup-simplify]: Simplify 1 into 1 18.086 * [taylor]: Taking taylor expansion of re in re 18.086 * [backup-simplify]: Simplify 0 into 0 18.086 * [backup-simplify]: Simplify 1 into 1 18.086 * [taylor]: Taking taylor expansion of (* -1 (pow im 2)) in re 18.086 * [taylor]: Taking taylor expansion of -1 in re 18.086 * [backup-simplify]: Simplify -1 into -1 18.086 * [taylor]: Taking taylor expansion of (pow im 2) in re 18.086 * [taylor]: Taking taylor expansion of im in re 18.086 * [backup-simplify]: Simplify im into im 18.086 * [taylor]: Taking taylor expansion of (fma re re (* -1 (pow im 2))) in re 18.086 * [taylor]: Rewrote expression to (+ (* re re) (* -1 (pow im 2))) 18.086 * [taylor]: Taking taylor expansion of (* re re) in re 18.087 * [taylor]: Taking taylor expansion of re in re 18.087 * [backup-simplify]: Simplify 0 into 0 18.087 * [backup-simplify]: Simplify 1 into 1 18.087 * [taylor]: Taking taylor expansion of re in re 18.087 * [backup-simplify]: Simplify 0 into 0 18.087 * [backup-simplify]: Simplify 1 into 1 18.087 * [taylor]: Taking taylor expansion of (* -1 (pow im 2)) in re 18.087 * [taylor]: Taking taylor expansion of -1 in re 18.087 * [backup-simplify]: Simplify -1 into -1 18.087 * [taylor]: Taking taylor expansion of (pow im 2) in re 18.087 * [taylor]: Taking taylor expansion of im in re 18.087 * [backup-simplify]: Simplify im into im 18.087 * [backup-simplify]: Simplify (* 0 0) into 0 18.087 * [backup-simplify]: Simplify (* im im) into (pow im 2) 18.087 * [backup-simplify]: Simplify (* -1 (pow im 2)) into (* -1 (pow im 2)) 18.087 * [backup-simplify]: Simplify (+ 0 (* -1 (pow im 2))) into (- (pow im 2)) 18.087 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 18.087 * [taylor]: Taking taylor expansion of (pow im 2) in im 18.087 * [taylor]: Taking taylor expansion of im in im 18.087 * [backup-simplify]: Simplify 0 into 0 18.087 * [backup-simplify]: Simplify 1 into 1 18.088 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 18.088 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 18.088 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (pow im 2))) into 0 18.088 * [backup-simplify]: Simplify (+ 0 0) into 0 18.088 * [taylor]: Taking taylor expansion of 0 in im 18.089 * [backup-simplify]: Simplify 0 into 0 18.089 * [backup-simplify]: Simplify 0 into 0 18.089 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 18.089 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 18.090 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (pow im 2)))) into 0 18.090 * [backup-simplify]: Simplify (+ 1 0) into 1 18.090 * [taylor]: Taking taylor expansion of 1 in im 18.090 * [backup-simplify]: Simplify 1 into 1 18.090 * [backup-simplify]: Simplify 1 into 1 18.090 * [backup-simplify]: Simplify 0 into 0 18.090 * [backup-simplify]: Simplify (* 1 1) into 1 18.091 * [backup-simplify]: Simplify (- 1) into -1 18.091 * [backup-simplify]: Simplify -1 into -1 18.091 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 18.092 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 18.092 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow im 2))))) into 0 18.093 * [backup-simplify]: Simplify (+ 0 0) into 0 18.093 * [taylor]: Taking taylor expansion of 0 in im 18.093 * [backup-simplify]: Simplify 0 into 0 18.093 * [backup-simplify]: Simplify 0 into 0 18.093 * [backup-simplify]: Simplify 0 into 0 18.093 * [backup-simplify]: Simplify 0 into 0 18.093 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.093 * [backup-simplify]: Simplify (- 0) into 0 18.093 * [backup-simplify]: Simplify 0 into 0 18.094 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 18.095 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 18.096 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow im 2)))))) into 0 18.096 * [backup-simplify]: Simplify (+ 0 0) into 0 18.096 * [taylor]: Taking taylor expansion of 0 in im 18.096 * [backup-simplify]: Simplify 0 into 0 18.096 * [backup-simplify]: Simplify 0 into 0 18.096 * [backup-simplify]: Simplify 0 into 0 18.096 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 18.097 * [backup-simplify]: Simplify (fma (/ 1 re) (/ 1 re) (* (/ 1 im) (- (/ 1 im)))) into (fma (/ 1 re) (/ 1 re) (/ -1 (pow im 2))) 18.097 * [approximate]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (/ -1 (pow im 2))) in (re im) around 0 18.097 * [taylor]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (/ -1 (pow im 2))) in im 18.097 * [taylor]: Rewrote expression to (+ (* (/ 1 re) (/ 1 re)) (/ -1 (pow im 2))) 18.097 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 18.097 * [taylor]: Taking taylor expansion of (/ 1 re) in im 18.097 * [taylor]: Taking taylor expansion of re in im 18.097 * [backup-simplify]: Simplify re into re 18.097 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 18.097 * [taylor]: Taking taylor expansion of (/ 1 re) in im 18.097 * [taylor]: Taking taylor expansion of re in im 18.097 * [backup-simplify]: Simplify re into re 18.097 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 18.097 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 18.097 * [taylor]: Taking taylor expansion of -1 in im 18.097 * [backup-simplify]: Simplify -1 into -1 18.097 * [taylor]: Taking taylor expansion of (pow im 2) in im 18.097 * [taylor]: Taking taylor expansion of im in im 18.097 * [backup-simplify]: Simplify 0 into 0 18.097 * [backup-simplify]: Simplify 1 into 1 18.097 * [backup-simplify]: Simplify (* 1 1) into 1 18.098 * [backup-simplify]: Simplify (/ -1 1) into -1 18.098 * [taylor]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (/ -1 (pow im 2))) in re 18.098 * [taylor]: Rewrote expression to (+ (* (/ 1 re) (/ 1 re)) (/ -1 (pow im 2))) 18.098 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 18.098 * [taylor]: Taking taylor expansion of (/ 1 re) in re 18.098 * [taylor]: Taking taylor expansion of re in re 18.098 * [backup-simplify]: Simplify 0 into 0 18.098 * [backup-simplify]: Simplify 1 into 1 18.098 * [backup-simplify]: Simplify (/ 1 1) into 1 18.098 * [taylor]: Taking taylor expansion of (/ 1 re) in re 18.098 * [taylor]: Taking taylor expansion of re in re 18.098 * [backup-simplify]: Simplify 0 into 0 18.099 * [backup-simplify]: Simplify 1 into 1 18.099 * [backup-simplify]: Simplify (/ 1 1) into 1 18.099 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in re 18.099 * [taylor]: Taking taylor expansion of -1 in re 18.099 * [backup-simplify]: Simplify -1 into -1 18.099 * [taylor]: Taking taylor expansion of (pow im 2) in re 18.099 * [taylor]: Taking taylor expansion of im in re 18.099 * [backup-simplify]: Simplify im into im 18.099 * [backup-simplify]: Simplify (* im im) into (pow im 2) 18.099 * [backup-simplify]: Simplify (/ -1 (pow im 2)) into (/ -1 (pow im 2)) 18.099 * [taylor]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (/ -1 (pow im 2))) in re 18.100 * [taylor]: Rewrote expression to (+ (* (/ 1 re) (/ 1 re)) (/ -1 (pow im 2))) 18.100 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 18.100 * [taylor]: Taking taylor expansion of (/ 1 re) in re 18.100 * [taylor]: Taking taylor expansion of re in re 18.100 * [backup-simplify]: Simplify 0 into 0 18.100 * [backup-simplify]: Simplify 1 into 1 18.100 * [backup-simplify]: Simplify (/ 1 1) into 1 18.100 * [taylor]: Taking taylor expansion of (/ 1 re) in re 18.100 * [taylor]: Taking taylor expansion of re in re 18.100 * [backup-simplify]: Simplify 0 into 0 18.100 * [backup-simplify]: Simplify 1 into 1 18.101 * [backup-simplify]: Simplify (/ 1 1) into 1 18.101 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in re 18.101 * [taylor]: Taking taylor expansion of -1 in re 18.101 * [backup-simplify]: Simplify -1 into -1 18.101 * [taylor]: Taking taylor expansion of (pow im 2) in re 18.101 * [taylor]: Taking taylor expansion of im in re 18.101 * [backup-simplify]: Simplify im into im 18.101 * [backup-simplify]: Simplify (* im im) into (pow im 2) 18.101 * [backup-simplify]: Simplify (/ -1 (pow im 2)) into (/ -1 (pow im 2)) 18.102 * [backup-simplify]: Simplify (* 1 1) into 1 18.102 * [backup-simplify]: Simplify (+ 1 0) into 1 18.102 * [taylor]: Taking taylor expansion of 1 in im 18.102 * [backup-simplify]: Simplify 1 into 1 18.103 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.104 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.105 * [backup-simplify]: Simplify (+ 0 0) into 0 18.105 * [taylor]: Taking taylor expansion of 0 in im 18.105 * [backup-simplify]: Simplify 0 into 0 18.106 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.108 * [backup-simplify]: Simplify (+ 0 (/ -1 (pow im 2))) into (- (/ 1 (pow im 2))) 18.108 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 18.108 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 18.108 * [taylor]: Taking taylor expansion of (pow im 2) in im 18.108 * [taylor]: Taking taylor expansion of im in im 18.108 * [backup-simplify]: Simplify 0 into 0 18.108 * [backup-simplify]: Simplify 1 into 1 18.108 * [backup-simplify]: Simplify (* 1 1) into 1 18.109 * [backup-simplify]: Simplify (/ 1 1) into 1 18.110 * [backup-simplify]: Simplify (- 1) into -1 18.110 * [backup-simplify]: Simplify -1 into -1 18.110 * [backup-simplify]: Simplify 1 into 1 18.111 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.112 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.113 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 18.114 * [backup-simplify]: Simplify (- (/ 0 (pow im 2)) (+ (* (/ -1 (pow im 2)) (/ 0 (pow im 2))))) into 0 18.114 * [backup-simplify]: Simplify (+ 0 0) into 0 18.114 * [taylor]: Taking taylor expansion of 0 in im 18.114 * [backup-simplify]: Simplify 0 into 0 18.115 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.116 * [backup-simplify]: Simplify (- 0) into 0 18.116 * [backup-simplify]: Simplify 0 into 0 18.116 * [backup-simplify]: Simplify 0 into 0 18.116 * [backup-simplify]: Simplify 0 into 0 18.117 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.120 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 18.120 * [backup-simplify]: Simplify (- (/ 0 (pow im 2)) (+ (* (/ -1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 18.121 * [backup-simplify]: Simplify (+ 0 0) into 0 18.121 * [taylor]: Taking taylor expansion of 0 in im 18.121 * [backup-simplify]: Simplify 0 into 0 18.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.123 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.123 * [backup-simplify]: Simplify (- 0) into 0 18.123 * [backup-simplify]: Simplify 0 into 0 18.123 * [backup-simplify]: Simplify 0 into 0 18.123 * [backup-simplify]: Simplify 0 into 0 18.124 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 18.124 * [backup-simplify]: Simplify (fma (/ 1 (- re)) (/ 1 (- re)) (* (/ 1 (- im)) (- (/ 1 (- im))))) into (fma (/ -1 re) (/ -1 re) (/ -1 (pow im 2))) 18.124 * [approximate]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (/ -1 (pow im 2))) in (re im) around 0 18.124 * [taylor]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (/ -1 (pow im 2))) in im 18.124 * [taylor]: Rewrote expression to (+ (* (/ -1 re) (/ -1 re)) (/ -1 (pow im 2))) 18.124 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 18.124 * [taylor]: Taking taylor expansion of (/ -1 re) in im 18.125 * [taylor]: Taking taylor expansion of -1 in im 18.125 * [backup-simplify]: Simplify -1 into -1 18.125 * [taylor]: Taking taylor expansion of re in im 18.125 * [backup-simplify]: Simplify re into re 18.125 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 18.125 * [taylor]: Taking taylor expansion of (/ -1 re) in im 18.125 * [taylor]: Taking taylor expansion of -1 in im 18.125 * [backup-simplify]: Simplify -1 into -1 18.125 * [taylor]: Taking taylor expansion of re in im 18.125 * [backup-simplify]: Simplify re into re 18.125 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 18.125 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 18.125 * [taylor]: Taking taylor expansion of -1 in im 18.125 * [backup-simplify]: Simplify -1 into -1 18.125 * [taylor]: Taking taylor expansion of (pow im 2) in im 18.125 * [taylor]: Taking taylor expansion of im in im 18.125 * [backup-simplify]: Simplify 0 into 0 18.125 * [backup-simplify]: Simplify 1 into 1 18.126 * [backup-simplify]: Simplify (* 1 1) into 1 18.126 * [backup-simplify]: Simplify (/ -1 1) into -1 18.126 * [taylor]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (/ -1 (pow im 2))) in re 18.126 * [taylor]: Rewrote expression to (+ (* (/ -1 re) (/ -1 re)) (/ -1 (pow im 2))) 18.126 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 18.126 * [taylor]: Taking taylor expansion of (/ -1 re) in re 18.126 * [taylor]: Taking taylor expansion of -1 in re 18.126 * [backup-simplify]: Simplify -1 into -1 18.126 * [taylor]: Taking taylor expansion of re in re 18.126 * [backup-simplify]: Simplify 0 into 0 18.126 * [backup-simplify]: Simplify 1 into 1 18.126 * [backup-simplify]: Simplify (/ -1 1) into -1 18.126 * [taylor]: Taking taylor expansion of (/ -1 re) in re 18.126 * [taylor]: Taking taylor expansion of -1 in re 18.126 * [backup-simplify]: Simplify -1 into -1 18.126 * [taylor]: Taking taylor expansion of re in re 18.127 * [backup-simplify]: Simplify 0 into 0 18.127 * [backup-simplify]: Simplify 1 into 1 18.127 * [backup-simplify]: Simplify (/ -1 1) into -1 18.127 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in re 18.127 * [taylor]: Taking taylor expansion of -1 in re 18.127 * [backup-simplify]: Simplify -1 into -1 18.127 * [taylor]: Taking taylor expansion of (pow im 2) in re 18.127 * [taylor]: Taking taylor expansion of im in re 18.127 * [backup-simplify]: Simplify im into im 18.127 * [backup-simplify]: Simplify (* im im) into (pow im 2) 18.127 * [backup-simplify]: Simplify (/ -1 (pow im 2)) into (/ -1 (pow im 2)) 18.127 * [taylor]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (/ -1 (pow im 2))) in re 18.127 * [taylor]: Rewrote expression to (+ (* (/ -1 re) (/ -1 re)) (/ -1 (pow im 2))) 18.127 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 18.127 * [taylor]: Taking taylor expansion of (/ -1 re) in re 18.127 * [taylor]: Taking taylor expansion of -1 in re 18.127 * [backup-simplify]: Simplify -1 into -1 18.127 * [taylor]: Taking taylor expansion of re in re 18.127 * [backup-simplify]: Simplify 0 into 0 18.127 * [backup-simplify]: Simplify 1 into 1 18.128 * [backup-simplify]: Simplify (/ -1 1) into -1 18.128 * [taylor]: Taking taylor expansion of (/ -1 re) in re 18.128 * [taylor]: Taking taylor expansion of -1 in re 18.128 * [backup-simplify]: Simplify -1 into -1 18.128 * [taylor]: Taking taylor expansion of re in re 18.128 * [backup-simplify]: Simplify 0 into 0 18.128 * [backup-simplify]: Simplify 1 into 1 18.128 * [backup-simplify]: Simplify (/ -1 1) into -1 18.128 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in re 18.128 * [taylor]: Taking taylor expansion of -1 in re 18.128 * [backup-simplify]: Simplify -1 into -1 18.128 * [taylor]: Taking taylor expansion of (pow im 2) in re 18.128 * [taylor]: Taking taylor expansion of im in re 18.128 * [backup-simplify]: Simplify im into im 18.128 * [backup-simplify]: Simplify (* im im) into (pow im 2) 18.128 * [backup-simplify]: Simplify (/ -1 (pow im 2)) into (/ -1 (pow im 2)) 18.128 * [backup-simplify]: Simplify (* -1 -1) into 1 18.129 * [backup-simplify]: Simplify (+ 1 0) into 1 18.129 * [taylor]: Taking taylor expansion of 1 in im 18.129 * [backup-simplify]: Simplify 1 into 1 18.129 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 18.130 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 18.130 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 18.130 * [backup-simplify]: Simplify (+ 0 0) into 0 18.130 * [taylor]: Taking taylor expansion of 0 in im 18.130 * [backup-simplify]: Simplify 0 into 0 18.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.132 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.132 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 18.132 * [backup-simplify]: Simplify (+ 0 (/ -1 (pow im 2))) into (- (/ 1 (pow im 2))) 18.132 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 18.132 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 18.132 * [taylor]: Taking taylor expansion of (pow im 2) in im 18.132 * [taylor]: Taking taylor expansion of im in im 18.132 * [backup-simplify]: Simplify 0 into 0 18.132 * [backup-simplify]: Simplify 1 into 1 18.133 * [backup-simplify]: Simplify (* 1 1) into 1 18.133 * [backup-simplify]: Simplify (/ 1 1) into 1 18.133 * [backup-simplify]: Simplify (- 1) into -1 18.133 * [backup-simplify]: Simplify -1 into -1 18.133 * [backup-simplify]: Simplify 1 into 1 18.134 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.134 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.135 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 18.135 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 18.135 * [backup-simplify]: Simplify (- (/ 0 (pow im 2)) (+ (* (/ -1 (pow im 2)) (/ 0 (pow im 2))))) into 0 18.136 * [backup-simplify]: Simplify (+ 0 0) into 0 18.136 * [taylor]: Taking taylor expansion of 0 in im 18.136 * [backup-simplify]: Simplify 0 into 0 18.136 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.137 * [backup-simplify]: Simplify (- 0) into 0 18.137 * [backup-simplify]: Simplify 0 into 0 18.137 * [backup-simplify]: Simplify 0 into 0 18.137 * [backup-simplify]: Simplify 0 into 0 18.137 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.138 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.139 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 18.139 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 18.139 * [backup-simplify]: Simplify (- (/ 0 (pow im 2)) (+ (* (/ -1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 18.139 * [backup-simplify]: Simplify (+ 0 0) into 0 18.139 * [taylor]: Taking taylor expansion of 0 in im 18.139 * [backup-simplify]: Simplify 0 into 0 18.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.141 * [backup-simplify]: Simplify (- 0) into 0 18.141 * [backup-simplify]: Simplify 0 into 0 18.141 * [backup-simplify]: Simplify 0 into 0 18.141 * [backup-simplify]: Simplify 0 into 0 18.141 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 18.141 * * * [progress]: simplifying candidates 18.142 * [simplify]: Simplifying: (expm1 (fma re re (* im (- im)))) (log1p (fma re re (* im (- im)))) (* re re) (log (fma re re (* im (- im)))) (exp (fma re re (* im (- im)))) (* (cbrt (fma re re (* im (- im)))) (cbrt (fma re re (* im (- im))))) (cbrt (fma re re (* im (- im)))) (* (* (fma re re (* im (- im))) (fma re re (* im (- im)))) (fma re re (* im (- im)))) (sqrt (fma re re (* im (- im)))) (sqrt (fma re re (* im (- im)))) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) 18.142 * * [simplify]: Extracting # 0 : cost 0 18.142 * * [simplify]: Extracting # 1 : cost 0 18.142 * * [simplify]: Extracting # 2 : cost 0 18.142 * * [simplify]: Extracting # 3 : cost 0 18.142 * * [simplify]: Extracting # 4 : cost 0 18.142 * * [simplify]: Extracting # 5 : cost 0 18.142 * * [simplify]: Extracting # 6 : cost 0 18.142 * * [simplify]: iteration 0 : 19 enodes (cost 120 ) 18.146 * * [simplify]: Extracting # 0 : cost 0 18.146 * * [simplify]: Extracting # 1 : cost 0 18.146 * * [simplify]: Extracting # 2 : cost 0 18.146 * * [simplify]: Extracting # 3 : cost 0 18.146 * * [simplify]: iteration 1 : 30 enodes (cost 120 ) 18.153 * * [simplify]: Extracting # 0 : cost 0 18.153 * * [simplify]: Extracting # 1 : cost 0 18.153 * * [simplify]: Extracting # 2 : cost 0 18.153 * * [simplify]: iteration 2 : 65 enodes (cost 106 ) 18.181 * * [simplify]: Extracting # 0 : cost 0 18.181 * * [simplify]: Extracting # 1 : cost 0 18.182 * * [simplify]: Extracting # 2 : cost 0 18.182 * * [simplify]: Extracting # 3 : cost 0 18.182 * * [simplify]: iteration 3 : 208 enodes (cost 106 ) 18.329 * * [simplify]: Extracting # 0 : cost 0 18.329 * * [simplify]: Extracting # 1 : cost 0 18.330 * * [simplify]: Extracting # 2 : cost 0 18.331 * * [simplify]: Extracting # 3 : cost 0 18.332 * * [simplify]: Extracting # 4 : cost 0 18.332 * * [simplify]: iteration 4 : 875 enodes (cost 106 ) 19.130 * * [simplify]: Extracting # 0 : cost 0 19.135 * * [simplify]: Extracting # 1 : cost 0 19.142 * * [simplify]: Extracting # 2 : cost 0 19.154 * * [simplify]: Extracting # 3 : cost 0 19.160 * * [simplify]: Extracting # 4 : cost 0 19.166 * * [simplify]: iteration done: 5001 enodes (cost 106 ) 19.166 * [simplify]: Simplified to: (expm1 (fma re re (* im (- im)))) (log1p (fma re re (* im (- im)))) (* re re) (log (fma re re (* im (- im)))) (exp (fma re re (* im (- im)))) (* (cbrt (fma re re (* im (- im)))) (cbrt (fma re re (* im (- im))))) (cbrt (fma re re (* im (- im)))) (pow (- (pow re 2) (pow im 2)) 3) (sqrt (fma re re (* im (- im)))) (sqrt (fma re re (* im (- im)))) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) (- (pow re 2) (pow im 2)) 19.167 * * * [progress]: adding candidates to table 19.195 * [progress]: [Phase 3 of 3] Extracting. 19.195 * * [regime]: Finding splitpoints for: (# #) 19.196 * * * [regime-changes]: Trying 2 branch expressions: (im re) 19.197 * * * * [regimes]: Trying to branch on im from (# #) 19.212 * * * * [regimes]: Trying to branch on re from (# #) 19.225 * * * [regime]: Found split indices: #