0.601 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.106 * * * [progress]: [2/2] Setting up program. 0.112 * [progress]: [Phase 2 of 3] Improving. 0.112 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.142 * [simplify]: Simplifying: (- (* re re) (* im im)) 0.144 * * [simplify]: iteration 1: (5 enodes) 0.150 * * [simplify]: iteration 2: (11 enodes) 0.153 * * [simplify]: iteration 3: (18 enodes) 0.158 * * [simplify]: iteration 4: (35 enodes) 0.299 * * [simplify]: iteration 5: (66 enodes) 0.335 * * [simplify]: iteration 6: (159 enodes) 0.394 * * [simplify]: iteration 7: (286 enodes) 0.491 * * [simplify]: iteration 8: (519 enodes) 1.423 * * [simplify]: iteration 9: (1417 enodes) 9.721 * * [simplify]: Extracting #0: cost 1 inf + 0 9.721 * * [simplify]: Extracting #1: cost 167 inf + 0 9.725 * * [simplify]: Extracting #2: cost 585 inf + 209 9.733 * * [simplify]: Extracting #3: cost 391 inf + 32087 9.761 * * [simplify]: Extracting #4: cost 35 inf + 101720 9.800 * * [simplify]: Extracting #5: cost 0 inf + 107739 9.848 * * [simplify]: Extracting #6: cost 0 inf + 107616 9.886 * [simplify]: Simplified to: (- (* re re) (* im im)) 9.890 * * [progress]: iteration 1 / 4 9.890 * * * [progress]: picking best candidate 9.892 * * * * [pick]: Picked # 9.892 * * * [progress]: localizing error 9.902 * * * [progress]: generating rewritten candidates 9.902 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 9.912 * * * [progress]: generating series expansions 9.912 * * * * [progress]: [ 1 / 1 ] generating series at (2) 9.917 * [backup-simplify]: Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2)) 9.917 * [approximate]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0 9.918 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im 9.918 * [taylor]: Taking taylor expansion of (pow re 2) in im 9.918 * [taylor]: Taking taylor expansion of re in im 9.918 * [backup-simplify]: Simplify re into re 9.918 * [taylor]: Taking taylor expansion of (pow im 2) in im 9.918 * [taylor]: Taking taylor expansion of im in im 9.918 * [backup-simplify]: Simplify 0 into 0 9.918 * [backup-simplify]: Simplify 1 into 1 9.919 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 9.919 * [taylor]: Taking taylor expansion of (pow re 2) in re 9.919 * [taylor]: Taking taylor expansion of re in re 9.919 * [backup-simplify]: Simplify 0 into 0 9.919 * [backup-simplify]: Simplify 1 into 1 9.919 * [taylor]: Taking taylor expansion of (pow im 2) in re 9.919 * [taylor]: Taking taylor expansion of im in re 9.919 * [backup-simplify]: Simplify im into im 9.919 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 9.919 * [taylor]: Taking taylor expansion of (pow re 2) in re 9.919 * [taylor]: Taking taylor expansion of re in re 9.919 * [backup-simplify]: Simplify 0 into 0 9.919 * [backup-simplify]: Simplify 1 into 1 9.919 * [taylor]: Taking taylor expansion of (pow im 2) in re 9.919 * [taylor]: Taking taylor expansion of im in re 9.919 * [backup-simplify]: Simplify im into im 9.919 * [backup-simplify]: Simplify (* im im) into (pow im 2) 9.920 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 9.920 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 9.920 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 9.920 * [taylor]: Taking taylor expansion of (pow im 2) in im 9.920 * [taylor]: Taking taylor expansion of im in im 9.920 * [backup-simplify]: Simplify 0 into 0 9.920 * [backup-simplify]: Simplify 1 into 1 9.920 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 9.920 * [backup-simplify]: Simplify (- 0) into 0 9.921 * [backup-simplify]: Simplify (+ 0 0) into 0 9.921 * [taylor]: Taking taylor expansion of 0 in im 9.921 * [backup-simplify]: Simplify 0 into 0 9.921 * [backup-simplify]: Simplify 0 into 0 9.921 * [backup-simplify]: Simplify (* 1 1) into 1 9.921 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 9.922 * [backup-simplify]: Simplify (- 0) into 0 9.922 * [backup-simplify]: Simplify (+ 1 0) into 1 9.922 * [taylor]: Taking taylor expansion of 1 in im 9.922 * [backup-simplify]: Simplify 1 into 1 9.922 * [backup-simplify]: Simplify 1 into 1 9.922 * [backup-simplify]: Simplify 0 into 0 9.923 * [backup-simplify]: Simplify (* 1 1) into 1 9.923 * [backup-simplify]: Simplify (- 1) into -1 9.923 * [backup-simplify]: Simplify -1 into -1 9.924 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.925 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 9.925 * [backup-simplify]: Simplify (- 0) into 0 9.925 * [backup-simplify]: Simplify (+ 0 0) into 0 9.925 * [taylor]: Taking taylor expansion of 0 in im 9.925 * [backup-simplify]: Simplify 0 into 0 9.926 * [backup-simplify]: Simplify 0 into 0 9.926 * [backup-simplify]: Simplify 0 into 0 9.926 * [backup-simplify]: Simplify 0 into 0 9.926 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.927 * [backup-simplify]: Simplify (- 0) into 0 9.927 * [backup-simplify]: Simplify 0 into 0 9.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.929 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 9.929 * [backup-simplify]: Simplify (- 0) into 0 9.930 * [backup-simplify]: Simplify (+ 0 0) into 0 9.930 * [taylor]: Taking taylor expansion of 0 in im 9.930 * [backup-simplify]: Simplify 0 into 0 9.930 * [backup-simplify]: Simplify 0 into 0 9.930 * [backup-simplify]: Simplify 0 into 0 9.930 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 9.931 * [backup-simplify]: Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 9.931 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 9.931 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 9.931 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 9.931 * [taylor]: Taking taylor expansion of (pow re 2) in im 9.931 * [taylor]: Taking taylor expansion of re in im 9.931 * [backup-simplify]: Simplify re into re 9.931 * [backup-simplify]: Simplify (* re re) into (pow re 2) 9.931 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 9.931 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 9.931 * [taylor]: Taking taylor expansion of (pow im 2) in im 9.931 * [taylor]: Taking taylor expansion of im in im 9.931 * [backup-simplify]: Simplify 0 into 0 9.931 * [backup-simplify]: Simplify 1 into 1 9.932 * [backup-simplify]: Simplify (* 1 1) into 1 9.932 * [backup-simplify]: Simplify (/ 1 1) into 1 9.932 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 9.932 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 9.932 * [taylor]: Taking taylor expansion of (pow re 2) in re 9.932 * [taylor]: Taking taylor expansion of re in re 9.932 * [backup-simplify]: Simplify 0 into 0 9.933 * [backup-simplify]: Simplify 1 into 1 9.933 * [backup-simplify]: Simplify (* 1 1) into 1 9.933 * [backup-simplify]: Simplify (/ 1 1) into 1 9.933 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 9.933 * [taylor]: Taking taylor expansion of (pow im 2) in re 9.933 * [taylor]: Taking taylor expansion of im in re 9.933 * [backup-simplify]: Simplify im into im 9.933 * [backup-simplify]: Simplify (* im im) into (pow im 2) 9.934 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 9.934 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 9.934 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 9.934 * [taylor]: Taking taylor expansion of (pow re 2) in re 9.934 * [taylor]: Taking taylor expansion of re in re 9.934 * [backup-simplify]: Simplify 0 into 0 9.934 * [backup-simplify]: Simplify 1 into 1 9.934 * [backup-simplify]: Simplify (* 1 1) into 1 9.935 * [backup-simplify]: Simplify (/ 1 1) into 1 9.935 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 9.935 * [taylor]: Taking taylor expansion of (pow im 2) in re 9.935 * [taylor]: Taking taylor expansion of im in re 9.935 * [backup-simplify]: Simplify im into im 9.935 * [backup-simplify]: Simplify (* im im) into (pow im 2) 9.935 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 9.935 * [backup-simplify]: Simplify (+ 1 0) into 1 9.935 * [taylor]: Taking taylor expansion of 1 in im 9.935 * [backup-simplify]: Simplify 1 into 1 9.936 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.938 * [backup-simplify]: Simplify (+ 0 0) into 0 9.938 * [taylor]: Taking taylor expansion of 0 in im 9.938 * [backup-simplify]: Simplify 0 into 0 9.939 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.940 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 9.940 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 9.940 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 9.940 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 9.940 * [taylor]: Taking taylor expansion of (pow im 2) in im 9.940 * [taylor]: Taking taylor expansion of im in im 9.940 * [backup-simplify]: Simplify 0 into 0 9.940 * [backup-simplify]: Simplify 1 into 1 9.940 * [backup-simplify]: Simplify (* 1 1) into 1 9.950 * [backup-simplify]: Simplify (/ 1 1) into 1 9.951 * [backup-simplify]: Simplify (- 1) into -1 9.951 * [backup-simplify]: Simplify -1 into -1 9.951 * [backup-simplify]: Simplify 1 into 1 9.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.953 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 9.954 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 9.954 * [backup-simplify]: Simplify (- 0) into 0 9.954 * [backup-simplify]: Simplify (+ 0 0) into 0 9.954 * [taylor]: Taking taylor expansion of 0 in im 9.954 * [backup-simplify]: Simplify 0 into 0 9.955 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.956 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.957 * [backup-simplify]: Simplify (- 0) into 0 9.957 * [backup-simplify]: Simplify 0 into 0 9.957 * [backup-simplify]: Simplify 0 into 0 9.957 * [backup-simplify]: Simplify 0 into 0 9.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.960 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 9.960 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 9.960 * [backup-simplify]: Simplify (- 0) into 0 9.961 * [backup-simplify]: Simplify (+ 0 0) into 0 9.961 * [taylor]: Taking taylor expansion of 0 in im 9.961 * [backup-simplify]: Simplify 0 into 0 9.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.963 * [backup-simplify]: Simplify (- 0) into 0 9.963 * [backup-simplify]: Simplify 0 into 0 9.963 * [backup-simplify]: Simplify 0 into 0 9.963 * [backup-simplify]: Simplify 0 into 0 9.964 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 9.964 * [backup-simplify]: Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 9.964 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 9.964 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 9.964 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 9.964 * [taylor]: Taking taylor expansion of (pow re 2) in im 9.964 * [taylor]: Taking taylor expansion of re in im 9.964 * [backup-simplify]: Simplify re into re 9.964 * [backup-simplify]: Simplify (* re re) into (pow re 2) 9.964 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 9.964 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 9.964 * [taylor]: Taking taylor expansion of (pow im 2) in im 9.964 * [taylor]: Taking taylor expansion of im in im 9.964 * [backup-simplify]: Simplify 0 into 0 9.964 * [backup-simplify]: Simplify 1 into 1 9.965 * [backup-simplify]: Simplify (* 1 1) into 1 9.965 * [backup-simplify]: Simplify (/ 1 1) into 1 9.965 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 9.965 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 9.965 * [taylor]: Taking taylor expansion of (pow re 2) in re 9.965 * [taylor]: Taking taylor expansion of re in re 9.965 * [backup-simplify]: Simplify 0 into 0 9.965 * [backup-simplify]: Simplify 1 into 1 9.966 * [backup-simplify]: Simplify (* 1 1) into 1 9.966 * [backup-simplify]: Simplify (/ 1 1) into 1 9.966 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 9.966 * [taylor]: Taking taylor expansion of (pow im 2) in re 9.966 * [taylor]: Taking taylor expansion of im in re 9.966 * [backup-simplify]: Simplify im into im 9.966 * [backup-simplify]: Simplify (* im im) into (pow im 2) 9.967 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 9.967 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 9.967 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 9.967 * [taylor]: Taking taylor expansion of (pow re 2) in re 9.967 * [taylor]: Taking taylor expansion of re in re 9.967 * [backup-simplify]: Simplify 0 into 0 9.967 * [backup-simplify]: Simplify 1 into 1 9.967 * [backup-simplify]: Simplify (* 1 1) into 1 9.968 * [backup-simplify]: Simplify (/ 1 1) into 1 9.968 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 9.968 * [taylor]: Taking taylor expansion of (pow im 2) in re 9.968 * [taylor]: Taking taylor expansion of im in re 9.968 * [backup-simplify]: Simplify im into im 9.968 * [backup-simplify]: Simplify (* im im) into (pow im 2) 9.968 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 9.968 * [backup-simplify]: Simplify (+ 1 0) into 1 9.968 * [taylor]: Taking taylor expansion of 1 in im 9.969 * [backup-simplify]: Simplify 1 into 1 9.969 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.970 * [backup-simplify]: Simplify (+ 0 0) into 0 9.970 * [taylor]: Taking taylor expansion of 0 in im 9.970 * [backup-simplify]: Simplify 0 into 0 9.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.972 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.973 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 9.973 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 9.973 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 9.973 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 9.973 * [taylor]: Taking taylor expansion of (pow im 2) in im 9.973 * [taylor]: Taking taylor expansion of im in im 9.973 * [backup-simplify]: Simplify 0 into 0 9.973 * [backup-simplify]: Simplify 1 into 1 9.973 * [backup-simplify]: Simplify (* 1 1) into 1 9.974 * [backup-simplify]: Simplify (/ 1 1) into 1 9.974 * [backup-simplify]: Simplify (- 1) into -1 9.974 * [backup-simplify]: Simplify -1 into -1 9.974 * [backup-simplify]: Simplify 1 into 1 9.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.976 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 9.976 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 9.977 * [backup-simplify]: Simplify (- 0) into 0 9.978 * [backup-simplify]: Simplify (+ 0 0) into 0 9.978 * [taylor]: Taking taylor expansion of 0 in im 9.978 * [backup-simplify]: Simplify 0 into 0 9.979 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.980 * [backup-simplify]: Simplify (- 0) into 0 9.980 * [backup-simplify]: Simplify 0 into 0 9.980 * [backup-simplify]: Simplify 0 into 0 9.980 * [backup-simplify]: Simplify 0 into 0 9.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.983 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 9.983 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 9.983 * [backup-simplify]: Simplify (- 0) into 0 9.984 * [backup-simplify]: Simplify (+ 0 0) into 0 9.984 * [taylor]: Taking taylor expansion of 0 in im 9.984 * [backup-simplify]: Simplify 0 into 0 9.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.986 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.986 * [backup-simplify]: Simplify (- 0) into 0 9.986 * [backup-simplify]: Simplify 0 into 0 9.986 * [backup-simplify]: Simplify 0 into 0 9.986 * [backup-simplify]: Simplify 0 into 0 9.987 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 9.987 * * * [progress]: simplifying candidates 9.987 * * * * [progress]: [ 1 / 20 ] simplifiying candidate # 9.987 * * * * [progress]: [ 2 / 20 ] simplifiying candidate # 9.987 * * * * [progress]: [ 3 / 20 ] simplifiying candidate # 9.987 * * * * [progress]: [ 4 / 20 ] simplifiying candidate # 9.987 * * * * [progress]: [ 5 / 20 ] simplifiying candidate # 9.987 * * * * [progress]: [ 6 / 20 ] simplifiying candidate # 9.987 * * * * [progress]: [ 7 / 20 ] simplifiying candidate # 9.987 * * * * [progress]: [ 8 / 20 ] simplifiying candidate # 9.987 * * * * [progress]: [ 9 / 20 ] simplifiying candidate # 9.988 * * * * [progress]: [ 10 / 20 ] simplifiying candidate # 9.988 * * * * [progress]: [ 11 / 20 ] simplifiying candidate # 9.988 * * * * [progress]: [ 12 / 20 ] simplifiying candidate # 9.988 * * * * [progress]: [ 13 / 20 ] simplifiying candidate # 9.988 * * * * [progress]: [ 14 / 20 ] simplifiying candidate # 9.988 * * * * [progress]: [ 15 / 20 ] simplifiying candidate # 9.988 * * * * [progress]: [ 16 / 20 ] simplifiying candidate # 9.988 * * * * [progress]: [ 17 / 20 ] simplifiying candidate # 9.988 * * * * [progress]: [ 18 / 20 ] simplifiying candidate # 9.988 * * * * [progress]: [ 19 / 20 ] simplifiying candidate # 9.988 * * * * [progress]: [ 20 / 20 ] simplifiying candidate # 9.989 * [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)) 9.990 * * [simplify]: iteration 1: (38 enodes) 10.005 * * [simplify]: iteration 2: (101 enodes) 10.050 * * [simplify]: iteration 3: (317 enodes) 10.318 * * [simplify]: iteration 4: (1426 enodes) 13.279 * * [simplify]: Extracting #0: cost 17 inf + 0 13.280 * * [simplify]: Extracting #1: cost 273 inf + 1 13.289 * * [simplify]: Extracting #2: cost 1177 inf + 9291 13.341 * * [simplify]: Extracting #3: cost 527 inf + 154369 13.457 * * [simplify]: Extracting #4: cost 73 inf + 260872 13.570 * * [simplify]: Extracting #5: cost 3 inf + 292033 13.679 * * [simplify]: Extracting #6: cost 0 inf + 292939 13.785 * [simplify]: Simplified to: (* (+ im re) (- re im)) 0 (expm1 (* (+ im re) (- re im))) (log1p (* (+ im re) (- re im))) (* (- im) im) (exp (* (+ im re) (- re im))) (log (* (+ im re) (- re im))) (exp (* (+ im re) (- re im))) (* (cbrt (* (+ im re) (- re im))) (cbrt (* (+ im re) (- re im)))) (cbrt (* (+ im re) (- re im))) (* (* (* (+ im re) (- re im)) (* (+ im re) (- re im))) (* (+ im re) (- re im))) (sqrt (* (+ im re) (- re im))) (sqrt (* (+ im re) (- re im))) (- (* (* (* re re) re) (* (* re re) re)) (* (* (* im im) (* im im)) (* im im))) (fma (* im im) (* im im) (* (* re re) (+ (* re re) (* im im)))) (* (- im) im) (* (+ (* re re) (* im im)) (- (* re re) (* im im))) (fma re re (* im im)) (+ im re) (- re im) (* (- im) im) (* (+ im re) (- re im)) (* (+ im re) (- re im)) (* (+ im re) (- re im)) 13.786 * * * [progress]: adding candidates to table 13.948 * * [progress]: iteration 2 / 4 13.948 * * * [progress]: picking best candidate 13.952 * * * * [pick]: Picked # 13.952 * * * [progress]: localizing error 13.961 * * * [progress]: generating rewritten candidates 13.961 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 13.991 * * * [progress]: generating series expansions 13.991 * * * * [progress]: [ 1 / 1 ] generating series at (2) 13.992 * [backup-simplify]: Simplify (* (+ re im) (- re im)) into (* (- re im) (+ re im)) 13.992 * [approximate]: Taking taylor expansion of (* (- re im) (+ re im)) in (re im) around 0 13.992 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in im 13.992 * [taylor]: Taking taylor expansion of (- re im) in im 13.992 * [taylor]: Taking taylor expansion of re in im 13.992 * [backup-simplify]: Simplify re into re 13.992 * [taylor]: Taking taylor expansion of im in im 13.992 * [backup-simplify]: Simplify 0 into 0 13.992 * [backup-simplify]: Simplify 1 into 1 13.992 * [taylor]: Taking taylor expansion of (+ re im) in im 13.992 * [taylor]: Taking taylor expansion of re in im 13.992 * [backup-simplify]: Simplify re into re 13.992 * [taylor]: Taking taylor expansion of im in im 13.992 * [backup-simplify]: Simplify 0 into 0 13.992 * [backup-simplify]: Simplify 1 into 1 13.992 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in re 13.992 * [taylor]: Taking taylor expansion of (- re im) in re 13.992 * [taylor]: Taking taylor expansion of re in re 13.992 * [backup-simplify]: Simplify 0 into 0 13.992 * [backup-simplify]: Simplify 1 into 1 13.992 * [taylor]: Taking taylor expansion of im in re 13.992 * [backup-simplify]: Simplify im into im 13.992 * [taylor]: Taking taylor expansion of (+ re im) in re 13.992 * [taylor]: Taking taylor expansion of re in re 13.992 * [backup-simplify]: Simplify 0 into 0 13.992 * [backup-simplify]: Simplify 1 into 1 13.992 * [taylor]: Taking taylor expansion of im in re 13.992 * [backup-simplify]: Simplify im into im 13.992 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in re 13.992 * [taylor]: Taking taylor expansion of (- re im) in re 13.992 * [taylor]: Taking taylor expansion of re in re 13.992 * [backup-simplify]: Simplify 0 into 0 13.992 * [backup-simplify]: Simplify 1 into 1 13.992 * [taylor]: Taking taylor expansion of im in re 13.992 * [backup-simplify]: Simplify im into im 13.992 * [taylor]: Taking taylor expansion of (+ re im) in re 13.992 * [taylor]: Taking taylor expansion of re in re 13.992 * [backup-simplify]: Simplify 0 into 0 13.992 * [backup-simplify]: Simplify 1 into 1 13.992 * [taylor]: Taking taylor expansion of im in re 13.992 * [backup-simplify]: Simplify im into im 13.992 * [backup-simplify]: Simplify (- im) into (- im) 13.992 * [backup-simplify]: Simplify (+ 0 (- im)) into (- im) 13.992 * [backup-simplify]: Simplify (+ 0 im) into im 13.992 * [backup-simplify]: Simplify (* (- im) im) into (* -1 (pow im 2)) 13.992 * [taylor]: Taking taylor expansion of (* -1 (pow im 2)) in im 13.992 * [taylor]: Taking taylor expansion of -1 in im 13.992 * [backup-simplify]: Simplify -1 into -1 13.992 * [taylor]: Taking taylor expansion of (pow im 2) in im 13.992 * [taylor]: Taking taylor expansion of im in im 13.992 * [backup-simplify]: Simplify 0 into 0 13.992 * [backup-simplify]: Simplify 1 into 1 13.993 * [backup-simplify]: Simplify (+ 1 0) into 1 13.993 * [backup-simplify]: Simplify (- 0) into 0 13.993 * [backup-simplify]: Simplify (+ 1 0) into 1 13.994 * [backup-simplify]: Simplify (+ (* (- im) 1) (* 1 im)) into 0 13.994 * [taylor]: Taking taylor expansion of 0 in im 13.994 * [backup-simplify]: Simplify 0 into 0 13.994 * [backup-simplify]: Simplify 0 into 0 13.994 * [backup-simplify]: Simplify (+ 0 0) into 0 13.994 * [backup-simplify]: Simplify (- 0) into 0 13.994 * [backup-simplify]: Simplify (+ 0 0) into 0 13.995 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 1) (* 0 im))) into 1 13.995 * [taylor]: Taking taylor expansion of 1 in im 13.995 * [backup-simplify]: Simplify 1 into 1 13.995 * [backup-simplify]: Simplify 1 into 1 13.995 * [backup-simplify]: Simplify 0 into 0 13.995 * [backup-simplify]: Simplify (* 1 1) into 1 13.995 * [backup-simplify]: Simplify (* -1 1) into -1 13.995 * [backup-simplify]: Simplify -1 into -1 13.995 * [backup-simplify]: Simplify (+ 0 0) into 0 13.996 * [backup-simplify]: Simplify (- 0) into 0 13.996 * [backup-simplify]: Simplify (+ 0 0) into 0 13.997 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 0) (+ (* 0 1) (* 0 im)))) into 0 13.997 * [taylor]: Taking taylor expansion of 0 in im 13.997 * [backup-simplify]: Simplify 0 into 0 13.997 * [backup-simplify]: Simplify 0 into 0 13.997 * [backup-simplify]: Simplify 0 into 0 13.997 * [backup-simplify]: Simplify 0 into 0 13.997 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.998 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 13.998 * [backup-simplify]: Simplify 0 into 0 13.998 * [backup-simplify]: Simplify (+ 0 0) into 0 13.998 * [backup-simplify]: Simplify (- 0) into 0 13.998 * [backup-simplify]: Simplify (+ 0 0) into 0 13.999 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 im))))) into 0 13.999 * [taylor]: Taking taylor expansion of 0 in im 13.999 * [backup-simplify]: Simplify 0 into 0 13.999 * [backup-simplify]: Simplify 0 into 0 13.999 * [backup-simplify]: Simplify 0 into 0 13.999 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 13.999 * [backup-simplify]: Simplify (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) into (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) 13.999 * [approximate]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in (re im) around 0 14.000 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in im 14.000 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in im 14.000 * [taylor]: Taking taylor expansion of (/ 1 re) in im 14.000 * [taylor]: Taking taylor expansion of re in im 14.000 * [backup-simplify]: Simplify re into re 14.000 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 14.000 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.000 * [taylor]: Taking taylor expansion of im in im 14.000 * [backup-simplify]: Simplify 0 into 0 14.000 * [backup-simplify]: Simplify 1 into 1 14.000 * [backup-simplify]: Simplify (/ 1 1) into 1 14.000 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im 14.000 * [taylor]: Taking taylor expansion of (/ 1 re) in im 14.000 * [taylor]: Taking taylor expansion of re in im 14.000 * [backup-simplify]: Simplify re into re 14.000 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 14.000 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.000 * [taylor]: Taking taylor expansion of im in im 14.000 * [backup-simplify]: Simplify 0 into 0 14.000 * [backup-simplify]: Simplify 1 into 1 14.000 * [backup-simplify]: Simplify (/ 1 1) into 1 14.000 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in re 14.000 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re 14.000 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.000 * [taylor]: Taking taylor expansion of re in re 14.000 * [backup-simplify]: Simplify 0 into 0 14.000 * [backup-simplify]: Simplify 1 into 1 14.001 * [backup-simplify]: Simplify (/ 1 1) into 1 14.001 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.001 * [taylor]: Taking taylor expansion of im in re 14.001 * [backup-simplify]: Simplify im into im 14.001 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.001 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 14.001 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.001 * [taylor]: Taking taylor expansion of re in re 14.001 * [backup-simplify]: Simplify 0 into 0 14.001 * [backup-simplify]: Simplify 1 into 1 14.001 * [backup-simplify]: Simplify (/ 1 1) into 1 14.001 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.001 * [taylor]: Taking taylor expansion of im in re 14.001 * [backup-simplify]: Simplify im into im 14.001 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.001 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in re 14.001 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re 14.001 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.001 * [taylor]: Taking taylor expansion of re in re 14.001 * [backup-simplify]: Simplify 0 into 0 14.001 * [backup-simplify]: Simplify 1 into 1 14.002 * [backup-simplify]: Simplify (/ 1 1) into 1 14.002 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.002 * [taylor]: Taking taylor expansion of im in re 14.002 * [backup-simplify]: Simplify im into im 14.002 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.002 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re 14.002 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.002 * [taylor]: Taking taylor expansion of re in re 14.002 * [backup-simplify]: Simplify 0 into 0 14.002 * [backup-simplify]: Simplify 1 into 1 14.002 * [backup-simplify]: Simplify (/ 1 1) into 1 14.002 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.002 * [taylor]: Taking taylor expansion of im in re 14.002 * [backup-simplify]: Simplify im into im 14.002 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.002 * [backup-simplify]: Simplify (+ 1 0) into 1 14.003 * [backup-simplify]: Simplify (+ 1 0) into 1 14.003 * [backup-simplify]: Simplify (* 1 1) into 1 14.003 * [taylor]: Taking taylor expansion of 1 in im 14.003 * [backup-simplify]: Simplify 1 into 1 14.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.004 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 14.004 * [backup-simplify]: Simplify (+ 0 (- (/ 1 im))) into (- (/ 1 im)) 14.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.004 * [backup-simplify]: Simplify (+ 0 (/ 1 im)) into (/ 1 im) 14.004 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 im))) (* (/ 1 im) 1)) into 0 14.005 * [taylor]: Taking taylor expansion of 0 in im 14.005 * [backup-simplify]: Simplify 0 into 0 14.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.005 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 14.005 * [backup-simplify]: Simplify (- 0) into 0 14.006 * [backup-simplify]: Simplify (+ 0 0) into 0 14.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.006 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 14.007 * [backup-simplify]: Simplify (+ 0 0) into 0 14.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) (- (/ 1 im))) (* 0 1))) into (- (/ 1 (pow im 2))) 14.007 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 14.007 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 14.007 * [taylor]: Taking taylor expansion of (pow im 2) in im 14.007 * [taylor]: Taking taylor expansion of im in im 14.007 * [backup-simplify]: Simplify 0 into 0 14.007 * [backup-simplify]: Simplify 1 into 1 14.008 * [backup-simplify]: Simplify (* 1 1) into 1 14.008 * [backup-simplify]: Simplify (/ 1 1) into 1 14.008 * [backup-simplify]: Simplify (- 1) into -1 14.008 * [backup-simplify]: Simplify -1 into -1 14.008 * [backup-simplify]: Simplify 1 into 1 14.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.009 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 14.009 * [backup-simplify]: Simplify (- 0) into 0 14.009 * [backup-simplify]: Simplify (+ 0 0) into 0 14.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.010 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 14.010 * [backup-simplify]: Simplify (+ 0 0) into 0 14.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 (- (/ 1 im))) (* 0 1)))) into 0 14.011 * [taylor]: Taking taylor expansion of 0 in im 14.011 * [backup-simplify]: Simplify 0 into 0 14.011 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.012 * [backup-simplify]: Simplify (- 0) into 0 14.012 * [backup-simplify]: Simplify 0 into 0 14.012 * [backup-simplify]: Simplify 0 into 0 14.012 * [backup-simplify]: Simplify 0 into 0 14.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.013 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 14.013 * [backup-simplify]: Simplify (- 0) into 0 14.013 * [backup-simplify]: Simplify (+ 0 0) into 0 14.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.014 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 14.014 * [backup-simplify]: Simplify (+ 0 0) into 0 14.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 0) (+ (* 0 (- (/ 1 im))) (* 0 1))))) into 0 14.015 * [taylor]: Taking taylor expansion of 0 in im 14.016 * [backup-simplify]: Simplify 0 into 0 14.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.018 * [backup-simplify]: Simplify (- 0) into 0 14.018 * [backup-simplify]: Simplify 0 into 0 14.018 * [backup-simplify]: Simplify 0 into 0 14.018 * [backup-simplify]: Simplify 0 into 0 14.018 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 14.019 * [backup-simplify]: Simplify (* (+ (/ 1 (- re)) (/ 1 (- im))) (- (/ 1 (- re)) (/ 1 (- im)))) into (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) 14.019 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in (re im) around 0 14.019 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in im 14.019 * [taylor]: Taking taylor expansion of -1 in im 14.019 * [backup-simplify]: Simplify -1 into -1 14.019 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re))) in im 14.019 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in im 14.019 * [taylor]: Taking taylor expansion of (/ 1 re) in im 14.019 * [taylor]: Taking taylor expansion of re in im 14.019 * [backup-simplify]: Simplify re into re 14.019 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 14.019 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.019 * [taylor]: Taking taylor expansion of im in im 14.019 * [backup-simplify]: Simplify 0 into 0 14.019 * [backup-simplify]: Simplify 1 into 1 14.019 * [backup-simplify]: Simplify (/ 1 1) into 1 14.019 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im 14.019 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.019 * [taylor]: Taking taylor expansion of im in im 14.020 * [backup-simplify]: Simplify 0 into 0 14.020 * [backup-simplify]: Simplify 1 into 1 14.020 * [backup-simplify]: Simplify (/ 1 1) into 1 14.020 * [taylor]: Taking taylor expansion of (/ 1 re) in im 14.020 * [taylor]: Taking taylor expansion of re in im 14.020 * [backup-simplify]: Simplify re into re 14.020 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 14.020 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in re 14.020 * [taylor]: Taking taylor expansion of -1 in re 14.020 * [backup-simplify]: Simplify -1 into -1 14.020 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re))) in re 14.020 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re 14.020 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.020 * [taylor]: Taking taylor expansion of re in re 14.020 * [backup-simplify]: Simplify 0 into 0 14.020 * [backup-simplify]: Simplify 1 into 1 14.021 * [backup-simplify]: Simplify (/ 1 1) into 1 14.021 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.021 * [taylor]: Taking taylor expansion of im in re 14.021 * [backup-simplify]: Simplify im into im 14.021 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.021 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 14.021 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.021 * [taylor]: Taking taylor expansion of im in re 14.021 * [backup-simplify]: Simplify im into im 14.021 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.021 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.021 * [taylor]: Taking taylor expansion of re in re 14.021 * [backup-simplify]: Simplify 0 into 0 14.021 * [backup-simplify]: Simplify 1 into 1 14.021 * [backup-simplify]: Simplify (/ 1 1) into 1 14.021 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in re 14.021 * [taylor]: Taking taylor expansion of -1 in re 14.021 * [backup-simplify]: Simplify -1 into -1 14.021 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re))) in re 14.022 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re 14.022 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.022 * [taylor]: Taking taylor expansion of re in re 14.022 * [backup-simplify]: Simplify 0 into 0 14.022 * [backup-simplify]: Simplify 1 into 1 14.022 * [backup-simplify]: Simplify (/ 1 1) into 1 14.022 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.022 * [taylor]: Taking taylor expansion of im in re 14.022 * [backup-simplify]: Simplify im into im 14.022 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.022 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re 14.022 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.022 * [taylor]: Taking taylor expansion of im in re 14.022 * [backup-simplify]: Simplify im into im 14.022 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 14.022 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.022 * [taylor]: Taking taylor expansion of re in re 14.022 * [backup-simplify]: Simplify 0 into 0 14.022 * [backup-simplify]: Simplify 1 into 1 14.023 * [backup-simplify]: Simplify (/ 1 1) into 1 14.023 * [backup-simplify]: Simplify (+ 1 0) into 1 14.024 * [backup-simplify]: Simplify (- 1) into -1 14.024 * [backup-simplify]: Simplify (+ 0 -1) into -1 14.024 * [backup-simplify]: Simplify (* 1 -1) into -1 14.025 * [backup-simplify]: Simplify (* -1 -1) into 1 14.025 * [taylor]: Taking taylor expansion of 1 in im 14.025 * [backup-simplify]: Simplify 1 into 1 14.026 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.026 * [backup-simplify]: Simplify (- 0) into 0 14.026 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im) 14.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.027 * [backup-simplify]: Simplify (+ 0 (/ 1 im)) into (/ 1 im) 14.027 * [backup-simplify]: Simplify (+ (* 1 (/ 1 im)) (* (/ 1 im) -1)) into 0 14.028 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 14.028 * [taylor]: Taking taylor expansion of 0 in im 14.028 * [backup-simplify]: Simplify 0 into 0 14.028 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 14.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.029 * [backup-simplify]: Simplify (- 0) into 0 14.030 * [backup-simplify]: Simplify (+ 0 0) into 0 14.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.031 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 14.031 * [backup-simplify]: Simplify (+ 0 0) into 0 14.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) (/ 1 im)) (* 0 -1))) into (/ 1 (pow im 2)) 14.033 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1))) into (- (/ 1 (pow im 2))) 14.033 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 14.033 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 14.033 * [taylor]: Taking taylor expansion of (pow im 2) in im 14.033 * [taylor]: Taking taylor expansion of im in im 14.033 * [backup-simplify]: Simplify 0 into 0 14.033 * [backup-simplify]: Simplify 1 into 1 14.034 * [backup-simplify]: Simplify (* 1 1) into 1 14.034 * [backup-simplify]: Simplify (/ 1 1) into 1 14.034 * [backup-simplify]: Simplify (- 1) into -1 14.034 * [backup-simplify]: Simplify -1 into -1 14.034 * [backup-simplify]: Simplify 1 into 1 14.035 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 14.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.036 * [backup-simplify]: Simplify (- 0) into 0 14.036 * [backup-simplify]: Simplify (+ 0 0) into 0 14.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.037 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 14.038 * [backup-simplify]: Simplify (+ 0 0) into 0 14.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 (/ 1 im)) (* 0 -1)))) into 0 14.040 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1)))) into 0 14.040 * [taylor]: Taking taylor expansion of 0 in im 14.040 * [backup-simplify]: Simplify 0 into 0 14.041 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.042 * [backup-simplify]: Simplify (- 0) into 0 14.042 * [backup-simplify]: Simplify 0 into 0 14.042 * [backup-simplify]: Simplify 0 into 0 14.042 * [backup-simplify]: Simplify 0 into 0 14.042 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 14.043 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.044 * [backup-simplify]: Simplify (- 0) into 0 14.044 * [backup-simplify]: Simplify (+ 0 0) into 0 14.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.046 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 14.046 * [backup-simplify]: Simplify (+ 0 0) into 0 14.048 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 0) (+ (* 0 (/ 1 im)) (* 0 -1))))) into 0 14.049 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1))))) into 0 14.049 * [taylor]: Taking taylor expansion of 0 in im 14.049 * [backup-simplify]: Simplify 0 into 0 14.050 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.052 * [backup-simplify]: Simplify (- 0) into 0 14.052 * [backup-simplify]: Simplify 0 into 0 14.052 * [backup-simplify]: Simplify 0 into 0 14.052 * [backup-simplify]: Simplify 0 into 0 14.052 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 14.052 * * * [progress]: simplifying candidates 14.052 * * * * [progress]: [ 1 / 56 ] simplifiying candidate # 14.052 * * * * [progress]: [ 2 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 3 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 4 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 5 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 6 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 7 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 8 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 9 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 10 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 11 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 12 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 13 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 14 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 15 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 16 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 17 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 18 / 56 ] simplifiying candidate # 14.053 * * * * [progress]: [ 19 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 20 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 21 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 22 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 23 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 24 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 25 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 26 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 27 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 28 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 29 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 30 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 31 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 32 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 33 / 56 ] simplifiying candidate # 14.054 * * * * [progress]: [ 34 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 35 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 36 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 37 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 38 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 39 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 40 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 41 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 42 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 43 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 44 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 45 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 46 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 47 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 48 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 49 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 50 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 51 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 52 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 53 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 54 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 55 / 56 ] simplifiying candidate # 14.055 * * * * [progress]: [ 56 / 56 ] simplifiying candidate # 14.056 * [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)) 14.057 * * [simplify]: iteration 1: (120 enodes) 14.091 * * [simplify]: iteration 2: (383 enodes) 14.462 * * [simplify]: iteration 3: (1279 enodes) 17.159 * * [simplify]: Extracting #0: cost 32 inf + 0 17.160 * * [simplify]: Extracting #1: cost 423 inf + 0 17.166 * * [simplify]: Extracting #2: cost 1061 inf + 16117 17.207 * * [simplify]: Extracting #3: cost 456 inf + 145237 17.308 * * [simplify]: Extracting #4: cost 43 inf + 232139 17.392 * * [simplify]: Extracting #5: cost 3 inf + 243870 17.479 * * [simplify]: Extracting #6: cost 0 inf + 244662 17.577 * [simplify]: Simplified to: (expm1 (* (- re im) (+ re im))) (log1p (* (- re im) (+ re im))) (* (- re im) (+ re im)) (log (* (- re im) (+ re im))) (log (* (- re im) (+ re im))) (exp (* (- re im) (+ re im))) (* (* (- re im) (+ re im)) (* (* (- re im) (+ re im)) (* (- re im) (+ re im)))) (* (cbrt (* (- re im) (+ re im))) (cbrt (* (- re im) (+ re im)))) (cbrt (* (- re im) (+ re im))) (* (* (- re im) (+ re im)) (* (* (- re im) (+ re im)) (* (- re im) (+ re im)))) (sqrt (* (- re im) (+ re im))) (sqrt (* (- re im) (+ re im))) (* (fma (* im im) im (* re (* re re))) (- (* re (* re re)) (* (* im im) im))) (* (fma im (+ im re) (* re re)) (fma im (- im re) (* re re))) (* (fma (* im im) im (* re (* re re))) (+ (* re re) (- (* im im)))) (* (fma im (- im re) (* re re)) (+ re im)) (* (- (* re (* re re)) (* (* im im) im)) (+ (* re re) (- (* im im)))) (* (- re im) (fma im (+ im re) (* re re))) (* (* (- re im) (+ re im)) (* (- re im) (+ re im))) (* (- re im) (+ re im)) (* (sqrt (+ im re)) (sqrt (- re im))) (* (sqrt (+ im re)) (sqrt (- re im))) (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ im re)) (* (- im im) (+ re im)) (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ im re)) (* (- im im) (+ re im)) (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ im re)) (* (- im im) (+ re im)) (* (- re im) (+ re im)) (* (- im im) (+ re im)) (* (- re im) (+ re im)) (* (- im im) (+ re im)) (* (- re im) (+ re im)) (* (- im im) (+ re im)) (* (- re im) (+ re im)) (* (- im im) (+ re im)) (* (- re im) (+ re im)) (* (- im im) (+ re im)) (* (- re im) (+ re im)) (* (- im im) (+ re im)) (* re (+ re im)) (- (* (+ im re) im)) (* re (+ re im)) (- (* (+ im re) im)) (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ im re)) (* (- im im) (+ re im)) (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ im re)) (* (- im im) (+ re im)) (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ im re)) (* (- im im) (+ re im)) (* (- re im) (+ re im)) (* (- im im) (+ re im)) (* (- re im) (+ re im)) (* (- im im) (+ re im)) (* (- re im) (+ re im)) (* (- im im) (+ re im)) (* (- re im) (+ re im)) (* (- im im) (+ re im)) (* (- re im) (+ re im)) (* (- im im) (+ re im)) (* (- re im) (+ re im)) (* (- im im) (+ re im)) (* re (+ im re)) (- (* (+ im re) im)) (* re (+ im re)) (- (* (+ im re) im)) (* (* (cbrt (- re im)) (cbrt (- re im))) (+ im re)) (* (sqrt (- re im)) (+ re im)) (+ im re) (* (+ (sqrt im) (sqrt re)) (+ re im)) (+ im re) (* (cbrt (+ im re)) (- re im)) (* (sqrt (+ im re)) (- re im)) (* (- re im) (+ re im)) (* (- re im) (+ re im)) (* (- (* re (* re re)) (* (* im im) im)) (+ re im)) (* (* (- re im) (+ re im)) (+ re im)) (* (fma (* im im) im (* re (* re re))) (- re im)) (* (+ im re) (* (- re im) (- re im))) (* (- re im) (+ re im)) (* (- re im) (+ re im)) (* (- re im) (+ re im)) 17.585 * * * [progress]: adding candidates to table 18.024 * * [progress]: iteration 3 / 4 18.024 * * * [progress]: picking best candidate 18.028 * * * * [pick]: Picked # 18.028 * * * [progress]: localizing error 18.047 * * * [progress]: generating rewritten candidates 18.047 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 18.047 * * * [progress]: generating series expansions 18.047 * * * * [progress]: [ 1 / 1 ] generating series at (2) 18.047 * [backup-simplify]: Simplify (fma re re (- (* im im))) into (fma re re (- (pow im 2))) 18.047 * [approximate]: Taking taylor expansion of (fma re re (- (pow im 2))) in (re im) around 0 18.048 * [taylor]: Taking taylor expansion of (fma re re (- (pow im 2))) in im 18.049 * [taylor]: Rewrote expression to (+ (* re re) (- (pow im 2))) 18.049 * [taylor]: Taking taylor expansion of (* re re) in im 18.049 * [taylor]: Taking taylor expansion of re in im 18.049 * [backup-simplify]: Simplify re into re 18.049 * [taylor]: Taking taylor expansion of re in im 18.049 * [backup-simplify]: Simplify re into re 18.049 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 18.049 * [taylor]: Taking taylor expansion of (pow im 2) in im 18.049 * [taylor]: Taking taylor expansion of im in im 18.049 * [backup-simplify]: Simplify 0 into 0 18.049 * [backup-simplify]: Simplify 1 into 1 18.049 * [taylor]: Taking taylor expansion of (fma re re (- (pow im 2))) in re 18.049 * [taylor]: Rewrote expression to (+ (* re re) (- (pow im 2))) 18.049 * [taylor]: Taking taylor expansion of (* re re) in re 18.049 * [taylor]: Taking taylor expansion of re in re 18.049 * [backup-simplify]: Simplify 0 into 0 18.049 * [backup-simplify]: Simplify 1 into 1 18.049 * [taylor]: Taking taylor expansion of re in re 18.049 * [backup-simplify]: Simplify 0 into 0 18.049 * [backup-simplify]: Simplify 1 into 1 18.049 * [taylor]: Taking taylor expansion of (- (pow im 2)) in re 18.049 * [taylor]: Taking taylor expansion of (pow im 2) in re 18.049 * [taylor]: Taking taylor expansion of im in re 18.049 * [backup-simplify]: Simplify im into im 18.049 * [taylor]: Taking taylor expansion of (fma re re (- (pow im 2))) in re 18.049 * [taylor]: Rewrote expression to (+ (* re re) (- (pow im 2))) 18.049 * [taylor]: Taking taylor expansion of (* re re) in re 18.049 * [taylor]: Taking taylor expansion of re in re 18.049 * [backup-simplify]: Simplify 0 into 0 18.049 * [backup-simplify]: Simplify 1 into 1 18.049 * [taylor]: Taking taylor expansion of re in re 18.049 * [backup-simplify]: Simplify 0 into 0 18.049 * [backup-simplify]: Simplify 1 into 1 18.050 * [taylor]: Taking taylor expansion of (- (pow im 2)) in re 18.050 * [taylor]: Taking taylor expansion of (pow im 2) in re 18.050 * [taylor]: Taking taylor expansion of im in re 18.050 * [backup-simplify]: Simplify im into im 18.050 * [backup-simplify]: Simplify (* 0 0) into 0 18.050 * [backup-simplify]: Simplify (* im im) into (pow im 2) 18.050 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2)) 18.050 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 18.050 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im 18.050 * [taylor]: Taking taylor expansion of (pow im 2) in im 18.050 * [taylor]: Taking taylor expansion of im in im 18.050 * [backup-simplify]: Simplify 0 into 0 18.050 * [backup-simplify]: Simplify 1 into 1 18.051 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 18.051 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 18.051 * [backup-simplify]: Simplify (- 0) into 0 18.051 * [backup-simplify]: Simplify (+ 0 0) into 0 18.051 * [taylor]: Taking taylor expansion of 0 in im 18.051 * [backup-simplify]: Simplify 0 into 0 18.051 * [backup-simplify]: Simplify 0 into 0 18.052 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 18.052 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 18.052 * [backup-simplify]: Simplify (- 0) into 0 18.053 * [backup-simplify]: Simplify (+ 1 0) into 1 18.053 * [taylor]: Taking taylor expansion of 1 in im 18.053 * [backup-simplify]: Simplify 1 into 1 18.053 * [backup-simplify]: Simplify 1 into 1 18.053 * [backup-simplify]: Simplify 0 into 0 18.053 * [backup-simplify]: Simplify (* 1 1) into 1 18.053 * [backup-simplify]: Simplify (- 1) into -1 18.053 * [backup-simplify]: Simplify -1 into -1 18.054 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 18.054 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 18.055 * [backup-simplify]: Simplify (- 0) into 0 18.055 * [backup-simplify]: Simplify (+ 0 0) into 0 18.055 * [taylor]: Taking taylor expansion of 0 in im 18.055 * [backup-simplify]: Simplify 0 into 0 18.055 * [backup-simplify]: Simplify 0 into 0 18.055 * [backup-simplify]: Simplify 0 into 0 18.055 * [backup-simplify]: Simplify 0 into 0 18.055 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.056 * [backup-simplify]: Simplify (- 0) into 0 18.056 * [backup-simplify]: Simplify 0 into 0 18.056 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 18.057 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 18.057 * [backup-simplify]: Simplify (- 0) into 0 18.058 * [backup-simplify]: Simplify (+ 0 0) into 0 18.058 * [taylor]: Taking taylor expansion of 0 in im 18.058 * [backup-simplify]: Simplify 0 into 0 18.058 * [backup-simplify]: Simplify 0 into 0 18.058 * [backup-simplify]: Simplify 0 into 0 18.058 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 18.058 * [backup-simplify]: Simplify (fma (/ 1 re) (/ 1 re) (- (* (/ 1 im) (/ 1 im)))) into (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2)))) 18.058 * [approximate]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2)))) in (re im) around 0 18.058 * [taylor]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2)))) in im 18.058 * [taylor]: Rewrote expression to (+ (* (/ 1 re) (/ 1 re)) (- (/ 1 (pow im 2)))) 18.058 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im 18.058 * [taylor]: Taking taylor expansion of (/ 1 re) in im 18.058 * [taylor]: Taking taylor expansion of re in im 18.058 * [backup-simplify]: Simplify re into re 18.058 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 18.058 * [taylor]: Taking taylor expansion of (/ 1 re) in im 18.058 * [taylor]: Taking taylor expansion of re in im 18.058 * [backup-simplify]: Simplify re into re 18.058 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 18.058 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 18.058 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 18.058 * [taylor]: Taking taylor expansion of (pow im 2) in im 18.058 * [taylor]: Taking taylor expansion of im in im 18.058 * [backup-simplify]: Simplify 0 into 0 18.058 * [backup-simplify]: Simplify 1 into 1 18.059 * [backup-simplify]: Simplify (* 1 1) into 1 18.059 * [backup-simplify]: Simplify (/ 1 1) into 1 18.059 * [taylor]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2)))) in re 18.059 * [taylor]: Rewrote expression to (+ (* (/ 1 re) (/ 1 re)) (- (/ 1 (pow im 2)))) 18.059 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 18.059 * [taylor]: Taking taylor expansion of (/ 1 re) in re 18.059 * [taylor]: Taking taylor expansion of re in re 18.059 * [backup-simplify]: Simplify 0 into 0 18.059 * [backup-simplify]: Simplify 1 into 1 18.059 * [backup-simplify]: Simplify (/ 1 1) into 1 18.059 * [taylor]: Taking taylor expansion of (/ 1 re) in re 18.059 * [taylor]: Taking taylor expansion of re in re 18.059 * [backup-simplify]: Simplify 0 into 0 18.059 * [backup-simplify]: Simplify 1 into 1 18.059 * [backup-simplify]: Simplify (/ 1 1) into 1 18.060 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in re 18.060 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 18.060 * [taylor]: Taking taylor expansion of (pow im 2) in re 18.060 * [taylor]: Taking taylor expansion of im in re 18.060 * [backup-simplify]: Simplify im into im 18.060 * [backup-simplify]: Simplify (* im im) into (pow im 2) 18.060 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 18.060 * [taylor]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2)))) in re 18.060 * [taylor]: Rewrote expression to (+ (* (/ 1 re) (/ 1 re)) (- (/ 1 (pow im 2)))) 18.060 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re 18.060 * [taylor]: Taking taylor expansion of (/ 1 re) in re 18.060 * [taylor]: Taking taylor expansion of re in re 18.060 * [backup-simplify]: Simplify 0 into 0 18.060 * [backup-simplify]: Simplify 1 into 1 18.060 * [backup-simplify]: Simplify (/ 1 1) into 1 18.060 * [taylor]: Taking taylor expansion of (/ 1 re) in re 18.060 * [taylor]: Taking taylor expansion of re in re 18.060 * [backup-simplify]: Simplify 0 into 0 18.060 * [backup-simplify]: Simplify 1 into 1 18.060 * [backup-simplify]: Simplify (/ 1 1) into 1 18.060 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in re 18.060 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 18.060 * [taylor]: Taking taylor expansion of (pow im 2) in re 18.060 * [taylor]: Taking taylor expansion of im in re 18.060 * [backup-simplify]: Simplify im into im 18.060 * [backup-simplify]: Simplify (* im im) into (pow im 2) 18.061 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 18.061 * [backup-simplify]: Simplify (* 1 1) into 1 18.061 * [backup-simplify]: Simplify (+ 1 0) into 1 18.061 * [taylor]: Taking taylor expansion of 1 in im 18.061 * [backup-simplify]: Simplify 1 into 1 18.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.062 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.063 * [backup-simplify]: Simplify (+ 0 0) into 0 18.063 * [taylor]: Taking taylor expansion of 0 in im 18.063 * [backup-simplify]: Simplify 0 into 0 18.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.064 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 18.064 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 18.064 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 18.064 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 18.064 * [taylor]: Taking taylor expansion of (pow im 2) in im 18.064 * [taylor]: Taking taylor expansion of im in im 18.065 * [backup-simplify]: Simplify 0 into 0 18.065 * [backup-simplify]: Simplify 1 into 1 18.065 * [backup-simplify]: Simplify (* 1 1) into 1 18.065 * [backup-simplify]: Simplify (/ 1 1) into 1 18.065 * [backup-simplify]: Simplify (- 1) into -1 18.065 * [backup-simplify]: Simplify -1 into -1 18.065 * [backup-simplify]: Simplify 1 into 1 18.066 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.066 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.067 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 18.067 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 18.067 * [backup-simplify]: Simplify (- 0) into 0 18.068 * [backup-simplify]: Simplify (+ 0 0) into 0 18.068 * [taylor]: Taking taylor expansion of 0 in im 18.068 * [backup-simplify]: Simplify 0 into 0 18.068 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.069 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.069 * [backup-simplify]: Simplify (- 0) into 0 18.069 * [backup-simplify]: Simplify 0 into 0 18.069 * [backup-simplify]: Simplify 0 into 0 18.069 * [backup-simplify]: Simplify 0 into 0 18.069 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.071 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.071 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 18.071 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 18.072 * [backup-simplify]: Simplify (- 0) into 0 18.072 * [backup-simplify]: Simplify (+ 0 0) into 0 18.072 * [taylor]: Taking taylor expansion of 0 in im 18.072 * [backup-simplify]: Simplify 0 into 0 18.072 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.073 * [backup-simplify]: Simplify (- 0) into 0 18.073 * [backup-simplify]: Simplify 0 into 0 18.073 * [backup-simplify]: Simplify 0 into 0 18.073 * [backup-simplify]: Simplify 0 into 0 18.073 * [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.074 * [backup-simplify]: Simplify (fma (/ 1 (- re)) (/ 1 (- re)) (- (* (/ 1 (- im)) (/ 1 (- im))))) into (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2)))) 18.074 * [approximate]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2)))) in (re im) around 0 18.074 * [taylor]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2)))) in im 18.074 * [taylor]: Rewrote expression to (+ (* (/ -1 re) (/ -1 re)) (- (/ 1 (pow im 2)))) 18.074 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im 18.074 * [taylor]: Taking taylor expansion of (/ -1 re) in im 18.074 * [taylor]: Taking taylor expansion of -1 in im 18.074 * [backup-simplify]: Simplify -1 into -1 18.074 * [taylor]: Taking taylor expansion of re in im 18.074 * [backup-simplify]: Simplify re into re 18.074 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 18.074 * [taylor]: Taking taylor expansion of (/ -1 re) in im 18.074 * [taylor]: Taking taylor expansion of -1 in im 18.074 * [backup-simplify]: Simplify -1 into -1 18.074 * [taylor]: Taking taylor expansion of re in im 18.074 * [backup-simplify]: Simplify re into re 18.074 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 18.074 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 18.074 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 18.074 * [taylor]: Taking taylor expansion of (pow im 2) in im 18.074 * [taylor]: Taking taylor expansion of im in im 18.074 * [backup-simplify]: Simplify 0 into 0 18.074 * [backup-simplify]: Simplify 1 into 1 18.074 * [backup-simplify]: Simplify (* 1 1) into 1 18.075 * [backup-simplify]: Simplify (/ 1 1) into 1 18.075 * [taylor]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2)))) in re 18.075 * [taylor]: Rewrote expression to (+ (* (/ -1 re) (/ -1 re)) (- (/ 1 (pow im 2)))) 18.075 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 18.075 * [taylor]: Taking taylor expansion of (/ -1 re) in re 18.075 * [taylor]: Taking taylor expansion of -1 in re 18.075 * [backup-simplify]: Simplify -1 into -1 18.075 * [taylor]: Taking taylor expansion of re in re 18.075 * [backup-simplify]: Simplify 0 into 0 18.075 * [backup-simplify]: Simplify 1 into 1 18.075 * [backup-simplify]: Simplify (/ -1 1) into -1 18.075 * [taylor]: Taking taylor expansion of (/ -1 re) in re 18.075 * [taylor]: Taking taylor expansion of -1 in re 18.075 * [backup-simplify]: Simplify -1 into -1 18.076 * [taylor]: Taking taylor expansion of re in re 18.076 * [backup-simplify]: Simplify 0 into 0 18.076 * [backup-simplify]: Simplify 1 into 1 18.076 * [backup-simplify]: Simplify (/ -1 1) into -1 18.076 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in re 18.076 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 18.076 * [taylor]: Taking taylor expansion of (pow im 2) in re 18.076 * [taylor]: Taking taylor expansion of im in re 18.076 * [backup-simplify]: Simplify im into im 18.076 * [backup-simplify]: Simplify (* im im) into (pow im 2) 18.076 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 18.076 * [taylor]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2)))) in re 18.076 * [taylor]: Rewrote expression to (+ (* (/ -1 re) (/ -1 re)) (- (/ 1 (pow im 2)))) 18.076 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re 18.076 * [taylor]: Taking taylor expansion of (/ -1 re) in re 18.076 * [taylor]: Taking taylor expansion of -1 in re 18.076 * [backup-simplify]: Simplify -1 into -1 18.076 * [taylor]: Taking taylor expansion of re in re 18.077 * [backup-simplify]: Simplify 0 into 0 18.077 * [backup-simplify]: Simplify 1 into 1 18.077 * [backup-simplify]: Simplify (/ -1 1) into -1 18.077 * [taylor]: Taking taylor expansion of (/ -1 re) in re 18.077 * [taylor]: Taking taylor expansion of -1 in re 18.077 * [backup-simplify]: Simplify -1 into -1 18.077 * [taylor]: Taking taylor expansion of re in re 18.077 * [backup-simplify]: Simplify 0 into 0 18.077 * [backup-simplify]: Simplify 1 into 1 18.078 * [backup-simplify]: Simplify (/ -1 1) into -1 18.078 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in re 18.078 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 18.078 * [taylor]: Taking taylor expansion of (pow im 2) in re 18.078 * [taylor]: Taking taylor expansion of im in re 18.078 * [backup-simplify]: Simplify im into im 18.078 * [backup-simplify]: Simplify (* im im) into (pow im 2) 18.078 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 18.078 * [backup-simplify]: Simplify (* -1 -1) into 1 18.079 * [backup-simplify]: Simplify (+ 1 0) into 1 18.079 * [taylor]: Taking taylor expansion of 1 in im 18.079 * [backup-simplify]: Simplify 1 into 1 18.080 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 18.081 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 18.081 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 18.082 * [backup-simplify]: Simplify (+ 0 0) into 0 18.082 * [taylor]: Taking taylor expansion of 0 in im 18.082 * [backup-simplify]: Simplify 0 into 0 18.083 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.084 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.085 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 18.085 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 18.085 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 18.085 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 18.085 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 18.085 * [taylor]: Taking taylor expansion of (pow im 2) in im 18.085 * [taylor]: Taking taylor expansion of im in im 18.085 * [backup-simplify]: Simplify 0 into 0 18.085 * [backup-simplify]: Simplify 1 into 1 18.086 * [backup-simplify]: Simplify (* 1 1) into 1 18.086 * [backup-simplify]: Simplify (/ 1 1) into 1 18.086 * [backup-simplify]: Simplify (- 1) into -1 18.086 * [backup-simplify]: Simplify -1 into -1 18.087 * [backup-simplify]: Simplify 1 into 1 18.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.090 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 18.090 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 18.090 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 18.091 * [backup-simplify]: Simplify (- 0) into 0 18.091 * [backup-simplify]: Simplify (+ 0 0) into 0 18.091 * [taylor]: Taking taylor expansion of 0 in im 18.091 * [backup-simplify]: Simplify 0 into 0 18.092 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.093 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) 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 0 into 0 18.094 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.095 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.097 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 18.097 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 18.097 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 18.098 * [backup-simplify]: Simplify (- 0) into 0 18.098 * [backup-simplify]: Simplify (+ 0 0) into 0 18.098 * [taylor]: Taking taylor expansion of 0 in im 18.098 * [backup-simplify]: Simplify 0 into 0 18.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.100 * [backup-simplify]: Simplify (- 0) into 0 18.101 * [backup-simplify]: Simplify 0 into 0 18.101 * [backup-simplify]: Simplify 0 into 0 18.101 * [backup-simplify]: Simplify 0 into 0 18.101 * [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.101 * * * [progress]: simplifying candidates 18.101 * * * * [progress]: [ 1 / 13 ] simplifiying candidate # 18.101 * * * * [progress]: [ 2 / 13 ] simplifiying candidate # 18.101 * * * * [progress]: [ 3 / 13 ] simplifiying candidate # 18.101 * * * * [progress]: [ 4 / 13 ] simplifiying candidate # 18.101 * * * * [progress]: [ 5 / 13 ] simplifiying candidate # 18.101 * * * * [progress]: [ 6 / 13 ] simplifiying candidate # 18.101 * * * * [progress]: [ 7 / 13 ] simplifiying candidate # 18.102 * * * * [progress]: [ 8 / 13 ] simplifiying candidate # 18.102 * * * * [progress]: [ 9 / 13 ] simplifiying candidate # 18.102 * * * * [progress]: [ 10 / 13 ] simplifiying candidate # 18.102 * * * * [progress]: [ 11 / 13 ] simplifiying candidate # 18.102 * * * * [progress]: [ 12 / 13 ] simplifiying candidate # 18.102 * * * * [progress]: [ 13 / 13 ] simplifiying candidate # 18.102 * [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.103 * * [simplify]: iteration 1: (19 enodes) 18.116 * * [simplify]: iteration 2: (30 enodes) 18.124 * * [simplify]: iteration 3: (41 enodes) 18.136 * * [simplify]: iteration 4: (95 enodes) 18.162 * * [simplify]: iteration 5: (419 enodes) 19.021 * * [simplify]: Extracting #0: cost 10 inf + 0 19.022 * * [simplify]: Extracting #1: cost 153 inf + 0 19.028 * * [simplify]: Extracting #2: cost 665 inf + 2544 19.069 * * [simplify]: Extracting #3: cost 342 inf + 82907 19.113 * * [simplify]: Extracting #4: cost 9 inf + 157258 19.162 * * [simplify]: Extracting #5: cost 0 inf + 160550 19.212 * [simplify]: Simplified to: (expm1 (* (+ im re) (- re im))) (log1p (* (+ im re) (- re im))) (* re re) (log (* (+ im re) (- re im))) (exp (* (+ im re) (- re im))) (* (cbrt (* (+ im re) (- re im))) (cbrt (* (+ im re) (- re im)))) (cbrt (* (+ im re) (- re im))) (* (* (+ im re) (- re im)) (* (* (+ im re) (- re im)) (* (+ im re) (- re im)))) (sqrt (* (+ im re) (- re im))) (sqrt (* (+ im re) (- re im))) (* (+ im re) (- re im)) (* (+ im re) (- re im)) (* (+ im re) (- re im)) 19.212 * * * [progress]: adding candidates to table 19.291 * [progress]: [Phase 3 of 3] Extracting. 19.292 * * [regime]: Finding splitpoints for: (# #) 19.293 * * * [regime-changes]: Trying 3 branch expressions: ((* im im) im re) 19.294 * * * * [regimes]: Trying to branch on (* im im) from (# #) 19.318 * * * * [regimes]: Trying to branch on im from (# #) 19.343 * * * * [regimes]: Trying to branch on re from (# #) 19.385 * * * [regime]: Found split indices: #