9.493 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.039 * [progress]: [Phase 2 of 3] Improving. 0.039 * [simplify]: Simplifying: (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) 0.039 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: Extracting # 1 : cost 0 0.039 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: Extracting # 3 : cost 0 0.039 * * [simplify]: Extracting # 4 : cost 0 0.039 * * [simplify]: Extracting # 5 : cost 0 0.039 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 0.043 * * [simplify]: Extracting # 0 : cost 0 0.044 * * [simplify]: Extracting # 1 : cost 0 0.044 * * [simplify]: Extracting # 2 : cost 0 0.044 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 0.052 * * [simplify]: Extracting # 0 : cost 0 0.052 * * [simplify]: Extracting # 1 : cost 0 0.052 * * [simplify]: Extracting # 2 : cost 0 0.052 * * [simplify]: Extracting # 3 : cost 0 0.052 * * [simplify]: iteration 2 : 52 enodes (cost 16 ) 0.068 * * [simplify]: Extracting # 0 : cost 0 0.068 * * [simplify]: Extracting # 1 : cost 0 0.068 * * [simplify]: Extracting # 2 : cost 0 0.069 * * [simplify]: iteration 3 : 122 enodes (cost 16 ) 0.154 * * [simplify]: Extracting # 0 : cost 0 0.155 * * [simplify]: Extracting # 1 : cost 0 0.155 * * [simplify]: Extracting # 2 : cost 0 0.156 * * [simplify]: Extracting # 3 : cost 0 0.157 * * [simplify]: Extracting # 4 : cost 0 0.157 * * [simplify]: iteration 4 : 315 enodes (cost 13 ) 0.428 * * [simplify]: Extracting # 0 : cost 0 0.429 * * [simplify]: Extracting # 1 : cost 0 0.431 * * [simplify]: Extracting # 2 : cost 0 0.432 * * [simplify]: Extracting # 3 : cost 0 0.433 * * [simplify]: Extracting # 4 : cost 0 0.434 * * [simplify]: iteration 5 : 858 enodes (cost 11 ) 1.447 * * [simplify]: Extracting # 0 : cost 0 1.451 * * [simplify]: Extracting # 1 : cost 0 1.455 * * [simplify]: Extracting # 2 : cost 0 1.457 * * [simplify]: Extracting # 3 : cost 0 1.461 * * [simplify]: Extracting # 4 : cost 0 1.464 * * [simplify]: iteration 6 : 2015 enodes (cost 11 ) 5.799 * * [simplify]: Extracting # 0 : cost 0 5.812 * * [simplify]: Extracting # 1 : cost 0 5.821 * * [simplify]: Extracting # 2 : cost 0 5.830 * * [simplify]: Extracting # 3 : cost 0 5.840 * * [simplify]: Extracting # 4 : cost 0 5.849 * * [simplify]: iteration done: 5000 enodes (cost 11 ) 5.849 * [simplify]: Simplified to: (fma x.re (* 3 (* x.im x.re)) (- (pow x.im 3))) 5.856 * * [progress]: iteration 1 / 4 5.856 * * * [progress]: picking best candidate 5.861 * * * * [pick]: Picked # 5.861 * * * [progress]: localizing error 5.873 * * * [progress]: generating rewritten candidates 5.873 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 5.889 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.890 * * * [progress]: generating series expansions 5.890 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 5.891 * [backup-simplify]: Simplify (* 3 (* x.im x.re)) into (* 3 (* x.im x.re)) 5.891 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.im x.re) around 0 5.891 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 5.891 * [taylor]: Taking taylor expansion of 3 in x.re 5.891 * [backup-simplify]: Simplify 3 into 3 5.891 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.891 * [taylor]: Taking taylor expansion of x.im in x.re 5.891 * [backup-simplify]: Simplify x.im into x.im 5.891 * [taylor]: Taking taylor expansion of x.re in x.re 5.891 * [backup-simplify]: Simplify 0 into 0 5.891 * [backup-simplify]: Simplify 1 into 1 5.891 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 5.891 * [taylor]: Taking taylor expansion of 3 in x.im 5.891 * [backup-simplify]: Simplify 3 into 3 5.891 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.891 * [taylor]: Taking taylor expansion of x.im in x.im 5.891 * [backup-simplify]: Simplify 0 into 0 5.891 * [backup-simplify]: Simplify 1 into 1 5.891 * [taylor]: Taking taylor expansion of x.re in x.im 5.891 * [backup-simplify]: Simplify x.re into x.re 5.891 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 5.891 * [taylor]: Taking taylor expansion of 3 in x.im 5.891 * [backup-simplify]: Simplify 3 into 3 5.891 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.891 * [taylor]: Taking taylor expansion of x.im in x.im 5.891 * [backup-simplify]: Simplify 0 into 0 5.891 * [backup-simplify]: Simplify 1 into 1 5.891 * [taylor]: Taking taylor expansion of x.re in x.im 5.891 * [backup-simplify]: Simplify x.re into x.re 5.891 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.893 * [backup-simplify]: Simplify (* 3 0) into 0 5.893 * [taylor]: Taking taylor expansion of 0 in x.re 5.893 * [backup-simplify]: Simplify 0 into 0 5.893 * [backup-simplify]: Simplify 0 into 0 5.893 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.894 * [backup-simplify]: Simplify (+ (* 3 x.re) (* 0 0)) into (* 3 x.re) 5.894 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 5.894 * [taylor]: Taking taylor expansion of 3 in x.re 5.894 * [backup-simplify]: Simplify 3 into 3 5.894 * [taylor]: Taking taylor expansion of x.re in x.re 5.894 * [backup-simplify]: Simplify 0 into 0 5.894 * [backup-simplify]: Simplify 1 into 1 5.894 * [backup-simplify]: Simplify (* 3 0) into 0 5.894 * [backup-simplify]: Simplify 0 into 0 5.894 * [backup-simplify]: Simplify 0 into 0 5.895 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 5.896 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 x.re) (* 0 0))) into 0 5.896 * [taylor]: Taking taylor expansion of 0 in x.re 5.896 * [backup-simplify]: Simplify 0 into 0 5.896 * [backup-simplify]: Simplify 0 into 0 5.897 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 5.897 * [backup-simplify]: Simplify 3 into 3 5.897 * [backup-simplify]: Simplify 0 into 0 5.898 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.899 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0)))) into 0 5.899 * [taylor]: Taking taylor expansion of 0 in x.re 5.899 * [backup-simplify]: Simplify 0 into 0 5.899 * [backup-simplify]: Simplify 0 into 0 5.899 * [backup-simplify]: Simplify 0 into 0 5.900 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 5.900 * [backup-simplify]: Simplify 0 into 0 5.900 * [backup-simplify]: Simplify 0 into 0 5.902 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 5.903 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0))))) into 0 5.903 * [taylor]: Taking taylor expansion of 0 in x.re 5.903 * [backup-simplify]: Simplify 0 into 0 5.903 * [backup-simplify]: Simplify 0 into 0 5.903 * [backup-simplify]: Simplify (* 3 (* x.re x.im)) into (* 3 (* x.im x.re)) 5.904 * [backup-simplify]: Simplify (* 3 (* (/ 1 x.im) (/ 1 x.re))) into (/ 3 (* x.im x.re)) 5.904 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 5.904 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 5.904 * [taylor]: Taking taylor expansion of 3 in x.re 5.904 * [backup-simplify]: Simplify 3 into 3 5.904 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.904 * [taylor]: Taking taylor expansion of x.im in x.re 5.904 * [backup-simplify]: Simplify x.im into x.im 5.904 * [taylor]: Taking taylor expansion of x.re in x.re 5.904 * [backup-simplify]: Simplify 0 into 0 5.904 * [backup-simplify]: Simplify 1 into 1 5.904 * [backup-simplify]: Simplify (* x.im 0) into 0 5.904 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 5.904 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 5.904 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.905 * [taylor]: Taking taylor expansion of 3 in x.im 5.905 * [backup-simplify]: Simplify 3 into 3 5.905 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.905 * [taylor]: Taking taylor expansion of x.im in x.im 5.905 * [backup-simplify]: Simplify 0 into 0 5.905 * [backup-simplify]: Simplify 1 into 1 5.905 * [taylor]: Taking taylor expansion of x.re in x.im 5.905 * [backup-simplify]: Simplify x.re into x.re 5.905 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.905 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.905 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.905 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.905 * [taylor]: Taking taylor expansion of 3 in x.im 5.905 * [backup-simplify]: Simplify 3 into 3 5.905 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.905 * [taylor]: Taking taylor expansion of x.im in x.im 5.905 * [backup-simplify]: Simplify 0 into 0 5.905 * [backup-simplify]: Simplify 1 into 1 5.905 * [taylor]: Taking taylor expansion of x.re in x.im 5.905 * [backup-simplify]: Simplify x.re into x.re 5.906 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.906 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.906 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.906 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 5.906 * [taylor]: Taking taylor expansion of 3 in x.re 5.906 * [backup-simplify]: Simplify 3 into 3 5.906 * [taylor]: Taking taylor expansion of x.re in x.re 5.906 * [backup-simplify]: Simplify 0 into 0 5.906 * [backup-simplify]: Simplify 1 into 1 5.907 * [backup-simplify]: Simplify (/ 3 1) into 3 5.907 * [backup-simplify]: Simplify 3 into 3 5.907 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 5.907 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 5.907 * [taylor]: Taking taylor expansion of 0 in x.re 5.907 * [backup-simplify]: Simplify 0 into 0 5.908 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.908 * [backup-simplify]: Simplify 0 into 0 5.908 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.909 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.909 * [taylor]: Taking taylor expansion of 0 in x.re 5.909 * [backup-simplify]: Simplify 0 into 0 5.909 * [backup-simplify]: Simplify 0 into 0 5.909 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.909 * [backup-simplify]: Simplify 0 into 0 5.910 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 5.910 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.910 * [taylor]: Taking taylor expansion of 0 in x.re 5.910 * [backup-simplify]: Simplify 0 into 0 5.910 * [backup-simplify]: Simplify 0 into 0 5.910 * [backup-simplify]: Simplify 0 into 0 5.911 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.911 * [backup-simplify]: Simplify 0 into 0 5.911 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 x.re)) (/ 1 (/ 1 x.im)))) into (* 3 (* x.im x.re)) 5.911 * [backup-simplify]: Simplify (* 3 (* (/ 1 (- x.im)) (/ 1 (- x.re)))) into (/ 3 (* x.im x.re)) 5.911 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.im x.re) around 0 5.911 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 5.911 * [taylor]: Taking taylor expansion of 3 in x.re 5.911 * [backup-simplify]: Simplify 3 into 3 5.911 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.911 * [taylor]: Taking taylor expansion of x.im in x.re 5.911 * [backup-simplify]: Simplify x.im into x.im 5.912 * [taylor]: Taking taylor expansion of x.re in x.re 5.912 * [backup-simplify]: Simplify 0 into 0 5.912 * [backup-simplify]: Simplify 1 into 1 5.912 * [backup-simplify]: Simplify (* x.im 0) into 0 5.912 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 5.912 * [backup-simplify]: Simplify (/ 3 x.im) into (/ 3 x.im) 5.912 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.912 * [taylor]: Taking taylor expansion of 3 in x.im 5.912 * [backup-simplify]: Simplify 3 into 3 5.912 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.912 * [taylor]: Taking taylor expansion of x.im in x.im 5.912 * [backup-simplify]: Simplify 0 into 0 5.912 * [backup-simplify]: Simplify 1 into 1 5.912 * [taylor]: Taking taylor expansion of x.re in x.im 5.912 * [backup-simplify]: Simplify x.re into x.re 5.912 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.912 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.912 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.912 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 5.912 * [taylor]: Taking taylor expansion of 3 in x.im 5.912 * [backup-simplify]: Simplify 3 into 3 5.912 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.912 * [taylor]: Taking taylor expansion of x.im in x.im 5.912 * [backup-simplify]: Simplify 0 into 0 5.912 * [backup-simplify]: Simplify 1 into 1 5.912 * [taylor]: Taking taylor expansion of x.re in x.im 5.913 * [backup-simplify]: Simplify x.re into x.re 5.913 * [backup-simplify]: Simplify (* 0 x.re) into 0 5.913 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 5.913 * [backup-simplify]: Simplify (/ 3 x.re) into (/ 3 x.re) 5.913 * [taylor]: Taking taylor expansion of (/ 3 x.re) in x.re 5.913 * [taylor]: Taking taylor expansion of 3 in x.re 5.913 * [backup-simplify]: Simplify 3 into 3 5.913 * [taylor]: Taking taylor expansion of x.re in x.re 5.913 * [backup-simplify]: Simplify 0 into 0 5.913 * [backup-simplify]: Simplify 1 into 1 5.913 * [backup-simplify]: Simplify (/ 3 1) into 3 5.913 * [backup-simplify]: Simplify 3 into 3 5.914 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 5.914 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)))) into 0 5.914 * [taylor]: Taking taylor expansion of 0 in x.re 5.914 * [backup-simplify]: Simplify 0 into 0 5.914 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 5.914 * [backup-simplify]: Simplify 0 into 0 5.915 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 5.915 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.915 * [taylor]: Taking taylor expansion of 0 in x.re 5.915 * [backup-simplify]: Simplify 0 into 0 5.915 * [backup-simplify]: Simplify 0 into 0 5.916 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.916 * [backup-simplify]: Simplify 0 into 0 5.917 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 5.917 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ 3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 5.917 * [taylor]: Taking taylor expansion of 0 in x.re 5.917 * [backup-simplify]: Simplify 0 into 0 5.917 * [backup-simplify]: Simplify 0 into 0 5.917 * [backup-simplify]: Simplify 0 into 0 5.918 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.918 * [backup-simplify]: Simplify 0 into 0 5.918 * [backup-simplify]: Simplify (* 3 (* (/ 1 (/ 1 (- x.re))) (/ 1 (/ 1 (- x.im))))) into (* 3 (* x.im x.re)) 5.918 * * * * [progress]: [ 2 / 2 ] generating series at (2)