45.086 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.047 * [progress]: [Phase 2 of 3] Improving.
0.047 * [simplify]: Simplifying:
  (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im))
0.047 * * [simplify]: Extracting # 0 : cost  0
0.047 * * [simplify]: Extracting # 1 : cost  0
0.047 * * [simplify]: Extracting # 2 : cost  0
0.047 * * [simplify]: Extracting # 3 : cost  0
0.047 * * [simplify]: Extracting # 4 : cost  0
0.047 * * [simplify]: Extracting # 5 : cost  0
0.048 * * [simplify]: iteration  0 :  11  enodes  (cost  19 )
0.052 * * [simplify]: Extracting # 0 : cost  0
0.053 * * [simplify]: Extracting # 1 : cost  0
0.053 * * [simplify]: Extracting # 2 : cost  0
0.053 * * [simplify]: iteration  1 :  24  enodes  (cost  18 )
0.063 * * [simplify]: Extracting # 0 : cost  0
0.063 * * [simplify]: Extracting # 1 : cost  0
0.063 * * [simplify]: Extracting # 2 : cost  0
0.063 * * [simplify]: Extracting # 3 : cost  0
0.064 * * [simplify]: iteration  2 :  57  enodes  (cost  17 )
0.094 * * [simplify]: Extracting # 0 : cost  0
0.095 * * [simplify]: Extracting # 1 : cost  0
0.095 * * [simplify]: Extracting # 2 : cost  0
0.095 * * [simplify]: Extracting # 3 : cost  0
0.096 * * [simplify]: Extracting # 4 : cost  0
0.096 * * [simplify]: iteration  3 :  157  enodes  (cost  17 )
0.159 * * [simplify]: Extracting # 0 : cost  0
0.159 * * [simplify]: Extracting # 1 : cost  0
0.159 * * [simplify]: Extracting # 2 : cost  0
0.160 * * [simplify]: Extracting # 3 : cost  0
0.160 * * [simplify]: iteration  4 :  421  enodes  (cost  14 )
0.595 * * [simplify]: Extracting # 0 : cost  0
0.597 * * [simplify]: Extracting # 1 : cost  0
0.602 * * [simplify]: Extracting # 2 : cost  0
0.603 * * [simplify]: Extracting # 3 : cost  0
0.603 * * [simplify]: Extracting # 4 : cost  0
0.604 * * [simplify]: iteration  5 :  1225  enodes  (cost  11 )
2.623 * * [simplify]: Extracting # 0 : cost  0
2.632 * * [simplify]: Extracting # 1 : cost  0
2.637 * * [simplify]: Extracting # 2 : cost  0
2.642 * * [simplify]: Extracting # 3 : cost  0
2.648 * * [simplify]: Extracting # 4 : cost  0
2.653 * * [simplify]: Extracting # 5 : cost  0
2.656 * * [simplify]: iteration  6 :  3119  enodes  (cost  10 )
4.045 * * [simplify]: Extracting # 0 : cost  0
4.053 * * [simplify]: Extracting # 1 : cost  0
4.061 * * [simplify]: Extracting # 2 : cost  0
4.066 * * [simplify]: Extracting # 3 : cost  0
4.072 * * [simplify]: iteration done:  5000  enodes  (cost  10 )
4.073 * [simplify]: Simplified to:
  (fma x.im (* -3 (* x.im x.re)) (pow x.re 3))
