14.679 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.500 * * * [progress]: [2/2] Setting up program. 0.504 * [progress]: [Phase 2 of 3] Improving. 0.504 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) 0.555 * * [simplify]: iteration 0 : 4868 enodes (cost 11 ) 0.555 * * [simplify]: iteration 1 : 4868 enodes (cost 11 ) 0.555 * [simplify]: Simplified to: (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) 0.565 * * [progress]: iteration 1 / 4 0.565 * * * [progress]: picking best candidate 0.568 * * * * [pick]: Picked # 0.569 * * * [progress]: localizing error 0.579 * * * [progress]: generating rewritten candidates 0.579 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.585 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.597 * * * [progress]: generating series expansions 0.597 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.597 * [approximate]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in (im) around 0 0.597 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.597 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.597 * [taylor]: Taking taylor expansion of (neg im) in im 0.597 * [taylor]: Taking taylor expansion of im in im 0.597 * [taylor]: Taking taylor expansion of (exp im) in im 0.597 * [taylor]: Taking taylor expansion of im in im 0.597 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.597 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.597 * [taylor]: Taking taylor expansion of (neg im) in im 0.597 * [taylor]: Taking taylor expansion of im in im 0.597 * [taylor]: Taking taylor expansion of (exp im) in im 0.597 * [taylor]: Taking taylor expansion of im in im 0.600 * [approximate]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 0.600 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.600 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.600 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.600 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.600 * [taylor]: Taking taylor expansion of im in im 0.600 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.600 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.600 * [taylor]: Taking taylor expansion of im in im 0.601 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.601 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.601 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.601 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.601 * [taylor]: Taking taylor expansion of im in im 0.601 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.601 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.601 * [taylor]: Taking taylor expansion of im in im 0.601 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0 0.601 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.601 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.601 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.601 * [taylor]: Taking taylor expansion of im in im 0.601 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.601 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.601 * [taylor]: Taking taylor expansion of -1 in im 0.601 * [taylor]: Taking taylor expansion of im in im 0.601 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.601 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.601 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.601 * [taylor]: Taking taylor expansion of im in im 0.601 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.602 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.602 * [taylor]: Taking taylor expansion of -1 in im 0.602 * [taylor]: Taking taylor expansion of im in im 0.602 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.602 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) in (re im) around 0 0.602 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) in im 0.602 * [taylor]: Taking taylor expansion of 0.5 in im 0.602 * [taylor]: Taking taylor expansion of (* (- (exp (neg im)) (exp im)) (sin re)) in im 0.602 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.602 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.602 * [taylor]: Taking taylor expansion of (neg im) in im 0.602 * [taylor]: Taking taylor expansion of im in im 0.602 * [taylor]: Taking taylor expansion of (exp im) in im 0.602 * [taylor]: Taking taylor expansion of im in im 0.602 * [taylor]: Taking taylor expansion of (sin re) in im 0.602 * [taylor]: Taking taylor expansion of re in im 0.602 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) in re 0.602 * [taylor]: Taking taylor expansion of 0.5 in re 0.602 * [taylor]: Taking taylor expansion of (* (- (exp (neg im)) (exp im)) (sin re)) in re 0.602 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in re 0.602 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.602 * [taylor]: Taking taylor expansion of (neg im) in re 0.602 * [taylor]: Taking taylor expansion of im in re 0.602 * [taylor]: Taking taylor expansion of (exp im) in re 0.602 * [taylor]: Taking taylor expansion of im in re 0.603 * [taylor]: Taking taylor expansion of (sin re) in re 0.603 * [taylor]: Taking taylor expansion of re in re 0.603 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) in re 0.603 * [taylor]: Taking taylor expansion of 0.5 in re 0.603 * [taylor]: Taking taylor expansion of (* (- (exp (neg im)) (exp im)) (sin re)) in re 0.603 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in re 0.603 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.603 * [taylor]: Taking taylor expansion of (neg im) in re 0.603 * [taylor]: Taking taylor expansion of im in re 0.603 * [taylor]: Taking taylor expansion of (exp im) in re 0.603 * [taylor]: Taking taylor expansion of im in re 0.603 * [taylor]: Taking taylor expansion of (sin re) in re 0.603 * [taylor]: Taking taylor expansion of re in re 0.603 * [taylor]: Taking taylor expansion of 0 in im 0.603 * [taylor]: Taking taylor expansion of (- (* 0.5 (exp (neg im))) (* 0.5 (exp im))) in im 0.603 * [taylor]: Taking taylor expansion of (* 0.5 (exp (neg im))) in im 0.603 * [taylor]: Taking taylor expansion of 0.5 in im 0.603 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.603 * [taylor]: Taking taylor expansion of (neg im) in im 0.603 * [taylor]: Taking taylor expansion of im in im 0.603 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.603 * [taylor]: Taking taylor expansion of 0.5 in im 0.603 * [taylor]: Taking taylor expansion of (exp im) in im 0.603 * [taylor]: Taking taylor expansion of im in im 0.604 * [taylor]: Taking taylor expansion of 0 in im 0.605 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (neg im)))) in im 0.605 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 0.606 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.606 * [taylor]: Taking taylor expansion of (exp im) in im 0.606 * [taylor]: Taking taylor expansion of im in im 0.606 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (neg im))) in im 0.606 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.606 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.606 * [taylor]: Taking taylor expansion of (neg im) in im 0.606 * [taylor]: Taking taylor expansion of im in im 0.607 * [taylor]: Taking taylor expansion of 0 in im 0.607 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in (re im) around 0 0.607 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im 0.607 * [taylor]: Taking taylor expansion of 0.5 in im 0.607 * [taylor]: Taking taylor expansion of (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im 0.607 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.607 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.607 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.607 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.607 * [taylor]: Taking taylor expansion of im in im 0.608 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.608 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.608 * [taylor]: Taking taylor expansion of im in im 0.608 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.608 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.608 * [taylor]: Taking taylor expansion of re in im 0.608 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re 0.608 * [taylor]: Taking taylor expansion of 0.5 in re 0.608 * [taylor]: Taking taylor expansion of (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re 0.608 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.608 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.608 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.608 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.608 * [taylor]: Taking taylor expansion of im in re 0.608 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.608 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.608 * [taylor]: Taking taylor expansion of im in re 0.608 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.608 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.608 * [taylor]: Taking taylor expansion of re in re 0.608 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re 0.608 * [taylor]: Taking taylor expansion of 0.5 in re 0.608 * [taylor]: Taking taylor expansion of (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re 0.608 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.608 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.608 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.608 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.608 * [taylor]: Taking taylor expansion of im in re 0.608 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.608 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.608 * [taylor]: Taking taylor expansion of im in re 0.608 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.608 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.608 * [taylor]: Taking taylor expansion of re in re 0.609 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im 0.609 * [taylor]: Taking taylor expansion of 0.5 in im 0.609 * [taylor]: Taking taylor expansion of (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im 0.609 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.609 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.609 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.609 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.609 * [taylor]: Taking taylor expansion of im in im 0.609 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.609 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.609 * [taylor]: Taking taylor expansion of im in im 0.609 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.609 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.609 * [taylor]: Taking taylor expansion of re in im 0.610 * [taylor]: Taking taylor expansion of 0 in im 0.611 * [taylor]: Taking taylor expansion of 0 in im 0.613 * [taylor]: Taking taylor expansion of 0 in im 0.613 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in (re im) around 0 0.613 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 0.613 * [taylor]: Taking taylor expansion of 0.5 in im 0.613 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 0.613 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.613 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.613 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.613 * [taylor]: Taking taylor expansion of im in im 0.613 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.613 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.613 * [taylor]: Taking taylor expansion of -1 in im 0.613 * [taylor]: Taking taylor expansion of im in im 0.613 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.613 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.613 * [taylor]: Taking taylor expansion of -1 in im 0.613 * [taylor]: Taking taylor expansion of re in im 0.613 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re 0.613 * [taylor]: Taking taylor expansion of 0.5 in re 0.613 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re 0.613 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 0.613 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.613 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.613 * [taylor]: Taking taylor expansion of im in re 0.614 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.614 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.614 * [taylor]: Taking taylor expansion of -1 in re 0.614 * [taylor]: Taking taylor expansion of im in re 0.614 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.614 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.614 * [taylor]: Taking taylor expansion of -1 in re 0.614 * [taylor]: Taking taylor expansion of re in re 0.614 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re 0.614 * [taylor]: Taking taylor expansion of 0.5 in re 0.614 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re 0.614 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 0.614 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.614 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.614 * [taylor]: Taking taylor expansion of im in re 0.614 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.614 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.614 * [taylor]: Taking taylor expansion of -1 in re 0.614 * [taylor]: Taking taylor expansion of im in re 0.614 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.614 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.614 * [taylor]: Taking taylor expansion of -1 in re 0.614 * [taylor]: Taking taylor expansion of re in re 0.614 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 0.614 * [taylor]: Taking taylor expansion of 0.5 in im 0.614 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 0.614 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.614 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.614 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.615 * [taylor]: Taking taylor expansion of im in im 0.615 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.615 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.615 * [taylor]: Taking taylor expansion of -1 in im 0.615 * [taylor]: Taking taylor expansion of im in im 0.615 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.615 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.615 * [taylor]: Taking taylor expansion of -1 in im 0.615 * [taylor]: Taking taylor expansion of re in im 0.616 * [taylor]: Taking taylor expansion of 0 in im 0.617 * [taylor]: Taking taylor expansion of 0 in im 0.618 * [taylor]: Taking taylor expansion of 0 in im 0.618 * * * [progress]: simplifying candidates 0.619 * [simplify]: Simplifying using # : (/ (exp (exp (neg im))) (exp (exp im))) (log (- (exp (neg im)) (exp im))) (exp (- (exp (neg im)) (exp im))) (* (cbrt (- (exp (neg im)) (exp im))) (cbrt (- (exp (neg im)) (exp im)))) (cbrt (- (exp (neg im)) (exp im))) (* (* (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im))) (- (exp (neg im)) (exp im))) (sqrt (- (exp (neg im)) (exp im))) (sqrt (- (exp (neg im)) (exp im))) (- (pow (exp (neg im)) 3) (pow (exp im) 3)) (+ (* (exp (neg im)) (exp (neg im))) (+ (* (exp im) (exp im)) (* (exp (neg im)) (exp im)))) (neg (exp im)) (- (* (exp (neg im)) (exp (neg im))) (* (exp im) (exp im))) (+ (exp (neg im)) (exp im)) (+ (sqrt (exp (neg im))) (sqrt (exp im))) (- (sqrt (exp (neg im))) (sqrt (exp im))) (- (exp (neg im)) (exp im)) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) (+ (+ (log 0.5) (log (sin re))) (log (- (exp (neg im)) (exp im)))) (+ (log (* 0.5 (sin re))) (log (- (exp (neg im)) (exp im)))) (log (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (exp (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im))) (- (exp (neg im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im))) (- (exp (neg im)) (exp im)))) (* (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (* (* 0.5 (sin re)) (exp (neg im))) (* (* 0.5 (sin re)) (neg (exp im))) (* (exp (neg im)) (* 0.5 (sin re))) (* (neg (exp im)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (- (exp (neg im)) (exp im))) (cbrt (- (exp (neg im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (- (exp (neg im)) (exp im)))) (* (* 0.5 (sin re)) 1) (* (* 0.5 (sin re)) (+ (sqrt (exp (neg im))) (sqrt (exp im)))) (* (* 0.5 (sin re)) 1) (* (sin re) (- (exp (neg im)) (exp im))) (* (* 0.5 (sin re)) (- (pow (exp (neg im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (- (* (exp (neg im)) (exp (neg im))) (* (exp im) (exp im)))) (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (exp (neg im)) (exp im)) (- (exp (* -1 im)) (exp im)) (* -1.0 (* re im)) (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) (* 0.5 (* (sin re) (- (exp (* -1 im)) (exp im)))) 0.657 * * [simplify]: iteration 0 : 5022 enodes (cost 469 ) 0.660 * [simplify]: Simplified to: (exp (- (exp (neg im)) (exp im))) (log (- (exp (neg im)) (exp im))) (exp (- (exp (neg im)) (exp im))) (* (cbrt (- (exp (neg im)) (exp im))) (cbrt (- (exp (neg im)) (exp im)))) (cbrt (- (exp (neg im)) (exp im))) (pow (- (exp (neg im)) (exp im)) 3) (sqrt (- (exp (neg im)) (exp im))) (sqrt (- (exp (neg im)) (exp im))) (- (pow (exp im) -3) (pow (exp im) 3)) (+ (pow (exp im) -2) (+ (pow (exp im) 2) 1)) (neg (exp im)) (- (pow (exp im) -2) (pow (exp im) 2)) (+ (exp (neg im)) (exp im)) (+ (sqrt (exp (neg im))) (sqrt (exp im))) (- (sqrt (exp (neg im))) (sqrt (exp im))) (- (exp (neg im)) (exp im)) (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))) (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))) (log (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re)))) (log (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re)))) (log (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re)))) (pow (exp (- (exp (neg im)) (exp im))) (* 0.5 (sin re))) (pow (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))) 3) (pow (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))) 3) (* (cbrt (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re)))) (cbrt (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))))) (cbrt (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re)))) (pow (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))) 3) (sqrt (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re)))) (sqrt (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re)))) (* 0.5 (/ (sin re) (exp im))) (* (exp im) (* 0.5 (neg (sin re)))) (* 0.5 (/ (sin re) (exp im))) (* (exp im) (* 0.5 (neg (sin re)))) (* (cbrt (- (exp (neg im)) (exp im))) (* (cbrt (- (exp (neg im)) (exp im))) (* 0.5 (sin re)))) (* (sqrt (- (exp (neg im)) (exp im))) (* 0.5 (sin re))) (* 0.5 (sin re)) (* (+ (sqrt (exp (neg im))) (sqrt (exp im))) (* 0.5 (sin re))) (* 0.5 (sin re)) (* (- (exp (neg im)) (exp im)) (sin re)) (* (- (pow (exp im) -3) (pow (exp im) 3)) (* 0.5 (sin re))) (* (- (pow (exp im) -2) (pow (exp im) 2)) (* 0.5 (sin re))) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im)) (* im (* re -1.0)) (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))) (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))) 0.660 * * * [progress]: adding candidates to table 0.735 * * [progress]: iteration 2 / 4 0.735 * * * [progress]: picking best candidate 0.740 * * * * [pick]: Picked # 0.740 * * * [progress]: localizing error 0.756 * * * [progress]: generating rewritten candidates 0.756 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 0.762 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.773 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 0.778 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 0.786 * * * [progress]: generating series expansions 0.786 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 0.786 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 0.786 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 0.786 * [taylor]: Taking taylor expansion of -1/3 in im 0.786 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.786 * [taylor]: Taking taylor expansion of im in im 0.786 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 0.786 * [taylor]: Taking taylor expansion of -1/3 in im 0.786 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.786 * [taylor]: Taking taylor expansion of im in im 0.787 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 0.787 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 0.787 * [taylor]: Taking taylor expansion of -1/3 in im 0.787 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.787 * [taylor]: Taking taylor expansion of im in im 0.787 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 0.787 * [taylor]: Taking taylor expansion of -1/3 in im 0.787 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.787 * [taylor]: Taking taylor expansion of im in im 0.789 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 0.789 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 0.789 * [taylor]: Taking taylor expansion of 1/3 in im 0.789 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.789 * [taylor]: Taking taylor expansion of im in im 0.789 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 0.789 * [taylor]: Taking taylor expansion of 1/3 in im 0.789 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.789 * [taylor]: Taking taylor expansion of im in im 0.790 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.790 * [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 0.790 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in im 0.790 * [taylor]: Taking taylor expansion of -0.5 in im 0.790 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in im 0.790 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 0.790 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.790 * [taylor]: Taking taylor expansion of 1/3 in im 0.790 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.790 * [taylor]: Taking taylor expansion of im in im 0.790 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 0.790 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.790 * [taylor]: Taking taylor expansion of 1/60 in im 0.790 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.790 * [taylor]: Taking taylor expansion of im in im 0.790 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.790 * [taylor]: Taking taylor expansion of 2 in im 0.790 * [taylor]: Taking taylor expansion of im in im 0.790 * [taylor]: Taking taylor expansion of (sin re) in im 0.790 * [taylor]: Taking taylor expansion of re in im 0.791 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in re 0.791 * [taylor]: Taking taylor expansion of -0.5 in re 0.791 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in re 0.791 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 0.791 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 0.791 * [taylor]: Taking taylor expansion of 1/3 in re 0.791 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.791 * [taylor]: Taking taylor expansion of im in re 0.791 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 0.791 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 0.791 * [taylor]: Taking taylor expansion of 1/60 in re 0.791 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.791 * [taylor]: Taking taylor expansion of im in re 0.791 * [taylor]: Taking taylor expansion of (* 2 im) in re 0.791 * [taylor]: Taking taylor expansion of 2 in re 0.791 * [taylor]: Taking taylor expansion of im in re 0.791 * [taylor]: Taking taylor expansion of (sin re) in re 0.791 * [taylor]: Taking taylor expansion of re in re 0.791 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in re 0.791 * [taylor]: Taking taylor expansion of -0.5 in re 0.791 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in re 0.791 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 0.791 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 0.791 * [taylor]: Taking taylor expansion of 1/3 in re 0.791 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.791 * [taylor]: Taking taylor expansion of im in re 0.791 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 0.791 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 0.791 * [taylor]: Taking taylor expansion of 1/60 in re 0.791 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.791 * [taylor]: Taking taylor expansion of im in re 0.791 * [taylor]: Taking taylor expansion of (* 2 im) in re 0.791 * [taylor]: Taking taylor expansion of 2 in re 0.791 * [taylor]: Taking taylor expansion of im in re 0.791 * [taylor]: Taking taylor expansion of (sin re) in re 0.791 * [taylor]: Taking taylor expansion of re in re 0.792 * [taylor]: Taking taylor expansion of 0 in im 0.793 * [taylor]: Taking taylor expansion of (neg (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)))) in im 0.793 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im))) in im 0.793 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 0.793 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 0.793 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.793 * [taylor]: Taking taylor expansion of im in im 0.793 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in im 0.793 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 0.793 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 0.793 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.793 * [taylor]: Taking taylor expansion of im in im 0.793 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 0.793 * [taylor]: Taking taylor expansion of 1.0 in im 0.793 * [taylor]: Taking taylor expansion of im in im 0.794 * [taylor]: Taking taylor expansion of 0 in im 0.796 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (pow im 3)) (+ (* 0.001388888888888889 (pow im 5)) (* 0.16666666666666666 im))) in im 0.796 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (pow im 3)) in im 0.796 * [taylor]: Taking taylor expansion of 0.027777777777777776 in im 0.796 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.796 * [taylor]: Taking taylor expansion of im in im 0.796 * [taylor]: Taking taylor expansion of (+ (* 0.001388888888888889 (pow im 5)) (* 0.16666666666666666 im)) in im 0.796 * [taylor]: Taking taylor expansion of (* 0.001388888888888889 (pow im 5)) in im 0.796 * [taylor]: Taking taylor expansion of 0.001388888888888889 in im 0.796 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.796 * [taylor]: Taking taylor expansion of im in im 0.796 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 im) in im 0.796 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 0.796 * [taylor]: Taking taylor expansion of im in im 0.798 * [taylor]: Taking taylor expansion of 0 in im 0.798 * [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 0.798 * [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 0.798 * [taylor]: Taking taylor expansion of -0.5 in im 0.798 * [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 0.798 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.798 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.798 * [taylor]: Taking taylor expansion of re in im 0.799 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.799 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.799 * [taylor]: Taking taylor expansion of 2 in im 0.799 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.799 * [taylor]: Taking taylor expansion of im in im 0.799 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.799 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.799 * [taylor]: Taking taylor expansion of 1/3 in im 0.799 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.799 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.799 * [taylor]: Taking taylor expansion of im in im 0.799 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.799 * [taylor]: Taking taylor expansion of 1/60 in im 0.799 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.799 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.799 * [taylor]: Taking taylor expansion of im in im 0.799 * [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 0.799 * [taylor]: Taking taylor expansion of -0.5 in re 0.799 * [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 0.799 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.799 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.799 * [taylor]: Taking taylor expansion of re in re 0.799 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 0.799 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.799 * [taylor]: Taking taylor expansion of 2 in re 0.799 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.799 * [taylor]: Taking taylor expansion of im in re 0.799 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.799 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.799 * [taylor]: Taking taylor expansion of 1/3 in re 0.799 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.799 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.799 * [taylor]: Taking taylor expansion of im in re 0.799 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.799 * [taylor]: Taking taylor expansion of 1/60 in re 0.799 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.799 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.799 * [taylor]: Taking taylor expansion of im in re 0.800 * [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 0.800 * [taylor]: Taking taylor expansion of -0.5 in re 0.800 * [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 0.800 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.800 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.800 * [taylor]: Taking taylor expansion of re in re 0.800 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 0.800 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.800 * [taylor]: Taking taylor expansion of 2 in re 0.800 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.800 * [taylor]: Taking taylor expansion of im in re 0.800 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.800 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.800 * [taylor]: Taking taylor expansion of 1/3 in re 0.800 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.800 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.800 * [taylor]: Taking taylor expansion of im in re 0.800 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.800 * [taylor]: Taking taylor expansion of 1/60 in re 0.800 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.800 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.800 * [taylor]: Taking taylor expansion of im in re 0.801 * [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 0.801 * [taylor]: Taking taylor expansion of -0.5 in im 0.801 * [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 0.801 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.801 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.801 * [taylor]: Taking taylor expansion of re in im 0.801 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.802 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.802 * [taylor]: Taking taylor expansion of 2 in im 0.802 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.802 * [taylor]: Taking taylor expansion of im in im 0.802 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.802 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.802 * [taylor]: Taking taylor expansion of 1/3 in im 0.802 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.802 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.802 * [taylor]: Taking taylor expansion of im in im 0.802 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.802 * [taylor]: Taking taylor expansion of 1/60 in im 0.802 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.802 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.802 * [taylor]: Taking taylor expansion of im in im 0.803 * [taylor]: Taking taylor expansion of 0 in im 0.805 * [taylor]: Taking taylor expansion of 0 in im 0.807 * [taylor]: Taking taylor expansion of 0 in im 0.810 * [taylor]: Taking taylor expansion of 0 in im 0.812 * [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 0.812 * [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 0.812 * [taylor]: Taking taylor expansion of 0.5 in im 0.812 * [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 0.812 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.812 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.812 * [taylor]: Taking taylor expansion of 2 in im 0.812 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.812 * [taylor]: Taking taylor expansion of im in im 0.812 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.812 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.812 * [taylor]: Taking taylor expansion of 1/3 in im 0.812 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.813 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.813 * [taylor]: Taking taylor expansion of im in im 0.813 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.813 * [taylor]: Taking taylor expansion of 1/60 in im 0.813 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.813 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.813 * [taylor]: Taking taylor expansion of im in im 0.813 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.813 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.813 * [taylor]: Taking taylor expansion of -1 in im 0.813 * [taylor]: Taking taylor expansion of re in im 0.813 * [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 0.813 * [taylor]: Taking taylor expansion of 0.5 in re 0.813 * [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 0.813 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 0.813 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.813 * [taylor]: Taking taylor expansion of 2 in re 0.813 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.813 * [taylor]: Taking taylor expansion of im in re 0.813 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.813 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.813 * [taylor]: Taking taylor expansion of 1/3 in re 0.813 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.813 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.813 * [taylor]: Taking taylor expansion of im in re 0.813 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.813 * [taylor]: Taking taylor expansion of 1/60 in re 0.813 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.813 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.813 * [taylor]: Taking taylor expansion of im in re 0.813 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.813 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.814 * [taylor]: Taking taylor expansion of -1 in re 0.814 * [taylor]: Taking taylor expansion of re in re 0.814 * [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 0.814 * [taylor]: Taking taylor expansion of 0.5 in re 0.814 * [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 0.814 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 0.814 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.814 * [taylor]: Taking taylor expansion of 2 in re 0.814 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.814 * [taylor]: Taking taylor expansion of im in re 0.814 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.814 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.814 * [taylor]: Taking taylor expansion of 1/3 in re 0.814 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.814 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.814 * [taylor]: Taking taylor expansion of im in re 0.814 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.814 * [taylor]: Taking taylor expansion of 1/60 in re 0.814 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.814 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.814 * [taylor]: Taking taylor expansion of im in re 0.814 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.814 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.814 * [taylor]: Taking taylor expansion of -1 in re 0.814 * [taylor]: Taking taylor expansion of re in re 0.815 * [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 0.815 * [taylor]: Taking taylor expansion of 0.5 in im 0.815 * [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 0.815 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.815 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.815 * [taylor]: Taking taylor expansion of 2 in im 0.815 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.815 * [taylor]: Taking taylor expansion of im in im 0.815 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.815 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.815 * [taylor]: Taking taylor expansion of 1/3 in im 0.815 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.816 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.816 * [taylor]: Taking taylor expansion of im in im 0.816 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.816 * [taylor]: Taking taylor expansion of 1/60 in im 0.816 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.816 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.816 * [taylor]: Taking taylor expansion of im in im 0.816 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.816 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.816 * [taylor]: Taking taylor expansion of -1 in im 0.816 * [taylor]: Taking taylor expansion of re in im 0.817 * [taylor]: Taking taylor expansion of 0 in im 0.819 * [taylor]: Taking taylor expansion of 0 in im 0.821 * [taylor]: Taking taylor expansion of 0 in im 0.824 * [taylor]: Taking taylor expansion of 0 in im 0.826 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 0.826 * [approximate]: Taking taylor expansion of (* -1/60 (pow im 5)) in (im) around 0 0.826 * [taylor]: Taking taylor expansion of (* -1/60 (pow im 5)) in im 0.826 * [taylor]: Taking taylor expansion of -1/60 in im 0.826 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.826 * [taylor]: Taking taylor expansion of im in im 0.826 * [taylor]: Taking taylor expansion of (* -1/60 (pow im 5)) in im 0.828 * [taylor]: Taking taylor expansion of -1/60 in im 0.828 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.828 * [taylor]: Taking taylor expansion of im in im 0.829 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 0.829 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 0.829 * [taylor]: Taking taylor expansion of -1/60 in im 0.830 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.830 * [taylor]: Taking taylor expansion of im in im 0.830 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 0.830 * [taylor]: Taking taylor expansion of -1/60 in im 0.830 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.830 * [taylor]: Taking taylor expansion of im in im 0.831 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 0.831 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 0.831 * [taylor]: Taking taylor expansion of 1/60 in im 0.831 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.831 * [taylor]: Taking taylor expansion of im in im 0.831 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 0.831 * [taylor]: Taking taylor expansion of 1/60 in im 0.831 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.831 * [taylor]: Taking taylor expansion of im in im 0.833 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 0.833 * [approximate]: Taking taylor expansion of (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in (im) around 0 0.833 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in im 0.833 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 0.833 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.833 * [taylor]: Taking taylor expansion of 1/3 in im 0.833 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.833 * [taylor]: Taking taylor expansion of im in im 0.833 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.833 * [taylor]: Taking taylor expansion of 1/60 in im 0.833 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.833 * [taylor]: Taking taylor expansion of im in im 0.833 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in im 0.833 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 0.833 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.833 * [taylor]: Taking taylor expansion of 1/3 in im 0.833 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.833 * [taylor]: Taking taylor expansion of im in im 0.833 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.833 * [taylor]: Taking taylor expansion of 1/60 in im 0.833 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.833 * [taylor]: Taking taylor expansion of im in im 0.836 * [approximate]: Taking taylor expansion of (neg (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0 0.836 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.836 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.836 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.836 * [taylor]: Taking taylor expansion of 1/3 in im 0.836 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.836 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.836 * [taylor]: Taking taylor expansion of im in im 0.836 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.836 * [taylor]: Taking taylor expansion of 1/60 in im 0.836 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.836 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.836 * [taylor]: Taking taylor expansion of im in im 0.836 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.836 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.836 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.836 * [taylor]: Taking taylor expansion of 1/3 in im 0.836 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.836 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.837 * [taylor]: Taking taylor expansion of im in im 0.837 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.837 * [taylor]: Taking taylor expansion of 1/60 in im 0.837 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.837 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.837 * [taylor]: Taking taylor expansion of im in im 0.841 * [approximate]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in (im) around 0 0.841 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.841 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.841 * [taylor]: Taking taylor expansion of 1/3 in im 0.841 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.841 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.841 * [taylor]: Taking taylor expansion of im in im 0.841 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.841 * [taylor]: Taking taylor expansion of 1/60 in im 0.841 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.841 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.841 * [taylor]: Taking taylor expansion of im in im 0.841 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.841 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.841 * [taylor]: Taking taylor expansion of 1/3 in im 0.841 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.841 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.841 * [taylor]: Taking taylor expansion of im in im 0.841 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.841 * [taylor]: Taking taylor expansion of 1/60 in im 0.841 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.841 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.841 * [taylor]: Taking taylor expansion of im in im 0.845 * * * [progress]: simplifying candidates 0.846 * [simplify]: Simplifying using # : (+ (* (log im) 3) (log -1/3)) (+ (* (log im) 3) (log -1/3)) (+ (log (pow im 3)) (log -1/3)) (log (* (pow im 3) -1/3)) (exp (* (pow im 3) -1/3)) (* (* (* (pow im 3) (pow im 3)) (pow im 3)) (* (* -1/3 -1/3) -1/3)) (* (cbrt (* (pow im 3) -1/3)) (cbrt (* (pow im 3) -1/3))) (cbrt (* (pow im 3) -1/3)) (* (* (* (pow im 3) -1/3) (* (pow im 3) -1/3)) (* (pow im 3) -1/3)) (sqrt (* (pow im 3) -1/3)) (sqrt (* (pow im 3) -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)) (sqrt -1/3)) (* (pow im 3) (* (cbrt -1/3) (cbrt -1/3))) (* (pow im 3) (sqrt -1/3)) (* (pow im 3) 1) (* (pow (cbrt im) 3) -1/3) (* (pow (sqrt im) 3) -1/3) (* (pow im 3) -1/3) (* im -1/3) (* (cbrt (pow im 3)) -1/3) (* (pow (cbrt im) 3) -1/3) (* (pow (sqrt im) 3) -1/3) (* (pow im 3) -1/3) (* (* im im) -1/3) (* (sqrt (pow im 3)) -1/3) (* (pow im 3) -1/3) (* (pow im (/ 3 2)) -1/3) (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (+ (+ (log 0.5) (log (sin re))) (log (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (+ (log (* 0.5 (sin re))) (log (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (log (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (exp (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (cbrt (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (cbrt (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))) (cbrt (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (* (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (sqrt (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (sqrt (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (* 0.5 (sin re)) (* im -2)) (* (* 0.5 (sin re)) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (* (* im -2) (* 0.5 (sin re))) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))) (* (* 0.5 (sin re)) (sqrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (* 0.5 (sin re)) 1) (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (* (* 0.5 (sin re)) (+ (pow (* im -2) 3) (pow (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) 3))) (* (* 0.5 (sin re)) (- (* (* im -2) (* im -2)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (+ (* (log im) 5) (log -1/60)) (+ (* (log im) 5) (log -1/60)) (+ (log (pow im 5)) (log -1/60)) (log (* (pow im 5) -1/60)) (exp (* (pow im 5) -1/60)) (* (* (* (pow im 5) (pow im 5)) (pow im 5)) (* (* -1/60 -1/60) -1/60)) (* (cbrt (* (pow im 5) -1/60)) (cbrt (* (pow im 5) -1/60))) (cbrt (* (pow im 5) -1/60)) (* (* (* (pow im 5) -1/60) (* (pow im 5) -1/60)) (* (pow im 5) -1/60)) (sqrt (* (pow im 5) -1/60)) (sqrt (* (pow im 5) -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)) (sqrt -1/60)) (* (pow im 5) (* (cbrt -1/60) (cbrt -1/60))) (* (pow im 5) (sqrt -1/60)) (* (pow im 5) 1) (* (pow (cbrt im) 5) -1/60) (* (pow (sqrt im) 5) -1/60) (* (pow im 5) -1/60) (* (cbrt (pow im 5)) -1/60) (* (sqrt (pow im 5)) -1/60) (* (pow im 5) -1/60) (* (pow im (/ 5 2)) -1/60) (* (exp (* (pow im 3) -1/3)) (exp (* (pow im 5) -1/60))) (log (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (exp (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (* (cbrt (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (cbrt (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (cbrt (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (* (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (sqrt (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (sqrt (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (+ (pow (* (pow im 3) -1/3) 3) (pow (* (pow im 5) -1/60) 3)) (+ (* (* (pow im 3) -1/3) (* (pow im 3) -1/3)) (- (* (* (pow im 5) -1/60) (* (pow im 5) -1/60)) (* (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (- (* (* (pow im 3) -1/3) (* (pow im 3) -1/3)) (* (* (pow im 5) -1/60) (* (pow im 5) -1/60))) (- (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1.0 (* re im)) (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (neg (+ (* 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)) (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) 0.874 * * [simplify]: iteration 0 : 6066 enodes (cost 1143 ) 0.879 * [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))) (pow (exp (pow im 3)) -1/3) (* (pow (pow im 3) 3) -1/27) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* (pow (pow im 3) 3) -1/27) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/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)) (* (pow im 3) (* (cbrt -1/3) (cbrt -1/3))) (* (pow im 3) (sqrt -1/3)) (pow im 3) (* im -1/3) (* im (* (sqrt im) -1/3)) (* -1/3 (pow im 3)) (* im -1/3) (* im -1/3) (* im -1/3) (* im (* (sqrt im) -1/3)) (* -1/3 (pow im 3)) (* im (* im -1/3)) (* -1/3 (sqrt (pow im 3))) (* -1/3 (pow im 3)) (* -1/3 (pow im 3/2)) (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))) (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))) (log (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (log (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (log (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (pow (pow (exp 0.5) (sin re)) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))) (pow (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))) 3) (pow (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))) 3) (* (cbrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (cbrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))))) (cbrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (pow (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))) 3) (sqrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (sqrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (* im (* (* 0.5 (sin re)) -2)) (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* im (* (* 0.5 (sin re)) -2)) (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* 0.5 (* (sin re) (* (cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))))) (* 0.5 (* (sin re) (sqrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (* 0.5 (sin re)) (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))) (* 0.5 (* (sin re) (+ (* (pow im 3) -8) (pow (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) 3)))) (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (pow (exp (pow im 5)) -1/60) (* (pow (pow im 5) 3) -1/216000) (* (cbrt (* (pow im 5) -1/60)) (cbrt (* (pow im 5) -1/60))) (cbrt (* (pow im 5) -1/60)) (* (pow (pow im 5) 3) -1/216000) (sqrt (* (pow im 5) -1/60)) (sqrt (* (pow im 5) -1/60)) (* (pow (sqrt im) 5) (sqrt -1/60)) (* (pow (sqrt im) 5) (sqrt -1/60)) (* (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)) (* (pow im 5) (* (cbrt -1/60) (cbrt -1/60))) (* (pow im 5) (sqrt -1/60)) (pow im 5) (* -1/60 (pow (cbrt im) 5)) (* -1/60 (pow (sqrt im) 5)) (* (pow im 5) -1/60) (* -1/60 (cbrt (pow im 5))) (* -1/60 (sqrt (pow im 5))) (* (pow im 5) -1/60) (* -1/60 (pow im 5/2)) (exp (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (log (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (exp (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (* (cbrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (cbrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (cbrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (pow (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) 3) (sqrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (sqrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (+ (* (pow (pow im 3) 3) -1/27) (* (pow (pow im 5) 3) -1/216000)) (+ (* (pow im 6) 1/9) (+ (* (pow im 10) 1/3600) (* (pow im 3) (* -1/180 (pow im 5))))) (+ (* (pow im 6) 1/9) (* (pow im 10) -1/3600)) (+ (* -1/3 (pow im 3)) (* (pow im 5) 1/60)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* im (* re -1.0)) (- (* (pow im 3) (* (sin re) (neg 0.16666666666666666))) (+ (* im (* (sin re) 1.0)) (* (sin re) (* (pow im 5) 0.008333333333333333)))) (- (* (pow im 3) (* (sin re) (neg 0.16666666666666666))) (+ (* im (* (sin re) 1.0)) (* (sin re) (* (pow im 5) 0.008333333333333333)))) (* (pow im 5) -1/60) (* (pow im 5) -1/60) (* (pow im 5) -1/60) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) 0.880 * * * [progress]: adding candidates to table 1.130 * * [progress]: iteration 3 / 4 1.130 * * * [progress]: picking best candidate 1.168 * * * * [pick]: Picked # 1.168 * * * [progress]: localizing error 1.190 * * * [progress]: generating rewritten candidates 1.190 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 1.197 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.203 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.212 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2) 1.220 * * * [progress]: generating series expansions 1.220 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 1.220 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 1.220 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 1.220 * [taylor]: Taking taylor expansion of -1/3 in im 1.221 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.221 * [taylor]: Taking taylor expansion of im in im 1.221 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 1.221 * [taylor]: Taking taylor expansion of -1/3 in im 1.221 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.221 * [taylor]: Taking taylor expansion of im in im 1.222 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 1.222 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 1.222 * [taylor]: Taking taylor expansion of -1/3 in im 1.222 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.222 * [taylor]: Taking taylor expansion of im in im 1.222 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 1.222 * [taylor]: Taking taylor expansion of -1/3 in im 1.222 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.222 * [taylor]: Taking taylor expansion of im in im 1.223 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 1.223 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 1.223 * [taylor]: Taking taylor expansion of 1/3 in im 1.223 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.223 * [taylor]: Taking taylor expansion of im in im 1.223 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 1.223 * [taylor]: Taking taylor expansion of 1/3 in im 1.223 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.223 * [taylor]: Taking taylor expansion of im in im 1.224 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.224 * [approximate]: Taking taylor expansion of (* -1.0 (* (sin re) im)) in (im re) around 0 1.224 * [taylor]: Taking taylor expansion of (* -1.0 (* (sin re) im)) in re 1.224 * [taylor]: Taking taylor expansion of -1.0 in re 1.224 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 1.224 * [taylor]: Taking taylor expansion of (sin re) in re 1.224 * [taylor]: Taking taylor expansion of re in re 1.224 * [taylor]: Taking taylor expansion of im in re 1.224 * [taylor]: Taking taylor expansion of (* -1.0 (* (sin re) im)) in im 1.224 * [taylor]: Taking taylor expansion of -1.0 in im 1.225 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 1.225 * [taylor]: Taking taylor expansion of (sin re) in im 1.225 * [taylor]: Taking taylor expansion of re in im 1.225 * [taylor]: Taking taylor expansion of im in im 1.225 * [taylor]: Taking taylor expansion of (* -1.0 (* (sin re) im)) in im 1.225 * [taylor]: Taking taylor expansion of -1.0 in im 1.225 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 1.225 * [taylor]: Taking taylor expansion of (sin re) in im 1.225 * [taylor]: Taking taylor expansion of re in im 1.225 * [taylor]: Taking taylor expansion of im in im 1.225 * [taylor]: Taking taylor expansion of 0 in re 1.225 * [taylor]: Taking taylor expansion of (neg (* 1.0 (sin re))) in re 1.225 * [taylor]: Taking taylor expansion of (* 1.0 (sin re)) in re 1.225 * [taylor]: Taking taylor expansion of 1.0 in re 1.225 * [taylor]: Taking taylor expansion of (sin re) in re 1.225 * [taylor]: Taking taylor expansion of re in re 1.226 * [taylor]: Taking taylor expansion of 0 in re 1.226 * [taylor]: Taking taylor expansion of 0 in re 1.227 * [taylor]: Taking taylor expansion of 0 in re 1.227 * [approximate]: Taking taylor expansion of (* -1.0 (/ (sin (/ 1 re)) im)) in (im re) around 0 1.227 * [taylor]: Taking taylor expansion of (* -1.0 (/ (sin (/ 1 re)) im)) in re 1.227 * [taylor]: Taking taylor expansion of -1.0 in re 1.227 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 1.227 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.227 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.227 * [taylor]: Taking taylor expansion of re in re 1.227 * [taylor]: Taking taylor expansion of im in re 1.227 * [taylor]: Taking taylor expansion of (* -1.0 (/ (sin (/ 1 re)) im)) in im 1.227 * [taylor]: Taking taylor expansion of -1.0 in im 1.227 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 1.227 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.227 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.227 * [taylor]: Taking taylor expansion of re in im 1.227 * [taylor]: Taking taylor expansion of im in im 1.228 * [taylor]: Taking taylor expansion of (* -1.0 (/ (sin (/ 1 re)) im)) in im 1.228 * [taylor]: Taking taylor expansion of -1.0 in im 1.228 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 1.228 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.228 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.228 * [taylor]: Taking taylor expansion of re in im 1.228 * [taylor]: Taking taylor expansion of im in im 1.228 * [taylor]: Taking taylor expansion of (* -1.0 (sin (/ 1 re))) in re 1.228 * [taylor]: Taking taylor expansion of -1.0 in re 1.228 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.228 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.228 * [taylor]: Taking taylor expansion of re in re 1.228 * [taylor]: Taking taylor expansion of 0 in re 1.229 * [taylor]: Taking taylor expansion of 0 in re 1.229 * [taylor]: Taking taylor expansion of 0 in re 1.230 * [approximate]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 re)) im)) in (im re) around 0 1.230 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 re)) im)) in re 1.230 * [taylor]: Taking taylor expansion of 1.0 in re 1.230 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 1.230 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.230 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.230 * [taylor]: Taking taylor expansion of -1 in re 1.230 * [taylor]: Taking taylor expansion of re in re 1.230 * [taylor]: Taking taylor expansion of im in re 1.230 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 re)) im)) in im 1.230 * [taylor]: Taking taylor expansion of 1.0 in im 1.230 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 1.230 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.230 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.230 * [taylor]: Taking taylor expansion of -1 in im 1.230 * [taylor]: Taking taylor expansion of re in im 1.230 * [taylor]: Taking taylor expansion of im in im 1.230 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 re)) im)) in im 1.230 * [taylor]: Taking taylor expansion of 1.0 in im 1.230 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 1.230 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.230 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.230 * [taylor]: Taking taylor expansion of -1 in im 1.230 * [taylor]: Taking taylor expansion of re in im 1.230 * [taylor]: Taking taylor expansion of im in im 1.231 * [taylor]: Taking taylor expansion of (* 1.0 (sin (/ -1 re))) in re 1.231 * [taylor]: Taking taylor expansion of 1.0 in re 1.231 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.231 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.231 * [taylor]: Taking taylor expansion of -1 in re 1.231 * [taylor]: Taking taylor expansion of re in re 1.231 * [taylor]: Taking taylor expansion of 0 in re 1.232 * [taylor]: Taking taylor expansion of 0 in re 1.232 * [taylor]: Taking taylor expansion of 0 in re 1.232 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1.233 * [approximate]: Taking taylor expansion of (* -1 (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (sin re))) in (re im) around 0 1.233 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (sin re))) in im 1.233 * [taylor]: Taking taylor expansion of -1 in im 1.233 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (sin re)) in im 1.233 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 1.233 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.233 * [taylor]: Taking taylor expansion of 1/3 in im 1.233 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.233 * [taylor]: Taking taylor expansion of im in im 1.233 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.233 * [taylor]: Taking taylor expansion of 1/60 in im 1.233 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.233 * [taylor]: Taking taylor expansion of im in im 1.233 * [taylor]: Taking taylor expansion of (sin re) in im 1.233 * [taylor]: Taking taylor expansion of re in im 1.233 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (sin re))) in re 1.233 * [taylor]: Taking taylor expansion of -1 in re 1.233 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (sin re)) in re 1.233 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in re 1.233 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 1.233 * [taylor]: Taking taylor expansion of 1/3 in re 1.233 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.233 * [taylor]: Taking taylor expansion of im in re 1.233 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 1.233 * [taylor]: Taking taylor expansion of 1/60 in re 1.233 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.233 * [taylor]: Taking taylor expansion of im in re 1.233 * [taylor]: Taking taylor expansion of (sin re) in re 1.233 * [taylor]: Taking taylor expansion of re in re 1.233 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (sin re))) in re 1.233 * [taylor]: Taking taylor expansion of -1 in re 1.233 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (sin re)) in re 1.233 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in re 1.233 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 1.233 * [taylor]: Taking taylor expansion of 1/3 in re 1.233 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.233 * [taylor]: Taking taylor expansion of im in re 1.233 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 1.233 * [taylor]: Taking taylor expansion of 1/60 in re 1.233 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.233 * [taylor]: Taking taylor expansion of im in re 1.233 * [taylor]: Taking taylor expansion of (sin re) in re 1.233 * [taylor]: Taking taylor expansion of re in re 1.234 * [taylor]: Taking taylor expansion of 0 in im 1.235 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in im 1.235 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 1.235 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.235 * [taylor]: Taking taylor expansion of 1/3 in im 1.235 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.235 * [taylor]: Taking taylor expansion of im in im 1.235 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.235 * [taylor]: Taking taylor expansion of 1/60 in im 1.235 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.235 * [taylor]: Taking taylor expansion of im in im 1.236 * [taylor]: Taking taylor expansion of 0 in im 1.237 * [taylor]: Taking taylor expansion of (+ (* 1/18 (pow im 3)) (* 1/360 (pow im 5))) in im 1.237 * [taylor]: Taking taylor expansion of (* 1/18 (pow im 3)) in im 1.238 * [taylor]: Taking taylor expansion of 1/18 in im 1.238 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.238 * [taylor]: Taking taylor expansion of im in im 1.238 * [taylor]: Taking taylor expansion of (* 1/360 (pow im 5)) in im 1.238 * [taylor]: Taking taylor expansion of 1/360 in im 1.238 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.238 * [taylor]: Taking taylor expansion of im in im 1.238 * [approximate]: Taking taylor expansion of (* -1 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in (re im) around 0 1.238 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 1.238 * [taylor]: Taking taylor expansion of -1 in im 1.238 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 1.238 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.239 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.239 * [taylor]: Taking taylor expansion of re in im 1.239 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.239 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.239 * [taylor]: Taking taylor expansion of 1/3 in im 1.239 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.239 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.239 * [taylor]: Taking taylor expansion of im in im 1.239 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.239 * [taylor]: Taking taylor expansion of 1/60 in im 1.239 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.239 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.239 * [taylor]: Taking taylor expansion of im in im 1.239 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 1.239 * [taylor]: Taking taylor expansion of -1 in re 1.239 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 1.239 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.239 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.239 * [taylor]: Taking taylor expansion of re in re 1.239 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 1.239 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 1.239 * [taylor]: Taking taylor expansion of 1/3 in re 1.239 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 1.239 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.239 * [taylor]: Taking taylor expansion of im in re 1.239 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 1.239 * [taylor]: Taking taylor expansion of 1/60 in re 1.239 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 1.239 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.239 * [taylor]: Taking taylor expansion of im in re 1.239 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 1.240 * [taylor]: Taking taylor expansion of -1 in re 1.240 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 1.240 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.240 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.240 * [taylor]: Taking taylor expansion of re in re 1.240 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 1.240 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 1.240 * [taylor]: Taking taylor expansion of 1/3 in re 1.240 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 1.240 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.240 * [taylor]: Taking taylor expansion of im in re 1.240 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 1.240 * [taylor]: Taking taylor expansion of 1/60 in re 1.240 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 1.240 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.240 * [taylor]: Taking taylor expansion of im in re 1.241 * [taylor]: Taking taylor expansion of (* -1 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 1.241 * [taylor]: Taking taylor expansion of -1 in im 1.241 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 1.241 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.241 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.241 * [taylor]: Taking taylor expansion of re in im 1.241 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.241 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.241 * [taylor]: Taking taylor expansion of 1/3 in im 1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.241 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.241 * [taylor]: Taking taylor expansion of im in im 1.241 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.241 * [taylor]: Taking taylor expansion of 1/60 in im 1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.241 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.241 * [taylor]: Taking taylor expansion of im in im 1.242 * [taylor]: Taking taylor expansion of 0 in im 1.244 * [taylor]: Taking taylor expansion of 0 in im 1.246 * [taylor]: Taking taylor expansion of 0 in im 1.248 * [taylor]: Taking taylor expansion of 0 in im 1.251 * [taylor]: Taking taylor expansion of 0 in im 1.255 * [taylor]: Taking taylor expansion of 0 in im 1.259 * [taylor]: Taking taylor expansion of 0 in im 1.259 * [approximate]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in (re im) around 0 1.259 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 1.259 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.259 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.259 * [taylor]: Taking taylor expansion of -1 in im 1.259 * [taylor]: Taking taylor expansion of re in im 1.259 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.260 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.260 * [taylor]: Taking taylor expansion of 1/3 in im 1.260 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.260 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.260 * [taylor]: Taking taylor expansion of im in im 1.260 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.260 * [taylor]: Taking taylor expansion of 1/60 in im 1.260 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.260 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.260 * [taylor]: Taking taylor expansion of im in im 1.260 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 1.260 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.260 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.260 * [taylor]: Taking taylor expansion of -1 in re 1.260 * [taylor]: Taking taylor expansion of re in re 1.260 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 1.260 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 1.260 * [taylor]: Taking taylor expansion of 1/3 in re 1.260 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 1.260 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.260 * [taylor]: Taking taylor expansion of im in re 1.260 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 1.260 * [taylor]: Taking taylor expansion of 1/60 in re 1.260 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 1.260 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.260 * [taylor]: Taking taylor expansion of im in re 1.260 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 1.260 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.260 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.260 * [taylor]: Taking taylor expansion of -1 in re 1.260 * [taylor]: Taking taylor expansion of re in re 1.261 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 1.261 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 1.261 * [taylor]: Taking taylor expansion of 1/3 in re 1.261 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 1.261 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.261 * [taylor]: Taking taylor expansion of im in re 1.261 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 1.261 * [taylor]: Taking taylor expansion of 1/60 in re 1.261 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 1.261 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.261 * [taylor]: Taking taylor expansion of im in re 1.261 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 1.261 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.261 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.261 * [taylor]: Taking taylor expansion of -1 in im 1.261 * [taylor]: Taking taylor expansion of re in im 1.262 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.262 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.262 * [taylor]: Taking taylor expansion of 1/3 in im 1.262 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.262 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.262 * [taylor]: Taking taylor expansion of im in im 1.262 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.262 * [taylor]: Taking taylor expansion of 1/60 in im 1.262 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.262 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.262 * [taylor]: Taking taylor expansion of im in im 1.263 * [taylor]: Taking taylor expansion of 0 in im 1.264 * [taylor]: Taking taylor expansion of 0 in im 1.269 * [taylor]: Taking taylor expansion of 0 in im 1.272 * [taylor]: Taking taylor expansion of 0 in im 1.274 * [taylor]: Taking taylor expansion of 0 in im 1.278 * [taylor]: Taking taylor expansion of 0 in im 1.281 * [taylor]: Taking taylor expansion of 0 in im 1.282 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2) 1.282 * [approximate]: Taking taylor expansion of (* -1/60 (pow im 5)) in (im) around 0 1.282 * [taylor]: Taking taylor expansion of (* -1/60 (pow im 5)) in im 1.282 * [taylor]: Taking taylor expansion of -1/60 in im 1.282 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.282 * [taylor]: Taking taylor expansion of im in im 1.282 * [taylor]: Taking taylor expansion of (* -1/60 (pow im 5)) in im 1.282 * [taylor]: Taking taylor expansion of -1/60 in im 1.282 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.282 * [taylor]: Taking taylor expansion of im in im 1.283 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 1.283 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 1.283 * [taylor]: Taking taylor expansion of -1/60 in im 1.283 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.283 * [taylor]: Taking taylor expansion of im in im 1.284 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 1.284 * [taylor]: Taking taylor expansion of -1/60 in im 1.284 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.284 * [taylor]: Taking taylor expansion of im in im 1.285 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 1.285 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 1.285 * [taylor]: Taking taylor expansion of 1/60 in im 1.285 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.285 * [taylor]: Taking taylor expansion of im in im 1.285 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 1.285 * [taylor]: Taking taylor expansion of 1/60 in im 1.285 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.285 * [taylor]: Taking taylor expansion of im in im 1.287 * * * [progress]: simplifying candidates 1.288 * [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)) (* im (* (* 0.5 (sin re)) -2)) (* im (* (* 0.5 (sin re)) -2)) (* im (* (* 0.5 (sin re)) -2)) (+ (log im) (+ (+ (log 0.5) (log (sin re))) (log -2))) (+ (log im) (+ (log (* 0.5 (sin re))) (log -2))) (+ (log im) (log (* (* 0.5 (sin re)) -2))) (log (* im (* (* 0.5 (sin re)) -2))) (exp (* im (* (* 0.5 (sin re)) -2))) (* (* (* im im) im) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* -2 -2) -2))) (* (* (* im im) im) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* -2 -2) -2))) (* (* (* im im) im) (* (* (* (* 0.5 (sin re)) -2) (* (* 0.5 (sin re)) -2)) (* (* 0.5 (sin re)) -2))) (* (cbrt (* im (* (* 0.5 (sin re)) -2))) (cbrt (* im (* (* 0.5 (sin re)) -2)))) (cbrt (* im (* (* 0.5 (sin re)) -2))) (* (* (* im (* (* 0.5 (sin re)) -2)) (* im (* (* 0.5 (sin re)) -2))) (* im (* (* 0.5 (sin re)) -2))) (sqrt (* im (* (* 0.5 (sin re)) -2))) (sqrt (* im (* (* 0.5 (sin re)) -2))) (* im (* 0.5 (sin re))) (* (cbrt im) (* (* 0.5 (sin re)) -2)) (* (sqrt im) (* (* 0.5 (sin re)) -2)) (* im (* (* 0.5 (sin re)) -2)) (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (+ (log (sin re)) (log (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (log (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (exp (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* (* (* (sin re) (sin re)) (sin re)) (* (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* (cbrt (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (cbrt (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))))) (cbrt (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* (* (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (sqrt (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (sqrt (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* (sqrt (sin re)) (sqrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* (sqrt (sin re)) (sqrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* (sin re) (* -1/3 (pow im 3))) (* (sin re) (* (pow im 5) -1/60)) (* (* -1/3 (pow im 3)) (sin re)) (* (* (pow im 5) -1/60) (sin re)) (* (sin re) (* (cbrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (cbrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))))) (* (sin re) (sqrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* (sin re) 1) (* (cbrt (sin re)) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (* (sqrt (sin re)) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (* (sin re) (+ (pow (* -1/3 (pow im 3)) 3) (pow (* (pow im 5) -1/60) 3))) (* (sin re) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (* (pow im 5) -1/60) (* (pow im 5) -1/60)))) (+ (* (log im) 5) (log -1/60)) (+ (* (log im) 5) (log -1/60)) (+ (log (pow im 5)) (log -1/60)) (log (* (pow im 5) -1/60)) (exp (* (pow im 5) -1/60)) (* (* (* (pow im 5) (pow im 5)) (pow im 5)) (* (* -1/60 -1/60) -1/60)) (* (cbrt (* (pow im 5) -1/60)) (cbrt (* (pow im 5) -1/60))) (cbrt (* (pow im 5) -1/60)) (* (* (* (pow im 5) -1/60) (* (pow im 5) -1/60)) (* (pow im 5) -1/60)) (sqrt (* (pow im 5) -1/60)) (sqrt (* (pow im 5) -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)) (sqrt -1/60)) (* (pow im 5) (* (cbrt -1/60) (cbrt -1/60))) (* (pow im 5) (sqrt -1/60)) (* (pow im 5) 1) (* (pow (cbrt im) 5) -1/60) (* (pow (sqrt im) 5) -1/60) (* (pow im 5) -1/60) (* (cbrt (pow im 5)) -1/60) (* (sqrt (pow im 5)) -1/60) (* (pow im 5) -1/60) (* (pow im (/ 5 2)) -1/60) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1.0 (* re im)) (* -1.0 (* (sin re) im)) (* -1.0 (* (sin re) im)) (- (* 1/18 (* (pow re 3) (pow im 3))) (+ (* 1/3 (* re (pow im 3))) (* 1/60 (* re (pow im 5))))) (neg (+ (* 1/3 (* (sin re) (pow im 3))) (* 1/60 (* (sin re) (pow im 5))))) (neg (+ (* 1/3 (* (sin re) (pow im 3))) (* 1/60 (* (sin re) (pow im 5))))) (* -1/60 (pow im 5)) (* -1/60 (pow im 5)) (* -1/60 (pow im 5)) 1.339 * * [simplify]: iteration 0 : 4930 enodes (cost 996 ) 1.339 * * [simplify]: iteration 1 : 4930 enodes (cost 996 ) 1.344 * [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))) (pow (exp -1/3) (pow im 3)) (* -1/27 (pow im 9)) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* -1/27 (pow im 9)) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/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 (* im (sqrt im))) -1/3 (* -1/3 (* im im)) (* -1/3 (* im im)) (* -1/3 (* im im)) (* -1/3 (* im (sqrt im))) -1/3 (* -1/3 im) (* -1/3 (sqrt (pow im 3))) -1/3 (* -1/3 (pow im 3/2)) (* (pow im 3) (cbrt -1/3)) (* (pow im 3) (sqrt -1/3)) (* -1/3 (pow im 3)) (* im (* 0.5 (* (sin re) -2))) (* im (* 0.5 (* (sin re) -2))) (* im (* 0.5 (* (sin re) -2))) (log (* im (* 0.5 (* (sin re) -2)))) (log (* im (* 0.5 (* (sin re) -2)))) (log (* im (* 0.5 (* (sin re) -2)))) (log (* im (* 0.5 (* (sin re) -2)))) (pow (exp im) (* 0.5 (* (sin re) -2))) (* -8 (pow (* im (* 0.5 (sin re))) 3)) (* -8 (pow (* im (* 0.5 (sin re))) 3)) (* -8 (pow (* im (* 0.5 (sin re))) 3)) (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt (* im (* 0.5 (* (sin re) -2)))) (* -8 (pow (* im (* 0.5 (sin re))) 3)) (sqrt (* im (* 0.5 (* (sin re) -2)))) (sqrt (* im (* 0.5 (* (sin re) -2)))) (* im (* 0.5 (sin re))) (* (cbrt im) (* 0.5 (* (sin re) -2))) (* (sqrt im) (* 0.5 (* (sin re) -2))) (* im (* 0.5 (* (sin re) -2))) (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (log (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (log (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (pow (exp (sin re)) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (pow (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) 3) (* (cbrt (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (cbrt (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))))) (cbrt (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (pow (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) 3) (sqrt (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (sqrt (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* (sqrt (sin re)) (sqrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* (sqrt (sin re)) (sqrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* -1/3 (* (pow im 3) (sin re))) (* (sin re) (* (pow im 5) -1/60)) (* -1/3 (* (pow im 3) (sin re))) (* (sin re) (* (pow im 5) -1/60)) (* (sin re) (* (cbrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (cbrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))))) (* (sin re) (sqrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (sin re) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (cbrt (sin re))) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (sqrt (sin re))) (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (* (sin re) (+ (* -1/27 (pow im 9)) (* (pow (pow im 5) 3) -1/216000))) (* (sin re) (+ (* 1/9 (pow im 6)) (* (pow im 10) -1/3600))) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (pow (exp (pow im 5)) -1/60) (* (pow (pow im 5) 3) -1/216000) (* (cbrt (* (pow im 5) -1/60)) (cbrt (* (pow im 5) -1/60))) (cbrt (* (pow im 5) -1/60)) (* (pow (pow im 5) 3) -1/216000) (sqrt (* (pow im 5) -1/60)) (sqrt (* (pow im 5) -1/60)) (* (pow (sqrt im) 5) (sqrt -1/60)) (* (pow (sqrt im) 5) (sqrt -1/60)) (* (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)) (* (pow im 5) (* (cbrt -1/60) (cbrt -1/60))) (* (pow im 5) (sqrt -1/60)) (pow im 5) (* -1/60 (pow (cbrt im) 5)) (* -1/60 (pow (sqrt im) 5)) (* (pow im 5) -1/60) (* -1/60 (cbrt (pow im 5))) (* -1/60 (sqrt (pow im 5))) (* (pow im 5) -1/60) (* -1/60 (pow im 5/2)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* im (* re -1.0)) (* im (* (sin re) -1.0)) (* im (* (sin re) -1.0)) (+ (* (pow im 3) (- (* 1/18 (pow re 3)) (* re 1/3))) (* re (* (pow im 5) -1/60))) (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (* (pow im 5) -1/60) (* (pow im 5) -1/60) (* (pow im 5) -1/60) 1.344 * * * [progress]: adding candidates to table 1.621 * * [progress]: iteration 4 / 4 1.622 * * * [progress]: picking best candidate 1.661 * * * * [pick]: Picked # 1.661 * * * [progress]: localizing error 1.684 * * * [progress]: generating rewritten candidates 1.684 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.690 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.695 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.701 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1.709 * * * [progress]: generating series expansions 1.709 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.709 * [approximate]: Taking taylor expansion of (* (cbrt -1.0) (pow (* (sin re) im) 1/3)) in (im re) around 0 1.710 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (pow (* (sin re) im) 1/3)) in re 1.710 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.710 * [taylor]: Taking taylor expansion of -1.0 in re 1.710 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in re 1.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in re 1.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in re 1.710 * [taylor]: Taking taylor expansion of 1/3 in re 1.710 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in re 1.710 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 1.710 * [taylor]: Taking taylor expansion of (sin re) in re 1.710 * [taylor]: Taking taylor expansion of re in re 1.710 * [taylor]: Taking taylor expansion of im in re 1.710 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (pow (* (sin re) im) 1/3)) in im 1.710 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.710 * [taylor]: Taking taylor expansion of -1.0 in im 1.710 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 1.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 1.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 1.710 * [taylor]: Taking taylor expansion of 1/3 in im 1.711 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 1.711 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 1.711 * [taylor]: Taking taylor expansion of (sin re) in im 1.711 * [taylor]: Taking taylor expansion of re in im 1.711 * [taylor]: Taking taylor expansion of im in im 1.711 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (pow (* (sin re) im) 1/3)) in im 1.711 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.711 * [taylor]: Taking taylor expansion of -1.0 in im 1.711 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 1.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 1.711 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 1.711 * [taylor]: Taking taylor expansion of 1/3 in im 1.711 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 1.711 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 1.711 * [taylor]: Taking taylor expansion of (sin re) in im 1.711 * [taylor]: Taking taylor expansion of re in im 1.711 * [taylor]: Taking taylor expansion of im in im 1.712 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (+ (log (sin re)) (log im))))) in re 1.712 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.712 * [taylor]: Taking taylor expansion of -1.0 in re 1.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin re)) (log im)))) in re 1.712 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin re)) (log im))) in re 1.712 * [taylor]: Taking taylor expansion of 1/3 in re 1.712 * [taylor]: Taking taylor expansion of (+ (log (sin re)) (log im)) in re 1.712 * [taylor]: Taking taylor expansion of (log (sin re)) in re 1.712 * [taylor]: Taking taylor expansion of (sin re) in re 1.712 * [taylor]: Taking taylor expansion of re in re 1.712 * [taylor]: Taking taylor expansion of (log im) in re 1.712 * [taylor]: Taking taylor expansion of im in re 1.713 * [taylor]: Taking taylor expansion of 0 in re 1.715 * [taylor]: Taking taylor expansion of 0 in re 1.718 * [taylor]: Taking taylor expansion of 0 in re 1.721 * [taylor]: Taking taylor expansion of 0 in re 1.722 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in (im re) around 0 1.722 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in re 1.722 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in re 1.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in re 1.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in re 1.722 * [taylor]: Taking taylor expansion of 1/3 in re 1.722 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in re 1.722 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 1.722 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.722 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.722 * [taylor]: Taking taylor expansion of re in re 1.722 * [taylor]: Taking taylor expansion of im in re 1.723 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.723 * [taylor]: Taking taylor expansion of -1.0 in re 1.723 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 1.723 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 1.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 1.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 1.723 * [taylor]: Taking taylor expansion of 1/3 in im 1.723 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 1.723 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 1.723 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.723 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.723 * [taylor]: Taking taylor expansion of re in im 1.723 * [taylor]: Taking taylor expansion of im in im 1.723 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.723 * [taylor]: Taking taylor expansion of -1.0 in im 1.724 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 1.724 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 1.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 1.724 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 1.724 * [taylor]: Taking taylor expansion of 1/3 in im 1.724 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 1.724 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 1.724 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.724 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.724 * [taylor]: Taking taylor expansion of re in im 1.724 * [taylor]: Taking taylor expansion of im in im 1.724 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.724 * [taylor]: Taking taylor expansion of -1.0 in im 1.724 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (- (log (sin (/ 1 re))) (log im))))) in re 1.724 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.724 * [taylor]: Taking taylor expansion of -1.0 in re 1.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 re))) (log im)))) in re 1.725 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 re))) (log im))) in re 1.725 * [taylor]: Taking taylor expansion of 1/3 in re 1.725 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 re))) (log im)) in re 1.725 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 1.725 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.725 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.725 * [taylor]: Taking taylor expansion of re in re 1.725 * [taylor]: Taking taylor expansion of (log im) in re 1.725 * [taylor]: Taking taylor expansion of im in re 1.728 * [taylor]: Taking taylor expansion of 0 in re 1.730 * [taylor]: Taking taylor expansion of 0 in re 1.733 * [taylor]: Taking taylor expansion of 0 in re 1.733 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 re)) im) 1/3) (cbrt 1.0)) in (im re) around 0 1.733 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 re)) im) 1/3) (cbrt 1.0)) in re 1.733 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in re 1.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in re 1.733 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in re 1.733 * [taylor]: Taking taylor expansion of 1/3 in re 1.733 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in re 1.733 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 1.733 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.733 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.733 * [taylor]: Taking taylor expansion of -1 in re 1.733 * [taylor]: Taking taylor expansion of re in re 1.733 * [taylor]: Taking taylor expansion of im in re 1.733 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 1.733 * [taylor]: Taking taylor expansion of 1.0 in re 1.733 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 re)) im) 1/3) (cbrt 1.0)) in im 1.733 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 1.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 1.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 1.734 * [taylor]: Taking taylor expansion of 1/3 in im 1.734 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 1.734 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 1.734 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.734 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.734 * [taylor]: Taking taylor expansion of -1 in im 1.734 * [taylor]: Taking taylor expansion of re in im 1.734 * [taylor]: Taking taylor expansion of im in im 1.734 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 1.734 * [taylor]: Taking taylor expansion of 1.0 in im 1.734 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 re)) im) 1/3) (cbrt 1.0)) in im 1.734 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 1.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 1.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 1.734 * [taylor]: Taking taylor expansion of 1/3 in im 1.734 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 1.734 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 1.734 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.734 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.734 * [taylor]: Taking taylor expansion of -1 in im 1.734 * [taylor]: Taking taylor expansion of re in im 1.734 * [taylor]: Taking taylor expansion of im in im 1.735 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 1.735 * [taylor]: Taking taylor expansion of 1.0 in im 1.735 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (sin (/ -1 re))) (log im)))) (cbrt 1.0)) in re 1.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 re))) (log im)))) in re 1.735 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 re))) (log im))) in re 1.735 * [taylor]: Taking taylor expansion of 1/3 in re 1.735 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 re))) (log im)) in re 1.735 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 1.735 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.735 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.735 * [taylor]: Taking taylor expansion of -1 in re 1.735 * [taylor]: Taking taylor expansion of re in re 1.735 * [taylor]: Taking taylor expansion of (log im) in re 1.735 * [taylor]: Taking taylor expansion of im in re 1.735 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 1.735 * [taylor]: Taking taylor expansion of 1.0 in re 1.736 * [taylor]: Taking taylor expansion of 0 in re 1.738 * [taylor]: Taking taylor expansion of 0 in re 1.740 * [taylor]: Taking taylor expansion of 0 in re 1.740 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.740 * [approximate]: Taking taylor expansion of (* (cbrt -1.0) (pow (* (sin re) im) 1/3)) in (im re) around 0 1.740 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (pow (* (sin re) im) 1/3)) in re 1.740 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.740 * [taylor]: Taking taylor expansion of -1.0 in re 1.741 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in re 1.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in re 1.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in re 1.741 * [taylor]: Taking taylor expansion of 1/3 in re 1.741 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in re 1.741 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 1.741 * [taylor]: Taking taylor expansion of (sin re) in re 1.741 * [taylor]: Taking taylor expansion of re in re 1.741 * [taylor]: Taking taylor expansion of im in re 1.741 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (pow (* (sin re) im) 1/3)) in im 1.741 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.741 * [taylor]: Taking taylor expansion of -1.0 in im 1.741 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 1.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 1.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 1.741 * [taylor]: Taking taylor expansion of 1/3 in im 1.741 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 1.741 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 1.741 * [taylor]: Taking taylor expansion of (sin re) in im 1.741 * [taylor]: Taking taylor expansion of re in im 1.741 * [taylor]: Taking taylor expansion of im in im 1.742 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (pow (* (sin re) im) 1/3)) in im 1.742 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.742 * [taylor]: Taking taylor expansion of -1.0 in im 1.742 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 1.742 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 1.742 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 1.742 * [taylor]: Taking taylor expansion of 1/3 in im 1.742 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 1.742 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 1.742 * [taylor]: Taking taylor expansion of (sin re) in im 1.742 * [taylor]: Taking taylor expansion of re in im 1.742 * [taylor]: Taking taylor expansion of im in im 1.743 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (+ (log (sin re)) (log im))))) in re 1.743 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.743 * [taylor]: Taking taylor expansion of -1.0 in re 1.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin re)) (log im)))) in re 1.743 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin re)) (log im))) in re 1.743 * [taylor]: Taking taylor expansion of 1/3 in re 1.743 * [taylor]: Taking taylor expansion of (+ (log (sin re)) (log im)) in re 1.743 * [taylor]: Taking taylor expansion of (log (sin re)) in re 1.743 * [taylor]: Taking taylor expansion of (sin re) in re 1.743 * [taylor]: Taking taylor expansion of re in re 1.743 * [taylor]: Taking taylor expansion of (log im) in re 1.743 * [taylor]: Taking taylor expansion of im in re 1.744 * [taylor]: Taking taylor expansion of 0 in re 1.746 * [taylor]: Taking taylor expansion of 0 in re 1.748 * [taylor]: Taking taylor expansion of 0 in re 1.752 * [taylor]: Taking taylor expansion of 0 in re 1.753 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in (im re) around 0 1.753 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in re 1.753 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in re 1.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in re 1.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in re 1.753 * [taylor]: Taking taylor expansion of 1/3 in re 1.753 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in re 1.753 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 1.753 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.753 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.753 * [taylor]: Taking taylor expansion of re in re 1.753 * [taylor]: Taking taylor expansion of im in re 1.753 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.753 * [taylor]: Taking taylor expansion of -1.0 in re 1.753 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 1.753 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 1.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 1.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 1.753 * [taylor]: Taking taylor expansion of 1/3 in im 1.753 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 1.753 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 1.753 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.753 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.753 * [taylor]: Taking taylor expansion of re in im 1.753 * [taylor]: Taking taylor expansion of im in im 1.754 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.754 * [taylor]: Taking taylor expansion of -1.0 in im 1.754 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 1.754 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 1.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 1.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 1.754 * [taylor]: Taking taylor expansion of 1/3 in im 1.754 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 1.754 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 1.754 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.754 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.754 * [taylor]: Taking taylor expansion of re in im 1.754 * [taylor]: Taking taylor expansion of im in im 1.754 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.754 * [taylor]: Taking taylor expansion of -1.0 in im 1.755 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (- (log (sin (/ 1 re))) (log im))))) in re 1.755 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.755 * [taylor]: Taking taylor expansion of -1.0 in re 1.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 re))) (log im)))) in re 1.755 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 re))) (log im))) in re 1.755 * [taylor]: Taking taylor expansion of 1/3 in re 1.755 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 re))) (log im)) in re 1.755 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 1.755 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.755 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.755 * [taylor]: Taking taylor expansion of re in re 1.755 * [taylor]: Taking taylor expansion of (log im) in re 1.755 * [taylor]: Taking taylor expansion of im in re 1.756 * [taylor]: Taking taylor expansion of 0 in re 1.758 * [taylor]: Taking taylor expansion of 0 in re 1.760 * [taylor]: Taking taylor expansion of 0 in re 1.761 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 re)) im) 1/3) (cbrt 1.0)) in (im re) around 0 1.761 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 re)) im) 1/3) (cbrt 1.0)) in re 1.761 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in re 1.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in re 1.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in re 1.761 * [taylor]: Taking taylor expansion of 1/3 in re 1.761 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in re 1.761 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 1.761 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.761 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.761 * [taylor]: Taking taylor expansion of -1 in re 1.761 * [taylor]: Taking taylor expansion of re in re 1.761 * [taylor]: Taking taylor expansion of im in re 1.761 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 1.761 * [taylor]: Taking taylor expansion of 1.0 in re 1.761 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 re)) im) 1/3) (cbrt 1.0)) in im 1.761 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 1.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 1.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 1.762 * [taylor]: Taking taylor expansion of 1/3 in im 1.762 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 1.762 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 1.762 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.762 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.762 * [taylor]: Taking taylor expansion of -1 in im 1.762 * [taylor]: Taking taylor expansion of re in im 1.762 * [taylor]: Taking taylor expansion of im in im 1.762 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 1.762 * [taylor]: Taking taylor expansion of 1.0 in im 1.762 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 re)) im) 1/3) (cbrt 1.0)) in im 1.762 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 1.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 1.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 1.762 * [taylor]: Taking taylor expansion of 1/3 in im 1.762 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 1.762 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 1.762 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.762 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.762 * [taylor]: Taking taylor expansion of -1 in im 1.762 * [taylor]: Taking taylor expansion of re in im 1.762 * [taylor]: Taking taylor expansion of im in im 1.763 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 1.763 * [taylor]: Taking taylor expansion of 1.0 in im 1.763 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (sin (/ -1 re))) (log im)))) (cbrt 1.0)) in re 1.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 re))) (log im)))) in re 1.763 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 re))) (log im))) in re 1.763 * [taylor]: Taking taylor expansion of 1/3 in re 1.763 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 re))) (log im)) in re 1.763 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 1.763 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.763 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.763 * [taylor]: Taking taylor expansion of -1 in re 1.763 * [taylor]: Taking taylor expansion of re in re 1.763 * [taylor]: Taking taylor expansion of (log im) in re 1.763 * [taylor]: Taking taylor expansion of im in re 1.763 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 1.763 * [taylor]: Taking taylor expansion of 1.0 in re 1.764 * [taylor]: Taking taylor expansion of 0 in re 1.766 * [taylor]: Taking taylor expansion of 0 in re 1.768 * [taylor]: Taking taylor expansion of 0 in re 1.768 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.768 * [approximate]: Taking taylor expansion of (* (cbrt -1.0) (pow (* (sin re) im) 1/3)) in (im re) around 0 1.768 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (pow (* (sin re) im) 1/3)) in re 1.768 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.768 * [taylor]: Taking taylor expansion of -1.0 in re 1.769 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in re 1.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in re 1.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in re 1.769 * [taylor]: Taking taylor expansion of 1/3 in re 1.769 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in re 1.769 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 1.769 * [taylor]: Taking taylor expansion of (sin re) in re 1.769 * [taylor]: Taking taylor expansion of re in re 1.769 * [taylor]: Taking taylor expansion of im in re 1.769 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (pow (* (sin re) im) 1/3)) in im 1.769 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.769 * [taylor]: Taking taylor expansion of -1.0 in im 1.769 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 1.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 1.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 1.769 * [taylor]: Taking taylor expansion of 1/3 in im 1.769 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 1.769 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 1.769 * [taylor]: Taking taylor expansion of (sin re) in im 1.769 * [taylor]: Taking taylor expansion of re in im 1.769 * [taylor]: Taking taylor expansion of im in im 1.770 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (pow (* (sin re) im) 1/3)) in im 1.770 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.770 * [taylor]: Taking taylor expansion of -1.0 in im 1.770 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 1.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 1.770 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 1.770 * [taylor]: Taking taylor expansion of 1/3 in im 1.770 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 1.770 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 1.770 * [taylor]: Taking taylor expansion of (sin re) in im 1.770 * [taylor]: Taking taylor expansion of re in im 1.770 * [taylor]: Taking taylor expansion of im in im 1.771 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (+ (log (sin re)) (log im))))) in re 1.771 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.771 * [taylor]: Taking taylor expansion of -1.0 in re 1.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin re)) (log im)))) in re 1.771 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin re)) (log im))) in re 1.771 * [taylor]: Taking taylor expansion of 1/3 in re 1.771 * [taylor]: Taking taylor expansion of (+ (log (sin re)) (log im)) in re 1.771 * [taylor]: Taking taylor expansion of (log (sin re)) in re 1.771 * [taylor]: Taking taylor expansion of (sin re) in re 1.771 * [taylor]: Taking taylor expansion of re in re 1.771 * [taylor]: Taking taylor expansion of (log im) in re 1.771 * [taylor]: Taking taylor expansion of im in re 1.772 * [taylor]: Taking taylor expansion of 0 in re 1.774 * [taylor]: Taking taylor expansion of 0 in re 1.776 * [taylor]: Taking taylor expansion of 0 in re 1.780 * [taylor]: Taking taylor expansion of 0 in re 1.781 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in (im re) around 0 1.781 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in re 1.781 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in re 1.781 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in re 1.781 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in re 1.781 * [taylor]: Taking taylor expansion of 1/3 in re 1.781 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in re 1.781 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 1.781 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.781 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.781 * [taylor]: Taking taylor expansion of re in re 1.781 * [taylor]: Taking taylor expansion of im in re 1.781 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.781 * [taylor]: Taking taylor expansion of -1.0 in re 1.781 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 1.781 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 1.781 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 1.781 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 1.781 * [taylor]: Taking taylor expansion of 1/3 in im 1.781 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 1.781 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 1.781 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.781 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.781 * [taylor]: Taking taylor expansion of re in im 1.781 * [taylor]: Taking taylor expansion of im in im 1.782 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.782 * [taylor]: Taking taylor expansion of -1.0 in im 1.782 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 1.782 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 1.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 1.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 1.782 * [taylor]: Taking taylor expansion of 1/3 in im 1.782 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 1.782 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 1.782 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.782 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.782 * [taylor]: Taking taylor expansion of re in im 1.782 * [taylor]: Taking taylor expansion of im in im 1.782 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.782 * [taylor]: Taking taylor expansion of -1.0 in im 1.783 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (- (log (sin (/ 1 re))) (log im))))) in re 1.783 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.783 * [taylor]: Taking taylor expansion of -1.0 in re 1.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 re))) (log im)))) in re 1.783 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 re))) (log im))) in re 1.783 * [taylor]: Taking taylor expansion of 1/3 in re 1.783 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 re))) (log im)) in re 1.783 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 1.783 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.783 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.783 * [taylor]: Taking taylor expansion of re in re 1.783 * [taylor]: Taking taylor expansion of (log im) in re 1.783 * [taylor]: Taking taylor expansion of im in re 1.784 * [taylor]: Taking taylor expansion of 0 in re 1.786 * [taylor]: Taking taylor expansion of 0 in re 1.788 * [taylor]: Taking taylor expansion of 0 in re 1.789 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 re)) im) 1/3) (cbrt 1.0)) in (im re) around 0 1.789 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 re)) im) 1/3) (cbrt 1.0)) in re 1.789 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in re 1.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in re 1.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in re 1.789 * [taylor]: Taking taylor expansion of 1/3 in re 1.789 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in re 1.789 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 1.789 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.789 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.789 * [taylor]: Taking taylor expansion of -1 in re 1.789 * [taylor]: Taking taylor expansion of re in re 1.789 * [taylor]: Taking taylor expansion of im in re 1.789 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 1.789 * [taylor]: Taking taylor expansion of 1.0 in re 1.789 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 re)) im) 1/3) (cbrt 1.0)) in im 1.789 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 1.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 1.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 1.789 * [taylor]: Taking taylor expansion of 1/3 in im 1.789 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 1.789 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 1.789 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.789 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.789 * [taylor]: Taking taylor expansion of -1 in im 1.789 * [taylor]: Taking taylor expansion of re in im 1.789 * [taylor]: Taking taylor expansion of im in im 1.790 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 1.790 * [taylor]: Taking taylor expansion of 1.0 in im 1.790 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 re)) im) 1/3) (cbrt 1.0)) in im 1.790 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 1.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 1.790 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 1.790 * [taylor]: Taking taylor expansion of 1/3 in im 1.790 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 1.790 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 1.790 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.790 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.790 * [taylor]: Taking taylor expansion of -1 in im 1.790 * [taylor]: Taking taylor expansion of re in im 1.790 * [taylor]: Taking taylor expansion of im in im 1.790 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 1.790 * [taylor]: Taking taylor expansion of 1.0 in im 1.791 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (sin (/ -1 re))) (log im)))) (cbrt 1.0)) in re 1.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 re))) (log im)))) in re 1.791 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 re))) (log im))) in re 1.791 * [taylor]: Taking taylor expansion of 1/3 in re 1.791 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 re))) (log im)) in re 1.791 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 1.791 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.791 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.791 * [taylor]: Taking taylor expansion of -1 in re 1.791 * [taylor]: Taking taylor expansion of re in re 1.791 * [taylor]: Taking taylor expansion of (log im) in re 1.791 * [taylor]: Taking taylor expansion of im in re 1.791 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 1.791 * [taylor]: Taking taylor expansion of 1.0 in re 1.792 * [taylor]: Taking taylor expansion of 0 in re 1.794 * [taylor]: Taking taylor expansion of 0 in re 1.796 * [taylor]: Taking taylor expansion of 0 in re 1.796 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1.797 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1.0) 2) (pow (* (pow (sin re) 2) (pow im 2)) 1/3)) in (im re) around 0 1.797 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1.0) 2) (pow (* (pow (sin re) 2) (pow im 2)) 1/3)) in re 1.797 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in re 1.797 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.797 * [taylor]: Taking taylor expansion of -1.0 in re 1.797 * [taylor]: Taking taylor expansion of (pow (* (pow (sin re) 2) (pow im 2)) 1/3) in re 1.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin re) 2) (pow im 2))))) in re 1.797 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin re) 2) (pow im 2)))) in re 1.797 * [taylor]: Taking taylor expansion of 1/3 in re 1.797 * [taylor]: Taking taylor expansion of (log (* (pow (sin re) 2) (pow im 2))) in re 1.797 * [taylor]: Taking taylor expansion of (* (pow (sin re) 2) (pow im 2)) in re 1.797 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in re 1.797 * [taylor]: Taking taylor expansion of (sin re) in re 1.797 * [taylor]: Taking taylor expansion of re in re 1.797 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.797 * [taylor]: Taking taylor expansion of im in re 1.797 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1.0) 2) (pow (* (pow (sin re) 2) (pow im 2)) 1/3)) in im 1.797 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in im 1.797 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.797 * [taylor]: Taking taylor expansion of -1.0 in im 1.798 * [taylor]: Taking taylor expansion of (pow (* (pow (sin re) 2) (pow im 2)) 1/3) in im 1.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin re) 2) (pow im 2))))) in im 1.798 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin re) 2) (pow im 2)))) in im 1.798 * [taylor]: Taking taylor expansion of 1/3 in im 1.798 * [taylor]: Taking taylor expansion of (log (* (pow (sin re) 2) (pow im 2))) in im 1.798 * [taylor]: Taking taylor expansion of (* (pow (sin re) 2) (pow im 2)) in im 1.798 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in im 1.798 * [taylor]: Taking taylor expansion of (sin re) in im 1.798 * [taylor]: Taking taylor expansion of re in im 1.798 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.798 * [taylor]: Taking taylor expansion of im in im 1.798 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1.0) 2) (pow (* (pow (sin re) 2) (pow im 2)) 1/3)) in im 1.798 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in im 1.798 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.798 * [taylor]: Taking taylor expansion of -1.0 in im 1.798 * [taylor]: Taking taylor expansion of (pow (* (pow (sin re) 2) (pow im 2)) 1/3) in im 1.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin re) 2) (pow im 2))))) in im 1.798 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin re) 2) (pow im 2)))) in im 1.799 * [taylor]: Taking taylor expansion of 1/3 in im 1.799 * [taylor]: Taking taylor expansion of (log (* (pow (sin re) 2) (pow im 2))) in im 1.799 * [taylor]: Taking taylor expansion of (* (pow (sin re) 2) (pow im 2)) in im 1.799 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in im 1.799 * [taylor]: Taking taylor expansion of (sin re) in im 1.799 * [taylor]: Taking taylor expansion of re in im 1.799 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.799 * [taylor]: Taking taylor expansion of im in im 1.799 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1.0) 2) (exp (* 1/3 (+ (* 2 (log im)) (log (pow (sin re) 2)))))) in re 1.799 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in re 1.799 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.800 * [taylor]: Taking taylor expansion of -1.0 in re 1.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log im)) (log (pow (sin re) 2))))) in re 1.800 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log im)) (log (pow (sin re) 2)))) in re 1.800 * [taylor]: Taking taylor expansion of 1/3 in re 1.800 * [taylor]: Taking taylor expansion of (+ (* 2 (log im)) (log (pow (sin re) 2))) in re 1.800 * [taylor]: Taking taylor expansion of (* 2 (log im)) in re 1.800 * [taylor]: Taking taylor expansion of 2 in re 1.800 * [taylor]: Taking taylor expansion of (log im) in re 1.800 * [taylor]: Taking taylor expansion of im in re 1.800 * [taylor]: Taking taylor expansion of (log (pow (sin re) 2)) in re 1.800 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in re 1.800 * [taylor]: Taking taylor expansion of (sin re) in re 1.800 * [taylor]: Taking taylor expansion of re in re 1.802 * [taylor]: Taking taylor expansion of 0 in re 1.804 * [taylor]: Taking taylor expansion of 0 in re 1.808 * [taylor]: Taking taylor expansion of 0 in re 1.812 * [taylor]: Taking taylor expansion of 0 in re 1.813 * [approximate]: Taking taylor expansion of (* (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in (im re) around 0 1.813 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in re 1.813 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) in re 1.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))))) in re 1.814 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2)))) in re 1.814 * [taylor]: Taking taylor expansion of 1/3 in re 1.814 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))) in re 1.814 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 re)) 2) (pow im 2)) in re 1.814 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in re 1.814 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.814 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.814 * [taylor]: Taking taylor expansion of re in re 1.814 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.814 * [taylor]: Taking taylor expansion of im in re 1.814 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in re 1.814 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.814 * [taylor]: Taking taylor expansion of -1.0 in re 1.814 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in im 1.814 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) in im 1.814 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))))) in im 1.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2)))) in im 1.815 * [taylor]: Taking taylor expansion of 1/3 in im 1.815 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))) in im 1.815 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 re)) 2) (pow im 2)) in im 1.815 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in im 1.815 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.815 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.815 * [taylor]: Taking taylor expansion of re in im 1.815 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.815 * [taylor]: Taking taylor expansion of im in im 1.815 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in im 1.815 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.815 * [taylor]: Taking taylor expansion of -1.0 in im 1.815 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in im 1.816 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) in im 1.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))))) in im 1.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2)))) in im 1.816 * [taylor]: Taking taylor expansion of 1/3 in im 1.816 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))) in im 1.816 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 re)) 2) (pow im 2)) in im 1.816 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in im 1.816 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.816 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.816 * [taylor]: Taking taylor expansion of re in im 1.816 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.816 * [taylor]: Taking taylor expansion of im in im 1.816 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in im 1.816 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 1.816 * [taylor]: Taking taylor expansion of -1.0 in im 1.817 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1.0) 2) (exp (* 1/3 (- (log (pow (sin (/ 1 re)) 2)) (* 2 (log im)))))) in re 1.817 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in re 1.817 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 1.817 * [taylor]: Taking taylor expansion of -1.0 in re 1.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ 1 re)) 2)) (* 2 (log im))))) in re 1.817 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ 1 re)) 2)) (* 2 (log im)))) in re 1.817 * [taylor]: Taking taylor expansion of 1/3 in re 1.817 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ 1 re)) 2)) (* 2 (log im))) in re 1.817 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 re)) 2)) in re 1.817 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in re 1.817 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.817 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.817 * [taylor]: Taking taylor expansion of re in re 1.817 * [taylor]: Taking taylor expansion of (* 2 (log im)) in re 1.817 * [taylor]: Taking taylor expansion of 2 in re 1.817 * [taylor]: Taking taylor expansion of (log im) in re 1.817 * [taylor]: Taking taylor expansion of im in re 1.819 * [taylor]: Taking taylor expansion of 0 in re 1.824 * [taylor]: Taking taylor expansion of 0 in re 1.827 * [taylor]: Taking taylor expansion of 0 in re 1.828 * [approximate]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3) (pow (cbrt 1.0) 2)) in (im re) around 0 1.828 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3) (pow (cbrt 1.0) 2)) in re 1.828 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3) in re 1.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))))) in re 1.828 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2)))) in re 1.828 * [taylor]: Taking taylor expansion of 1/3 in re 1.828 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))) in re 1.828 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 re)) 2) (pow im 2)) in re 1.828 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in re 1.828 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.828 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.828 * [taylor]: Taking taylor expansion of -1 in re 1.828 * [taylor]: Taking taylor expansion of re in re 1.828 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.828 * [taylor]: Taking taylor expansion of im in re 1.829 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in re 1.829 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 1.829 * [taylor]: Taking taylor expansion of 1.0 in re 1.829 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3) (pow (cbrt 1.0) 2)) in im 1.829 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3) in im 1.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))))) in im 1.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2)))) in im 1.829 * [taylor]: Taking taylor expansion of 1/3 in im 1.829 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))) in im 1.829 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 re)) 2) (pow im 2)) in im 1.829 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in im 1.829 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.829 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.829 * [taylor]: Taking taylor expansion of -1 in im 1.829 * [taylor]: Taking taylor expansion of re in im 1.829 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.829 * [taylor]: Taking taylor expansion of im in im 1.830 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in im 1.830 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 1.830 * [taylor]: Taking taylor expansion of 1.0 in im 1.830 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3) (pow (cbrt 1.0) 2)) in im 1.830 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3) in im 1.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))))) in im 1.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2)))) in im 1.830 * [taylor]: Taking taylor expansion of 1/3 in im 1.830 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))) in im 1.830 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 re)) 2) (pow im 2)) in im 1.830 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in im 1.830 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.830 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.830 * [taylor]: Taking taylor expansion of -1 in im 1.830 * [taylor]: Taking taylor expansion of re in im 1.830 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.830 * [taylor]: Taking taylor expansion of im in im 1.831 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in im 1.831 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 1.831 * [taylor]: Taking taylor expansion of 1.0 in im 1.831 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (pow (sin (/ -1 re)) 2)) (* 2 (log im))))) (pow (cbrt 1.0) 2)) in re 1.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ -1 re)) 2)) (* 2 (log im))))) in re 1.831 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ -1 re)) 2)) (* 2 (log im)))) in re 1.831 * [taylor]: Taking taylor expansion of 1/3 in re 1.831 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ -1 re)) 2)) (* 2 (log im))) in re 1.831 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 re)) 2)) in re 1.831 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in re 1.831 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.831 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.831 * [taylor]: Taking taylor expansion of -1 in re 1.831 * [taylor]: Taking taylor expansion of re in re 1.831 * [taylor]: Taking taylor expansion of (* 2 (log im)) in re 1.831 * [taylor]: Taking taylor expansion of 2 in re 1.831 * [taylor]: Taking taylor expansion of (log im) in re 1.831 * [taylor]: Taking taylor expansion of im in re 1.832 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in re 1.832 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 1.832 * [taylor]: Taking taylor expansion of 1.0 in re 1.833 * [taylor]: Taking taylor expansion of 0 in re 1.836 * [taylor]: Taking taylor expansion of 0 in re 1.839 * [taylor]: Taking taylor expansion of 0 in re 1.839 * * * [progress]: simplifying candidates 1.840 * [simplify]: Simplifying using # : (log (cbrt (* im (* 0.5 (* (sin re) -2))))) (exp (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt im) (cbrt (* 0.5 (* (sin re) -2))) (* (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt (cbrt (* im (* 0.5 (* (sin re) -2)))))) (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (* (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt (* im (* 0.5 (* (sin re) -2))))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (log (cbrt (* im (* 0.5 (* (sin re) -2))))) (exp (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt im) (cbrt (* 0.5 (* (sin re) -2))) (* (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt (cbrt (* im (* 0.5 (* (sin re) -2)))))) (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (* (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt (* im (* 0.5 (* (sin re) -2))))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (log (cbrt (* im (* 0.5 (* (sin re) -2))))) (exp (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt im) (cbrt (* 0.5 (* (sin re) -2))) (* (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt (cbrt (* im (* 0.5 (* (sin re) -2)))))) (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (* (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt (* im (* 0.5 (* (sin re) -2))))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (+ 1/3 1/3) (+ 1 1) (* (* im (* 0.5 (* (sin re) -2))) (* im (* 0.5 (* (sin re) -2)))) (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2))))) (+ 1 1) (+ (log (cbrt (* im (* 0.5 (* (sin re) -2))))) (log (cbrt (* im (* 0.5 (* (sin re) -2)))))) (log (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2)))))) (exp (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2)))))) (* (* im (* 0.5 (* (sin re) -2))) (* im (* 0.5 (* (sin re) -2)))) (* (cbrt (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2)))))) (cbrt (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2))))))) (cbrt (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2)))))) (* (* (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2))))) (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2)))))) (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2)))))) (sqrt (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2)))))) (sqrt (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2)))))) (* (cbrt im) (cbrt im)) (* (cbrt (* 0.5 (* (sin re) -2))) (cbrt (* 0.5 (* (sin re) -2)))) (* (* (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt (cbrt (* im (* 0.5 (* (sin re) -2)))))) (* (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))))) (* (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt (cbrt (* im (* 0.5 (* (sin re) -2)))))) (* (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2)))))) (* (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2)))))) (* 1 1) (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2))))) (* (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2)))))) (* (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2)))))) (* 2 1/3) (* 2 1) (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt im)) (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (* (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))))) (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2)))))) (* (cbrt (* im (* 0.5 (* (sin re) -2)))) 1) (* (cbrt (* 0.5 (* (sin re) -2))) (cbrt (* im (* 0.5 (* (sin re) -2))))) (* (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt (* im (* 0.5 (* (sin re) -2))))) (* (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt (* im (* 0.5 (* (sin re) -2))))) (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2))))) (- (* (cbrt -1.0) (exp (* 1/3 (+ (log 1) (+ (log im) (log re)))))) (* 1/18 (* (cbrt -1.0) (* (exp (* 1/3 (+ (log 1) (+ (log im) (log re))))) (pow re 2))))) (* (cbrt -1.0) (exp (* 1/3 (- (log (sin re)) (log (/ 1 im)))))) (* (cbrt 1.0) (exp (* 1/3 (- (log (sin re)) (log (/ -1 im)))))) (- (* (cbrt -1.0) (exp (* 1/3 (+ (log 1) (+ (log im) (log re)))))) (* 1/18 (* (cbrt -1.0) (* (exp (* 1/3 (+ (log 1) (+ (log im) (log re))))) (pow re 2))))) (* (cbrt -1.0) (exp (* 1/3 (- (log (sin re)) (log (/ 1 im)))))) (* (cbrt 1.0) (exp (* 1/3 (- (log (sin re)) (log (/ -1 im)))))) (- (* (cbrt -1.0) (exp (* 1/3 (+ (log 1) (+ (log im) (log re)))))) (* 1/18 (* (cbrt -1.0) (* (exp (* 1/3 (+ (log 1) (+ (log im) (log re))))) (pow re 2))))) (* (cbrt -1.0) (exp (* 1/3 (- (log (sin re)) (log (/ 1 im)))))) (* (cbrt 1.0) (exp (* 1/3 (- (log (sin re)) (log (/ -1 im)))))) (- (* (pow (cbrt -1.0) 2) (exp (* 1/3 (+ (log 1) (+ (* 2 (log im)) (* 2 (log re))))))) (* 1/9 (* (pow (cbrt -1.0) 2) (* (exp (* 1/3 (+ (log 1) (+ (* 2 (log im)) (* 2 (log re)))))) (pow re 2))))) (* (pow (cbrt -1.0) 2) (exp (* 1/3 (- (log (pow (sin re) 2)) (* 2 (log (/ 1 im))))))) (* (exp (* 1/3 (- (log (pow (sin re) 2)) (* 2 (log (/ -1 im)))))) (pow (cbrt 1.0) 2)) 1.895 * * [simplify]: iteration 0 : 5202 enodes (cost 707 ) 1.899 * [simplify]: Simplified to: (log (cbrt (* im (* 0.5 (* (sin re) -2))))) (exp (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt im) (cbrt (* 0.5 (* (sin re) -2))) (pow (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) 2) (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (* im (* 0.5 (* (sin re) -2))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (log (cbrt (* im (* 0.5 (* (sin re) -2))))) (exp (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt im) (cbrt (* 0.5 (* (sin re) -2))) (pow (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) 2) (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (* im (* 0.5 (* (sin re) -2))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (log (cbrt (* im (* 0.5 (* (sin re) -2))))) (exp (cbrt (* im (* 0.5 (* (sin re) -2))))) (cbrt im) (cbrt (* 0.5 (* (sin re) -2))) (pow (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) 2) (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (* im (* 0.5 (* (sin re) -2))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) 2/3 2 (pow (cbrt (* im (* 0.5 (* (sin re) -2)))) 6) (pow (cbrt (* im (* 0.5 (* (sin re) -2)))) 2) 2 (* (log (cbrt (* im (* 0.5 (* (sin re) -2))))) 2) (* (log (cbrt (* im (* 0.5 (* (sin re) -2))))) 2) (exp (pow (cbrt (* im (* 0.5 (* (sin re) -2)))) 2)) (pow (cbrt (* im (* 0.5 (* (sin re) -2)))) 6) (* (cbrt (pow (cbrt (* im (* 0.5 (* (sin re) -2)))) 2)) (cbrt (pow (cbrt (* im (* 0.5 (* (sin re) -2)))) 2))) (cbrt (pow (cbrt (* im (* 0.5 (* (sin re) -2)))) 2)) (pow (cbrt (* im (* 0.5 (* (sin re) -2)))) 6) (fabs (cbrt (* im (* 0.5 (* (sin re) -2))))) (fabs (cbrt (* im (* 0.5 (* (sin re) -2))))) (pow im 2/3) (* (cbrt (* 0.5 (* (sin re) -2))) (cbrt (* 0.5 (* (sin re) -2)))) (pow (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) 4) (pow (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) 2) (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2)))) 1 (pow (cbrt (* im (* 0.5 (* (sin re) -2)))) 2) (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* im (* 0.5 (* (sin re) -2)))) 2/3 2 (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt im)) (pow (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) 5) (pow (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) 3) (cbrt (* im (* 0.5 (* (sin re) -2)))) (* (cbrt (* im (* 0.5 (* (sin re) -2)))) (cbrt (* 0.5 (* (sin re) -2)))) (pow (cbrt (cbrt (* im (* 0.5 (* (sin re) -2))))) 4) (pow (sqrt (cbrt (* im (* 0.5 (* (sin re) -2))))) 3) (pow (cbrt (* im (* 0.5 (* (sin re) -2)))) 2) (* (+ (* (* re re) -1/18) 1) (* (cbrt -1.0) (cbrt (* im re)))) (* (cbrt -1.0) (cbrt (* im (sin re)))) (* (cbrt 1.0) (cbrt (* (sin re) (* -1 im)))) (* (+ (* (* re re) -1/18) 1) (* (cbrt -1.0) (cbrt (* im re)))) (* (cbrt -1.0) (cbrt (* im (sin re)))) (* (cbrt 1.0) (cbrt (* (sin re) (* -1 im)))) (* (+ (* (* re re) -1/18) 1) (* (cbrt -1.0) (cbrt (* im re)))) (* (cbrt -1.0) (cbrt (* im (sin re)))) (* (cbrt 1.0) (cbrt (* (sin re) (* -1 im)))) (* (+ (* (* re re) -1/9) 1) (* (pow (cbrt -1.0) 2) (pow (* im re) 2/3))) (* (pow (cbrt -1.0) 2) (cbrt (pow (* im (sin re)) 2))) (* (cbrt (pow (* im (sin re)) 2)) (pow (cbrt 1.0) 2)) 1.899 * * * [progress]: adding candidates to table 2.145 * [progress]: [Phase 3 of 3] Extracting. 2.145 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 2.151 * * * [regime-changes]: Trying 3 branch expressions: ((sin re) im re) 2.151 * * * * [regimes]: Trying to branch on (sin re) from (# # # # # # # # #) 2.237 * * * * [regimes]: Trying to branch on im from (# # # # # # # # #) 2.316 * * * * [regimes]: Trying to branch on re from (# # # # # # # # #) 2.395 * * * [regime]: Found split indices: #