2.704 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) 0.031 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 0.033 * * [simplify]: iteration 1 : 20 enodes (cost 19 ) 0.036 * * [simplify]: iteration 2 : 51 enodes (cost 17 ) 0.043 * * [simplify]: iteration 3 : 121 enodes (cost 17 ) 0.070 * * [simplify]: iteration 4 : 301 enodes (cost 14 ) 0.147 * * [simplify]: iteration 5 : 646 enodes (cost 11 ) 0.367 * * [simplify]: iteration 6 : 1604 enodes (cost 11 ) 1.285 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 1.285 * [simplify]: Simplified to: (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im))) 1.288 * * [progress]: iteration 1 / 4 1.288 * * * [progress]: picking best candidate 1.291 * * * * [pick]: Picked # 1.291 * * * [progress]: localizing error 1.298 * * * [progress]: generating rewritten candidates 1.298 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 1.315 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 1.321 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.344 * * * [progress]: generating series expansions 1.344 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 1.344 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 1.344 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 1.344 * [taylor]: Taking taylor expansion of 3 in x.im 1.344 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.344 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.344 * [taylor]: Taking taylor expansion of x.im in x.im 1.344 * [taylor]: Taking taylor expansion of x.re in x.im 1.344 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 1.344 * [taylor]: Taking taylor expansion of 3 in x.re 1.344 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.344 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.344 * [taylor]: Taking taylor expansion of x.im in x.re 1.344 * [taylor]: Taking taylor expansion of x.re in x.re 1.344 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 1.344 * [taylor]: Taking taylor expansion of 3 in x.re 1.344 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.344 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.344 * [taylor]: Taking taylor expansion of x.im in x.re 1.344 * [taylor]: Taking taylor expansion of x.re in x.re 1.345 * [taylor]: Taking taylor expansion of 0 in x.im 1.346 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 1.346 * [taylor]: Taking taylor expansion of 3 in x.im 1.346 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.346 * [taylor]: Taking taylor expansion of x.im in x.im 1.348 * [taylor]: Taking taylor expansion of 0 in x.im 1.351 * [taylor]: Taking taylor expansion of 0 in x.im 1.351 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 1.351 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 1.351 * [taylor]: Taking taylor expansion of 3 in x.im 1.351 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.351 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.351 * [taylor]: Taking taylor expansion of x.im in x.im 1.351 * [taylor]: Taking taylor expansion of x.re in x.im 1.352 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 1.352 * [taylor]: Taking taylor expansion of 3 in x.re 1.352 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.352 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.352 * [taylor]: Taking taylor expansion of x.im in x.re 1.352 * [taylor]: Taking taylor expansion of x.re in x.re 1.352 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 1.352 * [taylor]: Taking taylor expansion of 3 in x.re 1.352 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.352 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.352 * [taylor]: Taking taylor expansion of x.im in x.re 1.352 * [taylor]: Taking taylor expansion of x.re in x.re 1.353 * [taylor]: Taking taylor expansion of (/ 3 (pow x.im 2)) in x.im 1.353 * [taylor]: Taking taylor expansion of 3 in x.im 1.353 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.353 * [taylor]: Taking taylor expansion of x.im in x.im 1.354 * [taylor]: Taking taylor expansion of 0 in x.im 1.360 * [taylor]: Taking taylor expansion of 0 in x.im 1.363 * [taylor]: Taking taylor expansion of 0 in x.im 1.366 * [taylor]: Taking taylor expansion of 0 in x.im 1.366 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 1.366 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 1.366 * [taylor]: Taking taylor expansion of -3 in x.im 1.366 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.366 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.367 * [taylor]: Taking taylor expansion of x.im in x.im 1.367 * [taylor]: Taking taylor expansion of x.re in x.im 1.367 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 1.367 * [taylor]: Taking taylor expansion of -3 in x.re 1.367 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.367 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.367 * [taylor]: Taking taylor expansion of x.im in x.re 1.367 * [taylor]: Taking taylor expansion of x.re in x.re 1.367 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 1.368 * [taylor]: Taking taylor expansion of -3 in x.re 1.368 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.368 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.368 * [taylor]: Taking taylor expansion of x.im in x.re 1.368 * [taylor]: Taking taylor expansion of x.re in x.re 1.368 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im 1.368 * [taylor]: Taking taylor expansion of -3 in x.im 1.368 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.368 * [taylor]: Taking taylor expansion of x.im in x.im 1.370 * [taylor]: Taking taylor expansion of 0 in x.im 1.372 * [taylor]: Taking taylor expansion of 0 in x.im 1.375 * [taylor]: Taking taylor expansion of 0 in x.im 1.378 * [taylor]: Taking taylor expansion of 0 in x.im 1.378 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 1.378 * [approximate]: Taking taylor expansion of (* (pow x.im 2) x.re) in (x.re x.im) around 0 1.378 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.378 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.378 * [taylor]: Taking taylor expansion of x.im in x.im 1.378 * [taylor]: Taking taylor expansion of x.re in x.im 1.378 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.379 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.379 * [taylor]: Taking taylor expansion of x.im in x.re 1.379 * [taylor]: Taking taylor expansion of x.re in x.re 1.379 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.379 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.379 * [taylor]: Taking taylor expansion of x.im in x.re 1.379 * [taylor]: Taking taylor expansion of x.re in x.re 1.379 * [taylor]: Taking taylor expansion of 0 in x.im 1.379 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.379 * [taylor]: Taking taylor expansion of x.im in x.im 1.380 * [taylor]: Taking taylor expansion of 0 in x.im 1.382 * [taylor]: Taking taylor expansion of 0 in x.im 1.382 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 1.382 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 1.382 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.382 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.382 * [taylor]: Taking taylor expansion of x.im in x.im 1.382 * [taylor]: Taking taylor expansion of x.re in x.im 1.382 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.382 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.382 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.382 * [taylor]: Taking taylor expansion of x.im in x.re 1.382 * [taylor]: Taking taylor expansion of x.re in x.re 1.383 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.383 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.383 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.383 * [taylor]: Taking taylor expansion of x.im in x.re 1.383 * [taylor]: Taking taylor expansion of x.re in x.re 1.383 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.384 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.384 * [taylor]: Taking taylor expansion of x.im in x.im 1.385 * [taylor]: Taking taylor expansion of 0 in x.im 1.387 * [taylor]: Taking taylor expansion of 0 in x.im 1.390 * [taylor]: Taking taylor expansion of 0 in x.im 1.393 * [taylor]: Taking taylor expansion of 0 in x.im 1.393 * [approximate]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 1.393 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.im 1.393 * [taylor]: Taking taylor expansion of -1 in x.im 1.393 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.393 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.393 * [taylor]: Taking taylor expansion of x.im in x.im 1.393 * [taylor]: Taking taylor expansion of x.re in x.im 1.393 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.re 1.393 * [taylor]: Taking taylor expansion of -1 in x.re 1.393 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.393 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.393 * [taylor]: Taking taylor expansion of x.im in x.re 1.393 * [taylor]: Taking taylor expansion of x.re in x.re 1.394 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.re 1.394 * [taylor]: Taking taylor expansion of -1 in x.re 1.394 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.394 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.394 * [taylor]: Taking taylor expansion of x.im in x.re 1.394 * [taylor]: Taking taylor expansion of x.re in x.re 1.395 * [taylor]: Taking taylor expansion of (/ -1 (pow x.im 2)) in x.im 1.395 * [taylor]: Taking taylor expansion of -1 in x.im 1.395 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.395 * [taylor]: Taking taylor expansion of x.im in x.im 1.396 * [taylor]: Taking taylor expansion of 0 in x.im 1.398 * [taylor]: Taking taylor expansion of 0 in x.im 1.401 * [taylor]: Taking taylor expansion of 0 in x.im 1.404 * [taylor]: Taking taylor expansion of 0 in x.im 1.405 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.405 * [approximate]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in (x.re x.im) around 0 1.405 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.im 1.405 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 1.405 * [taylor]: Taking taylor expansion of x.re in x.im 1.405 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 1.405 * [taylor]: Taking taylor expansion of 3 in x.im 1.405 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.405 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.405 * [taylor]: Taking taylor expansion of x.im in x.im 1.405 * [taylor]: Taking taylor expansion of x.re in x.im 1.405 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 1.405 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.405 * [taylor]: Taking taylor expansion of x.re in x.re 1.405 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 1.405 * [taylor]: Taking taylor expansion of 3 in x.re 1.405 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.405 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.405 * [taylor]: Taking taylor expansion of x.im in x.re 1.405 * [taylor]: Taking taylor expansion of x.re in x.re 1.405 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 1.405 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.405 * [taylor]: Taking taylor expansion of x.re in x.re 1.405 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 1.405 * [taylor]: Taking taylor expansion of 3 in x.re 1.405 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.405 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.405 * [taylor]: Taking taylor expansion of x.im in x.re 1.405 * [taylor]: Taking taylor expansion of x.re in x.re 1.406 * [taylor]: Taking taylor expansion of 0 in x.im 1.407 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.im 2))) in x.im 1.407 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 1.407 * [taylor]: Taking taylor expansion of 3 in x.im 1.407 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.407 * [taylor]: Taking taylor expansion of x.im in x.im 1.409 * [taylor]: Taking taylor expansion of 0 in x.im 1.412 * [taylor]: Taking taylor expansion of 1 in x.im 1.416 * [taylor]: Taking taylor expansion of 0 in x.im 1.417 * [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.418 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.im 1.418 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 1.418 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 1.418 * [taylor]: Taking taylor expansion of x.re in x.im 1.418 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 1.418 * [taylor]: Taking taylor expansion of 3 in x.im 1.418 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 1.418 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.418 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.418 * [taylor]: Taking taylor expansion of x.im in x.im 1.418 * [taylor]: Taking taylor expansion of x.re in x.im 1.418 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 1.418 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 1.418 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.418 * [taylor]: Taking taylor expansion of x.re in x.re 1.419 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 1.419 * [taylor]: Taking taylor expansion of 3 in x.re 1.419 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.419 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.419 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.419 * [taylor]: Taking taylor expansion of x.im in x.re 1.419 * [taylor]: Taking taylor expansion of x.re in x.re 1.420 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 1.420 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 1.420 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.420 * [taylor]: Taking taylor expansion of x.re in x.re 1.421 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 1.421 * [taylor]: Taking taylor expansion of 3 in x.re 1.421 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.421 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.421 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.421 * [taylor]: Taking taylor expansion of x.im in x.re 1.421 * [taylor]: Taking taylor expansion of x.re in x.re 1.422 * [taylor]: Taking taylor expansion of 1 in x.im 1.423 * [taylor]: Taking taylor expansion of 0 in x.im 1.425 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.im 2)))) in x.im 1.425 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 1.425 * [taylor]: Taking taylor expansion of 3 in x.im 1.425 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.425 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.425 * [taylor]: Taking taylor expansion of x.im in x.im 1.429 * [taylor]: Taking taylor expansion of 0 in x.im 1.435 * [taylor]: Taking taylor expansion of 0 in x.im 1.437 * [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.437 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.im 1.437 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 1.437 * [taylor]: Taking taylor expansion of 3 in x.im 1.437 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 1.437 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 1.437 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.437 * [taylor]: Taking taylor expansion of x.im in x.im 1.437 * [taylor]: Taking taylor expansion of x.re in x.im 1.437 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 1.437 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 1.437 * [taylor]: Taking taylor expansion of x.re in x.im 1.438 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 1.438 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 1.438 * [taylor]: Taking taylor expansion of 3 in x.re 1.438 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.438 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.438 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.438 * [taylor]: Taking taylor expansion of x.im in x.re 1.438 * [taylor]: Taking taylor expansion of x.re in x.re 1.438 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 1.438 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.438 * [taylor]: Taking taylor expansion of x.re in x.re 1.439 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 1.439 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 1.439 * [taylor]: Taking taylor expansion of 3 in x.re 1.439 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 1.439 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 1.439 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.439 * [taylor]: Taking taylor expansion of x.im in x.re 1.439 * [taylor]: Taking taylor expansion of x.re in x.re 1.440 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 1.440 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 1.440 * [taylor]: Taking taylor expansion of x.re in x.re 1.441 * [taylor]: Taking taylor expansion of -1 in x.im 1.443 * [taylor]: Taking taylor expansion of 0 in x.im 1.445 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 1.445 * [taylor]: Taking taylor expansion of 3 in x.im 1.445 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.445 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.445 * [taylor]: Taking taylor expansion of x.im in x.im 1.452 * [taylor]: Taking taylor expansion of 0 in x.im 1.457 * [taylor]: Taking taylor expansion of 0 in x.im 1.459 * * * [progress]: simplifying candidates 1.460 * [simplify]: Simplifying using # : (* 3 (* (* x.re x.im) x.im)) (* 3 (* (* x.re x.im) x.im)) (* 3 (* (* x.re x.im) x.im)) (+ (log 3) (+ (+ (log x.re) (log x.im)) (log x.im))) (+ (log 3) (+ (log (* x.re x.im)) (log x.im))) (+ (log 3) (log (* (* x.re x.im) x.im))) (log (* 3 (* (* x.re x.im) x.im))) (exp (* 3 (* (* x.re x.im) x.im))) (* (* (* 3 3) 3) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im))) (* (* (* 3 3) 3) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.im x.im) x.im))) (* (* (* 3 3) 3) (* (* (* (* x.re x.im) x.im) (* (* x.re x.im) x.im)) (* (* x.re x.im) x.im))) (* (cbrt (* 3 (* (* x.re x.im) x.im))) (cbrt (* 3 (* (* x.re x.im) x.im)))) (cbrt (* 3 (* (* x.re x.im) x.im))) (* (* (* 3 (* (* x.re x.im) x.im)) (* 3 (* (* x.re x.im) x.im))) (* 3 (* (* x.re x.im) x.im))) (sqrt (* 3 (* (* x.re x.im) x.im))) (sqrt (* 3 (* (* x.re x.im) x.im))) (* 3 (* x.re x.im)) (* (cbrt 3) (* (* x.re x.im) x.im)) (* (sqrt 3) (* (* x.re x.im) x.im)) (* 3 (* (* x.re x.im) x.im)) (* (* x.re x.im) x.im) (* (* x.re x.im) x.im) (+ (+ (log x.re) (log x.im)) (log x.im)) (+ (log (* x.re x.im)) (log x.im)) (log (* (* x.re x.im) x.im)) (exp (* (* x.re x.im) x.im)) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im)) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.im x.im) x.im)) (* (cbrt (* (* x.re x.im) x.im)) (cbrt (* (* x.re x.im) x.im))) (cbrt (* (* x.re x.im) x.im)) (* (* (* (* x.re x.im) x.im) (* (* x.re x.im) x.im)) (* (* x.re x.im) x.im)) (sqrt (* (* x.re x.im) x.im)) (sqrt (* (* x.re x.im) x.im)) (* (* x.re x.im) (* (cbrt x.im) (cbrt x.im))) (* (* x.re x.im) (sqrt x.im)) (* (* x.re x.im) 1) (* x.im x.im) (/ (exp (pow x.re 3)) (exp (* 3 (* (* x.re x.im) x.im)))) (log (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im)))) (exp (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im)))) (* (cbrt (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im)))) (cbrt (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im))))) (cbrt (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im)))) (* (* (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im))) (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im)))) (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im)))) (sqrt (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im)))) (sqrt (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im)))) (- (pow (pow x.re 3) 3) (pow (* 3 (* (* x.re x.im) x.im)) 3)) (+ (* (pow x.re 3) (pow x.re 3)) (+ (* (* 3 (* (* x.re x.im) x.im)) (* 3 (* (* x.re x.im) x.im))) (* (pow x.re 3) (* 3 (* (* x.re x.im) x.im))))) (- (* 3 (* (* x.re x.im) x.im))) (- (* (pow x.re 3) (pow x.re 3)) (* (* 3 (* (* x.re x.im) x.im)) (* 3 (* (* x.re x.im) x.im)))) (+ (pow x.re 3) (* 3 (* (* x.re x.im) x.im))) (- (* 3 (* (* x.re x.im) x.im))) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* (pow x.im 2) x.re) (* (pow x.im 2) x.re) (* (pow x.im 2) x.re) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 1.462 * * [simplify]: iteration 0 : 82 enodes (cost 672 ) 1.480 * * [simplify]: iteration 1 : 229 enodes (cost 610 ) 1.592 * * [simplify]: iteration 2 : 971 enodes (cost 530 ) 2.320 * * [simplify]: iteration done : 5000 enodes (cost 528 ) 2.321 * [simplify]: Simplified to: (* 3 (* (* x.re x.im) x.im)) (* 3 (* (* x.re x.im) x.im)) (* 3 (* (* x.re x.im) x.im)) (log (* 3 (* (* x.re x.im) x.im))) (log (* 3 (* (* x.re x.im) x.im))) (log (* 3 (* (* x.re x.im) x.im))) (log (* 3 (* (* x.re x.im) x.im))) (exp (* 3 (* (* x.re x.im) x.im))) (pow (* 3 (* (pow x.im 2) x.re)) 3) (pow (* 3 (* (pow x.im 2) x.re)) 3) (pow (* 3 (* (pow x.im 2) x.re)) 3) (* (cbrt (* 3 (* (* x.re x.im) x.im))) (cbrt (* 3 (* (* x.re x.im) x.im)))) (cbrt (* 3 (* (* x.re x.im) x.im))) (pow (* 3 (* (pow x.im 2) x.re)) 3) (sqrt (* 3 (* (* x.re x.im) x.im))) (sqrt (* 3 (* (* x.re x.im) x.im))) (* 3 (* x.re x.im)) (* (cbrt 3) (* (* x.re x.im) x.im)) (* (sqrt 3) (* (* x.re x.im) x.im)) (* 3 (* (* x.re x.im) x.im)) (* (* x.re x.im) x.im) (* (* x.re x.im) x.im) (log (* (* x.re x.im) x.im)) (log (* (* x.re x.im) x.im)) (log (* (* x.re x.im) x.im)) (exp (* (* x.re x.im) x.im)) (pow (* (* x.re x.im) x.im) 3) (pow (* (* x.re x.im) x.im) 3) (* (cbrt (* (* x.re x.im) x.im)) (cbrt (* (* x.re x.im) x.im))) (cbrt (* (* x.re x.im) x.im)) (pow (* (* x.re x.im) x.im) 3) (sqrt (* (* x.re x.im) x.im)) (sqrt (* (* x.re x.im) x.im)) (* (* x.re x.im) (* (cbrt x.im) (cbrt x.im))) (* (* x.re x.im) (sqrt x.im)) (* x.re x.im) (* x.im x.im) (exp (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re)))) (log (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im)))) (exp (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re)))) (* (cbrt (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im)))) (cbrt (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im))))) (cbrt (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im)))) (pow (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 3) (sqrt (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im)))) (sqrt (- (pow x.re 3) (* 3 (* (* x.re x.im) x.im)))) (* (pow x.re 3) (- (pow x.re 6) (* 27 (pow x.im 6)))) (+ (pow x.re 6) (* (* 3 (* (pow x.im 2) x.re)) (+ (pow x.re 3) (* 3 (* (* x.re x.im) x.im))))) (* -3 (* (* x.re x.im) x.im)) (- (pow x.re 6) (* 9 (* (* x.re x.im) (* x.re (pow x.im 3))))) (+ (pow x.re 3) (* 3 (* (* x.re x.im) x.im))) (* -3 (* (* x.re x.im) x.im)) (* 3 (* (* x.re x.im) x.im)) (* 3 (* (* x.re x.im) x.im)) (* 3 (* (* x.re x.im) x.im)) (* (* x.re x.im) x.im) (* (* x.re x.im) x.im) (* (* x.re x.im) x.im) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 2.321 * * * [progress]: adding candidates to table 2.411 * * [progress]: iteration 2 / 4 2.411 * * * [progress]: picking best candidate 2.426 * * * * [pick]: Picked # 2.426 * * * [progress]: localizing error 2.433 * * * [progress]: generating rewritten candidates 2.433 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 2.439 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 2.456 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 2.479 * * * [progress]: generating series expansions 2.479 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 2.479 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.re x.im) around 0 2.479 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 2.479 * [taylor]: Taking taylor expansion of 3 in x.im 2.479 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.479 * [taylor]: Taking taylor expansion of x.im in x.im 2.479 * [taylor]: Taking taylor expansion of x.re in x.im 2.480 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 2.480 * [taylor]: Taking taylor expansion of 3 in x.re 2.480 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.480 * [taylor]: Taking taylor expansion of x.im in x.re 2.480 * [taylor]: Taking taylor expansion of x.re in x.re 2.480 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 2.480 * [taylor]: Taking taylor expansion of 3 in x.re 2.480 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.480 * [taylor]: Taking taylor expansion of x.im in x.re 2.480 * [taylor]: Taking taylor expansion of x.re in x.re 2.480 * [taylor]: Taking taylor expansion of 0 in x.im 2.481 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 2.481 * [taylor]: Taking taylor expansion of 3 in x.im 2.481 * [taylor]: Taking taylor expansion of x.im in x.im 2.482 * [taylor]: Taking taylor expansion of 0 in x.im 2.484 * [taylor]: Taking taylor expansion of 0 in x.im 2.486 * [taylor]: Taking taylor expansion of 0 in x.im 2.486 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 2.486 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 2.486 * [taylor]: Taking taylor expansion of 3 in x.im 2.486 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.486 * [taylor]: Taking taylor expansion of x.im in x.im 2.486 * [taylor]: Taking taylor expansion of x.re in x.im 2.486 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 2.486 * [taylor]: Taking taylor expansion of 3 in x.re 2.486 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.486 * [taylor]: Taking taylor expansion of x.im in x.re 2.486 * [taylor]: Taking taylor expansion of x.re in x.re 2.486 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 2.487 * [taylor]: Taking taylor expansion of 3 in x.re 2.487 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.487 * [taylor]: Taking taylor expansion of x.im in x.re 2.487 * [taylor]: Taking taylor expansion of x.re in x.re 2.487 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 2.487 * [taylor]: Taking taylor expansion of 3 in x.im 2.487 * [taylor]: Taking taylor expansion of x.im in x.im 2.488 * [taylor]: Taking taylor expansion of 0 in x.im 2.489 * [taylor]: Taking taylor expansion of 0 in x.im 2.490 * [taylor]: Taking taylor expansion of 0 in x.im 2.491 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 2.491 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 2.491 * [taylor]: Taking taylor expansion of 3 in x.im 2.491 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 2.491 * [taylor]: Taking taylor expansion of x.im in x.im 2.491 * [taylor]: Taking taylor expansion of x.re in x.im 2.491 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 2.491 * [taylor]: Taking taylor expansion of 3 in x.re 2.491 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.491 * [taylor]: Taking taylor expansion of x.im in x.re 2.491 * [taylor]: Taking taylor expansion of x.re in x.re 2.491 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 2.491 * [taylor]: Taking taylor expansion of 3 in x.re 2.492 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 2.492 * [taylor]: Taking taylor expansion of x.im in x.re 2.492 * [taylor]: Taking taylor expansion of x.re in x.re 2.492 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 2.492 * [taylor]: Taking taylor expansion of 3 in x.im 2.492 * [taylor]: Taking taylor expansion of x.im in x.im 2.493 * [taylor]: Taking taylor expansion of 0 in x.im 2.494 * [taylor]: Taking taylor expansion of 0 in x.im 2.495 * [taylor]: Taking taylor expansion of 0 in x.im 2.496 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 2.496 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 2.496 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 2.496 * [taylor]: Taking taylor expansion of 3 in x.im 2.496 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 2.496 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.496 * [taylor]: Taking taylor expansion of x.im in x.im 2.496 * [taylor]: Taking taylor expansion of x.re in x.im 2.496 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 2.496 * [taylor]: Taking taylor expansion of 3 in x.re 2.496 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 2.496 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.496 * [taylor]: Taking taylor expansion of x.im in x.re 2.496 * [taylor]: Taking taylor expansion of x.re in x.re 2.496 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 2.496 * [taylor]: Taking taylor expansion of 3 in x.re 2.496 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 2.496 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.496 * [taylor]: Taking taylor expansion of x.im in x.re 2.496 * [taylor]: Taking taylor expansion of x.re in x.re 2.496 * [taylor]: Taking taylor expansion of 0 in x.im 2.497 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 2.497 * [taylor]: Taking taylor expansion of 3 in x.im 2.497 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.497 * [taylor]: Taking taylor expansion of x.im in x.im 2.499 * [taylor]: Taking taylor expansion of 0 in x.im 2.501 * [taylor]: Taking taylor expansion of 0 in x.im 2.502 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 2.502 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 2.502 * [taylor]: Taking taylor expansion of 3 in x.im 2.502 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 2.502 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.502 * [taylor]: Taking taylor expansion of x.im in x.im 2.502 * [taylor]: Taking taylor expansion of x.re in x.im 2.502 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 2.502 * [taylor]: Taking taylor expansion of 3 in x.re 2.502 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 2.502 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.502 * [taylor]: Taking taylor expansion of x.im in x.re 2.502 * [taylor]: Taking taylor expansion of x.re in x.re 2.503 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 2.503 * [taylor]: Taking taylor expansion of 3 in x.re 2.503 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 2.503 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.503 * [taylor]: Taking taylor expansion of x.im in x.re 2.503 * [taylor]: Taking taylor expansion of x.re in x.re 2.503 * [taylor]: Taking taylor expansion of (/ 3 (pow x.im 2)) in x.im 2.503 * [taylor]: Taking taylor expansion of 3 in x.im 2.503 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.503 * [taylor]: Taking taylor expansion of x.im in x.im 2.505 * [taylor]: Taking taylor expansion of 0 in x.im 2.507 * [taylor]: Taking taylor expansion of 0 in x.im 2.513 * [taylor]: Taking taylor expansion of 0 in x.im 2.516 * [taylor]: Taking taylor expansion of 0 in x.im 2.516 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 2.516 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 2.516 * [taylor]: Taking taylor expansion of -3 in x.im 2.516 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 2.516 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.516 * [taylor]: Taking taylor expansion of x.im in x.im 2.516 * [taylor]: Taking taylor expansion of x.re in x.im 2.517 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 2.517 * [taylor]: Taking taylor expansion of -3 in x.re 2.517 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 2.517 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.517 * [taylor]: Taking taylor expansion of x.im in x.re 2.517 * [taylor]: Taking taylor expansion of x.re in x.re 2.517 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 2.517 * [taylor]: Taking taylor expansion of -3 in x.re 2.517 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 2.517 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.517 * [taylor]: Taking taylor expansion of x.im in x.re 2.517 * [taylor]: Taking taylor expansion of x.re in x.re 2.518 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im 2.518 * [taylor]: Taking taylor expansion of -3 in x.im 2.518 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.518 * [taylor]: Taking taylor expansion of x.im in x.im 2.520 * [taylor]: Taking taylor expansion of 0 in x.im 2.522 * [taylor]: Taking taylor expansion of 0 in x.im 2.524 * [taylor]: Taking taylor expansion of 0 in x.im 2.527 * [taylor]: Taking taylor expansion of 0 in x.im 2.528 * * * * [progress]: [ 3 / 3 ] generating series at (2) 2.528 * [approximate]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in (x.re x.im) around 0 2.528 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.im 2.528 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 2.528 * [taylor]: Taking taylor expansion of x.re in x.im 2.528 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 2.528 * [taylor]: Taking taylor expansion of 3 in x.im 2.528 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 2.528 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.528 * [taylor]: Taking taylor expansion of x.im in x.im 2.528 * [taylor]: Taking taylor expansion of x.re in x.im 2.528 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 2.528 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 2.528 * [taylor]: Taking taylor expansion of x.re in x.re 2.528 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 2.528 * [taylor]: Taking taylor expansion of 3 in x.re 2.528 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 2.528 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.528 * [taylor]: Taking taylor expansion of x.im in x.re 2.528 * [taylor]: Taking taylor expansion of x.re in x.re 2.528 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 2.528 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 2.528 * [taylor]: Taking taylor expansion of x.re in x.re 2.528 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 2.528 * [taylor]: Taking taylor expansion of 3 in x.re 2.528 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 2.528 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.528 * [taylor]: Taking taylor expansion of x.im in x.re 2.528 * [taylor]: Taking taylor expansion of x.re in x.re 2.529 * [taylor]: Taking taylor expansion of 0 in x.im 2.530 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.im 2))) in x.im 2.530 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 2.530 * [taylor]: Taking taylor expansion of 3 in x.im 2.530 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.530 * [taylor]: Taking taylor expansion of x.im in x.im 2.532 * [taylor]: Taking taylor expansion of 0 in x.im 2.534 * [taylor]: Taking taylor expansion of 1 in x.im 2.539 * [taylor]: Taking taylor expansion of 0 in x.im 2.540 * [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 2.540 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.im 2.540 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 2.540 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 2.540 * [taylor]: Taking taylor expansion of x.re in x.im 2.541 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 2.541 * [taylor]: Taking taylor expansion of 3 in x.im 2.541 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 2.541 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 2.541 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.541 * [taylor]: Taking taylor expansion of x.im in x.im 2.541 * [taylor]: Taking taylor expansion of x.re in x.im 2.541 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 2.541 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 2.541 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 2.541 * [taylor]: Taking taylor expansion of x.re in x.re 2.542 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 2.542 * [taylor]: Taking taylor expansion of 3 in x.re 2.542 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 2.542 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 2.542 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.542 * [taylor]: Taking taylor expansion of x.im in x.re 2.542 * [taylor]: Taking taylor expansion of x.re in x.re 2.543 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 2.543 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 2.543 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 2.543 * [taylor]: Taking taylor expansion of x.re in x.re 2.543 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 2.543 * [taylor]: Taking taylor expansion of 3 in x.re 2.543 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 2.543 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 2.543 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.543 * [taylor]: Taking taylor expansion of x.im in x.re 2.543 * [taylor]: Taking taylor expansion of x.re in x.re 2.544 * [taylor]: Taking taylor expansion of 1 in x.im 2.546 * [taylor]: Taking taylor expansion of 0 in x.im 2.547 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.im 2)))) in x.im 2.547 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 2.547 * [taylor]: Taking taylor expansion of 3 in x.im 2.547 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.547 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.547 * [taylor]: Taking taylor expansion of x.im in x.im 2.552 * [taylor]: Taking taylor expansion of 0 in x.im 2.557 * [taylor]: Taking taylor expansion of 0 in x.im 2.560 * [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 2.560 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.im 2.560 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 2.560 * [taylor]: Taking taylor expansion of 3 in x.im 2.560 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 2.560 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 2.560 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.560 * [taylor]: Taking taylor expansion of x.im in x.im 2.560 * [taylor]: Taking taylor expansion of x.re in x.im 2.560 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 2.560 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 2.560 * [taylor]: Taking taylor expansion of x.re in x.im 2.560 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 2.560 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 2.560 * [taylor]: Taking taylor expansion of 3 in x.re 2.560 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 2.560 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 2.560 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.560 * [taylor]: Taking taylor expansion of x.im in x.re 2.560 * [taylor]: Taking taylor expansion of x.re in x.re 2.561 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 2.561 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 2.561 * [taylor]: Taking taylor expansion of x.re in x.re 2.562 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 2.562 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 2.562 * [taylor]: Taking taylor expansion of 3 in x.re 2.562 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 2.562 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 2.562 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.562 * [taylor]: Taking taylor expansion of x.im in x.re 2.562 * [taylor]: Taking taylor expansion of x.re in x.re 2.562 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 2.562 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 2.562 * [taylor]: Taking taylor expansion of x.re in x.re 2.564 * [taylor]: Taking taylor expansion of -1 in x.im 2.565 * [taylor]: Taking taylor expansion of 0 in x.im 2.568 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 2.568 * [taylor]: Taking taylor expansion of 3 in x.im 2.568 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.568 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.568 * [taylor]: Taking taylor expansion of x.im in x.im 2.572 * [taylor]: Taking taylor expansion of 0 in x.im 2.577 * [taylor]: Taking taylor expansion of 0 in x.im 2.579 * * * [progress]: simplifying candidates 2.579 * [simplify]: Simplifying using # : (* 3 (* x.re x.im)) (* 3 (* x.re x.im)) (+ (log 3) (+ (log x.re) (log x.im))) (+ (log 3) (log (* x.re x.im))) (log (* 3 (* x.re x.im))) (exp (* 3 (* x.re x.im))) (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* (* 3 3) 3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (cbrt (* 3 (* x.re x.im))) (cbrt (* 3 (* x.re x.im)))) (cbrt (* 3 (* x.re x.im))) (* (* (* 3 (* x.re x.im)) (* 3 (* x.re x.im))) (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (* 3 x.re) (* (cbrt 3) (* x.re x.im)) (* (sqrt 3) (* x.re x.im)) (* 3 (* x.re x.im)) (* (* 3 (* x.re x.im)) x.im) (* (* 3 (* x.re x.im)) x.im) (* (* 3 (* x.re x.im)) x.im) (+ (+ (log 3) (+ (log x.re) (log x.im))) (log x.im)) (+ (+ (log 3) (log (* x.re x.im))) (log x.im)) (+ (log (* 3 (* x.re x.im))) (log x.im)) (log (* (* 3 (* x.re x.im)) x.im)) (exp (* (* 3 (* x.re x.im)) x.im)) (* (* (* (* 3 3) 3) (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im))) (* (* x.im x.im) x.im)) (* (* (* (* 3 3) 3) (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im))) (* (* x.im x.im) x.im)) (* (* (* (* 3 (* x.re x.im)) (* 3 (* x.re x.im))) (* 3 (* x.re x.im))) (* (* x.im x.im) x.im)) (* (cbrt (* (* 3 (* x.re x.im)) x.im)) (cbrt (* (* 3 (* x.re x.im)) x.im))) (cbrt (* (* 3 (* x.re x.im)) x.im)) (* (* (* (* 3 (* x.re x.im)) x.im) (* (* 3 (* x.re x.im)) x.im)) (* (* 3 (* x.re x.im)) x.im)) (sqrt (* (* 3 (* x.re x.im)) x.im)) (sqrt (* (* 3 (* x.re x.im)) x.im)) (* (* 3 (* x.re x.im)) (* (cbrt x.im) (cbrt x.im))) (* (* 3 (* x.re x.im)) (sqrt x.im)) (* (* 3 (* x.re x.im)) 1) (* (* x.re x.im) x.im) (/ (exp (pow x.re 3)) (exp (* (* 3 (* x.re x.im)) x.im))) (log (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (exp (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (* (cbrt (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (cbrt (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im)))) (cbrt (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (* (* (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im)) (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (sqrt (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (sqrt (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (- (pow (pow x.re 3) 3) (pow (* (* 3 (* x.re x.im)) x.im) 3)) (+ (* (pow x.re 3) (pow x.re 3)) (+ (* (* (* 3 (* x.re x.im)) x.im) (* (* 3 (* x.re x.im)) x.im)) (* (pow x.re 3) (* (* 3 (* x.re x.im)) x.im)))) (- (* (* 3 (* x.re x.im)) x.im)) (- (* (pow x.re 3) (pow x.re 3)) (* (* (* 3 (* x.re x.im)) x.im) (* (* 3 (* x.re x.im)) x.im))) (+ (pow x.re 3) (* (* 3 (* x.re x.im)) x.im)) (- (* (* 3 (* x.re x.im)) x.im)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 2.582 * * [simplify]: iteration 0 : 85 enodes (cost 672 ) 2.602 * * [simplify]: iteration 1 : 232 enodes (cost 604 ) 2.707 * * [simplify]: iteration 2 : 1056 enodes (cost 530 ) 3.333 * * [simplify]: iteration done : 5000 enodes (cost 530 ) 3.333 * [simplify]: Simplified to: (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (log (* 3 (* x.re x.im))) (log (* 3 (* x.re x.im))) (log (* 3 (* x.re x.im))) (exp (* 3 (* x.re x.im))) (* (pow (* x.im x.re) 3) 27) (* (pow (* x.im x.re) 3) 27) (* (cbrt (* 3 (* x.re x.im))) (cbrt (* 3 (* x.re x.im)))) (cbrt (* 3 (* x.re x.im))) (* (pow (* x.im x.re) 3) 27) (sqrt (* 3 (* x.re x.im))) (sqrt (* 3 (* x.re x.im))) (* 3 x.re) (* (cbrt 3) (* x.re x.im)) (* (sqrt 3) (* x.re x.im)) (* (* 3 x.re) x.im) (* (* 3 (* x.re x.im)) x.im) (* (* 3 (* x.re x.im)) x.im) (* (* 3 (* x.re x.im)) x.im) (log (* 3 (* (pow x.im 2) x.re))) (log (* 3 (* (pow x.im 2) x.re))) (log (* 3 (* (pow x.im 2) x.re))) (log (* 3 (* (pow x.im 2) x.re))) (exp (* (* 3 (* x.re x.im)) x.im)) (pow (* (* 3 (* x.re x.im)) x.im) 3) (pow (* (* 3 (* x.re x.im)) x.im) 3) (pow (* (* 3 (* x.re x.im)) x.im) 3) (* (cbrt (* (* 3 (* x.re x.im)) x.im)) (cbrt (* (* 3 (* x.re x.im)) x.im))) (cbrt (* (* 3 (* x.re x.im)) x.im)) (pow (* (* 3 (* x.re x.im)) x.im) 3) (sqrt (* (* 3 (* x.re x.im)) x.im)) (sqrt (* (* 3 (* x.re x.im)) x.im)) (* (* 3 (* x.re x.im)) (* (cbrt x.im) (cbrt x.im))) (* (* 3 (* x.re x.im)) (sqrt x.im)) (* (* 3 x.re) x.im) (* (* x.re x.im) x.im) (exp (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (log (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (exp (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (* (cbrt (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (cbrt (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im)))) (cbrt (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (pow (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 3) (sqrt (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (sqrt (- (pow x.re 3) (* (* 3 (* x.re x.im)) x.im))) (- (pow (pow x.re 3) 3) (pow (* (* 3 (* x.re x.im)) x.im) 3)) (+ (pow x.re 6) (* (* 3 (* (pow x.im 2) x.re)) (+ (pow x.re 3) (* (* 3 (* x.re x.im)) x.im)))) (* -3 (* (* x.re x.im) x.im)) (- (pow x.re 6) (* (* (* x.im x.re) 9) (* (pow x.im 3) x.re))) (+ (pow x.re 3) (* (* 3 (* x.re x.im)) x.im)) (* -3 (* (* x.re x.im) x.im)) (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (* (* 3 (* x.re x.im)) x.im) (* (* 3 (* x.re x.im)) x.im) (* (* 3 (* x.re x.im)) x.im) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 3.333 * * * [progress]: adding candidates to table 3.427 * * [progress]: iteration 3 / 4 3.427 * * * [progress]: picking best candidate 3.441 * * * * [pick]: Picked # 3.441 * * * [progress]: localizing error 3.451 * * * [progress]: generating rewritten candidates 3.451 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 3.458 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 3.479 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 3.505 * * * [progress]: generating series expansions 3.505 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 3.505 * [approximate]: Taking taylor expansion of (* 3 (* x.im x.re)) in (x.re x.im) around 0 3.505 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.im 3.505 * [taylor]: Taking taylor expansion of 3 in x.im 3.505 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 3.505 * [taylor]: Taking taylor expansion of x.im in x.im 3.505 * [taylor]: Taking taylor expansion of x.re in x.im 3.505 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 3.505 * [taylor]: Taking taylor expansion of 3 in x.re 3.505 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.505 * [taylor]: Taking taylor expansion of x.im in x.re 3.505 * [taylor]: Taking taylor expansion of x.re in x.re 3.505 * [taylor]: Taking taylor expansion of (* 3 (* x.im x.re)) in x.re 3.505 * [taylor]: Taking taylor expansion of 3 in x.re 3.505 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.505 * [taylor]: Taking taylor expansion of x.im in x.re 3.505 * [taylor]: Taking taylor expansion of x.re in x.re 3.506 * [taylor]: Taking taylor expansion of 0 in x.im 3.507 * [taylor]: Taking taylor expansion of (* 3 x.im) in x.im 3.507 * [taylor]: Taking taylor expansion of 3 in x.im 3.507 * [taylor]: Taking taylor expansion of x.im in x.im 3.508 * [taylor]: Taking taylor expansion of 0 in x.im 3.509 * [taylor]: Taking taylor expansion of 0 in x.im 3.511 * [taylor]: Taking taylor expansion of 0 in x.im 3.512 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 3.512 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 3.512 * [taylor]: Taking taylor expansion of 3 in x.im 3.512 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 3.512 * [taylor]: Taking taylor expansion of x.im in x.im 3.512 * [taylor]: Taking taylor expansion of x.re in x.im 3.512 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 3.512 * [taylor]: Taking taylor expansion of 3 in x.re 3.512 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.512 * [taylor]: Taking taylor expansion of x.im in x.re 3.512 * [taylor]: Taking taylor expansion of x.re in x.re 3.512 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 3.512 * [taylor]: Taking taylor expansion of 3 in x.re 3.512 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.512 * [taylor]: Taking taylor expansion of x.im in x.re 3.513 * [taylor]: Taking taylor expansion of x.re in x.re 3.513 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 3.513 * [taylor]: Taking taylor expansion of 3 in x.im 3.513 * [taylor]: Taking taylor expansion of x.im in x.im 3.514 * [taylor]: Taking taylor expansion of 0 in x.im 3.515 * [taylor]: Taking taylor expansion of 0 in x.im 3.516 * [taylor]: Taking taylor expansion of 0 in x.im 3.517 * [approximate]: Taking taylor expansion of (/ 3 (* x.im x.re)) in (x.re x.im) around 0 3.517 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.im 3.517 * [taylor]: Taking taylor expansion of 3 in x.im 3.517 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.im 3.517 * [taylor]: Taking taylor expansion of x.im in x.im 3.517 * [taylor]: Taking taylor expansion of x.re in x.im 3.517 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 3.517 * [taylor]: Taking taylor expansion of 3 in x.re 3.517 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.517 * [taylor]: Taking taylor expansion of x.im in x.re 3.517 * [taylor]: Taking taylor expansion of x.re in x.re 3.517 * [taylor]: Taking taylor expansion of (/ 3 (* x.im x.re)) in x.re 3.517 * [taylor]: Taking taylor expansion of 3 in x.re 3.518 * [taylor]: Taking taylor expansion of (* x.im x.re) in x.re 3.518 * [taylor]: Taking taylor expansion of x.im in x.re 3.518 * [taylor]: Taking taylor expansion of x.re in x.re 3.518 * [taylor]: Taking taylor expansion of (/ 3 x.im) in x.im 3.518 * [taylor]: Taking taylor expansion of 3 in x.im 3.518 * [taylor]: Taking taylor expansion of x.im in x.im 3.519 * [taylor]: Taking taylor expansion of 0 in x.im 3.520 * [taylor]: Taking taylor expansion of 0 in x.im 3.521 * [taylor]: Taking taylor expansion of 0 in x.im 3.522 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 3.522 * [approximate]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 3.522 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 3.522 * [taylor]: Taking taylor expansion of 3 in x.im 3.522 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.522 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.522 * [taylor]: Taking taylor expansion of x.im in x.im 3.522 * [taylor]: Taking taylor expansion of x.re in x.im 3.522 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 3.522 * [taylor]: Taking taylor expansion of 3 in x.re 3.522 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.522 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.522 * [taylor]: Taking taylor expansion of x.im in x.re 3.522 * [taylor]: Taking taylor expansion of x.re in x.re 3.522 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 3.522 * [taylor]: Taking taylor expansion of 3 in x.re 3.522 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.522 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.522 * [taylor]: Taking taylor expansion of x.im in x.re 3.522 * [taylor]: Taking taylor expansion of x.re in x.re 3.523 * [taylor]: Taking taylor expansion of 0 in x.im 3.523 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 3.523 * [taylor]: Taking taylor expansion of 3 in x.im 3.523 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.523 * [taylor]: Taking taylor expansion of x.im in x.im 3.525 * [taylor]: Taking taylor expansion of 0 in x.im 3.528 * [taylor]: Taking taylor expansion of 0 in x.im 3.528 * [approximate]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 3.528 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.im 3.528 * [taylor]: Taking taylor expansion of 3 in x.im 3.528 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.528 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.528 * [taylor]: Taking taylor expansion of x.im in x.im 3.528 * [taylor]: Taking taylor expansion of x.re in x.im 3.528 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 3.528 * [taylor]: Taking taylor expansion of 3 in x.re 3.528 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.528 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.532 * [taylor]: Taking taylor expansion of x.im in x.re 3.532 * [taylor]: Taking taylor expansion of x.re in x.re 3.533 * [taylor]: Taking taylor expansion of (/ 3 (* (pow x.im 2) x.re)) in x.re 3.533 * [taylor]: Taking taylor expansion of 3 in x.re 3.533 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.533 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.533 * [taylor]: Taking taylor expansion of x.im in x.re 3.533 * [taylor]: Taking taylor expansion of x.re in x.re 3.533 * [taylor]: Taking taylor expansion of (/ 3 (pow x.im 2)) in x.im 3.533 * [taylor]: Taking taylor expansion of 3 in x.im 3.533 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.533 * [taylor]: Taking taylor expansion of x.im in x.im 3.535 * [taylor]: Taking taylor expansion of 0 in x.im 3.537 * [taylor]: Taking taylor expansion of 0 in x.im 3.539 * [taylor]: Taking taylor expansion of 0 in x.im 3.543 * [taylor]: Taking taylor expansion of 0 in x.im 3.543 * [approximate]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 3.543 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.im 3.543 * [taylor]: Taking taylor expansion of -3 in x.im 3.543 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.543 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.543 * [taylor]: Taking taylor expansion of x.im in x.im 3.543 * [taylor]: Taking taylor expansion of x.re in x.im 3.543 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 3.543 * [taylor]: Taking taylor expansion of -3 in x.re 3.543 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.543 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.543 * [taylor]: Taking taylor expansion of x.im in x.re 3.543 * [taylor]: Taking taylor expansion of x.re in x.re 3.544 * [taylor]: Taking taylor expansion of (/ -3 (* (pow x.im 2) x.re)) in x.re 3.544 * [taylor]: Taking taylor expansion of -3 in x.re 3.544 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.544 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.544 * [taylor]: Taking taylor expansion of x.im in x.re 3.544 * [taylor]: Taking taylor expansion of x.re in x.re 3.544 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im 3.545 * [taylor]: Taking taylor expansion of -3 in x.im 3.545 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.545 * [taylor]: Taking taylor expansion of x.im in x.im 3.546 * [taylor]: Taking taylor expansion of 0 in x.im 3.548 * [taylor]: Taking taylor expansion of 0 in x.im 3.551 * [taylor]: Taking taylor expansion of 0 in x.im 3.554 * [taylor]: Taking taylor expansion of 0 in x.im 3.554 * * * * [progress]: [ 3 / 3 ] generating series at (2) 3.554 * [approximate]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in (x.re x.im) around 0 3.554 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.im 3.554 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 3.554 * [taylor]: Taking taylor expansion of x.re in x.im 3.554 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.im 3.554 * [taylor]: Taking taylor expansion of 3 in x.im 3.554 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.554 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.554 * [taylor]: Taking taylor expansion of x.im in x.im 3.554 * [taylor]: Taking taylor expansion of x.re in x.im 3.554 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 3.554 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 3.554 * [taylor]: Taking taylor expansion of x.re in x.re 3.554 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 3.554 * [taylor]: Taking taylor expansion of 3 in x.re 3.554 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.554 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.554 * [taylor]: Taking taylor expansion of x.im in x.re 3.555 * [taylor]: Taking taylor expansion of x.re in x.re 3.555 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) in x.re 3.555 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 3.555 * [taylor]: Taking taylor expansion of x.re in x.re 3.555 * [taylor]: Taking taylor expansion of (* 3 (* (pow x.im 2) x.re)) in x.re 3.555 * [taylor]: Taking taylor expansion of 3 in x.re 3.555 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.555 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.555 * [taylor]: Taking taylor expansion of x.im in x.re 3.555 * [taylor]: Taking taylor expansion of x.re in x.re 3.555 * [taylor]: Taking taylor expansion of 0 in x.im 3.556 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.im 2))) in x.im 3.556 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 3.556 * [taylor]: Taking taylor expansion of 3 in x.im 3.556 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.556 * [taylor]: Taking taylor expansion of x.im in x.im 3.558 * [taylor]: Taking taylor expansion of 0 in x.im 3.561 * [taylor]: Taking taylor expansion of 1 in x.im 3.565 * [taylor]: Taking taylor expansion of 0 in x.im 3.566 * [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 3.566 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.im 3.567 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 3.567 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 3.567 * [taylor]: Taking taylor expansion of x.re in x.im 3.567 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 3.567 * [taylor]: Taking taylor expansion of 3 in x.im 3.567 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 3.567 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.567 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.567 * [taylor]: Taking taylor expansion of x.im in x.im 3.567 * [taylor]: Taking taylor expansion of x.re in x.im 3.567 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 3.567 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 3.567 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 3.567 * [taylor]: Taking taylor expansion of x.re in x.re 3.568 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 3.568 * [taylor]: Taking taylor expansion of 3 in x.re 3.568 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 3.568 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.568 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.568 * [taylor]: Taking taylor expansion of x.im in x.re 3.568 * [taylor]: Taking taylor expansion of x.re in x.re 3.568 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (* 3 (/ 1 (* (pow x.im 2) x.re)))) in x.re 3.569 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 3.569 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 3.569 * [taylor]: Taking taylor expansion of x.re in x.re 3.569 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 3.569 * [taylor]: Taking taylor expansion of 3 in x.re 3.569 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 3.569 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.569 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.569 * [taylor]: Taking taylor expansion of x.im in x.re 3.569 * [taylor]: Taking taylor expansion of x.re in x.re 3.570 * [taylor]: Taking taylor expansion of 1 in x.im 3.572 * [taylor]: Taking taylor expansion of 0 in x.im 3.574 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.im 2)))) in x.im 3.574 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 3.574 * [taylor]: Taking taylor expansion of 3 in x.im 3.574 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 3.574 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.574 * [taylor]: Taking taylor expansion of x.im in x.im 3.578 * [taylor]: Taking taylor expansion of 0 in x.im 3.583 * [taylor]: Taking taylor expansion of 0 in x.im 3.585 * [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 3.585 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.im 3.585 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.im 3.585 * [taylor]: Taking taylor expansion of 3 in x.im 3.586 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 3.586 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 3.586 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.586 * [taylor]: Taking taylor expansion of x.im in x.im 3.586 * [taylor]: Taking taylor expansion of x.re in x.im 3.586 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 3.586 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 3.586 * [taylor]: Taking taylor expansion of x.re in x.im 3.586 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 3.586 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 3.586 * [taylor]: Taking taylor expansion of 3 in x.re 3.586 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 3.586 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.586 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.586 * [taylor]: Taking taylor expansion of x.im in x.re 3.586 * [taylor]: Taking taylor expansion of x.re in x.re 3.587 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 3.587 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 3.587 * [taylor]: Taking taylor expansion of x.re in x.re 3.587 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x.im 2) x.re))) (/ 1 (pow x.re 3))) in x.re 3.587 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x.im 2) x.re))) in x.re 3.587 * [taylor]: Taking taylor expansion of 3 in x.re 3.588 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 3.588 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 3.588 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 3.588 * [taylor]: Taking taylor expansion of x.im in x.re 3.588 * [taylor]: Taking taylor expansion of x.re in x.re 3.588 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 3.588 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 3.588 * [taylor]: Taking taylor expansion of x.re in x.re 3.589 * [taylor]: Taking taylor expansion of -1 in x.im 3.591 * [taylor]: Taking taylor expansion of 0 in x.im 3.593 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 3.593 * [taylor]: Taking taylor expansion of 3 in x.im 3.593 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 3.593 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 3.593 * [taylor]: Taking taylor expansion of x.im in x.im 3.597 * [taylor]: Taking taylor expansion of 0 in x.im 3.602 * [taylor]: Taking taylor expansion of 0 in x.im 3.604 * * * [progress]: simplifying candidates 3.605 * [simplify]: Simplifying using # : (* (* 3 x.re) x.im) (* (* 3 x.re) x.im) (+ (+ (log 3) (log x.re)) (log x.im)) (+ (log (* 3 x.re)) (log x.im)) (log (* (* 3 x.re) x.im)) (exp (* (* 3 x.re) x.im)) (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im)) (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im))) (cbrt (* (* 3 x.re) x.im)) (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im))) (* (* 3 x.re) (sqrt x.im)) (* (* 3 x.re) 1) (* x.re x.im) (* (* (* 3 x.re) x.im) x.im) (* (* (* 3 x.re) x.im) x.im) (* (* (* 3 x.re) x.im) x.im) (+ (+ (+ (log 3) (log x.re)) (log x.im)) (log x.im)) (+ (+ (log (* 3 x.re)) (log x.im)) (log x.im)) (+ (log (* (* 3 x.re) x.im)) (log x.im)) (log (* (* (* 3 x.re) x.im) x.im)) (exp (* (* (* 3 x.re) x.im) x.im)) (* (* (* (* (* 3 3) 3) (* (* x.re x.re) x.re)) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im)) (* (* (* (* (* 3 x.re) (* 3 x.re)) (* 3 x.re)) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im)) (* (* (* (* (* 3 x.re) x.im) (* (* 3 x.re) x.im)) (* (* 3 x.re) x.im)) (* (* x.im x.im) x.im)) (* (cbrt (* (* (* 3 x.re) x.im) x.im)) (cbrt (* (* (* 3 x.re) x.im) x.im))) (cbrt (* (* (* 3 x.re) x.im) x.im)) (* (* (* (* (* 3 x.re) x.im) x.im) (* (* (* 3 x.re) x.im) x.im)) (* (* (* 3 x.re) x.im) x.im)) (sqrt (* (* (* 3 x.re) x.im) x.im)) (sqrt (* (* (* 3 x.re) x.im) x.im)) (* (* (* 3 x.re) x.im) (* (cbrt x.im) (cbrt x.im))) (* (* (* 3 x.re) x.im) (sqrt x.im)) (* (* (* 3 x.re) x.im) 1) (* x.im x.im) (/ (exp (pow x.re 3)) (exp (* (* (* 3 x.re) x.im) x.im))) (log (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (exp (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (* (cbrt (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (cbrt (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im)))) (cbrt (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (* (* (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im)) (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (sqrt (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (sqrt (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (- (pow (pow x.re 3) 3) (pow (* (* (* 3 x.re) x.im) x.im) 3)) (+ (* (pow x.re 3) (pow x.re 3)) (+ (* (* (* (* 3 x.re) x.im) x.im) (* (* (* 3 x.re) x.im) x.im)) (* (pow x.re 3) (* (* (* 3 x.re) x.im) x.im)))) (- (* (* (* 3 x.re) x.im) x.im)) (- (* (pow x.re 3) (pow x.re 3)) (* (* (* (* 3 x.re) x.im) x.im) (* (* (* 3 x.re) x.im) x.im))) (+ (pow x.re 3) (* (* (* 3 x.re) x.im) x.im)) (- (* (* (* 3 x.re) x.im) x.im)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 3.608 * * [simplify]: iteration 0 : 83 enodes (cost 673 ) 3.629 * * [simplify]: iteration 1 : 230 enodes (cost 607 ) 3.793 * * [simplify]: iteration 2 : 1102 enodes (cost 535 ) 4.514 * * [simplify]: iteration done : 5000 enodes (cost 529 ) 4.515 * [simplify]: Simplified to: (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (log (* (* 3 x.re) x.im)) (log (* (* 3 x.re) x.im)) (log (* (* 3 x.re) x.im)) (exp (* (* 3 x.re) x.im)) (* 27 (pow (* x.re x.im) 3)) (* 27 (pow (* x.re x.im) 3)) (* (cbrt (* (* 3 x.re) x.im)) (cbrt (* (* 3 x.re) x.im))) (cbrt (* (* 3 x.re) x.im)) (* 27 (pow (* x.re x.im) 3)) (sqrt (* (* 3 x.re) x.im)) (sqrt (* (* 3 x.re) x.im)) (* (* 3 x.re) (* (cbrt x.im) (cbrt x.im))) (* (* 3 x.re) (sqrt x.im)) (* 3 x.re) (* x.im x.re) (* (* (* 3 x.re) x.im) x.im) (* (* (* 3 x.re) x.im) x.im) (* (* (* 3 x.re) x.im) x.im) (log (* (* (* 3 x.re) x.im) x.im)) (log (* (* (* 3 x.re) x.im) x.im)) (log (* (* (* 3 x.re) x.im) x.im)) (log (* (* (* 3 x.re) x.im) x.im)) (exp (* (* (* 3 x.re) x.im) x.im)) (pow (* (* (* 3 x.re) x.im) x.im) 3) (pow (* (* (* 3 x.re) x.im) x.im) 3) (pow (* (* (* 3 x.re) x.im) x.im) 3) (* (cbrt (* (* (* 3 x.re) x.im) x.im)) (cbrt (* (* (* 3 x.re) x.im) x.im))) (cbrt (* (* (* 3 x.re) x.im) x.im)) (pow (* (* (* 3 x.re) x.im) x.im) 3) (sqrt (* (* (* 3 x.re) x.im) x.im)) (sqrt (* (* (* 3 x.re) x.im) x.im)) (* (* (* 3 x.re) x.im) (* (cbrt x.im) (cbrt x.im))) (* (* (* 3 x.re) x.im) (sqrt x.im)) (* 3 (* x.im x.re)) (* x.im x.im) (exp (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (log (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (exp (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (* (cbrt (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (cbrt (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im)))) (cbrt (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (pow (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 3) (sqrt (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (sqrt (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (- (pow (pow x.re 3) 3) (pow (* (* (* 3 x.re) x.im) x.im) 3)) (+ (* (* (* (* 3 x.re) x.im) x.im) (+ (pow x.re 3) (* (* (* 3 x.re) x.im) x.im))) (pow x.re 6)) (* (* (pow x.im 2) x.re) -3) (- (pow x.re 6) (* (* x.im (* 9 (* x.re x.re))) (pow x.im 3))) (+ (pow x.re 3) (* (* (* 3 x.re) x.im) x.im)) (* (* (pow x.im 2) x.re) -3) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* 3 (* x.im x.re)) (* (* (* 3 x.re) x.im) x.im) (* (* (* 3 x.re) x.im) x.im) (* (* (* 3 x.re) x.im) x.im) (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im)) (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im)) (- (pow x.re 3) (* (* (* 3 x.re) x.im) x.im)) 4.515 * * * [progress]: adding candidates to table 4.608 * * [progress]: iteration 4 / 4 4.608 * * * [progress]: picking best candidate 4.623 * * * * [pick]: Picked # 4.623 * * * [progress]: localizing error 4.633 * * * [progress]: generating rewritten candidates 4.634 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 4.655 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 4.662 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 4.719 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 4.784 * * * [progress]: generating series expansions 4.784 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 4.784 * [approximate]: Taking taylor expansion of (* (cbrt 3) (* (pow x.im 2) x.re)) in (x.re x.im) around 0 4.784 * [taylor]: Taking taylor expansion of (* (cbrt 3) (* (pow x.im 2) x.re)) in x.im 4.784 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im 4.784 * [taylor]: Taking taylor expansion of 3 in x.im 4.785 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.785 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.785 * [taylor]: Taking taylor expansion of x.im in x.im 4.785 * [taylor]: Taking taylor expansion of x.re in x.im 4.785 * [taylor]: Taking taylor expansion of (* (cbrt 3) (* (pow x.im 2) x.re)) in x.re 4.785 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.785 * [taylor]: Taking taylor expansion of 3 in x.re 4.786 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.786 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.786 * [taylor]: Taking taylor expansion of x.im in x.re 4.786 * [taylor]: Taking taylor expansion of x.re in x.re 4.786 * [taylor]: Taking taylor expansion of (* (cbrt 3) (* (pow x.im 2) x.re)) in x.re 4.786 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.786 * [taylor]: Taking taylor expansion of 3 in x.re 4.787 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.787 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.787 * [taylor]: Taking taylor expansion of x.im in x.re 4.787 * [taylor]: Taking taylor expansion of x.re in x.re 4.787 * [taylor]: Taking taylor expansion of 0 in x.im 4.788 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow x.im 2)) in x.im 4.788 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im 4.789 * [taylor]: Taking taylor expansion of 3 in x.im 4.789 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.789 * [taylor]: Taking taylor expansion of x.im in x.im 4.793 * [taylor]: Taking taylor expansion of 0 in x.im 4.796 * [taylor]: Taking taylor expansion of 0 in x.im 4.797 * [approximate]: Taking taylor expansion of (/ (cbrt 3) (* (pow x.im 2) x.re)) in (x.re x.im) around 0 4.797 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (* (pow x.im 2) x.re)) in x.im 4.797 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im 4.797 * [taylor]: Taking taylor expansion of 3 in x.im 4.798 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.798 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.798 * [taylor]: Taking taylor expansion of x.im in x.im 4.798 * [taylor]: Taking taylor expansion of x.re in x.im 4.798 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (* (pow x.im 2) x.re)) in x.re 4.798 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.798 * [taylor]: Taking taylor expansion of 3 in x.re 4.799 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.799 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.799 * [taylor]: Taking taylor expansion of x.im in x.re 4.799 * [taylor]: Taking taylor expansion of x.re in x.re 4.800 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (* (pow x.im 2) x.re)) in x.re 4.800 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.800 * [taylor]: Taking taylor expansion of 3 in x.re 4.800 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.801 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.801 * [taylor]: Taking taylor expansion of x.im in x.re 4.801 * [taylor]: Taking taylor expansion of x.re in x.re 4.801 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow x.im 2)) in x.im 4.801 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im 4.801 * [taylor]: Taking taylor expansion of 3 in x.im 4.802 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.802 * [taylor]: Taking taylor expansion of x.im in x.im 4.804 * [taylor]: Taking taylor expansion of 0 in x.im 4.808 * [taylor]: Taking taylor expansion of 0 in x.im 4.817 * [taylor]: Taking taylor expansion of 0 in x.im 4.822 * [taylor]: Taking taylor expansion of 0 in x.im 4.823 * [approximate]: Taking taylor expansion of (* -1 (/ (cbrt 3) (* (pow x.im 2) x.re))) in (x.re x.im) around 0 4.823 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 3) (* (pow x.im 2) x.re))) in x.im 4.823 * [taylor]: Taking taylor expansion of -1 in x.im 4.823 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (* (pow x.im 2) x.re)) in x.im 4.823 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im 4.823 * [taylor]: Taking taylor expansion of 3 in x.im 4.824 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.824 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.824 * [taylor]: Taking taylor expansion of x.im in x.im 4.824 * [taylor]: Taking taylor expansion of x.re in x.im 4.824 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 3) (* (pow x.im 2) x.re))) in x.re 4.825 * [taylor]: Taking taylor expansion of -1 in x.re 4.825 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (* (pow x.im 2) x.re)) in x.re 4.825 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.825 * [taylor]: Taking taylor expansion of 3 in x.re 4.825 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.825 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.825 * [taylor]: Taking taylor expansion of x.im in x.re 4.825 * [taylor]: Taking taylor expansion of x.re in x.re 4.826 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 3) (* (pow x.im 2) x.re))) in x.re 4.826 * [taylor]: Taking taylor expansion of -1 in x.re 4.826 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (* (pow x.im 2) x.re)) in x.re 4.826 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.826 * [taylor]: Taking taylor expansion of 3 in x.re 4.827 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.827 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.827 * [taylor]: Taking taylor expansion of x.im in x.re 4.827 * [taylor]: Taking taylor expansion of x.re in x.re 4.828 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt 3) (pow x.im 2))) in x.im 4.828 * [taylor]: Taking taylor expansion of -1 in x.im 4.828 * [taylor]: Taking taylor expansion of (/ (cbrt 3) (pow x.im 2)) in x.im 4.828 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im 4.828 * [taylor]: Taking taylor expansion of 3 in x.im 4.829 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.829 * [taylor]: Taking taylor expansion of x.im in x.im 4.832 * [taylor]: Taking taylor expansion of 0 in x.im 4.837 * [taylor]: Taking taylor expansion of 0 in x.im 4.843 * [taylor]: Taking taylor expansion of 0 in x.im 4.850 * [taylor]: Taking taylor expansion of 0 in x.im 4.851 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 4.851 * [approximate]: Taking taylor expansion of (* (pow x.im 2) x.re) in (x.re x.im) around 0 4.851 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.851 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.851 * [taylor]: Taking taylor expansion of x.im in x.im 4.851 * [taylor]: Taking taylor expansion of x.re in x.im 4.851 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.851 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.851 * [taylor]: Taking taylor expansion of x.im in x.re 4.851 * [taylor]: Taking taylor expansion of x.re in x.re 4.851 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.851 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.851 * [taylor]: Taking taylor expansion of x.im in x.re 4.851 * [taylor]: Taking taylor expansion of x.re in x.re 4.851 * [taylor]: Taking taylor expansion of 0 in x.im 4.852 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.852 * [taylor]: Taking taylor expansion of x.im in x.im 4.853 * [taylor]: Taking taylor expansion of 0 in x.im 4.854 * [taylor]: Taking taylor expansion of 0 in x.im 4.854 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 4.854 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.im 4.854 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.854 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.854 * [taylor]: Taking taylor expansion of x.im in x.im 4.854 * [taylor]: Taking taylor expansion of x.re in x.im 4.855 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 4.855 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.855 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.855 * [taylor]: Taking taylor expansion of x.im in x.re 4.855 * [taylor]: Taking taylor expansion of x.re in x.re 4.855 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x.im 2) x.re)) in x.re 4.855 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.855 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.855 * [taylor]: Taking taylor expansion of x.im in x.re 4.855 * [taylor]: Taking taylor expansion of x.re in x.re 4.856 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 4.856 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.856 * [taylor]: Taking taylor expansion of x.im in x.im 4.857 * [taylor]: Taking taylor expansion of 0 in x.im 4.859 * [taylor]: Taking taylor expansion of 0 in x.im 4.862 * [taylor]: Taking taylor expansion of 0 in x.im 4.865 * [taylor]: Taking taylor expansion of 0 in x.im 4.865 * [approximate]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in (x.re x.im) around 0 4.865 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.im 4.865 * [taylor]: Taking taylor expansion of -1 in x.im 4.865 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.865 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.865 * [taylor]: Taking taylor expansion of x.im in x.im 4.865 * [taylor]: Taking taylor expansion of x.re in x.im 4.865 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.re 4.865 * [taylor]: Taking taylor expansion of -1 in x.re 4.865 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.865 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.865 * [taylor]: Taking taylor expansion of x.im in x.re 4.865 * [taylor]: Taking taylor expansion of x.re in x.re 4.866 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x.im 2) x.re)) in x.re 4.866 * [taylor]: Taking taylor expansion of -1 in x.re 4.866 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.866 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.866 * [taylor]: Taking taylor expansion of x.im in x.re 4.866 * [taylor]: Taking taylor expansion of x.re in x.re 4.867 * [taylor]: Taking taylor expansion of (/ -1 (pow x.im 2)) in x.im 4.867 * [taylor]: Taking taylor expansion of -1 in x.im 4.867 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.867 * [taylor]: Taking taylor expansion of x.im in x.im 4.868 * [taylor]: Taking taylor expansion of 0 in x.im 4.871 * [taylor]: Taking taylor expansion of 0 in x.im 4.873 * [taylor]: Taking taylor expansion of 0 in x.im 4.876 * [taylor]: Taking taylor expansion of 0 in x.im 4.877 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 4.878 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in (x.re x.im) around 0 4.878 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.im 4.878 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.im 4.878 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im 4.878 * [taylor]: Taking taylor expansion of 3 in x.im 4.878 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.878 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.878 * [taylor]: Taking taylor expansion of x.im in x.im 4.879 * [taylor]: Taking taylor expansion of x.re in x.im 4.879 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re 4.879 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re 4.879 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.879 * [taylor]: Taking taylor expansion of 3 in x.re 4.879 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.879 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.879 * [taylor]: Taking taylor expansion of x.im in x.re 4.879 * [taylor]: Taking taylor expansion of x.re in x.re 4.879 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re 4.879 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re 4.879 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.879 * [taylor]: Taking taylor expansion of 3 in x.re 4.880 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.880 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.880 * [taylor]: Taking taylor expansion of x.im in x.re 4.880 * [taylor]: Taking taylor expansion of x.re in x.re 4.883 * [taylor]: Taking taylor expansion of 0 in x.im 4.885 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 4.885 * [taylor]: Taking taylor expansion of 3 in x.im 4.885 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.885 * [taylor]: Taking taylor expansion of x.im in x.im 4.889 * [taylor]: Taking taylor expansion of 0 in x.im 4.894 * [taylor]: Taking taylor expansion of 0 in x.im 4.895 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in (x.re x.im) around 0 4.895 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.im 4.895 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.im 4.895 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im 4.895 * [taylor]: Taking taylor expansion of 3 in x.im 4.896 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.896 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.896 * [taylor]: Taking taylor expansion of x.im in x.im 4.896 * [taylor]: Taking taylor expansion of x.re in x.im 4.899 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re 4.899 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re 4.899 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.899 * [taylor]: Taking taylor expansion of 3 in x.re 4.904 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.905 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.905 * [taylor]: Taking taylor expansion of x.im in x.re 4.905 * [taylor]: Taking taylor expansion of x.re in x.re 4.908 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re 4.908 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re 4.908 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.908 * [taylor]: Taking taylor expansion of 3 in x.re 4.908 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.909 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.909 * [taylor]: Taking taylor expansion of x.im in x.re 4.909 * [taylor]: Taking taylor expansion of x.re in x.re 4.912 * [taylor]: Taking taylor expansion of (/ 3 (pow x.im 2)) in x.im 4.912 * [taylor]: Taking taylor expansion of 3 in x.im 4.912 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.912 * [taylor]: Taking taylor expansion of x.im in x.im 4.914 * [taylor]: Taking taylor expansion of 0 in x.im 4.918 * [taylor]: Taking taylor expansion of 0 in x.im 4.923 * [taylor]: Taking taylor expansion of 0 in x.im 4.928 * [taylor]: Taking taylor expansion of 0 in x.im 4.930 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in (x.re x.im) around 0 4.930 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in x.im 4.930 * [taylor]: Taking taylor expansion of -1 in x.im 4.930 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.im 4.930 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.im 4.930 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im 4.930 * [taylor]: Taking taylor expansion of 3 in x.im 4.931 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.931 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.931 * [taylor]: Taking taylor expansion of x.im in x.im 4.931 * [taylor]: Taking taylor expansion of x.re in x.im 4.933 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in x.re 4.933 * [taylor]: Taking taylor expansion of -1 in x.re 4.933 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re 4.934 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re 4.934 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.934 * [taylor]: Taking taylor expansion of 3 in x.re 4.934 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.934 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.934 * [taylor]: Taking taylor expansion of x.im in x.re 4.934 * [taylor]: Taking taylor expansion of x.re in x.re 4.937 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in x.re 4.937 * [taylor]: Taking taylor expansion of -1 in x.re 4.937 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re 4.937 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re 4.937 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.937 * [taylor]: Taking taylor expansion of 3 in x.re 4.938 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.938 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.938 * [taylor]: Taking taylor expansion of x.im in x.re 4.938 * [taylor]: Taking taylor expansion of x.re in x.re 4.941 * [taylor]: Taking taylor expansion of (/ -3 (pow x.im 2)) in x.im 4.941 * [taylor]: Taking taylor expansion of -3 in x.im 4.941 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.941 * [taylor]: Taking taylor expansion of x.im in x.im 4.944 * [taylor]: Taking taylor expansion of 0 in x.im 4.949 * [taylor]: Taking taylor expansion of 0 in x.im 4.954 * [taylor]: Taking taylor expansion of 0 in x.im 4.961 * [taylor]: Taking taylor expansion of 0 in x.im 4.961 * * * * [progress]: [ 4 / 4 ] generating series at (2) 4.962 * [approximate]: Taking taylor expansion of (- (pow x.re 3) (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in (x.re x.im) around 0 4.962 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in x.im 4.962 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 4.962 * [taylor]: Taking taylor expansion of x.re in x.im 4.962 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.im 4.962 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.im 4.962 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im 4.962 * [taylor]: Taking taylor expansion of 3 in x.im 4.963 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.963 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.963 * [taylor]: Taking taylor expansion of x.im in x.im 4.963 * [taylor]: Taking taylor expansion of x.re in x.im 4.963 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in x.re 4.963 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 4.963 * [taylor]: Taking taylor expansion of x.re in x.re 4.963 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re 4.963 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re 4.963 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.963 * [taylor]: Taking taylor expansion of 3 in x.re 4.964 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.964 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.964 * [taylor]: Taking taylor expansion of x.im in x.re 4.964 * [taylor]: Taking taylor expansion of x.re in x.re 4.964 * [taylor]: Taking taylor expansion of (- (pow x.re 3) (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in x.re 4.964 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 4.964 * [taylor]: Taking taylor expansion of x.re in x.re 4.964 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re 4.964 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re 4.964 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.964 * [taylor]: Taking taylor expansion of 3 in x.re 4.964 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.965 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.965 * [taylor]: Taking taylor expansion of x.im in x.re 4.965 * [taylor]: Taking taylor expansion of x.re in x.re 4.967 * [taylor]: Taking taylor expansion of 0 in x.im 4.970 * [taylor]: Taking taylor expansion of (- (* 3 (pow x.im 2))) in x.im 4.970 * [taylor]: Taking taylor expansion of (* 3 (pow x.im 2)) in x.im 4.970 * [taylor]: Taking taylor expansion of 3 in x.im 4.970 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.970 * [taylor]: Taking taylor expansion of x.im in x.im 4.974 * [taylor]: Taking taylor expansion of 0 in x.im 4.978 * [taylor]: Taking taylor expansion of 1 in x.im 4.991 * [taylor]: Taking taylor expansion of 0 in x.im 4.994 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in (x.re x.im) around 0 4.994 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in x.im 4.994 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 4.994 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 4.994 * [taylor]: Taking taylor expansion of x.re in x.im 4.994 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.im 4.994 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.im 4.994 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im 4.994 * [taylor]: Taking taylor expansion of 3 in x.im 4.995 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 4.995 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 4.995 * [taylor]: Taking taylor expansion of x.im in x.im 4.995 * [taylor]: Taking taylor expansion of x.re in x.im 4.998 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in x.re 4.998 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 4.998 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 4.998 * [taylor]: Taking taylor expansion of x.re in x.re 4.999 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re 4.999 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re 4.999 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 4.999 * [taylor]: Taking taylor expansion of 3 in x.re 4.999 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 4.999 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 4.999 * [taylor]: Taking taylor expansion of x.im in x.re 4.999 * [taylor]: Taking taylor expansion of x.re in x.re 5.003 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x.re 3)) (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re))) in x.re 5.003 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 5.003 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 5.003 * [taylor]: Taking taylor expansion of x.re in x.re 5.004 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re 5.004 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re 5.004 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 5.004 * [taylor]: Taking taylor expansion of 3 in x.re 5.004 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 5.004 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 5.004 * [taylor]: Taking taylor expansion of x.im in x.re 5.004 * [taylor]: Taking taylor expansion of x.re in x.re 5.008 * [taylor]: Taking taylor expansion of 1 in x.im 5.009 * [taylor]: Taking taylor expansion of 0 in x.im 5.011 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow x.im 2)))) in x.im 5.011 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 5.011 * [taylor]: Taking taylor expansion of 3 in x.im 5.011 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 5.011 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.011 * [taylor]: Taking taylor expansion of x.im in x.im 5.016 * [taylor]: Taking taylor expansion of 0 in x.im 5.022 * [taylor]: Taking taylor expansion of 0 in x.im 5.026 * [approximate]: Taking taylor expansion of (- (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) (/ 1 (pow x.re 3))) in (x.re x.im) around 0 5.026 * [taylor]: Taking taylor expansion of (- (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) (/ 1 (pow x.re 3))) in x.im 5.026 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.im 5.026 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.im 5.026 * [taylor]: Taking taylor expansion of (cbrt 3) in x.im 5.026 * [taylor]: Taking taylor expansion of 3 in x.im 5.026 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.im 5.026 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.026 * [taylor]: Taking taylor expansion of x.im in x.im 5.026 * [taylor]: Taking taylor expansion of x.re in x.im 5.029 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.im 5.029 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.im 5.029 * [taylor]: Taking taylor expansion of x.re in x.im 5.029 * [taylor]: Taking taylor expansion of (- (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) (/ 1 (pow x.re 3))) in x.re 5.030 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re 5.030 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re 5.030 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 5.030 * [taylor]: Taking taylor expansion of 3 in x.re 5.030 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 5.030 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 5.030 * [taylor]: Taking taylor expansion of x.im in x.re 5.030 * [taylor]: Taking taylor expansion of x.re in x.re 5.033 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 5.033 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 5.033 * [taylor]: Taking taylor expansion of x.re in x.re 5.034 * [taylor]: Taking taylor expansion of (- (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) (/ 1 (pow x.re 3))) in x.re 5.034 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3) 3) (* (pow x.im 2) x.re)) in x.re 5.034 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 3) in x.re 5.034 * [taylor]: Taking taylor expansion of (cbrt 3) in x.re 5.034 * [taylor]: Taking taylor expansion of 3 in x.re 5.035 * [taylor]: Taking taylor expansion of (* (pow x.im 2) x.re) in x.re 5.035 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 5.035 * [taylor]: Taking taylor expansion of x.im in x.re 5.035 * [taylor]: Taking taylor expansion of x.re in x.re 5.038 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 3)) in x.re 5.038 * [taylor]: Taking taylor expansion of (pow x.re 3) in x.re 5.038 * [taylor]: Taking taylor expansion of x.re in x.re 5.039 * [taylor]: Taking taylor expansion of -1 in x.im 5.041 * [taylor]: Taking taylor expansion of 0 in x.im 5.042 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x.im 2))) in x.im 5.043 * [taylor]: Taking taylor expansion of 3 in x.im 5.043 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 5.043 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 5.043 * [taylor]: Taking taylor expansion of x.im in x.im 5.047 * [taylor]: Taking taylor expansion of 0 in x.im 5.054 * [taylor]: Taking taylor expansion of 0 in x.im 5.056 * * * [progress]: simplifying candidates 5.057 * [simplify]: Simplifying using # : (* (cbrt 3) (* (* x.re x.im) x.im)) (* (cbrt 3) (* (* x.re x.im) x.im)) (* (cbrt 3) (* (* x.re x.im) x.im)) (+ (log (cbrt 3)) (+ (+ (log x.re) (log x.im)) (log x.im))) (+ (log (cbrt 3)) (+ (log (* x.re x.im)) (log x.im))) (+ (log (cbrt 3)) (log (* (* x.re x.im) x.im))) (log (* (cbrt 3) (* (* x.re x.im) x.im))) (exp (* (cbrt 3) (* (* x.re x.im) x.im))) (* 3 (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im))) (* 3 (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.im x.im) x.im))) (* 3 (* (* (* (* x.re x.im) x.im) (* (* x.re x.im) x.im)) (* (* x.re x.im) x.im))) (* (cbrt (* (cbrt 3) (* (* x.re x.im) x.im))) (cbrt (* (cbrt 3) (* (* x.re x.im) x.im)))) (cbrt (* (cbrt 3) (* (* x.re x.im) x.im))) (* (* (* (cbrt 3) (* (* x.re x.im) x.im)) (* (cbrt 3) (* (* x.re x.im) x.im))) (* (cbrt 3) (* (* x.re x.im) x.im))) (sqrt (* (cbrt 3) (* (* x.re x.im) x.im))) (sqrt (* (cbrt 3) (* (* x.re x.im) x.im))) (* (cbrt 3) (* x.re x.im)) (* (cbrt (cbrt 3)) (* (* x.re x.im) x.im)) (* (cbrt (sqrt 3)) (* (* x.re x.im) x.im)) (* (cbrt 3) (* (* x.re x.im) x.im)) (* (cbrt (cbrt 3)) (* (* x.re x.im) x.im)) (* (sqrt (cbrt 3)) (* (* x.re x.im) x.im)) (* (cbrt 3) (* (* x.re x.im) x.im)) (* (* x.re x.im) x.im) (* (* x.re x.im) x.im) (+ (+ (log x.re) (log x.im)) (log x.im)) (+ (log (* x.re x.im)) (log x.im)) (log (* (* x.re x.im) x.im)) (exp (* (* x.re x.im) x.im)) (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im)) (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.im x.im) x.im)) (* (cbrt (* (* x.re x.im) x.im)) (cbrt (* (* x.re x.im) x.im))) (cbrt (* (* x.re x.im) x.im)) (* (* (* (* x.re x.im) x.im) (* (* x.re x.im) x.im)) (* (* x.re x.im) x.im)) (sqrt (* (* x.re x.im) x.im)) (sqrt (* (* x.re x.im) x.im)) (* (* x.re x.im) (* (cbrt x.im) (cbrt x.im))) (* (* x.re x.im) (sqrt x.im)) (* (* x.re x.im) 1) (* x.im x.im) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))) (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (+ (+ (log x.re) (log x.im)) (log x.im)))) (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (+ (log (* x.re x.im)) (log x.im)))) (+ (+ (log (cbrt 3)) (log (cbrt 3))) (+ (log (cbrt 3)) (log (* (* x.re x.im) x.im)))) (+ (+ (log (cbrt 3)) (log (cbrt 3))) (log (* (cbrt 3) (* (* x.re x.im) x.im)))) (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (+ (+ (log x.re) (log x.im)) (log x.im)))) (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (+ (log (* x.re x.im)) (log x.im)))) (+ (log (* (cbrt 3) (cbrt 3))) (+ (log (cbrt 3)) (log (* (* x.re x.im) x.im)))) (+ (log (* (cbrt 3) (cbrt 3))) (log (* (cbrt 3) (* (* x.re x.im) x.im)))) (log (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))) (exp (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))) (* (* 3 3) (* 3 (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im)))) (* (* 3 3) (* 3 (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.im x.im) x.im)))) (* (* 3 3) (* 3 (* (* (* (* x.re x.im) x.im) (* (* x.re x.im) x.im)) (* (* x.re x.im) x.im)))) (* (* 3 3) (* (* (* (cbrt 3) (* (* x.re x.im) x.im)) (* (cbrt 3) (* (* x.re x.im) x.im))) (* (cbrt 3) (* (* x.re x.im) x.im)))) (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* (* x.re x.re) x.re) (* (* x.im x.im) x.im)) (* (* x.im x.im) x.im)))) (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* (* x.re x.im) (* x.re x.im)) (* x.re x.im)) (* (* x.im x.im) x.im)))) (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* 3 (* (* (* (* x.re x.im) x.im) (* (* x.re x.im) x.im)) (* (* x.re x.im) x.im)))) (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (cbrt 3))) (* (cbrt 3) (cbrt 3))) (* (* (* (cbrt 3) (* (* x.re x.im) x.im)) (* (cbrt 3) (* (* x.re x.im) x.im))) (* (cbrt 3) (* (* x.re x.im) x.im)))) (* (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))) (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))))) (cbrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))) (* (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))) (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))) (sqrt (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))) (* (* (cbrt 3) (cbrt 3)) (cbrt 3)) (* (cbrt 3) (* (cbrt 3) (* (* x.re x.im) x.im))) (/ (exp (pow x.re 3)) (exp (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))))) (log (- (pow x.re 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))))) (exp (- (pow x.re 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))))) (* (cbrt (- (pow x.re 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))))) (cbrt (- (pow x.re 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))))) (cbrt (- (pow x.re 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))))) (* (* (- (pow x.re 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))) (- (pow x.re 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))))) (- (pow x.re 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))))) (sqrt (- (pow x.re 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))))) (sqrt (- (pow x.re 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))))) (- (pow (pow x.re 3) 3) (pow (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))) 3)) (+ (* (pow x.re 3) (pow x.re 3)) (+ (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))) (* (pow x.re 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))))) (- (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))) (- (* (pow x.re 3) (pow x.re 3)) (* (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im))))) (+ (pow x.re 3) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))) (- (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* (* x.re x.im) x.im)))) (* (cbrt 3) (* (pow x.im 2) x.re)) (* (cbrt 3) (* (pow x.im 2) x.re)) (* (cbrt 3) (* (pow x.im 2) x.re)) (* (pow x.im 2) x.re) (* (pow x.im 2) x.re) (* (pow x.im 2) x.re) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 5.061 * * [simplify]: iteration 0 : 117 enodes (cost 1549 ) 5.089 * * [simplify]: iteration 1 : 344 enodes (cost 1440 ) 5.242 * * [simplify]: iteration 2 : 1476 enodes (cost 1026 ) 5.711 * * [simplify]: iteration done : 5000 enodes (cost 1026 ) 5.712 * [simplify]: Simplified to: (* (cbrt 3) (* (* x.re x.im) x.im)) (* (cbrt 3) (* (* x.re x.im) x.im)) (* (cbrt 3) (* (* x.re x.im) x.im)) (log (* (cbrt 3) (* (* x.re x.im) x.im))) (log (* (cbrt 3) (* (* x.re x.im) x.im))) (log (* (cbrt 3) (* (* x.re x.im) x.im))) (log (* (cbrt 3) (* (* x.re x.im) x.im))) (exp (* (cbrt 3) (* (* x.re x.im) x.im))) (* (pow (* (* x.re x.im) x.im) 3) 3) (* (pow (* (* x.re x.im) x.im) 3) 3) (* (pow (* (* x.re x.im) x.im) 3) 3) (* (cbrt (* (cbrt 3) (* (* x.re x.im) x.im))) (cbrt (* (cbrt 3) (* (* x.re x.im) x.im)))) (cbrt (* (cbrt 3) (* (* x.re x.im) x.im))) (pow (* (cbrt 3) (* (* x.re x.im) x.im)) 3) (sqrt (* (cbrt 3) (* (* x.re x.im) x.im))) (sqrt (* (cbrt 3) (* (* x.re x.im) x.im))) (* (cbrt 3) (* x.re x.im)) (* (cbrt (cbrt 3)) (* (* x.re x.im) x.im)) (* (cbrt (sqrt 3)) (* (* x.re x.im) x.im)) (* (cbrt 3) (* (* x.re x.im) x.im)) (* (cbrt (cbrt 3)) (* (* x.re x.im) x.im)) (* (sqrt (cbrt 3)) (* (* x.re x.im) x.im)) (* (cbrt 3) (* (* x.re x.im) x.im)) (* (* x.re x.im) x.im) (* (* x.re x.im) x.im) (log (* (* x.re x.im) x.im)) (log (* (* x.re x.im) x.im)) (log (* (* x.re x.im) x.im)) (exp (* (* x.re x.im) x.im)) (pow (* (* x.re x.im) x.im) 3) (pow (* (* x.re x.im) x.im) 3) (* (cbrt (* (* x.re x.im) x.im)) (cbrt (* (* x.re x.im) x.im))) (cbrt (* (* x.re x.im) x.im)) (pow (* (* x.re x.im) x.im) 3) (sqrt (* (* x.re x.im) x.im)) (sqrt (* (* x.re x.im) x.im)) (* (* x.re x.im) (* (cbrt x.im) (cbrt x.im))) (* (* x.re x.im) (sqrt x.im)) (* x.re x.im) (* x.im x.im) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)) (log (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) (log (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) (log (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) (log (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) (log (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) (log (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) (log (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) (log (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) (log (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) (exp (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) (* (pow (* (* x.re x.im) x.im) 3) 27) (* (pow (* (* x.re x.im) x.im) 3) 27) (* (pow (* (* x.re x.im) x.im) 3) 27) (* (pow (* (cbrt 3) (* (* x.re x.im) x.im)) 3) 9) (* (* (pow (* (cbrt 3) (cbrt 3)) 3) 3) (pow (* (* x.re x.im) x.im) 3)) (* (* (pow (* (cbrt 3) (cbrt 3)) 3) 3) (pow (* (* x.re x.im) x.im) 3)) (* (* (pow (* (cbrt 3) (cbrt 3)) 3) 3) (pow (* (* x.re x.im) x.im) 3)) (pow (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)) 3) (* (cbrt (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) (cbrt (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)))) (cbrt (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) (pow (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)) 3) (sqrt (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) (sqrt (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) (pow (cbrt 3) 3) (* (cbrt 3) (* (cbrt 3) (* (* x.re x.im) x.im))) (exp (- (pow x.re 3) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)))) (log (- (pow x.re 3) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)))) (exp (- (pow x.re 3) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)))) (* (cbrt (- (pow x.re 3) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)))) (cbrt (- (pow x.re 3) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))))) (cbrt (- (pow x.re 3) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)))) (pow (- (pow x.re 3) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3))) 3) (sqrt (- (pow x.re 3) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)))) (sqrt (- (pow x.re 3) (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)))) (- (pow (pow x.re 3) 3) (pow (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)) 3)) (+ (* (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)) (+ (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)) (pow x.re 3))) (pow x.re 6)) (* (- (pow (cbrt 3) 3)) (* (* x.re x.im) x.im)) (- (pow x.re 6) (* (pow (* (cbrt 3) (cbrt 3)) 3) (* (* (pow x.im 3) x.re) (* x.re x.im)))) (+ (* (* (* x.re x.im) x.im) (pow (cbrt 3) 3)) (pow x.re 3)) (* (- (pow (cbrt 3) 3)) (* (* x.re x.im) x.im)) (* (cbrt 3) (* (* x.re x.im) x.im)) (* (cbrt 3) (* (* x.re x.im) x.im)) (* (cbrt 3) (* (* x.re x.im) x.im)) (* (* x.re x.im) x.im) (* (* x.re x.im) x.im) (* (* x.re x.im) x.im) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (* 3 (* (pow x.im 2) x.re)) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) (- (pow x.re 3) (* 3 (* (pow x.im 2) x.re))) 5.712 * * * [progress]: adding candidates to table 5.878 * [progress]: [Phase 3 of 3] Extracting. 5.878 * * [regime]: Finding splitpoints for: (# # # # # #) 5.880 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re) 5.880 * * * * [regimes]: Trying to branch on x.im from (# # # # # #) 5.906 * * * * [regimes]: Trying to branch on x.re from (# # # # # #) 5.930 * * * [regime]: Found split indices: #