18.991 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.122 * * * [progress]: [2/2] Setting up program. 0.124 * [progress]: [Phase 2 of 3] Improving. 0.124 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) 0.125 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.126 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 0.129 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 0.134 * * [simplify]: iteration 3 : 77 enodes (cost 11 ) 0.151 * * [simplify]: iteration 4 : 115 enodes (cost 11 ) 0.176 * * [simplify]: iteration 5 : 272 enodes (cost 11 ) 0.260 * * [simplify]: iteration 6 : 413 enodes (cost 11 ) 0.401 * * [simplify]: iteration 7 : 630 enodes (cost 11 ) 0.766 * * [simplify]: iteration 8 : 1357 enodes (cost 11 ) 2.801 * * [simplify]: iteration 9 : 4347 enodes (cost 11 ) 110.622 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 110.622 * [simplify]: Simplified to: (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) 110.623 * * [progress]: iteration 1 / 4 110.623 * * * [progress]: picking best candidate 110.625 * * * * [pick]: Picked # 110.625 * * * [progress]: localizing error 110.634 * * * [progress]: generating rewritten candidates 110.634 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 110.644 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 110.675 * * * [progress]: generating series expansions 110.675 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 110.675 * [approximate]: Taking taylor expansion of (- (exp (- im)) (exp im)) in (im) around 0 110.675 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 110.675 * [taylor]: Taking taylor expansion of (exp (- im)) in im 110.675 * [taylor]: Taking taylor expansion of (- im) in im 110.675 * [taylor]: Taking taylor expansion of im in im 110.676 * [taylor]: Taking taylor expansion of (exp im) in im 110.676 * [taylor]: Taking taylor expansion of im in im 110.676 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 110.676 * [taylor]: Taking taylor expansion of (exp (- im)) in im 110.676 * [taylor]: Taking taylor expansion of (- im) in im 110.676 * [taylor]: Taking taylor expansion of im in im 110.676 * [taylor]: Taking taylor expansion of (exp im) in im 110.676 * [taylor]: Taking taylor expansion of im in im 110.699 * [approximate]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 110.699 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 110.699 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 110.699 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 110.699 * [taylor]: Taking taylor expansion of (/ 1 im) in im 110.699 * [taylor]: Taking taylor expansion of im in im 110.700 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 110.700 * [taylor]: Taking taylor expansion of (/ 1 im) in im 110.700 * [taylor]: Taking taylor expansion of im in im 110.700 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 110.700 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 110.700 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 110.700 * [taylor]: Taking taylor expansion of (/ 1 im) in im 110.700 * [taylor]: Taking taylor expansion of im in im 110.701 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 110.701 * [taylor]: Taking taylor expansion of (/ 1 im) in im 110.701 * [taylor]: Taking taylor expansion of im in im 110.704 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0 110.704 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 110.704 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 110.704 * [taylor]: Taking taylor expansion of (/ 1 im) in im 110.704 * [taylor]: Taking taylor expansion of im in im 110.705 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 110.705 * [taylor]: Taking taylor expansion of (/ -1 im) in im 110.705 * [taylor]: Taking taylor expansion of -1 in im 110.705 * [taylor]: Taking taylor expansion of im in im 110.705 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 110.705 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 110.705 * [taylor]: Taking taylor expansion of (/ 1 im) in im 110.705 * [taylor]: Taking taylor expansion of im in im 110.705 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 110.705 * [taylor]: Taking taylor expansion of (/ -1 im) in im 110.705 * [taylor]: Taking taylor expansion of -1 in im 110.705 * [taylor]: Taking taylor expansion of im in im 110.708 * * * * [progress]: [ 2 / 2 ] generating series at (2) 110.709 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) in (re im) around 0 110.709 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) in im 110.709 * [taylor]: Taking taylor expansion of 0.5 in im 110.709 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (sin re)) in im 110.709 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 110.709 * [taylor]: Taking taylor expansion of (exp (- im)) in im 110.709 * [taylor]: Taking taylor expansion of (- im) in im 110.709 * [taylor]: Taking taylor expansion of im in im 110.709 * [taylor]: Taking taylor expansion of (exp im) in im 110.709 * [taylor]: Taking taylor expansion of im in im 110.709 * [taylor]: Taking taylor expansion of (sin re) in im 110.709 * [taylor]: Taking taylor expansion of re in im 110.709 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) in re 110.709 * [taylor]: Taking taylor expansion of 0.5 in re 110.709 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (sin re)) in re 110.709 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re 110.709 * [taylor]: Taking taylor expansion of (exp (- im)) in re 110.709 * [taylor]: Taking taylor expansion of (- im) in re 110.709 * [taylor]: Taking taylor expansion of im in re 110.709 * [taylor]: Taking taylor expansion of (exp im) in re 110.710 * [taylor]: Taking taylor expansion of im in re 110.710 * [taylor]: Taking taylor expansion of (sin re) in re 110.710 * [taylor]: Taking taylor expansion of re in re 110.710 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) in re 110.710 * [taylor]: Taking taylor expansion of 0.5 in re 110.710 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (sin re)) in re 110.710 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re 110.710 * [taylor]: Taking taylor expansion of (exp (- im)) in re 110.710 * [taylor]: Taking taylor expansion of (- im) in re 110.710 * [taylor]: Taking taylor expansion of im in re 110.710 * [taylor]: Taking taylor expansion of (exp im) in re 110.710 * [taylor]: Taking taylor expansion of im in re 110.710 * [taylor]: Taking taylor expansion of (sin re) in re 110.710 * [taylor]: Taking taylor expansion of re in re 110.710 * [taylor]: Taking taylor expansion of 0 in im 110.713 * [taylor]: Taking taylor expansion of (- (* 0.5 (exp (- im))) (* 0.5 (exp im))) in im 110.713 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 110.713 * [taylor]: Taking taylor expansion of 0.5 in im 110.713 * [taylor]: Taking taylor expansion of (exp (- im)) in im 110.713 * [taylor]: Taking taylor expansion of (- im) in im 110.713 * [taylor]: Taking taylor expansion of im in im 110.713 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 110.713 * [taylor]: Taking taylor expansion of 0.5 in im 110.713 * [taylor]: Taking taylor expansion of (exp im) in im 110.713 * [taylor]: Taking taylor expansion of im in im 110.718 * [taylor]: Taking taylor expansion of 0 in im 110.727 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im 110.728 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 110.728 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 110.728 * [taylor]: Taking taylor expansion of (exp im) in im 110.728 * [taylor]: Taking taylor expansion of im in im 110.728 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 110.728 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 110.728 * [taylor]: Taking taylor expansion of (exp (- im)) in im 110.728 * [taylor]: Taking taylor expansion of (- im) in im 110.728 * [taylor]: Taking taylor expansion of im in im 110.743 * [taylor]: Taking taylor expansion of 0 in im 110.744 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 110.744 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 110.744 * [taylor]: Taking taylor expansion of 0.5 in im 110.744 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 110.744 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 110.744 * [taylor]: Taking taylor expansion of (/ 1 re) in im 110.744 * [taylor]: Taking taylor expansion of re in im 110.744 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 110.744 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 110.744 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 110.744 * [taylor]: Taking taylor expansion of (/ 1 im) in im 110.744 * [taylor]: Taking taylor expansion of im in im 110.745 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 110.745 * [taylor]: Taking taylor expansion of (/ 1 im) in im 110.745 * [taylor]: Taking taylor expansion of im in im 110.745 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 110.745 * [taylor]: Taking taylor expansion of 0.5 in re 110.745 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 110.745 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 110.745 * [taylor]: Taking taylor expansion of (/ 1 re) in re 110.745 * [taylor]: Taking taylor expansion of re in re 110.745 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re 110.745 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 110.745 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 110.745 * [taylor]: Taking taylor expansion of (/ 1 im) in re 110.745 * [taylor]: Taking taylor expansion of im in re 110.746 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 110.746 * [taylor]: Taking taylor expansion of (/ 1 im) in re 110.746 * [taylor]: Taking taylor expansion of im in re 110.746 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 110.746 * [taylor]: Taking taylor expansion of 0.5 in re 110.746 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 110.746 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 110.746 * [taylor]: Taking taylor expansion of (/ 1 re) in re 110.746 * [taylor]: Taking taylor expansion of re in re 110.746 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re 110.746 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 110.746 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 110.746 * [taylor]: Taking taylor expansion of (/ 1 im) in re 110.746 * [taylor]: Taking taylor expansion of im in re 110.746 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 110.746 * [taylor]: Taking taylor expansion of (/ 1 im) in re 110.746 * [taylor]: Taking taylor expansion of im in re 110.747 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 110.747 * [taylor]: Taking taylor expansion of 0.5 in im 110.747 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 110.747 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 110.747 * [taylor]: Taking taylor expansion of (/ 1 re) in im 110.747 * [taylor]: Taking taylor expansion of re in im 110.747 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 110.747 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 110.747 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 110.747 * [taylor]: Taking taylor expansion of (/ 1 im) in im 110.747 * [taylor]: Taking taylor expansion of im in im 110.747 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 110.747 * [taylor]: Taking taylor expansion of (/ 1 im) in im 110.747 * [taylor]: Taking taylor expansion of im in im 110.750 * [taylor]: Taking taylor expansion of 0 in im 110.756 * [taylor]: Taking taylor expansion of 0 in im 110.764 * [taylor]: Taking taylor expansion of 0 in im 110.764 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in (re im) around 0 110.765 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 110.765 * [taylor]: Taking taylor expansion of 0.5 in im 110.765 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 110.765 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 110.765 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 110.765 * [taylor]: Taking taylor expansion of (/ 1 im) in im 110.765 * [taylor]: Taking taylor expansion of im in im 110.765 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 110.765 * [taylor]: Taking taylor expansion of (/ -1 im) in im 110.765 * [taylor]: Taking taylor expansion of -1 in im 110.765 * [taylor]: Taking taylor expansion of im in im 110.765 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 110.765 * [taylor]: Taking taylor expansion of (/ -1 re) in im 110.765 * [taylor]: Taking taylor expansion of -1 in im 110.765 * [taylor]: Taking taylor expansion of re in im 110.765 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re 110.765 * [taylor]: Taking taylor expansion of 0.5 in re 110.765 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re 110.765 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 110.766 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 110.766 * [taylor]: Taking taylor expansion of (/ 1 im) in re 110.766 * [taylor]: Taking taylor expansion of im in re 110.766 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 110.766 * [taylor]: Taking taylor expansion of (/ -1 im) in re 110.766 * [taylor]: Taking taylor expansion of -1 in re 110.766 * [taylor]: Taking taylor expansion of im in re 110.766 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 110.766 * [taylor]: Taking taylor expansion of (/ -1 re) in re 110.766 * [taylor]: Taking taylor expansion of -1 in re 110.766 * [taylor]: Taking taylor expansion of re in re 110.766 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re 110.766 * [taylor]: Taking taylor expansion of 0.5 in re 110.766 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re 110.766 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 110.766 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 110.766 * [taylor]: Taking taylor expansion of (/ 1 im) in re 110.766 * [taylor]: Taking taylor expansion of im in re 110.766 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 110.766 * [taylor]: Taking taylor expansion of (/ -1 im) in re 110.766 * [taylor]: Taking taylor expansion of -1 in re 110.766 * [taylor]: Taking taylor expansion of im in re 110.766 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 110.766 * [taylor]: Taking taylor expansion of (/ -1 re) in re 110.766 * [taylor]: Taking taylor expansion of -1 in re 110.766 * [taylor]: Taking taylor expansion of re in re 110.767 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 110.767 * [taylor]: Taking taylor expansion of 0.5 in im 110.767 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 110.767 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 110.767 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 110.767 * [taylor]: Taking taylor expansion of (/ 1 im) in im 110.767 * [taylor]: Taking taylor expansion of im in im 110.767 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 110.767 * [taylor]: Taking taylor expansion of (/ -1 im) in im 110.767 * [taylor]: Taking taylor expansion of -1 in im 110.767 * [taylor]: Taking taylor expansion of im in im 110.768 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 110.768 * [taylor]: Taking taylor expansion of (/ -1 re) in im 110.768 * [taylor]: Taking taylor expansion of -1 in im 110.768 * [taylor]: Taking taylor expansion of re in im 110.770 * [taylor]: Taking taylor expansion of 0 in im 110.776 * [taylor]: Taking taylor expansion of 0 in im 110.783 * [taylor]: Taking taylor expansion of 0 in im 110.783 * * * [progress]: simplifying candidates 110.784 * [simplify]: Simplifying using # : (/ (exp (exp (- im))) (exp (exp im))) (log (- (exp (- im)) (exp im))) (exp (- (exp (- im)) (exp im))) (* (cbrt (- (exp (- im)) (exp im))) (cbrt (- (exp (- im)) (exp im)))) (cbrt (- (exp (- im)) (exp im))) (* (* (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im))) (- (exp (- im)) (exp im))) (sqrt (- (exp (- im)) (exp im))) (sqrt (- (exp (- im)) (exp im))) (- (pow (exp (- im)) 3) (pow (exp im) 3)) (+ (* (exp (- im)) (exp (- im))) (+ (* (exp im) (exp im)) (* (exp (- im)) (exp im)))) (- (exp im)) (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im))) (+ (exp (- im)) (exp im)) (+ (sqrt (exp (- im))) (sqrt (exp im))) (- (sqrt (exp (- im))) (sqrt (exp im))) (- (exp (- im)) (exp im)) (- (exp im)) (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) (+ (+ (log 0.5) (log (sin re))) (log (- (exp (- im)) (exp im)))) (+ (log (* 0.5 (sin re))) (log (- (exp (- im)) (exp im)))) (log (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (exp (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im))) (- (exp (- im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im))) (- (exp (- im)) (exp im)))) (* (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (* (* 0.5 (sin re)) (exp (- im))) (* (* 0.5 (sin re)) (- (exp im))) (* (* 0.5 (sin re)) (exp (- im))) (* (* 0.5 (sin re)) (- (exp im))) (* (exp (- im)) (* 0.5 (sin re))) (* (- (exp im)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (* (- (exp im)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (- (exp (- im)) (exp im))) (cbrt (- (exp (- im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (- (exp (- im)) (exp im)))) (* (* 0.5 (sin re)) 1) (* (* 0.5 (sin re)) (+ (sqrt (exp (- im))) (sqrt (exp im)))) (* (* 0.5 (sin re)) 1) (* (sin re) (- (exp (- im)) (exp im))) (* (* 0.5 (sin re)) (- (pow (exp (- im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im)))) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (exp (- im)) (exp im)) (- (exp (* -1 im)) (exp im)) (* -1.0 (* re im)) (* 0.5 (* (- (exp (- im)) (exp im)) (sin re))) (* 0.5 (* (sin re) (- (exp (* -1 im)) (exp im)))) 110.786 * * [simplify]: iteration 0 : 93 enodes (cost 614 ) 110.801 * * [simplify]: iteration 1 : 242 enodes (cost 596 ) 110.872 * * [simplify]: iteration 2 : 884 enodes (cost 504 ) 111.471 * * [simplify]: iteration 3 : 3919 enodes (cost 502 ) 112.984 * * [simplify]: iteration done : 5001 enodes (cost 502 ) 112.984 * [simplify]: Simplified to: (exp (- (exp (- im)) (exp im))) (log (- (exp (- im)) (exp im))) (exp (- (exp (- im)) (exp im))) (* (cbrt (- (exp (- im)) (exp im))) (cbrt (- (exp (- im)) (exp im)))) (cbrt (- (exp (- im)) (exp im))) (pow (- (exp (- im)) (exp im)) 3) (sqrt (- (exp (- im)) (exp im))) (sqrt (- (exp (- im)) (exp im))) (- (exp (* im -3)) (pow (exp im) 3)) (+ (+ 1 (exp (+ im im))) (exp (* im -2))) (- (exp im)) (- (exp (* im -2)) (exp (+ im im))) (+ (exp (- im)) (exp im)) (+ (sqrt (exp im)) (sqrt (exp (- im)))) (- (sqrt (exp (- im))) (sqrt (exp im))) (- (exp (- im)) (exp im)) (- (exp im)) (* (- (exp (- im)) (exp im)) (* 0.5 (sin re))) (* (- (exp (- im)) (exp im)) (* 0.5 (sin re))) (log (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (log (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (log (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (exp (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (pow (* (- (exp (- im)) (exp im)) (* 0.5 (sin re))) 3) (pow (* (- (exp (- im)) (exp im)) (* 0.5 (sin re))) 3) (* (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (pow (* (- (exp (- im)) (exp im)) (* 0.5 (sin re))) 3) (sqrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))) (/ (* 0.5 (sin re)) (exp im)) (* (- (exp im)) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)) (* (- (exp im)) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)) (* (- (exp im)) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)) (* (- (exp im)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (- (exp (- im)) (exp im))) (cbrt (- (exp (- im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (- (exp (- im)) (exp im)))) (* 0.5 (sin re)) (* (* 0.5 (sin re)) (+ (sqrt (exp (- im))) (sqrt (exp im)))) (* 0.5 (sin re)) (* (sin re) (- (exp (- im)) (exp im))) (* (sin re) (* (- (exp (* im -3)) (pow (exp im) 3)) 0.5)) (* (- (exp (* im -2)) (exp (+ im im))) (* 0.5 (sin re))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im)) (* -1.0 (* re im)) (* (- (exp (- im)) (exp im)) (* 0.5 (sin re))) (* (- (exp (- im)) (exp im)) (* 0.5 (sin re))) 112.984 * * * [progress]: adding candidates to table 113.087 * * [progress]: iteration 2 / 4 113.087 * * * [progress]: picking best candidate 113.096 * * * * [pick]: Picked # 113.096 * * * [progress]: localizing error 113.109 * * * [progress]: generating rewritten candidates 113.109 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 113.116 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 113.141 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 113.146 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 113.155 * * * [progress]: generating series expansions 113.155 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 113.155 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 113.155 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 113.155 * [taylor]: Taking taylor expansion of -1/3 in im 113.155 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.155 * [taylor]: Taking taylor expansion of im in im 113.155 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 113.155 * [taylor]: Taking taylor expansion of -1/3 in im 113.155 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.155 * [taylor]: Taking taylor expansion of im in im 113.166 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 113.166 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 113.166 * [taylor]: Taking taylor expansion of -1/3 in im 113.166 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.166 * [taylor]: Taking taylor expansion of im in im 113.167 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 113.167 * [taylor]: Taking taylor expansion of -1/3 in im 113.167 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.167 * [taylor]: Taking taylor expansion of im in im 113.180 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 113.180 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 113.180 * [taylor]: Taking taylor expansion of 1/3 in im 113.180 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.180 * [taylor]: Taking taylor expansion of im in im 113.181 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 113.181 * [taylor]: Taking taylor expansion of 1/3 in im 113.181 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.181 * [taylor]: Taking taylor expansion of im in im 113.191 * * * * [progress]: [ 2 / 4 ] generating series at (2) 113.192 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in (re im) around 0 113.192 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in im 113.192 * [taylor]: Taking taylor expansion of -0.5 in im 113.192 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in im 113.192 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 113.192 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 113.192 * [taylor]: Taking taylor expansion of 1/3 in im 113.192 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.192 * [taylor]: Taking taylor expansion of im in im 113.192 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 113.192 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 113.192 * [taylor]: Taking taylor expansion of 1/60 in im 113.192 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.192 * [taylor]: Taking taylor expansion of im in im 113.192 * [taylor]: Taking taylor expansion of (* 2 im) in im 113.192 * [taylor]: Taking taylor expansion of 2 in im 113.192 * [taylor]: Taking taylor expansion of im in im 113.192 * [taylor]: Taking taylor expansion of (sin re) in im 113.192 * [taylor]: Taking taylor expansion of re in im 113.192 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in re 113.192 * [taylor]: Taking taylor expansion of -0.5 in re 113.192 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in re 113.192 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 113.192 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 113.192 * [taylor]: Taking taylor expansion of 1/3 in re 113.192 * [taylor]: Taking taylor expansion of (pow im 3) in re 113.192 * [taylor]: Taking taylor expansion of im in re 113.192 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 113.192 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 113.192 * [taylor]: Taking taylor expansion of 1/60 in re 113.192 * [taylor]: Taking taylor expansion of (pow im 5) in re 113.192 * [taylor]: Taking taylor expansion of im in re 113.192 * [taylor]: Taking taylor expansion of (* 2 im) in re 113.192 * [taylor]: Taking taylor expansion of 2 in re 113.192 * [taylor]: Taking taylor expansion of im in re 113.192 * [taylor]: Taking taylor expansion of (sin re) in re 113.192 * [taylor]: Taking taylor expansion of re in re 113.192 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in re 113.192 * [taylor]: Taking taylor expansion of -0.5 in re 113.192 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in re 113.192 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 113.192 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 113.192 * [taylor]: Taking taylor expansion of 1/3 in re 113.192 * [taylor]: Taking taylor expansion of (pow im 3) in re 113.192 * [taylor]: Taking taylor expansion of im in re 113.193 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 113.193 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 113.193 * [taylor]: Taking taylor expansion of 1/60 in re 113.193 * [taylor]: Taking taylor expansion of (pow im 5) in re 113.193 * [taylor]: Taking taylor expansion of im in re 113.193 * [taylor]: Taking taylor expansion of (* 2 im) in re 113.193 * [taylor]: Taking taylor expansion of 2 in re 113.193 * [taylor]: Taking taylor expansion of im in re 113.193 * [taylor]: Taking taylor expansion of (sin re) in re 113.193 * [taylor]: Taking taylor expansion of re in re 113.194 * [taylor]: Taking taylor expansion of 0 in im 113.197 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)))) in im 113.197 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im))) in im 113.197 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 113.197 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 113.197 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.197 * [taylor]: Taking taylor expansion of im in im 113.197 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in im 113.197 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 113.197 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 113.197 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.197 * [taylor]: Taking taylor expansion of im in im 113.197 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 113.197 * [taylor]: Taking taylor expansion of 1.0 in im 113.197 * [taylor]: Taking taylor expansion of im in im 113.203 * [taylor]: Taking taylor expansion of 0 in im 113.213 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (pow im 3)) (+ (* 0.001388888888888889 (pow im 5)) (* 0.16666666666666666 im))) in im 113.213 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (pow im 3)) in im 113.213 * [taylor]: Taking taylor expansion of 0.027777777777777776 in im 113.213 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.213 * [taylor]: Taking taylor expansion of im in im 113.213 * [taylor]: Taking taylor expansion of (+ (* 0.001388888888888889 (pow im 5)) (* 0.16666666666666666 im)) in im 113.213 * [taylor]: Taking taylor expansion of (* 0.001388888888888889 (pow im 5)) in im 113.213 * [taylor]: Taking taylor expansion of 0.001388888888888889 in im 113.213 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.213 * [taylor]: Taking taylor expansion of im in im 113.213 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 im) in im 113.213 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 113.213 * [taylor]: Taking taylor expansion of im in im 113.225 * [taylor]: Taking taylor expansion of 0 in im 113.225 * [approximate]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in (re im) around 0 113.225 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im 113.225 * [taylor]: Taking taylor expansion of -0.5 in im 113.225 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 113.225 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 113.225 * [taylor]: Taking taylor expansion of (/ 1 re) in im 113.226 * [taylor]: Taking taylor expansion of re in im 113.226 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 113.226 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 113.226 * [taylor]: Taking taylor expansion of 2 in im 113.226 * [taylor]: Taking taylor expansion of (/ 1 im) in im 113.226 * [taylor]: Taking taylor expansion of im in im 113.226 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 113.226 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 113.226 * [taylor]: Taking taylor expansion of 1/3 in im 113.226 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 113.226 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.226 * [taylor]: Taking taylor expansion of im in im 113.227 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 113.227 * [taylor]: Taking taylor expansion of 1/60 in im 113.227 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 113.227 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.227 * [taylor]: Taking taylor expansion of im in im 113.228 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in re 113.228 * [taylor]: Taking taylor expansion of -0.5 in re 113.228 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 113.228 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 113.228 * [taylor]: Taking taylor expansion of (/ 1 re) in re 113.228 * [taylor]: Taking taylor expansion of re in re 113.228 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 113.228 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 113.228 * [taylor]: Taking taylor expansion of 2 in re 113.228 * [taylor]: Taking taylor expansion of (/ 1 im) in re 113.228 * [taylor]: Taking taylor expansion of im in re 113.228 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 113.228 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 113.228 * [taylor]: Taking taylor expansion of 1/3 in re 113.228 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 113.228 * [taylor]: Taking taylor expansion of (pow im 3) in re 113.228 * [taylor]: Taking taylor expansion of im in re 113.228 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 113.229 * [taylor]: Taking taylor expansion of 1/60 in re 113.229 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 113.229 * [taylor]: Taking taylor expansion of (pow im 5) in re 113.229 * [taylor]: Taking taylor expansion of im in re 113.229 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in re 113.229 * [taylor]: Taking taylor expansion of -0.5 in re 113.229 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 113.229 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 113.229 * [taylor]: Taking taylor expansion of (/ 1 re) in re 113.229 * [taylor]: Taking taylor expansion of re in re 113.229 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 113.229 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 113.229 * [taylor]: Taking taylor expansion of 2 in re 113.229 * [taylor]: Taking taylor expansion of (/ 1 im) in re 113.229 * [taylor]: Taking taylor expansion of im in re 113.229 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 113.229 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 113.229 * [taylor]: Taking taylor expansion of 1/3 in re 113.229 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 113.229 * [taylor]: Taking taylor expansion of (pow im 3) in re 113.229 * [taylor]: Taking taylor expansion of im in re 113.230 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 113.230 * [taylor]: Taking taylor expansion of 1/60 in re 113.230 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 113.230 * [taylor]: Taking taylor expansion of (pow im 5) in re 113.230 * [taylor]: Taking taylor expansion of im in re 113.231 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im 113.231 * [taylor]: Taking taylor expansion of -0.5 in im 113.231 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 113.231 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 113.231 * [taylor]: Taking taylor expansion of (/ 1 re) in im 113.231 * [taylor]: Taking taylor expansion of re in im 113.231 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 113.231 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 113.231 * [taylor]: Taking taylor expansion of 2 in im 113.231 * [taylor]: Taking taylor expansion of (/ 1 im) in im 113.231 * [taylor]: Taking taylor expansion of im in im 113.231 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 113.231 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 113.231 * [taylor]: Taking taylor expansion of 1/3 in im 113.231 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 113.231 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.232 * [taylor]: Taking taylor expansion of im in im 113.232 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 113.232 * [taylor]: Taking taylor expansion of 1/60 in im 113.232 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 113.232 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.232 * [taylor]: Taking taylor expansion of im in im 113.237 * [taylor]: Taking taylor expansion of 0 in im 113.246 * [taylor]: Taking taylor expansion of 0 in im 113.262 * [taylor]: Taking taylor expansion of 0 in im 113.280 * [taylor]: Taking taylor expansion of 0 in im 113.291 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in (re im) around 0 113.291 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in im 113.291 * [taylor]: Taking taylor expansion of 0.5 in im 113.291 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in im 113.291 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 113.291 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 113.291 * [taylor]: Taking taylor expansion of 2 in im 113.291 * [taylor]: Taking taylor expansion of (/ 1 im) in im 113.291 * [taylor]: Taking taylor expansion of im in im 113.292 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 113.292 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 113.292 * [taylor]: Taking taylor expansion of 1/3 in im 113.292 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 113.292 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.292 * [taylor]: Taking taylor expansion of im in im 113.292 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 113.292 * [taylor]: Taking taylor expansion of 1/60 in im 113.292 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 113.292 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.292 * [taylor]: Taking taylor expansion of im in im 113.293 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 113.293 * [taylor]: Taking taylor expansion of (/ -1 re) in im 113.293 * [taylor]: Taking taylor expansion of -1 in im 113.293 * [taylor]: Taking taylor expansion of re in im 113.293 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in re 113.293 * [taylor]: Taking taylor expansion of 0.5 in re 113.294 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in re 113.294 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 113.294 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 113.294 * [taylor]: Taking taylor expansion of 2 in re 113.294 * [taylor]: Taking taylor expansion of (/ 1 im) in re 113.294 * [taylor]: Taking taylor expansion of im in re 113.294 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 113.294 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 113.294 * [taylor]: Taking taylor expansion of 1/3 in re 113.294 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 113.294 * [taylor]: Taking taylor expansion of (pow im 3) in re 113.294 * [taylor]: Taking taylor expansion of im in re 113.294 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 113.294 * [taylor]: Taking taylor expansion of 1/60 in re 113.294 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 113.294 * [taylor]: Taking taylor expansion of (pow im 5) in re 113.294 * [taylor]: Taking taylor expansion of im in re 113.294 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 113.294 * [taylor]: Taking taylor expansion of (/ -1 re) in re 113.294 * [taylor]: Taking taylor expansion of -1 in re 113.294 * [taylor]: Taking taylor expansion of re in re 113.295 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in re 113.295 * [taylor]: Taking taylor expansion of 0.5 in re 113.295 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in re 113.295 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 113.295 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 113.295 * [taylor]: Taking taylor expansion of 2 in re 113.295 * [taylor]: Taking taylor expansion of (/ 1 im) in re 113.295 * [taylor]: Taking taylor expansion of im in re 113.295 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 113.295 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 113.295 * [taylor]: Taking taylor expansion of 1/3 in re 113.295 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 113.295 * [taylor]: Taking taylor expansion of (pow im 3) in re 113.295 * [taylor]: Taking taylor expansion of im in re 113.295 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 113.295 * [taylor]: Taking taylor expansion of 1/60 in re 113.295 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 113.295 * [taylor]: Taking taylor expansion of (pow im 5) in re 113.295 * [taylor]: Taking taylor expansion of im in re 113.295 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 113.295 * [taylor]: Taking taylor expansion of (/ -1 re) in re 113.295 * [taylor]: Taking taylor expansion of -1 in re 113.295 * [taylor]: Taking taylor expansion of re in re 113.297 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in im 113.297 * [taylor]: Taking taylor expansion of 0.5 in im 113.297 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in im 113.297 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 113.297 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 113.297 * [taylor]: Taking taylor expansion of 2 in im 113.297 * [taylor]: Taking taylor expansion of (/ 1 im) in im 113.297 * [taylor]: Taking taylor expansion of im in im 113.297 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 113.297 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 113.297 * [taylor]: Taking taylor expansion of 1/3 in im 113.297 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 113.297 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.297 * [taylor]: Taking taylor expansion of im in im 113.298 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 113.298 * [taylor]: Taking taylor expansion of 1/60 in im 113.298 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 113.298 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.298 * [taylor]: Taking taylor expansion of im in im 113.299 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 113.299 * [taylor]: Taking taylor expansion of (/ -1 re) in im 113.299 * [taylor]: Taking taylor expansion of -1 in im 113.299 * [taylor]: Taking taylor expansion of re in im 113.303 * [taylor]: Taking taylor expansion of 0 in im 113.313 * [taylor]: Taking taylor expansion of 0 in im 113.326 * [taylor]: Taking taylor expansion of 0 in im 113.347 * [taylor]: Taking taylor expansion of 0 in im 113.357 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 113.357 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0 113.357 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 113.357 * [taylor]: Taking taylor expansion of 1/60 in im 113.357 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.358 * [taylor]: Taking taylor expansion of im in im 113.358 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 113.358 * [taylor]: Taking taylor expansion of 1/60 in im 113.358 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.358 * [taylor]: Taking taylor expansion of im in im 113.372 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 113.372 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 113.372 * [taylor]: Taking taylor expansion of 1/60 in im 113.372 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.372 * [taylor]: Taking taylor expansion of im in im 113.373 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 113.373 * [taylor]: Taking taylor expansion of 1/60 in im 113.373 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.373 * [taylor]: Taking taylor expansion of im in im 113.387 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 113.387 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 113.387 * [taylor]: Taking taylor expansion of -1/60 in im 113.387 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.387 * [taylor]: Taking taylor expansion of im in im 113.388 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 113.388 * [taylor]: Taking taylor expansion of -1/60 in im 113.388 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.388 * [taylor]: Taking taylor expansion of im in im 113.402 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 113.402 * [approximate]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in (im) around 0 113.402 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 113.402 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 113.402 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 113.402 * [taylor]: Taking taylor expansion of 1/3 in im 113.402 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.402 * [taylor]: Taking taylor expansion of im in im 113.402 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 113.402 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 113.402 * [taylor]: Taking taylor expansion of 1/60 in im 113.402 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.402 * [taylor]: Taking taylor expansion of im in im 113.402 * [taylor]: Taking taylor expansion of (* 2 im) in im 113.402 * [taylor]: Taking taylor expansion of 2 in im 113.402 * [taylor]: Taking taylor expansion of im in im 113.402 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 113.402 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 113.403 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 113.403 * [taylor]: Taking taylor expansion of 1/3 in im 113.403 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.403 * [taylor]: Taking taylor expansion of im in im 113.403 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 113.403 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 113.403 * [taylor]: Taking taylor expansion of 1/60 in im 113.403 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.403 * [taylor]: Taking taylor expansion of im in im 113.403 * [taylor]: Taking taylor expansion of (* 2 im) in im 113.403 * [taylor]: Taking taylor expansion of 2 in im 113.403 * [taylor]: Taking taylor expansion of im in im 113.417 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in (im) around 0 113.417 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 113.417 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 113.417 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 113.417 * [taylor]: Taking taylor expansion of 2 in im 113.417 * [taylor]: Taking taylor expansion of (/ 1 im) in im 113.417 * [taylor]: Taking taylor expansion of im in im 113.417 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 113.417 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 113.417 * [taylor]: Taking taylor expansion of 1/3 in im 113.417 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 113.417 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.417 * [taylor]: Taking taylor expansion of im in im 113.418 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 113.418 * [taylor]: Taking taylor expansion of 1/60 in im 113.418 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 113.418 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.418 * [taylor]: Taking taylor expansion of im in im 113.419 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 113.419 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 113.419 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 113.419 * [taylor]: Taking taylor expansion of 2 in im 113.419 * [taylor]: Taking taylor expansion of (/ 1 im) in im 113.419 * [taylor]: Taking taylor expansion of im in im 113.419 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 113.419 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 113.419 * [taylor]: Taking taylor expansion of 1/3 in im 113.419 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 113.419 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.419 * [taylor]: Taking taylor expansion of im in im 113.420 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 113.420 * [taylor]: Taking taylor expansion of 1/60 in im 113.420 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 113.420 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.420 * [taylor]: Taking taylor expansion of im in im 113.438 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0 113.438 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 113.438 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 113.438 * [taylor]: Taking taylor expansion of 2 in im 113.438 * [taylor]: Taking taylor expansion of (/ 1 im) in im 113.438 * [taylor]: Taking taylor expansion of im in im 113.439 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 113.439 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 113.439 * [taylor]: Taking taylor expansion of 1/3 in im 113.439 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 113.439 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.439 * [taylor]: Taking taylor expansion of im in im 113.439 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 113.439 * [taylor]: Taking taylor expansion of 1/60 in im 113.439 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 113.439 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.439 * [taylor]: Taking taylor expansion of im in im 113.440 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 113.440 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 113.440 * [taylor]: Taking taylor expansion of 2 in im 113.440 * [taylor]: Taking taylor expansion of (/ 1 im) in im 113.440 * [taylor]: Taking taylor expansion of im in im 113.441 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 113.441 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 113.441 * [taylor]: Taking taylor expansion of 1/3 in im 113.441 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 113.441 * [taylor]: Taking taylor expansion of (pow im 3) in im 113.441 * [taylor]: Taking taylor expansion of im in im 113.441 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 113.441 * [taylor]: Taking taylor expansion of 1/60 in im 113.441 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 113.441 * [taylor]: Taking taylor expansion of (pow im 5) in im 113.441 * [taylor]: Taking taylor expansion of im in im 113.458 * * * [progress]: simplifying candidates 113.460 * [simplify]: Simplifying using # : (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (log (pow im 3))) (log (* -1/3 (pow im 3))) (exp (* -1/3 (pow im 3))) (* (* (* -1/3 -1/3) -1/3) (* (* (pow im 3) (pow im 3)) (pow im 3))) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im (/ 3 2))) (* (sqrt -1/3) (pow im (/ 3 2))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 (* im im)) (* -1/3 (* (cbrt (pow im 3)) (cbrt (pow im 3)))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 im) (* -1/3 (sqrt (pow im 3))) (* -1/3 1) (* -1/3 (pow im (/ 3 2))) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* -1/3 (pow im 3)) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (+ (+ (log 0.5) (log (sin re))) (log (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (+ (log (* 0.5 (sin re))) (log (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (log (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (exp (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (* 0.5 (sin re)) (- (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (* 0.5 (sin re)) (- (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* -1/3 (pow im 3)) (* 0.5 (sin re))) (* (- (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) (* (* -1/3 (pow im 3)) (* 0.5 (sin re))) (* (- (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (* 0.5 (sin re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (sin re)) 1) (* (sin re) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (* (* 0.5 (sin re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (log (pow im 5))) (log (* 1/60 (pow im 5))) (exp (* 1/60 (pow im 5))) (* (* (* 1/60 1/60) 1/60) (* (* (pow im 5) (pow im 5)) (pow im 5))) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (* (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (pow im (/ 5 2))) (* (sqrt 1/60) (pow im (/ 5 2))) (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* 1/60 (pow (sqrt im) 5)) (* 1/60 (pow 1 5)) (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 1/60 (sqrt (pow im 5))) (* 1/60 1) (* 1/60 (pow im (/ 5 2))) (* (cbrt 1/60) (pow im 5)) (* (sqrt 1/60) (pow im 5)) (* 1/60 (pow im 5)) (/ (exp (* -1/3 (pow im 3))) (* (exp (* 1/60 (pow im 5))) (exp (* 2 im)))) (/ (exp (* -1/3 (pow im 3))) (exp (+ (* 1/60 (pow im 5)) (* 2 im)))) (log (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (exp (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)) (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (- (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (- (+ (* 1/60 (pow im 5)) (* 2 im))) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1.0 (* re im)) (- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 113.464 * * [simplify]: iteration 0 : 178 enodes (cost 1587 ) 113.503 * * [simplify]: iteration 1 : 455 enodes (cost 1481 ) 113.647 * * [simplify]: iteration 2 : 1718 enodes (cost 1304 ) 114.087 * * [simplify]: iteration done : 5001 enodes (cost 1304 ) 114.088 * [simplify]: Simplified to: (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (exp (* -1/3 (pow im 3))) (pow (* (pow im 3) -1/3) 3) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (pow (* (pow im 3) -1/3) 3) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im 3/2)) (* (sqrt -1/3) (pow im 3/2)) (* im (* -1/3 im)) (* -1/3 (pow (sqrt im) 3)) -1/3 (* im (* -1/3 im)) (* im (* -1/3 im)) (* im (* -1/3 im)) (* -1/3 (pow (sqrt im) 3)) -1/3 (* -1/3 im) (* -1/3 (sqrt (pow im 3))) -1/3 (* -1/3 (pow im 3/2)) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* (pow im 3) -1/3) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (log (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (log (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (log (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (exp (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (pow (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 3) (pow (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 3) (* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (pow (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 3) (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -2 im))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -2 im))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -2 im))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -2 im))) (* (* 0.5 (sin re)) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (* 0.5 (sin re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* 0.5 (sin re)) (* (sin re) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (* 0.5 (* (sin re) (- (* 1/9 (pow im 6)) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (exp (* 1/60 (pow im 5))) (* (pow (pow im 5) 3) 1/216000) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (* (pow (pow im 5) 3) 1/216000) (sqrt (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (sqrt (pow im 5))) (* (pow im 5/2) (sqrt 1/60)) (* (pow im 5/2) (sqrt 1/60)) (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* 1/60 (pow (sqrt im) 5)) 1/60 (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 1/60 (sqrt (pow im 5))) 1/60 (* 1/60 (pow im 5/2)) (* (cbrt 1/60) (pow im 5)) (* (sqrt 1/60) (pow im 5)) (* 1/60 (pow im 5)) (exp (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (exp (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (log (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (exp (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (pow (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 3) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)) (+ (* 1/9 (pow im 6)) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (+ (* (pow im 5) -1/60) (* -2 im)) (- (* 1/9 (pow im 6)) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (+ (* (pow im 5) -1/60) (* -2 im)) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* -1.0 (* re im)) (- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 114.089 * * * [progress]: adding candidates to table 114.340 * * [progress]: iteration 3 / 4 114.340 * * * [progress]: picking best candidate 114.369 * * * * [pick]: Picked # 114.369 * * * [progress]: localizing error 114.384 * * * [progress]: generating rewritten candidates 114.384 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2) 114.387 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2) 114.393 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 114.402 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 114.411 * * * [progress]: generating series expansions 114.411 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2) 114.411 * [approximate]: Taking taylor expansion of (* (sin re) im) in (re im) around 0 114.411 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 114.411 * [taylor]: Taking taylor expansion of (sin re) in im 114.411 * [taylor]: Taking taylor expansion of re in im 114.411 * [taylor]: Taking taylor expansion of im in im 114.411 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 114.411 * [taylor]: Taking taylor expansion of (sin re) in re 114.412 * [taylor]: Taking taylor expansion of re in re 114.412 * [taylor]: Taking taylor expansion of im in re 114.412 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 114.412 * [taylor]: Taking taylor expansion of (sin re) in re 114.412 * [taylor]: Taking taylor expansion of re in re 114.412 * [taylor]: Taking taylor expansion of im in re 114.412 * [taylor]: Taking taylor expansion of 0 in im 114.413 * [taylor]: Taking taylor expansion of im in im 114.414 * [taylor]: Taking taylor expansion of 0 in im 114.415 * [taylor]: Taking taylor expansion of (- (* 1/6 im)) in im 114.415 * [taylor]: Taking taylor expansion of (* 1/6 im) in im 114.415 * [taylor]: Taking taylor expansion of 1/6 in im 114.415 * [taylor]: Taking taylor expansion of im in im 114.417 * [taylor]: Taking taylor expansion of 0 in im 114.418 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in (re im) around 0 114.418 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 114.418 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 114.418 * [taylor]: Taking taylor expansion of (/ 1 re) in im 114.418 * [taylor]: Taking taylor expansion of re in im 114.418 * [taylor]: Taking taylor expansion of im in im 114.418 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 114.418 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 114.418 * [taylor]: Taking taylor expansion of (/ 1 re) in re 114.418 * [taylor]: Taking taylor expansion of re in re 114.418 * [taylor]: Taking taylor expansion of im in re 114.418 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 114.418 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 114.418 * [taylor]: Taking taylor expansion of (/ 1 re) in re 114.418 * [taylor]: Taking taylor expansion of re in re 114.419 * [taylor]: Taking taylor expansion of im in re 114.419 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 114.419 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 114.419 * [taylor]: Taking taylor expansion of (/ 1 re) in im 114.419 * [taylor]: Taking taylor expansion of re in im 114.419 * [taylor]: Taking taylor expansion of im in im 114.419 * [taylor]: Taking taylor expansion of 0 in im 114.421 * [taylor]: Taking taylor expansion of 0 in im 114.424 * [taylor]: Taking taylor expansion of 0 in im 114.431 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) im)) in (re im) around 0 114.431 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) im)) in im 114.431 * [taylor]: Taking taylor expansion of -1 in im 114.431 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 114.431 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 114.431 * [taylor]: Taking taylor expansion of (/ -1 re) in im 114.432 * [taylor]: Taking taylor expansion of -1 in im 114.432 * [taylor]: Taking taylor expansion of re in im 114.432 * [taylor]: Taking taylor expansion of im in im 114.432 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) im)) in re 114.432 * [taylor]: Taking taylor expansion of -1 in re 114.432 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 114.432 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 114.432 * [taylor]: Taking taylor expansion of (/ -1 re) in re 114.432 * [taylor]: Taking taylor expansion of -1 in re 114.432 * [taylor]: Taking taylor expansion of re in re 114.432 * [taylor]: Taking taylor expansion of im in re 114.432 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) im)) in re 114.432 * [taylor]: Taking taylor expansion of -1 in re 114.432 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 114.432 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 114.432 * [taylor]: Taking taylor expansion of (/ -1 re) in re 114.432 * [taylor]: Taking taylor expansion of -1 in re 114.432 * [taylor]: Taking taylor expansion of re in re 114.433 * [taylor]: Taking taylor expansion of im in re 114.433 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) im)) in im 114.433 * [taylor]: Taking taylor expansion of -1 in im 114.433 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 114.433 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 114.433 * [taylor]: Taking taylor expansion of (/ -1 re) in im 114.433 * [taylor]: Taking taylor expansion of -1 in im 114.433 * [taylor]: Taking taylor expansion of re in im 114.433 * [taylor]: Taking taylor expansion of im in im 114.434 * [taylor]: Taking taylor expansion of 0 in im 114.437 * [taylor]: Taking taylor expansion of 0 in im 114.441 * [taylor]: Taking taylor expansion of 0 in im 114.445 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2) 114.445 * [approximate]: Taking taylor expansion of (* (sin re) (pow im 5)) in (re im) around 0 114.445 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 5)) in im 114.445 * [taylor]: Taking taylor expansion of (sin re) in im 114.446 * [taylor]: Taking taylor expansion of re in im 114.446 * [taylor]: Taking taylor expansion of (pow im 5) in im 114.446 * [taylor]: Taking taylor expansion of im in im 114.446 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 5)) in re 114.446 * [taylor]: Taking taylor expansion of (sin re) in re 114.446 * [taylor]: Taking taylor expansion of re in re 114.446 * [taylor]: Taking taylor expansion of (pow im 5) in re 114.446 * [taylor]: Taking taylor expansion of im in re 114.446 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 5)) in re 114.446 * [taylor]: Taking taylor expansion of (sin re) in re 114.446 * [taylor]: Taking taylor expansion of re in re 114.446 * [taylor]: Taking taylor expansion of (pow im 5) in re 114.446 * [taylor]: Taking taylor expansion of im in re 114.446 * [taylor]: Taking taylor expansion of 0 in im 114.447 * [taylor]: Taking taylor expansion of (pow im 5) in im 114.447 * [taylor]: Taking taylor expansion of im in im 114.450 * [taylor]: Taking taylor expansion of 0 in im 114.454 * [taylor]: Taking taylor expansion of (- (* 1/6 (pow im 5))) in im 114.454 * [taylor]: Taking taylor expansion of (* 1/6 (pow im 5)) in im 114.454 * [taylor]: Taking taylor expansion of 1/6 in im 114.454 * [taylor]: Taking taylor expansion of (pow im 5) in im 114.454 * [taylor]: Taking taylor expansion of im in im 114.461 * [taylor]: Taking taylor expansion of 0 in im 114.463 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 5)) in (re im) around 0 114.463 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 5)) in im 114.463 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 114.463 * [taylor]: Taking taylor expansion of (/ 1 re) in im 114.463 * [taylor]: Taking taylor expansion of re in im 114.463 * [taylor]: Taking taylor expansion of (pow im 5) in im 114.463 * [taylor]: Taking taylor expansion of im in im 114.464 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 5)) in re 114.464 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 114.464 * [taylor]: Taking taylor expansion of (/ 1 re) in re 114.464 * [taylor]: Taking taylor expansion of re in re 114.464 * [taylor]: Taking taylor expansion of (pow im 5) in re 114.464 * [taylor]: Taking taylor expansion of im in re 114.464 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 5)) in re 114.464 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 114.464 * [taylor]: Taking taylor expansion of (/ 1 re) in re 114.464 * [taylor]: Taking taylor expansion of re in re 114.465 * [taylor]: Taking taylor expansion of (pow im 5) in re 114.465 * [taylor]: Taking taylor expansion of im in re 114.465 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 5)) in im 114.465 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 114.465 * [taylor]: Taking taylor expansion of (/ 1 re) in im 114.465 * [taylor]: Taking taylor expansion of re in im 114.465 * [taylor]: Taking taylor expansion of (pow im 5) in im 114.465 * [taylor]: Taking taylor expansion of im in im 114.466 * [taylor]: Taking taylor expansion of 0 in im 114.471 * [taylor]: Taking taylor expansion of 0 in im 114.477 * [taylor]: Taking taylor expansion of 0 in im 114.485 * [taylor]: Taking taylor expansion of 0 in im 114.494 * [taylor]: Taking taylor expansion of 0 in im 114.506 * [taylor]: Taking taylor expansion of 0 in im 114.510 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 5))) in (re im) around 0 114.510 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 5))) in im 114.510 * [taylor]: Taking taylor expansion of -1 in im 114.510 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 5)) in im 114.510 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 114.510 * [taylor]: Taking taylor expansion of (/ -1 re) in im 114.510 * [taylor]: Taking taylor expansion of -1 in im 114.510 * [taylor]: Taking taylor expansion of re in im 114.510 * [taylor]: Taking taylor expansion of (pow im 5) in im 114.510 * [taylor]: Taking taylor expansion of im in im 114.511 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 5))) in re 114.511 * [taylor]: Taking taylor expansion of -1 in re 114.511 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 5)) in re 114.511 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 114.511 * [taylor]: Taking taylor expansion of (/ -1 re) in re 114.511 * [taylor]: Taking taylor expansion of -1 in re 114.511 * [taylor]: Taking taylor expansion of re in re 114.512 * [taylor]: Taking taylor expansion of (pow im 5) in re 114.512 * [taylor]: Taking taylor expansion of im in re 114.512 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 5))) in re 114.512 * [taylor]: Taking taylor expansion of -1 in re 114.512 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 5)) in re 114.512 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 114.512 * [taylor]: Taking taylor expansion of (/ -1 re) in re 114.512 * [taylor]: Taking taylor expansion of -1 in re 114.512 * [taylor]: Taking taylor expansion of re in re 114.512 * [taylor]: Taking taylor expansion of (pow im 5) in re 114.512 * [taylor]: Taking taylor expansion of im in re 114.513 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 5))) in im 114.513 * [taylor]: Taking taylor expansion of -1 in im 114.513 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 5)) in im 114.513 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 114.513 * [taylor]: Taking taylor expansion of (/ -1 re) in im 114.513 * [taylor]: Taking taylor expansion of -1 in im 114.513 * [taylor]: Taking taylor expansion of re in im 114.513 * [taylor]: Taking taylor expansion of (pow im 5) in im 114.513 * [taylor]: Taking taylor expansion of im in im 114.515 * [taylor]: Taking taylor expansion of 0 in im 114.520 * [taylor]: Taking taylor expansion of 0 in im 114.527 * [taylor]: Taking taylor expansion of 0 in im 114.537 * [taylor]: Taking taylor expansion of 0 in im 114.549 * [taylor]: Taking taylor expansion of 0 in im 114.563 * [taylor]: Taking taylor expansion of 0 in im 114.563 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 114.563 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (* (sin re) (pow im 3))) in (re im) around 0 114.563 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (sin re) (pow im 3))) in im 114.563 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 114.563 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 3)) in im 114.563 * [taylor]: Taking taylor expansion of (sin re) in im 114.563 * [taylor]: Taking taylor expansion of re in im 114.564 * [taylor]: Taking taylor expansion of (pow im 3) in im 114.564 * [taylor]: Taking taylor expansion of im in im 114.564 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (sin re) (pow im 3))) in re 114.564 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 114.564 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 3)) in re 114.564 * [taylor]: Taking taylor expansion of (sin re) in re 114.564 * [taylor]: Taking taylor expansion of re in re 114.564 * [taylor]: Taking taylor expansion of (pow im 3) in re 114.564 * [taylor]: Taking taylor expansion of im in re 114.564 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (sin re) (pow im 3))) in re 114.564 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 114.564 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 3)) in re 114.564 * [taylor]: Taking taylor expansion of (sin re) in re 114.564 * [taylor]: Taking taylor expansion of re in re 114.564 * [taylor]: Taking taylor expansion of (pow im 3) in re 114.564 * [taylor]: Taking taylor expansion of im in re 114.564 * [taylor]: Taking taylor expansion of 0 in im 114.565 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 114.565 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 114.565 * [taylor]: Taking taylor expansion of (pow im 3) in im 114.566 * [taylor]: Taking taylor expansion of im in im 114.568 * [taylor]: Taking taylor expansion of 0 in im 114.573 * [taylor]: Taking taylor expansion of (- (* 0.027777777777777776 (pow im 3))) in im 114.573 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (pow im 3)) in im 114.573 * [taylor]: Taking taylor expansion of 0.027777777777777776 in im 114.573 * [taylor]: Taking taylor expansion of (pow im 3) in im 114.573 * [taylor]: Taking taylor expansion of im in im 114.579 * [taylor]: Taking taylor expansion of 0 in im 114.582 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (/ (sin (/ 1 re)) (pow im 3))) in (re im) around 0 114.582 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ (sin (/ 1 re)) (pow im 3))) in im 114.582 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 114.582 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in im 114.582 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 114.582 * [taylor]: Taking taylor expansion of (/ 1 re) in im 114.582 * [taylor]: Taking taylor expansion of re in im 114.582 * [taylor]: Taking taylor expansion of (pow im 3) in im 114.582 * [taylor]: Taking taylor expansion of im in im 114.583 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ (sin (/ 1 re)) (pow im 3))) in re 114.583 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 114.583 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in re 114.583 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 114.583 * [taylor]: Taking taylor expansion of (/ 1 re) in re 114.583 * [taylor]: Taking taylor expansion of re in re 114.583 * [taylor]: Taking taylor expansion of (pow im 3) in re 114.583 * [taylor]: Taking taylor expansion of im in re 114.583 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ (sin (/ 1 re)) (pow im 3))) in re 114.583 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 114.583 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in re 114.583 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 114.583 * [taylor]: Taking taylor expansion of (/ 1 re) in re 114.583 * [taylor]: Taking taylor expansion of re in re 114.583 * [taylor]: Taking taylor expansion of (pow im 3) in re 114.584 * [taylor]: Taking taylor expansion of im in re 114.584 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ (sin (/ 1 re)) (pow im 3))) in im 114.584 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 114.584 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in im 114.584 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 114.584 * [taylor]: Taking taylor expansion of (/ 1 re) in im 114.584 * [taylor]: Taking taylor expansion of re in im 114.584 * [taylor]: Taking taylor expansion of (pow im 3) in im 114.584 * [taylor]: Taking taylor expansion of im in im 114.585 * [taylor]: Taking taylor expansion of 0 in im 114.594 * [taylor]: Taking taylor expansion of 0 in im 114.600 * [taylor]: Taking taylor expansion of 0 in im 114.608 * [taylor]: Taking taylor expansion of 0 in im 114.619 * [taylor]: Taking taylor expansion of 0 in im 114.619 * [approximate]: Taking taylor expansion of (* -0.16666666666666666 (/ (sin (/ -1 re)) (pow im 3))) in (re im) around 0 114.619 * [taylor]: Taking taylor expansion of (* -0.16666666666666666 (/ (sin (/ -1 re)) (pow im 3))) in im 114.619 * [taylor]: Taking taylor expansion of -0.16666666666666666 in im 114.619 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in im 114.619 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 114.619 * [taylor]: Taking taylor expansion of (/ -1 re) in im 114.619 * [taylor]: Taking taylor expansion of -1 in im 114.619 * [taylor]: Taking taylor expansion of re in im 114.619 * [taylor]: Taking taylor expansion of (pow im 3) in im 114.619 * [taylor]: Taking taylor expansion of im in im 114.620 * [taylor]: Taking taylor expansion of (* -0.16666666666666666 (/ (sin (/ -1 re)) (pow im 3))) in re 114.620 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 114.620 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in re 114.620 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 114.620 * [taylor]: Taking taylor expansion of (/ -1 re) in re 114.620 * [taylor]: Taking taylor expansion of -1 in re 114.620 * [taylor]: Taking taylor expansion of re in re 114.620 * [taylor]: Taking taylor expansion of (pow im 3) in re 114.620 * [taylor]: Taking taylor expansion of im in re 114.620 * [taylor]: Taking taylor expansion of (* -0.16666666666666666 (/ (sin (/ -1 re)) (pow im 3))) in re 114.620 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 114.621 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in re 114.621 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 114.621 * [taylor]: Taking taylor expansion of (/ -1 re) in re 114.621 * [taylor]: Taking taylor expansion of -1 in re 114.621 * [taylor]: Taking taylor expansion of re in re 114.621 * [taylor]: Taking taylor expansion of (pow im 3) in re 114.621 * [taylor]: Taking taylor expansion of im in re 114.621 * [taylor]: Taking taylor expansion of (* -0.16666666666666666 (/ (sin (/ -1 re)) (pow im 3))) in im 114.621 * [taylor]: Taking taylor expansion of -0.16666666666666666 in im 114.621 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in im 114.621 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 114.621 * [taylor]: Taking taylor expansion of (/ -1 re) in im 114.621 * [taylor]: Taking taylor expansion of -1 in im 114.621 * [taylor]: Taking taylor expansion of re in im 114.621 * [taylor]: Taking taylor expansion of (pow im 3) in im 114.621 * [taylor]: Taking taylor expansion of im in im 114.623 * [taylor]: Taking taylor expansion of 0 in im 114.627 * [taylor]: Taking taylor expansion of 0 in im 114.634 * [taylor]: Taking taylor expansion of 0 in im 114.642 * [taylor]: Taking taylor expansion of 0 in im 114.652 * [taylor]: Taking taylor expansion of 0 in im 114.653 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 114.653 * [approximate]: Taking taylor expansion of (* (sin re) (pow im 3)) in (re im) around 0 114.653 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 3)) in im 114.653 * [taylor]: Taking taylor expansion of (sin re) in im 114.653 * [taylor]: Taking taylor expansion of re in im 114.653 * [taylor]: Taking taylor expansion of (pow im 3) in im 114.653 * [taylor]: Taking taylor expansion of im in im 114.653 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 3)) in re 114.653 * [taylor]: Taking taylor expansion of (sin re) in re 114.653 * [taylor]: Taking taylor expansion of re in re 114.653 * [taylor]: Taking taylor expansion of (pow im 3) in re 114.653 * [taylor]: Taking taylor expansion of im in re 114.653 * [taylor]: Taking taylor expansion of (* (sin re) (pow im 3)) in re 114.653 * [taylor]: Taking taylor expansion of (sin re) in re 114.653 * [taylor]: Taking taylor expansion of re in re 114.653 * [taylor]: Taking taylor expansion of (pow im 3) in re 114.653 * [taylor]: Taking taylor expansion of im in re 114.653 * [taylor]: Taking taylor expansion of 0 in im 114.654 * [taylor]: Taking taylor expansion of (pow im 3) in im 114.654 * [taylor]: Taking taylor expansion of im in im 114.656 * [taylor]: Taking taylor expansion of 0 in im 114.659 * [taylor]: Taking taylor expansion of (- (* 1/6 (pow im 3))) in im 114.660 * [taylor]: Taking taylor expansion of (* 1/6 (pow im 3)) in im 114.660 * [taylor]: Taking taylor expansion of 1/6 in im 114.660 * [taylor]: Taking taylor expansion of (pow im 3) in im 114.660 * [taylor]: Taking taylor expansion of im in im 114.665 * [taylor]: Taking taylor expansion of 0 in im 114.666 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in (re im) around 0 114.666 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in im 114.666 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 114.666 * [taylor]: Taking taylor expansion of (/ 1 re) in im 114.666 * [taylor]: Taking taylor expansion of re in im 114.666 * [taylor]: Taking taylor expansion of (pow im 3) in im 114.666 * [taylor]: Taking taylor expansion of im in im 114.667 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in re 114.667 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 114.667 * [taylor]: Taking taylor expansion of (/ 1 re) in re 114.667 * [taylor]: Taking taylor expansion of re in re 114.667 * [taylor]: Taking taylor expansion of (pow im 3) in re 114.667 * [taylor]: Taking taylor expansion of im in re 114.668 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in re 114.668 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 114.668 * [taylor]: Taking taylor expansion of (/ 1 re) in re 114.668 * [taylor]: Taking taylor expansion of re in re 114.668 * [taylor]: Taking taylor expansion of (pow im 3) in re 114.668 * [taylor]: Taking taylor expansion of im in re 114.668 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (pow im 3)) in im 114.668 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 114.668 * [taylor]: Taking taylor expansion of (/ 1 re) in im 114.668 * [taylor]: Taking taylor expansion of re in im 114.668 * [taylor]: Taking taylor expansion of (pow im 3) in im 114.668 * [taylor]: Taking taylor expansion of im in im 114.669 * [taylor]: Taking taylor expansion of 0 in im 114.677 * [taylor]: Taking taylor expansion of 0 in im 114.682 * [taylor]: Taking taylor expansion of 0 in im 114.689 * [taylor]: Taking taylor expansion of 0 in im 114.697 * [taylor]: Taking taylor expansion of 0 in im 114.697 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 3))) in (re im) around 0 114.697 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 3))) in im 114.697 * [taylor]: Taking taylor expansion of -1 in im 114.697 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in im 114.697 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 114.697 * [taylor]: Taking taylor expansion of (/ -1 re) in im 114.697 * [taylor]: Taking taylor expansion of -1 in im 114.697 * [taylor]: Taking taylor expansion of re in im 114.697 * [taylor]: Taking taylor expansion of (pow im 3) in im 114.697 * [taylor]: Taking taylor expansion of im in im 114.698 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 3))) in re 114.698 * [taylor]: Taking taylor expansion of -1 in re 114.698 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in re 114.698 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 114.698 * [taylor]: Taking taylor expansion of (/ -1 re) in re 114.698 * [taylor]: Taking taylor expansion of -1 in re 114.698 * [taylor]: Taking taylor expansion of re in re 114.698 * [taylor]: Taking taylor expansion of (pow im 3) in re 114.698 * [taylor]: Taking taylor expansion of im in re 114.698 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 3))) in re 114.698 * [taylor]: Taking taylor expansion of -1 in re 114.698 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in re 114.698 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 114.698 * [taylor]: Taking taylor expansion of (/ -1 re) in re 114.699 * [taylor]: Taking taylor expansion of -1 in re 114.699 * [taylor]: Taking taylor expansion of re in re 114.699 * [taylor]: Taking taylor expansion of (pow im 3) in re 114.699 * [taylor]: Taking taylor expansion of im in re 114.699 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 re)) (pow im 3))) in im 114.699 * [taylor]: Taking taylor expansion of -1 in im 114.699 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (pow im 3)) in im 114.699 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 114.699 * [taylor]: Taking taylor expansion of (/ -1 re) in im 114.699 * [taylor]: Taking taylor expansion of -1 in im 114.699 * [taylor]: Taking taylor expansion of re in im 114.699 * [taylor]: Taking taylor expansion of (pow im 3) in im 114.699 * [taylor]: Taking taylor expansion of im in im 114.701 * [taylor]: Taking taylor expansion of 0 in im 114.705 * [taylor]: Taking taylor expansion of 0 in im 114.712 * [taylor]: Taking taylor expansion of 0 in im 114.720 * [taylor]: Taking taylor expansion of 0 in im 114.730 * [taylor]: Taking taylor expansion of 0 in im 114.730 * * * [progress]: simplifying candidates 114.732 * [simplify]: Simplifying using # : (* (sin re) im) (+ (log (sin re)) (log im)) (log (* (sin re) im)) (exp (* (sin re) im)) (* (* (* (sin re) (sin re)) (sin re)) (* (* im im) im)) (* (cbrt (* (sin re) im)) (cbrt (* (sin re) im))) (cbrt (* (sin re) im)) (* (* (* (sin re) im) (* (sin re) im)) (* (sin re) im)) (sqrt (* (sin re) im)) (sqrt (* (sin re) im)) (* (sqrt (sin re)) (sqrt im)) (* (sqrt (sin re)) (sqrt im)) (* (sin re) (* (cbrt im) (cbrt im))) (* (sin re) (sqrt im)) (* (sin re) 1) (* (cbrt (sin re)) im) (* (sqrt (sin re)) im) (* (sin re) im) (+ (log (sin re)) (* (log im) 5)) (+ (log (sin re)) (* (log im) 5)) (+ (log (sin re)) (log (pow im 5))) (log (* (sin re) (pow im 5))) (exp (* (sin re) (pow im 5))) (* (* (* (sin re) (sin re)) (sin re)) (* (* (pow im 5) (pow im 5)) (pow im 5))) (* (cbrt (* (sin re) (pow im 5))) (cbrt (* (sin re) (pow im 5)))) (cbrt (* (sin re) (pow im 5))) (* (* (* (sin re) (pow im 5)) (* (sin re) (pow im 5))) (* (sin re) (pow im 5))) (sqrt (* (sin re) (pow im 5))) (sqrt (* (sin re) (pow im 5))) (* (sqrt (sin re)) (pow (sqrt im) 5)) (* (sqrt (sin re)) (pow (sqrt im) 5)) (* (sqrt (sin re)) (sqrt (pow im 5))) (* (sqrt (sin re)) (sqrt (pow im 5))) (* (sqrt (sin re)) (pow im (/ 5 2))) (* (sqrt (sin re)) (pow im (/ 5 2))) (* (sin re) (pow (* (cbrt im) (cbrt im)) 5)) (* (sin re) (pow (sqrt im) 5)) (* (sin re) (pow 1 5)) (* (sin re) (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* (sin re) (sqrt (pow im 5))) (* (sin re) 1) (* (sin re) (pow im (/ 5 2))) (* (cbrt (sin re)) (pow im 5)) (* (sqrt (sin re)) (pow im 5)) (* (sin re) (pow im 5)) (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (log 0.16666666666666666) (+ (log (sin re)) (* (log im) 3))) (+ (log 0.16666666666666666) (+ (log (sin re)) (* (log im) 3))) (+ (log 0.16666666666666666) (+ (log (sin re)) (log (pow im 3)))) (+ (log 0.16666666666666666) (log (* (sin re) (pow im 3)))) (log (* 0.16666666666666666 (* (sin re) (pow im 3)))) (exp (* 0.16666666666666666 (* (sin re) (pow im 3)))) (* (* (* 0.16666666666666666 0.16666666666666666) 0.16666666666666666) (* (* (* (sin re) (sin re)) (sin re)) (* (* (pow im 3) (pow im 3)) (pow im 3)))) (* (* (* 0.16666666666666666 0.16666666666666666) 0.16666666666666666) (* (* (* (sin re) (pow im 3)) (* (sin re) (pow im 3))) (* (sin re) (pow im 3)))) (* (cbrt (* 0.16666666666666666 (* (sin re) (pow im 3)))) (cbrt (* 0.16666666666666666 (* (sin re) (pow im 3))))) (cbrt (* 0.16666666666666666 (* (sin re) (pow im 3)))) (* (* (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.16666666666666666 (* (sin re) (pow im 3)))) (* 0.16666666666666666 (* (sin re) (pow im 3)))) (sqrt (* 0.16666666666666666 (* (sin re) (pow im 3)))) (sqrt (* 0.16666666666666666 (* (sin re) (pow im 3)))) (* 0.16666666666666666 (sin re)) (* (cbrt 0.16666666666666666) (* (sin re) (pow im 3))) (* (sqrt 0.16666666666666666) (* (sin re) (pow im 3))) (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (log (sin re)) (* (log im) 3)) (+ (log (sin re)) (* (log im) 3)) (+ (log (sin re)) (log (pow im 3))) (log (* (sin re) (pow im 3))) (exp (* (sin re) (pow im 3))) (* (* (* (sin re) (sin re)) (sin re)) (* (* (pow im 3) (pow im 3)) (pow im 3))) (* (cbrt (* (sin re) (pow im 3))) (cbrt (* (sin re) (pow im 3)))) (cbrt (* (sin re) (pow im 3))) (* (* (* (sin re) (pow im 3)) (* (sin re) (pow im 3))) (* (sin re) (pow im 3))) (sqrt (* (sin re) (pow im 3))) (sqrt (* (sin re) (pow im 3))) (* (sqrt (sin re)) (pow (sqrt im) 3)) (* (sqrt (sin re)) (pow (sqrt im) 3)) (* (sqrt (sin re)) (pow (sqrt im) 3)) (* (sqrt (sin re)) (pow (sqrt im) 3)) (* (sqrt (sin re)) (sqrt (pow im 3))) (* (sqrt (sin re)) (sqrt (pow im 3))) (* (sqrt (sin re)) (pow im (/ 3 2))) (* (sqrt (sin re)) (pow im (/ 3 2))) (* (sin re) (pow (* (cbrt im) (cbrt im)) 3)) (* (sin re) (pow (sqrt im) 3)) (* (sin re) (pow 1 3)) (* (sin re) (* im im)) (* (sin re) (* (cbrt (pow im 3)) (cbrt (pow im 3)))) (* (sin re) (pow (* (cbrt im) (cbrt im)) 3)) (* (sin re) (pow (sqrt im) 3)) (* (sin re) (pow 1 3)) (* (sin re) im) (* (sin re) (sqrt (pow im 3))) (* (sin re) 1) (* (sin re) (pow im (/ 3 2))) (* (cbrt (sin re)) (pow im 3)) (* (sqrt (sin re)) (pow im 3)) (* (sin re) (pow im 3)) (* re im) (* (sin re) im) (* (sin re) im) (- (* re (pow im 5)) (* 1/6 (* (pow re 3) (pow im 5)))) (* (sin re) (pow im 5)) (* (sin re) (pow im 5)) (- (* 0.16666666666666666 (* re (pow im 3))) (* 0.027777777777777776 (* (pow re 3) (pow im 3)))) (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.16666666666666666 (* (sin re) (pow im 3))) (- (* re (pow im 3)) (* 1/6 (* (pow re 3) (pow im 3)))) (* (sin re) (pow im 3)) (* (sin re) (pow im 3)) 114.735 * * [simplify]: iteration 0 : 142 enodes (cost 963 ) 114.769 * * [simplify]: iteration 1 : 340 enodes (cost 883 ) 114.869 * * [simplify]: iteration 2 : 1206 enodes (cost 781 ) 115.242 * * [simplify]: iteration done : 5001 enodes (cost 781 ) 115.242 * [simplify]: Simplified to: (* (sin re) im) (log (* (sin re) im)) (log (* (sin re) im)) (exp (* (sin re) im)) (pow (* (sin re) im) 3) (* (cbrt (* (sin re) im)) (cbrt (* (sin re) im))) (cbrt (* (sin re) im)) (pow (* (sin re) im) 3) (sqrt (* (sin re) im)) (sqrt (* (sin re) im)) (* (sqrt (sin re)) (sqrt im)) (* (sqrt (sin re)) (sqrt im)) (* (sin re) (* (cbrt im) (cbrt im))) (* (sin re) (sqrt im)) (sin re) (* (cbrt (sin re)) im) (* (sqrt (sin re)) im) (* (sin re) im) (log (* (sin re) (pow im 5))) (log (* (sin re) (pow im 5))) (log (* (sin re) (pow im 5))) (log (* (sin re) (pow im 5))) (exp (* (sin re) (pow im 5))) (pow (* (sin re) (pow im 5)) 3) (* (cbrt (* (sin re) (pow im 5))) (cbrt (* (sin re) (pow im 5)))) (cbrt (* (sin re) (pow im 5))) (pow (* (sin re) (pow im 5)) 3) (sqrt (* (sin re) (pow im 5))) (sqrt (* (sin re) (pow im 5))) (* (sqrt (sin re)) (pow (sqrt im) 5)) (* (sqrt (sin re)) (pow (sqrt im) 5)) (* (sqrt (sin re)) (sqrt (pow im 5))) (* (sqrt (sin re)) (sqrt (pow im 5))) (* (sqrt (sin re)) (pow im 5/2)) (* (sqrt (sin re)) (pow im 5/2)) (* (sin re) (pow (* (cbrt im) (cbrt im)) 5)) (* (sin re) (pow (sqrt im) 5)) (sin re) (* (sin re) (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* (sin re) (sqrt (pow im 5))) (sin re) (* (sin re) (pow im 5/2)) (* (cbrt (sin re)) (pow im 5)) (* (sqrt (sin re)) (pow im 5)) (* (sin re) (pow im 5)) (* 0.16666666666666666 (* (sin re) (pow im 3))) (log (* 0.16666666666666666 (* (sin re) (pow im 3)))) (log (* 0.16666666666666666 (* (sin re) (pow im 3)))) (log (* 0.16666666666666666 (* (sin re) (pow im 3)))) (log (* 0.16666666666666666 (* (sin re) (pow im 3)))) (log (* 0.16666666666666666 (* (sin re) (pow im 3)))) (exp (* 0.16666666666666666 (* (sin re) (pow im 3)))) (pow (* 0.16666666666666666 (* (sin re) (pow im 3))) 3) (pow (* 0.16666666666666666 (* (sin re) (pow im 3))) 3) (* (cbrt (* 0.16666666666666666 (* (sin re) (pow im 3)))) (cbrt (* 0.16666666666666666 (* (sin re) (pow im 3))))) (cbrt (* 0.16666666666666666 (* (sin re) (pow im 3)))) (pow (* 0.16666666666666666 (* (sin re) (pow im 3))) 3) (sqrt (* 0.16666666666666666 (* (sin re) (pow im 3)))) (sqrt (* 0.16666666666666666 (* (sin re) (pow im 3)))) (* 0.16666666666666666 (sin re)) (* (cbrt 0.16666666666666666) (* (sin re) (pow im 3))) (* (sqrt 0.16666666666666666) (* (sin re) (pow im 3))) (* 0.16666666666666666 (* (sin re) (pow im 3))) (log (* (sin re) (pow im 3))) (log (* (sin re) (pow im 3))) (log (* (sin re) (pow im 3))) (log (* (sin re) (pow im 3))) (exp (* (sin re) (pow im 3))) (pow (* (sin re) (pow im 3)) 3) (* (cbrt (* (sin re) (pow im 3))) (cbrt (* (sin re) (pow im 3)))) (cbrt (* (sin re) (pow im 3))) (pow (* (sin re) (pow im 3)) 3) (sqrt (* (sin re) (pow im 3))) (sqrt (* (sin re) (pow im 3))) (* (sqrt (sin re)) (pow (sqrt im) 3)) (* (sqrt (sin re)) (pow (sqrt im) 3)) (* (sqrt (sin re)) (pow (sqrt im) 3)) (* (sqrt (sin re)) (pow (sqrt im) 3)) (* (sqrt (sin re)) (sqrt (pow im 3))) (* (sqrt (sin re)) (sqrt (pow im 3))) (* (sqrt (sin re)) (pow im 3/2)) (* (sqrt (sin re)) (pow im 3/2)) (* (sin re) (* im im)) (* (sin re) (pow (sqrt im) 3)) (sin re) (* (sin re) (* im im)) (* (sin re) (* im im)) (* (sin re) (* im im)) (* (sin re) (pow (sqrt im) 3)) (sin re) (* (sin re) im) (* (sin re) (sqrt (pow im 3))) (sin re) (* (pow im 3/2) (sin re)) (* (cbrt (sin re)) (pow im 3)) (* (sqrt (sin re)) (pow im 3)) (* (sin re) (pow im 3)) (* re im) (* (sin re) im) (* (sin re) im) (* (pow im 5) (- re (* 1/6 (pow re 3)))) (* (sin re) (pow im 5)) (* (sin re) (pow im 5)) (* (pow im 3) (- (* 0.16666666666666666 re) (* 0.027777777777777776 (pow re 3)))) (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.16666666666666666 (* (sin re) (pow im 3))) (* (pow im 3) (- re (* 1/6 (pow re 3)))) (* (sin re) (pow im 3)) (* (sin re) (pow im 3)) 115.243 * * * [progress]: adding candidates to table 115.510 * * [progress]: iteration 4 / 4 115.510 * * * [progress]: picking best candidate 115.537 * * * * [pick]: Picked # 115.537 * * * [progress]: localizing error 115.553 * * * [progress]: generating rewritten candidates 115.553 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 115.554 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 115.563 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 115.594 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 115.602 * * * [progress]: generating series expansions 115.602 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 115.602 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 115.602 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 115.602 * [taylor]: Taking taylor expansion of -1/3 in im 115.602 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.602 * [taylor]: Taking taylor expansion of im in im 115.602 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 115.602 * [taylor]: Taking taylor expansion of -1/3 in im 115.602 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.602 * [taylor]: Taking taylor expansion of im in im 115.614 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 115.614 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 115.614 * [taylor]: Taking taylor expansion of -1/3 in im 115.614 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.614 * [taylor]: Taking taylor expansion of im in im 115.614 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 115.614 * [taylor]: Taking taylor expansion of -1/3 in im 115.614 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.614 * [taylor]: Taking taylor expansion of im in im 115.625 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 115.625 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 115.625 * [taylor]: Taking taylor expansion of 1/3 in im 115.625 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.625 * [taylor]: Taking taylor expansion of im in im 115.626 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 115.626 * [taylor]: Taking taylor expansion of 1/3 in im 115.626 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.626 * [taylor]: Taking taylor expansion of im in im 115.640 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 115.640 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 115.640 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 115.640 * [taylor]: Taking taylor expansion of -1/3 in im 115.640 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.640 * [taylor]: Taking taylor expansion of im in im 115.640 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 115.640 * [taylor]: Taking taylor expansion of -1/3 in im 115.640 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.640 * [taylor]: Taking taylor expansion of im in im 115.651 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 115.651 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 115.651 * [taylor]: Taking taylor expansion of -1/3 in im 115.651 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.651 * [taylor]: Taking taylor expansion of im in im 115.652 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 115.652 * [taylor]: Taking taylor expansion of -1/3 in im 115.652 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.652 * [taylor]: Taking taylor expansion of im in im 115.663 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 115.663 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 115.663 * [taylor]: Taking taylor expansion of 1/3 in im 115.663 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.663 * [taylor]: Taking taylor expansion of im in im 115.663 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 115.663 * [taylor]: Taking taylor expansion of 1/3 in im 115.663 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.663 * [taylor]: Taking taylor expansion of im in im 115.674 * * * * [progress]: [ 3 / 4 ] generating series at (2) 115.674 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in (re im) around 0 115.674 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in im 115.674 * [taylor]: Taking taylor expansion of -0.5 in im 115.674 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in im 115.674 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 115.674 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 115.674 * [taylor]: Taking taylor expansion of 1/3 in im 115.674 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.674 * [taylor]: Taking taylor expansion of im in im 115.674 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 115.674 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 115.675 * [taylor]: Taking taylor expansion of 1/60 in im 115.675 * [taylor]: Taking taylor expansion of (pow im 5) in im 115.675 * [taylor]: Taking taylor expansion of im in im 115.675 * [taylor]: Taking taylor expansion of (* 2 im) in im 115.675 * [taylor]: Taking taylor expansion of 2 in im 115.675 * [taylor]: Taking taylor expansion of im in im 115.675 * [taylor]: Taking taylor expansion of (sin re) in im 115.675 * [taylor]: Taking taylor expansion of re in im 115.675 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in re 115.675 * [taylor]: Taking taylor expansion of -0.5 in re 115.675 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in re 115.675 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 115.675 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 115.675 * [taylor]: Taking taylor expansion of 1/3 in re 115.675 * [taylor]: Taking taylor expansion of (pow im 3) in re 115.675 * [taylor]: Taking taylor expansion of im in re 115.675 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 115.675 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 115.675 * [taylor]: Taking taylor expansion of 1/60 in re 115.675 * [taylor]: Taking taylor expansion of (pow im 5) in re 115.675 * [taylor]: Taking taylor expansion of im in re 115.675 * [taylor]: Taking taylor expansion of (* 2 im) in re 115.675 * [taylor]: Taking taylor expansion of 2 in re 115.675 * [taylor]: Taking taylor expansion of im in re 115.675 * [taylor]: Taking taylor expansion of (sin re) in re 115.675 * [taylor]: Taking taylor expansion of re in re 115.675 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in re 115.675 * [taylor]: Taking taylor expansion of -0.5 in re 115.675 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in re 115.675 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 115.675 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 115.675 * [taylor]: Taking taylor expansion of 1/3 in re 115.675 * [taylor]: Taking taylor expansion of (pow im 3) in re 115.675 * [taylor]: Taking taylor expansion of im in re 115.675 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 115.675 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 115.675 * [taylor]: Taking taylor expansion of 1/60 in re 115.675 * [taylor]: Taking taylor expansion of (pow im 5) in re 115.675 * [taylor]: Taking taylor expansion of im in re 115.675 * [taylor]: Taking taylor expansion of (* 2 im) in re 115.675 * [taylor]: Taking taylor expansion of 2 in re 115.675 * [taylor]: Taking taylor expansion of im in re 115.675 * [taylor]: Taking taylor expansion of (sin re) in re 115.675 * [taylor]: Taking taylor expansion of re in re 115.676 * [taylor]: Taking taylor expansion of 0 in im 115.680 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)))) in im 115.680 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im))) in im 115.680 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 115.680 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 115.680 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.680 * [taylor]: Taking taylor expansion of im in im 115.680 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in im 115.680 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 115.680 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 115.680 * [taylor]: Taking taylor expansion of (pow im 5) in im 115.680 * [taylor]: Taking taylor expansion of im in im 115.680 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 115.680 * [taylor]: Taking taylor expansion of 1.0 in im 115.680 * [taylor]: Taking taylor expansion of im in im 115.686 * [taylor]: Taking taylor expansion of 0 in im 115.696 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (pow im 3)) (+ (* 0.001388888888888889 (pow im 5)) (* 0.16666666666666666 im))) in im 115.696 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (pow im 3)) in im 115.696 * [taylor]: Taking taylor expansion of 0.027777777777777776 in im 115.696 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.696 * [taylor]: Taking taylor expansion of im in im 115.696 * [taylor]: Taking taylor expansion of (+ (* 0.001388888888888889 (pow im 5)) (* 0.16666666666666666 im)) in im 115.696 * [taylor]: Taking taylor expansion of (* 0.001388888888888889 (pow im 5)) in im 115.696 * [taylor]: Taking taylor expansion of 0.001388888888888889 in im 115.696 * [taylor]: Taking taylor expansion of (pow im 5) in im 115.696 * [taylor]: Taking taylor expansion of im in im 115.696 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 im) in im 115.696 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 115.696 * [taylor]: Taking taylor expansion of im in im 115.708 * [taylor]: Taking taylor expansion of 0 in im 115.709 * [approximate]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in (re im) around 0 115.709 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im 115.709 * [taylor]: Taking taylor expansion of -0.5 in im 115.709 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 115.709 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 115.709 * [taylor]: Taking taylor expansion of (/ 1 re) in im 115.709 * [taylor]: Taking taylor expansion of re in im 115.709 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 115.709 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 115.709 * [taylor]: Taking taylor expansion of 2 in im 115.709 * [taylor]: Taking taylor expansion of (/ 1 im) in im 115.709 * [taylor]: Taking taylor expansion of im in im 115.709 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 115.709 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 115.709 * [taylor]: Taking taylor expansion of 1/3 in im 115.709 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 115.709 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.709 * [taylor]: Taking taylor expansion of im in im 115.710 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 115.710 * [taylor]: Taking taylor expansion of 1/60 in im 115.710 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 115.710 * [taylor]: Taking taylor expansion of (pow im 5) in im 115.710 * [taylor]: Taking taylor expansion of im in im 115.715 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in re 115.715 * [taylor]: Taking taylor expansion of -0.5 in re 115.715 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 115.715 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 115.715 * [taylor]: Taking taylor expansion of (/ 1 re) in re 115.715 * [taylor]: Taking taylor expansion of re in re 115.716 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 115.716 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 115.716 * [taylor]: Taking taylor expansion of 2 in re 115.716 * [taylor]: Taking taylor expansion of (/ 1 im) in re 115.716 * [taylor]: Taking taylor expansion of im in re 115.716 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 115.716 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 115.716 * [taylor]: Taking taylor expansion of 1/3 in re 115.716 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 115.716 * [taylor]: Taking taylor expansion of (pow im 3) in re 115.716 * [taylor]: Taking taylor expansion of im in re 115.716 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 115.716 * [taylor]: Taking taylor expansion of 1/60 in re 115.716 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 115.716 * [taylor]: Taking taylor expansion of (pow im 5) in re 115.716 * [taylor]: Taking taylor expansion of im in re 115.716 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in re 115.716 * [taylor]: Taking taylor expansion of -0.5 in re 115.716 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 115.716 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 115.716 * [taylor]: Taking taylor expansion of (/ 1 re) in re 115.716 * [taylor]: Taking taylor expansion of re in re 115.717 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 115.717 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 115.717 * [taylor]: Taking taylor expansion of 2 in re 115.717 * [taylor]: Taking taylor expansion of (/ 1 im) in re 115.717 * [taylor]: Taking taylor expansion of im in re 115.717 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 115.717 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 115.717 * [taylor]: Taking taylor expansion of 1/3 in re 115.717 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 115.717 * [taylor]: Taking taylor expansion of (pow im 3) in re 115.717 * [taylor]: Taking taylor expansion of im in re 115.717 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 115.717 * [taylor]: Taking taylor expansion of 1/60 in re 115.717 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 115.717 * [taylor]: Taking taylor expansion of (pow im 5) in re 115.717 * [taylor]: Taking taylor expansion of im in re 115.718 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im 115.718 * [taylor]: Taking taylor expansion of -0.5 in im 115.718 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 115.718 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 115.718 * [taylor]: Taking taylor expansion of (/ 1 re) in im 115.718 * [taylor]: Taking taylor expansion of re in im 115.719 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 115.719 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 115.719 * [taylor]: Taking taylor expansion of 2 in im 115.719 * [taylor]: Taking taylor expansion of (/ 1 im) in im 115.719 * [taylor]: Taking taylor expansion of im in im 115.719 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 115.719 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 115.719 * [taylor]: Taking taylor expansion of 1/3 in im 115.719 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 115.719 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.719 * [taylor]: Taking taylor expansion of im in im 115.720 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 115.720 * [taylor]: Taking taylor expansion of 1/60 in im 115.720 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 115.720 * [taylor]: Taking taylor expansion of (pow im 5) in im 115.720 * [taylor]: Taking taylor expansion of im in im 115.725 * [taylor]: Taking taylor expansion of 0 in im 115.734 * [taylor]: Taking taylor expansion of 0 in im 115.748 * [taylor]: Taking taylor expansion of 0 in im 115.766 * [taylor]: Taking taylor expansion of 0 in im 115.777 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in (re im) around 0 115.777 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in im 115.777 * [taylor]: Taking taylor expansion of 0.5 in im 115.777 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in im 115.777 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 115.777 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 115.777 * [taylor]: Taking taylor expansion of 2 in im 115.777 * [taylor]: Taking taylor expansion of (/ 1 im) in im 115.777 * [taylor]: Taking taylor expansion of im in im 115.778 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 115.778 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 115.778 * [taylor]: Taking taylor expansion of 1/3 in im 115.778 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 115.778 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.778 * [taylor]: Taking taylor expansion of im in im 115.778 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 115.778 * [taylor]: Taking taylor expansion of 1/60 in im 115.778 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 115.779 * [taylor]: Taking taylor expansion of (pow im 5) in im 115.779 * [taylor]: Taking taylor expansion of im in im 115.779 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 115.779 * [taylor]: Taking taylor expansion of (/ -1 re) in im 115.779 * [taylor]: Taking taylor expansion of -1 in im 115.779 * [taylor]: Taking taylor expansion of re in im 115.780 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in re 115.780 * [taylor]: Taking taylor expansion of 0.5 in re 115.780 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in re 115.780 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 115.780 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 115.780 * [taylor]: Taking taylor expansion of 2 in re 115.780 * [taylor]: Taking taylor expansion of (/ 1 im) in re 115.780 * [taylor]: Taking taylor expansion of im in re 115.780 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 115.780 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 115.780 * [taylor]: Taking taylor expansion of 1/3 in re 115.780 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 115.780 * [taylor]: Taking taylor expansion of (pow im 3) in re 115.780 * [taylor]: Taking taylor expansion of im in re 115.780 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 115.780 * [taylor]: Taking taylor expansion of 1/60 in re 115.780 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 115.780 * [taylor]: Taking taylor expansion of (pow im 5) in re 115.780 * [taylor]: Taking taylor expansion of im in re 115.780 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 115.780 * [taylor]: Taking taylor expansion of (/ -1 re) in re 115.780 * [taylor]: Taking taylor expansion of -1 in re 115.780 * [taylor]: Taking taylor expansion of re in re 115.781 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in re 115.781 * [taylor]: Taking taylor expansion of 0.5 in re 115.781 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in re 115.781 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 115.781 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 115.781 * [taylor]: Taking taylor expansion of 2 in re 115.781 * [taylor]: Taking taylor expansion of (/ 1 im) in re 115.781 * [taylor]: Taking taylor expansion of im in re 115.781 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 115.781 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 115.781 * [taylor]: Taking taylor expansion of 1/3 in re 115.781 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 115.781 * [taylor]: Taking taylor expansion of (pow im 3) in re 115.781 * [taylor]: Taking taylor expansion of im in re 115.781 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 115.781 * [taylor]: Taking taylor expansion of 1/60 in re 115.781 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 115.781 * [taylor]: Taking taylor expansion of (pow im 5) in re 115.781 * [taylor]: Taking taylor expansion of im in re 115.781 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 115.781 * [taylor]: Taking taylor expansion of (/ -1 re) in re 115.781 * [taylor]: Taking taylor expansion of -1 in re 115.781 * [taylor]: Taking taylor expansion of re in re 115.783 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in im 115.783 * [taylor]: Taking taylor expansion of 0.5 in im 115.783 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in im 115.783 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 115.783 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 115.783 * [taylor]: Taking taylor expansion of 2 in im 115.783 * [taylor]: Taking taylor expansion of (/ 1 im) in im 115.783 * [taylor]: Taking taylor expansion of im in im 115.783 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 115.783 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 115.783 * [taylor]: Taking taylor expansion of 1/3 in im 115.783 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 115.783 * [taylor]: Taking taylor expansion of (pow im 3) in im 115.783 * [taylor]: Taking taylor expansion of im in im 115.784 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 115.784 * [taylor]: Taking taylor expansion of 1/60 in im 115.784 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 115.784 * [taylor]: Taking taylor expansion of (pow im 5) in im 115.784 * [taylor]: Taking taylor expansion of im in im 115.785 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 115.785 * [taylor]: Taking taylor expansion of (/ -1 re) in im 115.785 * [taylor]: Taking taylor expansion of -1 in im 115.785 * [taylor]: Taking taylor expansion of re in im 115.789 * [taylor]: Taking taylor expansion of 0 in im 115.803 * [taylor]: Taking taylor expansion of 0 in im 115.816 * [taylor]: Taking taylor expansion of 0 in im 115.834 * [taylor]: Taking taylor expansion of 0 in im 115.845 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 115.845 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0 115.845 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 115.845 * [taylor]: Taking taylor expansion of 1/60 in im 115.845 * [taylor]: Taking taylor expansion of (pow im 5) in im 115.845 * [taylor]: Taking taylor expansion of im in im 115.845 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 115.845 * [taylor]: Taking taylor expansion of 1/60 in im 115.845 * [taylor]: Taking taylor expansion of (pow im 5) in im 115.845 * [taylor]: Taking taylor expansion of im in im 115.860 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 115.860 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 115.860 * [taylor]: Taking taylor expansion of 1/60 in im 115.860 * [taylor]: Taking taylor expansion of (pow im 5) in im 115.860 * [taylor]: Taking taylor expansion of im in im 115.861 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 115.861 * [taylor]: Taking taylor expansion of 1/60 in im 115.861 * [taylor]: Taking taylor expansion of (pow im 5) in im 115.861 * [taylor]: Taking taylor expansion of im in im 115.879 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 115.879 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 115.879 * [taylor]: Taking taylor expansion of -1/60 in im 115.879 * [taylor]: Taking taylor expansion of (pow im 5) in im 115.879 * [taylor]: Taking taylor expansion of im in im 115.880 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 115.880 * [taylor]: Taking taylor expansion of -1/60 in im 115.880 * [taylor]: Taking taylor expansion of (pow im 5) in im 115.880 * [taylor]: Taking taylor expansion of im in im 115.894 * * * [progress]: simplifying candidates 115.896 * [simplify]: Simplifying using # : (log (* (cbrt (exp (* -1/3 (pow im 3)))) (cbrt (exp (* -1/3 (pow im 3)))))) (log (cbrt (exp (* -1/3 (pow im 3))))) (log (sqrt (exp (* -1/3 (pow im 3))))) (log (sqrt (exp (* -1/3 (pow im 3))))) (log 1) (log (exp (* -1/3 (pow im 3)))) (log (exp -1/3)) (log (exp (* -1/3 (pow im 3)))) (log (exp -1/3)) (log (log (exp (* -1/3 (pow im 3))))) (exp (log (exp (* -1/3 (pow im 3))))) (* (cbrt (log (exp (* -1/3 (pow im 3))))) (cbrt (log (exp (* -1/3 (pow im 3)))))) (cbrt (log (exp (* -1/3 (pow im 3))))) (* (* (log (exp (* -1/3 (pow im 3)))) (log (exp (* -1/3 (pow im 3))))) (log (exp (* -1/3 (pow im 3))))) (sqrt (log (exp (* -1/3 (pow im 3))))) (sqrt (log (exp (* -1/3 (pow im 3))))) (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (log (pow im 3))) (log (* -1/3 (pow im 3))) (exp (* -1/3 (pow im 3))) (* (* (* -1/3 -1/3) -1/3) (* (* (pow im 3) (pow im 3)) (pow im 3))) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im (/ 3 2))) (* (sqrt -1/3) (pow im (/ 3 2))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 (* im im)) (* -1/3 (* (cbrt (pow im 3)) (cbrt (pow im 3)))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 im) (* -1/3 (sqrt (pow im 3))) (* -1/3 1) (* -1/3 (pow im (/ 3 2))) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* -1/3 (pow im 3)) (* (* 0.5 (sin re)) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (+ (+ (log 0.5) (log (sin re))) (log (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (+ (log (* 0.5 (sin re))) (log (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (log (* (* 0.5 (sin re)) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (exp (* (* 0.5 (sin re)) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (cbrt (* (* 0.5 (sin re)) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (sin re)) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* (* (* 0.5 (sin re)) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (sin re)) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (sin re)) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (sin re)) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (sin re)) (log (exp (* -1/3 (pow im 3))))) (* (* 0.5 (sin re)) (- (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (log (* (cbrt (exp (* -1/3 (pow im 3)))) (cbrt (exp (* -1/3 (pow im 3))))))) (* (* 0.5 (sin re)) (- (log (cbrt (exp (* -1/3 (pow im 3))))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (log (sqrt (exp (* -1/3 (pow im 3)))))) (* (* 0.5 (sin re)) (- (log (sqrt (exp (* -1/3 (pow im 3))))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (log 1)) (* (* 0.5 (sin re)) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (log (exp (* -1/3 (pow im 3))))) (* (* 0.5 (sin re)) (- (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (log (exp (* -1/3 (pow im 3)))) (* 0.5 (sin re))) (* (- (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) (* (log (* (cbrt (exp (* -1/3 (pow im 3)))) (cbrt (exp (* -1/3 (pow im 3)))))) (* 0.5 (sin re))) (* (- (log (cbrt (exp (* -1/3 (pow im 3))))) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) (* (log (sqrt (exp (* -1/3 (pow im 3))))) (* 0.5 (sin re))) (* (- (log (sqrt (exp (* -1/3 (pow im 3))))) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) (* (log 1) (* 0.5 (sin re))) (* (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) (* (log (exp (* -1/3 (pow im 3)))) (* 0.5 (sin re))) (* (- (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (* 0.5 (sin re)) (sqrt (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (sin re)) 1) (* (* 0.5 (sin re)) (+ (sqrt (log (exp (* -1/3 (pow im 3))))) (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (sin re)) 1) (* (* 0.5 (sin re)) 1) (* (sin re) (- (log (exp (* -1/3 (pow im 3)))) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (sin re)) (- (pow (log (exp (* -1/3 (pow im 3)))) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (* (* 0.5 (sin re)) (- (* (log (exp (* -1/3 (pow im 3)))) (log (exp (* -1/3 (pow im 3))))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (log (pow im 5))) (log (* 1/60 (pow im 5))) (exp (* 1/60 (pow im 5))) (* (* (* 1/60 1/60) 1/60) (* (* (pow im 5) (pow im 5)) (pow im 5))) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (* (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (pow im (/ 5 2))) (* (sqrt 1/60) (pow im (/ 5 2))) (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* 1/60 (pow (sqrt im) 5)) (* 1/60 (pow 1 5)) (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 1/60 (sqrt (pow im 5))) (* 1/60 1) (* 1/60 (pow im (/ 5 2))) (* (cbrt 1/60) (pow im 5)) (* (sqrt 1/60) (pow im 5)) (* 1/60 (pow im 5)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1.0 (* re im)) (- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) 115.900 * * [simplify]: iteration 0 : 196 enodes (cost 1674 ) 115.944 * * [simplify]: iteration 1 : 478 enodes (cost 1478 ) 116.098 * * [simplify]: iteration 2 : 1775 enodes (cost 1310 ) 116.577 * * [simplify]: iteration done : 5000 enodes (cost 1310 ) 116.578 * [simplify]: Simplified to: (* 2 (log (cbrt (exp (* -1/3 (pow im 3)))))) (log (cbrt (exp (* -1/3 (pow im 3))))) (log (sqrt (exp (* -1/3 (pow im 3))))) (log (sqrt (exp (* -1/3 (pow im 3))))) 0 (* (pow im 3) -1/3) -1/3 (* (pow im 3) -1/3) -1/3 (log (* (pow im 3) -1/3)) (exp (* (pow im 3) -1/3)) (* (cbrt (* (pow im 3) -1/3)) (cbrt (* (pow im 3) -1/3))) (cbrt (* (pow im 3) -1/3)) (pow (* (pow im 3) -1/3) 3) (sqrt (* (pow im 3) -1/3)) (sqrt (* (pow im 3) -1/3)) (log (* (pow im 3) -1/3)) (log (* (pow im 3) -1/3)) (log (* (pow im 3) -1/3)) (log (* (pow im 3) -1/3)) (exp (* (pow im 3) -1/3)) (pow (* (pow im 3) -1/3) 3) (* (cbrt (* (pow im 3) -1/3)) (cbrt (* (pow im 3) -1/3))) (cbrt (* (pow im 3) -1/3)) (pow (* (pow im 3) -1/3) 3) (sqrt (* (pow im 3) -1/3)) (sqrt (* (pow im 3) -1/3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im 3/2)) (* (sqrt -1/3) (pow im 3/2)) (* -1/3 (* im im)) (* -1/3 (pow (sqrt im) 3)) -1/3 (* -1/3 (* im im)) (* -1/3 (* im im)) (* -1/3 (* im im)) (* -1/3 (pow (sqrt im) 3)) -1/3 (* -1/3 im) (* -1/3 (sqrt (pow im 3))) -1/3 (* -1/3 (pow im 3/2)) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* (pow im 3) -1/3) (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) (log (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re)))) (log (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re)))) (log (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re)))) (pow (exp (* 0.5 (sin re))) (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im)))) (pow (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) 3) (pow (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) 3) (* (cbrt (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re)))) (cbrt (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))))) (cbrt (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re)))) (pow (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) 3) (sqrt (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re)))) (sqrt (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re)))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (+ (* (pow im 5) -1/60) (* -2 im)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* 2 (log (cbrt (exp (* -1/3 (pow im 3))))))) (* (- (log (cbrt (exp (* -1/3 (pow im 3))))) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) (* (log (sqrt (exp (* -1/3 (pow im 3))))) (* 0.5 (sin re))) (* (- (log (sqrt (exp (* -1/3 (pow im 3))))) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) 0 (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (+ (* (pow im 5) -1/60) (* -2 im)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (+ (* (pow im 5) -1/60) (* -2 im)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* 2 (log (cbrt (exp (* -1/3 (pow im 3))))))) (* (- (log (cbrt (exp (* -1/3 (pow im 3))))) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) (* (log (sqrt (exp (* -1/3 (pow im 3))))) (* 0.5 (sin re))) (* (- (log (sqrt (exp (* -1/3 (pow im 3))))) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) 0 (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (+ (* (pow im 5) -1/60) (* -2 im)) (* 0.5 (sin re))) (* (* (* 0.5 (sin re)) (cbrt (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (sqrt (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* 0.5 (sin re))) (* 0.5 (sin re)) (* (* (sin re) 0.5) (+ (sqrt (* -1/3 (pow im 3))) (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (* 0.5 (sin re)) (* 0.5 (sin re)) (* (sin re) (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (- (pow (* (pow im 3) -1/3) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (- (* 1/9 (pow im 6)) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (exp (* 1/60 (pow im 5))) (pow (* 1/60 (pow im 5)) 3) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (pow (* 1/60 (pow im 5)) 3) (sqrt (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (pow im 5/2)) (* (sqrt 1/60) (pow im 5/2)) (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* 1/60 (pow (sqrt im) 5)) 1/60 (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 1/60 (sqrt (pow im 5))) 1/60 (* 1/60 (pow im 5/2)) (* (cbrt 1/60) (pow im 5)) (* (sqrt 1/60) (pow im 5)) (* 1/60 (pow im 5)) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* -1.0 (* re im)) (- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) 116.579 * * * [progress]: adding candidates to table 116.966 * [progress]: [Phase 3 of 3] Extracting. 116.966 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # #) 116.972 * * * [regime-changes]: Trying 4 branch expressions: ((sin re) (* 0.5 (sin re)) im re) 116.972 * * * * [regimes]: Trying to branch on (sin re) from (# # # # # # # # # # # #) 117.033 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# # # # # # # # # # # #) 117.091 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# # # # # # # #) 117.133 * * * * [regimes]: Trying to branch on im from (# # # # # # # # # # # #) 117.186 * * * * [regimes]: Trying to branch on re from (# # # # # # # # # # # #) 117.240 * * * [regime]: Found split indices: #