32.078 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.046 * * * [progress]: [2/2] Setting up program. 0.049 * [progress]: [Phase 2 of 3] Improving. 0.050 * [simplify]: Simplifying: (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) 0.050 * * [simplify]: Extracting # 0 : cost 0 0.050 * * [simplify]: Extracting # 1 : cost 0 0.050 * * [simplify]: Extracting # 2 : cost 0 0.050 * * [simplify]: Extracting # 3 : cost 0 0.050 * * [simplify]: Extracting # 4 : cost 0 0.050 * * [simplify]: Extracting # 5 : cost 0 0.050 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 0.052 * * [simplify]: Extracting # 0 : cost 0 0.052 * * [simplify]: Extracting # 1 : cost 0 0.052 * * [simplify]: Extracting # 2 : cost 0 0.052 * * [simplify]: iteration 1 : 24 enodes (cost 18 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 0.057 * * [simplify]: Extracting # 1 : cost 0 0.057 * * [simplify]: Extracting # 2 : cost 0 0.058 * * [simplify]: Extracting # 3 : cost 0 0.058 * * [simplify]: iteration 2 : 57 enodes (cost 17 ) 0.072 * * [simplify]: Extracting # 0 : cost 0 0.072 * * [simplify]: Extracting # 1 : cost 0 0.072 * * [simplify]: Extracting # 2 : cost 0 0.072 * * [simplify]: Extracting # 3 : cost 0 0.073 * * [simplify]: Extracting # 4 : cost 0 0.073 * * [simplify]: iteration 3 : 157 enodes (cost 17 ) 0.161 * * [simplify]: Extracting # 0 : cost 0 0.162 * * [simplify]: Extracting # 1 : cost 0 0.162 * * [simplify]: Extracting # 2 : cost 0 0.162 * * [simplify]: Extracting # 3 : cost 0 0.163 * * [simplify]: iteration 4 : 421 enodes (cost 14 ) 0.656 * * [simplify]: Extracting # 0 : cost 0 0.658 * * [simplify]: Extracting # 1 : cost 0 0.660 * * [simplify]: Extracting # 2 : cost 0 0.662 * * [simplify]: Extracting # 3 : cost 0 0.664 * * [simplify]: Extracting # 4 : cost 0 0.666 * * [simplify]: iteration 5 : 1225 enodes (cost 11 ) 2.843 * * [simplify]: Extracting # 0 : cost 0 2.851 * * [simplify]: Extracting # 1 : cost 0 2.856 * * [simplify]: Extracting # 2 : cost 0 2.861 * * [simplify]: Extracting # 3 : cost 0 2.866 * * [simplify]: Extracting # 4 : cost 0 2.871 * * [simplify]: Extracting # 5 : cost 0 2.875 * * [simplify]: iteration 6 : 3119 enodes (cost 10 ) 4.425 * * [simplify]: Extracting # 0 : cost 0 4.430 * * [simplify]: Extracting # 1 : cost 0 4.435 * * [simplify]: Extracting # 2 : cost 0 4.440 * * [simplify]: Extracting # 3 : cost 0 4.444 * * [simplify]: iteration done: 5000 enodes (cost 10 ) 4.444 * [simplify]: Simplified to: (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) 4.448 * * [progress]: iteration 1 / 4 4.448 * * * [progress]: picking best candidate 4.452 * * * * [pick]: Picked # 4.452 * * * [progress]: localizing error 4.466 * * * [progress]: generating rewritten candidates 4.466 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 4.483 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.484 * * * [progress]: generating series expansions 4.484 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 4.484 * [backup-simplify]: Simplify (* -3 (* x.im x.re)) into (* -3 (* x.im x.re)) 4.484 * [approximate]: Taking taylor expansion of (* -3 (* x.im x.re)) in (x.im x.re) around 0 4.484 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 4.484 * [taylor]: Taking taylor expansion of -3 in x.re 4.484 * [backup-simplify]: Simplify -3 into -3 4.484 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.484 * [taylor]: Taking taylor expansion of x.im in x.re 4.484 * [backup-simplify]: Simplify x.im into x.im 4.484 * [taylor]: Taking taylor expansion of x.re in x.re 4.484 * [backup-simplify]: Simplify 0 into 0 4.484 * [backup-simplify]: Simplify 1 into 1 4.485 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im 4.485 * [taylor]: Taking taylor expansion of -3 in x.im 4.485 * [backup-simplify]: Simplify -3 into -3 4.485 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.485 * [taylor]: Taking taylor expansion of x.im in x.im 4.485 * [backup-simplify]: Simplify 0 into 0 4.485 * [backup-simplify]: Simplify 1 into 1 4.485 * [taylor]: Taking taylor expansion of x.re in x.im 4.485 * [backup-simplify]: Simplify x.re into x.re 4.485 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im 4.485 * [taylor]: Taking taylor expansion of -3 in x.im 4.485 * [backup-simplify]: Simplify -3 into -3 4.485 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.485 * [taylor]: Taking taylor expansion of x.im in x.im 4.485 * [backup-simplify]: Simplify 0 into 0 4.485 * [backup-simplify]: Simplify 1 into 1 4.485 * [taylor]: Taking taylor expansion of x.re in x.im 4.485 * [backup-simplify]: Simplify x.re into x.re 4.485 * [backup-simplify]: Simplify (* 0 x.re) into 0 4.485 * [backup-simplify]: Simplify (* -3 0) into 0 4.485 * [taylor]: Taking taylor expansion of 0 in x.re 4.486 * [backup-simplify]: Simplify 0 into 0 4.486 * [backup-simplify]: Simplify 0 into 0 4.486 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 4.486 * [backup-simplify]: Simplify (+ (* -3 x.re) (* 0 0)) into (- (* 3 x.re)) 4.486 * [taylor]: Taking taylor expansion of (- (* 3 x.re)) in x.re 4.486 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 4.486 * [taylor]: Taking taylor expansion of 3 in x.re 4.486 * [backup-simplify]: Simplify 3 into 3 4.486 * [taylor]: Taking taylor expansion of x.re in x.re 4.486 * [backup-simplify]: Simplify 0 into 0 4.486 * [backup-simplify]: Simplify 1 into 1 4.487 * [backup-simplify]: Simplify (* 3 0) into 0 4.487 * [backup-simplify]: Simplify (- 0) into 0 4.487 * [backup-simplify]: Simplify 0 into 0 4.487 * [backup-simplify]: Simplify 0 into 0 4.487 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 4.488 * [backup-simplify]: Simplify (+ (* -3 0) (+ (* 0 x.re) (* 0 0))) into 0 4.488 * [taylor]: Taking taylor expansion of 0 in x.re 4.488 * [backup-simplify]: Simplify 0 into 0 4.488 * [backup-simplify]: Simplify 0 into 0 4.488 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 4.489 * [backup-simplify]: Simplify (- 3) into -3 4.489 * [backup-simplify]: Simplify -3 into -3 4.489 * [backup-simplify]: Simplify 0 into 0 4.489 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 4.490 * [backup-simplify]: Simplify (+ (* -3 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0)))) into 0 4.490 * [taylor]: Taking taylor expansion of 0 in x.re 4.490 * [backup-simplify]: Simplify 0 into 0 4.490 * [backup-simplify]: Simplify 0 into 0 4.490 * [backup-simplify]: Simplify 0 into 0 4.491 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 4.491 * [backup-simplify]: Simplify (- 0) into 0 4.491 * [backup-simplify]: Simplify 0 into 0 4.491 * [backup-simplify]: Simplify 0 into 0 4.492 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 4.493 * [backup-simplify]: Simplify (+ (* -3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0))))) into 0 4.493 * [taylor]: Taking taylor expansion of 0 in x.re 4.493 * [backup-simplify]: Simplify 0 into 0 4.493 * [backup-simplify]: Simplify 0 into 0 4.493 * [backup-simplify]: Simplify (* -3 (* x.re x.im)) into (* -3 (* x.im x.re)) 4.493 * [backup-simplify]: Simplify (* -3 (* (/ 1 x.im) (/ 1 x.re))) into (/ -3 (* x.im x.re)) 4.493 * [approximate]: Taking taylor expansion of (/ -3 (* x.im x.re)) in (x.im x.re) around 0 4.493 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 4.493 * [taylor]: Taking taylor expansion of -3 in x.re 4.493 * [backup-simplify]: Simplify -3 into -3 4.493 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.493 * [taylor]: Taking taylor expansion of x.im in x.re 4.493 * [backup-simplify]: Simplify x.im into x.im 4.493 * [taylor]: Taking taylor expansion of x.re in x.re 4.493 * [backup-simplify]: Simplify 0 into 0 4.493 * [backup-simplify]: Simplify 1 into 1 4.493 * [backup-simplify]: Simplify (* x.im 0) into 0 4.494 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 4.494 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im) 4.494 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 4.494 * [taylor]: Taking taylor expansion of -3 in x.im 4.494 * [backup-simplify]: Simplify -3 into -3 4.494 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.494 * [taylor]: Taking taylor expansion of x.im in x.im 4.494 * [backup-simplify]: Simplify 0 into 0 4.494 * [backup-simplify]: Simplify 1 into 1 4.494 * [taylor]: Taking taylor expansion of x.re in x.im 4.494 * [backup-simplify]: Simplify x.re into x.re 4.494 * [backup-simplify]: Simplify (* 0 x.re) into 0 4.494 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 4.495 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 4.495 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 4.495 * [taylor]: Taking taylor expansion of -3 in x.im 4.495 * [backup-simplify]: Simplify -3 into -3 4.495 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.495 * [taylor]: Taking taylor expansion of x.im in x.im 4.495 * [backup-simplify]: Simplify 0 into 0 4.495 * [backup-simplify]: Simplify 1 into 1 4.495 * [taylor]: Taking taylor expansion of x.re in x.im 4.495 * [backup-simplify]: Simplify x.re into x.re 4.495 * [backup-simplify]: Simplify (* 0 x.re) into 0 4.495 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 4.495 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 4.495 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re 4.495 * [taylor]: Taking taylor expansion of -3 in x.re 4.495 * [backup-simplify]: Simplify -3 into -3 4.496 * [taylor]: Taking taylor expansion of x.re in x.re 4.496 * [backup-simplify]: Simplify 0 into 0 4.496 * [backup-simplify]: Simplify 1 into 1 4.496 * [backup-simplify]: Simplify (/ -3 1) into -3 4.496 * [backup-simplify]: Simplify -3 into -3 4.497 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 4.497 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0 4.497 * [taylor]: Taking taylor expansion of 0 in x.re 4.497 * [backup-simplify]: Simplify 0 into 0 4.498 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0 4.498 * [backup-simplify]: Simplify 0 into 0 4.499 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 4.500 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 4.500 * [taylor]: Taking taylor expansion of 0 in x.re 4.500 * [backup-simplify]: Simplify 0 into 0 4.500 * [backup-simplify]: Simplify 0 into 0 4.501 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.501 * [backup-simplify]: Simplify 0 into 0 4.502 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 4.503 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 4.503 * [taylor]: Taking taylor expansion of 0 in x.re 4.503 * [backup-simplify]: Simplify 0 into 0 4.503 * [backup-simplify]: Simplify 0 into 0 4.503 * [backup-simplify]: Simplify 0 into 0 4.504 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.504 * [backup-simplify]: Simplify 0 into 0 4.504 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 x.re)) (/ 1 (/ 1 x.im)))) into (* -3 (* x.im x.re)) 4.504 * [backup-simplify]: Simplify (* -3 (* (/ 1 (- x.im)) (/ 1 (- x.re)))) into (/ -3 (* x.im x.re)) 4.504 * [approximate]: Taking taylor expansion of (/ -3 (* x.im x.re)) in (x.im x.re) around 0 4.504 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 4.504 * [taylor]: Taking taylor expansion of -3 in x.re 4.504 * [backup-simplify]: Simplify -3 into -3 4.504 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.504 * [taylor]: Taking taylor expansion of x.im in x.re 4.504 * [backup-simplify]: Simplify x.im into x.im 4.504 * [taylor]: Taking taylor expansion of x.re in x.re 4.504 * [backup-simplify]: Simplify 0 into 0 4.505 * [backup-simplify]: Simplify 1 into 1 4.505 * [backup-simplify]: Simplify (* x.im 0) into 0 4.505 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im 4.505 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im) 4.505 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 4.505 * [taylor]: Taking taylor expansion of -3 in x.im 4.505 * [backup-simplify]: Simplify -3 into -3 4.505 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.505 * [taylor]: Taking taylor expansion of x.im in x.im 4.505 * [backup-simplify]: Simplify 0 into 0 4.505 * [backup-simplify]: Simplify 1 into 1 4.505 * [taylor]: Taking taylor expansion of x.re in x.im 4.505 * [backup-simplify]: Simplify x.re into x.re 4.505 * [backup-simplify]: Simplify (* 0 x.re) into 0 4.506 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 4.506 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 4.506 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 4.506 * [taylor]: Taking taylor expansion of -3 in x.im 4.506 * [backup-simplify]: Simplify -3 into -3 4.506 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.506 * [taylor]: Taking taylor expansion of x.im in x.im 4.506 * [backup-simplify]: Simplify 0 into 0 4.506 * [backup-simplify]: Simplify 1 into 1 4.506 * [taylor]: Taking taylor expansion of x.re in x.im 4.506 * [backup-simplify]: Simplify x.re into x.re 4.506 * [backup-simplify]: Simplify (* 0 x.re) into 0 4.507 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re 4.507 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re) 4.507 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re 4.507 * [taylor]: Taking taylor expansion of -3 in x.re 4.507 * [backup-simplify]: Simplify -3 into -3 4.507 * [taylor]: Taking taylor expansion of x.re in x.re 4.507 * [backup-simplify]: Simplify 0 into 0 4.507 * [backup-simplify]: Simplify 1 into 1 4.508 * [backup-simplify]: Simplify (/ -3 1) into -3 4.508 * [backup-simplify]: Simplify -3 into -3 4.508 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0 4.509 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0 4.509 * [taylor]: Taking taylor expansion of 0 in x.re 4.509 * [backup-simplify]: Simplify 0 into 0 4.510 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0 4.510 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0 4.511 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 4.511 * [taylor]: Taking taylor expansion of 0 in x.re 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify 0 into 0 4.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.512 * [backup-simplify]: Simplify 0 into 0 4.514 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0 4.514 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0 4.514 * [taylor]: Taking taylor expansion of 0 in x.re 4.514 * [backup-simplify]: Simplify 0 into 0 4.514 * [backup-simplify]: Simplify 0 into 0 4.514 * [backup-simplify]: Simplify 0 into 0 4.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.515 * [backup-simplify]: Simplify 0 into 0 4.516 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.re))) (/ 1 (/ 1 (- x.im))))) into (* -3 (* x.im x.re)) 4.516 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.516 * [backup-simplify]: Simplify (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) into (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) 4.516 * [approximate]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in (x.im x.re) around 0 4.516 * [taylor]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in x.re 4.516 * [taylor]: Rewrote expression to (+ (* x.im (* -3 (* x.im x.re))) (pow x.re 3)) 4.516 * [taylor]: Taking taylor expansion of (* x.im (* -3 (* x.im x.re))) in x.re 4.516 * [taylor]: Taking taylor expansion of x.im in x.re 4.516 * [backup-simplify]: Simplify x.im into x.im 4.517 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 4.517 * [taylor]: Taking taylor expansion of -3 in x.re 4.517 * [backup-simplify]: Simplify -3 into -3 4.517 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.517 * [taylor]: Taking taylor expansion of x.im in x.re 4.517 * [backup-simplify]: Simplify x.im into x.im 4.517 * [taylor]: Taking taylor expansion of x.re in x.re 4.517 * [backup-simplify]: Simplify 0 into 0 4.517 * [backup-simplify]: Simplify 1 into 1 4.517 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 4.517 * [taylor]: Taking taylor expansion of x.re in x.re 4.517 * [backup-simplify]: Simplify 0 into 0 4.517 * [backup-simplify]: Simplify 1 into 1 4.517 * [taylor]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in x.im 4.517 * [taylor]: Rewrote expression to (+ (* x.im (* -3 (* x.im x.re))) (pow x.re 3)) 4.517 * [taylor]: Taking taylor expansion of (* x.im (* -3 (* x.im x.re))) in x.im 4.517 * [taylor]: Taking taylor expansion of x.im in x.im 4.517 * [backup-simplify]: Simplify 0 into 0 4.517 * [backup-simplify]: Simplify 1 into 1 4.517 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im 4.517 * [taylor]: Taking taylor expansion of -3 in x.im 4.517 * [backup-simplify]: Simplify -3 into -3 4.517 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.517 * [taylor]: Taking taylor expansion of x.im in x.im 4.517 * [backup-simplify]: Simplify 0 into 0 4.517 * [backup-simplify]: Simplify 1 into 1 4.517 * [taylor]: Taking taylor expansion of x.re in x.im 4.517 * [backup-simplify]: Simplify x.re into x.re 4.517 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 4.517 * [taylor]: Taking taylor expansion of x.re in x.im 4.517 * [backup-simplify]: Simplify x.re into x.re 4.518 * [taylor]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in x.im 4.518 * [taylor]: Rewrote expression to (+ (* x.im (* -3 (* x.im x.re))) (pow x.re 3)) 4.518 * [taylor]: Taking taylor expansion of (* x.im (* -3 (* x.im x.re))) in x.im 4.518 * [taylor]: Taking taylor expansion of x.im in x.im 4.518 * [backup-simplify]: Simplify 0 into 0 4.518 * [backup-simplify]: Simplify 1 into 1 4.518 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im 4.518 * [taylor]: Taking taylor expansion of -3 in x.im 4.518 * [backup-simplify]: Simplify -3 into -3 4.518 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.518 * [taylor]: Taking taylor expansion of x.im in x.im 4.518 * [backup-simplify]: Simplify 0 into 0 4.518 * [backup-simplify]: Simplify 1 into 1 4.518 * [taylor]: Taking taylor expansion of x.re in x.im 4.518 * [backup-simplify]: Simplify x.re into x.re 4.518 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 4.518 * [taylor]: Taking taylor expansion of x.re in x.im 4.518 * [backup-simplify]: Simplify x.re into x.re 4.518 * [backup-simplify]: Simplify (* 0 x.re) into 0 4.519 * [backup-simplify]: Simplify (* -3 0) into 0 4.519 * [backup-simplify]: Simplify (* 0 0) into 0