7.028 * [progress]: [Phase 1 of 3] Setting up. 0.000 * * * [progress]: [1/2] Preparing points 0.491 * * * [progress]: [2/2] Setting up program. 0.493 * [progress]: [Phase 2 of 3] Improving. 0.493 * [simplify]: Simplifying using # : (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) 0.494 * * [simplify]: iteration 0 : 12 enodes (cost 19 ) 0.494 * * [simplify]: iteration 1 : 12 enodes (cost 19 ) 0.494 * [simplify]: Simplified to: (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) 0.494 * * [progress]: iteration 1 / 4 0.494 * * * [progress]: picking best candidate 0.495 * * * * [pick]: Picked # 0.496 * * * [progress]: localizing error 0.506 * * * [progress]: generating rewritten candidates 0.506 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.506 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.506 * * * [progress]: generating series expansions 0.506 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.507 * [approximate]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in (im) around 0 0.507 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.507 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.507 * [taylor]: Taking taylor expansion of (neg im) in im 0.507 * [taylor]: Taking taylor expansion of im in im 0.508 * [taylor]: Taking taylor expansion of (exp im) in im 0.508 * [taylor]: Taking taylor expansion of im in im 0.508 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.508 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.508 * [taylor]: Taking taylor expansion of (neg im) in im 0.508 * [taylor]: Taking taylor expansion of im in im 0.508 * [taylor]: Taking taylor expansion of (exp im) in im 0.508 * [taylor]: Taking taylor expansion of im in im 0.530 * [approximate]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 0.531 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.531 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.531 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.531 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.531 * [taylor]: Taking taylor expansion of im in im 0.532 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.532 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.532 * [taylor]: Taking taylor expansion of im in im 0.532 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.532 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.532 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.532 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.532 * [taylor]: Taking taylor expansion of im in im 0.533 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.533 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.533 * [taylor]: Taking taylor expansion of im in im 0.541 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0 0.541 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.541 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.541 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.541 * [taylor]: Taking taylor expansion of im in im 0.542 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.542 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.542 * [taylor]: Taking taylor expansion of -1 in im 0.542 * [taylor]: Taking taylor expansion of im in im 0.542 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.542 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.542 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.542 * [taylor]: Taking taylor expansion of im in im 0.543 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.543 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.543 * [taylor]: Taking taylor expansion of -1 in im 0.543 * [taylor]: Taking taylor expansion of im in im 0.549 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.551 * [approximate]: Taking taylor expansion of (* 1/2 (* (cos re) (- (exp (neg im)) (exp im)))) in (re im) around 0 0.551 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos re) (- (exp (neg im)) (exp im)))) in im 0.551 * [taylor]: Taking taylor expansion of 1/2 in im 0.551 * [taylor]: Taking taylor expansion of (* (cos re) (- (exp (neg im)) (exp im))) in im 0.551 * [taylor]: Taking taylor expansion of (cos re) in im 0.551 * [taylor]: Taking taylor expansion of re in im 0.551 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.551 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.551 * [taylor]: Taking taylor expansion of (neg im) in im 0.551 * [taylor]: Taking taylor expansion of im in im 0.552 * [taylor]: Taking taylor expansion of (exp im) in im 0.552 * [taylor]: Taking taylor expansion of im in im 0.552 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos re) (- (exp (neg im)) (exp im)))) in re 0.552 * [taylor]: Taking taylor expansion of 1/2 in re 0.552 * [taylor]: Taking taylor expansion of (* (cos re) (- (exp (neg im)) (exp im))) in re 0.552 * [taylor]: Taking taylor expansion of (cos re) in re 0.552 * [taylor]: Taking taylor expansion of re in re 0.552 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in re 0.552 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.552 * [taylor]: Taking taylor expansion of (neg im) in re 0.552 * [taylor]: Taking taylor expansion of im in re 0.553 * [taylor]: Taking taylor expansion of (exp im) in re 0.553 * [taylor]: Taking taylor expansion of im in re 0.553 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos re) (- (exp (neg im)) (exp im)))) in re 0.553 * [taylor]: Taking taylor expansion of 1/2 in re 0.553 * [taylor]: Taking taylor expansion of (* (cos re) (- (exp (neg im)) (exp im))) in re 0.553 * [taylor]: Taking taylor expansion of (cos re) in re 0.553 * [taylor]: Taking taylor expansion of re in re 0.553 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in re 0.553 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.553 * [taylor]: Taking taylor expansion of (neg im) in re 0.553 * [taylor]: Taking taylor expansion of im in re 0.554 * [taylor]: Taking taylor expansion of (exp im) in re 0.554 * [taylor]: Taking taylor expansion of im in re 0.556 * [taylor]: Taking taylor expansion of (* 1/2 (- (exp (neg im)) (exp im))) in im 0.556 * [taylor]: Taking taylor expansion of 1/2 in im 0.556 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.556 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.556 * [taylor]: Taking taylor expansion of (neg im) in im 0.556 * [taylor]: Taking taylor expansion of im in im 0.556 * [taylor]: Taking taylor expansion of (exp im) in im 0.556 * [taylor]: Taking taylor expansion of im in im 0.560 * [taylor]: Taking taylor expansion of 0 in im 0.567 * [taylor]: Taking taylor expansion of (- (* 1/4 (exp im)) (* 1/4 (exp (neg im)))) in im 0.567 * [taylor]: Taking taylor expansion of (* 1/4 (exp im)) in im 0.567 * [taylor]: Taking taylor expansion of 1/4 in im 0.567 * [taylor]: Taking taylor expansion of (exp im) in im 0.567 * [taylor]: Taking taylor expansion of im in im 0.567 * [taylor]: Taking taylor expansion of (* 1/4 (exp (neg im))) in im 0.567 * [taylor]: Taking taylor expansion of 1/4 in im 0.567 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.567 * [taylor]: Taking taylor expansion of (neg im) in im 0.567 * [taylor]: Taking taylor expansion of im in im 0.577 * [taylor]: Taking taylor expansion of 0 in im 0.593 * [approximate]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 0.593 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 0.593 * [taylor]: Taking taylor expansion of 1/2 in im 0.593 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 0.593 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.593 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.593 * [taylor]: Taking taylor expansion of re in im 0.594 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.594 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.594 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.594 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.594 * [taylor]: Taking taylor expansion of im in im 0.595 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.595 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.595 * [taylor]: Taking taylor expansion of im in im 0.596 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 0.596 * [taylor]: Taking taylor expansion of 1/2 in re 0.596 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 0.596 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.596 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.596 * [taylor]: Taking taylor expansion of re in re 0.596 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.596 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.596 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.596 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.596 * [taylor]: Taking taylor expansion of im in re 0.597 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.597 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.597 * [taylor]: Taking taylor expansion of im in re 0.598 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 0.598 * [taylor]: Taking taylor expansion of 1/2 in re 0.598 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 0.598 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.598 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.598 * [taylor]: Taking taylor expansion of re in re 0.598 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.598 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.598 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.598 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.598 * [taylor]: Taking taylor expansion of im in re 0.599 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.599 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.599 * [taylor]: Taking taylor expansion of im in re 0.604 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 0.604 * [taylor]: Taking taylor expansion of 1/2 in im 0.604 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 0.604 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.604 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.604 * [taylor]: Taking taylor expansion of re in im 0.604 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.604 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.604 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.604 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.604 * [taylor]: Taking taylor expansion of im in im 0.605 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.605 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.605 * [taylor]: Taking taylor expansion of im in im 0.618 * [taylor]: Taking taylor expansion of 0 in im 0.633 * [taylor]: Taking taylor expansion of 0 in im 0.652 * [taylor]: Taking taylor expansion of 0 in im 0.657 * [approximate]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in (re im) around 0 0.657 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 0.657 * [taylor]: Taking taylor expansion of 1/2 in im 0.657 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 0.657 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.657 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.657 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.657 * [taylor]: Taking taylor expansion of im in im 0.658 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.658 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.658 * [taylor]: Taking taylor expansion of -1 in im 0.658 * [taylor]: Taking taylor expansion of im in im 0.658 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.658 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.658 * [taylor]: Taking taylor expansion of -1 in im 0.658 * [taylor]: Taking taylor expansion of re in im 0.659 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 0.659 * [taylor]: Taking taylor expansion of 1/2 in re 0.659 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 0.659 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 0.659 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.659 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.659 * [taylor]: Taking taylor expansion of im in re 0.659 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.659 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.659 * [taylor]: Taking taylor expansion of -1 in re 0.659 * [taylor]: Taking taylor expansion of im in re 0.660 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.660 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.660 * [taylor]: Taking taylor expansion of -1 in re 0.660 * [taylor]: Taking taylor expansion of re in re 0.660 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 0.660 * [taylor]: Taking taylor expansion of 1/2 in re 0.660 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 0.660 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 0.660 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.660 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.660 * [taylor]: Taking taylor expansion of im in re 0.661 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.661 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.661 * [taylor]: Taking taylor expansion of -1 in re 0.661 * [taylor]: Taking taylor expansion of im in re 0.661 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.661 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.661 * [taylor]: Taking taylor expansion of -1 in re 0.661 * [taylor]: Taking taylor expansion of re in re 0.664 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 0.664 * [taylor]: Taking taylor expansion of 1/2 in im 0.664 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 0.664 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.664 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.664 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.664 * [taylor]: Taking taylor expansion of im in im 0.665 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.665 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.665 * [taylor]: Taking taylor expansion of -1 in im 0.665 * [taylor]: Taking taylor expansion of im in im 0.665 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.665 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.665 * [taylor]: Taking taylor expansion of -1 in im 0.665 * [taylor]: Taking taylor expansion of re in im 0.674 * [taylor]: Taking taylor expansion of 0 in im 0.684 * [taylor]: Taking taylor expansion of 0 in im 0.697 * [taylor]: Taking taylor expansion of 0 in im 0.700 * * * [progress]: simplifying candidates 0.700 * [simplify]: Simplifying using # : (neg.f64 (+.f64 (*.f64 2 im) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (-.f64 (*.f64 1/2 (*.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 1/6 (pow.f64 im 3)) im)) (*.f64 1/2 (*.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 1/2 (*.f64 (cos.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)))) 0.701 * * [simplify]: iteration 0 : 37 enodes (cost 104 ) 0.701 * * [simplify]: iteration 1 : 37 enodes (cost 104 ) 0.701 * [simplify]: Simplified to: (neg.f64 (+.f64 (*.f64 2 im) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)) (-.f64 (*.f64 1/2 (*.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 1/6 (pow.f64 im 3)) im)) (*.f64 1/2 (*.f64 (cos.f64 re) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 1/2 (*.f64 (cos.f64 re) (-.f64 (exp.f64 (*.f64 -1 im)) (exp.f64 im)))) 0.701 * * * [progress]: adding candidates to table 0.709 * * [progress]: iteration 2 / 4 0.709 * * * [progress]: picking best candidate 0.711 * * * * [pick]: Picked # 0.711 * * * [progress]: localizing error 0.727 * * * [progress]: generating rewritten candidates 0.727 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1) 0.727 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.727 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 0.727 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 0.727 * * * [progress]: generating series expansions 0.727 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1) 0.727 * [approximate]: Taking taylor expansion of (* 1/3 (pow im 3)) in (im) around 0 0.727 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.727 * [taylor]: Taking taylor expansion of 1/3 in im 0.727 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.727 * [taylor]: Taking taylor expansion of im in im 0.727 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.728 * [taylor]: Taking taylor expansion of 1/3 in im 0.728 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.728 * [taylor]: Taking taylor expansion of im in im 0.741 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 0.741 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 0.741 * [taylor]: Taking taylor expansion of 1/3 in im 0.741 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.741 * [taylor]: Taking taylor expansion of im in im 0.741 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 0.742 * [taylor]: Taking taylor expansion of 1/3 in im 0.742 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.742 * [taylor]: Taking taylor expansion of im in im 0.761 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 0.761 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 0.761 * [taylor]: Taking taylor expansion of -1/3 in im 0.761 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.761 * [taylor]: Taking taylor expansion of im in im 0.762 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 0.762 * [taylor]: Taking taylor expansion of -1/3 in im 0.762 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.762 * [taylor]: Taking taylor expansion of im in im 0.784 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.786 * [approximate]: Taking taylor expansion of (* -1/2 (* (cos re) (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) in (re im) around 0 0.786 * [taylor]: Taking taylor expansion of (* -1/2 (* (cos re) (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) in im 0.786 * [taylor]: Taking taylor expansion of -1/2 in im 0.786 * [taylor]: Taking taylor expansion of (* (cos re) (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) in im 0.786 * [taylor]: Taking taylor expansion of (cos re) in im 0.786 * [taylor]: Taking taylor expansion of re in im 0.787 * [taylor]: Taking taylor expansion of (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in im 0.787 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.787 * [taylor]: Taking taylor expansion of 2 in im 0.787 * [taylor]: Taking taylor expansion of im in im 0.787 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 0.787 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.787 * [taylor]: Taking taylor expansion of 1/3 in im 0.787 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.787 * [taylor]: Taking taylor expansion of im in im 0.787 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.787 * [taylor]: Taking taylor expansion of 1/60 in im 0.787 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.787 * [taylor]: Taking taylor expansion of im in im 0.787 * [taylor]: Taking taylor expansion of (* -1/2 (* (cos re) (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) in re 0.787 * [taylor]: Taking taylor expansion of -1/2 in re 0.787 * [taylor]: Taking taylor expansion of (* (cos re) (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) in re 0.787 * [taylor]: Taking taylor expansion of (cos re) in re 0.787 * [taylor]: Taking taylor expansion of re in re 0.787 * [taylor]: Taking taylor expansion of (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in re 0.787 * [taylor]: Taking taylor expansion of (* 2 im) in re 0.787 * [taylor]: Taking taylor expansion of 2 in re 0.787 * [taylor]: Taking taylor expansion of im in re 0.787 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in re 0.787 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 0.787 * [taylor]: Taking taylor expansion of 1/3 in re 0.787 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.787 * [taylor]: Taking taylor expansion of im in re 0.787 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 0.787 * [taylor]: Taking taylor expansion of 1/60 in re 0.787 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.787 * [taylor]: Taking taylor expansion of im in re 0.787 * [taylor]: Taking taylor expansion of (* -1/2 (* (cos re) (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) in re 0.787 * [taylor]: Taking taylor expansion of -1/2 in re 0.787 * [taylor]: Taking taylor expansion of (* (cos re) (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) in re 0.787 * [taylor]: Taking taylor expansion of (cos re) in re 0.787 * [taylor]: Taking taylor expansion of re in re 0.787 * [taylor]: Taking taylor expansion of (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in re 0.787 * [taylor]: Taking taylor expansion of (* 2 im) in re 0.787 * [taylor]: Taking taylor expansion of 2 in re 0.787 * [taylor]: Taking taylor expansion of im in re 0.787 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in re 0.787 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 0.787 * [taylor]: Taking taylor expansion of 1/3 in re 0.787 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.787 * [taylor]: Taking taylor expansion of im in re 0.787 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 0.787 * [taylor]: Taking taylor expansion of 1/60 in re 0.787 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.787 * [taylor]: Taking taylor expansion of im in re 0.791 * [taylor]: Taking taylor expansion of (* -1/2 (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im)))) in im 0.791 * [taylor]: Taking taylor expansion of -1/2 in im 0.791 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))) in im 0.791 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.791 * [taylor]: Taking taylor expansion of 1/60 in im 0.791 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.791 * [taylor]: Taking taylor expansion of im in im 0.792 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 2 im)) in im 0.792 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.792 * [taylor]: Taking taylor expansion of 1/3 in im 0.792 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.792 * [taylor]: Taking taylor expansion of im in im 0.792 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.792 * [taylor]: Taking taylor expansion of 2 in im 0.792 * [taylor]: Taking taylor expansion of im in im 0.798 * [taylor]: Taking taylor expansion of 0 in im 0.809 * [taylor]: Taking taylor expansion of (+ (* 1/240 (pow im 5)) (+ (* 1/12 (pow im 3)) (* 1/2 im))) in im 0.809 * [taylor]: Taking taylor expansion of (* 1/240 (pow im 5)) in im 0.809 * [taylor]: Taking taylor expansion of 1/240 in im 0.809 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.809 * [taylor]: Taking taylor expansion of im in im 0.809 * [taylor]: Taking taylor expansion of (+ (* 1/12 (pow im 3)) (* 1/2 im)) in im 0.809 * [taylor]: Taking taylor expansion of (* 1/12 (pow im 3)) in im 0.809 * [taylor]: Taking taylor expansion of 1/12 in im 0.809 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.809 * [taylor]: Taking taylor expansion of im in im 0.809 * [taylor]: Taking taylor expansion of (* 1/2 im) in im 0.809 * [taylor]: Taking taylor expansion of 1/2 in im 0.809 * [taylor]: Taking taylor expansion of im in im 0.823 * [taylor]: Taking taylor expansion of 0 in im 0.830 * [approximate]: Taking taylor expansion of (* -1/2 (* (cos (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in (re im) around 0 0.830 * [taylor]: Taking taylor expansion of (* -1/2 (* (cos (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 0.830 * [taylor]: Taking taylor expansion of -1/2 in im 0.830 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 0.831 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.831 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.831 * [taylor]: Taking taylor expansion of re in im 0.831 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 0.831 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.831 * [taylor]: Taking taylor expansion of 1/3 in im 0.831 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.831 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.831 * [taylor]: Taking taylor expansion of im in im 0.832 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 0.832 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.832 * [taylor]: Taking taylor expansion of 2 in im 0.832 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.832 * [taylor]: Taking taylor expansion of im in im 0.832 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.832 * [taylor]: Taking taylor expansion of 1/60 in im 0.832 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.832 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.832 * [taylor]: Taking taylor expansion of im in im 0.832 * [taylor]: Taking taylor expansion of (* -1/2 (* (cos (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 0.832 * [taylor]: Taking taylor expansion of -1/2 in re 0.832 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 0.832 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.833 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.833 * [taylor]: Taking taylor expansion of re in re 0.833 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 0.833 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.833 * [taylor]: Taking taylor expansion of 1/3 in re 0.833 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.833 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.833 * [taylor]: Taking taylor expansion of im in re 0.834 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 0.834 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.834 * [taylor]: Taking taylor expansion of 2 in re 0.834 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.834 * [taylor]: Taking taylor expansion of im in re 0.834 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.834 * [taylor]: Taking taylor expansion of 1/60 in re 0.834 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.834 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.834 * [taylor]: Taking taylor expansion of im in re 0.835 * [taylor]: Taking taylor expansion of (* -1/2 (* (cos (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 0.835 * [taylor]: Taking taylor expansion of -1/2 in re 0.835 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 0.835 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.835 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.835 * [taylor]: Taking taylor expansion of re in re 0.835 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 0.835 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.835 * [taylor]: Taking taylor expansion of 1/3 in re 0.835 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.835 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.835 * [taylor]: Taking taylor expansion of im in re 0.836 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 0.836 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.836 * [taylor]: Taking taylor expansion of 2 in re 0.836 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.836 * [taylor]: Taking taylor expansion of im in re 0.836 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.836 * [taylor]: Taking taylor expansion of 1/60 in re 0.836 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.836 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.836 * [taylor]: Taking taylor expansion of im in re 0.841 * [taylor]: Taking taylor expansion of (* -1/2 (* (cos (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 0.841 * [taylor]: Taking taylor expansion of -1/2 in im 0.841 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 0.841 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.841 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.841 * [taylor]: Taking taylor expansion of re in im 0.842 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 0.842 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.842 * [taylor]: Taking taylor expansion of 1/3 in im 0.842 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.842 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.842 * [taylor]: Taking taylor expansion of im in im 0.842 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 0.842 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.842 * [taylor]: Taking taylor expansion of 2 in im 0.842 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.842 * [taylor]: Taking taylor expansion of im in im 0.842 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.842 * [taylor]: Taking taylor expansion of 1/60 in im 0.842 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.842 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.842 * [taylor]: Taking taylor expansion of im in im 0.855 * [taylor]: Taking taylor expansion of 0 in im 0.874 * [taylor]: Taking taylor expansion of 0 in im 0.900 * [taylor]: Taking taylor expansion of 0 in im 0.933 * [taylor]: Taking taylor expansion of 0 in im 0.960 * [approximate]: Taking taylor expansion of (* 1/2 (* (cos (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in (re im) around 0 0.960 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 0.960 * [taylor]: Taking taylor expansion of 1/2 in im 0.960 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 0.960 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.960 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.960 * [taylor]: Taking taylor expansion of -1 in im 0.960 * [taylor]: Taking taylor expansion of re in im 0.961 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 0.961 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.961 * [taylor]: Taking taylor expansion of 1/3 in im 0.961 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.961 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.961 * [taylor]: Taking taylor expansion of im in im 0.961 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 0.961 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.961 * [taylor]: Taking taylor expansion of 2 in im 0.961 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.961 * [taylor]: Taking taylor expansion of im in im 0.961 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.961 * [taylor]: Taking taylor expansion of 1/60 in im 0.961 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.961 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.961 * [taylor]: Taking taylor expansion of im in im 0.962 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 0.962 * [taylor]: Taking taylor expansion of 1/2 in re 0.962 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 0.962 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.962 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.962 * [taylor]: Taking taylor expansion of -1 in re 0.962 * [taylor]: Taking taylor expansion of re in re 0.962 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 0.962 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.962 * [taylor]: Taking taylor expansion of 1/3 in re 0.962 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.962 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.963 * [taylor]: Taking taylor expansion of im in re 0.963 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 0.963 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.963 * [taylor]: Taking taylor expansion of 2 in re 0.963 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.963 * [taylor]: Taking taylor expansion of im in re 0.963 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.963 * [taylor]: Taking taylor expansion of 1/60 in re 0.963 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.963 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.963 * [taylor]: Taking taylor expansion of im in re 0.964 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 0.964 * [taylor]: Taking taylor expansion of 1/2 in re 0.964 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 0.964 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.964 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.964 * [taylor]: Taking taylor expansion of -1 in re 0.964 * [taylor]: Taking taylor expansion of re in re 0.965 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 0.965 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.965 * [taylor]: Taking taylor expansion of 1/3 in re 0.965 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.965 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.965 * [taylor]: Taking taylor expansion of im in re 0.965 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 0.965 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.965 * [taylor]: Taking taylor expansion of 2 in re 0.965 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.965 * [taylor]: Taking taylor expansion of im in re 0.966 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.966 * [taylor]: Taking taylor expansion of 1/60 in re 0.966 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.966 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.966 * [taylor]: Taking taylor expansion of im in re 0.971 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 0.971 * [taylor]: Taking taylor expansion of 1/2 in im 0.971 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 0.971 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.971 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.971 * [taylor]: Taking taylor expansion of -1 in im 0.971 * [taylor]: Taking taylor expansion of re in im 0.971 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 0.971 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.971 * [taylor]: Taking taylor expansion of 1/3 in im 0.971 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.971 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.971 * [taylor]: Taking taylor expansion of im in im 0.972 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 0.972 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.972 * [taylor]: Taking taylor expansion of 2 in im 0.972 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.972 * [taylor]: Taking taylor expansion of im in im 0.972 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.972 * [taylor]: Taking taylor expansion of 1/60 in im 0.972 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.972 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.972 * [taylor]: Taking taylor expansion of im in im 0.982 * [taylor]: Taking taylor expansion of 0 in im 0.998 * [taylor]: Taking taylor expansion of 0 in im 1.026 * [taylor]: Taking taylor expansion of 0 in im 1.059 * [taylor]: Taking taylor expansion of 0 in im 1.083 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 1.084 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0 1.084 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.084 * [taylor]: Taking taylor expansion of 1/60 in im 1.084 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.084 * [taylor]: Taking taylor expansion of im in im 1.084 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.084 * [taylor]: Taking taylor expansion of 1/60 in im 1.084 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.084 * [taylor]: Taking taylor expansion of im in im 1.104 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 1.104 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 1.104 * [taylor]: Taking taylor expansion of 1/60 in im 1.104 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.104 * [taylor]: Taking taylor expansion of im in im 1.104 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 1.104 * [taylor]: Taking taylor expansion of 1/60 in im 1.104 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.104 * [taylor]: Taking taylor expansion of im in im 1.124 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 1.124 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 1.124 * [taylor]: Taking taylor expansion of -1/60 in im 1.124 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.124 * [taylor]: Taking taylor expansion of im in im 1.125 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 1.125 * [taylor]: Taking taylor expansion of -1/60 in im 1.125 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.125 * [taylor]: Taking taylor expansion of im in im 1.145 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 1.146 * [approximate]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in (im) around 0 1.146 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 1.146 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.146 * [taylor]: Taking taylor expansion of 1/3 in im 1.146 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.146 * [taylor]: Taking taylor expansion of im in im 1.146 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.146 * [taylor]: Taking taylor expansion of 1/60 in im 1.146 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.146 * [taylor]: Taking taylor expansion of im in im 1.146 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 1.146 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.146 * [taylor]: Taking taylor expansion of 1/3 in im 1.146 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.146 * [taylor]: Taking taylor expansion of im in im 1.146 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.146 * [taylor]: Taking taylor expansion of 1/60 in im 1.146 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.146 * [taylor]: Taking taylor expansion of im in im 1.199 * [approximate]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in (im) around 0 1.199 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.199 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.199 * [taylor]: Taking taylor expansion of 1/3 in im 1.199 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.199 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.199 * [taylor]: Taking taylor expansion of im in im 1.200 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.200 * [taylor]: Taking taylor expansion of 1/60 in im 1.200 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.200 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.200 * [taylor]: Taking taylor expansion of im in im 1.200 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.200 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.200 * [taylor]: Taking taylor expansion of 1/3 in im 1.200 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.200 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.200 * [taylor]: Taking taylor expansion of im in im 1.201 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.201 * [taylor]: Taking taylor expansion of 1/60 in im 1.201 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.201 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.201 * [taylor]: Taking taylor expansion of im in im 1.279 * [approximate]: Taking taylor expansion of (neg (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0 1.279 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 1.279 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.279 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.279 * [taylor]: Taking taylor expansion of 1/3 in im 1.279 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.279 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.279 * [taylor]: Taking taylor expansion of im in im 1.280 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.280 * [taylor]: Taking taylor expansion of 1/60 in im 1.280 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.280 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.280 * [taylor]: Taking taylor expansion of im in im 1.280 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 1.280 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.280 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.280 * [taylor]: Taking taylor expansion of 1/3 in im 1.280 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.280 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.280 * [taylor]: Taking taylor expansion of im in im 1.281 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.281 * [taylor]: Taking taylor expansion of 1/60 in im 1.281 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.281 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.281 * [taylor]: Taking taylor expansion of im in im 1.353 * * * [progress]: simplifying candidates 1.353 * [simplify]: Simplifying using # : (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/3 (pow.f64 im 3)) (-.f64 (*.f64 1/2 (*.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 1/6 (pow.f64 im 3)) im)) (neg.f64 (+.f64 (*.f64 (cos.f64 re) im) (+.f64 (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5))) (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3)))))) (neg.f64 (+.f64 (*.f64 (cos.f64 re) im) (+.f64 (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5))) (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3)))))) (*.f64 1/60 (pow.f64 im 5)) (*.f64 1/60 (pow.f64 im 5)) (*.f64 1/60 (pow.f64 im 5)) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))) 1.354 * * [simplify]: iteration 0 : 31 enodes (cost 184 ) 1.354 * * [simplify]: iteration 1 : 31 enodes (cost 184 ) 1.355 * [simplify]: Simplified to: (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/3 (pow.f64 im 3)) (-.f64 (*.f64 1/2 (*.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 1/6 (pow.f64 im 3)) im)) (neg.f64 (+.f64 (*.f64 (cos.f64 re) im) (+.f64 (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5))) (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3)))))) (neg.f64 (+.f64 (*.f64 (cos.f64 re) im) (+.f64 (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5))) (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3)))))) (*.f64 1/60 (pow.f64 im 5)) (*.f64 1/60 (pow.f64 im 5)) (*.f64 1/60 (pow.f64 im 5)) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))) (+.f64 (*.f64 1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))) 1.356 * * * [progress]: adding candidates to table 1.358 * [progress]: [Phase 3 of 3] Extracting. 1.359 * * [regime]: Finding splitpoints for: (# #) 1.359 * * * [regime-changes]: Trying 6 branch expressions: ((-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)) (cos.f64 re) (*.f64 1/2 (cos.f64 re)) (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) im re) 1.359 * * * * [regimes]: Trying to branch on (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)) from (# #) 1.367 * * * * [regimes]: Trying to branch on (cos.f64 re) from (# #) 1.376 * * * * [regimes]: Trying to branch on (*.f64 1/2 (cos.f64 re)) from (# #) 1.387 * * * * [regimes]: Trying to branch on (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) from (# #) 1.397 * * * * [regimes]: Trying to branch on im from (# #) 1.406 * * * * [regimes]: Trying to branch on re from (# #) 1.414 * * * [regime]: Found split indices: #