3.907 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.028 * [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 : 23 enodes (cost 18 ) 0.034 * * [simplify]: iteration 2 : 58 enodes (cost 17 ) 0.045 * * [simplify]: iteration 3 : 151 enodes (cost 16 ) 0.088 * * [simplify]: iteration 4 : 395 enodes (cost 12 ) 0.261 * * [simplify]: iteration 5 : 932 enodes (cost 11 ) 0.925 * * [simplify]: iteration 6 : 2550 enodes (cost 10 ) 2.301 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 2.301 * [simplify]: Simplified to: (fma (* -3 (* x.re x.im)) x.im (pow x.re 3)) 2.309 * * [progress]: iteration 1 / 4 2.309 * * * [progress]: picking best candidate 2.313 * * * * [pick]: Picked # 2.313 * * * [progress]: localizing error 2.319 * * * [progress]: generating rewritten candidates 2.320 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 2.325 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.326 * * * [progress]: generating series expansions 2.326 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 2.326 * [approximate]: Taking taylor expansion of (* -3 (* x.im x.re)) in (x.re x.im) around 0 2.326 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im 2.326 * [taylor]: Taking taylor expansion of -3 in x.im 2.327 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.327 * [taylor]: Taking taylor expansion of x.im in x.im 2.327 * [taylor]: Taking taylor expansion of x.re in x.im 2.327 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 2.327 * [taylor]: Taking taylor expansion of -3 in x.re 2.327 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.327 * [taylor]: Taking taylor expansion of x.im in x.re 2.327 * [taylor]: Taking taylor expansion of x.re in x.re 2.327 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 2.327 * [taylor]: Taking taylor expansion of -3 in x.re 2.327 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.327 * [taylor]: Taking taylor expansion of x.im in x.re 2.327 * [taylor]: Taking taylor expansion of x.re in x.re 2.327 * [taylor]: Taking taylor expansion of 0 in x.im 2.328 * [taylor]: Taking taylor expansion of (- (* 3 x.im)) in x.im 2.328 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 2.328 * [taylor]: Taking taylor expansion of 3 in x.im 2.328 * [taylor]: Taking taylor expansion of x.im in x.im 2.329 * [taylor]: Taking taylor expansion of 0 in x.im 2.331 * [taylor]: Taking taylor expansion of 0 in x.im 2.333 * [taylor]: Taking taylor expansion of 0 in x.im 2.333 * [approximate]: Taking taylor expansion of (/ -3 (* x.im x.re)) in (x.re x.im) around 0 2.333 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 2.333 * [taylor]: Taking taylor expansion of -3 in x.im 2.333 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.333 * [taylor]: Taking taylor expansion of x.im in x.im 2.333 * [taylor]: Taking taylor expansion of x.re in x.im 2.334 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 2.334 * [taylor]: Taking taylor expansion of -3 in x.re 2.334 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.334 * [taylor]: Taking taylor expansion of x.im in x.re 2.334 * [taylor]: Taking taylor expansion of x.re in x.re 2.334 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 2.334 * [taylor]: Taking taylor expansion of -3 in x.re 2.334 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.334 * [taylor]: Taking taylor expansion of x.im in x.re 2.334 * [taylor]: Taking taylor expansion of x.re in x.re 2.335 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 2.335 * [taylor]: Taking taylor expansion of -3 in x.im 2.335 * [taylor]: Taking taylor expansion of x.im in x.im 2.335 * [taylor]: Taking taylor expansion of 0 in x.im 2.336 * [taylor]: Taking taylor expansion of 0 in x.im 2.338 * [taylor]: Taking taylor expansion of 0 in x.im 2.338 * [approximate]: Taking taylor expansion of (/ -3 (* x.im x.re)) in (x.re x.im) around 0 2.338 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 2.338 * [taylor]: Taking taylor expansion of -3 in x.im 2.338 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.338 * [taylor]: Taking taylor expansion of x.im in x.im 2.338 * [taylor]: Taking taylor expansion of x.re in x.im 2.339 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 2.339 * [taylor]: Taking taylor expansion of -3 in x.re 2.339 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.339 * [taylor]: Taking taylor expansion of x.im in x.re 2.339 * [taylor]: Taking taylor expansion of x.re in x.re 2.339 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 2.339 * [taylor]: Taking taylor expansion of -3 in x.re 2.339 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.339 * [taylor]: Taking taylor expansion of x.im in x.re 2.339 * [taylor]: Taking taylor expansion of x.re in x.re 2.339 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 2.339 * [taylor]: Taking taylor expansion of -3 in x.im 2.340 * [taylor]: Taking taylor expansion of x.im in x.im 2.340 * [taylor]: Taking taylor expansion of 0 in x.im 2.341 * [taylor]: Taking taylor expansion of 0 in x.im 2.342 * [taylor]: Taking taylor expansion of 0 in x.im 2.343 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.343 * [approximate]: Taking taylor expansion of (fma (* -3 (* x.im x.re)) x.im (pow x.re 3)) in (x.re x.im) around 0 2.343 * [taylor]: Taking taylor expansion of (fma (* -3 (* x.im x.re)) x.im (pow x.re 3)) in x.im 2.343 * [taylor]: Rewrote expression to (+ (* (* -3 (* x.im x.re)) x.im) (pow x.re 3)) 2.343 * [taylor]: Taking taylor expansion of (* (* -3 (* x.im x.re)) x.im) in x.im 2.343 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im 2.343 * [taylor]: Taking taylor expansion of -3 in x.im 2.343 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.343 * [taylor]: Taking taylor expansion of x.im in x.im 2.344 * [taylor]: Taking taylor expansion of x.re in x.im 2.344 * [taylor]: Taking taylor expansion of x.im in x.im 2.344 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 2.344 * [taylor]: Taking taylor expansion of x.re in x.im 2.344 * [taylor]: Taking taylor expansion of (fma (* -3 (* x.im x.re)) x.im (pow x.re 3)) in x.re 2.344 * [taylor]: Rewrote expression to (+ (* (* -3 (* x.im x.re)) x.im) (pow x.re 3)) 2.344 * [taylor]: Taking taylor expansion of (* (* -3 (* x.im x.re)) x.im) in x.re 2.344 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 2.344 * [taylor]: Taking taylor expansion of -3 in x.re 2.344 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.344 * [taylor]: Taking taylor expansion of x.im in x.re 2.344 * [taylor]: Taking taylor expansion of x.re in x.re 2.344 * [taylor]: Taking taylor expansion of x.im in x.re 2.344 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 2.344 * [taylor]: Taking taylor expansion of x.re in x.re 2.344 * [taylor]: Taking taylor expansion of (fma (* -3 (* x.im x.re)) x.im (pow x.re 3)) in x.re 2.344 * [taylor]: Rewrote expression to (+ (* (* -3 (* x.im x.re)) x.im) (pow x.re 3)) 2.344 * [taylor]: Taking taylor expansion of (* (* -3 (* x.im x.re)) x.im) in x.re 2.344 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 2.344 * [taylor]: Taking taylor expansion of -3 in x.re 2.344 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.344 * [taylor]: Taking taylor expansion of x.im in x.re 2.344 * [taylor]: Taking taylor expansion of x.re in x.re 2.344 * [taylor]: Taking taylor expansion of x.im in x.re 2.344 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 2.344 * [taylor]: Taking taylor expansion of x.re in x.re 2.345 * [taylor]: Taking taylor expansion of 0 in x.im 2.346 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.im 2))) in x.im 2.346 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 2.346 * [taylor]: Taking taylor expansion of 3 in x.im 2.346 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.346 * [taylor]: Taking taylor expansion of x.im in x.im 2.347 * [taylor]: Taking taylor expansion of 0 in x.im 2.349 * [taylor]: Taking taylor expansion of 1 in x.im 2.353 * [taylor]: Taking taylor expansion of 0 in x.im 2.355 * [approximate]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ 1 x.im) (pow (/ 1 x.re) 3)) in (x.re x.im) around 0 2.355 * [taylor]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ 1 x.im) (pow (/ 1 x.re) 3)) in x.im 2.355 * [taylor]: Rewrote expression to (+ (* (/ -3 (* x.im x.re)) (/ 1 x.im)) (pow (/ 1 x.re) 3)) 2.355 * [taylor]: Taking taylor expansion of (* (/ -3 (* x.im x.re)) (/ 1 x.im)) in x.im 2.355 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 2.355 * [taylor]: Taking taylor expansion of -3 in x.im 2.355 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.355 * [taylor]: Taking taylor expansion of x.im in x.im 2.355 * [taylor]: Taking taylor expansion of x.re in x.im 2.355 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 2.355 * [taylor]: Taking taylor expansion of x.im in x.im 2.355 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.im 2.355 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 2.355 * [taylor]: Taking taylor expansion of x.re in x.im 2.355 * [taylor]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ 1 x.im) (pow (/ 1 x.re) 3)) in x.re 2.356 * [taylor]: Rewrote expression to (+ (* (/ -3 (* x.im x.re)) (/ 1 x.im)) (pow (/ 1 x.re) 3)) 2.356 * [taylor]: Taking taylor expansion of (* (/ -3 (* x.im x.re)) (/ 1 x.im)) in x.re 2.356 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 2.356 * [taylor]: Taking taylor expansion of -3 in x.re 2.356 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.356 * [taylor]: Taking taylor expansion of x.im in x.re 2.356 * [taylor]: Taking taylor expansion of x.re in x.re 2.356 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 2.356 * [taylor]: Taking taylor expansion of x.im in x.re 2.356 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.re 2.356 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 2.356 * [taylor]: Taking taylor expansion of x.re in x.re 2.356 * [taylor]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ 1 x.im) (pow (/ 1 x.re) 3)) in x.re 2.356 * [taylor]: Rewrote expression to (+ (* (/ -3 (* x.im x.re)) (/ 1 x.im)) (pow (/ 1 x.re) 3)) 2.356 * [taylor]: Taking taylor expansion of (* (/ -3 (* x.im x.re)) (/ 1 x.im)) in x.re 2.356 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 2.357 * [taylor]: Taking taylor expansion of -3 in x.re 2.357 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.357 * [taylor]: Taking taylor expansion of x.im in x.re 2.357 * [taylor]: Taking taylor expansion of x.re in x.re 2.357 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 2.357 * [taylor]: Taking taylor expansion of x.im in x.re 2.357 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.re 2.357 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 2.357 * [taylor]: Taking taylor expansion of x.re in x.re 2.358 * [taylor]: Taking taylor expansion of 1 in x.im 2.359 * [taylor]: Taking taylor expansion of 0 in x.im 2.361 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.im 2)))) in x.im 2.361 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 2.361 * [taylor]: Taking taylor expansion of 3 in x.im 2.361 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.361 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.361 * [taylor]: Taking taylor expansion of x.im in x.im 2.364 * [taylor]: Taking taylor expansion of 0 in x.im 2.368 * [taylor]: Taking taylor expansion of 0 in x.im 2.370 * [approximate]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ -1 x.im) (pow (/ -1 x.re) 3)) in (x.re x.im) around 0 2.370 * [taylor]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ -1 x.im) (pow (/ -1 x.re) 3)) in x.im 2.370 * [taylor]: Rewrote expression to (+ (* (/ -3 (* x.im x.re)) (/ -1 x.im)) (pow (/ -1 x.re) 3)) 2.371 * [taylor]: Taking taylor expansion of (* (/ -3 (* x.im x.re)) (/ -1 x.im)) in x.im 2.371 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 2.371 * [taylor]: Taking taylor expansion of -3 in x.im 2.371 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.371 * [taylor]: Taking taylor expansion of x.im in x.im 2.371 * [taylor]: Taking taylor expansion of x.re in x.im 2.371 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 2.371 * [taylor]: Taking taylor expansion of -1 in x.im 2.371 * [taylor]: Taking taylor expansion of x.im in x.im 2.371 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.im 2.371 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.im 2.371 * [taylor]: Taking taylor expansion of -1 in x.im 2.371 * [taylor]: Taking taylor expansion of x.re in x.im 2.371 * [taylor]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ -1 x.im) (pow (/ -1 x.re) 3)) in x.re 2.371 * [taylor]: Rewrote expression to (+ (* (/ -3 (* x.im x.re)) (/ -1 x.im)) (pow (/ -1 x.re) 3)) 2.371 * [taylor]: Taking taylor expansion of (* (/ -3 (* x.im x.re)) (/ -1 x.im)) in x.re 2.371 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 2.371 * [taylor]: Taking taylor expansion of -3 in x.re 2.371 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.372 * [taylor]: Taking taylor expansion of x.im in x.re 2.372 * [taylor]: Taking taylor expansion of x.re in x.re 2.372 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.re 2.372 * [taylor]: Taking taylor expansion of -1 in x.re 2.372 * [taylor]: Taking taylor expansion of x.im in x.re 2.372 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.re 2.372 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 2.372 * [taylor]: Taking taylor expansion of -1 in x.re 2.372 * [taylor]: Taking taylor expansion of x.re in x.re 2.372 * [taylor]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ -1 x.im) (pow (/ -1 x.re) 3)) in x.re 2.373 * [taylor]: Rewrote expression to (+ (* (/ -3 (* x.im x.re)) (/ -1 x.im)) (pow (/ -1 x.re) 3)) 2.373 * [taylor]: Taking taylor expansion of (* (/ -3 (* x.im x.re)) (/ -1 x.im)) in x.re 2.373 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 2.373 * [taylor]: Taking taylor expansion of -3 in x.re 2.373 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.373 * [taylor]: Taking taylor expansion of x.im in x.re 2.373 * [taylor]: Taking taylor expansion of x.re in x.re 2.373 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.re 2.373 * [taylor]: Taking taylor expansion of -1 in x.re 2.373 * [taylor]: Taking taylor expansion of x.im in x.re 2.373 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.re 2.373 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 2.373 * [taylor]: Taking taylor expansion of -1 in x.re 2.373 * [taylor]: Taking taylor expansion of x.re in x.re 2.374 * [taylor]: Taking taylor expansion of -1 in x.im 2.375 * [taylor]: Taking taylor expansion of 0 in x.im 2.377 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 2.377 * [taylor]: Taking taylor expansion of 3 in x.im 2.377 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.377 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.377 * [taylor]: Taking taylor expansion of x.im in x.im 2.380 * [taylor]: Taking taylor expansion of 0 in x.im 2.384 * [taylor]: Taking taylor expansion of 0 in x.im 2.386 * * * [progress]: simplifying candidates 2.387 * [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 (* -3 (* x.re x.im)) x.im (pow x.re 3))) (log1p (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (* (* -3 (* x.re x.im)) x.im) (log (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (exp (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (* (cbrt (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (cbrt (fma (* -3 (* x.re x.im)) x.im (pow x.re 3)))) (cbrt (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (* (* (fma (* -3 (* x.re x.im)) x.im (pow x.re 3)) (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (sqrt (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (sqrt (fma (* -3 (* x.re x.im)) 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.392 * * [simplify]: iteration 0 : 57 enodes (cost 338 ) 2.403 * * [simplify]: iteration 1 : 129 enodes (cost 327 ) 2.450 * * [simplify]: iteration 2 : 419 enodes (cost 282 ) 2.646 * * [simplify]: iteration 3 : 1445 enodes (cost 282 ) 4.352 * * [simplify]: iteration done : 5000 enodes (cost 282 ) 4.352 * [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 (* -3 (* x.re x.im)) x.im (pow x.re 3))) (log1p (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (* (* -3 (* x.re x.im)) x.im) (log (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (exp (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (* (cbrt (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (cbrt (fma (* -3 (* x.re x.im)) x.im (pow x.re 3)))) (cbrt (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (pow (fma (* -3 (* x.re x.im)) x.im (pow x.re 3)) 3) (sqrt (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (sqrt (fma (* -3 (* x.re x.im)) x.im (pow x.re 3))) (* -3 (* x.re x.im)) (* -3 (* x.re x.im)) (* -3 (* x.re x.im)) (fma (* -3 (* x.re x.im)) x.im (pow x.re 3)) (fma (* -3 (* x.re x.im)) x.im (pow x.re 3)) (fma (* -3 (* x.re x.im)) x.im (pow x.re 3)) 4.352 * * * [progress]: adding candidates to table 4.424 * * [progress]: iteration 2 / 4 4.424 * * * [progress]: picking best candidate 4.436 * * * * [pick]: Picked # 4.436 * * * [progress]: localizing error 4.443 * * * [progress]: generating rewritten candidates 4.443 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 4.450 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.451 * * * [progress]: generating series expansions 4.451 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 4.451 * [approximate]: Taking taylor expansion of (* -3 (* x.im x.re)) in (x.re x.im) around 0 4.451 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im 4.451 * [taylor]: Taking taylor expansion of -3 in x.im 4.451 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.451 * [taylor]: Taking taylor expansion of x.im in x.im 4.451 * [taylor]: Taking taylor expansion of x.re in x.im 4.451 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 4.451 * [taylor]: Taking taylor expansion of -3 in x.re 4.451 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.451 * [taylor]: Taking taylor expansion of x.im in x.re 4.451 * [taylor]: Taking taylor expansion of x.re in x.re 4.451 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 4.451 * [taylor]: Taking taylor expansion of -3 in x.re 4.451 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.451 * [taylor]: Taking taylor expansion of x.im in x.re 4.451 * [taylor]: Taking taylor expansion of x.re in x.re 4.452 * [taylor]: Taking taylor expansion of 0 in x.im 4.452 * [taylor]: Taking taylor expansion of (- (* 3 x.im)) in x.im 4.452 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 4.452 * [taylor]: Taking taylor expansion of 3 in x.im 4.452 * [taylor]: Taking taylor expansion of x.im in x.im 4.454 * [taylor]: Taking taylor expansion of 0 in x.im 4.456 * [taylor]: Taking taylor expansion of 0 in x.im 4.458 * [taylor]: Taking taylor expansion of 0 in x.im 4.458 * [approximate]: Taking taylor expansion of (/ -3 (* x.im x.re)) in (x.re x.im) around 0 4.458 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 4.458 * [taylor]: Taking taylor expansion of -3 in x.im 4.458 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.458 * [taylor]: Taking taylor expansion of x.im in x.im 4.458 * [taylor]: Taking taylor expansion of x.re in x.im 4.458 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 4.458 * [taylor]: Taking taylor expansion of -3 in x.re 4.458 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.458 * [taylor]: Taking taylor expansion of x.im in x.re 4.458 * [taylor]: Taking taylor expansion of x.re in x.re 4.459 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 4.459 * [taylor]: Taking taylor expansion of -3 in x.re 4.459 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.459 * [taylor]: Taking taylor expansion of x.im in x.re 4.459 * [taylor]: Taking taylor expansion of x.re in x.re 4.459 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 4.459 * [taylor]: Taking taylor expansion of -3 in x.im 4.459 * [taylor]: Taking taylor expansion of x.im in x.im 4.460 * [taylor]: Taking taylor expansion of 0 in x.im 4.461 * [taylor]: Taking taylor expansion of 0 in x.im 4.462 * [taylor]: Taking taylor expansion of 0 in x.im 4.463 * [approximate]: Taking taylor expansion of (/ -3 (* x.im x.re)) in (x.re x.im) around 0 4.463 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 4.463 * [taylor]: Taking taylor expansion of -3 in x.im 4.463 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.463 * [taylor]: Taking taylor expansion of x.im in x.im 4.463 * [taylor]: Taking taylor expansion of x.re in x.im 4.463 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 4.463 * [taylor]: Taking taylor expansion of -3 in x.re 4.463 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.463 * [taylor]: Taking taylor expansion of x.im in x.re 4.463 * [taylor]: Taking taylor expansion of x.re in x.re 4.463 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 4.463 * [taylor]: Taking taylor expansion of -3 in x.re 4.464 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.464 * [taylor]: Taking taylor expansion of x.im in x.re 4.464 * [taylor]: Taking taylor expansion of x.re in x.re 4.464 * [taylor]: Taking taylor expansion of (/ -3 x.im) in x.im 4.464 * [taylor]: Taking taylor expansion of -3 in x.im 4.464 * [taylor]: Taking taylor expansion of x.im in x.im 4.465 * [taylor]: Taking taylor expansion of 0 in x.im 4.466 * [taylor]: Taking taylor expansion of 0 in x.im 4.467 * [taylor]: Taking taylor expansion of 0 in x.im 4.467 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.468 * [approximate]: Taking taylor expansion of (fma (* -3 (* x.im x.re)) x.im (pow x.re 3)) in (x.re x.im) around 0 4.468 * [taylor]: Taking taylor expansion of (fma (* -3 (* x.im x.re)) x.im (pow x.re 3)) in x.im 4.468 * [taylor]: Rewrote expression to (+ (* (* -3 (* x.im x.re)) x.im) (pow x.re 3)) 4.468 * [taylor]: Taking taylor expansion of (* (* -3 (* x.im x.re)) x.im) in x.im 4.468 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.im 4.468 * [taylor]: Taking taylor expansion of -3 in x.im 4.468 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.468 * [taylor]: Taking taylor expansion of x.im in x.im 4.468 * [taylor]: Taking taylor expansion of x.re in x.im 4.468 * [taylor]: Taking taylor expansion of x.im in x.im 4.468 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 4.468 * [taylor]: Taking taylor expansion of x.re in x.im 4.468 * [taylor]: Taking taylor expansion of (fma (* -3 (* x.im x.re)) x.im (pow x.re 3)) in x.re 4.468 * [taylor]: Rewrote expression to (+ (* (* -3 (* x.im x.re)) x.im) (pow x.re 3)) 4.468 * [taylor]: Taking taylor expansion of (* (* -3 (* x.im x.re)) x.im) in x.re 4.468 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 4.468 * [taylor]: Taking taylor expansion of -3 in x.re 4.468 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.468 * [taylor]: Taking taylor expansion of x.im in x.re 4.468 * [taylor]: Taking taylor expansion of x.re in x.re 4.468 * [taylor]: Taking taylor expansion of x.im in x.re 4.468 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 4.468 * [taylor]: Taking taylor expansion of x.re in x.re 4.468 * [taylor]: Taking taylor expansion of (fma (* -3 (* x.im x.re)) x.im (pow x.re 3)) in x.re 4.468 * [taylor]: Rewrote expression to (+ (* (* -3 (* x.im x.re)) x.im) (pow x.re 3)) 4.468 * [taylor]: Taking taylor expansion of (* (* -3 (* x.im x.re)) x.im) in x.re 4.468 * [taylor]: Taking taylor expansion of (* -3 (* x.im x.re)) in x.re 4.468 * [taylor]: Taking taylor expansion of -3 in x.re 4.468 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.468 * [taylor]: Taking taylor expansion of x.im in x.re 4.468 * [taylor]: Taking taylor expansion of x.re in x.re 4.468 * [taylor]: Taking taylor expansion of x.im in x.re 4.468 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 4.468 * [taylor]: Taking taylor expansion of x.re in x.re 4.469 * [taylor]: Taking taylor expansion of 0 in x.im 4.470 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.im 2))) in x.im 4.470 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 4.470 * [taylor]: Taking taylor expansion of 3 in x.im 4.470 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.470 * [taylor]: Taking taylor expansion of x.im in x.im 4.471 * [taylor]: Taking taylor expansion of 0 in x.im 4.474 * [taylor]: Taking taylor expansion of 1 in x.im 4.478 * [taylor]: Taking taylor expansion of 0 in x.im 4.479 * [approximate]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ 1 x.im) (pow (/ 1 x.re) 3)) in (x.re x.im) around 0 4.479 * [taylor]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ 1 x.im) (pow (/ 1 x.re) 3)) in x.im 4.479 * [taylor]: Rewrote expression to (+ (* (/ -3 (* x.im x.re)) (/ 1 x.im)) (pow (/ 1 x.re) 3)) 4.479 * [taylor]: Taking taylor expansion of (* (/ -3 (* x.im x.re)) (/ 1 x.im)) in x.im 4.479 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 4.479 * [taylor]: Taking taylor expansion of -3 in x.im 4.479 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.479 * [taylor]: Taking taylor expansion of x.im in x.im 4.479 * [taylor]: Taking taylor expansion of x.re in x.im 4.479 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 4.479 * [taylor]: Taking taylor expansion of x.im in x.im 4.480 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.im 4.480 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 4.480 * [taylor]: Taking taylor expansion of x.re in x.im 4.480 * [taylor]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ 1 x.im) (pow (/ 1 x.re) 3)) in x.re 4.480 * [taylor]: Rewrote expression to (+ (* (/ -3 (* x.im x.re)) (/ 1 x.im)) (pow (/ 1 x.re) 3)) 4.480 * [taylor]: Taking taylor expansion of (* (/ -3 (* x.im x.re)) (/ 1 x.im)) in x.re 4.480 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 4.480 * [taylor]: Taking taylor expansion of -3 in x.re 4.480 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.480 * [taylor]: Taking taylor expansion of x.im in x.re 4.480 * [taylor]: Taking taylor expansion of x.re in x.re 4.480 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 4.480 * [taylor]: Taking taylor expansion of x.im in x.re 4.480 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.re 4.480 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 4.480 * [taylor]: Taking taylor expansion of x.re in x.re 4.481 * [taylor]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ 1 x.im) (pow (/ 1 x.re) 3)) in x.re 4.481 * [taylor]: Rewrote expression to (+ (* (/ -3 (* x.im x.re)) (/ 1 x.im)) (pow (/ 1 x.re) 3)) 4.481 * [taylor]: Taking taylor expansion of (* (/ -3 (* x.im x.re)) (/ 1 x.im)) in x.re 4.481 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 4.481 * [taylor]: Taking taylor expansion of -3 in x.re 4.481 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.481 * [taylor]: Taking taylor expansion of x.im in x.re 4.481 * [taylor]: Taking taylor expansion of x.re in x.re 4.481 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.re 4.481 * [taylor]: Taking taylor expansion of x.im in x.re 4.481 * [taylor]: Taking taylor expansion of (pow (/ 1 x.re) 3) in x.re 4.481 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 4.481 * [taylor]: Taking taylor expansion of x.re in x.re 4.482 * [taylor]: Taking taylor expansion of 1 in x.im 4.487 * [taylor]: Taking taylor expansion of 0 in x.im 4.489 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.im 2)))) in x.im 4.489 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 4.489 * [taylor]: Taking taylor expansion of 3 in x.im 4.489 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 4.489 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.489 * [taylor]: Taking taylor expansion of x.im in x.im 4.492 * [taylor]: Taking taylor expansion of 0 in x.im 4.497 * [taylor]: Taking taylor expansion of 0 in x.im 4.499 * [approximate]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ -1 x.im) (pow (/ -1 x.re) 3)) in (x.re x.im) around 0 4.499 * [taylor]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ -1 x.im) (pow (/ -1 x.re) 3)) in x.im 4.499 * [taylor]: Rewrote expression to (+ (* (/ -3 (* x.im x.re)) (/ -1 x.im)) (pow (/ -1 x.re) 3)) 4.499 * [taylor]: Taking taylor expansion of (* (/ -3 (* x.im x.re)) (/ -1 x.im)) in x.im 4.499 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.im 4.499 * [taylor]: Taking taylor expansion of -3 in x.im 4.499 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 4.499 * [taylor]: Taking taylor expansion of x.im in x.im 4.499 * [taylor]: Taking taylor expansion of x.re in x.im 4.499 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.im 4.499 * [taylor]: Taking taylor expansion of -1 in x.im 4.499 * [taylor]: Taking taylor expansion of x.im in x.im 4.500 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.im 4.500 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.im 4.500 * [taylor]: Taking taylor expansion of -1 in x.im 4.500 * [taylor]: Taking taylor expansion of x.re in x.im 4.500 * [taylor]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ -1 x.im) (pow (/ -1 x.re) 3)) in x.re 4.500 * [taylor]: Rewrote expression to (+ (* (/ -3 (* x.im x.re)) (/ -1 x.im)) (pow (/ -1 x.re) 3)) 4.500 * [taylor]: Taking taylor expansion of (* (/ -3 (* x.im x.re)) (/ -1 x.im)) in x.re 4.500 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 4.500 * [taylor]: Taking taylor expansion of -3 in x.re 4.500 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.500 * [taylor]: Taking taylor expansion of x.im in x.re 4.500 * [taylor]: Taking taylor expansion of x.re in x.re 4.500 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.re 4.500 * [taylor]: Taking taylor expansion of -1 in x.re 4.500 * [taylor]: Taking taylor expansion of x.im in x.re 4.500 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.re 4.500 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 4.500 * [taylor]: Taking taylor expansion of -1 in x.re 4.500 * [taylor]: Taking taylor expansion of x.re in x.re 4.501 * [taylor]: Taking taylor expansion of (fma (/ -3 (* x.im x.re)) (/ -1 x.im) (pow (/ -1 x.re) 3)) in x.re 4.501 * [taylor]: Rewrote expression to (+ (* (/ -3 (* x.im x.re)) (/ -1 x.im)) (pow (/ -1 x.re) 3)) 4.501 * [taylor]: Taking taylor expansion of (* (/ -3 (* x.im x.re)) (/ -1 x.im)) in x.re 4.501 * [taylor]: Taking taylor expansion of (/ -3 (* x.im x.re)) in x.re 4.501 * [taylor]: Taking taylor expansion of -3 in x.re 4.501 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 4.501 * [taylor]: Taking taylor expansion of x.im in x.re 4.501 * [taylor]: Taking taylor expansion of x.re in x.re 4.501 * [taylor]: Taking taylor expansion of (/ -1 x.im) in x.re 4.501 * [taylor]: Taking taylor expansion of -1 in x.re 4.501 * [taylor]: Taking taylor expansion of x.im in x.re 4.501 * [taylor]: Taking taylor expansion of (pow (/ -1 x.re) 3) in x.re 4.501 * [taylor]: Taking taylor expansion of (/ -1 x.re) in x.re 4.501 * [taylor]: Taking taylor expansion of -1 in x.re 4.501 * [taylor]: Taking taylor expansion of x.re in x.re 4.502 * [taylor]: Taking taylor expansion of -1 in x.im 4.504 * [taylor]: Taking taylor expansion of 0 in x.im 4.505 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 4.505 * [taylor]: Taking taylor expansion of 3 in x.im 4.506 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 4.506 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.506 * [taylor]: Taking taylor expansion of x.im in x.im 4.509 * [taylor]: Taking taylor expansion of 0 in x.im 4.513 * [taylor]: Taking taylor expansion of 0 in x.im 4.515 * * * [progress]: simplifying candidates 4.515 * [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 (* (* -3 x.re) x.im) x.im (pow x.re 3))) (log1p (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (* (* (* -3 x.re) x.im) x.im) (log (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (exp (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (* (cbrt (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (cbrt (fma (* (* -3 x.re) x.im) x.im (pow x.re 3)))) (cbrt (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (* (* (fma (* (* -3 x.re) x.im) x.im (pow x.re 3)) (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (sqrt (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (sqrt (fma (* (* -3 x.re) x.im) 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))) 4.517 * * [simplify]: iteration 0 : 60 enodes (cost 341 ) 4.528 * * [simplify]: iteration 1 : 136 enodes (cost 328 ) 4.591 * * [simplify]: iteration 2 : 539 enodes (cost 283 ) 5.278 * * [simplify]: iteration 3 : 2326 enodes (cost 283 ) 6.705 * * [simplify]: iteration done : 5000 enodes (cost 283 ) 6.705 * [simplify]: Simplified to: (expm1 (* (* -3 x.re) x.im)) (log1p (* (* -3 x.re) x.im)) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (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.re x.im) (expm1 (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (log1p (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (* (* x.re x.im) (* -3 x.im)) (log (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (exp (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (* (cbrt (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (cbrt (fma (* (* -3 x.re) x.im) x.im (pow x.re 3)))) (cbrt (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (pow (fma (* (* -3 x.re) x.im) x.im (pow x.re 3)) 3) (sqrt (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (sqrt (fma (* (* -3 x.re) x.im) x.im (pow x.re 3))) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (* -3 (* x.im x.re)) (fma (* -3 x.im) (* x.re x.im) (pow x.re 3)) (fma (* -3 x.im) (* x.re x.im) (pow x.re 3)) (fma (* -3 x.im) (* x.re x.im) (pow x.re 3)) 6.706 * * * [progress]: adding candidates to table 6.777 * * [progress]: iteration 3 / 4 6.777 * * * [progress]: picking best candidate 6.787 * * * * [pick]: Picked # 6.787 * * * [progress]: localizing error 6.794 * * * [progress]: generating rewritten candidates 6.794 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 6.804 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 6.816 * * * [progress]: generating series expansions 6.816 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 6.816 * [approximate]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 6.817 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.im 6.817 * [taylor]: Taking taylor expansion of -3 in x.im 6.817 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 6.817 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.817 * [taylor]: Taking taylor expansion of x.im in x.im 6.817 * [taylor]: Taking taylor expansion of x.re in x.im 6.817 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.re 6.817 * [taylor]: Taking taylor expansion of -3 in x.re 6.817 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.817 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.817 * [taylor]: Taking taylor expansion of x.im in x.re 6.817 * [taylor]: Taking taylor expansion of x.re in x.re 6.817 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.re 6.817 * [taylor]: Taking taylor expansion of -3 in x.re 6.817 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.817 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.817 * [taylor]: Taking taylor expansion of x.im in x.re 6.817 * [taylor]: Taking taylor expansion of x.re in x.re 6.817 * [taylor]: Taking taylor expansion of 0 in x.im 6.818 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.im 2))) in x.im 6.818 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 6.818 * [taylor]: Taking taylor expansion of 3 in x.im 6.818 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.818 * [taylor]: Taking taylor expansion of x.im in x.im 6.820 * [taylor]: Taking taylor expansion of 0 in x.im 6.825 * [taylor]: Taking taylor expansion of 0 in x.im 6.825 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 6.825 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 6.825 * [taylor]: Taking taylor expansion of -3 in x.im 6.825 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 6.826 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.826 * [taylor]: Taking taylor expansion of x.im in x.im 6.826 * [taylor]: Taking taylor expansion of x.re in x.im 6.826 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 6.826 * [taylor]: Taking taylor expansion of -3 in x.re 6.826 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.826 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.826 * [taylor]: Taking taylor expansion of x.im in x.re 6.826 * [taylor]: Taking taylor expansion of x.re in x.re 6.826 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 6.826 * [taylor]: Taking taylor expansion of -3 in x.re 6.826 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.827 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.827 * [taylor]: Taking taylor expansion of x.im in x.re 6.827 * [taylor]: Taking taylor expansion of x.re in x.re 6.827 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im 6.827 * [taylor]: Taking taylor expansion of -3 in x.im 6.827 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.827 * [taylor]: Taking taylor expansion of x.im in x.im 6.829 * [taylor]: Taking taylor expansion of 0 in x.im 6.831 * [taylor]: Taking taylor expansion of 0 in x.im 6.834 * [taylor]: Taking taylor expansion of 0 in x.im 6.837 * [taylor]: Taking taylor expansion of 0 in x.im 6.837 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 6.837 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 6.837 * [taylor]: Taking taylor expansion of 3 in x.im 6.837 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 6.837 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.837 * [taylor]: Taking taylor expansion of x.im in x.im 6.837 * [taylor]: Taking taylor expansion of x.re in x.im 6.838 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 6.838 * [taylor]: Taking taylor expansion of 3 in x.re 6.838 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.838 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.838 * [taylor]: Taking taylor expansion of x.im in x.re 6.838 * [taylor]: Taking taylor expansion of x.re in x.re 6.838 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 6.838 * [taylor]: Taking taylor expansion of 3 in x.re 6.838 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.838 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.838 * [taylor]: Taking taylor expansion of x.im in x.re 6.838 * [taylor]: Taking taylor expansion of x.re in x.re 6.839 * [taylor]: Taking taylor expansion of (/ 3 (pow x.im 2)) in x.im 6.839 * [taylor]: Taking taylor expansion of 3 in x.im 6.839 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.839 * [taylor]: Taking taylor expansion of x.im in x.im 6.840 * [taylor]: Taking taylor expansion of 0 in x.im 6.842 * [taylor]: Taking taylor expansion of 0 in x.im 6.845 * [taylor]: Taking taylor expansion of 0 in x.im 6.848 * [taylor]: Taking taylor expansion of 0 in x.im 6.848 * * * * [progress]: [ 2 / 2 ] generating series at (2) 6.848 * [approximate]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in (x.re x.im) around 0 6.848 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.im 6.848 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 6.848 * [taylor]: Taking taylor expansion of x.re in x.im 6.848 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 6.848 * [taylor]: Taking taylor expansion of 3 in x.im 6.848 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 6.848 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.848 * [taylor]: Taking taylor expansion of x.im in x.im 6.848 * [taylor]: Taking taylor expansion of x.re in x.im 6.848 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 6.848 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 6.849 * [taylor]: Taking taylor expansion of x.re in x.re 6.849 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 6.849 * [taylor]: Taking taylor expansion of 3 in x.re 6.849 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.849 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.849 * [taylor]: Taking taylor expansion of x.im in x.re 6.849 * [taylor]: Taking taylor expansion of x.re in x.re 6.849 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 6.849 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 6.849 * [taylor]: Taking taylor expansion of x.re in x.re 6.849 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 6.849 * [taylor]: Taking taylor expansion of 3 in x.re 6.849 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.849 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.849 * [taylor]: Taking taylor expansion of x.im in x.re 6.849 * [taylor]: Taking taylor expansion of x.re in x.re 6.850 * [taylor]: Taking taylor expansion of 0 in x.im 6.851 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.im 2))) in x.im 6.851 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 6.851 * [taylor]: Taking taylor expansion of 3 in x.im 6.851 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.851 * [taylor]: Taking taylor expansion of x.im in x.im 6.852 * [taylor]: Taking taylor expansion of 0 in x.im 6.855 * [taylor]: Taking taylor expansion of 1 in x.im 6.859 * [taylor]: Taking taylor expansion of 0 in x.im 6.861 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in (x.re x.im) around 0 6.861 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.im 6.861 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 6.861 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 6.861 * [taylor]: Taking taylor expansion of x.re in x.im 6.861 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 6.861 * [taylor]: Taking taylor expansion of 3 in x.im 6.861 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 6.861 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 6.861 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.861 * [taylor]: Taking taylor expansion of x.im in x.im 6.861 * [taylor]: Taking taylor expansion of x.re in x.im 6.861 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 6.861 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 6.861 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 6.861 * [taylor]: Taking taylor expansion of x.re in x.re 6.862 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 6.862 * [taylor]: Taking taylor expansion of 3 in x.re 6.862 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 6.862 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.862 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.862 * [taylor]: Taking taylor expansion of x.im in x.re 6.862 * [taylor]: Taking taylor expansion of x.re in x.re 6.863 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 6.863 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 6.863 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 6.863 * [taylor]: Taking taylor expansion of x.re in x.re 6.864 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 6.864 * [taylor]: Taking taylor expansion of 3 in x.re 6.864 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 6.864 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.864 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.864 * [taylor]: Taking taylor expansion of x.im in x.re 6.864 * [taylor]: Taking taylor expansion of x.re in x.re 6.865 * [taylor]: Taking taylor expansion of 1 in x.im 6.866 * [taylor]: Taking taylor expansion of 0 in x.im 6.868 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.im 2)))) in x.im 6.868 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 6.868 * [taylor]: Taking taylor expansion of 3 in x.im 6.868 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 6.868 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.868 * [taylor]: Taking taylor expansion of x.im in x.im 6.872 * [taylor]: Taking taylor expansion of 0 in x.im 6.877 * [taylor]: Taking taylor expansion of 0 in x.im 6.880 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in (x.re x.im) around 0 6.880 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.im 6.880 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 6.880 * [taylor]: Taking taylor expansion of 3 in x.im 6.880 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 6.880 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 6.880 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.880 * [taylor]: Taking taylor expansion of x.im in x.im 6.880 * [taylor]: Taking taylor expansion of x.re in x.im 6.880 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 6.880 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 6.880 * [taylor]: Taking taylor expansion of x.re in x.im 6.880 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 6.880 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 6.880 * [taylor]: Taking taylor expansion of 3 in x.re 6.880 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 6.880 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.880 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.880 * [taylor]: Taking taylor expansion of x.im in x.re 6.880 * [taylor]: Taking taylor expansion of x.re in x.re 6.881 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 6.881 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 6.881 * [taylor]: Taking taylor expansion of x.re in x.re 6.882 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 6.882 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 6.882 * [taylor]: Taking taylor expansion of 3 in x.re 6.882 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 6.882 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 6.882 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 6.882 * [taylor]: Taking taylor expansion of x.im in x.re 6.882 * [taylor]: Taking taylor expansion of x.re in x.re 6.882 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 6.882 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 6.882 * [taylor]: Taking taylor expansion of x.re in x.re 6.884 * [taylor]: Taking taylor expansion of -1 in x.im 6.885 * [taylor]: Taking taylor expansion of 0 in x.im 6.887 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 6.887 * [taylor]: Taking taylor expansion of 3 in x.im 6.887 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 6.887 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 6.887 * [taylor]: Taking taylor expansion of x.im in x.im 6.891 * [taylor]: Taking taylor expansion of 0 in x.im 6.896 * [taylor]: Taking taylor expansion of 0 in x.im 6.898 * * * [progress]: simplifying candidates 6.898 * [simplify]: Simplifying using # : (expm1 (* (* x.re x.im) (* -3 x.im))) (log1p (* (* x.re x.im) (* -3 x.im))) (* (* x.re x.im) (* -3 x.im)) (* (* x.re x.im) (* -3 x.im)) (* (* x.re x.im) (* -3 x.im)) (* (* x.re x.im) (* -3 x.im)) (+ (+ (log x.re) (log x.im)) (+ (log -3) (log x.im))) (+ (+ (log x.re) (log x.im)) (log (* -3 x.im))) (+ (log (* x.re x.im)) (+ (log -3) (log x.im))) (+ (log (* x.re x.im)) (log (* -3 x.im))) (log (* (* x.re x.im) (* -3 x.im))) (exp (* (* x.re x.im) (* -3 x.im))) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* (* -3 -3) -3) (* (* x.im x.im) x.im))) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* (* -3 x.im) (* -3 x.im)) (* -3 x.im))) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* (* -3 -3) -3) (* (* x.im x.im) x.im))) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* (* -3 x.im) (* -3 x.im)) (* -3 x.im))) (* (cbrt (* (* x.re x.im) (* -3 x.im))) (cbrt (* (* x.re x.im) (* -3 x.im)))) (cbrt (* (* x.re x.im) (* -3 x.im))) (* (* (* (* x.re x.im) (* -3 x.im)) (* (* x.re x.im) (* -3 x.im))) (* (* x.re x.im) (* -3 x.im))) (sqrt (* (* x.re x.im) (* -3 x.im))) (sqrt (* (* x.re x.im) (* -3 x.im))) (* (* x.re x.im) -3) (* x.im (* -3 x.im)) (expm1 (+ (* (* x.re x.im) (* -3 x.im)) (pow x.re 3))) (log1p (+ (* (* x.re x.im) (* -3 x.im)) (pow x.re 3))) (* (exp (* (* x.re x.im) (* -3 x.im))) (exp (pow x.re 3))) (log (+ (* (* x.re x.im) (* -3 x.im)) (pow x.re 3))) (exp (+ (* (* x.re x.im) (* -3 x.im)) (pow x.re 3))) (* (cbrt (+ (* (* x.re x.im) (* -3 x.im)) (pow x.re 3))) (cbrt (+ (* (* x.re x.im) (* -3 x.im)) (pow x.re 3)))) (cbrt (+ (* (* x.re x.im) (* -3 x.im)) (pow x.re 3))) (* (* (+ (* (* x.re x.im) (* -3 x.im)) (pow x.re 3)) (+ (* (* x.re x.im) (* -3 x.im)) (pow x.re 3))) (+ (* (* x.re x.im) (* -3 x.im)) (pow x.re 3))) (sqrt (+ (* (* x.re x.im) (* -3 x.im)) (pow x.re 3))) (sqrt (+ (* (* x.re x.im) (* -3 x.im)) (pow x.re 3))) (+ (pow (* (* x.re x.im) (* -3 x.im)) 3) (pow (pow x.re 3) 3)) (+ (* (* (* x.re x.im) (* -3 x.im)) (* (* x.re x.im) (* -3 x.im))) (- (* (pow x.re 3) (pow x.re 3)) (* (* (* x.re x.im) (* -3 x.im)) (pow x.re 3)))) (- (* (* (* x.re x.im) (* -3 x.im)) (* (* x.re x.im) (* -3 x.im))) (* (pow x.re 3) (pow x.re 3))) (- (* (* x.re x.im) (* -3 x.im)) (pow x.re 3)) (* -3 (* (pow x.im 2) x.re)) (* -3 (* (pow x.im 2) x.re)) (* -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))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 6.901 * * [simplify]: iteration 0 : 73 enodes (cost 561 ) 6.917 * * [simplify]: iteration 1 : 219 enodes (cost 501 ) 7.018 * * [simplify]: iteration 2 : 896 enodes (cost 433 ) 7.874 * * [simplify]: iteration 3 : 4610 enodes (cost 424 ) 9.176 * * [simplify]: iteration done : 5000 enodes (cost 424 ) 9.176 * [simplify]: Simplified to: (expm1 (* (* x.re x.im) (* -3 x.im))) (log1p (* (* x.re x.im) (* -3 x.im))) (* x.re (* -3 (* x.im x.im))) (* x.re (* -3 (* x.im x.im))) (* x.re (* -3 (* x.im x.im))) (* x.re (* -3 (* x.im x.im))) (log (* (* x.re x.im) (* -3 x.im))) (log (* (* x.re x.im) (* -3 x.im))) (log (* (* x.re x.im) (* -3 x.im))) (log (* (* x.re x.im) (* -3 x.im))) (log (* (* x.re x.im) (* -3 x.im))) (exp (* (* x.re x.im) (* -3 x.im))) (pow (* (* x.re x.im) (* -3 x.im)) 3) (pow (* (* x.re x.im) (* -3 x.im)) 3) (pow (* (* x.re x.im) (* -3 x.im)) 3) (pow (* (* x.re x.im) (* -3 x.im)) 3) (* (cbrt (* (* x.re x.im) (* -3 x.im))) (cbrt (* (* x.re x.im) (* -3 x.im)))) (cbrt (* (* x.re x.im) (* -3 x.im))) (pow (* (* x.re x.im) (* -3 x.im)) 3) (sqrt (* (* x.re x.im) (* -3 x.im))) (sqrt (* (* x.re x.im) (* -3 x.im))) (* (* x.re x.im) -3) (* (* x.im x.im) -3) (expm1 (fma (* x.re x.im) (* -3 x.im) (pow x.re 3))) (log1p (fma (* x.re x.im) (* -3 x.im) (pow x.re 3))) (exp (fma (* x.re x.im) (* -3 x.im) (pow x.re 3))) (log (fma (* x.re x.im) (* -3 x.im) (pow x.re 3))) (exp (fma (* x.re x.im) (* -3 x.im) (pow x.re 3))) (* (cbrt (fma (* x.re x.im) (* -3 x.im) (pow x.re 3))) (cbrt (fma (* x.re x.im) (* -3 x.im) (pow x.re 3)))) (cbrt (fma (* x.re x.im) (* -3 x.im) (pow x.re 3))) (pow (fma (* x.re x.im) (* -3 x.im) (pow x.re 3)) 3) (sqrt (fma (* x.re x.im) (* -3 x.im) (pow x.re 3))) (sqrt (fma (* x.re x.im) (* -3 x.im) (pow x.re 3))) (* (pow x.re 3) (+ (* (pow x.im 6) -27) (pow x.re 6))) (- (pow x.re 6) (* (* (* (* x.re x.im) (* x.re x.im)) -3) (- (* x.re x.re) (* -3 (* x.im x.im))))) (fma (* x.re x.re) (* (pow x.im 3) (* 9 x.im)) (- (pow x.re 6))) (- (* (* x.re x.im) (* -3 x.im)) (pow x.re 3)) (* x.re (* -3 (* x.im x.im))) (* x.re (* -3 (* x.im x.im))) (* x.re (* -3 (* x.im x.im))) (fma (* x.re x.im) (* -3 x.im) (pow x.re 3)) (fma (* x.re x.im) (* -3 x.im) (pow x.re 3)) (fma (* x.re x.im) (* -3 x.im) (pow x.re 3)) 9.177 * * * [progress]: adding candidates to table 9.252 * * [progress]: iteration 4 / 4 9.252 * * * [progress]: picking best candidate 9.261 * * * * [pick]: Picked # 9.261 * * * [progress]: localizing error 9.274 * * * [progress]: generating rewritten candidates 9.274 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 9.275 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 9.275 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 9.276 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 9.283 * * * [progress]: generating series expansions 9.283 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 9.283 * [approximate]: Taking taylor expansion of (pow x.im 1/3) in (x.im) around 0 9.283 * [taylor]: Taking taylor expansion of (pow x.im 1/3) in x.im 9.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x.im))) in x.im 9.283 * [taylor]: Taking taylor expansion of (* 1/3 (log x.im)) in x.im 9.283 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.283 * [taylor]: Taking taylor expansion of (log x.im) in x.im 9.283 * [taylor]: Taking taylor expansion of x.im in x.im 9.284 * [taylor]: Taking taylor expansion of (pow x.im 1/3) in x.im 9.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x.im))) in x.im 9.284 * [taylor]: Taking taylor expansion of (* 1/3 (log x.im)) in x.im 9.284 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.284 * [taylor]: Taking taylor expansion of (log x.im) in x.im 9.284 * [taylor]: Taking taylor expansion of x.im in x.im 9.330 * [approximate]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in (x.im) around 0 9.331 * [taylor]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in x.im 9.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x.im)))) in x.im 9.331 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x.im))) in x.im 9.331 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.331 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 9.331 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 9.331 * [taylor]: Taking taylor expansion of x.im in x.im 9.332 * [taylor]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in x.im 9.332 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x.im)))) in x.im 9.332 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x.im))) in x.im 9.332 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.332 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 9.332 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 9.332 * [taylor]: Taking taylor expansion of x.im in x.im 9.384 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x.im) 1/3)) in (x.im) around 0 9.384 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x.im) 1/3)) in x.im 9.384 * [taylor]: Taking taylor expansion of (cbrt -1) in x.im 9.384 * [taylor]: Taking taylor expansion of -1 in x.im 9.385 * [taylor]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in x.im 9.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x.im)))) in x.im 9.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x.im))) in x.im 9.385 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.385 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 9.385 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 9.385 * [taylor]: Taking taylor expansion of x.im in x.im 9.386 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x.im) 1/3)) in x.im 9.386 * [taylor]: Taking taylor expansion of (cbrt -1) in x.im 9.386 * [taylor]: Taking taylor expansion of -1 in x.im 9.386 * [taylor]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in x.im 9.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x.im)))) in x.im 9.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x.im))) in x.im 9.387 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.387 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 9.387 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 9.387 * [taylor]: Taking taylor expansion of x.im in x.im 9.450 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 9.450 * [approximate]: Taking taylor expansion of (pow x.im 1/3) in (x.im) around 0 9.450 * [taylor]: Taking taylor expansion of (pow x.im 1/3) in x.im 9.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x.im))) in x.im 9.450 * [taylor]: Taking taylor expansion of (* 1/3 (log x.im)) in x.im 9.450 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.450 * [taylor]: Taking taylor expansion of (log x.im) in x.im 9.450 * [taylor]: Taking taylor expansion of x.im in x.im 9.451 * [taylor]: Taking taylor expansion of (pow x.im 1/3) in x.im 9.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x.im))) in x.im 9.451 * [taylor]: Taking taylor expansion of (* 1/3 (log x.im)) in x.im 9.451 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.451 * [taylor]: Taking taylor expansion of (log x.im) in x.im 9.451 * [taylor]: Taking taylor expansion of x.im in x.im 9.500 * [approximate]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in (x.im) around 0 9.500 * [taylor]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in x.im 9.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x.im)))) in x.im 9.500 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x.im))) in x.im 9.501 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.501 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 9.501 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 9.501 * [taylor]: Taking taylor expansion of x.im in x.im 9.501 * [taylor]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in x.im 9.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x.im)))) in x.im 9.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x.im))) in x.im 9.501 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.501 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 9.502 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 9.502 * [taylor]: Taking taylor expansion of x.im in x.im 9.554 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x.im) 1/3)) in (x.im) around 0 9.554 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x.im) 1/3)) in x.im 9.554 * [taylor]: Taking taylor expansion of (cbrt -1) in x.im 9.554 * [taylor]: Taking taylor expansion of -1 in x.im 9.555 * [taylor]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in x.im 9.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x.im)))) in x.im 9.555 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x.im))) in x.im 9.555 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.555 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 9.555 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 9.555 * [taylor]: Taking taylor expansion of x.im in x.im 9.556 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x.im) 1/3)) in x.im 9.556 * [taylor]: Taking taylor expansion of (cbrt -1) in x.im 9.556 * [taylor]: Taking taylor expansion of -1 in x.im 9.557 * [taylor]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in x.im 9.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x.im)))) in x.im 9.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x.im))) in x.im 9.557 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.557 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 9.557 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 9.557 * [taylor]: Taking taylor expansion of x.im in x.im 9.617 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 9.617 * [approximate]: Taking taylor expansion of (pow x.im 1/3) in (x.im) around 0 9.617 * [taylor]: Taking taylor expansion of (pow x.im 1/3) in x.im 9.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x.im))) in x.im 9.617 * [taylor]: Taking taylor expansion of (* 1/3 (log x.im)) in x.im 9.617 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.617 * [taylor]: Taking taylor expansion of (log x.im) in x.im 9.617 * [taylor]: Taking taylor expansion of x.im in x.im 9.617 * [taylor]: Taking taylor expansion of (pow x.im 1/3) in x.im 9.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x.im))) in x.im 9.617 * [taylor]: Taking taylor expansion of (* 1/3 (log x.im)) in x.im 9.617 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.618 * [taylor]: Taking taylor expansion of (log x.im) in x.im 9.618 * [taylor]: Taking taylor expansion of x.im in x.im 9.667 * [approximate]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in (x.im) around 0 9.667 * [taylor]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in x.im 9.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x.im)))) in x.im 9.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x.im))) in x.im 9.667 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.667 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 9.667 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 9.667 * [taylor]: Taking taylor expansion of x.im in x.im 9.668 * [taylor]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in x.im 9.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x.im)))) in x.im 9.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x.im))) in x.im 9.668 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.668 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 9.668 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 9.668 * [taylor]: Taking taylor expansion of x.im in x.im 9.720 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x.im) 1/3)) in (x.im) around 0 9.720 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x.im) 1/3)) in x.im 9.720 * [taylor]: Taking taylor expansion of (cbrt -1) in x.im 9.720 * [taylor]: Taking taylor expansion of -1 in x.im 9.721 * [taylor]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in x.im 9.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x.im)))) in x.im 9.721 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x.im))) in x.im 9.721 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.721 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 9.721 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 9.721 * [taylor]: Taking taylor expansion of x.im in x.im 9.722 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x.im) 1/3)) in x.im 9.722 * [taylor]: Taking taylor expansion of (cbrt -1) in x.im 9.722 * [taylor]: Taking taylor expansion of -1 in x.im 9.722 * [taylor]: Taking taylor expansion of (pow (/ 1 x.im) 1/3) in x.im 9.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x.im)))) in x.im 9.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x.im))) in x.im 9.723 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.723 * [taylor]: Taking taylor expansion of (log (/ 1 x.im)) in x.im 9.723 * [taylor]: Taking taylor expansion of (/ 1 x.im) in x.im 9.723 * [taylor]: Taking taylor expansion of x.im in x.im 9.786 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 9.787 * [approximate]: Taking taylor expansion of (pow (pow x.im 2) 1/3) in (x.im) around 0 9.787 * [taylor]: Taking taylor expansion of (pow (pow x.im 2) 1/3) in x.im 9.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x.im 2)))) in x.im 9.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x.im 2))) in x.im 9.787 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.787 * [taylor]: Taking taylor expansion of (log (pow x.im 2)) in x.im 9.787 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 9.787 * [taylor]: Taking taylor expansion of x.im in x.im 9.788 * [taylor]: Taking taylor expansion of (pow (pow x.im 2) 1/3) in x.im 9.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x.im 2)))) in x.im 9.788 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x.im 2))) in x.im 9.788 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.788 * [taylor]: Taking taylor expansion of (log (pow x.im 2)) in x.im 9.788 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 9.788 * [taylor]: Taking taylor expansion of x.im in x.im 9.841 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x.im 2)) 1/3) in (x.im) around 0 9.841 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x.im 2)) 1/3) in x.im 9.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x.im 2))))) in x.im 9.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x.im 2)))) in x.im 9.841 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.841 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x.im 2))) in x.im 9.841 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 9.842 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 9.842 * [taylor]: Taking taylor expansion of x.im in x.im 9.843 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x.im 2)) 1/3) in x.im 9.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x.im 2))))) in x.im 9.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x.im 2)))) in x.im 9.843 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.843 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x.im 2))) in x.im 9.843 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 9.843 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 9.843 * [taylor]: Taking taylor expansion of x.im in x.im 9.897 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x.im 2)) 1/3)) in (x.im) around 0 9.897 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x.im 2)) 1/3)) in x.im 9.897 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x.im 9.897 * [taylor]: Taking taylor expansion of (cbrt -1) in x.im 9.897 * [taylor]: Taking taylor expansion of -1 in x.im 9.898 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x.im 2)) 1/3) in x.im 9.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x.im 2))))) in x.im 9.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x.im 2)))) in x.im 9.898 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.898 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x.im 2))) in x.im 9.898 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 9.898 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 9.898 * [taylor]: Taking taylor expansion of x.im in x.im 9.899 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x.im 2)) 1/3)) in x.im 9.899 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x.im 9.899 * [taylor]: Taking taylor expansion of (cbrt -1) in x.im 9.899 * [taylor]: Taking taylor expansion of -1 in x.im 9.900 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x.im 2)) 1/3) in x.im 9.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x.im 2))))) in x.im 9.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x.im 2)))) in x.im 9.900 * [taylor]: Taking taylor expansion of 1/3 in x.im 9.900 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x.im 2))) in x.im 9.900 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 9.900 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 9.900 * [taylor]: Taking taylor expansion of x.im in x.im 9.973 * * * [progress]: simplifying candidates 9.974 * [simplify]: Simplifying using # : (expm1 (cbrt x.im)) (log1p (cbrt x.im)) (log (cbrt x.im)) (exp (cbrt x.im)) (cbrt (* (cbrt x.im) (cbrt x.im))) (cbrt (cbrt x.im)) (cbrt (sqrt x.im)) (cbrt (sqrt x.im)) (cbrt 1) (cbrt x.im) (* (cbrt (cbrt x.im)) (cbrt (cbrt x.im))) (cbrt (cbrt x.im)) (* (* (cbrt x.im) (cbrt x.im)) (cbrt x.im)) (sqrt (cbrt x.im)) (sqrt (cbrt x.im)) (expm1 (cbrt x.im)) (log1p (cbrt x.im)) (log (cbrt x.im)) (exp (cbrt x.im)) (cbrt (* (cbrt x.im) (cbrt x.im))) (cbrt (cbrt x.im)) (cbrt (sqrt x.im)) (cbrt (sqrt x.im)) (cbrt 1) (cbrt x.im) (* (cbrt (cbrt x.im)) (cbrt (cbrt x.im))) (cbrt (cbrt x.im)) (* (* (cbrt x.im) (cbrt x.im)) (cbrt x.im)) (sqrt (cbrt x.im)) (sqrt (cbrt x.im)) (expm1 (cbrt x.im)) (log1p (cbrt x.im)) (log (cbrt x.im)) (exp (cbrt x.im)) (cbrt (* (cbrt x.im) (cbrt x.im))) (cbrt (cbrt x.im)) (cbrt (sqrt x.im)) (cbrt (sqrt x.im)) (cbrt 1) (cbrt x.im) (* (cbrt (cbrt x.im)) (cbrt (cbrt x.im))) (cbrt (cbrt x.im)) (* (* (cbrt x.im) (cbrt x.im)) (cbrt x.im)) (sqrt (cbrt x.im)) (sqrt (cbrt x.im)) (expm1 (* (cbrt x.im) (cbrt x.im))) (log1p (* (cbrt x.im) (cbrt x.im))) (+ 1/3 1/3) (+ 1 1) (* x.im x.im) (* (cbrt x.im) (cbrt x.im)) (+ 1 1) (+ (log (cbrt x.im)) (log (cbrt x.im))) (log (* (cbrt x.im) (cbrt x.im))) (exp (* (cbrt x.im) (cbrt x.im))) (* x.im x.im) (* (cbrt (* (cbrt x.im) (cbrt x.im))) (cbrt (* (cbrt x.im) (cbrt x.im)))) (cbrt (* (cbrt x.im) (cbrt x.im))) (* (* (* (cbrt x.im) (cbrt x.im)) (* (cbrt x.im) (cbrt x.im))) (* (cbrt x.im) (cbrt x.im))) (sqrt (* (cbrt x.im) (cbrt x.im))) (sqrt (* (cbrt x.im) (cbrt x.im))) (* (cbrt (* (cbrt x.im) (cbrt x.im))) (cbrt (* (cbrt x.im) (cbrt x.im)))) (* (cbrt (cbrt x.im)) (cbrt (cbrt x.im))) (* (cbrt (sqrt x.im)) (cbrt (sqrt x.im))) (* (cbrt (sqrt x.im)) (cbrt (sqrt x.im))) (* (cbrt 1) (cbrt 1)) (* (cbrt x.im) (cbrt x.im)) (* (* (cbrt (cbrt x.im)) (cbrt (cbrt x.im))) (* (cbrt (cbrt x.im)) (cbrt (cbrt x.im)))) (* (cbrt (cbrt x.im)) (cbrt (cbrt x.im))) (* (sqrt (cbrt x.im)) (sqrt (cbrt x.im))) (* (sqrt (cbrt x.im)) (sqrt (cbrt x.im))) (* 1 1) (* (cbrt x.im) (cbrt x.im)) (* (cbrt (sqrt x.im)) (cbrt (sqrt x.im))) (* (cbrt (sqrt x.im)) (cbrt (sqrt x.im))) (* (cbrt (sqrt x.im)) (sqrt (cbrt x.im))) (* (cbrt (sqrt x.im)) (sqrt (cbrt x.im))) (* (sqrt (cbrt x.im)) (cbrt (sqrt x.im))) (* (sqrt (cbrt x.im)) (cbrt (sqrt x.im))) (* (sqrt (cbrt x.im)) (sqrt (cbrt x.im))) (* (sqrt (cbrt x.im)) (sqrt (cbrt x.im))) (* 2 1/3) (* 2 1) (* (cbrt x.im) (cbrt (* (cbrt x.im) (cbrt x.im)))) (* (cbrt x.im) (cbrt (sqrt x.im))) (* (cbrt x.im) (cbrt 1)) (* (cbrt x.im) (* (cbrt (cbrt x.im)) (cbrt (cbrt x.im)))) (* (cbrt x.im) (sqrt (cbrt x.im))) (* (cbrt x.im) 1) (* (cbrt (cbrt x.im)) (cbrt x.im)) (* (cbrt (sqrt x.im)) (cbrt x.im)) (* (cbrt x.im) (cbrt x.im)) (* (cbrt (cbrt x.im)) (cbrt x.im)) (* (sqrt (cbrt x.im)) (cbrt x.im)) (* (cbrt x.im) (cbrt x.im)) (pow x.im 1/3) (pow (/ 1 x.im) -1/3) (* (pow (* -1 x.im) 1/3) (cbrt -1)) (pow x.im 1/3) (pow (/ 1 x.im) -1/3) (* (pow (* -1 x.im) 1/3) (cbrt -1)) (pow x.im 1/3) (pow (/ 1 x.im) -1/3) (* (pow (* -1 x.im) 1/3) (cbrt -1)) (pow x.im 2/3) (pow (/ 1 x.im) -2/3) (* (pow (cbrt -1) 2) (pow (pow x.im 2) 1/3)) 9.976 * * [simplify]: iteration 0 : 65 enodes (cost 554 ) 9.995 * * [simplify]: iteration 1 : 119 enodes (cost 443 ) 10.016 * * [simplify]: iteration 2 : 329 enodes (cost 423 ) 10.240 * * [simplify]: iteration 3 : 1180 enodes (cost 405 ) 11.474 * * [simplify]: iteration 4 : 3749 enodes (cost 400 ) 12.898 * * [simplify]: iteration done : 5000 enodes (cost 400 ) 12.898 * [simplify]: Simplified to: (expm1 (cbrt x.im)) (log1p (cbrt x.im)) (log (cbrt x.im)) (exp (cbrt x.im)) (cbrt (pow x.im 2/3)) (cbrt (cbrt x.im)) (cbrt (sqrt x.im)) (cbrt (sqrt x.im)) 1 (cbrt x.im) (* (cbrt (cbrt x.im)) (cbrt (cbrt x.im))) (cbrt (cbrt x.im)) x.im (sqrt (cbrt x.im)) (sqrt (cbrt x.im)) (expm1 (cbrt x.im)) (log1p (cbrt x.im)) (log (cbrt x.im)) (exp (cbrt x.im)) (cbrt (pow x.im 2/3)) (cbrt (cbrt x.im)) (cbrt (sqrt x.im)) (cbrt (sqrt x.im)) 1 (cbrt x.im) (* (cbrt (cbrt x.im)) (cbrt (cbrt x.im))) (cbrt (cbrt x.im)) x.im (sqrt (cbrt x.im)) (sqrt (cbrt x.im)) (expm1 (cbrt x.im)) (log1p (cbrt x.im)) (log (cbrt x.im)) (exp (cbrt x.im)) (cbrt (pow x.im 2/3)) (cbrt (cbrt x.im)) (cbrt (sqrt x.im)) (cbrt (sqrt x.im)) 1 (cbrt x.im) (* (cbrt (cbrt x.im)) (cbrt (cbrt x.im))) (cbrt (cbrt x.im)) x.im (sqrt (cbrt x.im)) (sqrt (cbrt x.im)) (expm1 (pow x.im 2/3)) (log1p (pow x.im 2/3)) 2/3 2 (* x.im x.im) (pow x.im 2/3) 2 (log (pow x.im 2/3)) (log (pow x.im 2/3)) (exp (pow x.im 2/3)) (* x.im x.im) (* (cbrt (pow x.im 2/3)) (cbrt (pow x.im 2/3))) (cbrt (pow x.im 2/3)) (* x.im x.im) (fabs (cbrt x.im)) (fabs (cbrt x.im)) (* (cbrt (pow x.im 2/3)) (cbrt (pow x.im 2/3))) (* (cbrt (cbrt x.im)) (cbrt (cbrt x.im))) (* (cbrt (sqrt x.im)) (cbrt (sqrt x.im))) (* (cbrt (sqrt x.im)) (cbrt (sqrt x.im))) 1 (pow x.im 2/3) (pow (cbrt (cbrt x.im)) 4) (* (cbrt (cbrt x.im)) (cbrt (cbrt x.im))) (cbrt x.im) (cbrt x.im) 1 (pow x.im 2/3) (* (cbrt (sqrt x.im)) (cbrt (sqrt x.im))) (* (cbrt (sqrt x.im)) (cbrt (sqrt x.im))) (* (cbrt (sqrt x.im)) (sqrt (cbrt x.im))) (* (cbrt (sqrt x.im)) (sqrt (cbrt x.im))) (* (cbrt (sqrt x.im)) (sqrt (cbrt x.im))) (* (cbrt (sqrt x.im)) (sqrt (cbrt x.im))) (cbrt x.im) (cbrt x.im) 2/3 2 (* (cbrt (pow x.im 2/3)) (cbrt x.im)) (* (cbrt x.im) (cbrt (sqrt x.im))) (cbrt x.im) (pow (cbrt (cbrt x.im)) 5) (pow (sqrt (cbrt x.im)) 3) (cbrt x.im) (pow (cbrt (cbrt x.im)) 4) (* (cbrt x.im) (cbrt (sqrt x.im))) (pow x.im 2/3) (pow (cbrt (cbrt x.im)) 4) (pow (sqrt (cbrt x.im)) 3) (pow x.im 2/3) (cbrt x.im) (pow (/ 1 x.im) -1/3) (* (cbrt -1) (cbrt (- x.im))) (cbrt x.im) (pow (/ 1 x.im) -1/3) (* (cbrt -1) (cbrt (- x.im))) (cbrt x.im) (pow (/ 1 x.im) -1/3) (* (cbrt -1) (cbrt (- x.im))) (pow x.im 2/3) (pow (/ 1 x.im) -2/3) (* (pow x.im 2/3) (pow (cbrt -1) 2)) 12.899 * * * [progress]: adding candidates to table 13.145 * [progress]: [Phase 3 of 3] Extracting. 13.145 * * [regime]: Finding splitpoints for: (# # # # # # #) 13.146 * * * [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) 13.146 * * * * [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 (# # # # # # #) 13.171 * * * * [regimes]: Trying to branch on x.im from (# # # # # # #) 13.197 * * * * [regimes]: Trying to branch on x.re from (# # # # # # #) 13.219 * * * [regime]: Found split indices: #