17.122 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.092 * * * [progress]: [2/2] Setting up program. 0.095 * [progress]: [Phase 2 of 3] Improving. 0.095 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.096 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 0.098 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 0.101 * * [simplify]: iteration 2 : 62 enodes (cost 12 ) 0.110 * * [simplify]: iteration 3 : 117 enodes (cost 12 ) 0.127 * * [simplify]: iteration 4 : 191 enodes (cost 12 ) 0.159 * * [simplify]: iteration 5 : 363 enodes (cost 12 ) 0.272 * * [simplify]: iteration 6 : 681 enodes (cost 12 ) 0.593 * * [simplify]: iteration 7 : 855 enodes (cost 12 ) 1.175 * * [simplify]: iteration 8 : 1330 enodes (cost 12 ) 2.459 * * [simplify]: iteration 9 : 2557 enodes (cost 12 ) 11.515 * * [simplify]: iteration 10 : 4729 enodes (cost 12 ) 28.566 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 28.566 * [simplify]: Simplified to: (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 28.567 * * [progress]: iteration 1 / 4 28.567 * * * [progress]: picking best candidate 28.569 * * * * [pick]: Picked # 28.569 * * * [progress]: localizing error 28.579 * * * [progress]: generating rewritten candidates 28.579 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 28.652 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 28.685 * * * [progress]: generating series expansions 28.685 * * * * [progress]: [ 1 / 2 ] generating series at (2) 28.685 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in (re im) around 0 28.685 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in im 28.685 * [taylor]: Taking taylor expansion of 0.5 in im 28.685 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in im 28.685 * [taylor]: Taking taylor expansion of (sin re) in im 28.685 * [taylor]: Taking taylor expansion of re in im 28.685 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 28.685 * [taylor]: Taking taylor expansion of (exp im) in im 28.685 * [taylor]: Taking taylor expansion of im in im 28.685 * [taylor]: Taking taylor expansion of (exp (- im)) in im 28.685 * [taylor]: Taking taylor expansion of (- im) in im 28.685 * [taylor]: Taking taylor expansion of im in im 28.686 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 28.686 * [taylor]: Taking taylor expansion of 0.5 in re 28.686 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 28.686 * [taylor]: Taking taylor expansion of (sin re) in re 28.686 * [taylor]: Taking taylor expansion of re in re 28.686 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 28.686 * [taylor]: Taking taylor expansion of (exp im) in re 28.686 * [taylor]: Taking taylor expansion of im in re 28.686 * [taylor]: Taking taylor expansion of (exp (- im)) in re 28.686 * [taylor]: Taking taylor expansion of (- im) in re 28.686 * [taylor]: Taking taylor expansion of im in re 28.686 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 28.686 * [taylor]: Taking taylor expansion of 0.5 in re 28.686 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 28.686 * [taylor]: Taking taylor expansion of (sin re) in re 28.686 * [taylor]: Taking taylor expansion of re in re 28.686 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 28.686 * [taylor]: Taking taylor expansion of (exp im) in re 28.686 * [taylor]: Taking taylor expansion of im in re 28.686 * [taylor]: Taking taylor expansion of (exp (- im)) in re 28.686 * [taylor]: Taking taylor expansion of (- im) in re 28.686 * [taylor]: Taking taylor expansion of im in re 28.687 * [taylor]: Taking taylor expansion of 0 in im 28.689 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (- im)))) in im 28.689 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 28.689 * [taylor]: Taking taylor expansion of 0.5 in im 28.689 * [taylor]: Taking taylor expansion of (exp im) in im 28.689 * [taylor]: Taking taylor expansion of im in im 28.689 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 28.689 * [taylor]: Taking taylor expansion of 0.5 in im 28.689 * [taylor]: Taking taylor expansion of (exp (- im)) in im 28.689 * [taylor]: Taking taylor expansion of (- im) in im 28.689 * [taylor]: Taking taylor expansion of im in im 28.694 * [taylor]: Taking taylor expansion of 0 in im 28.703 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im))))) in im 28.703 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im 28.703 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 28.703 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 28.703 * [taylor]: Taking taylor expansion of (exp im) in im 28.703 * [taylor]: Taking taylor expansion of im in im 28.703 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 28.703 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 28.703 * [taylor]: Taking taylor expansion of (exp (- im)) in im 28.703 * [taylor]: Taking taylor expansion of (- im) in im 28.703 * [taylor]: Taking taylor expansion of im in im 28.711 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 28.711 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 28.711 * [taylor]: Taking taylor expansion of 0.5 in im 28.711 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 28.711 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 28.711 * [taylor]: Taking taylor expansion of (/ 1 re) in im 28.711 * [taylor]: Taking taylor expansion of re in im 28.711 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 28.711 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 28.711 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 28.711 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.711 * [taylor]: Taking taylor expansion of im in im 28.711 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.712 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.712 * [taylor]: Taking taylor expansion of im in im 28.712 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 28.712 * [taylor]: Taking taylor expansion of 0.5 in re 28.712 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 28.712 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 28.712 * [taylor]: Taking taylor expansion of (/ 1 re) in re 28.712 * [taylor]: Taking taylor expansion of re in re 28.712 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 28.712 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 28.712 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 28.712 * [taylor]: Taking taylor expansion of (/ 1 im) in re 28.712 * [taylor]: Taking taylor expansion of im in re 28.712 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 28.712 * [taylor]: Taking taylor expansion of (/ 1 im) in re 28.712 * [taylor]: Taking taylor expansion of im in re 28.713 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 28.713 * [taylor]: Taking taylor expansion of 0.5 in re 28.713 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 28.713 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 28.713 * [taylor]: Taking taylor expansion of (/ 1 re) in re 28.713 * [taylor]: Taking taylor expansion of re in re 28.713 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 28.713 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 28.713 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 28.713 * [taylor]: Taking taylor expansion of (/ 1 im) in re 28.713 * [taylor]: Taking taylor expansion of im in re 28.713 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 28.713 * [taylor]: Taking taylor expansion of (/ 1 im) in re 28.713 * [taylor]: Taking taylor expansion of im in re 28.716 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 28.716 * [taylor]: Taking taylor expansion of 0.5 in im 28.716 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 28.716 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 28.716 * [taylor]: Taking taylor expansion of (/ 1 re) in im 28.716 * [taylor]: Taking taylor expansion of re in im 28.716 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 28.716 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 28.716 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 28.717 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.717 * [taylor]: Taking taylor expansion of im in im 28.717 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.717 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.717 * [taylor]: Taking taylor expansion of im in im 28.720 * [taylor]: Taking taylor expansion of 0 in im 28.726 * [taylor]: Taking taylor expansion of 0 in im 28.734 * [taylor]: Taking taylor expansion of 0 in im 28.735 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0 28.735 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 28.735 * [taylor]: Taking taylor expansion of 0.5 in im 28.735 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 28.735 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 28.735 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 28.735 * [taylor]: Taking taylor expansion of (/ -1 im) in im 28.735 * [taylor]: Taking taylor expansion of -1 in im 28.735 * [taylor]: Taking taylor expansion of im in im 28.735 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.735 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.735 * [taylor]: Taking taylor expansion of im in im 28.736 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 28.736 * [taylor]: Taking taylor expansion of (/ -1 re) in im 28.736 * [taylor]: Taking taylor expansion of -1 in im 28.736 * [taylor]: Taking taylor expansion of re in im 28.736 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 28.736 * [taylor]: Taking taylor expansion of 0.5 in re 28.736 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 28.736 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 28.736 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 28.736 * [taylor]: Taking taylor expansion of (/ -1 im) in re 28.736 * [taylor]: Taking taylor expansion of -1 in re 28.736 * [taylor]: Taking taylor expansion of im in re 28.736 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 28.736 * [taylor]: Taking taylor expansion of (/ 1 im) in re 28.736 * [taylor]: Taking taylor expansion of im in re 28.736 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 28.736 * [taylor]: Taking taylor expansion of (/ -1 re) in re 28.736 * [taylor]: Taking taylor expansion of -1 in re 28.736 * [taylor]: Taking taylor expansion of re in re 28.736 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 28.736 * [taylor]: Taking taylor expansion of 0.5 in re 28.736 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 28.736 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 28.736 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 28.736 * [taylor]: Taking taylor expansion of (/ -1 im) in re 28.736 * [taylor]: Taking taylor expansion of -1 in re 28.736 * [taylor]: Taking taylor expansion of im in re 28.737 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 28.737 * [taylor]: Taking taylor expansion of (/ 1 im) in re 28.737 * [taylor]: Taking taylor expansion of im in re 28.737 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 28.737 * [taylor]: Taking taylor expansion of (/ -1 re) in re 28.737 * [taylor]: Taking taylor expansion of -1 in re 28.737 * [taylor]: Taking taylor expansion of re in re 28.737 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 28.737 * [taylor]: Taking taylor expansion of 0.5 in im 28.737 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 28.737 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 28.737 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 28.737 * [taylor]: Taking taylor expansion of (/ -1 im) in im 28.737 * [taylor]: Taking taylor expansion of -1 in im 28.737 * [taylor]: Taking taylor expansion of im in im 28.738 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.738 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.738 * [taylor]: Taking taylor expansion of im in im 28.738 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 28.738 * [taylor]: Taking taylor expansion of (/ -1 re) in im 28.738 * [taylor]: Taking taylor expansion of -1 in im 28.738 * [taylor]: Taking taylor expansion of re in im 28.740 * [taylor]: Taking taylor expansion of 0 in im 28.745 * [taylor]: Taking taylor expansion of 0 in im 28.752 * [taylor]: Taking taylor expansion of 0 in im 28.753 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 28.753 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (- im))) in (im) around 0 28.753 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 28.753 * [taylor]: Taking taylor expansion of (exp im) in im 28.753 * [taylor]: Taking taylor expansion of im in im 28.753 * [taylor]: Taking taylor expansion of (exp (- im)) in im 28.753 * [taylor]: Taking taylor expansion of (- im) in im 28.753 * [taylor]: Taking taylor expansion of im in im 28.753 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 28.753 * [taylor]: Taking taylor expansion of (exp im) in im 28.753 * [taylor]: Taking taylor expansion of im in im 28.753 * [taylor]: Taking taylor expansion of (exp (- im)) in im 28.753 * [taylor]: Taking taylor expansion of (- im) in im 28.753 * [taylor]: Taking taylor expansion of im in im 28.768 * [approximate]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 28.768 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 28.768 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 28.768 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 28.768 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.768 * [taylor]: Taking taylor expansion of im in im 28.768 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.768 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.768 * [taylor]: Taking taylor expansion of im in im 28.769 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 28.769 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 28.769 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 28.769 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.769 * [taylor]: Taking taylor expansion of im in im 28.769 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.769 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.769 * [taylor]: Taking taylor expansion of im in im 28.771 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 28.771 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 28.772 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 28.772 * [taylor]: Taking taylor expansion of (/ -1 im) in im 28.772 * [taylor]: Taking taylor expansion of -1 in im 28.772 * [taylor]: Taking taylor expansion of im in im 28.772 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.772 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.772 * [taylor]: Taking taylor expansion of im in im 28.772 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 28.772 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 28.772 * [taylor]: Taking taylor expansion of (/ -1 im) in im 28.772 * [taylor]: Taking taylor expansion of -1 in im 28.772 * [taylor]: Taking taylor expansion of im in im 28.773 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.773 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.773 * [taylor]: Taking taylor expansion of im in im 28.775 * * * [progress]: simplifying candidates 28.775 * [simplify]: Simplifying using # : (expm1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log1p (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (+ (+ (log 0.5) (log (sin re))) (log (+ (exp (- 0.0 im)) (exp im)))) (+ (log (* 0.5 (sin re))) (log (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im)))) (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im)) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) 1) (* (* 0.5 (sin re)) 1) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))) (expm1 (+ (exp (- 0.0 im)) (exp im))) (log1p (+ (exp (- 0.0 im)) (exp im))) (* (exp (exp (- 0.0 im))) (exp (exp im))) (log (+ (exp (- 0.0 im)) (exp im))) (exp (+ (exp (- 0.0 im)) (exp im))) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (+ (exp (- 0.0 im)) (exp im))) (* (* (+ (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))) (- (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im)) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (- im))) (+ (exp (* -1 im)) (exp im)) 28.778 * * [simplify]: iteration 0 : 97 enodes (cost 642 ) 28.798 * * [simplify]: iteration 1 : 279 enodes (cost 622 ) 28.861 * * [simplify]: iteration 2 : 1093 enodes (cost 528 ) 29.219 * * [simplify]: iteration done : 5000 enodes (cost 527 ) 29.220 * [simplify]: Simplified to: (expm1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log1p (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* 0.5 (sin re)) (* 0.5 (sin re)) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (- (exp (* 2 (- 0.0 im))) (exp (+ im im)))) (expm1 (+ (exp (- 0.0 im)) (exp im))) (log1p (+ (exp (- 0.0 im)) (exp im))) (exp (+ (exp (- 0.0 im)) (exp im))) (log (+ (exp (- 0.0 im)) (exp im))) (exp (+ (exp (- 0.0 im)) (exp im))) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (+ (exp (- 0.0 im)) (exp im))) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (sqrt (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (exp (* 2 (- 0.0 im)))) (- (exp (* 2 (- 0.0 im))) (exp (+ im im))) (- (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im)) (- (* re (+ 1.0 (* 0.5 (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) (fma (pow im 4) 1/12 (fma im im 2)) (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im))) 29.220 * * * [progress]: adding candidates to table 29.388 * * [progress]: iteration 2 / 4 29.388 * * * [progress]: picking best candidate 29.393 * * * * [pick]: Picked # 29.393 * * * [progress]: localizing error 29.404 * * * [progress]: generating rewritten candidates 29.404 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 29.443 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 29.452 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 29.486 * * * [progress]: generating series expansions 29.486 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 29.486 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in (im re) around 0 29.486 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re 29.486 * [taylor]: Taking taylor expansion of 0.5 in re 29.486 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re 29.486 * [taylor]: Taking taylor expansion of (exp (- im)) in re 29.486 * [taylor]: Taking taylor expansion of (- im) in re 29.486 * [taylor]: Taking taylor expansion of im in re 29.486 * [taylor]: Taking taylor expansion of (sin re) in re 29.486 * [taylor]: Taking taylor expansion of re in re 29.486 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 29.486 * [taylor]: Taking taylor expansion of 0.5 in im 29.486 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 29.486 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.486 * [taylor]: Taking taylor expansion of (- im) in im 29.486 * [taylor]: Taking taylor expansion of im in im 29.487 * [taylor]: Taking taylor expansion of (sin re) in im 29.487 * [taylor]: Taking taylor expansion of re in im 29.487 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 29.487 * [taylor]: Taking taylor expansion of 0.5 in im 29.487 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 29.487 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.487 * [taylor]: Taking taylor expansion of (- im) in im 29.487 * [taylor]: Taking taylor expansion of im in im 29.488 * [taylor]: Taking taylor expansion of (sin re) in im 29.488 * [taylor]: Taking taylor expansion of re in im 29.488 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 29.488 * [taylor]: Taking taylor expansion of 0.5 in re 29.488 * [taylor]: Taking taylor expansion of (sin re) in re 29.488 * [taylor]: Taking taylor expansion of re in re 29.491 * [taylor]: Taking taylor expansion of (- (* 0.5 (sin re))) in re 29.491 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 29.491 * [taylor]: Taking taylor expansion of 0.5 in re 29.491 * [taylor]: Taking taylor expansion of (sin re) in re 29.491 * [taylor]: Taking taylor expansion of re in re 29.497 * [taylor]: Taking taylor expansion of (* 0.25 (sin re)) in re 29.497 * [taylor]: Taking taylor expansion of 0.25 in re 29.497 * [taylor]: Taking taylor expansion of (sin re) in re 29.497 * [taylor]: Taking taylor expansion of re in re 29.505 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (sin re))) in re 29.505 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (sin re)) in re 29.505 * [taylor]: Taking taylor expansion of 0.08333333333333333 in re 29.505 * [taylor]: Taking taylor expansion of (sin re) in re 29.505 * [taylor]: Taking taylor expansion of re in re 29.508 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in (im re) around 0 29.508 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 29.508 * [taylor]: Taking taylor expansion of 0.5 in re 29.508 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 29.508 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 29.508 * [taylor]: Taking taylor expansion of (/ 1 re) in re 29.508 * [taylor]: Taking taylor expansion of re in re 29.508 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 29.508 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 29.508 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.508 * [taylor]: Taking taylor expansion of im in re 29.508 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 29.508 * [taylor]: Taking taylor expansion of 0.5 in im 29.508 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 29.508 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 29.508 * [taylor]: Taking taylor expansion of (/ 1 re) in im 29.508 * [taylor]: Taking taylor expansion of re in im 29.509 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.509 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.509 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.509 * [taylor]: Taking taylor expansion of im in im 29.509 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 29.509 * [taylor]: Taking taylor expansion of 0.5 in im 29.509 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 29.509 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 29.509 * [taylor]: Taking taylor expansion of (/ 1 re) in im 29.509 * [taylor]: Taking taylor expansion of re in im 29.509 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.509 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.509 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.509 * [taylor]: Taking taylor expansion of im in im 29.510 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 29.510 * [taylor]: Taking taylor expansion of 0.5 in re 29.510 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 29.510 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 29.510 * [taylor]: Taking taylor expansion of (/ 1 re) in re 29.510 * [taylor]: Taking taylor expansion of re in re 29.511 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 29.511 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 29.511 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.511 * [taylor]: Taking taylor expansion of im in re 29.513 * [taylor]: Taking taylor expansion of 0 in re 29.517 * [taylor]: Taking taylor expansion of 0 in re 29.523 * [taylor]: Taking taylor expansion of 0 in re 29.523 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in (im re) around 0 29.523 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 29.523 * [taylor]: Taking taylor expansion of 0.5 in re 29.523 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 29.523 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 29.523 * [taylor]: Taking taylor expansion of (/ -1 re) in re 29.523 * [taylor]: Taking taylor expansion of -1 in re 29.523 * [taylor]: Taking taylor expansion of re in re 29.524 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.524 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.524 * [taylor]: Taking taylor expansion of im in re 29.524 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 29.524 * [taylor]: Taking taylor expansion of 0.5 in im 29.524 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 29.524 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 29.524 * [taylor]: Taking taylor expansion of (/ -1 re) in im 29.524 * [taylor]: Taking taylor expansion of -1 in im 29.524 * [taylor]: Taking taylor expansion of re in im 29.524 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.524 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.524 * [taylor]: Taking taylor expansion of im in im 29.524 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 29.524 * [taylor]: Taking taylor expansion of 0.5 in im 29.524 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 29.524 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 29.525 * [taylor]: Taking taylor expansion of (/ -1 re) in im 29.525 * [taylor]: Taking taylor expansion of -1 in im 29.525 * [taylor]: Taking taylor expansion of re in im 29.525 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.525 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.525 * [taylor]: Taking taylor expansion of im in im 29.525 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 29.525 * [taylor]: Taking taylor expansion of 0.5 in re 29.525 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 29.525 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 29.525 * [taylor]: Taking taylor expansion of (/ -1 re) in re 29.525 * [taylor]: Taking taylor expansion of -1 in re 29.525 * [taylor]: Taking taylor expansion of re in re 29.526 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.526 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.526 * [taylor]: Taking taylor expansion of im in re 29.528 * [taylor]: Taking taylor expansion of 0 in re 29.532 * [taylor]: Taking taylor expansion of 0 in re 29.537 * [taylor]: Taking taylor expansion of 0 in re 29.538 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 29.538 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in (im re) around 0 29.538 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 29.538 * [taylor]: Taking taylor expansion of 0.5 in re 29.538 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 29.538 * [taylor]: Taking taylor expansion of (exp im) in re 29.538 * [taylor]: Taking taylor expansion of im in re 29.538 * [taylor]: Taking taylor expansion of (sin re) in re 29.538 * [taylor]: Taking taylor expansion of re in re 29.538 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 29.538 * [taylor]: Taking taylor expansion of 0.5 in im 29.538 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 29.538 * [taylor]: Taking taylor expansion of (exp im) in im 29.538 * [taylor]: Taking taylor expansion of im in im 29.538 * [taylor]: Taking taylor expansion of (sin re) in im 29.538 * [taylor]: Taking taylor expansion of re in im 29.538 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 29.538 * [taylor]: Taking taylor expansion of 0.5 in im 29.538 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 29.538 * [taylor]: Taking taylor expansion of (exp im) in im 29.538 * [taylor]: Taking taylor expansion of im in im 29.538 * [taylor]: Taking taylor expansion of (sin re) in im 29.538 * [taylor]: Taking taylor expansion of re in im 29.538 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 29.538 * [taylor]: Taking taylor expansion of 0.5 in re 29.538 * [taylor]: Taking taylor expansion of (sin re) in re 29.538 * [taylor]: Taking taylor expansion of re in re 29.544 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 29.544 * [taylor]: Taking taylor expansion of 0.5 in re 29.544 * [taylor]: Taking taylor expansion of (sin re) in re 29.544 * [taylor]: Taking taylor expansion of re in re 29.549 * [taylor]: Taking taylor expansion of (* 0.25 (sin re)) in re 29.549 * [taylor]: Taking taylor expansion of 0.25 in re 29.549 * [taylor]: Taking taylor expansion of (sin re) in re 29.549 * [taylor]: Taking taylor expansion of re in re 29.555 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (sin re)) in re 29.556 * [taylor]: Taking taylor expansion of 0.08333333333333333 in re 29.556 * [taylor]: Taking taylor expansion of (sin re) in re 29.556 * [taylor]: Taking taylor expansion of re in re 29.557 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in (im re) around 0 29.558 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 29.558 * [taylor]: Taking taylor expansion of 0.5 in re 29.558 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 29.558 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 29.558 * [taylor]: Taking taylor expansion of (/ 1 re) in re 29.558 * [taylor]: Taking taylor expansion of re in re 29.558 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.558 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.558 * [taylor]: Taking taylor expansion of im in re 29.558 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 29.558 * [taylor]: Taking taylor expansion of 0.5 in im 29.558 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 29.558 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 29.558 * [taylor]: Taking taylor expansion of (/ 1 re) in im 29.558 * [taylor]: Taking taylor expansion of re in im 29.558 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.558 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.558 * [taylor]: Taking taylor expansion of im in im 29.559 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 29.559 * [taylor]: Taking taylor expansion of 0.5 in im 29.559 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 29.559 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 29.559 * [taylor]: Taking taylor expansion of (/ 1 re) in im 29.559 * [taylor]: Taking taylor expansion of re in im 29.559 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.559 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.559 * [taylor]: Taking taylor expansion of im in im 29.559 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 29.559 * [taylor]: Taking taylor expansion of 0.5 in re 29.559 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 29.559 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 29.559 * [taylor]: Taking taylor expansion of (/ 1 re) in re 29.559 * [taylor]: Taking taylor expansion of re in re 29.560 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.560 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.560 * [taylor]: Taking taylor expansion of im in re 29.562 * [taylor]: Taking taylor expansion of 0 in re 29.566 * [taylor]: Taking taylor expansion of 0 in re 29.571 * [taylor]: Taking taylor expansion of 0 in re 29.571 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in (im re) around 0 29.571 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 29.571 * [taylor]: Taking taylor expansion of 0.5 in re 29.571 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 29.571 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 29.571 * [taylor]: Taking taylor expansion of (/ -1 im) in re 29.571 * [taylor]: Taking taylor expansion of -1 in re 29.571 * [taylor]: Taking taylor expansion of im in re 29.572 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 29.572 * [taylor]: Taking taylor expansion of (/ -1 re) in re 29.572 * [taylor]: Taking taylor expansion of -1 in re 29.572 * [taylor]: Taking taylor expansion of re in re 29.572 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 29.572 * [taylor]: Taking taylor expansion of 0.5 in im 29.572 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 29.572 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 29.572 * [taylor]: Taking taylor expansion of (/ -1 im) in im 29.572 * [taylor]: Taking taylor expansion of -1 in im 29.572 * [taylor]: Taking taylor expansion of im in im 29.572 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 29.572 * [taylor]: Taking taylor expansion of (/ -1 re) in im 29.572 * [taylor]: Taking taylor expansion of -1 in im 29.572 * [taylor]: Taking taylor expansion of re in im 29.572 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 29.573 * [taylor]: Taking taylor expansion of 0.5 in im 29.573 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 29.573 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 29.573 * [taylor]: Taking taylor expansion of (/ -1 im) in im 29.573 * [taylor]: Taking taylor expansion of -1 in im 29.573 * [taylor]: Taking taylor expansion of im in im 29.573 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 29.573 * [taylor]: Taking taylor expansion of (/ -1 re) in im 29.573 * [taylor]: Taking taylor expansion of -1 in im 29.573 * [taylor]: Taking taylor expansion of re in im 29.573 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 29.573 * [taylor]: Taking taylor expansion of 0.5 in re 29.573 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 29.573 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 29.573 * [taylor]: Taking taylor expansion of (/ -1 im) in re 29.573 * [taylor]: Taking taylor expansion of -1 in re 29.573 * [taylor]: Taking taylor expansion of im in re 29.573 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 29.574 * [taylor]: Taking taylor expansion of (/ -1 re) in re 29.574 * [taylor]: Taking taylor expansion of -1 in re 29.574 * [taylor]: Taking taylor expansion of re in re 29.576 * [taylor]: Taking taylor expansion of 0 in re 29.580 * [taylor]: Taking taylor expansion of 0 in re 29.585 * [taylor]: Taking taylor expansion of 0 in re 29.586 * * * * [progress]: [ 3 / 3 ] generating series at (2) 29.586 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in (im re) around 0 29.586 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in re 29.586 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re 29.586 * [taylor]: Taking taylor expansion of 0.5 in re 29.586 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re 29.586 * [taylor]: Taking taylor expansion of (exp (- im)) in re 29.586 * [taylor]: Taking taylor expansion of (- im) in re 29.586 * [taylor]: Taking taylor expansion of im in re 29.586 * [taylor]: Taking taylor expansion of (sin re) in re 29.586 * [taylor]: Taking taylor expansion of re in re 29.586 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 29.586 * [taylor]: Taking taylor expansion of 0.5 in re 29.586 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 29.586 * [taylor]: Taking taylor expansion of (exp im) in re 29.586 * [taylor]: Taking taylor expansion of im in re 29.586 * [taylor]: Taking taylor expansion of (sin re) in re 29.586 * [taylor]: Taking taylor expansion of re in re 29.586 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in im 29.586 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 29.586 * [taylor]: Taking taylor expansion of 0.5 in im 29.586 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 29.586 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.586 * [taylor]: Taking taylor expansion of (- im) in im 29.586 * [taylor]: Taking taylor expansion of im in im 29.587 * [taylor]: Taking taylor expansion of (sin re) in im 29.587 * [taylor]: Taking taylor expansion of re in im 29.587 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 29.587 * [taylor]: Taking taylor expansion of 0.5 in im 29.587 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 29.587 * [taylor]: Taking taylor expansion of (exp im) in im 29.587 * [taylor]: Taking taylor expansion of im in im 29.587 * [taylor]: Taking taylor expansion of (sin re) in im 29.587 * [taylor]: Taking taylor expansion of re in im 29.587 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in im 29.587 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 29.587 * [taylor]: Taking taylor expansion of 0.5 in im 29.587 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 29.587 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.587 * [taylor]: Taking taylor expansion of (- im) in im 29.587 * [taylor]: Taking taylor expansion of im in im 29.588 * [taylor]: Taking taylor expansion of (sin re) in im 29.588 * [taylor]: Taking taylor expansion of re in im 29.588 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 29.588 * [taylor]: Taking taylor expansion of 0.5 in im 29.588 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 29.588 * [taylor]: Taking taylor expansion of (exp im) in im 29.588 * [taylor]: Taking taylor expansion of im in im 29.588 * [taylor]: Taking taylor expansion of (sin re) in im 29.588 * [taylor]: Taking taylor expansion of re in im 29.588 * [taylor]: Taking taylor expansion of (* 1.0 (sin re)) in re 29.588 * [taylor]: Taking taylor expansion of 1.0 in re 29.588 * [taylor]: Taking taylor expansion of (sin re) in re 29.588 * [taylor]: Taking taylor expansion of re in re 29.593 * [taylor]: Taking taylor expansion of 0 in re 29.602 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 29.602 * [taylor]: Taking taylor expansion of 0.5 in re 29.602 * [taylor]: Taking taylor expansion of (sin re) in re 29.602 * [taylor]: Taking taylor expansion of re in re 29.613 * [taylor]: Taking taylor expansion of 0 in re 29.617 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in (im re) around 0 29.617 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in re 29.617 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 29.617 * [taylor]: Taking taylor expansion of 0.5 in re 29.617 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 29.617 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 29.617 * [taylor]: Taking taylor expansion of (/ 1 re) in re 29.617 * [taylor]: Taking taylor expansion of re in re 29.618 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 29.618 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 29.618 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.618 * [taylor]: Taking taylor expansion of im in re 29.618 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 29.618 * [taylor]: Taking taylor expansion of 0.5 in re 29.618 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 29.618 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 29.618 * [taylor]: Taking taylor expansion of (/ 1 re) in re 29.618 * [taylor]: Taking taylor expansion of re in re 29.618 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.618 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.618 * [taylor]: Taking taylor expansion of im in re 29.618 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in im 29.618 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 29.618 * [taylor]: Taking taylor expansion of 0.5 in im 29.619 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 29.619 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 29.619 * [taylor]: Taking taylor expansion of (/ 1 re) in im 29.619 * [taylor]: Taking taylor expansion of re in im 29.619 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.619 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.619 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.619 * [taylor]: Taking taylor expansion of im in im 29.619 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 29.619 * [taylor]: Taking taylor expansion of 0.5 in im 29.619 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 29.619 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 29.619 * [taylor]: Taking taylor expansion of (/ 1 re) in im 29.619 * [taylor]: Taking taylor expansion of re in im 29.619 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.619 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.619 * [taylor]: Taking taylor expansion of im in im 29.620 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in im 29.620 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 29.620 * [taylor]: Taking taylor expansion of 0.5 in im 29.620 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 29.620 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 29.620 * [taylor]: Taking taylor expansion of (/ 1 re) in im 29.620 * [taylor]: Taking taylor expansion of re in im 29.620 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.620 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.620 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.620 * [taylor]: Taking taylor expansion of im in im 29.621 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 29.621 * [taylor]: Taking taylor expansion of 0.5 in im 29.621 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 29.621 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 29.621 * [taylor]: Taking taylor expansion of (/ 1 re) in im 29.621 * [taylor]: Taking taylor expansion of re in im 29.621 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.621 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.621 * [taylor]: Taking taylor expansion of im in im 29.622 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in re 29.622 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 29.622 * [taylor]: Taking taylor expansion of 0.5 in re 29.622 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 29.622 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 29.622 * [taylor]: Taking taylor expansion of (/ 1 re) in re 29.622 * [taylor]: Taking taylor expansion of re in re 29.622 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 29.622 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 29.622 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.622 * [taylor]: Taking taylor expansion of im in re 29.625 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 29.625 * [taylor]: Taking taylor expansion of 0.5 in re 29.625 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 29.625 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 29.625 * [taylor]: Taking taylor expansion of (/ 1 re) in re 29.625 * [taylor]: Taking taylor expansion of re in re 29.625 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.625 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.625 * [taylor]: Taking taylor expansion of im in re 29.630 * [taylor]: Taking taylor expansion of 0 in re 29.638 * [taylor]: Taking taylor expansion of 0 in re 29.650 * [taylor]: Taking taylor expansion of 0 in re 29.651 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in (im re) around 0 29.651 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in re 29.651 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 29.651 * [taylor]: Taking taylor expansion of 0.5 in re 29.651 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 29.651 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 29.651 * [taylor]: Taking taylor expansion of (/ -1 re) in re 29.651 * [taylor]: Taking taylor expansion of -1 in re 29.651 * [taylor]: Taking taylor expansion of re in re 29.651 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.651 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.651 * [taylor]: Taking taylor expansion of im in re 29.651 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 29.651 * [taylor]: Taking taylor expansion of 0.5 in re 29.651 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 29.651 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 29.651 * [taylor]: Taking taylor expansion of (/ -1 im) in re 29.651 * [taylor]: Taking taylor expansion of -1 in re 29.651 * [taylor]: Taking taylor expansion of im in re 29.652 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 29.652 * [taylor]: Taking taylor expansion of (/ -1 re) in re 29.652 * [taylor]: Taking taylor expansion of -1 in re 29.652 * [taylor]: Taking taylor expansion of re in re 29.652 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in im 29.652 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 29.652 * [taylor]: Taking taylor expansion of 0.5 in im 29.652 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 29.652 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 29.652 * [taylor]: Taking taylor expansion of (/ -1 re) in im 29.652 * [taylor]: Taking taylor expansion of -1 in im 29.652 * [taylor]: Taking taylor expansion of re in im 29.652 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.652 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.652 * [taylor]: Taking taylor expansion of im in im 29.652 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 29.653 * [taylor]: Taking taylor expansion of 0.5 in im 29.653 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 29.653 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 29.653 * [taylor]: Taking taylor expansion of (/ -1 im) in im 29.653 * [taylor]: Taking taylor expansion of -1 in im 29.653 * [taylor]: Taking taylor expansion of im in im 29.653 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 29.653 * [taylor]: Taking taylor expansion of (/ -1 re) in im 29.653 * [taylor]: Taking taylor expansion of -1 in im 29.653 * [taylor]: Taking taylor expansion of re in im 29.653 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in im 29.653 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 29.653 * [taylor]: Taking taylor expansion of 0.5 in im 29.653 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 29.653 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 29.653 * [taylor]: Taking taylor expansion of (/ -1 re) in im 29.653 * [taylor]: Taking taylor expansion of -1 in im 29.653 * [taylor]: Taking taylor expansion of re in im 29.653 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.653 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.653 * [taylor]: Taking taylor expansion of im in im 29.654 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 29.654 * [taylor]: Taking taylor expansion of 0.5 in im 29.654 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 29.654 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 29.654 * [taylor]: Taking taylor expansion of (/ -1 im) in im 29.654 * [taylor]: Taking taylor expansion of -1 in im 29.654 * [taylor]: Taking taylor expansion of im in im 29.654 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 29.654 * [taylor]: Taking taylor expansion of (/ -1 re) in im 29.654 * [taylor]: Taking taylor expansion of -1 in im 29.654 * [taylor]: Taking taylor expansion of re in im 29.655 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in re 29.655 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 29.655 * [taylor]: Taking taylor expansion of 0.5 in re 29.655 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 29.655 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 29.655 * [taylor]: Taking taylor expansion of (/ -1 re) in re 29.655 * [taylor]: Taking taylor expansion of -1 in re 29.655 * [taylor]: Taking taylor expansion of re in re 29.655 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.655 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.655 * [taylor]: Taking taylor expansion of im in re 29.655 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 29.655 * [taylor]: Taking taylor expansion of 0.5 in re 29.656 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 29.656 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 29.656 * [taylor]: Taking taylor expansion of (/ -1 im) in re 29.656 * [taylor]: Taking taylor expansion of -1 in re 29.656 * [taylor]: Taking taylor expansion of im in re 29.656 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 29.656 * [taylor]: Taking taylor expansion of (/ -1 re) in re 29.656 * [taylor]: Taking taylor expansion of -1 in re 29.656 * [taylor]: Taking taylor expansion of re in re 29.661 * [taylor]: Taking taylor expansion of 0 in re 29.669 * [taylor]: Taking taylor expansion of 0 in re 29.680 * [taylor]: Taking taylor expansion of 0 in re 29.681 * * * [progress]: simplifying candidates 29.682 * [simplify]: Simplifying using # : (expm1 (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (log1p (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (+ (- 0.0 im) (+ (log 0.5) (log (sin re)))) (+ (- 0.0 im) (log (* 0.5 (sin re)))) (log (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (exp (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (exp (- 0.0 im))) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) (* (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (exp (- 0.0 im))) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) (* (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re))))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) 0.5) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (* 0.5 (sin re))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (* 0.5 (sin re))) (* (exp (fma (- im) 1 (* im 1))) (* 0.5 (sin re))) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (* 0.5 (sin re))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (* 0.5 (sin re))) (* (exp (fma (- im) 1 (* im 1))) (* 0.5 (sin re))) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (* 0.5 (sin re))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (* 0.5 (sin re))) (* (exp (fma (- im) 1 (* im 1))) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (* (cbrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (sqrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp 0.0) (* 0.5 (sin re))) (expm1 (* (exp im) (* 0.5 (sin re)))) (log1p (* (exp im) (* 0.5 (sin re)))) (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (+ im (+ (log 0.5) (log (sin re)))) (+ im (log (* 0.5 (sin re)))) (log (* (exp im) (* 0.5 (sin re)))) (exp (* (exp im) (* 0.5 (sin re)))) (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) (* (cbrt (* (exp im) (* 0.5 (sin re)))) (cbrt (* (exp im) (* 0.5 (sin re))))) (cbrt (* (exp im) (* 0.5 (sin re)))) (* (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (* (exp im) (* 0.5 (sin re)))) (sqrt (* (exp im) (* 0.5 (sin re)))) (sqrt (* (exp im) (* 0.5 (sin re)))) (* (exp im) 0.5) (* (cbrt (exp im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (expm1 (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (log1p (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (* (exp (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (exp (* (exp im) (* 0.5 (sin re))))) (log (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (exp (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (* (cbrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (cbrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))))) (cbrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (* (* (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (sqrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (sqrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (+ (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (pow (* (exp im) (* 0.5 (sin re))) 3)) (+ (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (- (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))))) (- (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (- (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (+ (exp (- 0.0 im)) (exp im)) (- (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))) (* 0.5 (* re im))) (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp (* -1 im)) (sin re))) (+ (* 0.5 re) (+ (* 0.5 (* re im)) (* 0.25 (* re (pow im 2))))) (* 0.5 (* (exp im) (sin re))) (* 0.5 (* (exp im) (sin re))) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) (+ (* 0.5 (* (exp (* -1 im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) 29.686 * * [simplify]: iteration 0 : 137 enodes (cost 1113 ) 29.711 * * [simplify]: iteration 1 : 376 enodes (cost 945 ) 29.794 * * [simplify]: iteration 2 : 1457 enodes (cost 799 ) 30.196 * * [simplify]: iteration done : 5000 enodes (cost 790 ) 30.197 * [simplify]: Simplified to: (expm1 (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (log1p (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (+ (- 0.0 im) (log (* 0.5 (sin re)))) (+ (- 0.0 im) (log (* 0.5 (sin re)))) (+ (- 0.0 im) (log (* 0.5 (sin re)))) (exp (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (* (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re))))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) 0.5) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (* (cbrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (sqrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp 0.0) (* 0.5 (sin re))) (expm1 (* (exp im) (* 0.5 (sin re)))) (log1p (* (exp im) (* 0.5 (sin re)))) (* 0.5 (* (exp im) (sin re))) (* 0.5 (* (exp im) (sin re))) (+ im (log (* 0.5 (sin re)))) (+ im (log (* 0.5 (sin re)))) (+ im (log (* 0.5 (sin re)))) (exp (* (exp im) (* 0.5 (sin re)))) (pow (* 0.5 (* (exp im) (sin re))) 3) (pow (* 0.5 (* (exp im) (sin re))) 3) (* (cbrt (* (exp im) (* 0.5 (sin re)))) (cbrt (* (exp im) (* 0.5 (sin re))))) (cbrt (* (exp im) (* 0.5 (sin re)))) (pow (* 0.5 (* (exp im) (sin re))) 3) (sqrt (* (exp im) (* 0.5 (sin re)))) (sqrt (* (exp im) (* 0.5 (sin re)))) (* (exp im) 0.5) (* (cbrt (exp im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (* 0.5 (* (exp im) (sin re))) (expm1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log1p (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (pow (* 0.5 (sin re)) 3) (+ (pow (exp im) 3) (pow (exp (- 0.0 im)) 3))) (fma (exp (* 2 (- 0.0 im))) (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* (* (* 0.5 (sin re)) (* 0.5 (* (exp im) (sin re)))) (- (exp im) (exp (- 0.0 im))))) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (- (exp (* 2 (- 0.0 im))) (exp (+ im im)))) (* (* 0.5 (sin re)) (- (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im)) (- (fma 0.5 re (* 0.25 (* re (pow im 2)))) (* 0.5 (* re im))) (* (exp (- im)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (fma 0.5 re (fma 0.5 (* re im) (* 0.25 (* re (pow im 2))))) (* 0.5 (* (exp im) (sin re))) (* 0.5 (* (exp im) (sin re))) (- (fma 1.0 re (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* (* (sin re) (+ (exp (- im)) (exp im))) 0.5) (* (* (sin re) (+ (exp (- im)) (exp im))) 0.5) 30.197 * * * [progress]: adding candidates to table 30.400 * * [progress]: iteration 3 / 4 30.400 * * * [progress]: picking best candidate 30.403 * * * * [pick]: Picked # 30.403 * * * [progress]: localizing error 30.414 * * * [progress]: generating rewritten candidates 30.414 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 30.424 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 30.433 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 30.452 * * * [progress]: generating series expansions 30.452 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 30.453 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* (exp 0.0) (sin re)) (exp im))) in (re im) around 0 30.453 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (exp 0.0) (sin re)) (exp im))) in im 30.453 * [taylor]: Taking taylor expansion of 0.5 in im 30.453 * [taylor]: Taking taylor expansion of (/ (* (exp 0.0) (sin re)) (exp im)) in im 30.453 * [taylor]: Taking taylor expansion of (* (exp 0.0) (sin re)) in im 30.453 * [taylor]: Taking taylor expansion of (exp 0.0) in im 30.453 * [taylor]: Taking taylor expansion of 0.0 in im 30.453 * [taylor]: Taking taylor expansion of (sin re) in im 30.453 * [taylor]: Taking taylor expansion of re in im 30.453 * [taylor]: Taking taylor expansion of (exp im) in im 30.453 * [taylor]: Taking taylor expansion of im in im 30.454 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (exp 0.0) (sin re)) (exp im))) in re 30.454 * [taylor]: Taking taylor expansion of 0.5 in re 30.454 * [taylor]: Taking taylor expansion of (/ (* (exp 0.0) (sin re)) (exp im)) in re 30.454 * [taylor]: Taking taylor expansion of (* (exp 0.0) (sin re)) in re 30.454 * [taylor]: Taking taylor expansion of (exp 0.0) in re 30.454 * [taylor]: Taking taylor expansion of 0.0 in re 30.454 * [taylor]: Taking taylor expansion of (sin re) in re 30.454 * [taylor]: Taking taylor expansion of re in re 30.454 * [taylor]: Taking taylor expansion of (exp im) in re 30.454 * [taylor]: Taking taylor expansion of im in re 30.457 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (exp 0.0) (sin re)) (exp im))) in re 30.457 * [taylor]: Taking taylor expansion of 0.5 in re 30.457 * [taylor]: Taking taylor expansion of (/ (* (exp 0.0) (sin re)) (exp im)) in re 30.457 * [taylor]: Taking taylor expansion of (* (exp 0.0) (sin re)) in re 30.457 * [taylor]: Taking taylor expansion of (exp 0.0) in re 30.457 * [taylor]: Taking taylor expansion of 0.0 in re 30.458 * [taylor]: Taking taylor expansion of (sin re) in re 30.458 * [taylor]: Taking taylor expansion of re in re 30.458 * [taylor]: Taking taylor expansion of (exp im) in re 30.458 * [taylor]: Taking taylor expansion of im in re 30.461 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp 0.0) (exp im))) in im 30.461 * [taylor]: Taking taylor expansion of 0.5 in im 30.461 * [taylor]: Taking taylor expansion of (/ (exp 0.0) (exp im)) in im 30.461 * [taylor]: Taking taylor expansion of (exp 0.0) in im 30.461 * [taylor]: Taking taylor expansion of 0.0 in im 30.461 * [taylor]: Taking taylor expansion of (exp im) in im 30.461 * [taylor]: Taking taylor expansion of im in im 30.466 * [taylor]: Taking taylor expansion of 0 in im 30.478 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (/ (exp 0.0) (exp im)))) in im 30.478 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (/ (exp 0.0) (exp im))) in im 30.478 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 30.478 * [taylor]: Taking taylor expansion of (/ (exp 0.0) (exp im)) in im 30.478 * [taylor]: Taking taylor expansion of (exp 0.0) in im 30.478 * [taylor]: Taking taylor expansion of 0.0 in im 30.479 * [taylor]: Taking taylor expansion of (exp im) in im 30.479 * [taylor]: Taking taylor expansion of im in im 30.484 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im)))) in (re im) around 0 30.484 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im)))) in im 30.484 * [taylor]: Taking taylor expansion of 0.5 in im 30.484 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im))) in im 30.484 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp 0.0)) in im 30.484 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.484 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.484 * [taylor]: Taking taylor expansion of re in im 30.485 * [taylor]: Taking taylor expansion of (exp 0.0) in im 30.485 * [taylor]: Taking taylor expansion of 0.0 in im 30.485 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.485 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.485 * [taylor]: Taking taylor expansion of im in im 30.486 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im)))) in re 30.486 * [taylor]: Taking taylor expansion of 0.5 in re 30.486 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im))) in re 30.486 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp 0.0)) in re 30.486 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.486 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.486 * [taylor]: Taking taylor expansion of re in re 30.486 * [taylor]: Taking taylor expansion of (exp 0.0) in re 30.486 * [taylor]: Taking taylor expansion of 0.0 in re 30.487 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.487 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.487 * [taylor]: Taking taylor expansion of im in re 30.487 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im)))) in re 30.487 * [taylor]: Taking taylor expansion of 0.5 in re 30.487 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im))) in re 30.487 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp 0.0)) in re 30.487 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.487 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.487 * [taylor]: Taking taylor expansion of re in re 30.488 * [taylor]: Taking taylor expansion of (exp 0.0) in re 30.488 * [taylor]: Taking taylor expansion of 0.0 in re 30.488 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.488 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.488 * [taylor]: Taking taylor expansion of im in re 30.489 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im)))) in im 30.489 * [taylor]: Taking taylor expansion of 0.5 in im 30.489 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im))) in im 30.489 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp 0.0)) in im 30.489 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.489 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.489 * [taylor]: Taking taylor expansion of re in im 30.489 * [taylor]: Taking taylor expansion of (exp 0.0) in im 30.489 * [taylor]: Taking taylor expansion of 0.0 in im 30.490 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.490 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.490 * [taylor]: Taking taylor expansion of im in im 30.494 * [taylor]: Taking taylor expansion of 0 in im 30.501 * [taylor]: Taking taylor expansion of 0 in im 30.510 * [taylor]: Taking taylor expansion of 0 in im 30.511 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im)))) in (re im) around 0 30.511 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im)))) in im 30.511 * [taylor]: Taking taylor expansion of 0.5 in im 30.511 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im))) in im 30.511 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp 0.0)) in im 30.511 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.511 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.511 * [taylor]: Taking taylor expansion of -1 in im 30.511 * [taylor]: Taking taylor expansion of re in im 30.511 * [taylor]: Taking taylor expansion of (exp 0.0) in im 30.511 * [taylor]: Taking taylor expansion of 0.0 in im 30.511 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.511 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.511 * [taylor]: Taking taylor expansion of -1 in im 30.511 * [taylor]: Taking taylor expansion of im in im 30.512 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im)))) in re 30.512 * [taylor]: Taking taylor expansion of 0.5 in re 30.512 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im))) in re 30.512 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp 0.0)) in re 30.512 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.512 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.512 * [taylor]: Taking taylor expansion of -1 in re 30.512 * [taylor]: Taking taylor expansion of re in re 30.513 * [taylor]: Taking taylor expansion of (exp 0.0) in re 30.513 * [taylor]: Taking taylor expansion of 0.0 in re 30.513 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.513 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.513 * [taylor]: Taking taylor expansion of -1 in re 30.513 * [taylor]: Taking taylor expansion of im in re 30.514 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im)))) in re 30.514 * [taylor]: Taking taylor expansion of 0.5 in re 30.514 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im))) in re 30.514 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp 0.0)) in re 30.514 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.514 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.514 * [taylor]: Taking taylor expansion of -1 in re 30.514 * [taylor]: Taking taylor expansion of re in re 30.514 * [taylor]: Taking taylor expansion of (exp 0.0) in re 30.514 * [taylor]: Taking taylor expansion of 0.0 in re 30.514 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.514 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.514 * [taylor]: Taking taylor expansion of -1 in re 30.514 * [taylor]: Taking taylor expansion of im in re 30.516 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im)))) in im 30.516 * [taylor]: Taking taylor expansion of 0.5 in im 30.516 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im))) in im 30.516 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp 0.0)) in im 30.516 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.516 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.516 * [taylor]: Taking taylor expansion of -1 in im 30.516 * [taylor]: Taking taylor expansion of re in im 30.516 * [taylor]: Taking taylor expansion of (exp 0.0) in im 30.516 * [taylor]: Taking taylor expansion of 0.0 in im 30.516 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.516 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.516 * [taylor]: Taking taylor expansion of -1 in im 30.516 * [taylor]: Taking taylor expansion of im in im 30.521 * [taylor]: Taking taylor expansion of 0 in im 30.531 * [taylor]: Taking taylor expansion of 0 in im 30.539 * [taylor]: Taking taylor expansion of 0 in im 30.540 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 30.540 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in (im re) around 0 30.540 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 30.540 * [taylor]: Taking taylor expansion of 0.5 in re 30.540 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 30.540 * [taylor]: Taking taylor expansion of (exp im) in re 30.540 * [taylor]: Taking taylor expansion of im in re 30.540 * [taylor]: Taking taylor expansion of (sin re) in re 30.540 * [taylor]: Taking taylor expansion of re in re 30.540 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 30.540 * [taylor]: Taking taylor expansion of 0.5 in im 30.540 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 30.540 * [taylor]: Taking taylor expansion of (exp im) in im 30.540 * [taylor]: Taking taylor expansion of im in im 30.540 * [taylor]: Taking taylor expansion of (sin re) in im 30.540 * [taylor]: Taking taylor expansion of re in im 30.540 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 30.540 * [taylor]: Taking taylor expansion of 0.5 in im 30.540 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 30.540 * [taylor]: Taking taylor expansion of (exp im) in im 30.540 * [taylor]: Taking taylor expansion of im in im 30.540 * [taylor]: Taking taylor expansion of (sin re) in im 30.540 * [taylor]: Taking taylor expansion of re in im 30.541 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 30.541 * [taylor]: Taking taylor expansion of 0.5 in re 30.541 * [taylor]: Taking taylor expansion of (sin re) in re 30.541 * [taylor]: Taking taylor expansion of re in re 30.543 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 30.543 * [taylor]: Taking taylor expansion of 0.5 in re 30.543 * [taylor]: Taking taylor expansion of (sin re) in re 30.543 * [taylor]: Taking taylor expansion of re in re 30.548 * [taylor]: Taking taylor expansion of (* 0.25 (sin re)) in re 30.548 * [taylor]: Taking taylor expansion of 0.25 in re 30.548 * [taylor]: Taking taylor expansion of (sin re) in re 30.548 * [taylor]: Taking taylor expansion of re in re 30.555 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (sin re)) in re 30.555 * [taylor]: Taking taylor expansion of 0.08333333333333333 in re 30.555 * [taylor]: Taking taylor expansion of (sin re) in re 30.555 * [taylor]: Taking taylor expansion of re in re 30.557 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in (im re) around 0 30.557 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 30.557 * [taylor]: Taking taylor expansion of 0.5 in re 30.557 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 30.557 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.557 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.557 * [taylor]: Taking taylor expansion of re in re 30.558 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.558 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.558 * [taylor]: Taking taylor expansion of im in re 30.558 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 30.558 * [taylor]: Taking taylor expansion of 0.5 in im 30.558 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 30.558 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.558 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.558 * [taylor]: Taking taylor expansion of re in im 30.558 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.558 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.558 * [taylor]: Taking taylor expansion of im in im 30.558 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 30.558 * [taylor]: Taking taylor expansion of 0.5 in im 30.558 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 30.558 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.558 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.558 * [taylor]: Taking taylor expansion of re in im 30.558 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.558 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.558 * [taylor]: Taking taylor expansion of im in im 30.559 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 30.559 * [taylor]: Taking taylor expansion of 0.5 in re 30.559 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 30.559 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.559 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.559 * [taylor]: Taking taylor expansion of re in re 30.559 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.559 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.559 * [taylor]: Taking taylor expansion of im in re 30.562 * [taylor]: Taking taylor expansion of 0 in re 30.565 * [taylor]: Taking taylor expansion of 0 in re 30.571 * [taylor]: Taking taylor expansion of 0 in re 30.571 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in (im re) around 0 30.571 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 30.571 * [taylor]: Taking taylor expansion of 0.5 in re 30.571 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 30.571 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.572 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.572 * [taylor]: Taking taylor expansion of -1 in re 30.572 * [taylor]: Taking taylor expansion of im in re 30.572 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.572 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.572 * [taylor]: Taking taylor expansion of -1 in re 30.572 * [taylor]: Taking taylor expansion of re in re 30.572 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 30.572 * [taylor]: Taking taylor expansion of 0.5 in im 30.572 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 30.572 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.572 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.572 * [taylor]: Taking taylor expansion of -1 in im 30.572 * [taylor]: Taking taylor expansion of im in im 30.572 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.572 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.572 * [taylor]: Taking taylor expansion of -1 in im 30.572 * [taylor]: Taking taylor expansion of re in im 30.573 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 30.573 * [taylor]: Taking taylor expansion of 0.5 in im 30.573 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 30.573 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.573 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.573 * [taylor]: Taking taylor expansion of -1 in im 30.573 * [taylor]: Taking taylor expansion of im in im 30.573 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.573 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.573 * [taylor]: Taking taylor expansion of -1 in im 30.573 * [taylor]: Taking taylor expansion of re in im 30.573 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 30.573 * [taylor]: Taking taylor expansion of 0.5 in re 30.573 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 30.573 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.574 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.574 * [taylor]: Taking taylor expansion of -1 in re 30.574 * [taylor]: Taking taylor expansion of im in re 30.574 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.574 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.574 * [taylor]: Taking taylor expansion of -1 in re 30.574 * [taylor]: Taking taylor expansion of re in re 30.576 * [taylor]: Taking taylor expansion of 0 in re 30.580 * [taylor]: Taking taylor expansion of 0 in re 30.586 * [taylor]: Taking taylor expansion of 0 in re 30.586 * * * * [progress]: [ 3 / 3 ] generating series at (2) 30.586 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ (* (sin re) (exp 0.0)) (exp im))) (* 0.5 (* (exp im) (sin re)))) in (re im) around 0 30.586 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (* (sin re) (exp 0.0)) (exp im))) (* 0.5 (* (exp im) (sin re)))) in im 30.586 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin re) (exp 0.0)) (exp im))) in im 30.586 * [taylor]: Taking taylor expansion of 0.5 in im 30.586 * [taylor]: Taking taylor expansion of (/ (* (sin re) (exp 0.0)) (exp im)) in im 30.586 * [taylor]: Taking taylor expansion of (* (sin re) (exp 0.0)) in im 30.586 * [taylor]: Taking taylor expansion of (sin re) in im 30.586 * [taylor]: Taking taylor expansion of re in im 30.586 * [taylor]: Taking taylor expansion of (exp 0.0) in im 30.586 * [taylor]: Taking taylor expansion of 0.0 in im 30.587 * [taylor]: Taking taylor expansion of (exp im) in im 30.587 * [taylor]: Taking taylor expansion of im in im 30.587 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 30.588 * [taylor]: Taking taylor expansion of 0.5 in im 30.588 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 30.588 * [taylor]: Taking taylor expansion of (exp im) in im 30.588 * [taylor]: Taking taylor expansion of im in im 30.588 * [taylor]: Taking taylor expansion of (sin re) in im 30.588 * [taylor]: Taking taylor expansion of re in im 30.588 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (* (sin re) (exp 0.0)) (exp im))) (* 0.5 (* (exp im) (sin re)))) in re 30.588 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin re) (exp 0.0)) (exp im))) in re 30.588 * [taylor]: Taking taylor expansion of 0.5 in re 30.588 * [taylor]: Taking taylor expansion of (/ (* (sin re) (exp 0.0)) (exp im)) in re 30.588 * [taylor]: Taking taylor expansion of (* (sin re) (exp 0.0)) in re 30.588 * [taylor]: Taking taylor expansion of (sin re) in re 30.588 * [taylor]: Taking taylor expansion of re in re 30.588 * [taylor]: Taking taylor expansion of (exp 0.0) in re 30.588 * [taylor]: Taking taylor expansion of 0.0 in re 30.588 * [taylor]: Taking taylor expansion of (exp im) in re 30.588 * [taylor]: Taking taylor expansion of im in re 30.591 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 30.591 * [taylor]: Taking taylor expansion of 0.5 in re 30.591 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 30.591 * [taylor]: Taking taylor expansion of (exp im) in re 30.591 * [taylor]: Taking taylor expansion of im in re 30.591 * [taylor]: Taking taylor expansion of (sin re) in re 30.591 * [taylor]: Taking taylor expansion of re in re 30.591 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (* (sin re) (exp 0.0)) (exp im))) (* 0.5 (* (exp im) (sin re)))) in re 30.591 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin re) (exp 0.0)) (exp im))) in re 30.591 * [taylor]: Taking taylor expansion of 0.5 in re 30.591 * [taylor]: Taking taylor expansion of (/ (* (sin re) (exp 0.0)) (exp im)) in re 30.591 * [taylor]: Taking taylor expansion of (* (sin re) (exp 0.0)) in re 30.591 * [taylor]: Taking taylor expansion of (sin re) in re 30.591 * [taylor]: Taking taylor expansion of re in re 30.591 * [taylor]: Taking taylor expansion of (exp 0.0) in re 30.591 * [taylor]: Taking taylor expansion of 0.0 in re 30.591 * [taylor]: Taking taylor expansion of (exp im) in re 30.591 * [taylor]: Taking taylor expansion of im in re 30.594 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 30.594 * [taylor]: Taking taylor expansion of 0.5 in re 30.594 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 30.594 * [taylor]: Taking taylor expansion of (exp im) in re 30.594 * [taylor]: Taking taylor expansion of im in re 30.594 * [taylor]: Taking taylor expansion of (sin re) in re 30.594 * [taylor]: Taking taylor expansion of re in re 30.595 * [taylor]: Taking taylor expansion of 0 in im 30.597 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (/ (exp 0.0) (exp im)))) in im 30.597 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 30.597 * [taylor]: Taking taylor expansion of 0.5 in im 30.597 * [taylor]: Taking taylor expansion of (exp im) in im 30.597 * [taylor]: Taking taylor expansion of im in im 30.597 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp 0.0) (exp im))) in im 30.597 * [taylor]: Taking taylor expansion of 0.5 in im 30.597 * [taylor]: Taking taylor expansion of (/ (exp 0.0) (exp im)) in im 30.597 * [taylor]: Taking taylor expansion of (exp 0.0) in im 30.597 * [taylor]: Taking taylor expansion of 0.0 in im 30.597 * [taylor]: Taking taylor expansion of (exp im) in im 30.597 * [taylor]: Taking taylor expansion of im in im 30.606 * [taylor]: Taking taylor expansion of 0 in im 30.627 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (/ (exp 0.0) (exp im))))) in im 30.628 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (/ (exp 0.0) (exp im)))) in im 30.628 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 30.628 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 30.628 * [taylor]: Taking taylor expansion of (exp im) in im 30.628 * [taylor]: Taking taylor expansion of im in im 30.628 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (/ (exp 0.0) (exp im))) in im 30.628 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 30.628 * [taylor]: Taking taylor expansion of (/ (exp 0.0) (exp im)) in im 30.628 * [taylor]: Taking taylor expansion of (exp 0.0) in im 30.628 * [taylor]: Taking taylor expansion of 0.0 in im 30.628 * [taylor]: Taking taylor expansion of (exp im) in im 30.628 * [taylor]: Taking taylor expansion of im in im 30.637 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im))))) in (re im) around 0 30.637 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im))))) in im 30.637 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 30.637 * [taylor]: Taking taylor expansion of 0.5 in im 30.637 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 30.637 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.637 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.637 * [taylor]: Taking taylor expansion of re in im 30.637 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.637 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.637 * [taylor]: Taking taylor expansion of im in im 30.637 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im)))) in im 30.637 * [taylor]: Taking taylor expansion of 0.5 in im 30.637 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im))) in im 30.637 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp 0.0)) in im 30.637 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.637 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.637 * [taylor]: Taking taylor expansion of re in im 30.637 * [taylor]: Taking taylor expansion of (exp 0.0) in im 30.637 * [taylor]: Taking taylor expansion of 0.0 in im 30.638 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.638 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.638 * [taylor]: Taking taylor expansion of im in im 30.639 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im))))) in re 30.639 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 30.639 * [taylor]: Taking taylor expansion of 0.5 in re 30.639 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 30.639 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.639 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.639 * [taylor]: Taking taylor expansion of re in re 30.639 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.639 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.639 * [taylor]: Taking taylor expansion of im in re 30.639 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im)))) in re 30.639 * [taylor]: Taking taylor expansion of 0.5 in re 30.639 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im))) in re 30.639 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp 0.0)) in re 30.639 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.639 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.639 * [taylor]: Taking taylor expansion of re in re 30.640 * [taylor]: Taking taylor expansion of (exp 0.0) in re 30.640 * [taylor]: Taking taylor expansion of 0.0 in re 30.640 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.640 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.640 * [taylor]: Taking taylor expansion of im in re 30.641 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im))))) in re 30.641 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 30.641 * [taylor]: Taking taylor expansion of 0.5 in re 30.641 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 30.641 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.641 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.641 * [taylor]: Taking taylor expansion of re in re 30.641 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.641 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.641 * [taylor]: Taking taylor expansion of im in re 30.641 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im)))) in re 30.641 * [taylor]: Taking taylor expansion of 0.5 in re 30.641 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im))) in re 30.641 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp 0.0)) in re 30.641 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.641 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.641 * [taylor]: Taking taylor expansion of re in re 30.642 * [taylor]: Taking taylor expansion of (exp 0.0) in re 30.642 * [taylor]: Taking taylor expansion of 0.0 in re 30.642 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.642 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.642 * [taylor]: Taking taylor expansion of im in re 30.643 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im)))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in im 30.644 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im)))) in im 30.644 * [taylor]: Taking taylor expansion of 0.5 in im 30.644 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (exp 0.0)) (exp (/ 1 im))) in im 30.644 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp 0.0)) in im 30.644 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.644 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.644 * [taylor]: Taking taylor expansion of re in im 30.644 * [taylor]: Taking taylor expansion of (exp 0.0) in im 30.644 * [taylor]: Taking taylor expansion of 0.0 in im 30.644 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.644 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.644 * [taylor]: Taking taylor expansion of im in im 30.645 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 30.645 * [taylor]: Taking taylor expansion of 0.5 in im 30.645 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 30.645 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.645 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.645 * [taylor]: Taking taylor expansion of re in im 30.645 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.645 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.645 * [taylor]: Taking taylor expansion of im in im 30.651 * [taylor]: Taking taylor expansion of 0 in im 30.662 * [taylor]: Taking taylor expansion of 0 in im 30.676 * [taylor]: Taking taylor expansion of 0 in im 30.677 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in (re im) around 0 30.677 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in im 30.677 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im)))) in im 30.677 * [taylor]: Taking taylor expansion of 0.5 in im 30.677 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im))) in im 30.677 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp 0.0)) in im 30.677 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.677 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.677 * [taylor]: Taking taylor expansion of -1 in im 30.677 * [taylor]: Taking taylor expansion of re in im 30.677 * [taylor]: Taking taylor expansion of (exp 0.0) in im 30.677 * [taylor]: Taking taylor expansion of 0.0 in im 30.677 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.677 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.677 * [taylor]: Taking taylor expansion of -1 in im 30.677 * [taylor]: Taking taylor expansion of im in im 30.678 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 30.678 * [taylor]: Taking taylor expansion of 0.5 in im 30.678 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 30.678 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.678 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.678 * [taylor]: Taking taylor expansion of -1 in im 30.678 * [taylor]: Taking taylor expansion of im in im 30.679 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.679 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.679 * [taylor]: Taking taylor expansion of -1 in im 30.679 * [taylor]: Taking taylor expansion of re in im 30.679 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in re 30.679 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im)))) in re 30.679 * [taylor]: Taking taylor expansion of 0.5 in re 30.679 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im))) in re 30.679 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp 0.0)) in re 30.679 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.679 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.679 * [taylor]: Taking taylor expansion of -1 in re 30.679 * [taylor]: Taking taylor expansion of re in re 30.679 * [taylor]: Taking taylor expansion of (exp 0.0) in re 30.679 * [taylor]: Taking taylor expansion of 0.0 in re 30.680 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.680 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.680 * [taylor]: Taking taylor expansion of -1 in re 30.680 * [taylor]: Taking taylor expansion of im in re 30.680 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 30.680 * [taylor]: Taking taylor expansion of 0.5 in re 30.680 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 30.680 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.680 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.680 * [taylor]: Taking taylor expansion of -1 in re 30.680 * [taylor]: Taking taylor expansion of im in re 30.681 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.681 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.681 * [taylor]: Taking taylor expansion of -1 in re 30.681 * [taylor]: Taking taylor expansion of re in re 30.681 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in re 30.681 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im)))) in re 30.681 * [taylor]: Taking taylor expansion of 0.5 in re 30.681 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im))) in re 30.681 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp 0.0)) in re 30.681 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.681 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.681 * [taylor]: Taking taylor expansion of -1 in re 30.681 * [taylor]: Taking taylor expansion of re in re 30.681 * [taylor]: Taking taylor expansion of (exp 0.0) in re 30.681 * [taylor]: Taking taylor expansion of 0.0 in re 30.682 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.682 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.682 * [taylor]: Taking taylor expansion of -1 in re 30.682 * [taylor]: Taking taylor expansion of im in re 30.682 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 30.682 * [taylor]: Taking taylor expansion of 0.5 in re 30.682 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 30.682 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.682 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.682 * [taylor]: Taking taylor expansion of -1 in re 30.682 * [taylor]: Taking taylor expansion of im in re 30.683 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.683 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.683 * [taylor]: Taking taylor expansion of -1 in re 30.683 * [taylor]: Taking taylor expansion of re in re 30.684 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in im 30.684 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im)))) in im 30.684 * [taylor]: Taking taylor expansion of 0.5 in im 30.684 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (exp 0.0)) (exp (/ -1 im))) in im 30.684 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp 0.0)) in im 30.684 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.684 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.684 * [taylor]: Taking taylor expansion of -1 in im 30.684 * [taylor]: Taking taylor expansion of re in im 30.684 * [taylor]: Taking taylor expansion of (exp 0.0) in im 30.684 * [taylor]: Taking taylor expansion of 0.0 in im 30.685 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.685 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.685 * [taylor]: Taking taylor expansion of -1 in im 30.685 * [taylor]: Taking taylor expansion of im in im 30.686 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 30.686 * [taylor]: Taking taylor expansion of 0.5 in im 30.686 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 30.686 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.686 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.686 * [taylor]: Taking taylor expansion of -1 in im 30.686 * [taylor]: Taking taylor expansion of im in im 30.686 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.686 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.686 * [taylor]: Taking taylor expansion of -1 in im 30.686 * [taylor]: Taking taylor expansion of re in im 30.691 * [taylor]: Taking taylor expansion of 0 in im 30.705 * [taylor]: Taking taylor expansion of 0 in im 30.719 * [taylor]: Taking taylor expansion of 0 in im 30.720 * * * [progress]: simplifying candidates 30.721 * [simplify]: Simplifying using # : (expm1 (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im))) (log1p (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im))) (- (+ 0.0 (+ (log 0.5) (log (sin re)))) im) (- (+ 0.0 (log (* 0.5 (sin re)))) im) (- (log (* (exp 0.0) (* 0.5 (sin re)))) im) (log (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im))) (exp (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im))) (/ (* (* (* (exp 0.0) (exp 0.0)) (exp 0.0)) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) (* (* (exp im) (exp im)) (exp im))) (/ (* (* (* (exp 0.0) (exp 0.0)) (exp 0.0)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) (* (* (exp im) (exp im)) (exp im))) (/ (* (* (* (exp 0.0) (* 0.5 (sin re))) (* (exp 0.0) (* 0.5 (sin re)))) (* (exp 0.0) (* 0.5 (sin re)))) (* (* (exp im) (exp im)) (exp im))) (* (cbrt (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im))) (cbrt (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)))) (cbrt (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im))) (* (* (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im))) (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im))) (sqrt (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im))) (sqrt (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im))) (- (* (exp 0.0) (* 0.5 (sin re)))) (- (exp im)) (/ (exp 0.0) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (* 0.5 (sin re)) (cbrt (exp im))) (/ (exp 0.0) (sqrt (exp im))) (/ (* 0.5 (sin re)) (sqrt (exp im))) (/ (exp 0.0) 1) (/ (* 0.5 (sin re)) (exp im)) (/ 1 (exp im)) (/ (exp im) (* (exp 0.0) (* 0.5 (sin re)))) (/ (* (exp 0.0) (* 0.5 (sin re))) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (* (exp 0.0) (* 0.5 (sin re))) (sqrt (exp im))) (/ (* (exp 0.0) (* 0.5 (sin re))) 1) (/ (exp im) (* 0.5 (sin re))) (expm1 (* (exp im) (* 0.5 (sin re)))) (log1p (* (exp im) (* 0.5 (sin re)))) (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (+ im (+ (log 0.5) (log (sin re)))) (+ im (log (* 0.5 (sin re)))) (log (* (exp im) (* 0.5 (sin re)))) (exp (* (exp im) (* 0.5 (sin re)))) (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) (* (cbrt (* (exp im) (* 0.5 (sin re)))) (cbrt (* (exp im) (* 0.5 (sin re))))) (cbrt (* (exp im) (* 0.5 (sin re)))) (* (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (* (exp im) (* 0.5 (sin re)))) (sqrt (* (exp im) (* 0.5 (sin re)))) (sqrt (* (exp im) (* 0.5 (sin re)))) (* (exp im) 0.5) (* (cbrt (exp im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (expm1 (+ (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (* (exp im) (* 0.5 (sin re))))) (log1p (+ (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (* (exp im) (* 0.5 (sin re))))) (* (exp (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im))) (exp (* (exp im) (* 0.5 (sin re))))) (log (+ (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (* (exp im) (* 0.5 (sin re))))) (exp (+ (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (* (exp im) (* 0.5 (sin re))))) (* (cbrt (+ (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (* (exp im) (* 0.5 (sin re))))) (cbrt (+ (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (* (exp im) (* 0.5 (sin re)))))) (cbrt (+ (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (* (exp im) (* 0.5 (sin re))))) (* (* (+ (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (* (exp im) (* 0.5 (sin re)))) (+ (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (* (exp im) (* 0.5 (sin re))))) (+ (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (* (exp im) (* 0.5 (sin re))))) (sqrt (+ (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (* (exp im) (* 0.5 (sin re))))) (sqrt (+ (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (* (exp im) (* 0.5 (sin re))))) (+ (pow (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) 3) (pow (* (exp im) (* 0.5 (sin re))) 3)) (+ (* (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im))) (- (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (* (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (* (exp im) (* 0.5 (sin re)))))) (- (* (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im))) (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (- (/ (* (exp 0.0) (* 0.5 (sin re))) (exp im)) (* (exp im) (* 0.5 (sin re)))) (- (* 0.5 (* re (exp 0.0))) (+ (* 0.08333333333333333 (* (pow re 3) (exp 0.0))) (* 0.5 (* re (* (exp 0.0) im))))) (* 0.5 (/ (* (exp 0.0) (sin re)) (exp im))) (* 0.5 (/ (* (exp 0.0) (sin re)) (exp im))) (+ (* 0.5 re) (+ (* 0.5 (* re im)) (* 0.25 (* re (pow im 2))))) (* 0.5 (* (exp im) (sin re))) (* 0.5 (* (exp im) (sin re))) (- (+ (* 0.5 (* re (exp 0.0))) (+ (* 0.5 re) (* 0.5 (* re im)))) (+ (* 0.08333333333333333 (* (pow re 3) (exp 0.0))) (+ (* 0.08333333333333333 (pow re 3)) (* 0.5 (* re (* (exp 0.0) im)))))) (+ (* 0.5 (/ (* (sin re) (exp 0.0)) (exp im))) (* 0.5 (* (exp im) (sin re)))) (+ (* 0.5 (/ (* (sin re) (exp 0.0)) (exp im))) (* 0.5 (* (exp im) (sin re)))) 30.725 * * [simplify]: iteration 0 : 138 enodes (cost 1097 ) 30.748 * * [simplify]: iteration 1 : 410 enodes (cost 1025 ) 30.847 * * [simplify]: iteration 2 : 1794 enodes (cost 843 ) 31.286 * * [simplify]: iteration done : 5000 enodes (cost 843 ) 31.287 * [simplify]: Simplified to: (expm1 (/ (* 0.5 (sin re)) (exp (- im 0.0)))) (log1p (/ (* 0.5 (sin re)) (exp (- im 0.0)))) (+ 0.0 (- (log (* 0.5 (sin re))) im)) (+ 0.0 (- (log (* 0.5 (sin re))) im)) (+ 0.0 (- (log (* 0.5 (sin re))) im)) (+ 0.0 (- (log (* 0.5 (sin re))) im)) (exp (/ (* 0.5 (sin re)) (exp (- im 0.0)))) (pow (/ (* 0.5 (sin re)) (exp (- im 0.0))) 3) (pow (/ (* 0.5 (sin re)) (exp (- im 0.0))) 3) (pow (/ (* 0.5 (sin re)) (exp (- im 0.0))) 3) (* (cbrt (/ (* 0.5 (sin re)) (exp (- im 0.0)))) (cbrt (/ (* 0.5 (sin re)) (exp (- im 0.0))))) (cbrt (/ (* 0.5 (sin re)) (exp (- im 0.0)))) (pow (/ (* 0.5 (sin re)) (exp (- im 0.0))) 3) (sqrt (/ (* 0.5 (sin re)) (exp (- im 0.0)))) (sqrt (/ (* 0.5 (sin re)) (exp (- im 0.0)))) (- (* (exp 0.0) (* 0.5 (sin re)))) (- (exp im)) (/ (exp 0.0) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (* 0.5 (sin re)) (cbrt (exp im))) (/ (exp 0.0) (sqrt (exp im))) (/ (* 0.5 (sin re)) (sqrt (exp im))) (exp 0.0) (/ (* 0.5 (sin re)) (exp im)) (exp (- im)) (/ (/ (exp (- im 0.0)) 0.5) (sin re)) (/ (* (exp 0.0) (* 0.5 (sin re))) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (* (exp 0.0) (* 0.5 (sin re))) (sqrt (exp im))) (* 0.5 (* (sin re) (exp 0.0))) (/ (exp im) (* 0.5 (sin re))) (expm1 (* (exp im) (* 0.5 (sin re)))) (log1p (* (exp im) (* 0.5 (sin re)))) (* 0.5 (* (exp im) (sin re))) (* 0.5 (* (exp im) (sin re))) (+ im (log (* 0.5 (sin re)))) (+ im (log (* 0.5 (sin re)))) (+ im (log (* 0.5 (sin re)))) (exp (* (exp im) (* 0.5 (sin re)))) (pow (* 0.5 (* (exp im) (sin re))) 3) (pow (* 0.5 (* (exp im) (sin re))) 3) (* (cbrt (* (exp im) (* 0.5 (sin re)))) (cbrt (* (exp im) (* 0.5 (sin re))))) (cbrt (* (exp im) (* 0.5 (sin re)))) (pow (* 0.5 (* (exp im) (sin re))) 3) (sqrt (* (exp im) (* 0.5 (sin re)))) (sqrt (* (exp im) (* 0.5 (sin re)))) (* (exp im) 0.5) (* (cbrt (exp im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (* 0.5 (* (exp im) (sin re))) (expm1 (* (+ (* (exp im) (sin re)) (/ (sin re) (exp (- im 0.0)))) 0.5)) (log1p (* (+ (* (exp im) (sin re)) (/ (sin re) (exp (- im 0.0)))) 0.5)) (exp (* (+ (* (exp im) (sin re)) (/ (sin re) (exp (- im 0.0)))) 0.5)) (log (* (+ (* (exp im) (sin re)) (/ (sin re) (exp (- im 0.0)))) 0.5)) (exp (* (+ (* (exp im) (sin re)) (/ (sin re) (exp (- im 0.0)))) 0.5)) (* (cbrt (* (+ (* (exp im) (sin re)) (/ (sin re) (exp (- im 0.0)))) 0.5)) (cbrt (* (+ (* (exp im) (sin re)) (/ (sin re) (exp (- im 0.0)))) 0.5))) (cbrt (* (+ (* (exp im) (sin re)) (/ (sin re) (exp (- im 0.0)))) 0.5)) (pow (* (+ (* (exp im) (sin re)) (/ (sin re) (exp (- im 0.0)))) 0.5) 3) (sqrt (* (+ (* (exp im) (sin re)) (/ (sin re) (exp (- im 0.0)))) 0.5)) (sqrt (* (+ (* (exp im) (sin re)) (/ (sin re) (exp (- im 0.0)))) 0.5)) (+ (pow (/ (* 0.5 (sin re)) (exp (- im 0.0))) 3) (pow (* 0.5 (* (exp im) (sin re))) 3)) (fma (/ (* 0.5 (sin re)) (exp (- im 0.0))) (/ (* 0.5 (sin re)) (exp (- im 0.0))) (* (- (* 0.5 (* (exp im) (sin re))) (/ (* 0.5 (sin re)) (exp (- im 0.0)))) (* 0.5 (* (exp im) (sin re))))) (* (* (+ (* (exp im) (sin re)) (/ (sin re) (exp (- im 0.0)))) 0.5) (- (/ (* 0.5 (sin re)) (exp (- im 0.0))) (* 0.5 (* (exp im) (sin re))))) (- (/ (* 0.5 (sin re)) (exp (- im 0.0))) (* 0.5 (* (exp im) (sin re)))) (- (* (exp 0.0) (- (* 0.5 re) (* 0.08333333333333333 (pow re 3)))) (* 0.5 (* re (* (exp 0.0) im)))) (/ (* 0.5 (sin re)) (exp (- im 0.0))) (/ (* 0.5 (sin re)) (exp (- im 0.0))) (fma 0.5 (+ re (* re im)) (* 0.25 (* re (pow im 2)))) (* 0.5 (* (exp im) (sin re))) (* 0.5 (* (exp im) (sin re))) (- (* 0.5 (+ (* re (exp 0.0)) (+ re (* re im)))) (fma 0.08333333333333333 (* (pow re 3) (exp 0.0)) (fma 0.08333333333333333 (pow re 3) (* 0.5 (* re (* (exp 0.0) im)))))) (* (+ (* (exp im) (sin re)) (/ (sin re) (exp (- im 0.0)))) 0.5) (* (+ (* (exp im) (sin re)) (/ (sin re) (exp (- im 0.0)))) 0.5) 31.287 * * * [progress]: adding candidates to table 31.487 * [progress]: [Phase 3 of 3] Extracting. 31.487 * * [regime]: Finding splitpoints for: (# #) 31.488 * * * [regime-changes]: Trying 6 branch expressions: ((+ (exp (- 0.0 im)) (exp im)) (sin re) (* 0.5 (sin re)) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) im re) 31.488 * * * * [regimes]: Trying to branch on (+ (exp (- 0.0 im)) (exp im)) from (# #) 31.503 * * * * [regimes]: Trying to branch on (sin re) from (# #) 31.521 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# #) 31.537 * * * * [regimes]: Trying to branch on (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) from (# #) 31.559 * * * * [regimes]: Trying to branch on im from (# #) 31.574 * * * * [regimes]: Trying to branch on re from (# #) 31.587 * * * [regime]: Found split indices: #