3.222 * [progress]: [Phase 1 of 3] Setting up. 0.000 * * * [progress]: [1/2] Preparing points 0.143 * * * [progress]: [2/2] Setting up program. 0.145 * [progress]: [Phase 2 of 3] Improving. 0.145 * [simplify]: Simplifying using # : (-.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) 0.348 * * [simplify]: iteration 0 : 4914 enodes (cost 20 ) 0.348 * * [simplify]: iteration 1 : 4914 enodes (cost 20 ) 0.349 * [simplify]: Simplified to: (+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3)))) 0.354 * * [progress]: iteration 1 / 4 0.354 * * * [progress]: picking best candidate 0.356 * * * * [pick]: Picked # 0.356 * * * [progress]: localizing error 0.363 * * * [progress]: generating rewritten candidates 0.363 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.370 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 0.375 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.387 * * * [progress]: generating series expansions 0.387 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.387 * [approximate]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.387 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.im 0.387 * [taylor]: Taking taylor expansion of -3 in x.im 0.387 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.387 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.387 * [taylor]: Taking taylor expansion of x.im in x.im 0.387 * [taylor]: Taking taylor expansion of x.re in x.im 0.387 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.re 0.387 * [taylor]: Taking taylor expansion of -3 in x.re 0.387 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.387 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.387 * [taylor]: Taking taylor expansion of x.im in x.re 0.387 * [taylor]: Taking taylor expansion of x.re in x.re 0.387 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.re 0.387 * [taylor]: Taking taylor expansion of -3 in x.re 0.387 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.387 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.388 * [taylor]: Taking taylor expansion of x.im in x.re 0.388 * [taylor]: Taking taylor expansion of x.re in x.re 0.388 * [taylor]: Taking taylor expansion of 0 in x.im 0.389 * [taylor]: Taking taylor expansion of (neg (* 3 (pow x.im 2))) in x.im 0.389 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 0.389 * [taylor]: Taking taylor expansion of 3 in x.im 0.389 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.389 * [taylor]: Taking taylor expansion of x.im in x.im 0.390 * [taylor]: Taking taylor expansion of 0 in x.im 0.392 * [taylor]: Taking taylor expansion of 0 in x.im 0.393 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.393 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 0.393 * [taylor]: Taking taylor expansion of -3 in x.im 0.393 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.393 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.393 * [taylor]: Taking taylor expansion of x.im in x.im 0.393 * [taylor]: Taking taylor expansion of x.re in x.im 0.393 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 0.393 * [taylor]: Taking taylor expansion of -3 in x.re 0.393 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.393 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.393 * [taylor]: Taking taylor expansion of x.im in x.re 0.393 * [taylor]: Taking taylor expansion of x.re in x.re 0.394 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 0.394 * [taylor]: Taking taylor expansion of -3 in x.re 0.394 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.394 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.394 * [taylor]: Taking taylor expansion of x.im in x.re 0.394 * [taylor]: Taking taylor expansion of x.re in x.re 0.395 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im 0.395 * [taylor]: Taking taylor expansion of -3 in x.im 0.395 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.395 * [taylor]: Taking taylor expansion of x.im in x.im 0.397 * [taylor]: Taking taylor expansion of 0 in x.im 0.399 * [taylor]: Taking taylor expansion of 0 in x.im 0.402 * [taylor]: Taking taylor expansion of 0 in x.im 0.405 * [taylor]: Taking taylor expansion of 0 in x.im 0.407 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.407 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 0.407 * [taylor]: Taking taylor expansion of 3 in x.im 0.407 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.407 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.407 * [taylor]: Taking taylor expansion of x.im in x.im 0.407 * [taylor]: Taking taylor expansion of x.re in x.im 0.407 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 0.407 * [taylor]: Taking taylor expansion of 3 in x.re 0.407 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.407 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.407 * [taylor]: Taking taylor expansion of x.im in x.re 0.407 * [taylor]: Taking taylor expansion of x.re in x.re 0.408 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 0.408 * [taylor]: Taking taylor expansion of 3 in x.re 0.408 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.408 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.408 * [taylor]: Taking taylor expansion of x.im in x.re 0.408 * [taylor]: Taking taylor expansion of x.re in x.re 0.409 * [taylor]: Taking taylor expansion of (/ 3 (pow x.im 2)) in x.im 0.409 * [taylor]: Taking taylor expansion of 3 in x.im 0.409 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.409 * [taylor]: Taking taylor expansion of x.im in x.im 0.411 * [taylor]: Taking taylor expansion of 0 in x.im 0.413 * [taylor]: Taking taylor expansion of 0 in x.im 0.416 * [taylor]: Taking taylor expansion of 0 in x.im 0.419 * [taylor]: Taking taylor expansion of 0 in x.im 0.420 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 0.420 * [approximate]: Taking taylor expansion of (* -3 (pow x.im 2)) in (x.im) around 0 0.420 * [taylor]: Taking taylor expansion of (* -3 (pow x.im 2)) in x.im 0.420 * [taylor]: Taking taylor expansion of -3 in x.im 0.420 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.420 * [taylor]: Taking taylor expansion of x.im in x.im 0.420 * [taylor]: Taking taylor expansion of (* -3 (pow x.im 2)) in x.im 0.420 * [taylor]: Taking taylor expansion of -3 in x.im 0.420 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.420 * [taylor]: Taking taylor expansion of x.im in x.im 0.426 * [approximate]: Taking taylor expansion of (/ -3 (pow x.im 2)) in (x.im) around 0 0.426 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im 0.426 * [taylor]: Taking taylor expansion of -3 in x.im 0.426 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.426 * [taylor]: Taking taylor expansion of x.im in x.im 0.426 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im 0.426 * [taylor]: Taking taylor expansion of -3 in x.im 0.426 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.427 * [taylor]: Taking taylor expansion of x.im in x.im 0.434 * [approximate]: Taking taylor expansion of (/ -3 (pow x.im 2)) in (x.im) around 0 0.434 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im 0.434 * [taylor]: Taking taylor expansion of -3 in x.im 0.434 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.434 * [taylor]: Taking taylor expansion of x.im in x.im 0.434 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im 0.434 * [taylor]: Taking taylor expansion of -3 in x.im 0.434 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.434 * [taylor]: Taking taylor expansion of x.im in x.im 0.441 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.442 * [approximate]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in (x.re x.im) around 0 0.442 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.im 0.442 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 0.442 * [taylor]: Taking taylor expansion of x.re in x.im 0.442 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 0.442 * [taylor]: Taking taylor expansion of 3 in x.im 0.442 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.442 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.442 * [taylor]: Taking taylor expansion of x.im in x.im 0.442 * [taylor]: Taking taylor expansion of x.re in x.im 0.442 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 0.442 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.442 * [taylor]: Taking taylor expansion of x.re in x.re 0.442 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 0.442 * [taylor]: Taking taylor expansion of 3 in x.re 0.442 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.442 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.442 * [taylor]: Taking taylor expansion of x.im in x.re 0.442 * [taylor]: Taking taylor expansion of x.re in x.re 0.442 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 0.442 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.442 * [taylor]: Taking taylor expansion of x.re in x.re 0.442 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 0.442 * [taylor]: Taking taylor expansion of 3 in x.re 0.442 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.442 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.442 * [taylor]: Taking taylor expansion of x.im in x.re 0.442 * [taylor]: Taking taylor expansion of x.re in x.re 0.442 * [taylor]: Taking taylor expansion of 0 in x.im 0.444 * [taylor]: Taking taylor expansion of (neg (* 3 (pow x.im 2))) in x.im 0.444 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 0.444 * [taylor]: Taking taylor expansion of 3 in x.im 0.444 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.444 * [taylor]: Taking taylor expansion of x.im in x.im 0.445 * [taylor]: Taking taylor expansion of 0 in x.im 0.447 * [taylor]: Taking taylor expansion of 1 in x.im 0.449 * [taylor]: Taking taylor expansion of 0 in x.im 0.451 * [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 0.451 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.im 0.451 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 0.451 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 0.451 * [taylor]: Taking taylor expansion of x.re in x.im 0.452 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 0.452 * [taylor]: Taking taylor expansion of 3 in x.im 0.452 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 0.452 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.452 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.452 * [taylor]: Taking taylor expansion of x.im in x.im 0.452 * [taylor]: Taking taylor expansion of x.re in x.im 0.452 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 0.452 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.452 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.452 * [taylor]: Taking taylor expansion of x.re in x.re 0.452 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.452 * [taylor]: Taking taylor expansion of 3 in x.re 0.452 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.452 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.452 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.452 * [taylor]: Taking taylor expansion of x.im in x.re 0.452 * [taylor]: Taking taylor expansion of x.re in x.re 0.453 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 0.453 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.453 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.453 * [taylor]: Taking taylor expansion of x.re in x.re 0.453 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.453 * [taylor]: Taking taylor expansion of 3 in x.re 0.453 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.454 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.454 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.454 * [taylor]: Taking taylor expansion of x.im in x.re 0.454 * [taylor]: Taking taylor expansion of x.re in x.re 0.454 * [taylor]: Taking taylor expansion of 1 in x.im 0.455 * [taylor]: Taking taylor expansion of 0 in x.im 0.457 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (pow x.im 2)))) in x.im 0.457 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 0.457 * [taylor]: Taking taylor expansion of 3 in x.im 0.457 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.457 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.457 * [taylor]: Taking taylor expansion of x.im in x.im 0.460 * [taylor]: Taking taylor expansion of 0 in x.im 0.464 * [taylor]: Taking taylor expansion of 0 in x.im 0.467 * [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 0.467 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.im 0.467 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 0.467 * [taylor]: Taking taylor expansion of 3 in x.im 0.467 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 0.467 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.467 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.467 * [taylor]: Taking taylor expansion of x.im in x.im 0.467 * [taylor]: Taking taylor expansion of x.re in x.im 0.467 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 0.467 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 0.467 * [taylor]: Taking taylor expansion of x.re in x.im 0.467 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 0.467 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.467 * [taylor]: Taking taylor expansion of 3 in x.re 0.467 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.467 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.467 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.467 * [taylor]: Taking taylor expansion of x.im in x.re 0.467 * [taylor]: Taking taylor expansion of x.re in x.re 0.468 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.468 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.468 * [taylor]: Taking taylor expansion of x.re in x.re 0.468 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 0.468 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.468 * [taylor]: Taking taylor expansion of 3 in x.re 0.468 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.468 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.468 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.468 * [taylor]: Taking taylor expansion of x.im in x.re 0.468 * [taylor]: Taking taylor expansion of x.re in x.re 0.469 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.469 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.469 * [taylor]: Taking taylor expansion of x.re in x.re 0.469 * [taylor]: Taking taylor expansion of -1 in x.im 0.470 * [taylor]: Taking taylor expansion of 0 in x.im 0.471 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 0.471 * [taylor]: Taking taylor expansion of 3 in x.im 0.471 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.471 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.471 * [taylor]: Taking taylor expansion of x.im in x.im 0.474 * [taylor]: Taking taylor expansion of 0 in x.im 0.477 * [taylor]: Taking taylor expansion of 0 in x.im 0.479 * * * [progress]: simplifying candidates 0.480 * [simplify]: Simplifying using # : (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))) (+.f64 (log.f64 x.re) (+.f64 (log.f64 x.im) (+.f64 (log.f64 x.im) (log.f64 -3)))) (+.f64 (log.f64 x.re) (+.f64 (log.f64 x.im) (log.f64 (*.f64 x.im -3)))) (+.f64 (log.f64 x.re) (log.f64 (*.f64 x.im (*.f64 x.im -3)))) (exp.f64 (*.f64 x.re (*.f64 x.im (*.f64 x.im -3)))) (log.f64 (*.f64 x.re (*.f64 x.im (*.f64 x.im -3)))) (*.f64 (*.f64 (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3)))) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3)))) (*.f64 (cbrt.f64 (*.f64 x.re (*.f64 x.im (*.f64 x.im -3)))) (cbrt.f64 (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))) (cbrt.f64 (*.f64 x.re (*.f64 x.im (*.f64 x.im -3)))) (*.f64 (*.f64 (*.f64 x.re x.re) x.re) (*.f64 (*.f64 (*.f64 x.im (*.f64 x.im -3)) (*.f64 x.im (*.f64 x.im -3))) (*.f64 x.im (*.f64 x.im -3)))) (*.f64 (*.f64 (*.f64 x.re x.re) x.re) (*.f64 (*.f64 (*.f64 x.im x.im) x.im) (*.f64 (*.f64 (*.f64 x.im -3) (*.f64 x.im -3)) (*.f64 x.im -3)))) (*.f64 (*.f64 (*.f64 x.re x.re) x.re) (*.f64 (*.f64 (*.f64 x.im x.im) x.im) (*.f64 (*.f64 (*.f64 x.im x.im) x.im) (*.f64 (*.f64 -3 -3) -3)))) (sqrt.f64 (*.f64 x.re (*.f64 x.im (*.f64 x.im -3)))) (sqrt.f64 (*.f64 x.re (*.f64 x.im (*.f64 x.im -3)))) (*.f64 (cbrt.f64 x.re) (*.f64 x.im (*.f64 x.im -3))) (*.f64 (sqrt.f64 x.re) (*.f64 x.im (*.f64 x.im -3))) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))) (*.f64 x.re x.im) (*.f64 x.im (*.f64 x.im -3)) (*.f64 x.im (*.f64 x.im -3)) (+.f64 (log.f64 x.im) (+.f64 (log.f64 x.im) (log.f64 -3))) (+.f64 (log.f64 x.im) (log.f64 (*.f64 x.im -3))) (exp.f64 (*.f64 x.im (*.f64 x.im -3))) (log.f64 (*.f64 x.im (*.f64 x.im -3))) (*.f64 (*.f64 (*.f64 x.im (*.f64 x.im -3)) (*.f64 x.im (*.f64 x.im -3))) (*.f64 x.im (*.f64 x.im -3))) (*.f64 (cbrt.f64 (*.f64 x.im (*.f64 x.im -3))) (cbrt.f64 (*.f64 x.im (*.f64 x.im -3)))) (cbrt.f64 (*.f64 x.im (*.f64 x.im -3))) (*.f64 (*.f64 (*.f64 x.im x.im) x.im) (*.f64 (*.f64 (*.f64 x.im -3) (*.f64 x.im -3)) (*.f64 x.im -3))) (*.f64 (*.f64 (*.f64 x.im x.im) x.im) (*.f64 (*.f64 (*.f64 x.im x.im) x.im) (*.f64 (*.f64 -3 -3) -3))) (sqrt.f64 (*.f64 x.im (*.f64 x.im -3))) (sqrt.f64 (*.f64 x.im (*.f64 x.im -3))) (*.f64 (cbrt.f64 x.im) (*.f64 x.im -3)) (*.f64 (sqrt.f64 x.im) (*.f64 x.im -3)) (*.f64 x.im (*.f64 x.im -3)) (*.f64 x.im x.im) (*.f64 (exp.f64 (pow.f64 x.re 3)) (exp.f64 (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))) (exp.f64 (+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))) (log.f64 (+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))) (*.f64 (*.f64 (+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3)))) (+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))) (+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))) (*.f64 (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))) (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3)))))) (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))) (sqrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))) (sqrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))) (+.f64 (pow.f64 (pow.f64 x.re 3) 3) (pow.f64 (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))) 3)) (+.f64 (*.f64 (pow.f64 x.re 3) (pow.f64 x.re 3)) (-.f64 (*.f64 (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3)))) (*.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3)))))) (-.f64 (*.f64 (pow.f64 x.re 3) (pow.f64 x.re 3)) (*.f64 (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))) (-.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3)))) (+.f64 (*.f64 x.re x.re) (*.f64 x.im (*.f64 x.im -3))) (*.f64 -3 (*.f64 (pow.f64 x.im 2) x.re)) (*.f64 -3 (*.f64 (pow.f64 x.im 2) x.re)) (*.f64 -3 (*.f64 (pow.f64 x.im 2) x.re)) (*.f64 -3 (pow.f64 x.im 2)) (*.f64 -3 (pow.f64 x.im 2)) (*.f64 -3 (pow.f64 x.im 2)) (-.f64 (pow.f64 x.re 3) (*.f64 3 (*.f64 (pow.f64 x.im 2) x.re))) (-.f64 (pow.f64 x.re 3) (*.f64 3 (*.f64 (pow.f64 x.im 2) x.re))) (-.f64 (pow.f64 x.re 3) (*.f64 3 (*.f64 (pow.f64 x.im 2) x.re))) 0.594 * * [simplify]: iteration 0 : 4951 enodes (cost 874 ) 0.594 * * [simplify]: iteration 1 : 4951 enodes (cost 874 ) 0.599 * [simplify]: Simplified to: (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (log.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (log.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (log.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (pow.f64 (pow.f64 (exp.f64 -3) (pow.f64 x.im 2)) x.re) (log.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (*.f64 (cbrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (cbrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))))) (cbrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (sqrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (sqrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (*.f64 (pow.f64 x.im 2) (*.f64 -3 (cbrt.f64 x.re))) (*.f64 (pow.f64 x.im 2) (*.f64 -3 (sqrt.f64 x.re))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re x.im) (*.f64 -3 (pow.f64 x.im 2)) (*.f64 -3 (pow.f64 x.im 2)) (log.f64 (*.f64 -3 (pow.f64 x.im 2))) (log.f64 (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 (exp.f64 -3) (pow.f64 x.im 2)) (log.f64 (*.f64 -3 (pow.f64 x.im 2))) (*.f64 -27 (pow.f64 x.im 6)) (*.f64 (cbrt.f64 (*.f64 -3 (pow.f64 x.im 2))) (cbrt.f64 (*.f64 -3 (pow.f64 x.im 2)))) (cbrt.f64 (*.f64 -3 (pow.f64 x.im 2))) (*.f64 -27 (pow.f64 x.im 6)) (*.f64 -27 (pow.f64 x.im 6)) (sqrt.f64 (*.f64 -3 (pow.f64 x.im 2))) (sqrt.f64 (*.f64 -3 (pow.f64 x.im 2))) (*.f64 (*.f64 x.im -3) (cbrt.f64 x.im)) (*.f64 -3 (pow.f64 x.im 3/2)) (*.f64 -3 (pow.f64 x.im 2)) (pow.f64 x.im 2) (pow.f64 (exp.f64 x.re) (+.f64 (*.f64 -3 (pow.f64 x.im 2)) (pow.f64 x.re 2))) (pow.f64 (exp.f64 x.re) (+.f64 (*.f64 -3 (pow.f64 x.im 2)) (pow.f64 x.re 2))) (log.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (pow.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)) 3) (*.f64 (cbrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (cbrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)))) (cbrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (sqrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (sqrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (+.f64 (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (pow.f64 x.re 9)) (+.f64 (*.f64 (pow.f64 x.re 2) (*.f64 9 (pow.f64 x.im 4))) (*.f64 (pow.f64 x.re 4) (+.f64 (pow.f64 x.re 2) (*.f64 (pow.f64 x.im 2) 3)))) (-.f64 (pow.f64 x.re 6) (*.f64 (pow.f64 x.re 2) (*.f64 9 (pow.f64 x.im 4)))) (+.f64 (pow.f64 x.re 3) (*.f64 (pow.f64 x.im 2) (*.f64 x.re 3))) (+.f64 (*.f64 -3 (pow.f64 x.im 2)) (pow.f64 x.re 2)) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 -3 (pow.f64 x.im 2)) (*.f64 -3 (pow.f64 x.im 2)) (*.f64 -3 (pow.f64 x.im 2)) (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)) (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)) (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)) 0.599 * * * [progress]: adding candidates to table 0.645 * * [progress]: iteration 2 / 4 0.645 * * * [progress]: picking best candidate 0.651 * * * * [pick]: Picked # 0.651 * * * [progress]: localizing error 0.659 * * * [progress]: generating rewritten candidates 0.659 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.666 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.676 * * * [progress]: generating series expansions 0.676 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.676 * [approximate]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.676 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.im 0.676 * [taylor]: Taking taylor expansion of -3 in x.im 0.676 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.676 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.676 * [taylor]: Taking taylor expansion of x.im in x.im 0.676 * [taylor]: Taking taylor expansion of x.re in x.im 0.676 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.re 0.676 * [taylor]: Taking taylor expansion of -3 in x.re 0.676 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.676 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.676 * [taylor]: Taking taylor expansion of x.im in x.re 0.676 * [taylor]: Taking taylor expansion of x.re in x.re 0.676 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.re 0.676 * [taylor]: Taking taylor expansion of -3 in x.re 0.676 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.676 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.676 * [taylor]: Taking taylor expansion of x.im in x.re 0.676 * [taylor]: Taking taylor expansion of x.re in x.re 0.677 * [taylor]: Taking taylor expansion of 0 in x.im 0.678 * [taylor]: Taking taylor expansion of (neg (* 3 (pow x.im 2))) in x.im 0.678 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 0.678 * [taylor]: Taking taylor expansion of 3 in x.im 0.678 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.678 * [taylor]: Taking taylor expansion of x.im in x.im 0.679 * [taylor]: Taking taylor expansion of 0 in x.im 0.681 * [taylor]: Taking taylor expansion of 0 in x.im 0.682 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.682 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 0.682 * [taylor]: Taking taylor expansion of -3 in x.im 0.682 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.682 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.682 * [taylor]: Taking taylor expansion of x.im in x.im 0.682 * [taylor]: Taking taylor expansion of x.re in x.im 0.682 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 0.682 * [taylor]: Taking taylor expansion of -3 in x.re 0.682 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.682 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.682 * [taylor]: Taking taylor expansion of x.im in x.re 0.682 * [taylor]: Taking taylor expansion of x.re in x.re 0.683 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 0.683 * [taylor]: Taking taylor expansion of -3 in x.re 0.683 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.683 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.683 * [taylor]: Taking taylor expansion of x.im in x.re 0.683 * [taylor]: Taking taylor expansion of x.re in x.re 0.684 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im 0.684 * [taylor]: Taking taylor expansion of -3 in x.im 0.684 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.684 * [taylor]: Taking taylor expansion of x.im in x.im 0.685 * [taylor]: Taking taylor expansion of 0 in x.im 0.687 * [taylor]: Taking taylor expansion of 0 in x.im 0.690 * [taylor]: Taking taylor expansion of 0 in x.im 0.694 * [taylor]: Taking taylor expansion of 0 in x.im 0.695 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.695 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 0.695 * [taylor]: Taking taylor expansion of 3 in x.im 0.695 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.695 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.695 * [taylor]: Taking taylor expansion of x.im in x.im 0.695 * [taylor]: Taking taylor expansion of x.re in x.im 0.695 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 0.695 * [taylor]: Taking taylor expansion of 3 in x.re 0.695 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.695 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.695 * [taylor]: Taking taylor expansion of x.im in x.re 0.695 * [taylor]: Taking taylor expansion of x.re in x.re 0.696 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 0.696 * [taylor]: Taking taylor expansion of 3 in x.re 0.696 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.696 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.696 * [taylor]: Taking taylor expansion of x.im in x.re 0.696 * [taylor]: Taking taylor expansion of x.re in x.re 0.697 * [taylor]: Taking taylor expansion of (/ 3 (pow x.im 2)) in x.im 0.697 * [taylor]: Taking taylor expansion of 3 in x.im 0.697 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.697 * [taylor]: Taking taylor expansion of x.im in x.im 0.699 * [taylor]: Taking taylor expansion of 0 in x.im 0.701 * [taylor]: Taking taylor expansion of 0 in x.im 0.704 * [taylor]: Taking taylor expansion of 0 in x.im 0.707 * [taylor]: Taking taylor expansion of 0 in x.im 0.708 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.708 * [approximate]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in (x.re x.im) around 0 0.708 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.im 0.708 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 0.708 * [taylor]: Taking taylor expansion of x.re in x.im 0.708 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 0.708 * [taylor]: Taking taylor expansion of 3 in x.im 0.708 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.708 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.708 * [taylor]: Taking taylor expansion of x.im in x.im 0.708 * [taylor]: Taking taylor expansion of x.re in x.im 0.708 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 0.708 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.708 * [taylor]: Taking taylor expansion of x.re in x.re 0.708 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 0.708 * [taylor]: Taking taylor expansion of 3 in x.re 0.708 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.708 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.708 * [taylor]: Taking taylor expansion of x.im in x.re 0.708 * [taylor]: Taking taylor expansion of x.re in x.re 0.708 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 0.708 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.708 * [taylor]: Taking taylor expansion of x.re in x.re 0.708 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 0.708 * [taylor]: Taking taylor expansion of 3 in x.re 0.708 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.708 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.709 * [taylor]: Taking taylor expansion of x.im in x.re 0.709 * [taylor]: Taking taylor expansion of x.re in x.re 0.709 * [taylor]: Taking taylor expansion of 0 in x.im 0.710 * [taylor]: Taking taylor expansion of (neg (* 3 (pow x.im 2))) in x.im 0.710 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 0.710 * [taylor]: Taking taylor expansion of 3 in x.im 0.710 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.710 * [taylor]: Taking taylor expansion of x.im in x.im 0.711 * [taylor]: Taking taylor expansion of 0 in x.im 0.713 * [taylor]: Taking taylor expansion of 1 in x.im 0.715 * [taylor]: Taking taylor expansion of 0 in x.im 0.716 * [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 0.716 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.im 0.716 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 0.716 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 0.716 * [taylor]: Taking taylor expansion of x.re in x.im 0.717 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 0.717 * [taylor]: Taking taylor expansion of 3 in x.im 0.717 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 0.717 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.717 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.717 * [taylor]: Taking taylor expansion of x.im in x.im 0.717 * [taylor]: Taking taylor expansion of x.re in x.im 0.717 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 0.717 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.717 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.717 * [taylor]: Taking taylor expansion of x.re in x.re 0.717 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.717 * [taylor]: Taking taylor expansion of 3 in x.re 0.717 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.717 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.717 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.717 * [taylor]: Taking taylor expansion of x.im in x.re 0.717 * [taylor]: Taking taylor expansion of x.re in x.re 0.718 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 0.718 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.718 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.718 * [taylor]: Taking taylor expansion of x.re in x.re 0.718 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.718 * [taylor]: Taking taylor expansion of 3 in x.re 0.718 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.718 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.718 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.718 * [taylor]: Taking taylor expansion of x.im in x.re 0.718 * [taylor]: Taking taylor expansion of x.re in x.re 0.719 * [taylor]: Taking taylor expansion of 1 in x.im 0.720 * [taylor]: Taking taylor expansion of 0 in x.im 0.721 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (pow x.im 2)))) in x.im 0.721 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 0.721 * [taylor]: Taking taylor expansion of 3 in x.im 0.721 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.721 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.721 * [taylor]: Taking taylor expansion of x.im in x.im 0.724 * [taylor]: Taking taylor expansion of 0 in x.im 0.727 * [taylor]: Taking taylor expansion of 0 in x.im 0.730 * [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 0.730 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.im 0.730 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 0.730 * [taylor]: Taking taylor expansion of 3 in x.im 0.730 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 0.730 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.730 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.730 * [taylor]: Taking taylor expansion of x.im in x.im 0.730 * [taylor]: Taking taylor expansion of x.re in x.im 0.730 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 0.730 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 0.730 * [taylor]: Taking taylor expansion of x.re in x.im 0.731 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 0.731 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.731 * [taylor]: Taking taylor expansion of 3 in x.re 0.731 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.731 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.731 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.731 * [taylor]: Taking taylor expansion of x.im in x.re 0.731 * [taylor]: Taking taylor expansion of x.re in x.re 0.732 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.732 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.732 * [taylor]: Taking taylor expansion of x.re in x.re 0.732 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 0.732 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.732 * [taylor]: Taking taylor expansion of 3 in x.re 0.732 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.732 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.732 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.732 * [taylor]: Taking taylor expansion of x.im in x.re 0.732 * [taylor]: Taking taylor expansion of x.re in x.re 0.733 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.733 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.733 * [taylor]: Taking taylor expansion of x.re in x.re 0.733 * [taylor]: Taking taylor expansion of -1 in x.im 0.734 * [taylor]: Taking taylor expansion of 0 in x.im 0.735 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 0.735 * [taylor]: Taking taylor expansion of 3 in x.im 0.735 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.735 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.735 * [taylor]: Taking taylor expansion of x.im in x.im 0.737 * [taylor]: Taking taylor expansion of 0 in x.im 0.741 * [taylor]: Taking taylor expansion of 0 in x.im 0.743 * * * [progress]: simplifying candidates 0.743 * [simplify]: Simplifying using # : (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)) (+.f64 (+.f64 (log.f64 x.re) (log.f64 x.im)) (+.f64 (log.f64 x.im) (log.f64 -3))) (+.f64 (+.f64 (log.f64 x.re) (log.f64 x.im)) (log.f64 (*.f64 x.im -3))) (+.f64 (log.f64 (*.f64 x.re x.im)) (+.f64 (log.f64 x.im) (log.f64 -3))) (+.f64 (log.f64 (*.f64 x.re x.im)) (log.f64 (*.f64 x.im -3))) (exp.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3))) (log.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3))) (*.f64 (*.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3))) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3))) (*.f64 (cbrt.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3))) (cbrt.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)))) (cbrt.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3))) (*.f64 (*.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.re x.im)) (*.f64 x.re x.im)) (*.f64 (*.f64 (*.f64 x.im -3) (*.f64 x.im -3)) (*.f64 x.im -3))) (*.f64 (*.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.re x.im)) (*.f64 x.re x.im)) (*.f64 (*.f64 (*.f64 x.im x.im) x.im) (*.f64 (*.f64 -3 -3) -3))) (*.f64 (*.f64 (*.f64 (*.f64 x.re x.re) x.re) (*.f64 (*.f64 x.im x.im) x.im)) (*.f64 (*.f64 (*.f64 x.im -3) (*.f64 x.im -3)) (*.f64 x.im -3))) (*.f64 (*.f64 (*.f64 (*.f64 x.re x.re) x.re) (*.f64 (*.f64 x.im x.im) x.im)) (*.f64 (*.f64 (*.f64 x.im x.im) x.im) (*.f64 (*.f64 -3 -3) -3))) (sqrt.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3))) (sqrt.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3))) (*.f64 x.im (*.f64 x.im -3)) (*.f64 (*.f64 x.re x.im) x.im) (*.f64 (exp.f64 (pow.f64 x.re 3)) (exp.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)))) (exp.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)))) (log.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)))) (*.f64 (*.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3))) (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)))) (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)))) (*.f64 (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)))) (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3))))) (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)))) (sqrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)))) (sqrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)))) (+.f64 (pow.f64 (pow.f64 x.re 3) 3) (pow.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)) 3)) (+.f64 (*.f64 (pow.f64 x.re 3) (pow.f64 x.re 3)) (-.f64 (*.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3))) (*.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3))))) (-.f64 (*.f64 (pow.f64 x.re 3) (pow.f64 x.re 3)) (*.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3)))) (-.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re x.im) (*.f64 x.im -3))) (*.f64 -3 (*.f64 (pow.f64 x.im 2) x.re)) (*.f64 -3 (*.f64 (pow.f64 x.im 2) x.re)) (*.f64 -3 (*.f64 (pow.f64 x.im 2) x.re)) (-.f64 (pow.f64 x.re 3) (*.f64 3 (*.f64 (pow.f64 x.im 2) x.re))) (-.f64 (pow.f64 x.re 3) (*.f64 3 (*.f64 (pow.f64 x.im 2) x.re))) (-.f64 (pow.f64 x.re 3) (*.f64 3 (*.f64 (pow.f64 x.im 2) x.re))) 0.859 * * [simplify]: iteration 0 : 4950 enodes (cost 683 ) 0.859 * * [simplify]: iteration 1 : 4950 enodes (cost 683 ) 0.863 * [simplify]: Simplified to: (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (log.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (log.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (log.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (log.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (pow.f64 (exp.f64 x.re) (*.f64 -3 (pow.f64 x.im 2))) (log.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (*.f64 (cbrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (cbrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))))) (cbrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (sqrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (sqrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (*.f64 -3 (pow.f64 x.im 2)) (*.f64 x.re (pow.f64 x.im 2)) (pow.f64 (exp.f64 x.re) (+.f64 (pow.f64 x.re 2) (*.f64 -3 (pow.f64 x.im 2)))) (pow.f64 (exp.f64 x.re) (+.f64 (pow.f64 x.re 2) (*.f64 -3 (pow.f64 x.im 2)))) (log.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (pow.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)) 3) (*.f64 (cbrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (cbrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)))) (cbrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (sqrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (sqrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (+.f64 (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (pow.f64 x.re 9)) (+.f64 (*.f64 (pow.f64 x.im 4) (*.f64 9 (pow.f64 x.re 2))) (*.f64 (pow.f64 x.re 4) (+.f64 (pow.f64 x.re 2) (*.f64 (pow.f64 x.im 2) 3)))) (-.f64 (pow.f64 x.re 6) (*.f64 (pow.f64 x.im 4) (*.f64 9 (pow.f64 x.re 2)))) (+.f64 (pow.f64 x.re 3) (*.f64 (pow.f64 x.im 2) (*.f64 x.re 3))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)) (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)) (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)) 0.863 * * * [progress]: adding candidates to table 0.884 * * [progress]: iteration 3 / 4 0.884 * * * [progress]: picking best candidate 0.889 * * * * [pick]: Picked # 0.889 * * * [progress]: localizing error 0.897 * * * [progress]: generating rewritten candidates 0.897 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 0.902 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.908 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.918 * * * [progress]: generating series expansions 0.918 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 0.919 * [approximate]: Taking taylor expansion of (* (pow x.im 2) x.re) in (x.re x.im) around 0 0.919 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.919 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.919 * [taylor]: Taking taylor expansion of x.im in x.im 0.919 * [taylor]: Taking taylor expansion of x.re in x.im 0.919 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.919 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.919 * [taylor]: Taking taylor expansion of x.im in x.re 0.919 * [taylor]: Taking taylor expansion of x.re in x.re 0.919 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.919 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.919 * [taylor]: Taking taylor expansion of x.im in x.re 0.919 * [taylor]: Taking taylor expansion of x.re in x.re 0.919 * [taylor]: Taking taylor expansion of 0 in x.im 0.920 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.920 * [taylor]: Taking taylor expansion of x.im in x.im 0.921 * [taylor]: Taking taylor expansion of 0 in x.im 0.922 * [taylor]: Taking taylor expansion of 0 in x.im 0.922 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.922 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 0.922 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.922 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.922 * [taylor]: Taking taylor expansion of x.im in x.im 0.923 * [taylor]: Taking taylor expansion of x.re in x.im 0.923 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.923 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.923 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.923 * [taylor]: Taking taylor expansion of x.im in x.re 0.923 * [taylor]: Taking taylor expansion of x.re in x.re 0.924 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.924 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.924 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.924 * [taylor]: Taking taylor expansion of x.im in x.re 0.924 * [taylor]: Taking taylor expansion of x.re in x.re 0.925 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.925 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.925 * [taylor]: Taking taylor expansion of x.im in x.im 0.926 * [taylor]: Taking taylor expansion of 0 in x.im 0.928 * [taylor]: Taking taylor expansion of 0 in x.im 0.931 * [taylor]: Taking taylor expansion of 0 in x.im 0.934 * [taylor]: Taking taylor expansion of 0 in x.im 0.935 * [approximate]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.935 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.im 0.935 * [taylor]: Taking taylor expansion of -1 in x.im 0.935 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.935 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.935 * [taylor]: Taking taylor expansion of x.im in x.im 0.935 * [taylor]: Taking taylor expansion of x.re in x.im 0.936 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.re 0.936 * [taylor]: Taking taylor expansion of -1 in x.re 0.936 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.936 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.936 * [taylor]: Taking taylor expansion of x.im in x.re 0.936 * [taylor]: Taking taylor expansion of x.re in x.re 0.937 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.re 0.937 * [taylor]: Taking taylor expansion of -1 in x.re 0.937 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.937 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.937 * [taylor]: Taking taylor expansion of x.im in x.re 0.937 * [taylor]: Taking taylor expansion of x.re in x.re 0.938 * [taylor]: Taking taylor expansion of (/ -1 (pow x.im 2)) in x.im 0.938 * [taylor]: Taking taylor expansion of -1 in x.im 0.938 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.938 * [taylor]: Taking taylor expansion of x.im in x.im 0.939 * [taylor]: Taking taylor expansion of 0 in x.im 0.941 * [taylor]: Taking taylor expansion of 0 in x.im 0.944 * [taylor]: Taking taylor expansion of 0 in x.im 0.948 * [taylor]: Taking taylor expansion of 0 in x.im 0.948 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.949 * [approximate]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.949 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.im 0.949 * [taylor]: Taking taylor expansion of -3 in x.im 0.949 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.949 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.949 * [taylor]: Taking taylor expansion of x.im in x.im 0.949 * [taylor]: Taking taylor expansion of x.re in x.im 0.949 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.re 0.949 * [taylor]: Taking taylor expansion of -3 in x.re 0.949 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.949 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.949 * [taylor]: Taking taylor expansion of x.im in x.re 0.949 * [taylor]: Taking taylor expansion of x.re in x.re 0.949 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.re 0.949 * [taylor]: Taking taylor expansion of -3 in x.re 0.949 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.949 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.949 * [taylor]: Taking taylor expansion of x.im in x.re 0.949 * [taylor]: Taking taylor expansion of x.re in x.re 0.949 * [taylor]: Taking taylor expansion of 0 in x.im 0.950 * [taylor]: Taking taylor expansion of (neg (* 3 (pow x.im 2))) in x.im 0.950 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 0.950 * [taylor]: Taking taylor expansion of 3 in x.im 0.950 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.950 * [taylor]: Taking taylor expansion of x.im in x.im 0.953 * [taylor]: Taking taylor expansion of 0 in x.im 0.955 * [taylor]: Taking taylor expansion of 0 in x.im 0.956 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.956 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 0.956 * [taylor]: Taking taylor expansion of -3 in x.im 0.956 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.956 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.956 * [taylor]: Taking taylor expansion of x.im in x.im 0.956 * [taylor]: Taking taylor expansion of x.re in x.im 0.956 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 0.956 * [taylor]: Taking taylor expansion of -3 in x.re 0.956 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.957 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.957 * [taylor]: Taking taylor expansion of x.im in x.re 0.957 * [taylor]: Taking taylor expansion of x.re in x.re 0.957 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 0.957 * [taylor]: Taking taylor expansion of -3 in x.re 0.957 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.957 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.957 * [taylor]: Taking taylor expansion of x.im in x.re 0.957 * [taylor]: Taking taylor expansion of x.re in x.re 0.958 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im 0.958 * [taylor]: Taking taylor expansion of -3 in x.im 0.958 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.958 * [taylor]: Taking taylor expansion of x.im in x.im 0.960 * [taylor]: Taking taylor expansion of 0 in x.im 0.962 * [taylor]: Taking taylor expansion of 0 in x.im 0.964 * [taylor]: Taking taylor expansion of 0 in x.im 0.967 * [taylor]: Taking taylor expansion of 0 in x.im 0.968 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 0.968 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 0.968 * [taylor]: Taking taylor expansion of 3 in x.im 0.968 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.968 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.968 * [taylor]: Taking taylor expansion of x.im in x.im 0.968 * [taylor]: Taking taylor expansion of x.re in x.im 0.969 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 0.969 * [taylor]: Taking taylor expansion of 3 in x.re 0.969 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.969 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.969 * [taylor]: Taking taylor expansion of x.im in x.re 0.969 * [taylor]: Taking taylor expansion of x.re in x.re 0.969 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 0.969 * [taylor]: Taking taylor expansion of 3 in x.re 0.969 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.969 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.969 * [taylor]: Taking taylor expansion of x.im in x.re 0.969 * [taylor]: Taking taylor expansion of x.re in x.re 0.970 * [taylor]: Taking taylor expansion of (/ 3 (pow x.im 2)) in x.im 0.970 * [taylor]: Taking taylor expansion of 3 in x.im 0.970 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.970 * [taylor]: Taking taylor expansion of x.im in x.im 0.972 * [taylor]: Taking taylor expansion of 0 in x.im 0.973 * [taylor]: Taking taylor expansion of 0 in x.im 0.976 * [taylor]: Taking taylor expansion of 0 in x.im 0.979 * [taylor]: Taking taylor expansion of 0 in x.im 0.979 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.980 * [approximate]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in (x.re x.im) around 0 0.980 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.im 0.980 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 0.980 * [taylor]: Taking taylor expansion of x.re in x.im 0.980 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 0.980 * [taylor]: Taking taylor expansion of 3 in x.im 0.980 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.980 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.980 * [taylor]: Taking taylor expansion of x.im in x.im 0.980 * [taylor]: Taking taylor expansion of x.re in x.im 0.980 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 0.980 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.980 * [taylor]: Taking taylor expansion of x.re in x.re 0.980 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 0.980 * [taylor]: Taking taylor expansion of 3 in x.re 0.980 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.980 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.980 * [taylor]: Taking taylor expansion of x.im in x.re 0.980 * [taylor]: Taking taylor expansion of x.re in x.re 0.980 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 0.980 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.980 * [taylor]: Taking taylor expansion of x.re in x.re 0.980 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 0.980 * [taylor]: Taking taylor expansion of 3 in x.re 0.980 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.980 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.980 * [taylor]: Taking taylor expansion of x.im in x.re 0.980 * [taylor]: Taking taylor expansion of x.re in x.re 0.981 * [taylor]: Taking taylor expansion of 0 in x.im 0.982 * [taylor]: Taking taylor expansion of (neg (* 3 (pow x.im 2))) in x.im 0.982 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 0.982 * [taylor]: Taking taylor expansion of 3 in x.im 0.982 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.982 * [taylor]: Taking taylor expansion of x.im in x.im 0.983 * [taylor]: Taking taylor expansion of 0 in x.im 0.984 * [taylor]: Taking taylor expansion of 1 in x.im 0.986 * [taylor]: Taking taylor expansion of 0 in x.im 0.988 * [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 0.988 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.im 0.988 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 0.988 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 0.988 * [taylor]: Taking taylor expansion of x.re in x.im 0.988 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 0.988 * [taylor]: Taking taylor expansion of 3 in x.im 0.988 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 0.988 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 0.988 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.988 * [taylor]: Taking taylor expansion of x.im in x.im 0.988 * [taylor]: Taking taylor expansion of x.re in x.im 0.989 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 0.989 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.989 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.989 * [taylor]: Taking taylor expansion of x.re in x.re 0.989 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.989 * [taylor]: Taking taylor expansion of 3 in x.re 0.989 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.989 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.989 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.989 * [taylor]: Taking taylor expansion of x.im in x.re 0.989 * [taylor]: Taking taylor expansion of x.re in x.re 0.990 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 0.990 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 0.990 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 0.990 * [taylor]: Taking taylor expansion of x.re in x.re 0.990 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 0.990 * [taylor]: Taking taylor expansion of 3 in x.re 0.990 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 0.990 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 0.990 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.990 * [taylor]: Taking taylor expansion of x.im in x.re 0.990 * [taylor]: Taking taylor expansion of x.re in x.re 0.991 * [taylor]: Taking taylor expansion of 1 in x.im 0.991 * [taylor]: Taking taylor expansion of 0 in x.im 0.993 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (pow x.im 2)))) in x.im 0.993 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 0.993 * [taylor]: Taking taylor expansion of 3 in x.im 0.993 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.993 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.993 * [taylor]: Taking taylor expansion of x.im in x.im 0.996 * [taylor]: Taking taylor expansion of 0 in x.im 0.999 * [taylor]: Taking taylor expansion of 0 in x.im 1.002 * [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 1.002 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.im 1.002 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 1.002 * [taylor]: Taking taylor expansion of 3 in x.im 1.002 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 1.002 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.002 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.002 * [taylor]: Taking taylor expansion of x.im in x.im 1.002 * [taylor]: Taking taylor expansion of x.re in x.im 1.002 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 1.002 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 1.002 * [taylor]: Taking taylor expansion of x.re in x.im 1.002 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 1.002 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 1.002 * [taylor]: Taking taylor expansion of 3 in x.re 1.002 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.002 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.002 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.002 * [taylor]: Taking taylor expansion of x.im in x.re 1.002 * [taylor]: Taking taylor expansion of x.re in x.re 1.003 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 1.003 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.003 * [taylor]: Taking taylor expansion of x.re in x.re 1.003 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 1.003 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 1.003 * [taylor]: Taking taylor expansion of 3 in x.re 1.003 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.003 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.003 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.003 * [taylor]: Taking taylor expansion of x.im in x.re 1.003 * [taylor]: Taking taylor expansion of x.re in x.re 1.004 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 1.004 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.004 * [taylor]: Taking taylor expansion of x.re in x.re 1.005 * [taylor]: Taking taylor expansion of -1 in x.im 1.005 * [taylor]: Taking taylor expansion of 0 in x.im 1.006 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 1.006 * [taylor]: Taking taylor expansion of 3 in x.im 1.006 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.006 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.006 * [taylor]: Taking taylor expansion of x.im in x.im 1.009 * [taylor]: Taking taylor expansion of 0 in x.im 1.013 * [taylor]: Taking taylor expansion of 0 in x.im 1.015 * * * [progress]: simplifying candidates 1.015 * [simplify]: Simplifying using # : (+.f64 (log.f64 x.re) (*.f64 (log.f64 x.im) 2)) (+.f64 (log.f64 x.re) (*.f64 (log.f64 x.im) 2)) (+.f64 (log.f64 x.re) (log.f64 (pow.f64 x.im 2))) (exp.f64 (*.f64 x.re (pow.f64 x.im 2))) (log.f64 (*.f64 x.re (pow.f64 x.im 2))) (*.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) (*.f64 x.re (pow.f64 x.im 2))) (*.f64 x.re (pow.f64 x.im 2))) (*.f64 (cbrt.f64 (*.f64 x.re (pow.f64 x.im 2))) (cbrt.f64 (*.f64 x.re (pow.f64 x.im 2)))) (cbrt.f64 (*.f64 x.re (pow.f64 x.im 2))) (*.f64 (*.f64 (*.f64 x.re x.re) x.re) (*.f64 (*.f64 (pow.f64 x.im 2) (pow.f64 x.im 2)) (pow.f64 x.im 2))) (sqrt.f64 (*.f64 x.re (pow.f64 x.im 2))) (sqrt.f64 (*.f64 x.re (pow.f64 x.im 2))) (*.f64 (sqrt.f64 x.re) (pow.f64 (sqrt.f64 x.im) 2)) (*.f64 (sqrt.f64 x.re) (pow.f64 (sqrt.f64 x.im) 2)) (*.f64 (sqrt.f64 x.re) x.im) (*.f64 (sqrt.f64 x.re) x.im) (*.f64 (sqrt.f64 x.re) (sqrt.f64 (pow.f64 x.im 2))) (*.f64 (sqrt.f64 x.re) (sqrt.f64 (pow.f64 x.im 2))) (*.f64 (sqrt.f64 x.re) (pow.f64 x.im (/.f64 2 2))) (*.f64 (sqrt.f64 x.re) (pow.f64 x.im (/.f64 2 2))) (*.f64 (cbrt.f64 x.re) (pow.f64 x.im 2)) (*.f64 (sqrt.f64 x.re) (pow.f64 x.im 2)) (*.f64 x.re (pow.f64 x.im 2)) (*.f64 x.re (pow.f64 (*.f64 (cbrt.f64 x.im) (cbrt.f64 x.im)) 2)) (*.f64 x.re (pow.f64 (sqrt.f64 x.im) 2)) (*.f64 x.re (pow.f64 1 2)) (*.f64 x.re x.im) (*.f64 x.re (*.f64 (cbrt.f64 (pow.f64 x.im 2)) (cbrt.f64 (pow.f64 x.im 2)))) (*.f64 x.re (sqrt.f64 (pow.f64 x.im 2))) (*.f64 x.re 1) (*.f64 x.re (pow.f64 x.im (/.f64 2 2))) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3) (+.f64 (+.f64 (log.f64 x.re) (*.f64 (log.f64 x.im) 2)) (log.f64 -3)) (+.f64 (+.f64 (log.f64 x.re) (*.f64 (log.f64 x.im) 2)) (log.f64 -3)) (+.f64 (+.f64 (log.f64 x.re) (log.f64 (pow.f64 x.im 2))) (log.f64 -3)) (+.f64 (log.f64 (*.f64 x.re (pow.f64 x.im 2))) (log.f64 -3)) (exp.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (log.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (*.f64 (*.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (*.f64 (cbrt.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (cbrt.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (cbrt.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (*.f64 (*.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) (*.f64 x.re (pow.f64 x.im 2))) (*.f64 x.re (pow.f64 x.im 2))) (*.f64 (*.f64 -3 -3) -3)) (*.f64 (*.f64 (*.f64 (*.f64 x.re x.re) x.re) (*.f64 (*.f64 (pow.f64 x.im 2) (pow.f64 x.im 2)) (pow.f64 x.im 2))) (*.f64 (*.f64 -3 -3) -3)) (sqrt.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (sqrt.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (*.f64 (pow.f64 x.im 2) -3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) (*.f64 (cbrt.f64 -3) (cbrt.f64 -3))) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) (sqrt.f64 -3)) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) 1) (*.f64 (exp.f64 (pow.f64 x.re 3)) (exp.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (exp.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (log.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (*.f64 (*.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (*.f64 (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)))) (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (sqrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (sqrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (+.f64 (pow.f64 (pow.f64 x.re 3) 3) (pow.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3) 3)) (+.f64 (*.f64 (pow.f64 x.re 3) (pow.f64 x.re 3)) (-.f64 (*.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (*.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)))) (-.f64 (*.f64 (pow.f64 x.re 3) (pow.f64 x.re 3)) (*.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (-.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (*.f64 (pow.f64 x.im 2) x.re) (*.f64 (pow.f64 x.im 2) x.re) (*.f64 (pow.f64 x.im 2) x.re) (*.f64 -3 (*.f64 (pow.f64 x.im 2) x.re)) (*.f64 -3 (*.f64 (pow.f64 x.im 2) x.re)) (*.f64 -3 (*.f64 (pow.f64 x.im 2) x.re)) (-.f64 (pow.f64 x.re 3) (*.f64 3 (*.f64 (pow.f64 x.im 2) x.re))) (-.f64 (pow.f64 x.re 3) (*.f64 3 (*.f64 (pow.f64 x.im 2) x.re))) (-.f64 (pow.f64 x.re 3) (*.f64 3 (*.f64 (pow.f64 x.im 2) x.re))) 1.119 * * [simplify]: iteration 0 : 4934 enodes (cost 973 ) 1.119 * * [simplify]: iteration 1 : 4934 enodes (cost 973 ) 1.125 * [simplify]: Simplified to: (log.f64 (*.f64 x.re (pow.f64 x.im 2))) (log.f64 (*.f64 x.re (pow.f64 x.im 2))) (log.f64 (*.f64 x.re (pow.f64 x.im 2))) (exp.f64 (*.f64 x.re (pow.f64 x.im 2))) (log.f64 (*.f64 x.re (pow.f64 x.im 2))) (pow.f64 (*.f64 x.re (pow.f64 x.im 2)) 3) (*.f64 (cbrt.f64 (*.f64 x.re (pow.f64 x.im 2))) (cbrt.f64 (*.f64 x.re (pow.f64 x.im 2)))) (cbrt.f64 (*.f64 x.re (pow.f64 x.im 2))) (pow.f64 (*.f64 x.re (pow.f64 x.im 2)) 3) (sqrt.f64 (*.f64 x.re (pow.f64 x.im 2))) (sqrt.f64 (*.f64 x.re (pow.f64 x.im 2))) (*.f64 x.im (sqrt.f64 x.re)) (*.f64 x.im (sqrt.f64 x.re)) (*.f64 x.im (sqrt.f64 x.re)) (*.f64 x.im (sqrt.f64 x.re)) (*.f64 (sqrt.f64 x.re) (fabs.f64 x.im)) (*.f64 (sqrt.f64 x.re) (fabs.f64 x.im)) (*.f64 x.im (sqrt.f64 x.re)) (*.f64 x.im (sqrt.f64 x.re)) (*.f64 (pow.f64 x.im 2) (cbrt.f64 x.re)) (*.f64 (pow.f64 x.im 2) (sqrt.f64 x.re)) (*.f64 x.re (pow.f64 x.im 2)) (*.f64 x.re (pow.f64 (cbrt.f64 x.im) 4)) (*.f64 x.re x.im) x.re (*.f64 x.re x.im) (*.f64 x.re (*.f64 (cbrt.f64 (pow.f64 x.im 2)) (cbrt.f64 (pow.f64 x.im 2)))) (*.f64 x.re (fabs.f64 x.im)) x.re (*.f64 x.re x.im) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3) (log.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (log.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (log.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (log.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (pow.f64 (exp.f64 (*.f64 x.re (pow.f64 x.im 2))) -3) (log.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (*.f64 (pow.f64 (*.f64 x.re (pow.f64 x.im 2)) 3) -27) (*.f64 (cbrt.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (cbrt.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (cbrt.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (*.f64 (pow.f64 (*.f64 x.re (pow.f64 x.im 2)) 3) -27) (*.f64 (pow.f64 (*.f64 x.re (pow.f64 x.im 2)) 3) -27) (sqrt.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (sqrt.f64 (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (*.f64 (pow.f64 x.im 2) -3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) (*.f64 (cbrt.f64 -3) (cbrt.f64 -3))) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) (sqrt.f64 -3)) (*.f64 x.re (pow.f64 x.im 2)) (pow.f64 (exp.f64 x.re) (+.f64 (pow.f64 x.re 2) (*.f64 (pow.f64 x.im 2) -3))) (pow.f64 (exp.f64 x.re) (+.f64 (pow.f64 x.re 2) (*.f64 (pow.f64 x.im 2) -3))) (log.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (pow.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) 3) (*.f64 (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)))) (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (sqrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (sqrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3))) (+.f64 (*.f64 (pow.f64 (*.f64 x.re (pow.f64 x.im 2)) 3) -27) (pow.f64 x.re 9)) (+.f64 (*.f64 (pow.f64 x.im 4) (*.f64 (pow.f64 x.re 2) 9)) (*.f64 (pow.f64 x.re 4) (+.f64 (pow.f64 x.re 2) (*.f64 (pow.f64 x.im 2) 3)))) (-.f64 (pow.f64 x.re 6) (*.f64 (pow.f64 x.im 4) (*.f64 (pow.f64 x.re 2) 9))) (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) 3)) (*.f64 x.re (pow.f64 x.im 2)) (*.f64 x.re (pow.f64 x.im 2)) (*.f64 x.re (pow.f64 x.im 2)) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3) (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (pow.f64 x.im 2)) -3)) 1.125 * * * [progress]: adding candidates to table 1.167 * * [progress]: iteration 4 / 4 1.167 * * * [progress]: picking best candidate 1.171 * * * * [pick]: Picked # 1.172 * * * [progress]: localizing error 1.179 * * * [progress]: generating rewritten candidates 1.179 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 1.187 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 1.192 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.202 * * * [progress]: generating series expansions 1.202 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 1.203 * [approximate]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 1.203 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.im 1.203 * [taylor]: Taking taylor expansion of -3 in x.im 1.203 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.203 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.203 * [taylor]: Taking taylor expansion of x.im in x.im 1.203 * [taylor]: Taking taylor expansion of x.re in x.im 1.203 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.re 1.203 * [taylor]: Taking taylor expansion of -3 in x.re 1.203 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.203 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.203 * [taylor]: Taking taylor expansion of x.im in x.re 1.203 * [taylor]: Taking taylor expansion of x.re in x.re 1.203 * [taylor]: Taking taylor expansion of (* -3 (* (pow x.im 2) x.re)) in x.re 1.203 * [taylor]: Taking taylor expansion of -3 in x.re 1.203 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.203 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.203 * [taylor]: Taking taylor expansion of x.im in x.re 1.203 * [taylor]: Taking taylor expansion of x.re in x.re 1.204 * [taylor]: Taking taylor expansion of 0 in x.im 1.204 * [taylor]: Taking taylor expansion of (neg (* 3 (pow x.im 2))) in x.im 1.204 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 1.204 * [taylor]: Taking taylor expansion of 3 in x.im 1.204 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.204 * [taylor]: Taking taylor expansion of x.im in x.im 1.206 * [taylor]: Taking taylor expansion of 0 in x.im 1.208 * [taylor]: Taking taylor expansion of 0 in x.im 1.209 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 1.209 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 1.209 * [taylor]: Taking taylor expansion of -3 in x.im 1.209 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.209 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.209 * [taylor]: Taking taylor expansion of x.im in x.im 1.209 * [taylor]: Taking taylor expansion of x.re in x.im 1.209 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 1.209 * [taylor]: Taking taylor expansion of -3 in x.re 1.209 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.209 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.209 * [taylor]: Taking taylor expansion of x.im in x.re 1.209 * [taylor]: Taking taylor expansion of x.re in x.re 1.210 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 1.210 * [taylor]: Taking taylor expansion of -3 in x.re 1.210 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.210 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.210 * [taylor]: Taking taylor expansion of x.im in x.re 1.210 * [taylor]: Taking taylor expansion of x.re in x.re 1.211 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im 1.211 * [taylor]: Taking taylor expansion of -3 in x.im 1.211 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.211 * [taylor]: Taking taylor expansion of x.im in x.im 1.213 * [taylor]: Taking taylor expansion of 0 in x.im 1.215 * [taylor]: Taking taylor expansion of 0 in x.im 1.218 * [taylor]: Taking taylor expansion of 0 in x.im 1.221 * [taylor]: Taking taylor expansion of 0 in x.im 1.222 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 1.223 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 1.223 * [taylor]: Taking taylor expansion of 3 in x.im 1.223 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.223 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.223 * [taylor]: Taking taylor expansion of x.im in x.im 1.223 * [taylor]: Taking taylor expansion of x.re in x.im 1.223 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 1.223 * [taylor]: Taking taylor expansion of 3 in x.re 1.223 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.223 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.223 * [taylor]: Taking taylor expansion of x.im in x.re 1.223 * [taylor]: Taking taylor expansion of x.re in x.re 1.224 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 1.224 * [taylor]: Taking taylor expansion of 3 in x.re 1.224 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.224 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.224 * [taylor]: Taking taylor expansion of x.im in x.re 1.224 * [taylor]: Taking taylor expansion of x.re in x.re 1.225 * [taylor]: Taking taylor expansion of (/ 3 (pow x.im 2)) in x.im 1.225 * [taylor]: Taking taylor expansion of 3 in x.im 1.225 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.225 * [taylor]: Taking taylor expansion of x.im in x.im 1.226 * [taylor]: Taking taylor expansion of 0 in x.im 1.228 * [taylor]: Taking taylor expansion of 0 in x.im 1.231 * [taylor]: Taking taylor expansion of 0 in x.im 1.234 * [taylor]: Taking taylor expansion of 0 in x.im 1.235 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 1.235 * [approximate]: Taking taylor expansion of (* (pow x.im 2) x.re) in (x.re x.im) around 0 1.235 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.235 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.235 * [taylor]: Taking taylor expansion of x.im in x.im 1.235 * [taylor]: Taking taylor expansion of x.re in x.im 1.235 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.235 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.235 * [taylor]: Taking taylor expansion of x.im in x.re 1.235 * [taylor]: Taking taylor expansion of x.re in x.re 1.235 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.235 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.235 * [taylor]: Taking taylor expansion of x.im in x.re 1.235 * [taylor]: Taking taylor expansion of x.re in x.re 1.236 * [taylor]: Taking taylor expansion of 0 in x.im 1.236 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.236 * [taylor]: Taking taylor expansion of x.im in x.im 1.237 * [taylor]: Taking taylor expansion of 0 in x.im 1.238 * [taylor]: Taking taylor expansion of 0 in x.im 1.238 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 1.238 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 1.238 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.238 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.238 * [taylor]: Taking taylor expansion of x.im in x.im 1.238 * [taylor]: Taking taylor expansion of x.re in x.im 1.238 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.238 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.238 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.238 * [taylor]: Taking taylor expansion of x.im in x.re 1.239 * [taylor]: Taking taylor expansion of x.re in x.re 1.239 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.239 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.239 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.239 * [taylor]: Taking taylor expansion of x.im in x.re 1.239 * [taylor]: Taking taylor expansion of x.re in x.re 1.240 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.240 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.240 * [taylor]: Taking taylor expansion of x.im in x.im 1.241 * [taylor]: Taking taylor expansion of 0 in x.im 1.243 * [taylor]: Taking taylor expansion of 0 in x.im 1.245 * [taylor]: Taking taylor expansion of 0 in x.im 1.250 * [taylor]: Taking taylor expansion of 0 in x.im 1.251 * [approximate]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 1.251 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.im 1.251 * [taylor]: Taking taylor expansion of -1 in x.im 1.251 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.251 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.251 * [taylor]: Taking taylor expansion of x.im in x.im 1.251 * [taylor]: Taking taylor expansion of x.re in x.im 1.251 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.re 1.251 * [taylor]: Taking taylor expansion of -1 in x.re 1.251 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.251 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.251 * [taylor]: Taking taylor expansion of x.im in x.re 1.251 * [taylor]: Taking taylor expansion of x.re in x.re 1.252 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.re 1.252 * [taylor]: Taking taylor expansion of -1 in x.re 1.252 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.252 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.252 * [taylor]: Taking taylor expansion of x.im in x.re 1.252 * [taylor]: Taking taylor expansion of x.re in x.re 1.253 * [taylor]: Taking taylor expansion of (/ -1 (pow x.im 2)) in x.im 1.253 * [taylor]: Taking taylor expansion of -1 in x.im 1.253 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.253 * [taylor]: Taking taylor expansion of x.im in x.im 1.254 * [taylor]: Taking taylor expansion of 0 in x.im 1.256 * [taylor]: Taking taylor expansion of 0 in x.im 1.259 * [taylor]: Taking taylor expansion of 0 in x.im 1.262 * [taylor]: Taking taylor expansion of 0 in x.im 1.263 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.263 * [approximate]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in (x.re x.im) around 0 1.263 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.im 1.263 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 1.263 * [taylor]: Taking taylor expansion of x.re in x.im 1.263 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 1.263 * [taylor]: Taking taylor expansion of 3 in x.im 1.263 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.263 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.263 * [taylor]: Taking taylor expansion of x.im in x.im 1.263 * [taylor]: Taking taylor expansion of x.re in x.im 1.263 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 1.263 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.263 * [taylor]: Taking taylor expansion of x.re in x.re 1.263 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 1.263 * [taylor]: Taking taylor expansion of 3 in x.re 1.263 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.263 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.263 * [taylor]: Taking taylor expansion of x.im in x.re 1.263 * [taylor]: Taking taylor expansion of x.re in x.re 1.263 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 1.263 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.263 * [taylor]: Taking taylor expansion of x.re in x.re 1.264 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 1.264 * [taylor]: Taking taylor expansion of 3 in x.re 1.264 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.264 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.264 * [taylor]: Taking taylor expansion of x.im in x.re 1.264 * [taylor]: Taking taylor expansion of x.re in x.re 1.264 * [taylor]: Taking taylor expansion of 0 in x.im 1.265 * [taylor]: Taking taylor expansion of (neg (* 3 (pow x.im 2))) in x.im 1.265 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 1.265 * [taylor]: Taking taylor expansion of 3 in x.im 1.265 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.265 * [taylor]: Taking taylor expansion of x.im in x.im 1.266 * [taylor]: Taking taylor expansion of 0 in x.im 1.268 * [taylor]: Taking taylor expansion of 1 in x.im 1.270 * [taylor]: Taking taylor expansion of 0 in x.im 1.271 * [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 1.271 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.im 1.271 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 1.271 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 1.271 * [taylor]: Taking taylor expansion of x.re in x.im 1.272 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 1.272 * [taylor]: Taking taylor expansion of 3 in x.im 1.272 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 1.272 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.272 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.272 * [taylor]: Taking taylor expansion of x.im in x.im 1.272 * [taylor]: Taking taylor expansion of x.re in x.im 1.272 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 1.272 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 1.272 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.272 * [taylor]: Taking taylor expansion of x.re in x.re 1.272 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 1.272 * [taylor]: Taking taylor expansion of 3 in x.re 1.272 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.272 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.272 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.272 * [taylor]: Taking taylor expansion of x.im in x.re 1.272 * [taylor]: Taking taylor expansion of x.re in x.re 1.273 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 1.273 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 1.273 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.273 * [taylor]: Taking taylor expansion of x.re in x.re 1.273 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 1.273 * [taylor]: Taking taylor expansion of 3 in x.re 1.273 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.273 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.273 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.273 * [taylor]: Taking taylor expansion of x.im in x.re 1.273 * [taylor]: Taking taylor expansion of x.re in x.re 1.274 * [taylor]: Taking taylor expansion of 1 in x.im 1.275 * [taylor]: Taking taylor expansion of 0 in x.im 1.276 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 (pow x.im 2)))) in x.im 1.276 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 1.276 * [taylor]: Taking taylor expansion of 3 in x.im 1.276 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.276 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.276 * [taylor]: Taking taylor expansion of x.im in x.im 1.279 * [taylor]: Taking taylor expansion of 0 in x.im 1.283 * [taylor]: Taking taylor expansion of 0 in x.im 1.285 * [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 1.285 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.im 1.285 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 1.286 * [taylor]: Taking taylor expansion of 3 in x.im 1.286 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 1.286 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.286 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.286 * [taylor]: Taking taylor expansion of x.im in x.im 1.286 * [taylor]: Taking taylor expansion of x.re in x.im 1.286 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 1.286 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 1.286 * [taylor]: Taking taylor expansion of x.re in x.im 1.286 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 1.286 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 1.286 * [taylor]: Taking taylor expansion of 3 in x.re 1.286 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.286 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.286 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.286 * [taylor]: Taking taylor expansion of x.im in x.re 1.286 * [taylor]: Taking taylor expansion of x.re in x.re 1.287 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 1.287 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.287 * [taylor]: Taking taylor expansion of x.re in x.re 1.287 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 1.287 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 1.287 * [taylor]: Taking taylor expansion of 3 in x.re 1.287 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.287 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.287 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.287 * [taylor]: Taking taylor expansion of x.im in x.re 1.287 * [taylor]: Taking taylor expansion of x.re in x.re 1.288 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 1.288 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.288 * [taylor]: Taking taylor expansion of x.re in x.re 1.288 * [taylor]: Taking taylor expansion of -1 in x.im 1.289 * [taylor]: Taking taylor expansion of 0 in x.im 1.290 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 1.290 * [taylor]: Taking taylor expansion of 3 in x.im 1.290 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.290 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.290 * [taylor]: Taking taylor expansion of x.im in x.im 1.293 * [taylor]: Taking taylor expansion of 0 in x.im 1.296 * [taylor]: Taking taylor expansion of 0 in x.im 1.298 * * * [progress]: simplifying candidates 1.299 * [simplify]: Simplifying using # : (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3) (+.f64 (+.f64 (+.f64 (log.f64 x.re) (log.f64 x.im)) (log.f64 x.im)) (log.f64 -3)) (+.f64 (+.f64 (log.f64 (*.f64 x.re x.im)) (log.f64 x.im)) (log.f64 -3)) (+.f64 (log.f64 (*.f64 (*.f64 x.re x.im) x.im)) (log.f64 -3)) (exp.f64 (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3)) (log.f64 (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3)) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3)) (*.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3)) (cbrt.f64 (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3))) (cbrt.f64 (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x.re x.im) x.im) (*.f64 (*.f64 x.re x.im) x.im)) (*.f64 (*.f64 x.re x.im) x.im)) (*.f64 (*.f64 -3 -3) -3)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.re x.im)) (*.f64 x.re x.im)) (*.f64 (*.f64 x.im x.im) x.im)) (*.f64 (*.f64 -3 -3) -3)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x.re x.re) x.re) (*.f64 (*.f64 x.im x.im) x.im)) (*.f64 (*.f64 x.im x.im) x.im)) (*.f64 (*.f64 -3 -3) -3)) (sqrt.f64 (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3)) (sqrt.f64 (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3)) (*.f64 x.im -3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) (*.f64 (cbrt.f64 -3) (cbrt.f64 -3))) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) (sqrt.f64 -3)) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) 1) (*.f64 (*.f64 x.re x.im) x.im) (*.f64 (*.f64 x.re x.im) x.im) (+.f64 (+.f64 (log.f64 x.re) (log.f64 x.im)) (log.f64 x.im)) (+.f64 (log.f64 (*.f64 x.re x.im)) (log.f64 x.im)) (exp.f64 (*.f64 (*.f64 x.re x.im) x.im)) (log.f64 (*.f64 (*.f64 x.re x.im) x.im)) (*.f64 (*.f64 (*.f64 (*.f64 x.re x.im) x.im) (*.f64 (*.f64 x.re x.im) x.im)) (*.f64 (*.f64 x.re x.im) x.im)) (*.f64 (cbrt.f64 (*.f64 (*.f64 x.re x.im) x.im)) (cbrt.f64 (*.f64 (*.f64 x.re x.im) x.im))) (cbrt.f64 (*.f64 (*.f64 x.re x.im) x.im)) (*.f64 (*.f64 (*.f64 (*.f64 x.re x.im) (*.f64 x.re x.im)) (*.f64 x.re x.im)) (*.f64 (*.f64 x.im x.im) x.im)) (*.f64 (*.f64 (*.f64 (*.f64 x.re x.re) x.re) (*.f64 (*.f64 x.im x.im) x.im)) (*.f64 (*.f64 x.im x.im) x.im)) (sqrt.f64 (*.f64 (*.f64 x.re x.im) x.im)) (sqrt.f64 (*.f64 (*.f64 x.re x.im) x.im)) (*.f64 x.im x.im) (*.f64 (*.f64 x.re x.im) (*.f64 (cbrt.f64 x.im) (cbrt.f64 x.im))) (*.f64 (*.f64 x.re x.im) (sqrt.f64 x.im)) (*.f64 (*.f64 x.re x.im) 1) (*.f64 (exp.f64 (pow.f64 x.re 3)) (exp.f64 (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3))) (exp.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3))) (log.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3))) (*.f64 (*.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3)) (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3))) (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3))) (*.f64 (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3))) (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3)))) (cbrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3))) (sqrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3))) (sqrt.f64 (+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3))) (+.f64 (pow.f64 (pow.f64 x.re 3) 3) (pow.f64 (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3) 3)) (+.f64 (*.f64 (pow.f64 x.re 3) (pow.f64 x.re 3)) (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3)) (*.f64 (pow.f64 x.re 3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3)))) (-.f64 (*.f64 (pow.f64 x.re 3) (pow.f64 x.re 3)) (*.f64 (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3))) (-.f64 (pow.f64 x.re 3) (*.f64 (*.f64 (*.f64 x.re x.im) x.im) -3)) (*.f64 -3 (*.f64 (pow.f64 x.im 2) x.re)) (*.f64 -3 (*.f64 (pow.f64 x.im 2) x.re)) (*.f64 -3 (*.f64 (pow.f64 x.im 2) x.re)) (*.f64 (pow.f64 x.im 2) x.re) (*.f64 (pow.f64 x.im 2) x.re) (*.f64 (pow.f64 x.im 2) x.re) (-.f64 (pow.f64 x.re 3) (*.f64 3 (*.f64 (pow.f64 x.im 2) x.re))) (-.f64 (pow.f64 x.re 3) (*.f64 3 (*.f64 (pow.f64 x.im 2) x.re))) (-.f64 (pow.f64 x.re 3) (*.f64 3 (*.f64 (pow.f64 x.im 2) x.re))) 1.410 * * [simplify]: iteration 0 : 4950 enodes (cost 892 ) 1.410 * * [simplify]: iteration 1 : 4950 enodes (cost 892 ) 1.415 * [simplify]: Simplified to: (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (log.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (log.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (log.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (pow.f64 (pow.f64 (exp.f64 x.re) (pow.f64 x.im 2)) -3) (log.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (*.f64 (cbrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (cbrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))))) (cbrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (sqrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (sqrt.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2)))) (*.f64 x.im -3) (*.f64 (pow.f64 x.im 2) (*.f64 x.re (*.f64 (cbrt.f64 -3) (cbrt.f64 -3)))) (*.f64 (pow.f64 x.im 2) (*.f64 x.re (sqrt.f64 -3))) (*.f64 x.re (pow.f64 x.im 2)) (*.f64 x.re (pow.f64 x.im 2)) (*.f64 x.re (pow.f64 x.im 2)) (log.f64 (*.f64 x.re (pow.f64 x.im 2))) (log.f64 (*.f64 x.re (pow.f64 x.im 2))) (pow.f64 (exp.f64 x.re) (pow.f64 x.im 2)) (log.f64 (*.f64 x.re (pow.f64 x.im 2))) (*.f64 (pow.f64 x.re 3) (pow.f64 x.im 6)) (*.f64 (cbrt.f64 (*.f64 x.re (pow.f64 x.im 2))) (cbrt.f64 (*.f64 x.re (pow.f64 x.im 2)))) (cbrt.f64 (*.f64 x.re (pow.f64 x.im 2))) (*.f64 (pow.f64 x.re 3) (pow.f64 x.im 6)) (*.f64 (pow.f64 x.re 3) (pow.f64 x.im 6)) (sqrt.f64 (*.f64 x.re (pow.f64 x.im 2))) (sqrt.f64 (*.f64 x.re (pow.f64 x.im 2))) (pow.f64 x.im 2) (*.f64 (*.f64 x.re x.im) (*.f64 (cbrt.f64 x.im) (cbrt.f64 x.im))) (*.f64 x.re (pow.f64 x.im 3/2)) (*.f64 x.re x.im) (pow.f64 (exp.f64 x.re) (+.f64 (pow.f64 x.re 2) (*.f64 -3 (pow.f64 x.im 2)))) (pow.f64 (exp.f64 x.re) (+.f64 (pow.f64 x.re 2) (*.f64 -3 (pow.f64 x.im 2)))) (log.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (pow.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)) 3) (*.f64 (cbrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (cbrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)))) (cbrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (sqrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (sqrt.f64 (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3))) (+.f64 (*.f64 (pow.f64 x.im 6) (pow.f64 (*.f64 x.re -3) 3)) (pow.f64 x.re 9)) (+.f64 (*.f64 (pow.f64 x.im 4) (*.f64 9 (pow.f64 x.re 2))) (*.f64 (pow.f64 x.re 4) (+.f64 (pow.f64 x.re 2) (*.f64 (pow.f64 x.im 2) 3)))) (-.f64 (pow.f64 x.re 6) (*.f64 (pow.f64 x.im 4) (*.f64 9 (pow.f64 x.re 2)))) (+.f64 (pow.f64 x.re 3) (*.f64 (pow.f64 x.im 2) (*.f64 x.re 3))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (*.f64 x.re (pow.f64 x.im 2)) (*.f64 x.re (pow.f64 x.im 2)) (*.f64 x.re (pow.f64 x.im 2)) (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)) (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)) (+.f64 (*.f64 x.re (*.f64 -3 (pow.f64 x.im 2))) (pow.f64 x.re 3)) 1.415 * * * [progress]: adding candidates to table 1.451 * [progress]: [Phase 3 of 3] Extracting. 1.451 * * [regime]: Finding splitpoints for: (# # # # # #) 1.452 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re) 1.452 * * * * [regimes]: Trying to branch on x.im from (# # # # # #) 1.464 * * * * [regimes]: Trying to branch on x.re from (# # # # # #) 1.479 * * * [regime]: Found split indices: #