3.353 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.028 * [simplify]: Simplifying using # : (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) 0.029 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 0.031 * * [simplify]: iteration 1 : 24 enodes (cost 18 ) 0.034 * * [simplify]: iteration 2 : 59 enodes (cost 17 ) 0.046 * * [simplify]: iteration 3 : 152 enodes (cost 16 ) 0.074 * * [simplify]: iteration 4 : 397 enodes (cost 14 ) 0.172 * * [simplify]: iteration 5 : 935 enodes (cost 11 ) 0.443 * * [simplify]: iteration 6 : 2643 enodes (cost 10 ) 1.094 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 1.094 * [simplify]: Simplified to: (fma x.im (* -3 (* x.re x.im)) (pow x.re 3)) 1.097 * * [progress]: iteration 1 / 4 1.097 * * * [progress]: picking best candidate 1.101 * * * * [pick]: Picked # 1.101 * * * [progress]: localizing error 1.108 * * * [progress]: generating rewritten candidates 1.108 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 1.113 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.114 * * * [progress]: generating series expansions 1.114 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 1.114 * [approximate]: Taking taylor expansion of (* -3 (* x.im x.re)) in (x.re x.im) around 0 1.115 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im 1.115 * [taylor]: Taking taylor expansion of -3 in x.im 1.115 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.115 * [taylor]: Taking taylor expansion of x.im in x.im 1.115 * [taylor]: Taking taylor expansion of x.re in x.im 1.115 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 1.115 * [taylor]: Taking taylor expansion of -3 in x.re 1.115 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.115 * [taylor]: Taking taylor expansion of x.im in x.re 1.115 * [taylor]: Taking taylor expansion of x.re in x.re 1.115 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 1.115 * [taylor]: Taking taylor expansion of -3 in x.re 1.115 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.115 * [taylor]: Taking taylor expansion of x.im in x.re 1.115 * [taylor]: Taking taylor expansion of x.re in x.re 1.115 * [taylor]: Taking taylor expansion of 0 in x.im 1.116 * [taylor]: Taking taylor expansion of (- (* 3 x.im)) in x.im 1.116 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 1.116 * [taylor]: Taking taylor expansion of 3 in x.im 1.116 * [taylor]: Taking taylor expansion of x.im in x.im 1.117 * [taylor]: Taking taylor expansion of 0 in x.im 1.119 * [taylor]: Taking taylor expansion of 0 in x.im 1.121 * [taylor]: Taking taylor expansion of 0 in x.im 1.121 * [approximate]: Taking taylor expansion of (/ -3 (* x.im x.re)) in (x.re x.im) around 0 1.121 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 1.121 * [taylor]: Taking taylor expansion of -3 in x.im 1.121 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.121 * [taylor]: Taking taylor expansion of x.im in x.im 1.121 * [taylor]: Taking taylor expansion of x.re in x.im 1.122 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 1.122 * [taylor]: Taking taylor expansion of -3 in x.re 1.122 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.122 * [taylor]: Taking taylor expansion of x.im in x.re 1.122 * [taylor]: Taking taylor expansion of x.re in x.re 1.122 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 1.122 * [taylor]: Taking taylor expansion of -3 in x.re 1.122 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.122 * [taylor]: Taking taylor expansion of x.im in x.re 1.122 * [taylor]: Taking taylor expansion of x.re in x.re 1.123 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 1.123 * [taylor]: Taking taylor expansion of -3 in x.im 1.123 * [taylor]: Taking taylor expansion of x.im in x.im 1.123 * [taylor]: Taking taylor expansion of 0 in x.im 1.124 * [taylor]: Taking taylor expansion of 0 in x.im 1.126 * [taylor]: Taking taylor expansion of 0 in x.im 1.126 * [approximate]: Taking taylor expansion of (/ -3 (* x.im x.re)) in (x.re x.im) around 0 1.126 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 1.126 * [taylor]: Taking taylor expansion of -3 in x.im 1.126 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.126 * [taylor]: Taking taylor expansion of x.im in x.im 1.126 * [taylor]: Taking taylor expansion of x.re in x.im 1.127 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 1.127 * [taylor]: Taking taylor expansion of -3 in x.re 1.127 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.127 * [taylor]: Taking taylor expansion of x.im in x.re 1.127 * [taylor]: Taking taylor expansion of x.re in x.re 1.127 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 1.127 * [taylor]: Taking taylor expansion of -3 in x.re 1.127 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.127 * [taylor]: Taking taylor expansion of x.im in x.re 1.127 * [taylor]: Taking taylor expansion of x.re in x.re 1.128 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 1.128 * [taylor]: Taking taylor expansion of -3 in x.im 1.128 * [taylor]: Taking taylor expansion of x.im in x.im 1.128 * [taylor]: Taking taylor expansion of 0 in x.im 1.129 * [taylor]: Taking taylor expansion of 0 in x.im 1.130 * [taylor]: Taking taylor expansion of 0 in x.im 1.131 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.131 * [approximate]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in (x.im x.re) around 0 1.131 * [taylor]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in x.re 1.131 * [taylor]: Rewrote expression to (+ (* x.im (* -3 (* x.im x.re))) (pow x.re 3)) 1.131 * [taylor]: Taking taylor expansion of (* x.im (* -3 (* x.im x.re))) in x.re 1.132 * [taylor]: Taking taylor expansion of x.im in x.re 1.132 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 1.132 * [taylor]: Taking taylor expansion of -3 in x.re 1.132 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.132 * [taylor]: Taking taylor expansion of x.im in x.re 1.132 * [taylor]: Taking taylor expansion of x.re in x.re 1.132 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.132 * [taylor]: Taking taylor expansion of x.re in x.re 1.132 * [taylor]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in x.im 1.132 * [taylor]: Rewrote expression to (+ (* x.im (* -3 (* x.im x.re))) (pow x.re 3)) 1.132 * [taylor]: Taking taylor expansion of (* x.im (* -3 (* x.im x.re))) in x.im 1.132 * [taylor]: Taking taylor expansion of x.im in x.im 1.132 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im 1.132 * [taylor]: Taking taylor expansion of -3 in x.im 1.132 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.132 * [taylor]: Taking taylor expansion of x.im in x.im 1.132 * [taylor]: Taking taylor expansion of x.re in x.im 1.132 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 1.132 * [taylor]: Taking taylor expansion of x.re in x.im 1.132 * [taylor]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in x.im 1.132 * [taylor]: Rewrote expression to (+ (* x.im (* -3 (* x.im x.re))) (pow x.re 3)) 1.132 * [taylor]: Taking taylor expansion of (* x.im (* -3 (* x.im x.re))) in x.im 1.132 * [taylor]: Taking taylor expansion of x.im in x.im 1.132 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im 1.132 * [taylor]: Taking taylor expansion of -3 in x.im 1.132 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.132 * [taylor]: Taking taylor expansion of x.im in x.im 1.132 * [taylor]: Taking taylor expansion of x.re in x.im 1.132 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 1.132 * [taylor]: Taking taylor expansion of x.re in x.im 1.133 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.133 * [taylor]: Taking taylor expansion of x.re in x.re 1.134 * [taylor]: Taking taylor expansion of 0 in x.re 1.139 * [taylor]: Taking taylor expansion of (- (* 3 x.re)) in x.re 1.139 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 1.139 * [taylor]: Taking taylor expansion of 3 in x.re 1.139 * [taylor]: Taking taylor expansion of x.re in x.re 1.143 * [taylor]: Taking taylor expansion of 0 in x.re 1.149 * [taylor]: Taking taylor expansion of 0 in x.re 1.156 * [taylor]: Taking taylor expansion of 0 in x.re 1.157 * [approximate]: Taking taylor expansion of (fma (/ 1 x.im) (/ -3 (* x.im x.re)) (pow (/ 1 x.re) 3)) in (x.im x.re) around 0 1.157 * [taylor]: Taking taylor expansion of (fma (/ 1 x.im) (/ -3 (* x.im x.re)) (pow (/ 1 x.re) 3)) in x.re 1.157 * [taylor]: Rewrote expression to (+ (* (/ 1 x.im) (/ -3 (* x.im x.re))) (pow (/ 1 x.re) 3)) 1.157 * [taylor]: Taking taylor expansion of (* (/ 1 x.im) (/ -3 (* x.im x.re))) in x.re 1.157 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 1.157 * [taylor]: Taking taylor expansion of x.im in x.re 1.157 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 1.157 * [taylor]: Taking taylor expansion of -3 in x.re 1.157 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.157 * [taylor]: Taking taylor expansion of x.im in x.re 1.157 * [taylor]: Taking taylor expansion of x.re in x.re 1.157 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.re 1.157 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.157 * [taylor]: Taking taylor expansion of x.re in x.re 1.158 * [taylor]: Taking taylor expansion of (fma (/ 1 x.im) (/ -3 (* x.im x.re)) (pow (/ 1 x.re) 3)) in x.im 1.158 * [taylor]: Rewrote expression to (+ (* (/ 1 x.im) (/ -3 (* x.im x.re))) (pow (/ 1 x.re) 3)) 1.158 * [taylor]: Taking taylor expansion of (* (/ 1 x.im) (/ -3 (* x.im x.re))) in x.im 1.158 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.158 * [taylor]: Taking taylor expansion of x.im in x.im 1.158 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 1.158 * [taylor]: Taking taylor expansion of -3 in x.im 1.158 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.158 * [taylor]: Taking taylor expansion of x.im in x.im 1.158 * [taylor]: Taking taylor expansion of x.re in x.im 1.158 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.im 1.158 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 1.158 * [taylor]: Taking taylor expansion of x.re in x.im 1.158 * [taylor]: Taking taylor expansion of (fma (/ 1 x.im) (/ -3 (* x.im x.re)) (pow (/ 1 x.re) 3)) in x.im 1.159 * [taylor]: Rewrote expression to (+ (* (/ 1 x.im) (/ -3 (* x.im x.re))) (pow (/ 1 x.re) 3)) 1.159 * [taylor]: Taking taylor expansion of (* (/ 1 x.im) (/ -3 (* x.im x.re))) in x.im 1.159 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 1.159 * [taylor]: Taking taylor expansion of x.im in x.im 1.159 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 1.159 * [taylor]: Taking taylor expansion of -3 in x.im 1.159 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.159 * [taylor]: Taking taylor expansion of x.im in x.im 1.159 * [taylor]: Taking taylor expansion of x.re in x.im 1.159 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.im 1.159 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 1.159 * [taylor]: Taking taylor expansion of x.re in x.im 1.159 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x.re))) in x.re 1.160 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.re)) in x.re 1.160 * [taylor]: Taking taylor expansion of 3 in x.re 1.160 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.160 * [taylor]: Taking taylor expansion of x.re in x.re 1.161 * [taylor]: Taking taylor expansion of 0 in x.re 1.163 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 1.163 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.163 * [taylor]: Taking taylor expansion of x.re in x.re 1.167 * [taylor]: Taking taylor expansion of 0 in x.re 1.173 * [taylor]: Taking taylor expansion of 0 in x.re 1.180 * [taylor]: Taking taylor expansion of 0 in x.re 1.182 * [approximate]: Taking taylor expansion of (fma (/ -1 x.im) (/ -3 (* x.im x.re)) (pow (/ -1 x.re) 3)) in (x.im x.re) around 0 1.182 * [taylor]: Taking taylor expansion of (fma (/ -1 x.im) (/ -3 (* x.im x.re)) (pow (/ -1 x.re) 3)) in x.re 1.182 * [taylor]: Rewrote expression to (+ (* (/ -1 x.im) (/ -3 (* x.im x.re))) (pow (/ -1 x.re) 3)) 1.182 * [taylor]: Taking taylor expansion of (* (/ -1 x.im) (/ -3 (* x.im x.re))) in x.re 1.182 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.re 1.182 * [taylor]: Taking taylor expansion of -1 in x.re 1.182 * [taylor]: Taking taylor expansion of x.im in x.re 1.183 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 1.183 * [taylor]: Taking taylor expansion of -3 in x.re 1.183 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 1.183 * [taylor]: Taking taylor expansion of x.im in x.re 1.183 * [taylor]: Taking taylor expansion of x.re in x.re 1.183 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.re 1.183 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 1.183 * [taylor]: Taking taylor expansion of -1 in x.re 1.183 * [taylor]: Taking taylor expansion of x.re in x.re 1.183 * [taylor]: Taking taylor expansion of (fma (/ -1 x.im) (/ -3 (* x.im x.re)) (pow (/ -1 x.re) 3)) in x.im 1.183 * [taylor]: Rewrote expression to (+ (* (/ -1 x.im) (/ -3 (* x.im x.re))) (pow (/ -1 x.re) 3)) 1.184 * [taylor]: Taking taylor expansion of (* (/ -1 x.im) (/ -3 (* x.im x.re))) in x.im 1.184 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 1.184 * [taylor]: Taking taylor expansion of -1 in x.im 1.184 * [taylor]: Taking taylor expansion of x.im in x.im 1.184 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 1.184 * [taylor]: Taking taylor expansion of -3 in x.im 1.184 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.184 * [taylor]: Taking taylor expansion of x.im in x.im 1.184 * [taylor]: Taking taylor expansion of x.re in x.im 1.184 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.im 1.184 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.im 1.184 * [taylor]: Taking taylor expansion of -1 in x.im 1.184 * [taylor]: Taking taylor expansion of x.re in x.im 1.184 * [taylor]: Taking taylor expansion of (fma (/ -1 x.im) (/ -3 (* x.im x.re)) (pow (/ -1 x.re) 3)) in x.im 1.184 * [taylor]: Rewrote expression to (+ (* (/ -1 x.im) (/ -3 (* x.im x.re))) (pow (/ -1 x.re) 3)) 1.185 * [taylor]: Taking taylor expansion of (* (/ -1 x.im) (/ -3 (* x.im x.re))) in x.im 1.185 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 1.185 * [taylor]: Taking taylor expansion of -1 in x.im 1.185 * [taylor]: Taking taylor expansion of x.im in x.im 1.185 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 1.185 * [taylor]: Taking taylor expansion of -3 in x.im 1.185 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 1.185 * [taylor]: Taking taylor expansion of x.im in x.im 1.185 * [taylor]: Taking taylor expansion of x.re in x.im 1.185 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.im 1.185 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.im 1.185 * [taylor]: Taking taylor expansion of -1 in x.im 1.185 * [taylor]: Taking taylor expansion of x.re in x.im 1.185 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.re)) in x.re 1.185 * [taylor]: Taking taylor expansion of 3 in x.re 1.185 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 1.185 * [taylor]: Taking taylor expansion of x.re in x.re 1.187 * [taylor]: Taking taylor expansion of 0 in x.re 1.189 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3))) in x.re 1.189 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 1.189 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.189 * [taylor]: Taking taylor expansion of x.re in x.re 1.193 * [taylor]: Taking taylor expansion of 0 in x.re 1.199 * [taylor]: Taking taylor expansion of 0 in x.re 1.207 * [taylor]: Taking taylor expansion of 0 in x.re 1.209 * * * [progress]: simplifying candidates 1.209 * [simplify]: Simplifying using # : (expm1 (* -3 (* x.re x.im))) (log1p (* -3 (* x.re x.im))) (* -3 (* x.re x.im)) (* -3 (* x.re x.im)) (+ (log -3) (+ (log x.re) (log x.im))) (+ (log -3) (log (* x.re x.im))) (log (* -3 (* x.re x.im))) (exp (* -3 (* x.re x.im))) (* (* (* -3 -3) -3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* (* -3 -3) -3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (cbrt (* -3 (* x.re x.im))) (cbrt (* -3 (* x.re x.im)))) (cbrt (* -3 (* x.re x.im))) (* (* (* -3 (* x.re x.im)) (* -3 (* x.re x.im))) (* -3 (* x.re x.im))) (sqrt (* -3 (* x.re x.im))) (sqrt (* -3 (* x.re x.im))) (* -3 x.re) (* (cbrt -3) (* x.re x.im)) (* (sqrt -3) (* x.re x.im)) (* -3 (* x.re x.im)) (expm1 (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (log1p (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (* x.im (* -3 (* x.re x.im))) (log (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (exp (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (* (cbrt (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (cbrt (fma x.im (* -3 (* x.re x.im)) (pow x.re 3)))) (cbrt (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (* (* (fma x.im (* -3 (* x.re x.im)) (pow x.re 3)) (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (sqrt (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (sqrt (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 1.211 * * [simplify]: iteration 0 : 57 enodes (cost 338 ) 1.224 * * [simplify]: iteration 1 : 136 enodes (cost 327 ) 1.254 * * [simplify]: iteration 2 : 469 enodes (cost 285 ) 1.406 * * [simplify]: iteration 3 : 1938 enodes (cost 282 ) 2.126 * * [simplify]: iteration done : 5000 enodes (cost 282 ) 2.126 * [simplify]: Simplified to: (expm1 (* -3 (* x.re x.im))) (log1p (* -3 (* x.re x.im))) (* -3 (* x.re x.im)) (* -3 (* x.re x.im)) (log (* -3 (* x.re x.im))) (log (* -3 (* x.re x.im))) (log (* -3 (* x.re x.im))) (exp (* -3 (* x.re x.im))) (pow (* -3 (* x.re x.im)) 3) (pow (* -3 (* x.re x.im)) 3) (* (cbrt (* -3 (* x.re x.im))) (cbrt (* -3 (* x.re x.im)))) (cbrt (* -3 (* x.re x.im))) (pow (* -3 (* x.re x.im)) 3) (sqrt (* -3 (* x.re x.im))) (sqrt (* -3 (* x.re x.im))) (* -3 x.re) (* (cbrt -3) (* x.re x.im)) (* (sqrt -3) (* x.re x.im)) (* -3 (* x.re x.im)) (expm1 (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (log1p (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (* -3 (* x.im (* x.re x.im))) (log (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (exp (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (* (cbrt (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (cbrt (fma x.im (* -3 (* x.re x.im)) (pow x.re 3)))) (cbrt (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (pow (fma x.im (* -3 (* x.re x.im)) (pow x.re 3)) 3) (sqrt (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (sqrt (fma x.im (* -3 (* x.re x.im)) (pow x.re 3))) (* -3 (* x.re x.im)) (* -3 (* x.re x.im)) (* -3 (* x.re x.im)) (fma x.im (* -3 (* x.re x.im)) (pow x.re 3)) (fma x.im (* -3 (* x.re x.im)) (pow x.re 3)) (fma x.im (* -3 (* x.re x.im)) (pow x.re 3)) 2.127 * * * [progress]: adding candidates to table 2.192 * * [progress]: iteration 2 / 4 2.192 * * * [progress]: picking best candidate 2.208 * * * * [pick]: Picked # 2.208 * * * [progress]: localizing error 2.217 * * * [progress]: generating rewritten candidates 2.217 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.224 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.225 * * * [progress]: generating series expansions 2.225 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.225 * [approximate]: Taking taylor expansion of (* -3 (* x.im x.re)) in (x.re x.im) around 0 2.225 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im 2.225 * [taylor]: Taking taylor expansion of -3 in x.im 2.225 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.225 * [taylor]: Taking taylor expansion of x.im in x.im 2.225 * [taylor]: Taking taylor expansion of x.re in x.im 2.225 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 2.225 * [taylor]: Taking taylor expansion of -3 in x.re 2.225 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.225 * [taylor]: Taking taylor expansion of x.im in x.re 2.225 * [taylor]: Taking taylor expansion of x.re in x.re 2.225 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 2.225 * [taylor]: Taking taylor expansion of -3 in x.re 2.225 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.225 * [taylor]: Taking taylor expansion of x.im in x.re 2.225 * [taylor]: Taking taylor expansion of x.re in x.re 2.226 * [taylor]: Taking taylor expansion of 0 in x.im 2.226 * [taylor]: Taking taylor expansion of (- (* 3 x.im)) in x.im 2.226 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 2.226 * [taylor]: Taking taylor expansion of 3 in x.im 2.226 * [taylor]: Taking taylor expansion of x.im in x.im 2.228 * [taylor]: Taking taylor expansion of 0 in x.im 2.229 * [taylor]: Taking taylor expansion of 0 in x.im 2.232 * [taylor]: Taking taylor expansion of 0 in x.im 2.232 * [approximate]: Taking taylor expansion of (/ -3 (* x.im x.re)) in (x.re x.im) around 0 2.232 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 2.232 * [taylor]: Taking taylor expansion of -3 in x.im 2.232 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.232 * [taylor]: Taking taylor expansion of x.im in x.im 2.232 * [taylor]: Taking taylor expansion of x.re in x.im 2.232 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 2.232 * [taylor]: Taking taylor expansion of -3 in x.re 2.232 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.232 * [taylor]: Taking taylor expansion of x.im in x.re 2.232 * [taylor]: Taking taylor expansion of x.re in x.re 2.232 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 2.232 * [taylor]: Taking taylor expansion of -3 in x.re 2.232 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.233 * [taylor]: Taking taylor expansion of x.im in x.re 2.233 * [taylor]: Taking taylor expansion of x.re in x.re 2.233 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 2.233 * [taylor]: Taking taylor expansion of -3 in x.im 2.233 * [taylor]: Taking taylor expansion of x.im in x.im 2.234 * [taylor]: Taking taylor expansion of 0 in x.im 2.235 * [taylor]: Taking taylor expansion of 0 in x.im 2.236 * [taylor]: Taking taylor expansion of 0 in x.im 2.237 * [approximate]: Taking taylor expansion of (/ -3 (* x.im x.re)) in (x.re x.im) around 0 2.237 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 2.237 * [taylor]: Taking taylor expansion of -3 in x.im 2.237 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.237 * [taylor]: Taking taylor expansion of x.im in x.im 2.237 * [taylor]: Taking taylor expansion of x.re in x.im 2.237 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 2.237 * [taylor]: Taking taylor expansion of -3 in x.re 2.237 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.237 * [taylor]: Taking taylor expansion of x.im in x.re 2.237 * [taylor]: Taking taylor expansion of x.re in x.re 2.237 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 2.237 * [taylor]: Taking taylor expansion of -3 in x.re 2.237 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.237 * [taylor]: Taking taylor expansion of x.im in x.re 2.237 * [taylor]: Taking taylor expansion of x.re in x.re 2.238 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 2.238 * [taylor]: Taking taylor expansion of -3 in x.im 2.238 * [taylor]: Taking taylor expansion of x.im in x.im 2.239 * [taylor]: Taking taylor expansion of 0 in x.im 2.240 * [taylor]: Taking taylor expansion of 0 in x.im 2.241 * [taylor]: Taking taylor expansion of 0 in x.im 2.242 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.242 * [approximate]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in (x.im x.re) around 0 2.242 * [taylor]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in x.re 2.242 * [taylor]: Rewrote expression to (+ (* x.im (* -3 (* x.im x.re))) (pow x.re 3)) 2.242 * [taylor]: Taking taylor expansion of (* x.im (* -3 (* x.im x.re))) in x.re 2.242 * [taylor]: Taking taylor expansion of x.im in x.re 2.242 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 2.242 * [taylor]: Taking taylor expansion of -3 in x.re 2.242 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.242 * [taylor]: Taking taylor expansion of x.im in x.re 2.242 * [taylor]: Taking taylor expansion of x.re in x.re 2.242 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 2.242 * [taylor]: Taking taylor expansion of x.re in x.re 2.242 * [taylor]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in x.im 2.242 * [taylor]: Rewrote expression to (+ (* x.im (* -3 (* x.im x.re))) (pow x.re 3)) 2.242 * [taylor]: Taking taylor expansion of (* x.im (* -3 (* x.im x.re))) in x.im 2.242 * [taylor]: Taking taylor expansion of x.im in x.im 2.242 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im 2.242 * [taylor]: Taking taylor expansion of -3 in x.im 2.242 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.242 * [taylor]: Taking taylor expansion of x.im in x.im 2.242 * [taylor]: Taking taylor expansion of x.re in x.im 2.242 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 2.242 * [taylor]: Taking taylor expansion of x.re in x.im 2.242 * [taylor]: Taking taylor expansion of (fma x.im (* -3 (* x.im x.re)) (pow x.re 3)) in x.im 2.242 * [taylor]: Rewrote expression to (+ (* x.im (* -3 (* x.im x.re))) (pow x.re 3)) 2.242 * [taylor]: Taking taylor expansion of (* x.im (* -3 (* x.im x.re))) in x.im 2.242 * [taylor]: Taking taylor expansion of x.im in x.im 2.242 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im 2.242 * [taylor]: Taking taylor expansion of -3 in x.im 2.242 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.243 * [taylor]: Taking taylor expansion of x.im in x.im 2.243 * [taylor]: Taking taylor expansion of x.re in x.im 2.243 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 2.243 * [taylor]: Taking taylor expansion of x.re in x.im 2.243 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 2.243 * [taylor]: Taking taylor expansion of x.re in x.re 2.244 * [taylor]: Taking taylor expansion of 0 in x.re 2.247 * [taylor]: Taking taylor expansion of (- (* 3 x.re)) in x.re 2.247 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 2.247 * [taylor]: Taking taylor expansion of 3 in x.re 2.247 * [taylor]: Taking taylor expansion of x.re in x.re 2.250 * [taylor]: Taking taylor expansion of 0 in x.re 2.256 * [taylor]: Taking taylor expansion of 0 in x.re 2.263 * [taylor]: Taking taylor expansion of 0 in x.re 2.264 * [approximate]: Taking taylor expansion of (fma (/ 1 x.im) (/ -3 (* x.im x.re)) (pow (/ 1 x.re) 3)) in (x.im x.re) around 0 2.264 * [taylor]: Taking taylor expansion of (fma (/ 1 x.im) (/ -3 (* x.im x.re)) (pow (/ 1 x.re) 3)) in x.re 2.264 * [taylor]: Rewrote expression to (+ (* (/ 1 x.im) (/ -3 (* x.im x.re))) (pow (/ 1 x.re) 3)) 2.264 * [taylor]: Taking taylor expansion of (* (/ 1 x.im) (/ -3 (* x.im x.re))) in x.re 2.264 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 2.264 * [taylor]: Taking taylor expansion of x.im in x.re 2.264 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 2.264 * [taylor]: Taking taylor expansion of -3 in x.re 2.264 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.264 * [taylor]: Taking taylor expansion of x.im in x.re 2.264 * [taylor]: Taking taylor expansion of x.re in x.re 2.264 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.re 2.264 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 2.264 * [taylor]: Taking taylor expansion of x.re in x.re 2.265 * [taylor]: Taking taylor expansion of (fma (/ 1 x.im) (/ -3 (* x.im x.re)) (pow (/ 1 x.re) 3)) in x.im 2.265 * [taylor]: Rewrote expression to (+ (* (/ 1 x.im) (/ -3 (* x.im x.re))) (pow (/ 1 x.re) 3)) 2.265 * [taylor]: Taking taylor expansion of (* (/ 1 x.im) (/ -3 (* x.im x.re))) in x.im 2.265 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 2.265 * [taylor]: Taking taylor expansion of x.im in x.im 2.265 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 2.265 * [taylor]: Taking taylor expansion of -3 in x.im 2.265 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.265 * [taylor]: Taking taylor expansion of x.im in x.im 2.265 * [taylor]: Taking taylor expansion of x.re in x.im 2.266 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.im 2.266 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 2.266 * [taylor]: Taking taylor expansion of x.re in x.im 2.266 * [taylor]: Taking taylor expansion of (fma (/ 1 x.im) (/ -3 (* x.im x.re)) (pow (/ 1 x.re) 3)) in x.im 2.266 * [taylor]: Rewrote expression to (+ (* (/ 1 x.im) (/ -3 (* x.im x.re))) (pow (/ 1 x.re) 3)) 2.266 * [taylor]: Taking taylor expansion of (* (/ 1 x.im) (/ -3 (* x.im x.re))) in x.im 2.266 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 2.266 * [taylor]: Taking taylor expansion of x.im in x.im 2.266 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 2.266 * [taylor]: Taking taylor expansion of -3 in x.im 2.266 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.266 * [taylor]: Taking taylor expansion of x.im in x.im 2.266 * [taylor]: Taking taylor expansion of x.re in x.im 2.266 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.im 2.266 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 2.266 * [taylor]: Taking taylor expansion of x.re in x.im 2.267 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x.re))) in x.re 2.267 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.re)) in x.re 2.267 * [taylor]: Taking taylor expansion of 3 in x.re 2.267 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 2.267 * [taylor]: Taking taylor expansion of x.re in x.re 2.268 * [taylor]: Taking taylor expansion of 0 in x.re 2.270 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 2.270 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 2.270 * [taylor]: Taking taylor expansion of x.re in x.re 2.274 * [taylor]: Taking taylor expansion of 0 in x.re 2.280 * [taylor]: Taking taylor expansion of 0 in x.re 2.288 * [taylor]: Taking taylor expansion of 0 in x.re 2.290 * [approximate]: Taking taylor expansion of (fma (/ -1 x.im) (/ -3 (* x.im x.re)) (pow (/ -1 x.re) 3)) in (x.im x.re) around 0 2.290 * [taylor]: Taking taylor expansion of (fma (/ -1 x.im) (/ -3 (* x.im x.re)) (pow (/ -1 x.re) 3)) in x.re 2.290 * [taylor]: Rewrote expression to (+ (* (/ -1 x.im) (/ -3 (* x.im x.re))) (pow (/ -1 x.re) 3)) 2.290 * [taylor]: Taking taylor expansion of (* (/ -1 x.im) (/ -3 (* x.im x.re))) in x.re 2.290 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.re 2.290 * [taylor]: Taking taylor expansion of -1 in x.re 2.290 * [taylor]: Taking taylor expansion of x.im in x.re 2.290 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 2.290 * [taylor]: Taking taylor expansion of -3 in x.re 2.290 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.290 * [taylor]: Taking taylor expansion of x.im in x.re 2.290 * [taylor]: Taking taylor expansion of x.re in x.re 2.290 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.re 2.290 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 2.290 * [taylor]: Taking taylor expansion of -1 in x.re 2.290 * [taylor]: Taking taylor expansion of x.re in x.re 2.291 * [taylor]: Taking taylor expansion of (fma (/ -1 x.im) (/ -3 (* x.im x.re)) (pow (/ -1 x.re) 3)) in x.im 2.291 * [taylor]: Rewrote expression to (+ (* (/ -1 x.im) (/ -3 (* x.im x.re))) (pow (/ -1 x.re) 3)) 2.291 * [taylor]: Taking taylor expansion of (* (/ -1 x.im) (/ -3 (* x.im x.re))) in x.im 2.291 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 2.291 * [taylor]: Taking taylor expansion of -1 in x.im 2.291 * [taylor]: Taking taylor expansion of x.im in x.im 2.291 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 2.291 * [taylor]: Taking taylor expansion of -3 in x.im 2.291 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.291 * [taylor]: Taking taylor expansion of x.im in x.im 2.291 * [taylor]: Taking taylor expansion of x.re in x.im 2.292 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.im 2.292 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.im 2.292 * [taylor]: Taking taylor expansion of -1 in x.im 2.292 * [taylor]: Taking taylor expansion of x.re in x.im 2.292 * [taylor]: Taking taylor expansion of (fma (/ -1 x.im) (/ -3 (* x.im x.re)) (pow (/ -1 x.re) 3)) in x.im 2.292 * [taylor]: Rewrote expression to (+ (* (/ -1 x.im) (/ -3 (* x.im x.re))) (pow (/ -1 x.re) 3)) 2.292 * [taylor]: Taking taylor expansion of (* (/ -1 x.im) (/ -3 (* x.im x.re))) in x.im 2.292 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 2.292 * [taylor]: Taking taylor expansion of -1 in x.im 2.292 * [taylor]: Taking taylor expansion of x.im in x.im 2.292 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 2.292 * [taylor]: Taking taylor expansion of -3 in x.im 2.292 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.292 * [taylor]: Taking taylor expansion of x.im in x.im 2.292 * [taylor]: Taking taylor expansion of x.re in x.im 2.293 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.im 2.293 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.im 2.293 * [taylor]: Taking taylor expansion of -1 in x.im 2.293 * [taylor]: Taking taylor expansion of x.re in x.im 2.293 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.re)) in x.re 2.293 * [taylor]: Taking taylor expansion of 3 in x.re 2.293 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 2.293 * [taylor]: Taking taylor expansion of x.re in x.re 2.294 * [taylor]: Taking taylor expansion of 0 in x.re 2.297 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3))) in x.re 2.297 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 2.297 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 2.297 * [taylor]: Taking taylor expansion of x.re in x.re 2.306 * [taylor]: Taking taylor expansion of 0 in x.re 2.311 * [taylor]: Taking taylor expansion of 0 in x.re 2.319 * [taylor]: Taking taylor expansion of 0 in x.re 2.321 * * * [progress]: simplifying candidates 2.322 * [simplify]: Simplifying using # : (expm1 (* (* -3 x.re) x.im)) (log1p (* (* -3 x.re) x.im)) (* (* -3 x.re) x.im) (* (* -3 x.re) x.im) (+ (+ (log -3) (log x.re)) (log x.im)) (+ (log (* -3 x.re)) (log x.im)) (log (* (* -3 x.re) x.im)) (exp (* (* -3 x.re) x.im)) (* (* (* (* -3 -3) -3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* (* (* -3 x.re) (* -3 x.re)) (* -3 x.re)) (* (* x.im x.im) x.im)) (* (cbrt (* (* -3 x.re) x.im)) (cbrt (* (* -3 x.re) x.im))) (cbrt (* (* -3 x.re) x.im)) (* (* (* (* -3 x.re) x.im) (* (* -3 x.re) x.im)) (* (* -3 x.re) x.im)) (sqrt (* (* -3 x.re) x.im)) (sqrt (* (* -3 x.re) x.im)) (* (* -3 x.re) (* (cbrt x.im) (cbrt x.im))) (* (* -3 x.re) (sqrt x.im)) (* (* -3 x.re) 1) (* x.re x.im) (expm1 (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (log1p (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (* x.im (* (* -3 x.re) x.im)) (log (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (exp (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (* (cbrt (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (cbrt (fma x.im (* (* -3 x.re) x.im) (pow x.re 3)))) (cbrt (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (* (* (fma x.im (* (* -3 x.re) x.im) (pow x.re 3)) (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (sqrt (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (sqrt (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 2.323 * * [simplify]: iteration 0 : 60 enodes (cost 341 ) 2.333 * * [simplify]: iteration 1 : 137 enodes (cost 328 ) 2.370 * * [simplify]: iteration 2 : 597 enodes (cost 286 ) 2.626 * * [simplify]: iteration 3 : 3205 enodes (cost 283 ) 4.688 * * [simplify]: iteration done : 5001 enodes (cost 283 ) 4.689 * [simplify]: Simplified to: (expm1 (* (* -3 x.re) x.im)) (log1p (* (* -3 x.re) x.im)) (* (* -3 x.re) x.im) (* (* -3 x.re) x.im) (log (* (* -3 x.re) x.im)) (log (* (* -3 x.re) x.im)) (log (* (* -3 x.re) x.im)) (exp (* (* -3 x.re) x.im)) (pow (* -3 (* x.im x.re)) 3) (pow (* -3 (* x.im x.re)) 3) (* (cbrt (* (* -3 x.re) x.im)) (cbrt (* (* -3 x.re) x.im))) (cbrt (* (* -3 x.re) x.im)) (pow (* -3 (* x.im x.re)) 3) (sqrt (* (* -3 x.re) x.im)) (sqrt (* (* -3 x.re) x.im)) (* (* -3 x.re) (* (cbrt x.im) (cbrt x.im))) (* (* -3 x.re) (sqrt x.im)) (* -3 x.re) (* x.im x.re) (expm1 (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (log1p (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (* -3 (* (pow x.im 2) x.re)) (log (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (exp (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (* (cbrt (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (cbrt (fma x.im (* (* -3 x.re) x.im) (pow x.re 3)))) (cbrt (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (pow (fma x.im (* (* -3 x.re) x.im) (pow x.re 3)) 3) (sqrt (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (sqrt (fma x.im (* (* -3 x.re) x.im) (pow x.re 3))) (* (* -3 x.re) x.im) (* (* -3 x.re) x.im) (* (* -3 x.re) x.im) (fma x.im (* (* -3 x.re) x.im) (pow x.re 3)) (fma x.im (* (* -3 x.re) x.im) (pow x.re 3)) (fma x.im (* (* -3 x.re) x.im) (pow x.re 3)) 4.689 * * * [progress]: adding candidates to table 4.758 * * [progress]: iteration 3 / 4 4.758 * * * [progress]: picking best candidate 4.774 * * * * [pick]: Picked # 4.774 * * * [progress]: localizing error 4.784 * * * [progress]: generating rewritten candidates 4.785 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 4.792 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 4.817 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 4.819 * * * [progress]: generating series expansions 4.819 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 4.820 * [approximate]: Taking taylor expansion of (* x.im (* (cbrt -3) x.re)) in (x.re x.im) around 0 4.820 * [taylor]: Taking taylor expansion of (* x.im (* (cbrt -3) x.re)) in x.im 4.820 * [taylor]: Taking taylor expansion of x.im in x.im 4.820 * [taylor]: Taking taylor expansion of (* (cbrt -3) x.re) in x.im 4.820 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 4.820 * [taylor]: Taking taylor expansion of -3 in x.im 4.821 * [taylor]: Taking taylor expansion of x.re in x.im 4.821 * [taylor]: Taking taylor expansion of (* x.im (* (cbrt -3) x.re)) in x.re 4.821 * [taylor]: Taking taylor expansion of x.im in x.re 4.821 * [taylor]: Taking taylor expansion of (* (cbrt -3) x.re) in x.re 4.821 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 4.821 * [taylor]: Taking taylor expansion of -3 in x.re 4.821 * [taylor]: Taking taylor expansion of x.re in x.re 4.822 * [taylor]: Taking taylor expansion of (* x.im (* (cbrt -3) x.re)) in x.re 4.822 * [taylor]: Taking taylor expansion of x.im in x.re 4.822 * [taylor]: Taking taylor expansion of (* (cbrt -3) x.re) in x.re 4.822 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 4.822 * [taylor]: Taking taylor expansion of -3 in x.re 4.822 * [taylor]: Taking taylor expansion of x.re in x.re 4.823 * [taylor]: Taking taylor expansion of 0 in x.im 4.825 * [taylor]: Taking taylor expansion of (* x.im (cbrt -3)) in x.im 4.825 * [taylor]: Taking taylor expansion of x.im in x.im 4.825 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 4.825 * [taylor]: Taking taylor expansion of -3 in x.im 4.827 * [taylor]: Taking taylor expansion of 0 in x.im 4.831 * [taylor]: Taking taylor expansion of 0 in x.im 4.835 * [taylor]: Taking taylor expansion of 0 in x.im 4.835 * [approximate]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in (x.re x.im) around 0 4.835 * [taylor]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in x.im 4.835 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 4.836 * [taylor]: Taking taylor expansion of -3 in x.im 4.836 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.836 * [taylor]: Taking taylor expansion of x.im in x.im 4.836 * [taylor]: Taking taylor expansion of x.re in x.im 4.837 * [taylor]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in x.re 4.837 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 4.837 * [taylor]: Taking taylor expansion of -3 in x.re 4.838 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.838 * [taylor]: Taking taylor expansion of x.im in x.re 4.838 * [taylor]: Taking taylor expansion of x.re in x.re 4.838 * [taylor]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in x.re 4.838 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 4.838 * [taylor]: Taking taylor expansion of -3 in x.re 4.839 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.839 * [taylor]: Taking taylor expansion of x.im in x.re 4.839 * [taylor]: Taking taylor expansion of x.re in x.re 4.840 * [taylor]: Taking taylor expansion of (/ (cbrt -3) x.im) in x.im 4.840 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 4.840 * [taylor]: Taking taylor expansion of -3 in x.im 4.841 * [taylor]: Taking taylor expansion of x.im in x.im 4.842 * [taylor]: Taking taylor expansion of 0 in x.im 4.844 * [taylor]: Taking taylor expansion of 0 in x.im 4.847 * [taylor]: Taking taylor expansion of 0 in x.im 4.852 * [approximate]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in (x.re x.im) around 0 4.852 * [taylor]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in x.im 4.852 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 4.852 * [taylor]: Taking taylor expansion of -3 in x.im 4.853 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.853 * [taylor]: Taking taylor expansion of x.im in x.im 4.853 * [taylor]: Taking taylor expansion of x.re in x.im 4.854 * [taylor]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in x.re 4.854 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 4.854 * [taylor]: Taking taylor expansion of -3 in x.re 4.854 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.855 * [taylor]: Taking taylor expansion of x.im in x.re 4.855 * [taylor]: Taking taylor expansion of x.re in x.re 4.855 * [taylor]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in x.re 4.855 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 4.855 * [taylor]: Taking taylor expansion of -3 in x.re 4.856 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.856 * [taylor]: Taking taylor expansion of x.im in x.re 4.856 * [taylor]: Taking taylor expansion of x.re in x.re 4.857 * [taylor]: Taking taylor expansion of (/ (cbrt -3) x.im) in x.im 4.857 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 4.857 * [taylor]: Taking taylor expansion of -3 in x.im 4.857 * [taylor]: Taking taylor expansion of x.im in x.im 4.859 * [taylor]: Taking taylor expansion of 0 in x.im 4.861 * [taylor]: Taking taylor expansion of 0 in x.im 4.864 * [taylor]: Taking taylor expansion of 0 in x.im 4.866 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 4.867 * [approximate]: Taking taylor expansion of (* x.im (* (pow (cbrt -3) 3) x.re)) in (x.re x.im) around 0 4.867 * [taylor]: Taking taylor expansion of (* x.im (* (pow (cbrt -3) 3) x.re)) in x.im 4.867 * [taylor]: Taking taylor expansion of x.im in x.im 4.867 * [taylor]: Taking taylor expansion of (* (pow (cbrt -3) 3) x.re) in x.im 4.867 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 4.867 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 4.867 * [taylor]: Taking taylor expansion of -3 in x.im 4.868 * [taylor]: Taking taylor expansion of x.re in x.im 4.868 * [taylor]: Taking taylor expansion of (* x.im (* (pow (cbrt -3) 3) x.re)) in x.re 4.868 * [taylor]: Taking taylor expansion of x.im in x.re 4.868 * [taylor]: Taking taylor expansion of (* (pow (cbrt -3) 3) x.re) in x.re 4.868 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 4.868 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 4.868 * [taylor]: Taking taylor expansion of -3 in x.re 4.868 * [taylor]: Taking taylor expansion of x.re in x.re 4.868 * [taylor]: Taking taylor expansion of (* x.im (* (pow (cbrt -3) 3) x.re)) in x.re 4.869 * [taylor]: Taking taylor expansion of x.im in x.re 4.869 * [taylor]: Taking taylor expansion of (* (pow (cbrt -3) 3) x.re) in x.re 4.869 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 4.869 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 4.869 * [taylor]: Taking taylor expansion of -3 in x.re 4.869 * [taylor]: Taking taylor expansion of x.re in x.re 4.872 * [taylor]: Taking taylor expansion of 0 in x.im 4.875 * [taylor]: Taking taylor expansion of (- (* 3 x.im)) in x.im 4.875 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 4.875 * [taylor]: Taking taylor expansion of 3 in x.im 4.875 * [taylor]: Taking taylor expansion of x.im in x.im 4.879 * [taylor]: Taking taylor expansion of 0 in x.im 4.883 * [taylor]: Taking taylor expansion of 0 in x.im 4.888 * [taylor]: Taking taylor expansion of 0 in x.im 4.889 * [approximate]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in (x.re x.im) around 0 4.889 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.im 4.889 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 4.889 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 4.889 * [taylor]: Taking taylor expansion of -3 in x.im 4.890 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.890 * [taylor]: Taking taylor expansion of x.im in x.im 4.890 * [taylor]: Taking taylor expansion of x.re in x.im 4.893 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.re 4.893 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 4.893 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 4.893 * [taylor]: Taking taylor expansion of -3 in x.re 4.893 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.893 * [taylor]: Taking taylor expansion of x.im in x.re 4.894 * [taylor]: Taking taylor expansion of x.re in x.re 4.896 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.re 4.896 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 4.897 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 4.897 * [taylor]: Taking taylor expansion of -3 in x.re 4.897 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.897 * [taylor]: Taking taylor expansion of x.im in x.re 4.897 * [taylor]: Taking taylor expansion of x.re in x.re 4.900 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 4.900 * [taylor]: Taking taylor expansion of -3 in x.im 4.900 * [taylor]: Taking taylor expansion of x.im in x.im 4.902 * [taylor]: Taking taylor expansion of 0 in x.im 4.905 * [taylor]: Taking taylor expansion of 0 in x.im 4.908 * [taylor]: Taking taylor expansion of 0 in x.im 4.910 * [approximate]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in (x.re x.im) around 0 4.910 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.im 4.910 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 4.910 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 4.910 * [taylor]: Taking taylor expansion of -3 in x.im 4.911 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.911 * [taylor]: Taking taylor expansion of x.im in x.im 4.911 * [taylor]: Taking taylor expansion of x.re in x.im 4.914 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.re 4.914 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 4.914 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 4.914 * [taylor]: Taking taylor expansion of -3 in x.re 4.915 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.915 * [taylor]: Taking taylor expansion of x.im in x.re 4.915 * [taylor]: Taking taylor expansion of x.re in x.re 4.918 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.re 4.918 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 4.918 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 4.918 * [taylor]: Taking taylor expansion of -3 in x.re 4.919 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.919 * [taylor]: Taking taylor expansion of x.im in x.re 4.919 * [taylor]: Taking taylor expansion of x.re in x.re 4.922 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 4.922 * [taylor]: Taking taylor expansion of -3 in x.im 4.922 * [taylor]: Taking taylor expansion of x.im in x.im 4.923 * [taylor]: Taking taylor expansion of 0 in x.im 4.926 * [taylor]: Taking taylor expansion of 0 in x.im 4.932 * [taylor]: Taking taylor expansion of 0 in x.im 4.933 * * * * [progress]: [ 3 / 3 ] generating series at (2) 4.935 * [approximate]: Taking taylor expansion of (fma x.im (* x.im (* (pow (cbrt -3) 3) x.re)) (pow x.re 3)) in (x.im x.re) around 0 4.935 * [taylor]: Taking taylor expansion of (fma x.im (* x.im (* (pow (cbrt -3) 3) x.re)) (pow x.re 3)) in x.re 4.935 * [taylor]: Rewrote expression to (+ (* x.im (* x.im (* (pow (cbrt -3) 3) x.re))) (pow x.re 3)) 4.935 * [taylor]: Taking taylor expansion of (* x.im (* x.im (* (pow (cbrt -3) 3) x.re))) in x.re 4.935 * [taylor]: Taking taylor expansion of x.im in x.re 4.935 * [taylor]: Taking taylor expansion of (* x.im (* (pow (cbrt -3) 3) x.re)) in x.re 4.935 * [taylor]: Taking taylor expansion of x.im in x.re 4.935 * [taylor]: Taking taylor expansion of (* (pow (cbrt -3) 3) x.re) in x.re 4.935 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 4.935 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 4.935 * [taylor]: Taking taylor expansion of -3 in x.re 4.936 * [taylor]: Taking taylor expansion of x.re in x.re 4.936 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 4.936 * [taylor]: Taking taylor expansion of x.re in x.re 4.936 * [taylor]: Taking taylor expansion of (fma x.im (* x.im (* (pow (cbrt -3) 3) x.re)) (pow x.re 3)) in x.im 4.936 * [taylor]: Rewrote expression to (+ (* x.im (* x.im (* (pow (cbrt -3) 3) x.re))) (pow x.re 3)) 4.936 * [taylor]: Taking taylor expansion of (* x.im (* x.im (* (pow (cbrt -3) 3) x.re))) in x.im 4.936 * [taylor]: Taking taylor expansion of x.im in x.im 4.936 * [taylor]: Taking taylor expansion of (* x.im (* (pow (cbrt -3) 3) x.re)) in x.im 4.936 * [taylor]: Taking taylor expansion of x.im in x.im 4.936 * [taylor]: Taking taylor expansion of (* (pow (cbrt -3) 3) x.re) in x.im 4.936 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 4.936 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 4.936 * [taylor]: Taking taylor expansion of -3 in x.im 4.937 * [taylor]: Taking taylor expansion of x.re in x.im 4.937 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 4.937 * [taylor]: Taking taylor expansion of x.re in x.im 4.937 * [taylor]: Taking taylor expansion of (fma x.im (* x.im (* (pow (cbrt -3) 3) x.re)) (pow x.re 3)) in x.im 4.937 * [taylor]: Rewrote expression to (+ (* x.im (* x.im (* (pow (cbrt -3) 3) x.re))) (pow x.re 3)) 4.937 * [taylor]: Taking taylor expansion of (* x.im (* x.im (* (pow (cbrt -3) 3) x.re))) in x.im 4.937 * [taylor]: Taking taylor expansion of x.im in x.im 4.937 * [taylor]: Taking taylor expansion of (* x.im (* (pow (cbrt -3) 3) x.re)) in x.im 4.937 * [taylor]: Taking taylor expansion of x.im in x.im 4.937 * [taylor]: Taking taylor expansion of (* (pow (cbrt -3) 3) x.re) in x.im 4.937 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 4.937 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 4.937 * [taylor]: Taking taylor expansion of -3 in x.im 4.938 * [taylor]: Taking taylor expansion of x.re in x.im 4.938 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 4.938 * [taylor]: Taking taylor expansion of x.re in x.im 4.941 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 4.941 * [taylor]: Taking taylor expansion of x.re in x.re 4.943 * [taylor]: Taking taylor expansion of 0 in x.re 4.947 * [taylor]: Taking taylor expansion of (- (* 3 x.re)) in x.re 4.947 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 4.947 * [taylor]: Taking taylor expansion of 3 in x.re 4.947 * [taylor]: Taking taylor expansion of x.re in x.re 4.954 * [taylor]: Taking taylor expansion of 0 in x.re 4.962 * [taylor]: Taking taylor expansion of 0 in x.re 4.972 * [taylor]: Taking taylor expansion of 0 in x.re 4.973 * [approximate]: Taking taylor expansion of (fma (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ 1 x.re) 3)) in (x.im x.re) around 0 4.973 * [taylor]: Taking taylor expansion of (fma (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ 1 x.re) 3)) in x.re 4.973 * [taylor]: Rewrote expression to (+ (* (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) (pow (/ 1 x.re) 3)) 4.973 * [taylor]: Taking taylor expansion of (* (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) in x.re 4.973 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 4.973 * [taylor]: Taking taylor expansion of x.im in x.re 4.973 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.re 4.974 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 4.974 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 4.974 * [taylor]: Taking taylor expansion of -3 in x.re 4.974 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.974 * [taylor]: Taking taylor expansion of x.im in x.re 4.974 * [taylor]: Taking taylor expansion of x.re in x.re 4.977 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.re 4.977 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 4.977 * [taylor]: Taking taylor expansion of x.re in x.re 4.978 * [taylor]: Taking taylor expansion of (fma (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ 1 x.re) 3)) in x.im 4.978 * [taylor]: Rewrote expression to (+ (* (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) (pow (/ 1 x.re) 3)) 4.978 * [taylor]: Taking taylor expansion of (* (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) in x.im 4.978 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 4.978 * [taylor]: Taking taylor expansion of x.im in x.im 4.978 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.im 4.978 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 4.978 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 4.978 * [taylor]: Taking taylor expansion of -3 in x.im 4.979 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.979 * [taylor]: Taking taylor expansion of x.im in x.im 4.979 * [taylor]: Taking taylor expansion of x.re in x.im 4.982 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.im 4.982 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 4.982 * [taylor]: Taking taylor expansion of x.re in x.im 4.982 * [taylor]: Taking taylor expansion of (fma (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ 1 x.re) 3)) in x.im 4.982 * [taylor]: Rewrote expression to (+ (* (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) (pow (/ 1 x.re) 3)) 4.982 * [taylor]: Taking taylor expansion of (* (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) in x.im 4.982 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 4.982 * [taylor]: Taking taylor expansion of x.im in x.im 4.983 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.im 4.983 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 4.983 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 4.983 * [taylor]: Taking taylor expansion of -3 in x.im 4.983 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.983 * [taylor]: Taking taylor expansion of x.im in x.im 4.983 * [taylor]: Taking taylor expansion of x.re in x.im 4.987 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.im 4.987 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 4.987 * [taylor]: Taking taylor expansion of x.re in x.im 4.987 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x.re))) in x.re 4.987 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.re)) in x.re 4.987 * [taylor]: Taking taylor expansion of 3 in x.re 4.987 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 4.987 * [taylor]: Taking taylor expansion of x.re in x.re 4.989 * [taylor]: Taking taylor expansion of 0 in x.re 4.993 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 4.993 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 4.994 * [taylor]: Taking taylor expansion of x.re in x.re 4.999 * [taylor]: Taking taylor expansion of 0 in x.re 5.008 * [taylor]: Taking taylor expansion of 0 in x.re 5.020 * [taylor]: Taking taylor expansion of 0 in x.re 5.024 * [approximate]: Taking taylor expansion of (fma (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ -1 x.re) 3)) in (x.im x.re) around 0 5.024 * [taylor]: Taking taylor expansion of (fma (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ -1 x.re) 3)) in x.re 5.024 * [taylor]: Rewrote expression to (+ (* (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) (pow (/ -1 x.re) 3)) 5.024 * [taylor]: Taking taylor expansion of (* (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) in x.re 5.024 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.re 5.024 * [taylor]: Taking taylor expansion of -1 in x.re 5.024 * [taylor]: Taking taylor expansion of x.im in x.re 5.024 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.re 5.024 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 5.024 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.024 * [taylor]: Taking taylor expansion of -3 in x.re 5.025 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.025 * [taylor]: Taking taylor expansion of x.im in x.re 5.025 * [taylor]: Taking taylor expansion of x.re in x.re 5.028 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.re 5.028 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 5.028 * [taylor]: Taking taylor expansion of -1 in x.re 5.028 * [taylor]: Taking taylor expansion of x.re in x.re 5.028 * [taylor]: Taking taylor expansion of (fma (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ -1 x.re) 3)) in x.im 5.028 * [taylor]: Rewrote expression to (+ (* (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) (pow (/ -1 x.re) 3)) 5.028 * [taylor]: Taking taylor expansion of (* (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) in x.im 5.028 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 5.028 * [taylor]: Taking taylor expansion of -1 in x.im 5.028 * [taylor]: Taking taylor expansion of x.im in x.im 5.029 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.im 5.029 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 5.029 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.029 * [taylor]: Taking taylor expansion of -3 in x.im 5.030 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.030 * [taylor]: Taking taylor expansion of x.im in x.im 5.030 * [taylor]: Taking taylor expansion of x.re in x.im 5.033 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.im 5.033 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.im 5.033 * [taylor]: Taking taylor expansion of -1 in x.im 5.033 * [taylor]: Taking taylor expansion of x.re in x.im 5.033 * [taylor]: Taking taylor expansion of (fma (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ -1 x.re) 3)) in x.im 5.033 * [taylor]: Rewrote expression to (+ (* (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) (pow (/ -1 x.re) 3)) 5.033 * [taylor]: Taking taylor expansion of (* (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) in x.im 5.033 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 5.033 * [taylor]: Taking taylor expansion of -1 in x.im 5.033 * [taylor]: Taking taylor expansion of x.im in x.im 5.033 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.im 5.033 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 5.033 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.033 * [taylor]: Taking taylor expansion of -3 in x.im 5.034 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.034 * [taylor]: Taking taylor expansion of x.im in x.im 5.034 * [taylor]: Taking taylor expansion of x.re in x.im 5.037 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.im 5.037 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.im 5.037 * [taylor]: Taking taylor expansion of -1 in x.im 5.037 * [taylor]: Taking taylor expansion of x.re in x.im 5.037 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.re)) in x.re 5.037 * [taylor]: Taking taylor expansion of 3 in x.re 5.037 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 5.037 * [taylor]: Taking taylor expansion of x.re in x.re 5.040 * [taylor]: Taking taylor expansion of 0 in x.re 5.044 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3))) in x.re 5.044 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 5.044 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 5.044 * [taylor]: Taking taylor expansion of x.re in x.re 5.050 * [taylor]: Taking taylor expansion of 0 in x.re 5.058 * [taylor]: Taking taylor expansion of 0 in x.re 5.068 * [taylor]: Taking taylor expansion of 0 in x.re 5.070 * * * [progress]: simplifying candidates 5.071 * [simplify]: Simplifying using # : (expm1 (* (cbrt -3) (* x.re x.im))) (log1p (* (cbrt -3) (* x.re x.im))) (* (cbrt -3) (* x.re x.im)) (* (cbrt -3) (* x.re x.im)) (+ (log (cbrt -3)) (+ (log x.re) (log x.im))) (+ (log (cbrt -3)) (log (* x.re x.im))) (log (* (cbrt -3) (* x.re x.im))) (exp (* (cbrt -3) (* x.re x.im))) (* -3 (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* -3 (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (cbrt (* (cbrt -3) (* x.re x.im))) (cbrt (* (cbrt -3) (* x.re x.im)))) (cbrt (* (cbrt -3) (* x.re x.im))) (* (* (* (cbrt -3) (* x.re x.im)) (* (cbrt -3) (* x.re x.im))) (* (cbrt -3) (* x.re x.im))) (sqrt (* (cbrt -3) (* x.re x.im))) (sqrt (* (cbrt -3) (* x.re x.im))) (* (cbrt -3) x.re) (* (cbrt (cbrt -3)) (* x.re x.im)) (* (cbrt (sqrt -3)) (* x.re x.im)) (* (cbrt -3) (* x.re x.im)) (* (cbrt (cbrt -3)) (* x.re x.im)) (* (sqrt (cbrt -3)) (* x.re x.im)) (* (cbrt -3) (* x.re x.im)) (expm1 (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im)))) (log1p (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (+ (+ (log (cbrt -3)) (log (cbrt -3))) (+ (log (cbrt -3)) (+ (log x.re) (log x.im)))) (+ (+ (log (cbrt -3)) (log (cbrt -3))) (+ (log (cbrt -3)) (log (* x.re x.im)))) (+ (+ (log (cbrt -3)) (log (cbrt -3))) (log (* (cbrt -3) (* x.re x.im)))) (+ (log (* (cbrt -3) (cbrt -3))) (+ (log (cbrt -3)) (+ (log x.re) (log x.im)))) (+ (log (* (cbrt -3) (cbrt -3))) (+ (log (cbrt -3)) (log (* x.re x.im)))) (+ (log (* (cbrt -3) (cbrt -3))) (log (* (cbrt -3) (* x.re x.im)))) (log (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im)))) (exp (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im)))) (* (* -3 -3) (* -3 (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))) (* (* -3 -3) (* -3 (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))) (* (* -3 -3) (* (* (* (cbrt -3) (* x.re x.im)) (* (cbrt -3) (* x.re x.im))) (* (cbrt -3) (* x.re x.im)))) (* (* (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (cbrt -3))) (* (cbrt -3) (cbrt -3))) (* -3 (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))) (* (* (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (cbrt -3))) (* (cbrt -3) (cbrt -3))) (* -3 (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))) (* (* (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (cbrt -3))) (* (cbrt -3) (cbrt -3))) (* (* (* (cbrt -3) (* x.re x.im)) (* (cbrt -3) (* x.re x.im))) (* (cbrt -3) (* x.re x.im)))) (* (cbrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im)))) (cbrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))))) (cbrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im)))) (* (* (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im)))) (sqrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im)))) (sqrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (cbrt -3)) (* (cbrt -3) (* (cbrt -3) (* x.re x.im))) (expm1 (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (pow x.re 3))) (log1p (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (pow x.re 3))) (* x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im)))) (log (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (pow x.re 3))) (exp (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (pow x.re 3))) (* (cbrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (pow x.re 3))) (cbrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (pow x.re 3)))) (cbrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (pow x.re 3))) (* (* (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (pow x.re 3)) (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (pow x.re 3))) (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (pow x.re 3))) (sqrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (pow x.re 3))) (sqrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* x.re x.im))) (pow x.re 3))) (* x.im (* (cbrt -3) x.re)) (* x.im (* (cbrt -3) x.re)) (* x.im (* (cbrt -3) x.re)) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 5.074 * * [simplify]: iteration 0 : 90 enodes (cost 975 ) 5.093 * * [simplify]: iteration 1 : 235 enodes (cost 945 ) 5.144 * * [simplify]: iteration 2 : 922 enodes (cost 645 ) 5.456 * * [simplify]: iteration done : 5001 enodes (cost 645 ) 5.456 * [simplify]: Simplified to: (expm1 (* (cbrt -3) (* x.re x.im))) (log1p (* (cbrt -3) (* x.re x.im))) (* x.im (* (cbrt -3) x.re)) (* x.im (* (cbrt -3) x.re)) (log (* (cbrt -3) (* x.re x.im))) (log (* (cbrt -3) (* x.re x.im))) (log (* (cbrt -3) (* x.re x.im))) (exp (* (cbrt -3) (* x.re x.im))) (* (pow (* x.re x.im) 3) -3) (* (pow (* x.re x.im) 3) -3) (* (cbrt (* (cbrt -3) (* x.re x.im))) (cbrt (* (cbrt -3) (* x.re x.im)))) (cbrt (* (cbrt -3) (* x.re x.im))) (pow (* x.im (* (cbrt -3) x.re)) 3) (sqrt (* (cbrt -3) (* x.re x.im))) (sqrt (* (cbrt -3) (* x.re x.im))) (* (cbrt -3) x.re) (* (cbrt (cbrt -3)) (* x.re x.im)) (* (cbrt (sqrt -3)) (* x.re x.im)) (* x.im (* (cbrt -3) x.re)) (* (cbrt (cbrt -3)) (* x.re x.im)) (* (sqrt (cbrt -3)) (* x.re x.im)) (* x.im (* (cbrt -3) x.re)) (expm1 (* (* (pow (cbrt -3) 3) x.im) x.re)) (log1p (* (* (pow (cbrt -3) 3) x.im) x.re)) (* (* (pow (cbrt -3) 3) x.im) x.re) (* (* (pow (cbrt -3) 3) x.im) x.re) (* (* (pow (cbrt -3) 3) x.im) x.re) (* (* (pow (cbrt -3) 3) x.im) x.re) (* (* (pow (cbrt -3) 3) x.im) x.re) (* (* (pow (cbrt -3) 3) x.im) x.re) (log (* (* (pow (cbrt -3) 3) x.im) x.re)) (log (* (* (pow (cbrt -3) 3) x.im) x.re)) (log (* (* (pow (cbrt -3) 3) x.im) x.re)) (log (* (* (pow (cbrt -3) 3) x.im) x.re)) (log (* (* (pow (cbrt -3) 3) x.im) x.re)) (log (* (* (pow (cbrt -3) 3) x.im) x.re)) (log (* (* (pow (cbrt -3) 3) x.im) x.re)) (pow (exp (pow (cbrt -3) 3)) (* x.re x.im)) (* (pow (* x.re x.im) 3) -27) (* (pow (* x.re x.im) 3) -27) (* (pow (* x.im (* (cbrt -3) x.re)) 3) 9) (* (* (pow (* (cbrt -3) (cbrt -3)) 3) (pow (* x.re x.im) 3)) -3) (* (* (pow (* (cbrt -3) (cbrt -3)) 3) (pow (* x.re x.im) 3)) -3) (pow (* (* (pow (cbrt -3) 3) x.im) x.re) 3) (* (cbrt (* (* (pow (cbrt -3) 3) x.im) x.re)) (cbrt (* (* (pow (cbrt -3) 3) x.im) x.re))) (cbrt (* (* (pow (cbrt -3) 3) x.im) x.re)) (pow (* (* (pow (cbrt -3) 3) x.im) x.re) 3) (sqrt (* (* (pow (cbrt -3) 3) x.im) x.re)) (sqrt (* (* (pow (cbrt -3) 3) x.im) x.re)) (pow (cbrt -3) 3) (* (cbrt -3) (* (cbrt -3) (* x.re x.im))) (expm1 (fma (* (* (pow (cbrt -3) 3) x.im) x.re) x.im (pow x.re 3))) (log1p (fma (* (* (pow (cbrt -3) 3) x.im) x.re) x.im (pow x.re 3))) (* x.im (* (* (pow (cbrt -3) 3) x.im) x.re)) (log (fma (* (* (pow (cbrt -3) 3) x.im) x.re) x.im (pow x.re 3))) (exp (fma (* (* (pow (cbrt -3) 3) x.im) x.re) x.im (pow x.re 3))) (* (cbrt (fma (* (* (pow (cbrt -3) 3) x.im) x.re) x.im (pow x.re 3))) (cbrt (fma (* (* (pow (cbrt -3) 3) x.im) x.re) x.im (pow x.re 3)))) (cbrt (fma (* (* (pow (cbrt -3) 3) x.im) x.re) x.im (pow x.re 3))) (pow (fma (* (* (pow (cbrt -3) 3) x.im) x.re) x.im (pow x.re 3)) 3) (sqrt (fma (* (* (pow (cbrt -3) 3) x.im) x.re) x.im (pow x.re 3))) (sqrt (fma (* (* (pow (cbrt -3) 3) x.im) x.re) x.im (pow x.re 3))) (* x.im (* (cbrt -3) x.re)) (* x.im (* (cbrt -3) x.re)) (* x.im (* (cbrt -3) x.re)) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 5.457 * * * [progress]: adding candidates to table 5.620 * * [progress]: iteration 4 / 4 5.620 * * * [progress]: picking best candidate 5.636 * * * * [pick]: Picked # 5.636 * * * [progress]: localizing error 5.652 * * * [progress]: generating rewritten candidates 5.652 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 5.661 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 5.679 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 5.742 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 5.746 * * * [progress]: generating series expansions 5.746 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 5.747 * [approximate]: Taking taylor expansion of (* (* x.im x.re) (pow (cbrt -3) 1/3)) in (x.re x.im) around 0 5.747 * [taylor]: Taking taylor expansion of (* (* x.im x.re) (pow (cbrt -3) 1/3)) in x.im 5.747 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.747 * [taylor]: Taking taylor expansion of x.im in x.im 5.747 * [taylor]: Taking taylor expansion of x.re in x.im 5.747 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 1/3) in x.im 5.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -3)))) in x.im 5.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -3))) in x.im 5.747 * [taylor]: Taking taylor expansion of 1/3 in x.im 5.747 * [taylor]: Taking taylor expansion of (log (cbrt -3)) in x.im 5.747 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.747 * [taylor]: Taking taylor expansion of -3 in x.im 5.751 * [taylor]: Taking taylor expansion of (* (* x.im x.re) (pow (cbrt -3) 1/3)) in x.re 5.751 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.751 * [taylor]: Taking taylor expansion of x.im in x.re 5.751 * [taylor]: Taking taylor expansion of x.re in x.re 5.751 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 1/3) in x.re 5.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -3)))) in x.re 5.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -3))) in x.re 5.751 * [taylor]: Taking taylor expansion of 1/3 in x.re 5.751 * [taylor]: Taking taylor expansion of (log (cbrt -3)) in x.re 5.751 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.751 * [taylor]: Taking taylor expansion of -3 in x.re 5.754 * [taylor]: Taking taylor expansion of (* (* x.im x.re) (pow (cbrt -3) 1/3)) in x.re 5.754 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.754 * [taylor]: Taking taylor expansion of x.im in x.re 5.754 * [taylor]: Taking taylor expansion of x.re in x.re 5.754 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 1/3) in x.re 5.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -3)))) in x.re 5.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -3))) in x.re 5.754 * [taylor]: Taking taylor expansion of 1/3 in x.re 5.754 * [taylor]: Taking taylor expansion of (log (cbrt -3)) in x.re 5.754 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.754 * [taylor]: Taking taylor expansion of -3 in x.re 5.758 * [taylor]: Taking taylor expansion of 0 in x.im 5.762 * [taylor]: Taking taylor expansion of (* x.im (pow (cbrt -3) 1/3)) in x.im 5.762 * [taylor]: Taking taylor expansion of x.im in x.im 5.762 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 1/3) in x.im 5.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -3)))) in x.im 5.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -3))) in x.im 5.762 * [taylor]: Taking taylor expansion of 1/3 in x.im 5.762 * [taylor]: Taking taylor expansion of (log (cbrt -3)) in x.im 5.762 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.762 * [taylor]: Taking taylor expansion of -3 in x.im 5.771 * [taylor]: Taking taylor expansion of 0 in x.im 5.782 * [taylor]: Taking taylor expansion of 0 in x.im 5.797 * [taylor]: Taking taylor expansion of 0 in x.im 5.799 * [approximate]: Taking taylor expansion of (* (/ 1 (* x.im x.re)) (pow (cbrt -3) 1/3)) in (x.re x.im) around 0 5.799 * [taylor]: Taking taylor expansion of (* (/ 1 (* x.im x.re)) (pow (cbrt -3) 1/3)) in x.im 5.799 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 5.799 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.799 * [taylor]: Taking taylor expansion of x.im in x.im 5.799 * [taylor]: Taking taylor expansion of x.re in x.im 5.799 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 1/3) in x.im 5.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -3)))) in x.im 5.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -3))) in x.im 5.799 * [taylor]: Taking taylor expansion of 1/3 in x.im 5.799 * [taylor]: Taking taylor expansion of (log (cbrt -3)) in x.im 5.799 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.799 * [taylor]: Taking taylor expansion of -3 in x.im 5.803 * [taylor]: Taking taylor expansion of (* (/ 1 (* x.im x.re)) (pow (cbrt -3) 1/3)) in x.re 5.803 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 5.803 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.803 * [taylor]: Taking taylor expansion of x.im in x.re 5.803 * [taylor]: Taking taylor expansion of x.re in x.re 5.806 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 1/3) in x.re 5.806 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -3)))) in x.re 5.807 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -3))) in x.re 5.807 * [taylor]: Taking taylor expansion of 1/3 in x.re 5.807 * [taylor]: Taking taylor expansion of (log (cbrt -3)) in x.re 5.807 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.807 * [taylor]: Taking taylor expansion of -3 in x.re 5.810 * [taylor]: Taking taylor expansion of (* (/ 1 (* x.im x.re)) (pow (cbrt -3) 1/3)) in x.re 5.810 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 5.810 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.810 * [taylor]: Taking taylor expansion of x.im in x.re 5.810 * [taylor]: Taking taylor expansion of x.re in x.re 5.810 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 1/3) in x.re 5.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -3)))) in x.re 5.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -3))) in x.re 5.810 * [taylor]: Taking taylor expansion of 1/3 in x.re 5.810 * [taylor]: Taking taylor expansion of (log (cbrt -3)) in x.re 5.810 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.810 * [taylor]: Taking taylor expansion of -3 in x.re 5.815 * [taylor]: Taking taylor expansion of (* (pow (cbrt -3) 1/3) (/ 1 x.im)) in x.im 5.815 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 1/3) in x.im 5.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -3)))) in x.im 5.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -3))) in x.im 5.815 * [taylor]: Taking taylor expansion of 1/3 in x.im 5.815 * [taylor]: Taking taylor expansion of (log (cbrt -3)) in x.im 5.815 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.815 * [taylor]: Taking taylor expansion of -3 in x.im 5.818 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 5.818 * [taylor]: Taking taylor expansion of x.im in x.im 5.823 * [taylor]: Taking taylor expansion of 0 in x.im 5.832 * [taylor]: Taking taylor expansion of 0 in x.im 5.843 * [taylor]: Taking taylor expansion of 0 in x.im 5.851 * [approximate]: Taking taylor expansion of (* (/ 1 (* x.im x.re)) (pow (cbrt -3) 1/3)) in (x.re x.im) around 0 5.851 * [taylor]: Taking taylor expansion of (* (/ 1 (* x.im x.re)) (pow (cbrt -3) 1/3)) in x.im 5.852 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.im 5.852 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.852 * [taylor]: Taking taylor expansion of x.im in x.im 5.852 * [taylor]: Taking taylor expansion of x.re in x.im 5.852 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 1/3) in x.im 5.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -3)))) in x.im 5.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -3))) in x.im 5.852 * [taylor]: Taking taylor expansion of 1/3 in x.im 5.852 * [taylor]: Taking taylor expansion of (log (cbrt -3)) in x.im 5.852 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.852 * [taylor]: Taking taylor expansion of -3 in x.im 5.855 * [taylor]: Taking taylor expansion of (* (/ 1 (* x.im x.re)) (pow (cbrt -3) 1/3)) in x.re 5.855 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 5.855 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.855 * [taylor]: Taking taylor expansion of x.im in x.re 5.855 * [taylor]: Taking taylor expansion of x.re in x.re 5.856 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 1/3) in x.re 5.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -3)))) in x.re 5.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -3))) in x.re 5.856 * [taylor]: Taking taylor expansion of 1/3 in x.re 5.856 * [taylor]: Taking taylor expansion of (log (cbrt -3)) in x.re 5.856 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.856 * [taylor]: Taking taylor expansion of -3 in x.re 5.859 * [taylor]: Taking taylor expansion of (* (/ 1 (* x.im x.re)) (pow (cbrt -3) 1/3)) in x.re 5.859 * [taylor]: Taking taylor expansion of (/ 1 (* x.im x.re)) in x.re 5.859 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.859 * [taylor]: Taking taylor expansion of x.im in x.re 5.859 * [taylor]: Taking taylor expansion of x.re in x.re 5.860 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 1/3) in x.re 5.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -3)))) in x.re 5.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -3))) in x.re 5.860 * [taylor]: Taking taylor expansion of 1/3 in x.re 5.860 * [taylor]: Taking taylor expansion of (log (cbrt -3)) in x.re 5.860 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.860 * [taylor]: Taking taylor expansion of -3 in x.re 5.864 * [taylor]: Taking taylor expansion of (* (pow (cbrt -3) 1/3) (/ 1 x.im)) in x.im 5.864 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 1/3) in x.im 5.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -3)))) in x.im 5.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -3))) in x.im 5.864 * [taylor]: Taking taylor expansion of 1/3 in x.im 5.864 * [taylor]: Taking taylor expansion of (log (cbrt -3)) in x.im 5.864 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.864 * [taylor]: Taking taylor expansion of -3 in x.im 5.868 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 5.868 * [taylor]: Taking taylor expansion of x.im in x.im 5.873 * [taylor]: Taking taylor expansion of 0 in x.im 5.881 * [taylor]: Taking taylor expansion of 0 in x.im 5.896 * [taylor]: Taking taylor expansion of 0 in x.im 5.904 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 5.906 * [approximate]: Taking taylor expansion of (* x.im (* (cbrt -3) x.re)) in (x.re x.im) around 0 5.906 * [taylor]: Taking taylor expansion of (* x.im (* (cbrt -3) x.re)) in x.im 5.906 * [taylor]: Taking taylor expansion of x.im in x.im 5.906 * [taylor]: Taking taylor expansion of (* (cbrt -3) x.re) in x.im 5.906 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.906 * [taylor]: Taking taylor expansion of -3 in x.im 5.906 * [taylor]: Taking taylor expansion of x.re in x.im 5.906 * [taylor]: Taking taylor expansion of (* x.im (* (cbrt -3) x.re)) in x.re 5.906 * [taylor]: Taking taylor expansion of x.im in x.re 5.906 * [taylor]: Taking taylor expansion of (* (cbrt -3) x.re) in x.re 5.906 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.906 * [taylor]: Taking taylor expansion of -3 in x.re 5.907 * [taylor]: Taking taylor expansion of x.re in x.re 5.907 * [taylor]: Taking taylor expansion of (* x.im (* (cbrt -3) x.re)) in x.re 5.907 * [taylor]: Taking taylor expansion of x.im in x.re 5.907 * [taylor]: Taking taylor expansion of (* (cbrt -3) x.re) in x.re 5.907 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.907 * [taylor]: Taking taylor expansion of -3 in x.re 5.908 * [taylor]: Taking taylor expansion of x.re in x.re 5.908 * [taylor]: Taking taylor expansion of 0 in x.im 5.910 * [taylor]: Taking taylor expansion of (* x.im (cbrt -3)) in x.im 5.910 * [taylor]: Taking taylor expansion of x.im in x.im 5.910 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.910 * [taylor]: Taking taylor expansion of -3 in x.im 5.913 * [taylor]: Taking taylor expansion of 0 in x.im 5.917 * [taylor]: Taking taylor expansion of 0 in x.im 5.920 * [taylor]: Taking taylor expansion of 0 in x.im 5.922 * [approximate]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in (x.re x.im) around 0 5.922 * [taylor]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in x.im 5.922 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.922 * [taylor]: Taking taylor expansion of -3 in x.im 5.923 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.923 * [taylor]: Taking taylor expansion of x.im in x.im 5.923 * [taylor]: Taking taylor expansion of x.re in x.im 5.924 * [taylor]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in x.re 5.924 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.924 * [taylor]: Taking taylor expansion of -3 in x.re 5.924 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.924 * [taylor]: Taking taylor expansion of x.im in x.re 5.924 * [taylor]: Taking taylor expansion of x.re in x.re 5.925 * [taylor]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in x.re 5.925 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.925 * [taylor]: Taking taylor expansion of -3 in x.re 5.926 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.926 * [taylor]: Taking taylor expansion of x.im in x.re 5.926 * [taylor]: Taking taylor expansion of x.re in x.re 5.926 * [taylor]: Taking taylor expansion of (/ (cbrt -3) x.im) in x.im 5.926 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.926 * [taylor]: Taking taylor expansion of -3 in x.im 5.927 * [taylor]: Taking taylor expansion of x.im in x.im 5.929 * [taylor]: Taking taylor expansion of 0 in x.im 5.931 * [taylor]: Taking taylor expansion of 0 in x.im 5.934 * [taylor]: Taking taylor expansion of 0 in x.im 5.937 * [approximate]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in (x.re x.im) around 0 5.937 * [taylor]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in x.im 5.937 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.937 * [taylor]: Taking taylor expansion of -3 in x.im 5.938 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.938 * [taylor]: Taking taylor expansion of x.im in x.im 5.938 * [taylor]: Taking taylor expansion of x.re in x.im 5.939 * [taylor]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in x.re 5.939 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.939 * [taylor]: Taking taylor expansion of -3 in x.re 5.940 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.940 * [taylor]: Taking taylor expansion of x.im in x.re 5.940 * [taylor]: Taking taylor expansion of x.re in x.re 5.940 * [taylor]: Taking taylor expansion of (/ (cbrt -3) (* x.im x.re)) in x.re 5.940 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.940 * [taylor]: Taking taylor expansion of -3 in x.re 5.941 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.941 * [taylor]: Taking taylor expansion of x.im in x.re 5.941 * [taylor]: Taking taylor expansion of x.re in x.re 5.942 * [taylor]: Taking taylor expansion of (/ (cbrt -3) x.im) in x.im 5.942 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.942 * [taylor]: Taking taylor expansion of -3 in x.im 5.942 * [taylor]: Taking taylor expansion of x.im in x.im 5.944 * [taylor]: Taking taylor expansion of 0 in x.im 5.946 * [taylor]: Taking taylor expansion of 0 in x.im 5.949 * [taylor]: Taking taylor expansion of 0 in x.im 5.951 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 5.954 * [approximate]: Taking taylor expansion of (* x.im (* (pow (cbrt -3) 3) x.re)) in (x.re x.im) around 0 5.954 * [taylor]: Taking taylor expansion of (* x.im (* (pow (cbrt -3) 3) x.re)) in x.im 5.954 * [taylor]: Taking taylor expansion of x.im in x.im 5.954 * [taylor]: Taking taylor expansion of (* (pow (cbrt -3) 3) x.re) in x.im 5.954 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 5.954 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.954 * [taylor]: Taking taylor expansion of -3 in x.im 5.954 * [taylor]: Taking taylor expansion of x.re in x.im 5.954 * [taylor]: Taking taylor expansion of (* x.im (* (pow (cbrt -3) 3) x.re)) in x.re 5.954 * [taylor]: Taking taylor expansion of x.im in x.re 5.954 * [taylor]: Taking taylor expansion of (* (pow (cbrt -3) 3) x.re) in x.re 5.954 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 5.954 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.954 * [taylor]: Taking taylor expansion of -3 in x.re 5.955 * [taylor]: Taking taylor expansion of x.re in x.re 5.955 * [taylor]: Taking taylor expansion of (* x.im (* (pow (cbrt -3) 3) x.re)) in x.re 5.955 * [taylor]: Taking taylor expansion of x.im in x.re 5.955 * [taylor]: Taking taylor expansion of (* (pow (cbrt -3) 3) x.re) in x.re 5.955 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 5.955 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.955 * [taylor]: Taking taylor expansion of -3 in x.re 5.956 * [taylor]: Taking taylor expansion of x.re in x.re 5.959 * [taylor]: Taking taylor expansion of 0 in x.im 5.968 * [taylor]: Taking taylor expansion of (- (* 3 x.im)) in x.im 5.968 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 5.968 * [taylor]: Taking taylor expansion of 3 in x.im 5.968 * [taylor]: Taking taylor expansion of x.im in x.im 5.971 * [taylor]: Taking taylor expansion of 0 in x.im 5.976 * [taylor]: Taking taylor expansion of 0 in x.im 5.980 * [taylor]: Taking taylor expansion of 0 in x.im 5.983 * [approximate]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in (x.re x.im) around 0 5.983 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.im 5.983 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 5.983 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 5.983 * [taylor]: Taking taylor expansion of -3 in x.im 5.984 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 5.984 * [taylor]: Taking taylor expansion of x.im in x.im 5.984 * [taylor]: Taking taylor expansion of x.re in x.im 5.987 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.re 5.987 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 5.987 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.987 * [taylor]: Taking taylor expansion of -3 in x.re 5.988 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.988 * [taylor]: Taking taylor expansion of x.im in x.re 5.988 * [taylor]: Taking taylor expansion of x.re in x.re 5.991 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.re 5.991 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 5.991 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 5.991 * [taylor]: Taking taylor expansion of -3 in x.re 5.991 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 5.991 * [taylor]: Taking taylor expansion of x.im in x.re 5.991 * [taylor]: Taking taylor expansion of x.re in x.re 5.995 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 5.995 * [taylor]: Taking taylor expansion of -3 in x.im 5.995 * [taylor]: Taking taylor expansion of x.im in x.im 5.996 * [taylor]: Taking taylor expansion of 0 in x.im 5.999 * [taylor]: Taking taylor expansion of 0 in x.im 6.002 * [taylor]: Taking taylor expansion of 0 in x.im 6.006 * [approximate]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in (x.re x.im) around 0 6.006 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.im 6.006 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 6.006 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 6.006 * [taylor]: Taking taylor expansion of -3 in x.im 6.007 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 6.007 * [taylor]: Taking taylor expansion of x.im in x.im 6.007 * [taylor]: Taking taylor expansion of x.re in x.im 6.010 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.re 6.010 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 6.010 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 6.010 * [taylor]: Taking taylor expansion of -3 in x.re 6.011 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 6.011 * [taylor]: Taking taylor expansion of x.im in x.re 6.011 * [taylor]: Taking taylor expansion of x.re in x.re 6.014 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.re 6.014 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 6.014 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 6.014 * [taylor]: Taking taylor expansion of -3 in x.re 6.014 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 6.014 * [taylor]: Taking taylor expansion of x.im in x.re 6.015 * [taylor]: Taking taylor expansion of x.re in x.re 6.018 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 6.018 * [taylor]: Taking taylor expansion of -3 in x.im 6.018 * [taylor]: Taking taylor expansion of x.im in x.im 6.019 * [taylor]: Taking taylor expansion of 0 in x.im 6.022 * [taylor]: Taking taylor expansion of 0 in x.im 6.026 * [taylor]: Taking taylor expansion of 0 in x.im 6.026 * * * * [progress]: [ 4 / 4 ] generating series at (2) 6.029 * [approximate]: Taking taylor expansion of (fma x.im (* x.im (* (pow (cbrt -3) 3) x.re)) (pow x.re 3)) in (x.im x.re) around 0 6.029 * [taylor]: Taking taylor expansion of (fma x.im (* x.im (* (pow (cbrt -3) 3) x.re)) (pow x.re 3)) in x.re 6.029 * [taylor]: Rewrote expression to (+ (* x.im (* x.im (* (pow (cbrt -3) 3) x.re))) (pow x.re 3)) 6.029 * [taylor]: Taking taylor expansion of (* x.im (* x.im (* (pow (cbrt -3) 3) x.re))) in x.re 6.029 * [taylor]: Taking taylor expansion of x.im in x.re 6.029 * [taylor]: Taking taylor expansion of (* x.im (* (pow (cbrt -3) 3) x.re)) in x.re 6.030 * [taylor]: Taking taylor expansion of x.im in x.re 6.030 * [taylor]: Taking taylor expansion of (* (pow (cbrt -3) 3) x.re) in x.re 6.030 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 6.030 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 6.030 * [taylor]: Taking taylor expansion of -3 in x.re 6.030 * [taylor]: Taking taylor expansion of x.re in x.re 6.030 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 6.030 * [taylor]: Taking taylor expansion of x.re in x.re 6.030 * [taylor]: Taking taylor expansion of (fma x.im (* x.im (* (pow (cbrt -3) 3) x.re)) (pow x.re 3)) in x.im 6.030 * [taylor]: Rewrote expression to (+ (* x.im (* x.im (* (pow (cbrt -3) 3) x.re))) (pow x.re 3)) 6.030 * [taylor]: Taking taylor expansion of (* x.im (* x.im (* (pow (cbrt -3) 3) x.re))) in x.im 6.031 * [taylor]: Taking taylor expansion of x.im in x.im 6.031 * [taylor]: Taking taylor expansion of (* x.im (* (pow (cbrt -3) 3) x.re)) in x.im 6.031 * [taylor]: Taking taylor expansion of x.im in x.im 6.031 * [taylor]: Taking taylor expansion of (* (pow (cbrt -3) 3) x.re) in x.im 6.031 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 6.031 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 6.031 * [taylor]: Taking taylor expansion of -3 in x.im 6.031 * [taylor]: Taking taylor expansion of x.re in x.im 6.031 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 6.031 * [taylor]: Taking taylor expansion of x.re in x.im 6.031 * [taylor]: Taking taylor expansion of (fma x.im (* x.im (* (pow (cbrt -3) 3) x.re)) (pow x.re 3)) in x.im 6.031 * [taylor]: Rewrote expression to (+ (* x.im (* x.im (* (pow (cbrt -3) 3) x.re))) (pow x.re 3)) 6.031 * [taylor]: Taking taylor expansion of (* x.im (* x.im (* (pow (cbrt -3) 3) x.re))) in x.im 6.032 * [taylor]: Taking taylor expansion of x.im in x.im 6.032 * [taylor]: Taking taylor expansion of (* x.im (* (pow (cbrt -3) 3) x.re)) in x.im 6.032 * [taylor]: Taking taylor expansion of x.im in x.im 6.032 * [taylor]: Taking taylor expansion of (* (pow (cbrt -3) 3) x.re) in x.im 6.032 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 6.032 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 6.032 * [taylor]: Taking taylor expansion of -3 in x.im 6.032 * [taylor]: Taking taylor expansion of x.re in x.im 6.032 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 6.032 * [taylor]: Taking taylor expansion of x.re in x.im 6.035 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 6.036 * [taylor]: Taking taylor expansion of x.re in x.re 6.038 * [taylor]: Taking taylor expansion of 0 in x.re 6.042 * [taylor]: Taking taylor expansion of (- (* 3 x.re)) in x.re 6.042 * [taylor]: Taking taylor expansion of (* 3 x.re) in x.re 6.042 * [taylor]: Taking taylor expansion of 3 in x.re 6.042 * [taylor]: Taking taylor expansion of x.re in x.re 6.053 * [taylor]: Taking taylor expansion of 0 in x.re 6.062 * [taylor]: Taking taylor expansion of 0 in x.re 6.071 * [taylor]: Taking taylor expansion of 0 in x.re 6.074 * [approximate]: Taking taylor expansion of (fma (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ 1 x.re) 3)) in (x.im x.re) around 0 6.074 * [taylor]: Taking taylor expansion of (fma (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ 1 x.re) 3)) in x.re 6.075 * [taylor]: Rewrote expression to (+ (* (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) (pow (/ 1 x.re) 3)) 6.075 * [taylor]: Taking taylor expansion of (* (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) in x.re 6.075 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 6.075 * [taylor]: Taking taylor expansion of x.im in x.re 6.075 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.re 6.075 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 6.075 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 6.075 * [taylor]: Taking taylor expansion of -3 in x.re 6.076 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 6.076 * [taylor]: Taking taylor expansion of x.im in x.re 6.076 * [taylor]: Taking taylor expansion of x.re in x.re 6.079 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.re 6.079 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 6.079 * [taylor]: Taking taylor expansion of x.re in x.re 6.079 * [taylor]: Taking taylor expansion of (fma (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ 1 x.re) 3)) in x.im 6.079 * [taylor]: Rewrote expression to (+ (* (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) (pow (/ 1 x.re) 3)) 6.079 * [taylor]: Taking taylor expansion of (* (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) in x.im 6.079 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 6.079 * [taylor]: Taking taylor expansion of x.im in x.im 6.079 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.im 6.079 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 6.079 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 6.079 * [taylor]: Taking taylor expansion of -3 in x.im 6.080 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 6.080 * [taylor]: Taking taylor expansion of x.im in x.im 6.080 * [taylor]: Taking taylor expansion of x.re in x.im 6.083 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.im 6.083 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 6.083 * [taylor]: Taking taylor expansion of x.re in x.im 6.083 * [taylor]: Taking taylor expansion of (fma (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ 1 x.re) 3)) in x.im 6.083 * [taylor]: Rewrote expression to (+ (* (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) (pow (/ 1 x.re) 3)) 6.083 * [taylor]: Taking taylor expansion of (* (/ 1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) in x.im 6.083 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 6.083 * [taylor]: Taking taylor expansion of x.im in x.im 6.084 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.im 6.084 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 6.084 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 6.084 * [taylor]: Taking taylor expansion of -3 in x.im 6.084 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 6.084 * [taylor]: Taking taylor expansion of x.im in x.im 6.084 * [taylor]: Taking taylor expansion of x.re in x.im 6.088 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.im 6.088 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 6.088 * [taylor]: Taking taylor expansion of x.re in x.im 6.088 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x.re))) in x.re 6.088 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.re)) in x.re 6.088 * [taylor]: Taking taylor expansion of 3 in x.re 6.088 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 6.088 * [taylor]: Taking taylor expansion of x.re in x.re 6.091 * [taylor]: Taking taylor expansion of 0 in x.re 6.095 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 6.095 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 6.095 * [taylor]: Taking taylor expansion of x.re in x.re 6.100 * [taylor]: Taking taylor expansion of 0 in x.re 6.109 * [taylor]: Taking taylor expansion of 0 in x.re 6.119 * [taylor]: Taking taylor expansion of 0 in x.re 6.123 * [approximate]: Taking taylor expansion of (fma (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ -1 x.re) 3)) in (x.im x.re) around 0 6.123 * [taylor]: Taking taylor expansion of (fma (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ -1 x.re) 3)) in x.re 6.124 * [taylor]: Rewrote expression to (+ (* (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) (pow (/ -1 x.re) 3)) 6.124 * [taylor]: Taking taylor expansion of (* (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) in x.re 6.124 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.re 6.124 * [taylor]: Taking taylor expansion of -1 in x.re 6.124 * [taylor]: Taking taylor expansion of x.im in x.re 6.124 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.re 6.124 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.re 6.124 * [taylor]: Taking taylor expansion of (cbrt -3) in x.re 6.124 * [taylor]: Taking taylor expansion of -3 in x.re 6.124 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 6.124 * [taylor]: Taking taylor expansion of x.im in x.re 6.124 * [taylor]: Taking taylor expansion of x.re in x.re 6.128 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.re 6.128 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 6.128 * [taylor]: Taking taylor expansion of -1 in x.re 6.128 * [taylor]: Taking taylor expansion of x.re in x.re 6.128 * [taylor]: Taking taylor expansion of (fma (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ -1 x.re) 3)) in x.im 6.128 * [taylor]: Rewrote expression to (+ (* (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) (pow (/ -1 x.re) 3)) 6.128 * [taylor]: Taking taylor expansion of (* (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) in x.im 6.128 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 6.128 * [taylor]: Taking taylor expansion of -1 in x.im 6.128 * [taylor]: Taking taylor expansion of x.im in x.im 6.128 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.im 6.128 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 6.128 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 6.129 * [taylor]: Taking taylor expansion of -3 in x.im 6.129 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 6.129 * [taylor]: Taking taylor expansion of x.im in x.im 6.129 * [taylor]: Taking taylor expansion of x.re in x.im 6.137 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.im 6.137 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.im 6.137 * [taylor]: Taking taylor expansion of -1 in x.im 6.137 * [taylor]: Taking taylor expansion of x.re in x.im 6.137 * [taylor]: Taking taylor expansion of (fma (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re)) (pow (/ -1 x.re) 3)) in x.im 6.137 * [taylor]: Rewrote expression to (+ (* (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) (pow (/ -1 x.re) 3)) 6.137 * [taylor]: Taking taylor expansion of (* (/ -1 x.im) (/ (pow (cbrt -3) 3) (* x.im x.re))) in x.im 6.137 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 6.137 * [taylor]: Taking taylor expansion of -1 in x.im 6.137 * [taylor]: Taking taylor expansion of x.im in x.im 6.137 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -3) 3) (* x.im x.re)) in x.im 6.138 * [taylor]: Taking taylor expansion of (pow (cbrt -3) 3) in x.im 6.138 * [taylor]: Taking taylor expansion of (cbrt -3) in x.im 6.138 * [taylor]: Taking taylor expansion of -3 in x.im 6.138 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 6.138 * [taylor]: Taking taylor expansion of x.im in x.im 6.138 * [taylor]: Taking taylor expansion of x.re in x.im 6.141 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.im 6.141 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.im 6.141 * [taylor]: Taking taylor expansion of -1 in x.im 6.141 * [taylor]: Taking taylor expansion of x.re in x.im 6.142 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x.re)) in x.re 6.142 * [taylor]: Taking taylor expansion of 3 in x.re 6.142 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 6.142 * [taylor]: Taking taylor expansion of x.re in x.re 6.144 * [taylor]: Taking taylor expansion of 0 in x.re 6.148 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3))) in x.re 6.148 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 6.148 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 6.148 * [taylor]: Taking taylor expansion of x.re in x.re 6.154 * [taylor]: Taking taylor expansion of 0 in x.re 6.163 * [taylor]: Taking taylor expansion of 0 in x.re 6.172 * [taylor]: Taking taylor expansion of 0 in x.re 6.174 * * * [progress]: simplifying candidates 6.176 * [simplify]: Simplifying using # : (expm1 (* (cbrt (cbrt -3)) (* x.re x.im))) (log1p (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (cbrt -3)) (* x.re x.im)) (* (cbrt (cbrt -3)) (* x.re x.im)) (+ (log (cbrt (cbrt -3))) (+ (log x.re) (log x.im))) (+ (log (cbrt (cbrt -3))) (log (* x.re x.im))) (log (* (cbrt (cbrt -3)) (* x.re x.im))) (exp (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt -3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (cbrt -3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (cbrt (* (cbrt (cbrt -3)) (* x.re x.im))) (cbrt (* (cbrt (cbrt -3)) (* x.re x.im)))) (cbrt (* (cbrt (cbrt -3)) (* x.re x.im))) (* (* (* (cbrt (cbrt -3)) (* x.re x.im)) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (cbrt -3)) (* x.re x.im))) (sqrt (* (cbrt (cbrt -3)) (* x.re x.im))) (sqrt (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (cbrt -3)) x.re) (* (cbrt (cbrt (cbrt -3))) (* x.re x.im)) (* (cbrt (cbrt (sqrt -3))) (* x.re x.im)) (* (cbrt (cbrt -3)) (* x.re x.im)) (* (cbrt (cbrt (cbrt -3))) (* x.re x.im)) (* (cbrt (sqrt (cbrt -3))) (* x.re x.im)) (* (cbrt (cbrt -3)) (* x.re x.im)) (* (cbrt (cbrt (cbrt -3))) (* x.re x.im)) (* (sqrt (cbrt (cbrt -3))) (* x.re x.im)) (* (cbrt (cbrt -3)) (* x.re x.im)) (expm1 (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (log1p (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))) (+ (log (cbrt (* (cbrt -3) (cbrt -3)))) (+ (log (cbrt (cbrt -3))) (+ (log x.re) (log x.im)))) (+ (log (cbrt (* (cbrt -3) (cbrt -3)))) (+ (log (cbrt (cbrt -3))) (log (* x.re x.im)))) (+ (log (cbrt (* (cbrt -3) (cbrt -3)))) (log (* (cbrt (cbrt -3)) (* x.re x.im)))) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (exp (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (* (* (cbrt (cbrt -3)) (* x.re x.im)) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (cbrt (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (cbrt (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (cbrt (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (sqrt (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (sqrt (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (cbrt (* (cbrt -3) (cbrt -3))) (cbrt (cbrt -3))) (* (cbrt (cbrt -3)) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (cbrt (* (cbrt -3) (cbrt -3)))) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (sqrt (cbrt (* (cbrt -3) (cbrt -3)))) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))) (expm1 (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (log1p (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (+ (+ (log (cbrt -3)) (log (cbrt -3))) (+ (log (cbrt (* (cbrt -3) (cbrt -3)))) (+ (log (cbrt (cbrt -3))) (+ (log x.re) (log x.im))))) (+ (+ (log (cbrt -3)) (log (cbrt -3))) (+ (log (cbrt (* (cbrt -3) (cbrt -3)))) (+ (log (cbrt (cbrt -3))) (log (* x.re x.im))))) (+ (+ (log (cbrt -3)) (log (cbrt -3))) (+ (log (cbrt (* (cbrt -3) (cbrt -3)))) (log (* (cbrt (cbrt -3)) (* x.re x.im))))) (+ (+ (log (cbrt -3)) (log (cbrt -3))) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (+ (log (* (cbrt -3) (cbrt -3))) (+ (log (cbrt (* (cbrt -3) (cbrt -3)))) (+ (log (cbrt (cbrt -3))) (+ (log x.re) (log x.im))))) (+ (log (* (cbrt -3) (cbrt -3))) (+ (log (cbrt (* (cbrt -3) (cbrt -3)))) (+ (log (cbrt (cbrt -3))) (log (* x.re x.im))))) (+ (log (* (cbrt -3) (cbrt -3))) (+ (log (cbrt (* (cbrt -3) (cbrt -3)))) (log (* (cbrt (cbrt -3)) (* x.re x.im))))) (+ (log (* (cbrt -3) (cbrt -3))) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (log (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (exp (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (* (* -3 -3) (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))))) (* (* -3 -3) (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))))) (* (* -3 -3) (* (* (cbrt -3) (cbrt -3)) (* (* (* (cbrt (cbrt -3)) (* x.re x.im)) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (* (* -3 -3) (* (* (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (* (* (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (cbrt -3))) (* (cbrt -3) (cbrt -3))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))))) (* (* (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (cbrt -3))) (* (cbrt -3) (cbrt -3))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))))) (* (* (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (cbrt -3))) (* (cbrt -3) (cbrt -3))) (* (* (cbrt -3) (cbrt -3)) (* (* (* (cbrt (cbrt -3)) (* x.re x.im)) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (* (* (* (* (cbrt -3) (cbrt -3)) (* (cbrt -3) (cbrt -3))) (* (cbrt -3) (cbrt -3))) (* (* (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (* (cbrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (cbrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))))) (cbrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (* (* (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (sqrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (sqrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (* (* (cbrt -3) (cbrt -3)) (cbrt (* (cbrt -3) (cbrt -3)))) (* (cbrt -3) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (expm1 (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (log1p (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (* x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (log (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (exp (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (* (cbrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (cbrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3)))) (cbrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (* (* (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3)) (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (sqrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (sqrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (* (* x.im x.re) (pow (cbrt -3) 1/3)) (* (* x.im x.re) (pow (cbrt -3) 1/3)) (* (* x.im x.re) (pow (cbrt -3) 1/3)) (* x.im (* (cbrt -3) x.re)) (* x.im (* (cbrt -3) x.re)) (* x.im (* (cbrt -3) x.re)) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 6.181 * * [simplify]: iteration 0 : 128 enodes (cost 2009 ) 6.207 * * [simplify]: iteration 1 : 343 enodes (cost 1957 ) 6.282 * * [simplify]: iteration 2 : 1397 enodes (cost 1609 ) 6.668 * * [simplify]: iteration done : 5000 enodes (cost 1609 ) 6.669 * [simplify]: Simplified to: (expm1 (* (cbrt (cbrt -3)) (* x.re x.im))) (log1p (* (cbrt (cbrt -3)) (* x.re x.im))) (* (* (cbrt (cbrt -3)) x.re) x.im) (* (* (cbrt (cbrt -3)) x.re) x.im) (log (* (cbrt (cbrt -3)) (* x.re x.im))) (log (* (cbrt (cbrt -3)) (* x.re x.im))) (log (* (cbrt (cbrt -3)) (* x.re x.im))) (exp (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt -3) (pow (* x.im x.re) 3)) (* (cbrt -3) (pow (* x.im x.re) 3)) (* (cbrt (* (cbrt (cbrt -3)) (* x.re x.im))) (cbrt (* (cbrt (cbrt -3)) (* x.re x.im)))) (cbrt (* (cbrt (cbrt -3)) (* x.re x.im))) (pow (* (* (cbrt (cbrt -3)) x.re) x.im) 3) (sqrt (* (cbrt (cbrt -3)) (* x.re x.im))) (sqrt (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (cbrt -3)) x.re) (* (cbrt (cbrt (cbrt -3))) (* x.re x.im)) (* (cbrt (cbrt (sqrt -3))) (* x.re x.im)) (* (* (cbrt (cbrt -3)) x.re) x.im) (* (cbrt (cbrt (cbrt -3))) (* x.re x.im)) (* (cbrt (sqrt (cbrt -3))) (* x.re x.im)) (* (* (cbrt (cbrt -3)) x.re) x.im) (* (cbrt (cbrt (cbrt -3))) (* x.re x.im)) (* (sqrt (cbrt (cbrt -3))) (* x.re x.im)) (* (* (cbrt (cbrt -3)) x.re) x.im) (expm1 (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (log1p (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (exp (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (pow (* x.im x.re) 3) (pow (cbrt -3) 3)) (* (pow (* x.im x.re) 3) (pow (cbrt -3) 3)) (* (* (cbrt -3) (cbrt -3)) (pow (* (* (cbrt (cbrt -3)) x.re) x.im) 3)) (* (cbrt (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (cbrt (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (cbrt (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))) 3) (sqrt (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (sqrt (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (cbrt (* (cbrt -3) (cbrt -3))) (cbrt (cbrt -3))) (* (* x.im x.re) (pow (cbrt -3) 2/3)) (* (cbrt (cbrt (* (cbrt -3) (cbrt -3)))) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (sqrt (cbrt (* (cbrt -3) (cbrt -3)))) (* (cbrt (cbrt -3)) (* x.re x.im))) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))) (expm1 (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (log1p (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (fma 2 (log (cbrt -3)) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (fma 2 (log (cbrt -3)) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (fma 2 (log (cbrt -3)) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (fma 2 (log (cbrt -3)) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (fma 2 (log (cbrt -3)) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (fma 2 (log (cbrt -3)) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (fma 2 (log (cbrt -3)) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (fma 2 (log (cbrt -3)) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (fma 2 (log (cbrt -3)) (log (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (exp (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (* (pow (cbrt -3) 3) (* (pow (* x.im x.re) 3) 9)) (* (pow (cbrt -3) 3) (* (pow (* x.im x.re) 3) 9)) (* (* 9 (pow (* (* (cbrt (cbrt -3)) x.re) x.im) 3)) (* (cbrt -3) (cbrt -3))) (* 9 (pow (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))) 3)) (* (* (pow (* (cbrt -3) (cbrt -3)) 3) (pow (cbrt -3) 3)) (pow (* x.im x.re) 3)) (* (* (pow (* (cbrt -3) (cbrt -3)) 3) (pow (cbrt -3) 3)) (pow (* x.im x.re) 3)) (* (pow (* (cbrt -3) (cbrt -3)) 3) (* (* (cbrt -3) (cbrt -3)) (pow (* (* (cbrt (cbrt -3)) x.re) x.im) 3))) (pow (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) 3) (* (cbrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (cbrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))))) (cbrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (pow (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) 3) (sqrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (sqrt (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (* (* (cbrt -3) (cbrt -3)) (cbrt (* (cbrt -3) (cbrt -3)))) (* (cbrt -3) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (expm1 (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (log1p (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (* x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im))))) (log (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (exp (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (* (cbrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (cbrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3)))) (cbrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (pow (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3)) 3) (sqrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (sqrt (fma x.im (* (* (cbrt -3) (cbrt -3)) (* (cbrt (* (cbrt -3) (cbrt -3))) (* (cbrt (cbrt -3)) (* x.re x.im)))) (pow x.re 3))) (* (* (cbrt (cbrt -3)) x.re) x.im) (* (* (cbrt (cbrt -3)) x.re) x.im) (* (* (cbrt (cbrt -3)) x.re) x.im) (* x.im (* (cbrt -3) x.re)) (* x.im (* (cbrt -3) x.re)) (* x.im (* (cbrt -3) x.re)) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 6.670 * * * [progress]: adding candidates to table 6.941 * [progress]: [Phase 3 of 3] Extracting. 6.941 * * [regime]: Finding splitpoints for: (# # # # # # # #) 6.946 * * * [regime-changes]: Trying 3 branch expressions: ((- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) x.im x.re) 6.946 * * * * [regimes]: Trying to branch on (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) from (# # # # # # # #) 6.974 * * * * [regimes]: Trying to branch on x.im from (# # # # # # # #) 7.006 * * * * [regimes]: Trying to branch on x.re from (# # # # # # # #) 7.037 * * * [regime]: Found split indices: #