4.077 * * [progress]: iteration 1 / 4
4.077 * * * [progress]: picking best candidate
4.080 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)))>
4.080 * * * [progress]: localizing error
4.088 * * * [progress]: generating rewritten candidates
4.088 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
4.104 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.105 * * * [progress]: generating series expansions
4.105 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
4.105 * [backup-simplify]: Simplify (* -3 (* x.im x.re)) into (* -3 (* x.im x.re))
4.105 * [approximate]: Taking taylor expansion of (* -3 (* x.im x.re)) in (x.im x.re) around 0
4.105 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re
4.105 * [taylor]: Taking taylor expansion of -3 in x.re
4.105 * [backup-simplify]: Simplify -3 into -3
4.105 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
4.105 * [taylor]: Taking taylor expansion of x.im in x.re
4.105 * [backup-simplify]: Simplify x.im into x.im
4.105 * [taylor]: Taking taylor expansion of x.re in x.re
4.106 * [backup-simplify]: Simplify 0 into 0
4.106 * [backup-simplify]: Simplify 1 into 1
4.106 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im
4.106 * [taylor]: Taking taylor expansion of -3 in x.im
4.106 * [backup-simplify]: Simplify -3 into -3
4.106 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
4.106 * [taylor]: Taking taylor expansion of x.im in x.im
4.106 * [backup-simplify]: Simplify 0 into 0
4.106 * [backup-simplify]: Simplify 1 into 1
4.106 * [taylor]: Taking taylor expansion of x.re in x.im
4.106 * [backup-simplify]: Simplify x.re into x.re
4.106 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im
4.106 * [taylor]: Taking taylor expansion of -3 in x.im
4.106 * [backup-simplify]: Simplify -3 into -3
4.106 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
4.106 * [taylor]: Taking taylor expansion of x.im in x.im
4.106 * [backup-simplify]: Simplify 0 into 0
4.106 * [backup-simplify]: Simplify 1 into 1
4.106 * [taylor]: Taking taylor expansion of x.re in x.im
4.106 * [backup-simplify]: Simplify x.re into x.re
4.106 * [backup-simplify]: Simplify (* 0 x.re) into 0
4.107 * [backup-simplify]: Simplify (* -3 0) into 0
4.107 * [taylor]: Taking taylor expansion of 0 in x.re
4.107 * [backup-simplify]: Simplify 0 into 0
4.107 * [backup-simplify]: Simplify 0 into 0
4.107 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re
4.108 * [backup-simplify]: Simplify (+ (* -3 x.re) (* 0 0)) into (- (* 3 x.re))
4.108 * [taylor]: Taking taylor expansion of (- (* 3 x.re)) in x.re
4.108 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re
4.108 * [taylor]: Taking taylor expansion of 3 in x.re
4.108 * [backup-simplify]: Simplify 3 into 3
4.108 * [taylor]: Taking taylor expansion of x.re in x.re
4.108 * [backup-simplify]: Simplify 0 into 0
4.108 * [backup-simplify]: Simplify 1 into 1
4.108 * [backup-simplify]: Simplify (* 3 0) into 0
4.109 * [backup-simplify]: Simplify (- 0) into 0
4.109 * [backup-simplify]: Simplify 0 into 0
4.109 * [backup-simplify]: Simplify 0 into 0
4.109 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0
4.110 * [backup-simplify]: Simplify (+ (* -3 0) (+ (* 0 x.re) (* 0 0))) into 0
4.110 * [taylor]: Taking taylor expansion of 0 in x.re
4.110 * [backup-simplify]: Simplify 0 into 0
4.110 * [backup-simplify]: Simplify 0 into 0
4.111 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
4.111 * [backup-simplify]: Simplify (- 3) into -3
4.111 * [backup-simplify]: Simplify -3 into -3
4.111 * [backup-simplify]: Simplify 0 into 0
4.112 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0
4.113 * [backup-simplify]: Simplify (+ (* -3 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0)))) into 0
4.113 * [taylor]: Taking taylor expansion of 0 in x.re
4.113 * [backup-simplify]: Simplify 0 into 0
4.113 * [backup-simplify]: Simplify 0 into 0
4.113 * [backup-simplify]: Simplify 0 into 0
4.114 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
4.114 * [backup-simplify]: Simplify (- 0) into 0
4.114 * [backup-simplify]: Simplify 0 into 0
4.114 * [backup-simplify]: Simplify 0 into 0
4.115 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0
4.116 * [backup-simplify]: Simplify (+ (* -3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 x.re) (* 0 0))))) into 0
4.116 * [taylor]: Taking taylor expansion of 0 in x.re
4.116 * [backup-simplify]: Simplify 0 into 0
4.116 * [backup-simplify]: Simplify 0 into 0
4.116 * [backup-simplify]: Simplify (* -3 (* x.re x.im)) into (* -3 (* x.im x.re))
4.116 * [backup-simplify]: Simplify (* -3 (* (/ 1 x.im) (/ 1 x.re))) into (/ -3 (* x.im x.re))
4.116 * [approximate]: Taking taylor expansion of (/ -3 (* x.im x.re)) in (x.im x.re) around 0
4.116 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re
4.116 * [taylor]: Taking taylor expansion of -3 in x.re
4.116 * [backup-simplify]: Simplify -3 into -3
4.116 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
4.116 * [taylor]: Taking taylor expansion of x.im in x.re
4.116 * [backup-simplify]: Simplify x.im into x.im
4.116 * [taylor]: Taking taylor expansion of x.re in x.re
4.116 * [backup-simplify]: Simplify 0 into 0
4.116 * [backup-simplify]: Simplify 1 into 1
4.116 * [backup-simplify]: Simplify (* x.im 0) into 0
4.116 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im
4.117 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im)
4.117 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im
4.117 * [taylor]: Taking taylor expansion of -3 in x.im
4.117 * [backup-simplify]: Simplify -3 into -3
4.117 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
4.117 * [taylor]: Taking taylor expansion of x.im in x.im
4.117 * [backup-simplify]: Simplify 0 into 0
4.117 * [backup-simplify]: Simplify 1 into 1
4.117 * [taylor]: Taking taylor expansion of x.re in x.im
4.117 * [backup-simplify]: Simplify x.re into x.re
4.117 * [backup-simplify]: Simplify (* 0 x.re) into 0
4.117 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re
4.117 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re)
4.117 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im
4.117 * [taylor]: Taking taylor expansion of -3 in x.im
4.117 * [backup-simplify]: Simplify -3 into -3
4.117 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
4.117 * [taylor]: Taking taylor expansion of x.im in x.im
4.117 * [backup-simplify]: Simplify 0 into 0
4.117 * [backup-simplify]: Simplify 1 into 1
4.117 * [taylor]: Taking taylor expansion of x.re in x.im
4.117 * [backup-simplify]: Simplify x.re into x.re
4.117 * [backup-simplify]: Simplify (* 0 x.re) into 0
4.117 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re
4.118 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re)
4.118 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re
4.118 * [taylor]: Taking taylor expansion of -3 in x.re
4.118 * [backup-simplify]: Simplify -3 into -3
4.118 * [taylor]: Taking taylor expansion of x.re in x.re
4.118 * [backup-simplify]: Simplify 0 into 0
4.118 * [backup-simplify]: Simplify 1 into 1
4.118 * [backup-simplify]: Simplify (/ -3 1) into -3
4.118 * [backup-simplify]: Simplify -3 into -3
4.118 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0
4.119 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0
4.119 * [taylor]: Taking taylor expansion of 0 in x.re
4.119 * [backup-simplify]: Simplify 0 into 0
4.119 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0
4.119 * [backup-simplify]: Simplify 0 into 0
4.120 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0
4.120 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
4.120 * [taylor]: Taking taylor expansion of 0 in x.re
4.120 * [backup-simplify]: Simplify 0 into 0
4.120 * [backup-simplify]: Simplify 0 into 0
4.121 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.121 * [backup-simplify]: Simplify 0 into 0
4.122 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0
4.122 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
4.122 * [taylor]: Taking taylor expansion of 0 in x.re
4.122 * [backup-simplify]: Simplify 0 into 0
4.122 * [backup-simplify]: Simplify 0 into 0
4.122 * [backup-simplify]: Simplify 0 into 0
4.122 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.123 * [backup-simplify]: Simplify 0 into 0
4.123 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 x.re)) (/ 1 (/ 1 x.im)))) into (* -3 (* x.im x.re))
4.123 * [backup-simplify]: Simplify (* -3 (* (/ 1 (- x.im)) (/ 1 (- x.re)))) into (/ -3 (* x.im x.re))
4.123 * [approximate]: Taking taylor expansion of (/ -3 (* x.im x.re)) in (x.im x.re) around 0
4.123 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re
4.123 * [taylor]: Taking taylor expansion of -3 in x.re
4.123 * [backup-simplify]: Simplify -3 into -3
4.123 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
4.123 * [taylor]: Taking taylor expansion of x.im in x.re
4.123 * [backup-simplify]: Simplify x.im into x.im
4.123 * [taylor]: Taking taylor expansion of x.re in x.re
4.123 * [backup-simplify]: Simplify 0 into 0
4.123 * [backup-simplify]: Simplify 1 into 1
4.123 * [backup-simplify]: Simplify (* x.im 0) into 0
4.123 * [backup-simplify]: Simplify (+ (* x.im 1) (* 0 0)) into x.im
4.123 * [backup-simplify]: Simplify (/ -3 x.im) into (/ -3 x.im)
4.123 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im
4.124 * [taylor]: Taking taylor expansion of -3 in x.im
4.124 * [backup-simplify]: Simplify -3 into -3
4.124 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
4.124 * [taylor]: Taking taylor expansion of x.im in x.im
4.124 * [backup-simplify]: Simplify 0 into 0
4.124 * [backup-simplify]: Simplify 1 into 1
4.124 * [taylor]: Taking taylor expansion of x.re in x.im
4.124 * [backup-simplify]: Simplify x.re into x.re
4.124 * [backup-simplify]: Simplify (* 0 x.re) into 0
4.124 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re
4.124 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re)
4.124 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im
4.124 * [taylor]: Taking taylor expansion of -3 in x.im
4.124 * [backup-simplify]: Simplify -3 into -3
4.124 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
4.124 * [taylor]: Taking taylor expansion of x.im in x.im
4.124 * [backup-simplify]: Simplify 0 into 0
4.124 * [backup-simplify]: Simplify 1 into 1
4.124 * [taylor]: Taking taylor expansion of x.re in x.im
4.124 * [backup-simplify]: Simplify x.re into x.re
4.124 * [backup-simplify]: Simplify (* 0 x.re) into 0
4.124 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x.re)) into x.re
4.124 * [backup-simplify]: Simplify (/ -3 x.re) into (/ -3 x.re)
4.125 * [taylor]: Taking taylor expansion of (/ -3 x.re) in x.re
4.125 * [taylor]: Taking taylor expansion of -3 in x.re
4.125 * [backup-simplify]: Simplify -3 into -3
4.125 * [taylor]: Taking taylor expansion of x.re in x.re
4.125 * [backup-simplify]: Simplify 0 into 0
4.125 * [backup-simplify]: Simplify 1 into 1
4.125 * [backup-simplify]: Simplify (/ -3 1) into -3
4.125 * [backup-simplify]: Simplify -3 into -3
4.125 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x.re))) into 0
4.125 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)))) into 0
4.125 * [taylor]: Taking taylor expansion of 0 in x.re
4.126 * [backup-simplify]: Simplify 0 into 0
4.126 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)))) into 0
4.126 * [backup-simplify]: Simplify 0 into 0
4.127 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x.re)))) into 0
4.127 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
4.127 * [taylor]: Taking taylor expansion of 0 in x.re
4.127 * [backup-simplify]: Simplify 0 into 0
4.127 * [backup-simplify]: Simplify 0 into 0
4.127 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.128 * [backup-simplify]: Simplify 0 into 0
4.128 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x.re))))) into 0
4.129 * [backup-simplify]: Simplify (- (/ 0 x.re) (+ (* (/ -3 x.re) (/ 0 x.re)) (* 0 (/ 0 x.re)) (* 0 (/ 0 x.re)))) into 0
4.129 * [taylor]: Taking taylor expansion of 0 in x.re
4.129 * [backup-simplify]: Simplify 0 into 0
4.129 * [backup-simplify]: Simplify 0 into 0
4.129 * [backup-simplify]: Simplify 0 into 0
4.129 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.129 * [backup-simplify]: Simplify 0 into 0
4.129 * [backup-simplify]: Simplify (* -3 (* (/ 1 (/ 1 (- x.re))) (/ 1 (/ 1 (- x.im))))) into (* -3 (* x.im x.re))
4.129 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.130 * [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.130 * [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.130 * [taylor]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in x.re
4.130 * [taylor]: Rewrote expression to (+ (* x.im (* -3 (* x.im x.re))) (pow x.re 3))
4.130 * [taylor]: Taking taylor expansion of (* x.im (* -3 (* x.im x.re))) in x.re
4.130 * [taylor]: Taking taylor expansion of x.im in x.re
4.130 * [backup-simplify]: Simplify x.im into x.im
4.130 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re
4.130 * [taylor]: Taking taylor expansion of -3 in x.re
4.130 * [backup-simplify]: Simplify -3 into -3
4.130 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re
4.130 * [taylor]: Taking taylor expansion of x.im in x.re
4.130 * [backup-simplify]: Simplify x.im into x.im
4.130 * [taylor]: Taking taylor expansion of x.re in x.re
4.130 * [backup-simplify]: Simplify 0 into 0
4.130 * [backup-simplify]: Simplify 1 into 1
4.130 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re
4.130 * [taylor]: Taking taylor expansion of x.re in x.re
4.130 * [backup-simplify]: Simplify 0 into 0
4.130 * [backup-simplify]: Simplify 1 into 1
4.130 * [taylor]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in x.im
4.130 * [taylor]: Rewrote expression to (+ (* x.im (* -3 (* x.im x.re))) (pow x.re 3))
4.130 * [taylor]: Taking taylor expansion of (* x.im (* -3 (* x.im x.re))) in x.im
4.130 * [taylor]: Taking taylor expansion of x.im in x.im
4.130 * [backup-simplify]: Simplify 0 into 0
4.130 * [backup-simplify]: Simplify 1 into 1
4.130 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im
4.131 * [taylor]: Taking taylor expansion of -3 in x.im
4.131 * [backup-simplify]: Simplify -3 into -3
4.131 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
4.131 * [taylor]: Taking taylor expansion of x.im in x.im
4.131 * [backup-simplify]: Simplify 0 into 0
4.131 * [backup-simplify]: Simplify 1 into 1
4.131 * [taylor]: Taking taylor expansion of x.re in x.im
4.131 * [backup-simplify]: Simplify x.re into x.re
4.131 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im
4.131 * [taylor]: Taking taylor expansion of x.re in x.im
4.131 * [backup-simplify]: Simplify x.re into x.re
4.131 * [taylor]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in x.im
4.131 * [taylor]: Rewrote expression to (+ (* x.im (* -3 (* x.im x.re))) (pow x.re 3))
4.131 * [taylor]: Taking taylor expansion of (* x.im (* -3 (* x.im x.re))) in x.im
4.131 * [taylor]: Taking taylor expansion of x.im in x.im
4.131 * [backup-simplify]: Simplify 0 into 0
4.131 * [backup-simplify]: Simplify 1 into 1
4.131 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im
4.131 * [taylor]: Taking taylor expansion of -3 in x.im
4.131 * [backup-simplify]: Simplify -3 into -3
4.131 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im
4.131 * [taylor]: Taking taylor expansion of x.im in x.im
4.131 * [backup-simplify]: Simplify 0 into 0
4.131 * [backup-simplify]: Simplify 1 into 1
4.131 * [taylor]: Taking taylor expansion of x.re in x.im
4.131 * [backup-simplify]: Simplify x.re into x.re
4.131 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im
4.131 * [taylor]: Taking taylor expansion of x.re in x.im
4.131 * [backup-simplify]: Simplify x.re into x.re
4.131 * [backup-simplify]: Simplify (* 0 x.re) into 0
4.131 * [backup-simplify]: Simplify (* -3 0) into 0
4.132 * [backup-simplify]: Simplify (* 0 0) into 0