0.834 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.362 * * * [progress]: [2/2] Setting up program. 0.368 * [progress]: [Phase 2 of 3] Improving. 0.370 * [simplify]: Simplifying using # : (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) 0.389 * * [simplify]: iteration 0 : 31 enodes (cost 21 ) 0.391 * * [simplify]: iteration 1 : 53 enodes (cost 20 ) 0.393 * * [simplify]: iteration 2 : 84 enodes (cost 20 ) 0.395 * * [simplify]: iteration 3 : 203 enodes (cost 20 ) 0.399 * * [simplify]: iteration 4 : 879 enodes (cost 20 ) 0.419 * * [simplify]: iteration 5 : 5001 enodes (cost 20 ) 0.420 * [simplify]: Simplified to: (/ (* (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re)) (exp (* (atan2 x.im x.re) y.im))) 0.429 * * [progress]: iteration 1 / 4 0.429 * * * [progress]: picking best candidate 0.433 * * * * [pick]: Picked # 0.433 * * * [progress]: localizing error 0.458 * * * [progress]: generating rewritten candidates 0.458 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1) 0.476 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1) 0.492 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.516 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 0.522 * * * [progress]: generating series expansions 0.523 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1) 0.528 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 0.529 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 0.529 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.im 0.529 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.529 * [taylor]: Taking taylor expansion of x.re in x.im 0.529 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.529 * [taylor]: Taking taylor expansion of x.im in x.im 0.531 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 0.531 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 0.531 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.531 * [taylor]: Taking taylor expansion of x.re in x.re 0.531 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.531 * [taylor]: Taking taylor expansion of x.im in x.re 0.531 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 0.531 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 0.531 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.531 * [taylor]: Taking taylor expansion of x.re in x.re 0.531 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.532 * [taylor]: Taking taylor expansion of x.im in x.re 0.532 * [taylor]: Taking taylor expansion of x.im in x.im 0.533 * [taylor]: Taking taylor expansion of 0 in x.im 0.534 * [taylor]: Taking taylor expansion of (/ 1/2 x.im) in x.im 0.535 * [taylor]: Taking taylor expansion of 1/2 in x.im 0.535 * [taylor]: Taking taylor expansion of x.im in x.im 0.538 * [taylor]: Taking taylor expansion of 0 in x.im 0.539 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 0.539 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.539 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 0.539 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.539 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.539 * [taylor]: Taking taylor expansion of x.im in x.im 0.540 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 0.540 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.540 * [taylor]: Taking taylor expansion of x.re in x.im 0.542 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 0.542 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 0.542 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.542 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.542 * [taylor]: Taking taylor expansion of x.im in x.re 0.542 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.542 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.542 * [taylor]: Taking taylor expansion of x.re in x.re 0.545 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 0.545 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.545 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.545 * [taylor]: Taking taylor expansion of x.im in x.re 0.545 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.545 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.545 * [taylor]: Taking taylor expansion of x.re in x.re 0.547 * [taylor]: Taking taylor expansion of 1 in x.im 0.547 * [taylor]: Taking taylor expansion of 0 in x.im 0.550 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 0.550 * [taylor]: Taking taylor expansion of 1/2 in x.im 0.550 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.550 * [taylor]: Taking taylor expansion of x.im in x.im 0.553 * [taylor]: Taking taylor expansion of 0 in x.im 0.554 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 0.555 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.555 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 0.555 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.555 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.555 * [taylor]: Taking taylor expansion of x.im in x.im 0.555 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 0.555 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.555 * [taylor]: Taking taylor expansion of x.re in x.im 0.557 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 0.557 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 0.557 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.557 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.557 * [taylor]: Taking taylor expansion of x.im in x.re 0.557 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.557 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.558 * [taylor]: Taking taylor expansion of x.re in x.re 0.560 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 0.560 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 0.560 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.560 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.560 * [taylor]: Taking taylor expansion of x.im in x.re 0.560 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.560 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.560 * [taylor]: Taking taylor expansion of x.re in x.re 0.563 * [taylor]: Taking taylor expansion of 1 in x.im 0.563 * [taylor]: Taking taylor expansion of 0 in x.im 0.565 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 0.565 * [taylor]: Taking taylor expansion of 1/2 in x.im 0.565 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.565 * [taylor]: Taking taylor expansion of x.im in x.im 0.568 * [taylor]: Taking taylor expansion of 0 in x.im 0.570 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1) 0.570 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 0.570 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 0.570 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.im 0.570 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.570 * [taylor]: Taking taylor expansion of x.re in x.im 0.570 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.570 * [taylor]: Taking taylor expansion of x.im in x.im 0.570 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 0.570 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 0.570 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.570 * [taylor]: Taking taylor expansion of x.re in x.re 0.571 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.571 * [taylor]: Taking taylor expansion of x.im in x.re 0.571 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 0.571 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 0.571 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.571 * [taylor]: Taking taylor expansion of x.re in x.re 0.571 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.571 * [taylor]: Taking taylor expansion of x.im in x.re 0.572 * [taylor]: Taking taylor expansion of x.im in x.im 0.572 * [taylor]: Taking taylor expansion of 0 in x.im 0.573 * [taylor]: Taking taylor expansion of (/ 1/2 x.im) in x.im 0.573 * [taylor]: Taking taylor expansion of 1/2 in x.im 0.573 * [taylor]: Taking taylor expansion of x.im in x.im 0.575 * [taylor]: Taking taylor expansion of 0 in x.im 0.576 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 0.576 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.576 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 0.576 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.576 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.576 * [taylor]: Taking taylor expansion of x.im in x.im 0.576 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 0.577 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.577 * [taylor]: Taking taylor expansion of x.re in x.im 0.579 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 0.579 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 0.579 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.579 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.579 * [taylor]: Taking taylor expansion of x.im in x.re 0.579 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.579 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.579 * [taylor]: Taking taylor expansion of x.re in x.re 0.581 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 0.581 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.581 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.581 * [taylor]: Taking taylor expansion of x.im in x.re 0.582 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.582 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.582 * [taylor]: Taking taylor expansion of x.re in x.re 0.584 * [taylor]: Taking taylor expansion of 1 in x.im 0.584 * [taylor]: Taking taylor expansion of 0 in x.im 0.586 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 0.587 * [taylor]: Taking taylor expansion of 1/2 in x.im 0.587 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.587 * [taylor]: Taking taylor expansion of x.im in x.im 0.590 * [taylor]: Taking taylor expansion of 0 in x.im 0.591 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 0.591 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 0.591 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.591 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.591 * [taylor]: Taking taylor expansion of x.im in x.im 0.592 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 0.592 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.592 * [taylor]: Taking taylor expansion of x.re in x.im 0.600 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 0.600 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 0.600 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.600 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.600 * [taylor]: Taking taylor expansion of x.im in x.re 0.600 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.600 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.600 * [taylor]: Taking taylor expansion of x.re in x.re 0.603 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 0.603 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.603 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.603 * [taylor]: Taking taylor expansion of x.im in x.re 0.603 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.603 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.603 * [taylor]: Taking taylor expansion of x.re in x.re 0.606 * [taylor]: Taking taylor expansion of 1 in x.im 0.606 * [taylor]: Taking taylor expansion of 0 in x.im 0.608 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 0.609 * [taylor]: Taking taylor expansion of 1/2 in x.im 0.609 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.609 * [taylor]: Taking taylor expansion of x.im in x.im 0.612 * [taylor]: Taking taylor expansion of 0 in x.im 0.613 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.614 * [approximate]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in (x.re x.im y.im y.re) around 0 0.614 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.re 0.614 * [taylor]: Taking taylor expansion of (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2)))))) in y.re 0.614 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.re 0.614 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.re 0.615 * [taylor]: Taking taylor expansion of y.re in y.re 0.615 * [taylor]: Taking taylor expansion of (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))) in y.re 0.615 * [taylor]: Taking taylor expansion of y.im in y.re 0.615 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow x.re 2) (pow x.im 2)))) in y.re 0.615 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in y.re 0.615 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in y.re 0.615 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 0.615 * [taylor]: Taking taylor expansion of x.re in y.re 0.615 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.615 * [taylor]: Taking taylor expansion of x.im in y.re 0.617 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in y.im 0.617 * [taylor]: Taking taylor expansion of (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2)))))) in y.im 0.617 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.im 0.617 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.im 0.617 * [taylor]: Taking taylor expansion of y.re in y.im 0.617 * [taylor]: Taking taylor expansion of (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))) in y.im 0.617 * [taylor]: Taking taylor expansion of y.im in y.im 0.617 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow x.re 2) (pow x.im 2)))) in y.im 0.617 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in y.im 0.617 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in y.im 0.617 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.617 * [taylor]: Taking taylor expansion of x.re in y.im 0.617 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.617 * [taylor]: Taking taylor expansion of x.im in y.im 0.619 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.im 0.619 * [taylor]: Taking taylor expansion of (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2)))))) in x.im 0.619 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.im 0.619 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.im 0.619 * [taylor]: Taking taylor expansion of y.re in x.im 0.619 * [taylor]: Taking taylor expansion of (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))) in x.im 0.619 * [taylor]: Taking taylor expansion of y.im in x.im 0.619 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow x.re 2) (pow x.im 2)))) in x.im 0.619 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 0.619 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.im 0.619 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.619 * [taylor]: Taking taylor expansion of x.re in x.im 0.619 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.619 * [taylor]: Taking taylor expansion of x.im in x.im 0.620 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.re 0.620 * [taylor]: Taking taylor expansion of (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2)))))) in x.re 0.620 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.re 0.620 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.re 0.620 * [taylor]: Taking taylor expansion of y.re in x.re 0.620 * [taylor]: Taking taylor expansion of (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))) in x.re 0.620 * [taylor]: Taking taylor expansion of y.im in x.re 0.620 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow x.re 2) (pow x.im 2)))) in x.re 0.620 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 0.620 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 0.620 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.620 * [taylor]: Taking taylor expansion of x.re in x.re 0.620 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.620 * [taylor]: Taking taylor expansion of x.im in x.re 0.621 * [taylor]: Taking taylor expansion of (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))))) in x.re 0.621 * [taylor]: Taking taylor expansion of (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2)))))) in x.re 0.621 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.re 0.621 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.re 0.621 * [taylor]: Taking taylor expansion of y.re in x.re 0.621 * [taylor]: Taking taylor expansion of (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))) in x.re 0.621 * [taylor]: Taking taylor expansion of y.im in x.re 0.621 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow x.re 2) (pow x.im 2)))) in x.re 0.621 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 0.621 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 0.621 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.621 * [taylor]: Taking taylor expansion of x.re in x.re 0.621 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.621 * [taylor]: Taking taylor expansion of x.im in x.re 0.623 * [taylor]: Taking taylor expansion of (sin (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re))) in x.im 0.623 * [taylor]: Taking taylor expansion of (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) in x.im 0.623 * [taylor]: Taking taylor expansion of (* y.im (log x.im)) in x.im 0.623 * [taylor]: Taking taylor expansion of y.im in x.im 0.623 * [taylor]: Taking taylor expansion of (log x.im) in x.im 0.623 * [taylor]: Taking taylor expansion of x.im in x.im 0.623 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.im 0.623 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.im 0.623 * [taylor]: Taking taylor expansion of y.re in x.im 0.624 * [taylor]: Taking taylor expansion of (sin (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re))) in y.im 0.624 * [taylor]: Taking taylor expansion of (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) in y.im 0.624 * [taylor]: Taking taylor expansion of (* y.im (log x.im)) in y.im 0.624 * [taylor]: Taking taylor expansion of y.im in y.im 0.624 * [taylor]: Taking taylor expansion of (log x.im) in y.im 0.624 * [taylor]: Taking taylor expansion of x.im in y.im 0.624 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.im 0.624 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.im 0.625 * [taylor]: Taking taylor expansion of y.re in y.im 0.625 * [taylor]: Taking taylor expansion of (sin (* (atan2 x.im x.re) y.re)) in y.re 0.625 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.re 0.625 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.re 0.625 * [taylor]: Taking taylor expansion of y.re in y.re 0.629 * [taylor]: Taking taylor expansion of 0 in x.im 0.629 * [taylor]: Taking taylor expansion of 0 in y.im 0.629 * [taylor]: Taking taylor expansion of 0 in y.re 0.632 * [taylor]: Taking taylor expansion of 0 in y.im 0.632 * [taylor]: Taking taylor expansion of 0 in y.re 0.634 * [taylor]: Taking taylor expansion of (* (cos (* (atan2 x.im x.re) y.re)) (log x.im)) in y.re 0.635 * [taylor]: Taking taylor expansion of (cos (* (atan2 x.im x.re) y.re)) in y.re 0.635 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.re 0.635 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.re 0.635 * [taylor]: Taking taylor expansion of y.re in y.re 0.635 * [taylor]: Taking taylor expansion of (log x.im) in y.re 0.635 * [taylor]: Taking taylor expansion of x.im in y.re 0.641 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* (cos (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re))) y.im) (pow x.im 2))) in x.im 0.641 * [taylor]: Taking taylor expansion of 1/2 in x.im 0.641 * [taylor]: Taking taylor expansion of (/ (* (cos (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re))) y.im) (pow x.im 2)) in x.im 0.641 * [taylor]: Taking taylor expansion of (* (cos (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re))) y.im) in x.im 0.641 * [taylor]: Taking taylor expansion of (cos (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re))) in x.im 0.641 * [taylor]: Taking taylor expansion of (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) in x.im 0.641 * [taylor]: Taking taylor expansion of (* y.im (log x.im)) in x.im 0.641 * [taylor]: Taking taylor expansion of y.im in x.im 0.641 * [taylor]: Taking taylor expansion of (log x.im) in x.im 0.641 * [taylor]: Taking taylor expansion of x.im in x.im 0.642 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.im 0.642 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.im 0.642 * [taylor]: Taking taylor expansion of y.re in x.im 0.642 * [taylor]: Taking taylor expansion of y.im in x.im 0.642 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.643 * [taylor]: Taking taylor expansion of x.im in x.im 0.656 * [taylor]: Taking taylor expansion of 0 in y.im 0.656 * [taylor]: Taking taylor expansion of 0 in y.re 0.656 * [taylor]: Taking taylor expansion of 0 in y.im 0.656 * [taylor]: Taking taylor expansion of 0 in y.re 0.661 * [taylor]: Taking taylor expansion of 0 in y.im 0.661 * [taylor]: Taking taylor expansion of 0 in y.re 0.661 * [taylor]: Taking taylor expansion of 0 in y.re 0.662 * [taylor]: Taking taylor expansion of 0 in y.re 0.665 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (pow (log x.im) 2) (sin (* (atan2 x.im x.re) y.re))))) in y.re 0.666 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow (log x.im) 2) (sin (* (atan2 x.im x.re) y.re)))) in y.re 0.666 * [taylor]: Taking taylor expansion of 1/2 in y.re 0.666 * [taylor]: Taking taylor expansion of (* (pow (log x.im) 2) (sin (* (atan2 x.im x.re) y.re))) in y.re 0.666 * [taylor]: Taking taylor expansion of (pow (log x.im) 2) in y.re 0.666 * [taylor]: Taking taylor expansion of (log x.im) in y.re 0.666 * [taylor]: Taking taylor expansion of x.im in y.re 0.666 * [taylor]: Taking taylor expansion of (sin (* (atan2 x.im x.re) y.re)) in y.re 0.666 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.re 0.666 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.re 0.666 * [taylor]: Taking taylor expansion of y.re in y.re 0.668 * [approximate]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in (x.re x.im y.im y.re) around 0 0.668 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.re 0.668 * [taylor]: Taking taylor expansion of (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re)) in y.re 0.668 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in y.re 0.668 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in y.re 0.668 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in y.re 0.668 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in y.re 0.668 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in y.re 0.668 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.668 * [taylor]: Taking taylor expansion of x.im in y.re 0.668 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in y.re 0.668 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 0.668 * [taylor]: Taking taylor expansion of x.re in y.re 0.670 * [taylor]: Taking taylor expansion of y.im in y.re 0.670 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 0.670 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in y.re 0.670 * [taylor]: Taking taylor expansion of y.re in y.re 0.670 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in y.im 0.671 * [taylor]: Taking taylor expansion of (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re)) in y.im 0.671 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in y.im 0.671 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in y.im 0.671 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in y.im 0.671 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in y.im 0.671 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in y.im 0.671 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.671 * [taylor]: Taking taylor expansion of x.im in y.im 0.671 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in y.im 0.671 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.671 * [taylor]: Taking taylor expansion of x.re in y.im 0.672 * [taylor]: Taking taylor expansion of y.im in y.im 0.672 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.im 0.672 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in y.im 0.672 * [taylor]: Taking taylor expansion of y.re in y.im 0.673 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.im 0.673 * [taylor]: Taking taylor expansion of (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re)) in x.im 0.673 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in x.im 0.673 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in x.im 0.673 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.673 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 0.673 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.673 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.673 * [taylor]: Taking taylor expansion of x.im in x.im 0.674 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 0.674 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.674 * [taylor]: Taking taylor expansion of x.re in x.im 0.676 * [taylor]: Taking taylor expansion of y.im in x.im 0.677 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.im 0.677 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.im 0.677 * [taylor]: Taking taylor expansion of y.re in x.im 0.677 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.re 0.677 * [taylor]: Taking taylor expansion of (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re)) in x.re 0.677 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in x.re 0.677 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in x.re 0.677 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 0.677 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 0.677 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.677 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.677 * [taylor]: Taking taylor expansion of x.im in x.re 0.678 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.678 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.678 * [taylor]: Taking taylor expansion of x.re in x.re 0.680 * [taylor]: Taking taylor expansion of y.im in x.re 0.681 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.re 0.681 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.re 0.681 * [taylor]: Taking taylor expansion of y.re in x.re 0.681 * [taylor]: Taking taylor expansion of (sin (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re))) in x.re 0.682 * [taylor]: Taking taylor expansion of (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re)) in x.re 0.682 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in x.re 0.682 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in x.re 0.682 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 0.682 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.682 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.682 * [taylor]: Taking taylor expansion of x.im in x.re 0.682 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.682 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.682 * [taylor]: Taking taylor expansion of x.re in x.re 0.684 * [taylor]: Taking taylor expansion of y.im in x.re 0.685 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.re 0.685 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.re 0.685 * [taylor]: Taking taylor expansion of y.re in x.re 0.686 * [taylor]: Taking taylor expansion of (sin (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) in x.im 0.686 * [taylor]: Taking taylor expansion of (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im)) in x.im 0.686 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.im 0.686 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.im 0.686 * [taylor]: Taking taylor expansion of y.re in x.im 0.686 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in x.im 0.686 * [taylor]: Taking taylor expansion of (log x.re) in x.im 0.686 * [taylor]: Taking taylor expansion of x.re in x.im 0.686 * [taylor]: Taking taylor expansion of y.im in x.im 0.687 * [taylor]: Taking taylor expansion of (sin (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) in y.im 0.687 * [taylor]: Taking taylor expansion of (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im)) in y.im 0.687 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.im 0.687 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in y.im 0.687 * [taylor]: Taking taylor expansion of y.re in y.im 0.687 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in y.im 0.687 * [taylor]: Taking taylor expansion of (log x.re) in y.im 0.687 * [taylor]: Taking taylor expansion of x.re in y.im 0.688 * [taylor]: Taking taylor expansion of y.im in y.im 0.688 * [taylor]: Taking taylor expansion of (sin (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) in y.re 0.688 * [taylor]: Taking taylor expansion of (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im)) in y.re 0.688 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 0.688 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in y.re 0.688 * [taylor]: Taking taylor expansion of y.re in y.re 0.688 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in y.re 0.688 * [taylor]: Taking taylor expansion of (log x.re) in y.re 0.688 * [taylor]: Taking taylor expansion of x.re in y.re 0.688 * [taylor]: Taking taylor expansion of y.im in y.re 0.691 * [taylor]: Taking taylor expansion of 0 in x.im 0.692 * [taylor]: Taking taylor expansion of 0 in y.im 0.692 * [taylor]: Taking taylor expansion of 0 in y.re 0.700 * [taylor]: Taking taylor expansion of 0 in y.im 0.700 * [taylor]: Taking taylor expansion of 0 in y.re 0.700 * [taylor]: Taking taylor expansion of 0 in y.re 0.706 * [taylor]: Taking taylor expansion of (* 1/2 (/ (cos (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) (* y.im (pow x.im 2)))) in x.im 0.706 * [taylor]: Taking taylor expansion of 1/2 in x.im 0.706 * [taylor]: Taking taylor expansion of (/ (cos (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) (* y.im (pow x.im 2))) in x.im 0.706 * [taylor]: Taking taylor expansion of (cos (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) in x.im 0.706 * [taylor]: Taking taylor expansion of (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im)) in x.im 0.706 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.im 0.706 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.im 0.706 * [taylor]: Taking taylor expansion of y.re in x.im 0.706 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in x.im 0.706 * [taylor]: Taking taylor expansion of (log x.re) in x.im 0.706 * [taylor]: Taking taylor expansion of x.re in x.im 0.706 * [taylor]: Taking taylor expansion of y.im in x.im 0.707 * [taylor]: Taking taylor expansion of (* y.im (pow x.im 2)) in x.im 0.707 * [taylor]: Taking taylor expansion of y.im in x.im 0.707 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.707 * [taylor]: Taking taylor expansion of x.im in x.im 0.719 * [taylor]: Taking taylor expansion of 0 in y.im 0.719 * [taylor]: Taking taylor expansion of 0 in y.re 0.719 * [taylor]: Taking taylor expansion of 0 in y.im 0.719 * [taylor]: Taking taylor expansion of 0 in y.re 0.719 * [approximate]: Taking taylor expansion of (sin (- (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in (x.re x.im y.im y.re) around 0 0.719 * [taylor]: Taking taylor expansion of (sin (- (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.re 0.719 * [taylor]: Taking taylor expansion of (- (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in y.re 0.719 * [taylor]: Taking taylor expansion of (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 0.719 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in y.re 0.719 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in y.re 0.720 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in y.re 0.720 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in y.re 0.720 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in y.re 0.720 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.re 0.720 * [taylor]: Taking taylor expansion of x.im in y.re 0.720 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in y.re 0.720 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.re 0.720 * [taylor]: Taking taylor expansion of x.re in y.re 0.721 * [taylor]: Taking taylor expansion of y.im in y.re 0.721 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in y.re 0.721 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in y.re 0.721 * [taylor]: Taking taylor expansion of y.re in y.re 0.722 * [taylor]: Taking taylor expansion of (sin (- (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in y.im 0.722 * [taylor]: Taking taylor expansion of (- (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in y.im 0.722 * [taylor]: Taking taylor expansion of (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.im 0.722 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in y.im 0.722 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in y.im 0.722 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in y.im 0.722 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in y.im 0.722 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in y.im 0.722 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 0.722 * [taylor]: Taking taylor expansion of x.im in y.im 0.722 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in y.im 0.722 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 0.722 * [taylor]: Taking taylor expansion of x.re in y.im 0.723 * [taylor]: Taking taylor expansion of y.im in y.im 0.724 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in y.im 0.724 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in y.im 0.724 * [taylor]: Taking taylor expansion of y.re in y.im 0.724 * [taylor]: Taking taylor expansion of (sin (- (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.im 0.724 * [taylor]: Taking taylor expansion of (- (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in x.im 0.725 * [taylor]: Taking taylor expansion of (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.im 0.725 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in x.im 0.725 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in x.im 0.725 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 0.725 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 0.725 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 0.725 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.725 * [taylor]: Taking taylor expansion of x.im in x.im 0.725 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 0.725 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 0.725 * [taylor]: Taking taylor expansion of x.re in x.im 0.728 * [taylor]: Taking taylor expansion of y.im in x.im 0.728 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in x.im 0.728 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.im 0.728 * [taylor]: Taking taylor expansion of y.re in x.im 0.729 * [taylor]: Taking taylor expansion of (sin (- (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.re 0.729 * [taylor]: Taking taylor expansion of (- (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in x.re 0.729 * [taylor]: Taking taylor expansion of (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.re 0.729 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in x.re 0.729 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in x.re 0.729 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 0.729 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 0.729 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.729 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.729 * [taylor]: Taking taylor expansion of x.im in x.re 0.729 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.729 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.730 * [taylor]: Taking taylor expansion of x.re in x.re 0.732 * [taylor]: Taking taylor expansion of y.im in x.re 0.733 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in x.re 0.733 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.re 0.733 * [taylor]: Taking taylor expansion of y.re in x.re 0.734 * [taylor]: Taking taylor expansion of (sin (- (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)))) in x.re 0.734 * [taylor]: Taking taylor expansion of (- (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in x.re 0.734 * [taylor]: Taking taylor expansion of (+ (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.re 0.734 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in x.re 0.734 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in x.re 0.734 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 0.734 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 0.734 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 0.734 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 0.734 * [taylor]: Taking taylor expansion of x.im in x.re 0.734 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 0.734 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 0.734 * [taylor]: Taking taylor expansion of x.re in x.re 0.737 * [taylor]: Taking taylor expansion of y.im in x.re 0.738 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in x.re 0.738 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.re 0.738 * [taylor]: Taking taylor expansion of y.re in x.re 0.739 * [taylor]: Taking taylor expansion of (sin (- (/ (log x.re) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in x.im 0.739 * [taylor]: Taking taylor expansion of (- (/ (log x.re) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.im 0.739 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in x.im 0.739 * [taylor]: Taking taylor expansion of (log x.re) in x.im 0.739 * [taylor]: Taking taylor expansion of x.re in x.im 0.739 * [taylor]: Taking taylor expansion of y.im in x.im 0.739 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in x.im 0.739 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.im 0.739 * [taylor]: Taking taylor expansion of y.re in x.im 0.740 * [taylor]: Taking taylor expansion of (sin (- (/ (log x.re) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in y.im 0.740 * [taylor]: Taking taylor expansion of (- (/ (log x.re) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.im 0.740 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in y.im 0.740 * [taylor]: Taking taylor expansion of (log x.re) in y.im 0.740 * [taylor]: Taking taylor expansion of x.re in y.im 0.740 * [taylor]: Taking taylor expansion of y.im in y.im 0.740 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in y.im 0.740 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in y.im 0.740 * [taylor]: Taking taylor expansion of y.re in y.im 0.741 * [taylor]: Taking taylor expansion of (sin (- (/ (log x.re) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in y.re 0.741 * [taylor]: Taking taylor expansion of (- (/ (log x.re) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 0.741 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in y.re 0.741 * [taylor]: Taking taylor expansion of (log x.re) in y.re 0.741 * [taylor]: Taking taylor expansion of x.re in y.re 0.741 * [taylor]: Taking taylor expansion of y.im in y.re 0.741 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in y.re 0.741 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in y.re 0.741 * [taylor]: Taking taylor expansion of y.re in y.re 0.745 * [taylor]: Taking taylor expansion of 0 in x.im 0.745 * [taylor]: Taking taylor expansion of 0 in y.im 0.745 * [taylor]: Taking taylor expansion of 0 in y.re 0.748 * [taylor]: Taking taylor expansion of 0 in y.im 0.748 * [taylor]: Taking taylor expansion of 0 in y.re 0.748 * [taylor]: Taking taylor expansion of 0 in y.re 0.755 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (cos (- (/ (log x.re) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) (* y.im (pow x.im 2))))) in x.im 0.755 * [taylor]: Taking taylor expansion of (* 1/2 (/ (cos (- (/ (log x.re) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) (* y.im (pow x.im 2)))) in x.im 0.755 * [taylor]: Taking taylor expansion of 1/2 in x.im 0.755 * [taylor]: Taking taylor expansion of (/ (cos (- (/ (log x.re) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) (* y.im (pow x.im 2))) in x.im 0.755 * [taylor]: Taking taylor expansion of (cos (- (/ (log x.re) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in x.im 0.755 * [taylor]: Taking taylor expansion of (- (/ (log x.re) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.im 0.755 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in x.im 0.755 * [taylor]: Taking taylor expansion of (log x.re) in x.im 0.755 * [taylor]: Taking taylor expansion of x.re in x.im 0.755 * [taylor]: Taking taylor expansion of y.im in x.im 0.755 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in x.im 0.755 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.im 0.755 * [taylor]: Taking taylor expansion of y.re in x.im 0.755 * [taylor]: Taking taylor expansion of (* y.im (pow x.im 2)) in x.im 0.755 * [taylor]: Taking taylor expansion of y.im in x.im 0.755 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 0.755 * [taylor]: Taking taylor expansion of x.im in x.im 0.767 * [taylor]: Taking taylor expansion of 0 in y.im 0.767 * [taylor]: Taking taylor expansion of 0 in y.re 0.767 * [taylor]: Taking taylor expansion of 0 in y.im 0.767 * [taylor]: Taking taylor expansion of 0 in y.re 0.768 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 0.768 * [approximate]: Taking taylor expansion of (* (atan2 x.im x.re) y.im) in (x.im x.re y.im) around 0 0.768 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.im) in y.im 0.768 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.im 0.768 * [taylor]: Taking taylor expansion of y.im in y.im 0.768 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.im) in x.re 0.768 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.re 0.768 * [taylor]: Taking taylor expansion of y.im in x.re 0.768 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.im) in x.im 0.768 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.im 0.768 * [taylor]: Taking taylor expansion of y.im in x.im 0.768 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.im) in x.im 0.768 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.im 0.768 * [taylor]: Taking taylor expansion of y.im in x.im 0.768 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.im) in x.re 0.768 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.re 0.768 * [taylor]: Taking taylor expansion of y.im in x.re 0.768 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.im) in y.im 0.768 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.im 0.768 * [taylor]: Taking taylor expansion of y.im in y.im 0.768 * [taylor]: Taking taylor expansion of 0 in x.re 0.768 * [taylor]: Taking taylor expansion of 0 in y.im 0.768 * [taylor]: Taking taylor expansion of 0 in y.im 0.769 * [taylor]: Taking taylor expansion of 0 in x.re 0.769 * [taylor]: Taking taylor expansion of 0 in y.im 0.769 * [taylor]: Taking taylor expansion of 0 in y.im 0.770 * [taylor]: Taking taylor expansion of 0 in y.im 0.770 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.im) in (x.im x.re y.im) around 0 0.770 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.im) in y.im 0.770 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in y.im 0.771 * [taylor]: Taking taylor expansion of y.im in y.im 0.771 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.im) in x.re 0.771 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.re 0.771 * [taylor]: Taking taylor expansion of y.im in x.re 0.771 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.im) in x.im 0.771 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.im 0.771 * [taylor]: Taking taylor expansion of y.im in x.im 0.771 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.im) in x.im 0.771 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.im 0.771 * [taylor]: Taking taylor expansion of y.im in x.im 0.771 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.im) in x.re 0.771 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.re 0.771 * [taylor]: Taking taylor expansion of y.im in x.re 0.771 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.im) in y.im 0.771 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in y.im 0.771 * [taylor]: Taking taylor expansion of y.im in y.im 0.772 * [taylor]: Taking taylor expansion of 0 in x.re 0.772 * [taylor]: Taking taylor expansion of 0 in y.im 0.772 * [taylor]: Taking taylor expansion of 0 in y.im 0.773 * [taylor]: Taking taylor expansion of 0 in x.re 0.773 * [taylor]: Taking taylor expansion of 0 in y.im 0.773 * [taylor]: Taking taylor expansion of 0 in y.im 0.773 * [taylor]: Taking taylor expansion of 0 in y.im 0.774 * [taylor]: Taking taylor expansion of 0 in x.re 0.774 * [taylor]: Taking taylor expansion of 0 in y.im 0.774 * [taylor]: Taking taylor expansion of 0 in y.im 0.774 * [taylor]: Taking taylor expansion of 0 in y.im 0.774 * [taylor]: Taking taylor expansion of 0 in y.im 0.775 * [approximate]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im)) in (x.im x.re y.im) around 0 0.775 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im)) in y.im 0.775 * [taylor]: Taking taylor expansion of -1 in y.im 0.775 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im) in y.im 0.775 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in y.im 0.775 * [taylor]: Taking taylor expansion of y.im in y.im 0.775 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im)) in x.re 0.775 * [taylor]: Taking taylor expansion of -1 in x.re 0.775 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im) in x.re 0.775 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.re 0.775 * [taylor]: Taking taylor expansion of y.im in x.re 0.775 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im)) in x.im 0.775 * [taylor]: Taking taylor expansion of -1 in x.im 0.775 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im) in x.im 0.775 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.im 0.775 * [taylor]: Taking taylor expansion of y.im in x.im 0.775 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im)) in x.im 0.775 * [taylor]: Taking taylor expansion of -1 in x.im 0.775 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im) in x.im 0.776 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.im 0.776 * [taylor]: Taking taylor expansion of y.im in x.im 0.776 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im)) in x.re 0.776 * [taylor]: Taking taylor expansion of -1 in x.re 0.776 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im) in x.re 0.776 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.re 0.776 * [taylor]: Taking taylor expansion of y.im in x.re 0.776 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im)) in y.im 0.776 * [taylor]: Taking taylor expansion of -1 in y.im 0.776 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im) in y.im 0.776 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in y.im 0.776 * [taylor]: Taking taylor expansion of y.im in y.im 0.777 * [taylor]: Taking taylor expansion of 0 in x.re 0.777 * [taylor]: Taking taylor expansion of 0 in y.im 0.777 * [taylor]: Taking taylor expansion of 0 in y.im 0.779 * [taylor]: Taking taylor expansion of 0 in x.re 0.779 * [taylor]: Taking taylor expansion of 0 in y.im 0.779 * [taylor]: Taking taylor expansion of 0 in y.im 0.780 * [taylor]: Taking taylor expansion of 0 in y.im 0.783 * [taylor]: Taking taylor expansion of 0 in x.re 0.783 * [taylor]: Taking taylor expansion of 0 in y.im 0.783 * [taylor]: Taking taylor expansion of 0 in y.im 0.783 * [taylor]: Taking taylor expansion of 0 in y.im 0.784 * [taylor]: Taking taylor expansion of 0 in y.im 0.784 * * * [progress]: simplifying candidates 0.786 * [simplify]: Simplifying using # : (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (* 1 1)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (* 1 1)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (log (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (* (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (atan2 x.im x.re) y.im) (+ (log (atan2 x.im x.re)) (log y.im)) (log (* (atan2 x.im x.re) y.im)) (exp (* (atan2 x.im x.re) y.im)) (* (* (* (atan2 x.im x.re) (atan2 x.im x.re)) (atan2 x.im x.re)) (* (* y.im y.im) y.im)) (* (cbrt (* (atan2 x.im x.re) y.im)) (cbrt (* (atan2 x.im x.re) y.im))) (cbrt (* (atan2 x.im x.re) y.im)) (* (* (* (atan2 x.im x.re) y.im) (* (atan2 x.im x.re) y.im)) (* (atan2 x.im x.re) y.im)) (sqrt (* (atan2 x.im x.re) y.im)) (sqrt (* (atan2 x.im x.re) y.im)) (* (sqrt (atan2 x.im x.re)) (sqrt y.im)) (* (sqrt (atan2 x.im x.re)) (sqrt y.im)) (* (atan2 x.im x.re) (* (cbrt y.im) (cbrt y.im))) (* (atan2 x.im x.re) (sqrt y.im)) (* (atan2 x.im x.re) 1) (* (cbrt (atan2 x.im x.re)) y.im) (* (sqrt (atan2 x.im x.re)) y.im) (* (atan2 x.im x.re) y.im) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) (* (atan2 x.im x.re) y.im) (* (atan2 x.im x.re) y.im) (* (atan2 x.im x.re) y.im) 0.794 * * [simplify]: iteration 0 : 193 enodes (cost 485 ) 0.797 * * [simplify]: iteration 1 : 488 enodes (cost 448 ) 0.805 * * [simplify]: iteration 2 : 1083 enodes (cost 448 ) 0.821 * * [simplify]: iteration 3 : 2716 enodes (cost 448 ) 0.863 * * [simplify]: iteration 4 : 5001 enodes (cost 448 ) 0.867 * [simplify]: Simplified to: (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (* (cos (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (sin (* (atan2 x.im x.re) y.re))) (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (cos (* (atan2 x.im x.re) y.re))) (log (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))))) (cbrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sqrt (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (atan2 x.im x.re) y.im) (log (* (atan2 x.im x.re) y.im)) (log (* (atan2 x.im x.re) y.im)) (exp (* (atan2 x.im x.re) y.im)) (pow (* (atan2 x.im x.re) y.im) 3) (* (cbrt (* (atan2 x.im x.re) y.im)) (cbrt (* (atan2 x.im x.re) y.im))) (cbrt (* (atan2 x.im x.re) y.im)) (pow (* (atan2 x.im x.re) y.im) 3) (sqrt (* (atan2 x.im x.re) y.im)) (sqrt (* (atan2 x.im x.re) y.im)) (* (sqrt (atan2 x.im x.re)) (sqrt y.im)) (* (sqrt (atan2 x.im x.re)) (sqrt y.im)) (* (atan2 x.im x.re) (* (cbrt y.im) (cbrt y.im))) (* (atan2 x.im x.re) (sqrt y.im)) (atan2 x.im x.re) (* (cbrt (atan2 x.im x.re)) y.im) (* (sqrt (atan2 x.im x.re)) y.im) (* (atan2 x.im x.re) y.im) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) (+ (* y.im (log x.im)) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ -1 x.re))))) (* (atan2 x.im x.re) y.im) (* (atan2 x.im x.re) y.im) (* (atan2 x.im x.re) y.im) 0.867 * * * [progress]: adding candidates to table 1.115 * * [progress]: iteration 2 / 4 1.115 * * * [progress]: picking best candidate 1.144 * * * * [pick]: Picked # 1.144 * * * [progress]: localizing error 1.175 * * * [progress]: generating rewritten candidates 1.175 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1 1) 1.191 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 1) 1.206 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 1.224 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 1.231 * * * [progress]: generating series expansions 1.231 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1 1) 1.231 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 1.231 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.231 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.im 1.231 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.231 * [taylor]: Taking taylor expansion of x.re in x.im 1.231 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.231 * [taylor]: Taking taylor expansion of x.im in x.im 1.232 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 1.232 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 1.232 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.232 * [taylor]: Taking taylor expansion of x.re in x.re 1.232 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.232 * [taylor]: Taking taylor expansion of x.im in x.re 1.233 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 1.233 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 1.233 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.233 * [taylor]: Taking taylor expansion of x.re in x.re 1.233 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.233 * [taylor]: Taking taylor expansion of x.im in x.re 1.233 * [taylor]: Taking taylor expansion of x.im in x.im 1.233 * [taylor]: Taking taylor expansion of 0 in x.im 1.235 * [taylor]: Taking taylor expansion of (/ 1/2 x.im) in x.im 1.235 * [taylor]: Taking taylor expansion of 1/2 in x.im 1.235 * [taylor]: Taking taylor expansion of x.im in x.im 1.237 * [taylor]: Taking taylor expansion of 0 in x.im 1.238 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 1.238 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.238 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 1.238 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.238 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.238 * [taylor]: Taking taylor expansion of x.im in x.im 1.238 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 1.238 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.238 * [taylor]: Taking taylor expansion of x.re in x.im 1.241 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.241 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.241 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.241 * [taylor]: Taking taylor expansion of x.im in x.re 1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.241 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.241 * [taylor]: Taking taylor expansion of x.re in x.re 1.243 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.243 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.243 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.243 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.243 * [taylor]: Taking taylor expansion of x.im in x.re 1.244 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.244 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.244 * [taylor]: Taking taylor expansion of x.re in x.re 1.246 * [taylor]: Taking taylor expansion of 1 in x.im 1.246 * [taylor]: Taking taylor expansion of 0 in x.im 1.248 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 1.248 * [taylor]: Taking taylor expansion of 1/2 in x.im 1.248 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.248 * [taylor]: Taking taylor expansion of x.im in x.im 1.251 * [taylor]: Taking taylor expansion of 0 in x.im 1.253 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 1.253 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.253 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 1.253 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.253 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.253 * [taylor]: Taking taylor expansion of x.im in x.im 1.253 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 1.253 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.253 * [taylor]: Taking taylor expansion of x.re in x.im 1.256 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.256 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.256 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.256 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.256 * [taylor]: Taking taylor expansion of x.im in x.re 1.256 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.256 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.256 * [taylor]: Taking taylor expansion of x.re in x.re 1.258 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.258 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.258 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.258 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.258 * [taylor]: Taking taylor expansion of x.im in x.re 1.258 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.258 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.259 * [taylor]: Taking taylor expansion of x.re in x.re 1.261 * [taylor]: Taking taylor expansion of 1 in x.im 1.261 * [taylor]: Taking taylor expansion of 0 in x.im 1.263 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 1.263 * [taylor]: Taking taylor expansion of 1/2 in x.im 1.263 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.263 * [taylor]: Taking taylor expansion of x.im in x.im 1.267 * [taylor]: Taking taylor expansion of 0 in x.im 1.268 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 1) 1.268 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 1.268 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.268 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.im 1.268 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.268 * [taylor]: Taking taylor expansion of x.re in x.im 1.268 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.268 * [taylor]: Taking taylor expansion of x.im in x.im 1.269 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 1.269 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 1.269 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.269 * [taylor]: Taking taylor expansion of x.re in x.re 1.269 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.269 * [taylor]: Taking taylor expansion of x.im in x.re 1.269 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 1.269 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 1.269 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.269 * [taylor]: Taking taylor expansion of x.re in x.re 1.269 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.269 * [taylor]: Taking taylor expansion of x.im in x.re 1.270 * [taylor]: Taking taylor expansion of x.im in x.im 1.270 * [taylor]: Taking taylor expansion of 0 in x.im 1.271 * [taylor]: Taking taylor expansion of (/ 1/2 x.im) in x.im 1.271 * [taylor]: Taking taylor expansion of 1/2 in x.im 1.271 * [taylor]: Taking taylor expansion of x.im in x.im 1.273 * [taylor]: Taking taylor expansion of 0 in x.im 1.274 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 1.274 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.274 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 1.274 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.274 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.274 * [taylor]: Taking taylor expansion of x.im in x.im 1.275 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 1.275 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.275 * [taylor]: Taking taylor expansion of x.re in x.im 1.277 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.277 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.277 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.277 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.277 * [taylor]: Taking taylor expansion of x.im in x.re 1.278 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.278 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.278 * [taylor]: Taking taylor expansion of x.re in x.re 1.280 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.280 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.280 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.280 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.280 * [taylor]: Taking taylor expansion of x.im in x.re 1.280 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.280 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.280 * [taylor]: Taking taylor expansion of x.re in x.re 1.283 * [taylor]: Taking taylor expansion of 1 in x.im 1.283 * [taylor]: Taking taylor expansion of 0 in x.im 1.285 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 1.285 * [taylor]: Taking taylor expansion of 1/2 in x.im 1.285 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.285 * [taylor]: Taking taylor expansion of x.im in x.im 1.289 * [taylor]: Taking taylor expansion of 0 in x.im 1.290 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 1.290 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.290 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 1.290 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.290 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.290 * [taylor]: Taking taylor expansion of x.im in x.im 1.291 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 1.291 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.291 * [taylor]: Taking taylor expansion of x.re in x.im 1.297 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.297 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.297 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.297 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.297 * [taylor]: Taking taylor expansion of x.im in x.re 1.297 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.297 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.297 * [taylor]: Taking taylor expansion of x.re in x.re 1.300 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.300 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.300 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.300 * [taylor]: Taking taylor expansion of x.im in x.re 1.300 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.300 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.300 * [taylor]: Taking taylor expansion of x.re in x.re 1.303 * [taylor]: Taking taylor expansion of 1 in x.im 1.303 * [taylor]: Taking taylor expansion of 0 in x.im 1.305 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 1.305 * [taylor]: Taking taylor expansion of 1/2 in x.im 1.305 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.305 * [taylor]: Taking taylor expansion of x.im in x.im 1.308 * [taylor]: Taking taylor expansion of 0 in x.im 1.309 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 1.309 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 1.309 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.309 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.im 1.309 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.310 * [taylor]: Taking taylor expansion of x.re in x.im 1.310 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.310 * [taylor]: Taking taylor expansion of x.im in x.im 1.310 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 1.310 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 1.310 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.310 * [taylor]: Taking taylor expansion of x.re in x.re 1.310 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.310 * [taylor]: Taking taylor expansion of x.im in x.re 1.311 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 1.311 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 1.311 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.311 * [taylor]: Taking taylor expansion of x.re in x.re 1.311 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.311 * [taylor]: Taking taylor expansion of x.im in x.re 1.312 * [taylor]: Taking taylor expansion of x.im in x.im 1.312 * [taylor]: Taking taylor expansion of 0 in x.im 1.313 * [taylor]: Taking taylor expansion of (/ 1/2 x.im) in x.im 1.313 * [taylor]: Taking taylor expansion of 1/2 in x.im 1.313 * [taylor]: Taking taylor expansion of x.im in x.im 1.315 * [taylor]: Taking taylor expansion of 0 in x.im 1.316 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 1.316 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.316 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 1.316 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.316 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.316 * [taylor]: Taking taylor expansion of x.im in x.im 1.316 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 1.317 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.317 * [taylor]: Taking taylor expansion of x.re in x.im 1.319 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.319 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.319 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.319 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.319 * [taylor]: Taking taylor expansion of x.im in x.re 1.319 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.319 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.319 * [taylor]: Taking taylor expansion of x.re in x.re 1.321 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.322 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.322 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.322 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.322 * [taylor]: Taking taylor expansion of x.im in x.re 1.322 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.322 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.322 * [taylor]: Taking taylor expansion of x.re in x.re 1.324 * [taylor]: Taking taylor expansion of 1 in x.im 1.324 * [taylor]: Taking taylor expansion of 0 in x.im 1.327 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 1.327 * [taylor]: Taking taylor expansion of 1/2 in x.im 1.327 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.327 * [taylor]: Taking taylor expansion of x.im in x.im 1.330 * [taylor]: Taking taylor expansion of 0 in x.im 1.332 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 1.332 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.332 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 1.332 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.332 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.332 * [taylor]: Taking taylor expansion of x.im in x.im 1.332 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 1.332 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.332 * [taylor]: Taking taylor expansion of x.re in x.im 1.334 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.335 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.335 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.335 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.335 * [taylor]: Taking taylor expansion of x.im in x.re 1.335 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.335 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.335 * [taylor]: Taking taylor expansion of x.re in x.re 1.337 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.337 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.337 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.337 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.337 * [taylor]: Taking taylor expansion of x.im in x.re 1.338 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.338 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.338 * [taylor]: Taking taylor expansion of x.re in x.re 1.340 * [taylor]: Taking taylor expansion of 1 in x.im 1.340 * [taylor]: Taking taylor expansion of 0 in x.im 1.342 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 1.342 * [taylor]: Taking taylor expansion of 1/2 in x.im 1.342 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.342 * [taylor]: Taking taylor expansion of x.im in x.im 1.346 * [taylor]: Taking taylor expansion of 0 in x.im 1.347 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 1.347 * [approximate]: Taking taylor expansion of (sin (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2)))))) in (x.re x.im y.im) around 0 1.347 * [taylor]: Taking taylor expansion of (sin (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2)))))) in y.im 1.347 * [taylor]: Taking taylor expansion of (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))) in y.im 1.347 * [taylor]: Taking taylor expansion of y.im in y.im 1.347 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow x.re 2) (pow x.im 2)))) in y.im 1.347 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in y.im 1.347 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in y.im 1.347 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 1.347 * [taylor]: Taking taylor expansion of x.re in y.im 1.347 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 1.347 * [taylor]: Taking taylor expansion of x.im in y.im 1.349 * [taylor]: Taking taylor expansion of (sin (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2)))))) in x.im 1.349 * [taylor]: Taking taylor expansion of (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))) in x.im 1.350 * [taylor]: Taking taylor expansion of y.im in x.im 1.350 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow x.re 2) (pow x.im 2)))) in x.im 1.350 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.350 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.im 1.350 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.350 * [taylor]: Taking taylor expansion of x.re in x.im 1.350 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.350 * [taylor]: Taking taylor expansion of x.im in x.im 1.350 * [taylor]: Taking taylor expansion of (sin (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2)))))) in x.re 1.350 * [taylor]: Taking taylor expansion of (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))) in x.re 1.350 * [taylor]: Taking taylor expansion of y.im in x.re 1.350 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow x.re 2) (pow x.im 2)))) in x.re 1.350 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 1.350 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 1.350 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.350 * [taylor]: Taking taylor expansion of x.re in x.re 1.350 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.350 * [taylor]: Taking taylor expansion of x.im in x.re 1.351 * [taylor]: Taking taylor expansion of (sin (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2)))))) in x.re 1.351 * [taylor]: Taking taylor expansion of (* y.im (log (sqrt (+ (pow x.re 2) (pow x.im 2))))) in x.re 1.351 * [taylor]: Taking taylor expansion of y.im in x.re 1.351 * [taylor]: Taking taylor expansion of (log (sqrt (+ (pow x.re 2) (pow x.im 2)))) in x.re 1.351 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 1.351 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 1.351 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.351 * [taylor]: Taking taylor expansion of x.re in x.re 1.351 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.351 * [taylor]: Taking taylor expansion of x.im in x.re 1.352 * [taylor]: Taking taylor expansion of (sin (* y.im (log x.im))) in x.im 1.352 * [taylor]: Taking taylor expansion of (* y.im (log x.im)) in x.im 1.352 * [taylor]: Taking taylor expansion of y.im in x.im 1.352 * [taylor]: Taking taylor expansion of (log x.im) in x.im 1.352 * [taylor]: Taking taylor expansion of x.im in x.im 1.353 * [taylor]: Taking taylor expansion of (sin (* y.im (log x.im))) in y.im 1.353 * [taylor]: Taking taylor expansion of (* y.im (log x.im)) in y.im 1.353 * [taylor]: Taking taylor expansion of y.im in y.im 1.353 * [taylor]: Taking taylor expansion of (log x.im) in y.im 1.353 * [taylor]: Taking taylor expansion of x.im in y.im 1.356 * [taylor]: Taking taylor expansion of 0 in x.im 1.356 * [taylor]: Taking taylor expansion of 0 in y.im 1.359 * [taylor]: Taking taylor expansion of 0 in y.im 1.363 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* y.im (cos (* y.im (log x.im)))) (pow x.im 2))) in x.im 1.363 * [taylor]: Taking taylor expansion of 1/2 in x.im 1.363 * [taylor]: Taking taylor expansion of (/ (* y.im (cos (* y.im (log x.im)))) (pow x.im 2)) in x.im 1.363 * [taylor]: Taking taylor expansion of (* y.im (cos (* y.im (log x.im)))) in x.im 1.363 * [taylor]: Taking taylor expansion of y.im in x.im 1.364 * [taylor]: Taking taylor expansion of (cos (* y.im (log x.im))) in x.im 1.364 * [taylor]: Taking taylor expansion of (* y.im (log x.im)) in x.im 1.364 * [taylor]: Taking taylor expansion of y.im in x.im 1.364 * [taylor]: Taking taylor expansion of (log x.im) in x.im 1.364 * [taylor]: Taking taylor expansion of x.im in x.im 1.364 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.364 * [taylor]: Taking taylor expansion of x.im in x.im 1.380 * [taylor]: Taking taylor expansion of 0 in y.im 1.380 * [taylor]: Taking taylor expansion of 0 in y.im 1.384 * [taylor]: Taking taylor expansion of 0 in y.im 1.387 * [approximate]: Taking taylor expansion of (sin (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im)) in (x.re x.im y.im) around 0 1.387 * [taylor]: Taking taylor expansion of (sin (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im)) in y.im 1.387 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in y.im 1.387 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in y.im 1.387 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in y.im 1.387 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in y.im 1.387 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in y.im 1.387 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 1.387 * [taylor]: Taking taylor expansion of x.im in y.im 1.387 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in y.im 1.387 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 1.387 * [taylor]: Taking taylor expansion of x.re in y.im 1.388 * [taylor]: Taking taylor expansion of y.im in y.im 1.389 * [taylor]: Taking taylor expansion of (sin (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im)) in x.im 1.389 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in x.im 1.389 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in x.im 1.389 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.389 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 1.389 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.389 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.389 * [taylor]: Taking taylor expansion of x.im in x.im 1.389 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 1.389 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.389 * [taylor]: Taking taylor expansion of x.re in x.im 1.392 * [taylor]: Taking taylor expansion of y.im in x.im 1.392 * [taylor]: Taking taylor expansion of (sin (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im)) in x.re 1.392 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in x.re 1.392 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in x.re 1.392 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.392 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.393 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) 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 (/ 1 (pow x.re 2)) in x.re 1.393 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.393 * [taylor]: Taking taylor expansion of x.re in x.re 1.395 * [taylor]: Taking taylor expansion of y.im in x.re 1.396 * [taylor]: Taking taylor expansion of (sin (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im)) in x.re 1.396 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in x.re 1.396 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in x.re 1.396 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.396 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.396 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.396 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.396 * [taylor]: Taking taylor expansion of x.im in x.re 1.397 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.397 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.397 * [taylor]: Taking taylor expansion of x.re in x.re 1.399 * [taylor]: Taking taylor expansion of y.im in x.re 1.400 * [taylor]: Taking taylor expansion of (sin (* -1 (/ (log x.re) y.im))) in x.im 1.400 * [taylor]: Taking taylor expansion of (* -1 (/ (log x.re) y.im)) in x.im 1.400 * [taylor]: Taking taylor expansion of -1 in x.im 1.400 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in x.im 1.400 * [taylor]: Taking taylor expansion of (log x.re) in x.im 1.400 * [taylor]: Taking taylor expansion of x.re in x.im 1.400 * [taylor]: Taking taylor expansion of y.im in x.im 1.401 * [taylor]: Taking taylor expansion of (sin (* -1 (/ (log x.re) y.im))) in y.im 1.401 * [taylor]: Taking taylor expansion of (* -1 (/ (log x.re) y.im)) in y.im 1.401 * [taylor]: Taking taylor expansion of -1 in y.im 1.401 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in y.im 1.401 * [taylor]: Taking taylor expansion of (log x.re) in y.im 1.401 * [taylor]: Taking taylor expansion of x.re in y.im 1.401 * [taylor]: Taking taylor expansion of y.im in y.im 1.404 * [taylor]: Taking taylor expansion of 0 in x.im 1.404 * [taylor]: Taking taylor expansion of 0 in y.im 1.406 * [taylor]: Taking taylor expansion of 0 in y.im 1.412 * [taylor]: Taking taylor expansion of (* 1/2 (/ (cos (* -1 (/ (log x.re) y.im))) (* (pow x.im 2) y.im))) in x.im 1.412 * [taylor]: Taking taylor expansion of 1/2 in x.im 1.412 * [taylor]: Taking taylor expansion of (/ (cos (* -1 (/ (log x.re) y.im))) (* (pow x.im 2) y.im)) in x.im 1.412 * [taylor]: Taking taylor expansion of (cos (* -1 (/ (log x.re) y.im))) in x.im 1.412 * [taylor]: Taking taylor expansion of (* -1 (/ (log x.re) y.im)) in x.im 1.412 * [taylor]: Taking taylor expansion of -1 in x.im 1.412 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in x.im 1.412 * [taylor]: Taking taylor expansion of (log x.re) in x.im 1.412 * [taylor]: Taking taylor expansion of x.re in x.im 1.412 * [taylor]: Taking taylor expansion of y.im in x.im 1.412 * [taylor]: Taking taylor expansion of (* (pow x.im 2) y.im) in x.im 1.412 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.412 * [taylor]: Taking taylor expansion of x.im in x.im 1.412 * [taylor]: Taking taylor expansion of y.im in x.im 1.422 * [taylor]: Taking taylor expansion of 0 in y.im 1.423 * [taylor]: Taking taylor expansion of 0 in y.im 1.426 * [taylor]: Taking taylor expansion of 0 in y.im 1.427 * [approximate]: Taking taylor expansion of (sin (* -1 (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im))) in (x.re x.im y.im) around 0 1.427 * [taylor]: Taking taylor expansion of (sin (* -1 (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im))) in y.im 1.427 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im)) in y.im 1.427 * [taylor]: Taking taylor expansion of -1 in y.im 1.427 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in y.im 1.427 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in y.im 1.427 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in y.im 1.427 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in y.im 1.427 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in y.im 1.427 * [taylor]: Taking taylor expansion of (pow x.im 2) in y.im 1.427 * [taylor]: Taking taylor expansion of x.im in y.im 1.427 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in y.im 1.427 * [taylor]: Taking taylor expansion of (pow x.re 2) in y.im 1.427 * [taylor]: Taking taylor expansion of x.re in y.im 1.428 * [taylor]: Taking taylor expansion of y.im in y.im 1.429 * [taylor]: Taking taylor expansion of (sin (* -1 (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im))) in x.im 1.429 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im)) in x.im 1.429 * [taylor]: Taking taylor expansion of -1 in x.im 1.429 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in x.im 1.429 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in x.im 1.429 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.429 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 1.429 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.429 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.429 * [taylor]: Taking taylor expansion of x.im in x.im 1.430 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 1.430 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.430 * [taylor]: Taking taylor expansion of x.re in x.im 1.432 * [taylor]: Taking taylor expansion of y.im in x.im 1.433 * [taylor]: Taking taylor expansion of (sin (* -1 (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im))) in x.re 1.433 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im)) in x.re 1.433 * [taylor]: Taking taylor expansion of -1 in x.re 1.433 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in x.re 1.433 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in x.re 1.433 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.433 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.433 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.433 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.433 * [taylor]: Taking taylor expansion of x.im in x.re 1.433 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.433 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.433 * [taylor]: Taking taylor expansion of x.re in x.re 1.436 * [taylor]: Taking taylor expansion of y.im in x.re 1.437 * [taylor]: Taking taylor expansion of (sin (* -1 (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im))) in x.re 1.437 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im)) in x.re 1.437 * [taylor]: Taking taylor expansion of -1 in x.re 1.437 * [taylor]: Taking taylor expansion of (/ (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) y.im) in x.re 1.437 * [taylor]: Taking taylor expansion of (log (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))))) in x.re 1.437 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.437 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.437 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.437 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.437 * [taylor]: Taking taylor expansion of x.im in x.re 1.437 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.437 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.437 * [taylor]: Taking taylor expansion of x.re in x.re 1.440 * [taylor]: Taking taylor expansion of y.im in x.re 1.441 * [taylor]: Taking taylor expansion of (sin (/ (log x.re) y.im)) in x.im 1.441 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in x.im 1.441 * [taylor]: Taking taylor expansion of (log x.re) in x.im 1.441 * [taylor]: Taking taylor expansion of x.re in x.im 1.441 * [taylor]: Taking taylor expansion of y.im in x.im 1.441 * [taylor]: Taking taylor expansion of (sin (/ (log x.re) y.im)) in y.im 1.441 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in y.im 1.441 * [taylor]: Taking taylor expansion of (log x.re) in y.im 1.441 * [taylor]: Taking taylor expansion of x.re in y.im 1.441 * [taylor]: Taking taylor expansion of y.im in y.im 1.444 * [taylor]: Taking taylor expansion of 0 in x.im 1.444 * [taylor]: Taking taylor expansion of 0 in y.im 1.446 * [taylor]: Taking taylor expansion of 0 in y.im 1.452 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (cos (/ (log x.re) y.im)) (* (pow x.im 2) y.im)))) in x.im 1.452 * [taylor]: Taking taylor expansion of (* 1/2 (/ (cos (/ (log x.re) y.im)) (* (pow x.im 2) y.im))) in x.im 1.452 * [taylor]: Taking taylor expansion of 1/2 in x.im 1.452 * [taylor]: Taking taylor expansion of (/ (cos (/ (log x.re) y.im)) (* (pow x.im 2) y.im)) in x.im 1.452 * [taylor]: Taking taylor expansion of (cos (/ (log x.re) y.im)) in x.im 1.452 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in x.im 1.452 * [taylor]: Taking taylor expansion of (log x.re) in x.im 1.452 * [taylor]: Taking taylor expansion of x.re in x.im 1.452 * [taylor]: Taking taylor expansion of y.im in x.im 1.453 * [taylor]: Taking taylor expansion of (* (pow x.im 2) y.im) in x.im 1.453 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.453 * [taylor]: Taking taylor expansion of x.im in x.im 1.453 * [taylor]: Taking taylor expansion of y.im in x.im 1.466 * [taylor]: Taking taylor expansion of 0 in y.im 1.466 * [taylor]: Taking taylor expansion of 0 in y.im 1.469 * [taylor]: Taking taylor expansion of 0 in y.im 1.469 * * * [progress]: simplifying candidates 1.470 * [simplify]: Simplifying using # : (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (* 1 1)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (* 1 1)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (* 1 1)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (exp (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (* (cbrt (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (cbrt (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)))) (cbrt (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (* (* (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (sqrt (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (sqrt (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) (* y.im (log x.im)) (sin (* -1 (* y.im (log (/ 1 x.re))))) (sin (* -1 (* y.im (log (/ -1 x.re))))) 1.474 * * [simplify]: iteration 0 : 126 enodes (cost 449 ) 1.477 * * [simplify]: iteration 1 : 278 enodes (cost 425 ) 1.482 * * [simplify]: iteration 2 : 608 enodes (cost 423 ) 1.494 * * [simplify]: iteration 3 : 1926 enodes (cost 423 ) 1.534 * * [simplify]: iteration 4 : 5002 enodes (cost 423 ) 1.536 * [simplify]: Simplified to: (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (exp (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (* (cbrt (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (cbrt (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)))) (cbrt (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (pow (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)) 3) (sqrt (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) (sqrt (sin (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im))) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) (* y.im (log x.im)) (sin (* (log x.re) y.im)) (sin (* -1 (* y.im (log (/ -1 x.re))))) 1.537 * * * [progress]: adding candidates to table 1.853 * * [progress]: iteration 3 / 4 1.853 * * * [progress]: picking best candidate 1.878 * * * * [pick]: Picked # 1.878 * * * [progress]: localizing error 1.915 * * * [progress]: generating rewritten candidates 1.915 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1 1 1 1) 1.931 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 2 1 1 1 1) 1.947 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1 1 1 1 1) 1.966 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 1 1) 1.984 * * * [progress]: generating series expansions 1.984 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1 1 1 1) 1.984 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 1.984 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 1.984 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.im 1.984 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.984 * [taylor]: Taking taylor expansion of x.re in x.im 1.984 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.984 * [taylor]: Taking taylor expansion of x.im in x.im 1.985 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 1.985 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 1.985 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.985 * [taylor]: Taking taylor expansion of x.re in x.re 1.985 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.985 * [taylor]: Taking taylor expansion of x.im in x.re 1.986 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 1.986 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 1.986 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.986 * [taylor]: Taking taylor expansion of x.re in x.re 1.986 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.986 * [taylor]: Taking taylor expansion of x.im in x.re 1.986 * [taylor]: Taking taylor expansion of x.im in x.im 1.986 * [taylor]: Taking taylor expansion of 0 in x.im 1.988 * [taylor]: Taking taylor expansion of (/ 1/2 x.im) in x.im 1.988 * [taylor]: Taking taylor expansion of 1/2 in x.im 1.988 * [taylor]: Taking taylor expansion of x.im in x.im 1.990 * [taylor]: Taking taylor expansion of 0 in x.im 1.991 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 1.991 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 1.991 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 1.991 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 1.991 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 1.991 * [taylor]: Taking taylor expansion of x.im in x.im 1.991 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 1.991 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 1.991 * [taylor]: Taking taylor expansion of x.re in x.im 1.994 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.994 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.994 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.994 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.994 * [taylor]: Taking taylor expansion of x.im in x.re 1.994 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.994 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.994 * [taylor]: Taking taylor expansion of x.re in x.re 1.996 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 1.996 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 1.996 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 1.996 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 1.996 * [taylor]: Taking taylor expansion of x.im in x.re 1.997 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 1.997 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 1.997 * [taylor]: Taking taylor expansion of x.re in x.re 1.999 * [taylor]: Taking taylor expansion of 1 in x.im 1.999 * [taylor]: Taking taylor expansion of 0 in x.im 2.001 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 2.001 * [taylor]: Taking taylor expansion of 1/2 in x.im 2.001 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.001 * [taylor]: Taking taylor expansion of x.im in x.im 2.005 * [taylor]: Taking taylor expansion of 0 in x.im 2.006 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 2.006 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.006 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 2.006 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.006 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.006 * [taylor]: Taking taylor expansion of x.im in x.im 2.007 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 2.007 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.007 * [taylor]: Taking taylor expansion of x.re in x.im 2.009 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.009 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.009 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.009 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.009 * [taylor]: Taking taylor expansion of x.im in x.re 2.009 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.009 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.009 * [taylor]: Taking taylor expansion of x.re in x.re 2.012 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.012 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.012 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.012 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.012 * [taylor]: Taking taylor expansion of x.im in x.re 2.012 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.012 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.012 * [taylor]: Taking taylor expansion of x.re in x.re 2.015 * [taylor]: Taking taylor expansion of 1 in x.im 2.015 * [taylor]: Taking taylor expansion of 0 in x.im 2.017 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 2.017 * [taylor]: Taking taylor expansion of 1/2 in x.im 2.017 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.017 * [taylor]: Taking taylor expansion of x.im in x.im 2.021 * [taylor]: Taking taylor expansion of 0 in x.im 2.022 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 2 1 1 1 1) 2.022 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 2.022 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 2.022 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.im 2.022 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.022 * [taylor]: Taking taylor expansion of x.re in x.im 2.022 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.022 * [taylor]: Taking taylor expansion of x.im in x.im 2.023 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 2.023 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 2.023 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.023 * [taylor]: Taking taylor expansion of x.re in x.re 2.023 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.023 * [taylor]: Taking taylor expansion of x.im in x.re 2.023 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 2.023 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 2.023 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.023 * [taylor]: Taking taylor expansion of x.re in x.re 2.023 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.023 * [taylor]: Taking taylor expansion of x.im in x.re 2.024 * [taylor]: Taking taylor expansion of x.im in x.im 2.024 * [taylor]: Taking taylor expansion of 0 in x.im 2.025 * [taylor]: Taking taylor expansion of (/ 1/2 x.im) in x.im 2.025 * [taylor]: Taking taylor expansion of 1/2 in x.im 2.025 * [taylor]: Taking taylor expansion of x.im in x.im 2.027 * [taylor]: Taking taylor expansion of 0 in x.im 2.028 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 2.028 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.028 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 2.028 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.028 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.028 * [taylor]: Taking taylor expansion of x.im in x.im 2.029 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 2.029 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.029 * [taylor]: Taking taylor expansion of x.re in x.im 2.031 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.031 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.031 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.031 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.031 * [taylor]: Taking taylor expansion of x.im in x.re 2.031 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.032 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.032 * [taylor]: Taking taylor expansion of x.re in x.re 2.037 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.038 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.038 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.038 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.038 * [taylor]: Taking taylor expansion of x.im in x.re 2.038 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.038 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.038 * [taylor]: Taking taylor expansion of x.re in x.re 2.041 * [taylor]: Taking taylor expansion of 1 in x.im 2.041 * [taylor]: Taking taylor expansion of 0 in x.im 2.043 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 2.043 * [taylor]: Taking taylor expansion of 1/2 in x.im 2.043 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.043 * [taylor]: Taking taylor expansion of x.im in x.im 2.046 * [taylor]: Taking taylor expansion of 0 in x.im 2.047 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 2.047 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.048 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 2.048 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.048 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.048 * [taylor]: Taking taylor expansion of x.im in x.im 2.048 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 2.048 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.048 * [taylor]: Taking taylor expansion of x.re in x.im 2.050 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.050 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.050 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.050 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.050 * [taylor]: Taking taylor expansion of x.im in x.re 2.050 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.050 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.051 * [taylor]: Taking taylor expansion of x.re in x.re 2.053 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.053 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.053 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.053 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.053 * [taylor]: Taking taylor expansion of x.im in x.re 2.053 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.053 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.053 * [taylor]: Taking taylor expansion of x.re in x.re 2.056 * [taylor]: Taking taylor expansion of 1 in x.im 2.056 * [taylor]: Taking taylor expansion of 0 in x.im 2.058 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 2.058 * [taylor]: Taking taylor expansion of 1/2 in x.im 2.058 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.058 * [taylor]: Taking taylor expansion of x.im in x.im 2.061 * [taylor]: Taking taylor expansion of 0 in x.im 2.063 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1 1 1 1 1) 2.063 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 2.063 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 2.063 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.im 2.063 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.063 * [taylor]: Taking taylor expansion of x.re in x.im 2.063 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.063 * [taylor]: Taking taylor expansion of x.im in x.im 2.063 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 2.064 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 2.064 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.064 * [taylor]: Taking taylor expansion of x.re in x.re 2.064 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.064 * [taylor]: Taking taylor expansion of x.im in x.re 2.064 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 2.064 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 2.064 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.064 * [taylor]: Taking taylor expansion of x.re in x.re 2.064 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.064 * [taylor]: Taking taylor expansion of x.im in x.re 2.065 * [taylor]: Taking taylor expansion of x.im in x.im 2.065 * [taylor]: Taking taylor expansion of 0 in x.im 2.066 * [taylor]: Taking taylor expansion of (/ 1/2 x.im) in x.im 2.066 * [taylor]: Taking taylor expansion of 1/2 in x.im 2.067 * [taylor]: Taking taylor expansion of x.im in x.im 2.068 * [taylor]: Taking taylor expansion of 0 in x.im 2.069 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 2.069 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.069 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 2.069 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.069 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.069 * [taylor]: Taking taylor expansion of x.im in x.im 2.070 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 2.070 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.070 * [taylor]: Taking taylor expansion of x.re in x.im 2.072 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.072 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.072 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.072 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.072 * [taylor]: Taking taylor expansion of x.im in x.re 2.072 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.072 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.072 * [taylor]: Taking taylor expansion of x.re in x.re 2.075 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.075 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.075 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.075 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.075 * [taylor]: Taking taylor expansion of x.im in x.re 2.075 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.075 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.075 * [taylor]: Taking taylor expansion of x.re in x.re 2.078 * [taylor]: Taking taylor expansion of 1 in x.im 2.078 * [taylor]: Taking taylor expansion of 0 in x.im 2.080 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 2.080 * [taylor]: Taking taylor expansion of 1/2 in x.im 2.080 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.080 * [taylor]: Taking taylor expansion of x.im in x.im 2.083 * [taylor]: Taking taylor expansion of 0 in x.im 2.084 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 2.084 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.084 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 2.085 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.085 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.085 * [taylor]: Taking taylor expansion of x.im in x.im 2.085 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 2.085 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.085 * [taylor]: Taking taylor expansion of x.re in x.im 2.087 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.087 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.087 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.087 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.087 * [taylor]: Taking taylor expansion of x.im in x.re 2.087 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.087 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.087 * [taylor]: Taking taylor expansion of x.re in x.re 2.090 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.090 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.090 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.090 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.090 * [taylor]: Taking taylor expansion of x.im in x.re 2.090 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.090 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.090 * [taylor]: Taking taylor expansion of x.re in x.re 2.093 * [taylor]: Taking taylor expansion of 1 in x.im 2.093 * [taylor]: Taking taylor expansion of 0 in x.im 2.095 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 2.095 * [taylor]: Taking taylor expansion of 1/2 in x.im 2.095 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.095 * [taylor]: Taking taylor expansion of x.im in x.im 2.098 * [taylor]: Taking taylor expansion of 0 in x.im 2.099 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 1 1) 2.099 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 2.099 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 2.099 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.im 2.099 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.099 * [taylor]: Taking taylor expansion of x.re in x.im 2.099 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.100 * [taylor]: Taking taylor expansion of x.im in x.im 2.100 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 2.100 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 2.100 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.100 * [taylor]: Taking taylor expansion of x.re in x.re 2.100 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.100 * [taylor]: Taking taylor expansion of x.im in x.re 2.101 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 2.101 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 2.101 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.101 * [taylor]: Taking taylor expansion of x.re in x.re 2.101 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.101 * [taylor]: Taking taylor expansion of x.im in x.re 2.101 * [taylor]: Taking taylor expansion of x.im in x.im 2.101 * [taylor]: Taking taylor expansion of 0 in x.im 2.103 * [taylor]: Taking taylor expansion of (/ 1/2 x.im) in x.im 2.103 * [taylor]: Taking taylor expansion of 1/2 in x.im 2.103 * [taylor]: Taking taylor expansion of x.im in x.im 2.105 * [taylor]: Taking taylor expansion of 0 in x.im 2.105 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 2.105 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.105 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 2.105 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.105 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.106 * [taylor]: Taking taylor expansion of x.im in x.im 2.106 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 2.106 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.106 * [taylor]: Taking taylor expansion of x.re in x.im 2.108 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.108 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.108 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.108 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.108 * [taylor]: Taking taylor expansion of x.im in x.re 2.109 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.109 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.109 * [taylor]: Taking taylor expansion of x.re in x.re 2.111 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.111 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.111 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.111 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.111 * [taylor]: Taking taylor expansion of x.im in x.re 2.111 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.111 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.111 * [taylor]: Taking taylor expansion of x.re in x.re 2.114 * [taylor]: Taking taylor expansion of 1 in x.im 2.114 * [taylor]: Taking taylor expansion of 0 in x.im 2.119 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 2.120 * [taylor]: Taking taylor expansion of 1/2 in x.im 2.120 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.120 * [taylor]: Taking taylor expansion of x.im in x.im 2.123 * [taylor]: Taking taylor expansion of 0 in x.im 2.124 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 2.124 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.124 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 2.124 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.124 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.124 * [taylor]: Taking taylor expansion of x.im in x.im 2.125 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 2.125 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.125 * [taylor]: Taking taylor expansion of x.re in x.im 2.127 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.127 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.127 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.127 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.127 * [taylor]: Taking taylor expansion of x.im in x.re 2.127 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.127 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.127 * [taylor]: Taking taylor expansion of x.re in x.re 2.130 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.130 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.130 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.130 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.130 * [taylor]: Taking taylor expansion of x.im in x.re 2.130 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.130 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.130 * [taylor]: Taking taylor expansion of x.re in x.re 2.132 * [taylor]: Taking taylor expansion of 1 in x.im 2.132 * [taylor]: Taking taylor expansion of 0 in x.im 2.135 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 2.135 * [taylor]: Taking taylor expansion of 1/2 in x.im 2.135 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.135 * [taylor]: Taking taylor expansion of x.im in x.im 2.138 * [taylor]: Taking taylor expansion of 0 in x.im 2.139 * * * [progress]: simplifying candidates 2.140 * [simplify]: Simplifying using # : (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (* 1 1)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (* 1 1)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (* 1 1)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (* 1 1)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) 2.144 * * [simplify]: iteration 0 : 86 enodes (cost 476 ) 2.146 * * [simplify]: iteration 1 : 202 enodes (cost 464 ) 2.151 * * [simplify]: iteration 2 : 465 enodes (cost 464 ) 2.160 * * [simplify]: iteration 3 : 1174 enodes (cost 464 ) 2.185 * * [simplify]: iteration 4 : 3616 enodes (cost 464 ) 2.265 * * [simplify]: iteration 5 : 5001 enodes (cost 464 ) 2.268 * [simplify]: Simplified to: (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) x.im x.re (* -1 x.re) 2.268 * * * [progress]: adding candidates to table 2.707 * * [progress]: iteration 4 / 4 2.707 * * * [progress]: picking best candidate 2.726 * * * * [pick]: Picked # 2.727 * * * [progress]: localizing error 2.753 * * * [progress]: generating rewritten candidates 2.753 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1) 2.769 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 2.788 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 2.791 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 2.798 * * * [progress]: generating series expansions 2.798 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1) 2.798 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in (x.re x.im) around 0 2.798 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.im 2.798 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.im 2.798 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.798 * [taylor]: Taking taylor expansion of x.re in x.im 2.798 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.798 * [taylor]: Taking taylor expansion of x.im in x.im 2.799 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 2.799 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 2.799 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.799 * [taylor]: Taking taylor expansion of x.re in x.re 2.799 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.799 * [taylor]: Taking taylor expansion of x.im in x.re 2.800 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x.re 2) (pow x.im 2))) in x.re 2.800 * [taylor]: Taking taylor expansion of (+ (pow x.re 2) (pow x.im 2)) in x.re 2.800 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.800 * [taylor]: Taking taylor expansion of x.re in x.re 2.800 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.800 * [taylor]: Taking taylor expansion of x.im in x.re 2.801 * [taylor]: Taking taylor expansion of x.im in x.im 2.801 * [taylor]: Taking taylor expansion of 0 in x.im 2.802 * [taylor]: Taking taylor expansion of (/ 1/2 x.im) in x.im 2.802 * [taylor]: Taking taylor expansion of 1/2 in x.im 2.802 * [taylor]: Taking taylor expansion of x.im in x.im 2.804 * [taylor]: Taking taylor expansion of 0 in x.im 2.805 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 2.805 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.805 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 2.805 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.805 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.805 * [taylor]: Taking taylor expansion of x.im in x.im 2.810 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 2.810 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.810 * [taylor]: Taking taylor expansion of x.re in x.im 2.812 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.812 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.812 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.812 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.812 * [taylor]: Taking taylor expansion of x.im in x.re 2.812 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.812 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.812 * [taylor]: Taking taylor expansion of x.re in x.re 2.815 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.815 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.815 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.815 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.815 * [taylor]: Taking taylor expansion of x.im in x.re 2.815 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.815 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.815 * [taylor]: Taking taylor expansion of x.re in x.re 2.818 * [taylor]: Taking taylor expansion of 1 in x.im 2.818 * [taylor]: Taking taylor expansion of 0 in x.im 2.820 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 2.820 * [taylor]: Taking taylor expansion of 1/2 in x.im 2.820 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.820 * [taylor]: Taking taylor expansion of x.im in x.im 2.823 * [taylor]: Taking taylor expansion of 0 in x.im 2.824 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in (x.re x.im) around 0 2.825 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.im 2.825 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.im 2.825 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.im 2.825 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.825 * [taylor]: Taking taylor expansion of x.im in x.im 2.825 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.im 2.825 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.im 2.825 * [taylor]: Taking taylor expansion of x.re in x.im 2.827 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.827 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.827 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.827 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.827 * [taylor]: Taking taylor expansion of x.im in x.re 2.827 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.827 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.827 * [taylor]: Taking taylor expansion of x.re in x.re 2.830 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2)))) in x.re 2.830 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x.im 2)) (/ 1 (pow x.re 2))) in x.re 2.830 * [taylor]: Taking taylor expansion of (/ 1 (pow x.im 2)) in x.re 2.830 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.re 2.830 * [taylor]: Taking taylor expansion of x.im in x.re 2.830 * [taylor]: Taking taylor expansion of (/ 1 (pow x.re 2)) in x.re 2.830 * [taylor]: Taking taylor expansion of (pow x.re 2) in x.re 2.830 * [taylor]: Taking taylor expansion of x.re in x.re 2.833 * [taylor]: Taking taylor expansion of 1 in x.im 2.833 * [taylor]: Taking taylor expansion of 0 in x.im 2.835 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x.im 2)) in x.im 2.835 * [taylor]: Taking taylor expansion of 1/2 in x.im 2.835 * [taylor]: Taking taylor expansion of (pow x.im 2) in x.im 2.835 * [taylor]: Taking taylor expansion of x.im in x.im 2.838 * [taylor]: Taking taylor expansion of 0 in x.im 2.839 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 2.840 * [approximate]: Taking taylor expansion of (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) in (x.im x.re y.re y.im) around 0 2.840 * [taylor]: Taking taylor expansion of (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) in y.im 2.840 * [taylor]: Taking taylor expansion of (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))) in y.im 2.840 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.im 2.840 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.im 2.840 * [taylor]: Taking taylor expansion of y.re in y.im 2.840 * [taylor]: Taking taylor expansion of (* y.im (log (/ 1 x.re))) in y.im 2.840 * [taylor]: Taking taylor expansion of y.im in y.im 2.840 * [taylor]: Taking taylor expansion of (log (/ 1 x.re)) in y.im 2.840 * [taylor]: Taking taylor expansion of (/ 1 x.re) in y.im 2.840 * [taylor]: Taking taylor expansion of x.re in y.im 2.840 * [taylor]: Taking taylor expansion of (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) in y.re 2.840 * [taylor]: Taking taylor expansion of (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))) in y.re 2.841 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.re 2.841 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.re 2.841 * [taylor]: Taking taylor expansion of y.re in y.re 2.841 * [taylor]: Taking taylor expansion of (* y.im (log (/ 1 x.re))) in y.re 2.841 * [taylor]: Taking taylor expansion of y.im in y.re 2.841 * [taylor]: Taking taylor expansion of (log (/ 1 x.re)) in y.re 2.841 * [taylor]: Taking taylor expansion of (/ 1 x.re) in y.re 2.841 * [taylor]: Taking taylor expansion of x.re in y.re 2.841 * [taylor]: Taking taylor expansion of (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) in x.re 2.841 * [taylor]: Taking taylor expansion of (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))) in x.re 2.841 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.re 2.841 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.re 2.841 * [taylor]: Taking taylor expansion of y.re in x.re 2.841 * [taylor]: Taking taylor expansion of (* y.im (log (/ 1 x.re))) in x.re 2.841 * [taylor]: Taking taylor expansion of y.im in x.re 2.841 * [taylor]: Taking taylor expansion of (log (/ 1 x.re)) in x.re 2.841 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 2.841 * [taylor]: Taking taylor expansion of x.re in x.re 2.843 * [taylor]: Taking taylor expansion of (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) in x.im 2.843 * [taylor]: Taking taylor expansion of (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))) in x.im 2.843 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.im 2.843 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.im 2.843 * [taylor]: Taking taylor expansion of y.re in x.im 2.843 * [taylor]: Taking taylor expansion of (* y.im (log (/ 1 x.re))) in x.im 2.843 * [taylor]: Taking taylor expansion of y.im in x.im 2.843 * [taylor]: Taking taylor expansion of (log (/ 1 x.re)) in x.im 2.843 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 2.843 * [taylor]: Taking taylor expansion of x.re in x.im 2.843 * [taylor]: Taking taylor expansion of (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) in x.im 2.843 * [taylor]: Taking taylor expansion of (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))) in x.im 2.843 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.im 2.843 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.im 2.843 * [taylor]: Taking taylor expansion of y.re in x.im 2.843 * [taylor]: Taking taylor expansion of (* y.im (log (/ 1 x.re))) in x.im 2.843 * [taylor]: Taking taylor expansion of y.im in x.im 2.843 * [taylor]: Taking taylor expansion of (log (/ 1 x.re)) in x.im 2.843 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.im 2.843 * [taylor]: Taking taylor expansion of x.re in x.im 2.844 * [taylor]: Taking taylor expansion of (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) in x.re 2.844 * [taylor]: Taking taylor expansion of (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))) in x.re 2.844 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.re 2.844 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.re 2.844 * [taylor]: Taking taylor expansion of y.re in x.re 2.844 * [taylor]: Taking taylor expansion of (* y.im (log (/ 1 x.re))) in x.re 2.844 * [taylor]: Taking taylor expansion of y.im in x.re 2.844 * [taylor]: Taking taylor expansion of (log (/ 1 x.re)) in x.re 2.844 * [taylor]: Taking taylor expansion of (/ 1 x.re) in x.re 2.845 * [taylor]: Taking taylor expansion of x.re in x.re 2.846 * [taylor]: Taking taylor expansion of (sin (+ (* y.im (log x.re)) (* (atan2 x.im x.re) y.re))) in y.re 2.846 * [taylor]: Taking taylor expansion of (+ (* y.im (log x.re)) (* (atan2 x.im x.re) y.re)) in y.re 2.846 * [taylor]: Taking taylor expansion of (* y.im (log x.re)) in y.re 2.846 * [taylor]: Taking taylor expansion of y.im in y.re 2.846 * [taylor]: Taking taylor expansion of (log x.re) in y.re 2.846 * [taylor]: Taking taylor expansion of x.re in y.re 2.846 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.re 2.846 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.re 2.846 * [taylor]: Taking taylor expansion of y.re in y.re 2.847 * [taylor]: Taking taylor expansion of (sin (* y.im (log x.re))) in y.im 2.847 * [taylor]: Taking taylor expansion of (* y.im (log x.re)) in y.im 2.847 * [taylor]: Taking taylor expansion of y.im in y.im 2.847 * [taylor]: Taking taylor expansion of (log x.re) in y.im 2.847 * [taylor]: Taking taylor expansion of x.re in y.im 2.851 * [taylor]: Taking taylor expansion of 0 in x.re 2.851 * [taylor]: Taking taylor expansion of 0 in y.re 2.851 * [taylor]: Taking taylor expansion of 0 in y.im 2.854 * [taylor]: Taking taylor expansion of 0 in y.re 2.854 * [taylor]: Taking taylor expansion of 0 in y.im 2.856 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) (cos (* y.im (log x.re)))) in y.im 2.856 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.im 2.857 * [taylor]: Taking taylor expansion of (cos (* y.im (log x.re))) in y.im 2.857 * [taylor]: Taking taylor expansion of (* y.im (log x.re)) in y.im 2.857 * [taylor]: Taking taylor expansion of y.im in y.im 2.857 * [taylor]: Taking taylor expansion of (log x.re) in y.im 2.857 * [taylor]: Taking taylor expansion of x.re in y.im 2.862 * [taylor]: Taking taylor expansion of 0 in x.re 2.862 * [taylor]: Taking taylor expansion of 0 in y.re 2.862 * [taylor]: Taking taylor expansion of 0 in y.im 2.862 * [taylor]: Taking taylor expansion of 0 in y.re 2.862 * [taylor]: Taking taylor expansion of 0 in y.im 2.867 * [taylor]: Taking taylor expansion of 0 in y.re 2.867 * [taylor]: Taking taylor expansion of 0 in y.im 2.867 * [taylor]: Taking taylor expansion of 0 in y.im 2.868 * [taylor]: Taking taylor expansion of 0 in y.im 2.871 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (pow (atan2 x.im x.re) 2) (sin (* y.im (log x.re)))))) in y.im 2.872 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow (atan2 x.im x.re) 2) (sin (* y.im (log x.re))))) in y.im 2.872 * [taylor]: Taking taylor expansion of 1/2 in y.im 2.872 * [taylor]: Taking taylor expansion of (* (pow (atan2 x.im x.re) 2) (sin (* y.im (log x.re)))) in y.im 2.872 * [taylor]: Taking taylor expansion of (pow (atan2 x.im x.re) 2) in y.im 2.872 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.im 2.872 * [taylor]: Taking taylor expansion of (sin (* y.im (log x.re))) in y.im 2.872 * [taylor]: Taking taylor expansion of (* y.im (log x.re)) in y.im 2.872 * [taylor]: Taking taylor expansion of y.im in y.im 2.872 * [taylor]: Taking taylor expansion of (log x.re) in y.im 2.872 * [taylor]: Taking taylor expansion of x.re in y.im 2.874 * [approximate]: Taking taylor expansion of (sin (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) in (x.im x.re y.re y.im) around 0 2.874 * [taylor]: Taking taylor expansion of (sin (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) in y.im 2.874 * [taylor]: Taking taylor expansion of (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im)) in y.im 2.874 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.im 2.874 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in y.im 2.874 * [taylor]: Taking taylor expansion of y.re in y.im 2.874 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in y.im 2.874 * [taylor]: Taking taylor expansion of (log x.re) in y.im 2.874 * [taylor]: Taking taylor expansion of x.re in y.im 2.874 * [taylor]: Taking taylor expansion of y.im in y.im 2.875 * [taylor]: Taking taylor expansion of (sin (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) in y.re 2.875 * [taylor]: Taking taylor expansion of (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im)) in y.re 2.875 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 2.875 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in y.re 2.875 * [taylor]: Taking taylor expansion of y.re in y.re 2.875 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in y.re 2.875 * [taylor]: Taking taylor expansion of (log x.re) in y.re 2.875 * [taylor]: Taking taylor expansion of x.re in y.re 2.875 * [taylor]: Taking taylor expansion of y.im in y.re 2.875 * [taylor]: Taking taylor expansion of (sin (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) in x.re 2.875 * [taylor]: Taking taylor expansion of (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im)) in x.re 2.875 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.re 2.875 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.re 2.875 * [taylor]: Taking taylor expansion of y.re in x.re 2.875 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in x.re 2.875 * [taylor]: Taking taylor expansion of (log x.re) in x.re 2.875 * [taylor]: Taking taylor expansion of x.re in x.re 2.876 * [taylor]: Taking taylor expansion of y.im in x.re 2.877 * [taylor]: Taking taylor expansion of (sin (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) in x.im 2.877 * [taylor]: Taking taylor expansion of (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im)) in x.im 2.877 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.im 2.877 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.im 2.877 * [taylor]: Taking taylor expansion of y.re in x.im 2.877 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in x.im 2.877 * [taylor]: Taking taylor expansion of (log x.re) in x.im 2.877 * [taylor]: Taking taylor expansion of x.re in x.im 2.877 * [taylor]: Taking taylor expansion of y.im in x.im 2.877 * [taylor]: Taking taylor expansion of (sin (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) in x.im 2.877 * [taylor]: Taking taylor expansion of (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im)) in x.im 2.877 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.im 2.877 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.im 2.877 * [taylor]: Taking taylor expansion of y.re in x.im 2.878 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in x.im 2.878 * [taylor]: Taking taylor expansion of (log x.re) in x.im 2.878 * [taylor]: Taking taylor expansion of x.re in x.im 2.878 * [taylor]: Taking taylor expansion of y.im in x.im 2.879 * [taylor]: Taking taylor expansion of (sin (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) in x.re 2.879 * [taylor]: Taking taylor expansion of (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im)) in x.re 2.879 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.re 2.879 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.re 2.879 * [taylor]: Taking taylor expansion of y.re in x.re 2.879 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in x.re 2.879 * [taylor]: Taking taylor expansion of (log x.re) in x.re 2.879 * [taylor]: Taking taylor expansion of x.re in x.re 2.879 * [taylor]: Taking taylor expansion of y.im in x.re 2.880 * [taylor]: Taking taylor expansion of (sin (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) in y.re 2.880 * [taylor]: Taking taylor expansion of (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im)) in y.re 2.881 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 2.881 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in y.re 2.881 * [taylor]: Taking taylor expansion of y.re in y.re 2.881 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in y.re 2.881 * [taylor]: Taking taylor expansion of (log x.re) in y.re 2.881 * [taylor]: Taking taylor expansion of x.re in y.re 2.881 * [taylor]: Taking taylor expansion of y.im in y.re 2.881 * [taylor]: Taking taylor expansion of (sin (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im))) in y.im 2.881 * [taylor]: Taking taylor expansion of (- (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) (/ (log x.re) y.im)) in y.im 2.881 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.im 2.881 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in y.im 2.881 * [taylor]: Taking taylor expansion of y.re in y.im 2.881 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in y.im 2.881 * [taylor]: Taking taylor expansion of (log x.re) in y.im 2.881 * [taylor]: Taking taylor expansion of x.re in y.im 2.881 * [taylor]: Taking taylor expansion of y.im in y.im 2.885 * [taylor]: Taking taylor expansion of 0 in x.re 2.885 * [taylor]: Taking taylor expansion of 0 in y.re 2.885 * [taylor]: Taking taylor expansion of 0 in y.im 2.888 * [taylor]: Taking taylor expansion of 0 in y.re 2.888 * [taylor]: Taking taylor expansion of 0 in y.im 2.888 * [taylor]: Taking taylor expansion of 0 in y.im 2.895 * [taylor]: Taking taylor expansion of 0 in x.re 2.896 * [taylor]: Taking taylor expansion of 0 in y.re 2.896 * [taylor]: Taking taylor expansion of 0 in y.im 2.896 * [taylor]: Taking taylor expansion of 0 in y.re 2.896 * [taylor]: Taking taylor expansion of 0 in y.im 2.896 * [approximate]: Taking taylor expansion of (sin (- (/ (log (* -1 x.re)) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in (x.im x.re y.re y.im) around 0 2.896 * [taylor]: Taking taylor expansion of (sin (- (/ (log (* -1 x.re)) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in y.im 2.896 * [taylor]: Taking taylor expansion of (- (/ (log (* -1 x.re)) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.im 2.896 * [taylor]: Taking taylor expansion of (/ (log (* -1 x.re)) y.im) in y.im 2.896 * [taylor]: Taking taylor expansion of (log (* -1 x.re)) in y.im 2.896 * [taylor]: Taking taylor expansion of (* -1 x.re) in y.im 2.896 * [taylor]: Taking taylor expansion of -1 in y.im 2.896 * [taylor]: Taking taylor expansion of x.re in y.im 2.896 * [taylor]: Taking taylor expansion of y.im in y.im 2.896 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in y.im 2.896 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in y.im 2.897 * [taylor]: Taking taylor expansion of y.re in y.im 2.897 * [taylor]: Taking taylor expansion of (sin (- (/ (log (* -1 x.re)) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in y.re 2.897 * [taylor]: Taking taylor expansion of (- (/ (log (* -1 x.re)) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 2.897 * [taylor]: Taking taylor expansion of (/ (log (* -1 x.re)) y.im) in y.re 2.897 * [taylor]: Taking taylor expansion of (log (* -1 x.re)) in y.re 2.897 * [taylor]: Taking taylor expansion of (* -1 x.re) in y.re 2.897 * [taylor]: Taking taylor expansion of -1 in y.re 2.897 * [taylor]: Taking taylor expansion of x.re in y.re 2.897 * [taylor]: Taking taylor expansion of y.im in y.re 2.897 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in y.re 2.897 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in y.re 2.897 * [taylor]: Taking taylor expansion of y.re in y.re 2.897 * [taylor]: Taking taylor expansion of (sin (- (/ (log (* -1 x.re)) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in x.re 2.897 * [taylor]: Taking taylor expansion of (- (/ (log (* -1 x.re)) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.re 2.897 * [taylor]: Taking taylor expansion of (/ (log (* -1 x.re)) y.im) in x.re 2.897 * [taylor]: Taking taylor expansion of (log (* -1 x.re)) in x.re 2.897 * [taylor]: Taking taylor expansion of (* -1 x.re) in x.re 2.898 * [taylor]: Taking taylor expansion of -1 in x.re 2.898 * [taylor]: Taking taylor expansion of x.re in x.re 2.899 * [taylor]: Taking taylor expansion of y.im in x.re 2.900 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in x.re 2.900 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.re 2.900 * [taylor]: Taking taylor expansion of y.re in x.re 2.902 * [taylor]: Taking taylor expansion of (sin (- (/ (log (* -1 x.re)) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in x.im 2.902 * [taylor]: Taking taylor expansion of (- (/ (log (* -1 x.re)) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.im 2.902 * [taylor]: Taking taylor expansion of (/ (log (* -1 x.re)) y.im) in x.im 2.902 * [taylor]: Taking taylor expansion of (log (* -1 x.re)) in x.im 2.902 * [taylor]: Taking taylor expansion of (* -1 x.re) in x.im 2.902 * [taylor]: Taking taylor expansion of -1 in x.im 2.902 * [taylor]: Taking taylor expansion of x.re in x.im 2.902 * [taylor]: Taking taylor expansion of y.im in x.im 2.902 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in x.im 2.902 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.im 2.902 * [taylor]: Taking taylor expansion of y.re in x.im 2.902 * [taylor]: Taking taylor expansion of (sin (- (/ (log (* -1 x.re)) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in x.im 2.902 * [taylor]: Taking taylor expansion of (- (/ (log (* -1 x.re)) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.im 2.903 * [taylor]: Taking taylor expansion of (/ (log (* -1 x.re)) y.im) in x.im 2.903 * [taylor]: Taking taylor expansion of (log (* -1 x.re)) in x.im 2.903 * [taylor]: Taking taylor expansion of (* -1 x.re) in x.im 2.903 * [taylor]: Taking taylor expansion of -1 in x.im 2.903 * [taylor]: Taking taylor expansion of x.re in x.im 2.903 * [taylor]: Taking taylor expansion of y.im in x.im 2.903 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in x.im 2.903 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.im 2.903 * [taylor]: Taking taylor expansion of y.re in x.im 2.904 * [taylor]: Taking taylor expansion of (sin (- (/ (log (* -1 x.re)) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in x.re 2.904 * [taylor]: Taking taylor expansion of (- (/ (log (* -1 x.re)) y.im) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.re 2.904 * [taylor]: Taking taylor expansion of (/ (log (* -1 x.re)) y.im) in x.re 2.904 * [taylor]: Taking taylor expansion of (log (* -1 x.re)) in x.re 2.904 * [taylor]: Taking taylor expansion of (* -1 x.re) in x.re 2.904 * [taylor]: Taking taylor expansion of -1 in x.re 2.904 * [taylor]: Taking taylor expansion of x.re in x.re 2.905 * [taylor]: Taking taylor expansion of y.im in x.re 2.906 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in x.re 2.906 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.re 2.906 * [taylor]: Taking taylor expansion of y.re in x.re 2.909 * [taylor]: Taking taylor expansion of (sin (- (+ (/ (log -1) y.im) (/ (log x.re) y.im)) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in y.re 2.909 * [taylor]: Taking taylor expansion of (- (+ (/ (log -1) y.im) (/ (log x.re) y.im)) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 2.909 * [taylor]: Taking taylor expansion of (+ (/ (log -1) y.im) (/ (log x.re) y.im)) in y.re 2.909 * [taylor]: Taking taylor expansion of (/ (log -1) y.im) in y.re 2.909 * [taylor]: Taking taylor expansion of (log -1) in y.re 2.909 * [taylor]: Taking taylor expansion of -1 in y.re 2.910 * [taylor]: Taking taylor expansion of y.im in y.re 2.910 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in y.re 2.910 * [taylor]: Taking taylor expansion of (log x.re) in y.re 2.910 * [taylor]: Taking taylor expansion of x.re in y.re 2.910 * [taylor]: Taking taylor expansion of y.im in y.re 2.910 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in y.re 2.910 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in y.re 2.910 * [taylor]: Taking taylor expansion of y.re in y.re 2.911 * [taylor]: Taking taylor expansion of (sin (- (+ (/ (log -1) y.im) (/ (log x.re) y.im)) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re))) in y.im 2.911 * [taylor]: Taking taylor expansion of (- (+ (/ (log -1) y.im) (/ (log x.re) y.im)) (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.im 2.911 * [taylor]: Taking taylor expansion of (+ (/ (log -1) y.im) (/ (log x.re) y.im)) in y.im 2.911 * [taylor]: Taking taylor expansion of (/ (log -1) y.im) in y.im 2.911 * [taylor]: Taking taylor expansion of (log -1) in y.im 2.911 * [taylor]: Taking taylor expansion of -1 in y.im 2.911 * [taylor]: Taking taylor expansion of y.im in y.im 2.912 * [taylor]: Taking taylor expansion of (/ (log x.re) y.im) in y.im 2.912 * [taylor]: Taking taylor expansion of (log x.re) in y.im 2.912 * [taylor]: Taking taylor expansion of x.re in y.im 2.912 * [taylor]: Taking taylor expansion of y.im in y.im 2.912 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in y.im 2.912 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in y.im 2.912 * [taylor]: Taking taylor expansion of y.re in y.im 2.917 * [taylor]: Taking taylor expansion of 0 in x.re 2.917 * [taylor]: Taking taylor expansion of 0 in y.re 2.917 * [taylor]: Taking taylor expansion of 0 in y.im 2.922 * [taylor]: Taking taylor expansion of 0 in y.re 2.922 * [taylor]: Taking taylor expansion of 0 in y.im 2.922 * [taylor]: Taking taylor expansion of 0 in y.im 2.927 * [taylor]: Taking taylor expansion of 0 in x.re 2.927 * [taylor]: Taking taylor expansion of 0 in y.re 2.927 * [taylor]: Taking taylor expansion of 0 in y.im 2.927 * [taylor]: Taking taylor expansion of 0 in y.re 2.927 * [taylor]: Taking taylor expansion of 0 in y.im 2.928 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 2.928 * [approximate]: Taking taylor expansion of (* (atan2 x.im x.re) y.im) in (x.im x.re y.im) around 0 2.928 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.im) in y.im 2.928 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.im 2.928 * [taylor]: Taking taylor expansion of y.im in y.im 2.928 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.im) in x.re 2.928 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.re 2.928 * [taylor]: Taking taylor expansion of y.im in x.re 2.928 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.im) in x.im 2.928 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.im 2.928 * [taylor]: Taking taylor expansion of y.im in x.im 2.928 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.im) in x.im 2.928 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.im 2.928 * [taylor]: Taking taylor expansion of y.im in x.im 2.928 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.im) in x.re 2.928 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.re 2.928 * [taylor]: Taking taylor expansion of y.im in x.re 2.928 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.im) in y.im 2.928 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.im 2.928 * [taylor]: Taking taylor expansion of y.im in y.im 2.929 * [taylor]: Taking taylor expansion of 0 in x.re 2.929 * [taylor]: Taking taylor expansion of 0 in y.im 2.929 * [taylor]: Taking taylor expansion of 0 in y.im 2.929 * [taylor]: Taking taylor expansion of 0 in x.re 2.929 * [taylor]: Taking taylor expansion of 0 in y.im 2.929 * [taylor]: Taking taylor expansion of 0 in y.im 2.930 * [taylor]: Taking taylor expansion of 0 in y.im 2.931 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.im) in (x.im x.re y.im) around 0 2.931 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.im) in y.im 2.931 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in y.im 2.931 * [taylor]: Taking taylor expansion of y.im in y.im 2.931 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.im) in x.re 2.931 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.re 2.931 * [taylor]: Taking taylor expansion of y.im in x.re 2.931 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.im) in x.im 2.931 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.im 2.931 * [taylor]: Taking taylor expansion of y.im in x.im 2.931 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.im) in x.im 2.931 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.im 2.931 * [taylor]: Taking taylor expansion of y.im in x.im 2.931 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.im) in x.re 2.931 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.re 2.931 * [taylor]: Taking taylor expansion of y.im in x.re 2.932 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.im) in y.im 2.932 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in y.im 2.932 * [taylor]: Taking taylor expansion of y.im in y.im 2.932 * [taylor]: Taking taylor expansion of 0 in x.re 2.932 * [taylor]: Taking taylor expansion of 0 in y.im 2.932 * [taylor]: Taking taylor expansion of 0 in y.im 2.933 * [taylor]: Taking taylor expansion of 0 in x.re 2.933 * [taylor]: Taking taylor expansion of 0 in y.im 2.933 * [taylor]: Taking taylor expansion of 0 in y.im 2.933 * [taylor]: Taking taylor expansion of 0 in y.im 2.934 * [taylor]: Taking taylor expansion of 0 in x.re 2.934 * [taylor]: Taking taylor expansion of 0 in y.im 2.934 * [taylor]: Taking taylor expansion of 0 in y.im 2.934 * [taylor]: Taking taylor expansion of 0 in y.im 2.935 * [taylor]: Taking taylor expansion of 0 in y.im 2.935 * [approximate]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im)) in (x.im x.re y.im) around 0 2.935 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im)) in y.im 2.935 * [taylor]: Taking taylor expansion of -1 in y.im 2.935 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im) in y.im 2.935 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in y.im 2.935 * [taylor]: Taking taylor expansion of y.im in y.im 2.935 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im)) in x.re 2.935 * [taylor]: Taking taylor expansion of -1 in x.re 2.935 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im) in x.re 2.935 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.re 2.935 * [taylor]: Taking taylor expansion of y.im in x.re 2.936 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im)) in x.im 2.936 * [taylor]: Taking taylor expansion of -1 in x.im 2.936 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im) in x.im 2.936 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.im 2.936 * [taylor]: Taking taylor expansion of y.im in x.im 2.936 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im)) in x.im 2.936 * [taylor]: Taking taylor expansion of -1 in x.im 2.936 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im) in x.im 2.936 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.im 2.936 * [taylor]: Taking taylor expansion of y.im in x.im 2.936 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im)) in x.re 2.936 * [taylor]: Taking taylor expansion of -1 in x.re 2.936 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im) in x.re 2.936 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.re 2.936 * [taylor]: Taking taylor expansion of y.im in x.re 2.936 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im)) in y.im 2.936 * [taylor]: Taking taylor expansion of -1 in y.im 2.936 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.im) in y.im 2.936 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in y.im 2.936 * [taylor]: Taking taylor expansion of y.im in y.im 2.937 * [taylor]: Taking taylor expansion of 0 in x.re 2.937 * [taylor]: Taking taylor expansion of 0 in y.im 2.938 * [taylor]: Taking taylor expansion of 0 in y.im 2.939 * [taylor]: Taking taylor expansion of 0 in x.re 2.939 * [taylor]: Taking taylor expansion of 0 in y.im 2.939 * [taylor]: Taking taylor expansion of 0 in y.im 2.940 * [taylor]: Taking taylor expansion of 0 in y.im 2.943 * [taylor]: Taking taylor expansion of 0 in x.re 2.943 * [taylor]: Taking taylor expansion of 0 in y.im 2.943 * [taylor]: Taking taylor expansion of 0 in y.im 2.943 * [taylor]: Taking taylor expansion of 0 in y.im 2.944 * [taylor]: Taking taylor expansion of 0 in y.im 2.945 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 2.945 * [approximate]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in (x.im x.re y.re) around 0 2.945 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.re 2.945 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.re 2.945 * [taylor]: Taking taylor expansion of y.re in y.re 2.945 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.re 2.945 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.re 2.945 * [taylor]: Taking taylor expansion of y.re in x.re 2.945 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.im 2.945 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.im 2.945 * [taylor]: Taking taylor expansion of y.re in x.im 2.945 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.im 2.945 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.im 2.945 * [taylor]: Taking taylor expansion of y.re in x.im 2.945 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in x.re 2.945 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in x.re 2.945 * [taylor]: Taking taylor expansion of y.re in x.re 2.945 * [taylor]: Taking taylor expansion of (* (atan2 x.im x.re) y.re) in y.re 2.945 * [taylor]: Taking taylor expansion of (atan2 x.im x.re) in y.re 2.945 * [taylor]: Taking taylor expansion of y.re in y.re 2.945 * [taylor]: Taking taylor expansion of 0 in x.re 2.945 * [taylor]: Taking taylor expansion of 0 in y.re 2.945 * [taylor]: Taking taylor expansion of 0 in y.re 2.946 * [taylor]: Taking taylor expansion of 0 in x.re 2.946 * [taylor]: Taking taylor expansion of 0 in y.re 2.946 * [taylor]: Taking taylor expansion of 0 in y.re 2.947 * [taylor]: Taking taylor expansion of 0 in y.re 2.947 * [approximate]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in (x.im x.re y.re) around 0 2.947 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 2.948 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in y.re 2.948 * [taylor]: Taking taylor expansion of y.re in y.re 2.948 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.re 2.948 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.re 2.948 * [taylor]: Taking taylor expansion of y.re in x.re 2.948 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.im 2.948 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.im 2.948 * [taylor]: Taking taylor expansion of y.re in x.im 2.948 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.im 2.948 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.im 2.948 * [taylor]: Taking taylor expansion of y.re in x.im 2.948 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in x.re 2.948 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in x.re 2.948 * [taylor]: Taking taylor expansion of y.re in x.re 2.948 * [taylor]: Taking taylor expansion of (/ (atan2 (/ 1 x.im) (/ 1 x.re)) y.re) in y.re 2.948 * [taylor]: Taking taylor expansion of (atan2 (/ 1 x.im) (/ 1 x.re)) in y.re 2.948 * [taylor]: Taking taylor expansion of y.re in y.re 2.949 * [taylor]: Taking taylor expansion of 0 in x.re 2.949 * [taylor]: Taking taylor expansion of 0 in y.re 2.949 * [taylor]: Taking taylor expansion of 0 in y.re 2.950 * [taylor]: Taking taylor expansion of 0 in x.re 2.950 * [taylor]: Taking taylor expansion of 0 in y.re 2.950 * [taylor]: Taking taylor expansion of 0 in y.re 2.950 * [taylor]: Taking taylor expansion of 0 in y.re 2.951 * [taylor]: Taking taylor expansion of 0 in x.re 2.951 * [taylor]: Taking taylor expansion of 0 in y.re 2.951 * [taylor]: Taking taylor expansion of 0 in y.re 2.951 * [taylor]: Taking taylor expansion of 0 in y.re 2.952 * [taylor]: Taking taylor expansion of 0 in y.re 2.952 * [approximate]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in (x.im x.re y.re) around 0 2.952 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 2.952 * [taylor]: Taking taylor expansion of -1 in y.re 2.952 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in y.re 2.952 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in y.re 2.952 * [taylor]: Taking taylor expansion of y.re in y.re 2.952 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.re 2.952 * [taylor]: Taking taylor expansion of -1 in x.re 2.952 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in x.re 2.952 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.re 2.952 * [taylor]: Taking taylor expansion of y.re in x.re 2.952 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.im 2.953 * [taylor]: Taking taylor expansion of -1 in x.im 2.953 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in x.im 2.953 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.im 2.953 * [taylor]: Taking taylor expansion of y.re in x.im 2.953 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.im 2.953 * [taylor]: Taking taylor expansion of -1 in x.im 2.953 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in x.im 2.953 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.im 2.953 * [taylor]: Taking taylor expansion of y.re in x.im 2.953 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in x.re 2.953 * [taylor]: Taking taylor expansion of -1 in x.re 2.953 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in x.re 2.953 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in x.re 2.953 * [taylor]: Taking taylor expansion of y.re in x.re 2.953 * [taylor]: Taking taylor expansion of (* -1 (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re)) in y.re 2.953 * [taylor]: Taking taylor expansion of -1 in y.re 2.953 * [taylor]: Taking taylor expansion of (/ (atan2 (/ -1 x.im) (/ -1 x.re)) y.re) in y.re 2.953 * [taylor]: Taking taylor expansion of (atan2 (/ -1 x.im) (/ -1 x.re)) in y.re 2.953 * [taylor]: Taking taylor expansion of y.re in y.re 2.954 * [taylor]: Taking taylor expansion of 0 in x.re 2.954 * [taylor]: Taking taylor expansion of 0 in y.re 2.955 * [taylor]: Taking taylor expansion of 0 in y.re 2.956 * [taylor]: Taking taylor expansion of 0 in x.re 2.957 * [taylor]: Taking taylor expansion of 0 in y.re 2.957 * [taylor]: Taking taylor expansion of 0 in y.re 2.957 * [taylor]: Taking taylor expansion of 0 in y.re 2.960 * [taylor]: Taking taylor expansion of 0 in x.re 2.960 * [taylor]: Taking taylor expansion of 0 in y.re 2.960 * [taylor]: Taking taylor expansion of 0 in y.re 2.960 * [taylor]: Taking taylor expansion of 0 in y.re 2.961 * [taylor]: Taking taylor expansion of 0 in y.re 2.962 * * * [progress]: simplifying candidates 2.963 * [simplify]: Simplifying using # : (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (* (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (* (cbrt (+ (* x.re x.re) (* x.im x.im))) (cbrt (+ (* x.re x.re) (* x.im x.im))))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (* 1 1)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt 1) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) (/ 1 2) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (- (* y.im (log (/ 1 x.re)))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (- (* y.im (log (/ 1 x.re)))))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (- (* y.im (log (/ 1 x.re)))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (- (* y.im (log (/ 1 x.re)))))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* y.im (log (/ 1 x.re))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (* y.im (log (/ 1 x.re))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (* (cbrt (/ 1 x.re)) (cbrt (/ 1 x.re))))))) (cos (* y.im (log (cbrt (/ 1 x.re)))))) (* (cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (* (cbrt (/ 1 x.re)) (cbrt (/ 1 x.re))))))) (sin (* y.im (log (cbrt (/ 1 x.re)))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (/ 1 x.re)))))) (cos (* y.im (log (sqrt (/ 1 x.re)))))) (* (cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (/ 1 x.re)))))) (sin (* y.im (log (sqrt (/ 1 x.re)))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x.re) (cbrt x.re))))))) (cos (* y.im (log (/ (cbrt 1) (cbrt x.re)))))) (* (cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x.re) (cbrt x.re))))))) (sin (* y.im (log (/ (cbrt 1) (cbrt x.re)))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ (* (cbrt 1) (cbrt 1)) (sqrt x.re)))))) (cos (* y.im (log (/ (cbrt 1) (sqrt x.re)))))) (* (cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ (* (cbrt 1) (cbrt 1)) (sqrt x.re)))))) (sin (* y.im (log (/ (cbrt 1) (sqrt x.re)))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ (* (cbrt 1) (cbrt 1)) 1))))) (cos (* y.im (log (/ (cbrt 1) x.re))))) (* (cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ (* (cbrt 1) (cbrt 1)) 1))))) (sin (* y.im (log (/ (cbrt 1) x.re))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ (sqrt 1) (* (cbrt x.re) (cbrt x.re))))))) (cos (* y.im (log (/ (sqrt 1) (cbrt x.re)))))) (* (cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ (sqrt 1) (* (cbrt x.re) (cbrt x.re))))))) (sin (* y.im (log (/ (sqrt 1) (cbrt x.re)))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ (sqrt 1) (sqrt x.re)))))) (cos (* y.im (log (/ (sqrt 1) (sqrt x.re)))))) (* (cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ (sqrt 1) (sqrt x.re)))))) (sin (* y.im (log (/ (sqrt 1) (sqrt x.re)))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ (sqrt 1) 1))))) (cos (* y.im (log (/ (sqrt 1) x.re))))) (* (cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ (sqrt 1) 1))))) (sin (* y.im (log (/ (sqrt 1) x.re))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 (* (cbrt x.re) (cbrt x.re))))))) (cos (* y.im (log (/ 1 (cbrt x.re)))))) (* (cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 (* (cbrt x.re) (cbrt x.re))))))) (sin (* y.im (log (/ 1 (cbrt x.re)))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 (sqrt x.re)))))) (cos (* y.im (log (/ 1 (sqrt x.re)))))) (* (cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 (sqrt x.re)))))) (sin (* y.im (log (/ 1 (sqrt x.re)))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 1))))) (cos (* y.im (log (/ 1 x.re))))) (* (cos (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 1))))) (sin (* y.im (log (/ 1 x.re))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log 1)))) (cos (* y.im (log (/ 1 x.re))))) (* (cos (- (* (atan2 x.im x.re) y.re) (* y.im (log 1)))) (sin (* y.im (log (/ 1 x.re))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log 1)))) (cos (* y.im (log (/ 1 x.re))))) (* (cos (- (* (atan2 x.im x.re) y.re) (* y.im (log 1)))) (sin (* y.im (log (/ 1 x.re))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (* (cbrt (/ 1 x.re)) (cbrt (/ 1 x.re)))) y.im))) (cos (* (log (cbrt (/ 1 x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (* (cbrt (/ 1 x.re)) (cbrt (/ 1 x.re)))) y.im))) (sin (* (log (cbrt (/ 1 x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (sqrt (/ 1 x.re))) y.im))) (cos (* (log (sqrt (/ 1 x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (sqrt (/ 1 x.re))) y.im))) (sin (* (log (sqrt (/ 1 x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x.re) (cbrt x.re)))) y.im))) (cos (* (log (/ (cbrt 1) (cbrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x.re) (cbrt x.re)))) y.im))) (sin (* (log (/ (cbrt 1) (cbrt x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ (* (cbrt 1) (cbrt 1)) (sqrt x.re))) y.im))) (cos (* (log (/ (cbrt 1) (sqrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ (* (cbrt 1) (cbrt 1)) (sqrt x.re))) y.im))) (sin (* (log (/ (cbrt 1) (sqrt x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ (* (cbrt 1) (cbrt 1)) 1)) y.im))) (cos (* (log (/ (cbrt 1) x.re)) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ (* (cbrt 1) (cbrt 1)) 1)) y.im))) (sin (* (log (/ (cbrt 1) x.re)) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ (sqrt 1) (* (cbrt x.re) (cbrt x.re)))) y.im))) (cos (* (log (/ (sqrt 1) (cbrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ (sqrt 1) (* (cbrt x.re) (cbrt x.re)))) y.im))) (sin (* (log (/ (sqrt 1) (cbrt x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ (sqrt 1) (sqrt x.re))) y.im))) (cos (* (log (/ (sqrt 1) (sqrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ (sqrt 1) (sqrt x.re))) y.im))) (sin (* (log (/ (sqrt 1) (sqrt x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ (sqrt 1) 1)) y.im))) (cos (* (log (/ (sqrt 1) x.re)) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ (sqrt 1) 1)) y.im))) (sin (* (log (/ (sqrt 1) x.re)) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (* (cbrt x.re) (cbrt x.re)))) y.im))) (cos (* (log (/ 1 (cbrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (* (cbrt x.re) (cbrt x.re)))) y.im))) (sin (* (log (/ 1 (cbrt x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (sqrt x.re))) y.im))) (cos (* (log (/ 1 (sqrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (sqrt x.re))) y.im))) (sin (* (log (/ 1 (sqrt x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 1)) y.im))) (cos (* (log (/ 1 x.re)) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 1)) y.im))) (sin (* (log (/ 1 x.re)) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log 1) y.im))) (cos (* (log (/ 1 x.re)) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log 1) y.im))) (sin (* (log (/ 1 x.re)) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log 1) y.im))) (cos (* (log (/ 1 x.re)) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log 1) y.im))) (sin (* (log (/ 1 x.re)) y.im))) (log (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))) (exp (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))) (* (cbrt (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))) (cbrt (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))))) (cbrt (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))) (* (* (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))) (sqrt (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))) (sqrt (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))) (* (atan2 x.im x.re) y.im) (+ (log (atan2 x.im x.re)) (log y.im)) (log (* (atan2 x.im x.re) y.im)) (exp (* (atan2 x.im x.re) y.im)) (* (* (* (atan2 x.im x.re) (atan2 x.im x.re)) (atan2 x.im x.re)) (* (* y.im y.im) y.im)) (* (cbrt (* (atan2 x.im x.re) y.im)) (cbrt (* (atan2 x.im x.re) y.im))) (cbrt (* (atan2 x.im x.re) y.im)) (* (* (* (atan2 x.im x.re) y.im) (* (atan2 x.im x.re) y.im)) (* (atan2 x.im x.re) y.im)) (sqrt (* (atan2 x.im x.re) y.im)) (sqrt (* (atan2 x.im x.re) y.im)) (* (sqrt (atan2 x.im x.re)) (sqrt y.im)) (* (sqrt (atan2 x.im x.re)) (sqrt y.im)) (* (atan2 x.im x.re) (* (cbrt y.im) (cbrt y.im))) (* (atan2 x.im x.re) (sqrt y.im)) (* (atan2 x.im x.re) 1) (* (cbrt (atan2 x.im x.re)) y.im) (* (sqrt (atan2 x.im x.re)) y.im) (* (atan2 x.im x.re) y.im) (* (atan2 x.im x.re) y.re) (+ (log (atan2 x.im x.re)) (log y.re)) (log (* (atan2 x.im x.re) y.re)) (exp (* (atan2 x.im x.re) y.re)) (* (* (* (atan2 x.im x.re) (atan2 x.im x.re)) (atan2 x.im x.re)) (* (* y.re y.re) y.re)) (* (cbrt (* (atan2 x.im x.re) y.re)) (cbrt (* (atan2 x.im x.re) y.re))) (cbrt (* (atan2 x.im x.re) y.re)) (* (* (* (atan2 x.im x.re) y.re) (* (atan2 x.im x.re) y.re)) (* (atan2 x.im x.re) y.re)) (sqrt (* (atan2 x.im x.re) y.re)) (sqrt (* (atan2 x.im x.re) y.re)) (* (sqrt (atan2 x.im x.re)) (sqrt y.re)) (* (sqrt (atan2 x.im x.re)) (sqrt y.re)) (* (atan2 x.im x.re) (* (cbrt y.re) (cbrt y.re))) (* (atan2 x.im x.re) (sqrt y.re)) (* (atan2 x.im x.re) 1) (* (cbrt (atan2 x.im x.re)) y.re) (* (sqrt (atan2 x.im x.re)) y.re) (* (atan2 x.im x.re) y.re) x.im x.re (* -1 x.re) (+ (* (log x.re) y.im) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (+ (* y.im (log (/ -1 x.re))) (* (log -1) y.im)))) (* (atan2 x.im x.re) y.im) (* (atan2 x.im x.re) y.im) (* (atan2 x.im x.re) y.im) (* (atan2 x.im x.re) y.re) (* (atan2 x.im x.re) y.re) (* (atan2 x.im x.re) y.re) 2.972 * * [simplify]: iteration 0 : 621 enodes (cost 1175 ) 2.978 * * [simplify]: iteration 1 : 1198 enodes (cost 1137 ) 2.994 * * [simplify]: iteration 2 : 2562 enodes (cost 1085 ) 3.025 * * [simplify]: iteration 3 : 5001 enodes (cost 1025 ) 3.030 * [simplify]: Simplified to: (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (exp (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) 3) (fabs (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (cbrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) 1 (sqrt (+ (* x.re x.re) (* x.im x.im))) (sqrt (+ (pow (* x.re x.re) 3) (pow (* x.im x.im) 3))) (sqrt (+ (* (* x.re x.re) (* x.re x.re)) (- (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im))))) (sqrt (- (* (* x.re x.re) (* x.re x.re)) (* (* x.im x.im) (* x.im x.im)))) (sqrt (- (* x.re x.re) (* x.im x.im))) 1/2 (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* y.im (log (/ 1 x.re))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (- (* y.im (log (/ 1 x.re)))))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* y.im (log (/ 1 x.re))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (- (* y.im (log (/ 1 x.re)))))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* y.im (log (/ 1 x.re))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (* y.im (log (/ 1 x.re))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (* (cbrt (/ 1 x.re)) (cbrt (/ 1 x.re)))) y.im))) (cos (* (log (cbrt (/ 1 x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (* (cbrt (/ 1 x.re)) (cbrt (/ 1 x.re)))) y.im))) (sin (* (log (cbrt (/ 1 x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (sqrt (/ 1 x.re))) y.im))) (cos (* (log (sqrt (/ 1 x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (sqrt (/ 1 x.re))) y.im))) (sin (* (log (sqrt (/ 1 x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (* (cbrt x.re) (cbrt x.re)))) y.im))) (cos (* (log (/ 1 (cbrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (* (cbrt x.re) (cbrt x.re)))) y.im))) (sin (* (log (/ 1 (cbrt x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (sqrt x.re))) y.im))) (cos (* (log (/ 1 (sqrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (sqrt x.re))) y.im))) (sin (* (log (/ 1 (sqrt x.re))) y.im))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* y.im (log (/ 1 x.re))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (* y.im (log (/ 1 x.re))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (* (cbrt x.re) (cbrt x.re)))) y.im))) (cos (* (log (/ 1 (cbrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (* (cbrt x.re) (cbrt x.re)))) y.im))) (sin (* (log (/ 1 (cbrt x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (sqrt x.re))) y.im))) (cos (* (log (/ 1 (sqrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (sqrt x.re))) y.im))) (sin (* (log (/ 1 (sqrt x.re))) y.im))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* y.im (log (/ 1 x.re))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (* y.im (log (/ 1 x.re))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (* (cbrt x.re) (cbrt x.re)))) y.im))) (cos (* (log (/ 1 (cbrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (* (cbrt x.re) (cbrt x.re)))) y.im))) (sin (* (log (/ 1 (cbrt x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (sqrt x.re))) y.im))) (cos (* (log (/ 1 (sqrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (sqrt x.re))) y.im))) (sin (* (log (/ 1 (sqrt x.re))) y.im))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* y.im (log (/ 1 x.re))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (* y.im (log (/ 1 x.re))))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* y.im (log (/ 1 x.re))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (* y.im (log (/ 1 x.re))))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* y.im (log (/ 1 x.re))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (* y.im (log (/ 1 x.re))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (* (cbrt (/ 1 x.re)) (cbrt (/ 1 x.re)))) y.im))) (cos (* (log (cbrt (/ 1 x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (* (cbrt (/ 1 x.re)) (cbrt (/ 1 x.re)))) y.im))) (sin (* (log (cbrt (/ 1 x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (sqrt (/ 1 x.re))) y.im))) (cos (* (log (sqrt (/ 1 x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (sqrt (/ 1 x.re))) y.im))) (sin (* (log (sqrt (/ 1 x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (* (cbrt x.re) (cbrt x.re)))) y.im))) (cos (* (log (/ 1 (cbrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (* (cbrt x.re) (cbrt x.re)))) y.im))) (sin (* (log (/ 1 (cbrt x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (sqrt x.re))) y.im))) (cos (* (log (/ 1 (sqrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (sqrt x.re))) y.im))) (sin (* (log (/ 1 (sqrt x.re))) y.im))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* y.im (log (/ 1 x.re))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (* y.im (log (/ 1 x.re))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (* (cbrt x.re) (cbrt x.re)))) y.im))) (cos (* (log (/ 1 (cbrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (* (cbrt x.re) (cbrt x.re)))) y.im))) (sin (* (log (/ 1 (cbrt x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (sqrt x.re))) y.im))) (cos (* (log (/ 1 (sqrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (sqrt x.re))) y.im))) (sin (* (log (/ 1 (sqrt x.re))) y.im))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* y.im (log (/ 1 x.re))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (* y.im (log (/ 1 x.re))))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (* (cbrt x.re) (cbrt x.re)))) y.im))) (cos (* (log (/ 1 (cbrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (* (cbrt x.re) (cbrt x.re)))) y.im))) (sin (* (log (/ 1 (cbrt x.re))) y.im))) (* (sin (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (sqrt x.re))) y.im))) (cos (* (log (/ 1 (sqrt x.re))) y.im))) (* (cos (- (* (atan2 x.im x.re) y.re) (* (log (/ 1 (sqrt x.re))) y.im))) (sin (* (log (/ 1 (sqrt x.re))) y.im))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* y.im (log (/ 1 x.re))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (* y.im (log (/ 1 x.re))))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* y.im (log (/ 1 x.re))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (* y.im (log (/ 1 x.re))))) (* (sin (* (atan2 x.im x.re) y.re)) (cos (* y.im (log (/ 1 x.re))))) (* (cos (* (atan2 x.im x.re) y.re)) (sin (* y.im (log (/ 1 x.re))))) (log (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))) (exp (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))) (* (cbrt (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))) (cbrt (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))))) (cbrt (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))) (pow (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) 3) (sqrt (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))) (sqrt (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re)))))) (* (atan2 x.im x.re) y.im) (log (* (atan2 x.im x.re) y.im)) (log (* (atan2 x.im x.re) y.im)) (exp (* (atan2 x.im x.re) y.im)) (pow (* (atan2 x.im x.re) y.im) 3) (* (cbrt (* (atan2 x.im x.re) y.im)) (cbrt (* (atan2 x.im x.re) y.im))) (cbrt (* (atan2 x.im x.re) y.im)) (pow (* (atan2 x.im x.re) y.im) 3) (sqrt (* (atan2 x.im x.re) y.im)) (sqrt (* (atan2 x.im x.re) y.im)) (* (sqrt (atan2 x.im x.re)) (sqrt y.im)) (* (sqrt (atan2 x.im x.re)) (sqrt y.im)) (* (atan2 x.im x.re) (* (cbrt y.im) (cbrt y.im))) (* (atan2 x.im x.re) (sqrt y.im)) (atan2 x.im x.re) (* (cbrt (atan2 x.im x.re)) y.im) (* (sqrt (atan2 x.im x.re)) y.im) (* (atan2 x.im x.re) y.im) (* (atan2 x.im x.re) y.re) (log (* (atan2 x.im x.re) y.re)) (log (* (atan2 x.im x.re) y.re)) (exp (* (atan2 x.im x.re) y.re)) (pow (* (atan2 x.im x.re) y.re) 3) (* (cbrt (* (atan2 x.im x.re) y.re)) (cbrt (* (atan2 x.im x.re) y.re))) (cbrt (* (atan2 x.im x.re) y.re)) (pow (* (atan2 x.im x.re) y.re) 3) (sqrt (* (atan2 x.im x.re) y.re)) (sqrt (* (atan2 x.im x.re) y.re)) (* (sqrt (atan2 x.im x.re)) (sqrt y.re)) (* (sqrt (atan2 x.im x.re)) (sqrt y.re)) (* (atan2 x.im x.re) (* (cbrt y.re) (cbrt y.re))) (* (atan2 x.im x.re) (sqrt y.re)) (atan2 x.im x.re) (* (cbrt (atan2 x.im x.re)) y.re) (* (sqrt (atan2 x.im x.re)) y.re) (* (atan2 x.im x.re) y.re) x.im x.re (* -1 x.re) (+ (* (log x.re) y.im) (* (atan2 x.im x.re) y.re)) (sin (- (* (atan2 x.im x.re) y.re) (* y.im (log (/ 1 x.re))))) (sin (- (* (atan2 x.im x.re) y.re) (+ (* y.im (log (/ -1 x.re))) (* (log -1) y.im)))) (* (atan2 x.im x.re) y.im) (* (atan2 x.im x.re) y.im) (* (atan2 x.im x.re) y.im) (* (atan2 x.im x.re) y.re) (* (atan2 x.im x.re) y.re) (* (atan2 x.im x.re) y.re) 3.030 * * * [progress]: adding candidates to table 3.300 * [progress]: [Phase 3 of 3] Extracting. 3.301 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # #) 3.316 * * * [regime-changes]: Trying 4 branch expressions: (y.im y.re x.im x.re) 3.316 * * * * [regimes]: Trying to branch on y.im from (# # # # # # # # # # # #) 3.441 * * * * [regimes]: Trying to branch on y.re from (# # # # # # # # # # # #) 3.584 * * * * [regimes]: Trying to branch on x.im from (# # # # # # # # # # # #) 3.691 * * * * [regimes]: Trying to branch on x.re from (# # # # # # # # # # # #) 3.792 * * * [regime]: Found split indices: #