13.450 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.093 * * * [progress]: [2/2] Setting up program. 0.096 * [progress]: [Phase 2 of 3] Improving. 0.096 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.098 * * [simplify]: iteration 0 : 26 enodes (cost 7 ) 0.100 * * [simplify]: iteration 1 : 62 enodes (cost 7 ) 0.102 * * [simplify]: iteration 2 : 108 enodes (cost 7 ) 0.104 * * [simplify]: iteration 3 : 177 enodes (cost 7 ) 0.107 * * [simplify]: iteration 4 : 279 enodes (cost 7 ) 0.111 * * [simplify]: iteration 5 : 770 enodes (cost 7 ) 0.118 * * [simplify]: iteration 6 : 1075 enodes (cost 7 ) 0.126 * * [simplify]: iteration 7 : 1662 enodes (cost 7 ) 0.148 * * [simplify]: iteration 8 : 4217 enodes (cost 7 ) 0.166 * * [simplify]: iteration 9 : 5002 enodes (cost 7 ) 0.167 * [simplify]: Simplified to: (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.167 * * [progress]: iteration 1 / 4 0.167 * * * [progress]: picking best candidate 0.169 * * * * [pick]: Picked # 0.169 * * * [progress]: localizing error 0.179 * * * [progress]: generating rewritten candidates 0.179 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.193 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.202 * * * [progress]: generating series expansions 0.202 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.202 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in (re im) around 0 0.202 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in im 0.202 * [taylor]: Taking taylor expansion of 0.5 in im 0.202 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in im 0.202 * [taylor]: Taking taylor expansion of (sin re) in im 0.202 * [taylor]: Taking taylor expansion of re in im 0.202 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 0.202 * [taylor]: Taking taylor expansion of (exp im) in im 0.202 * [taylor]: Taking taylor expansion of im in im 0.202 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.202 * [taylor]: Taking taylor expansion of (- im) in im 0.202 * [taylor]: Taking taylor expansion of im in im 0.203 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 0.203 * [taylor]: Taking taylor expansion of 0.5 in re 0.203 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 0.203 * [taylor]: Taking taylor expansion of (sin re) in re 0.203 * [taylor]: Taking taylor expansion of re in re 0.203 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 0.203 * [taylor]: Taking taylor expansion of (exp im) in re 0.203 * [taylor]: Taking taylor expansion of im in re 0.203 * [taylor]: Taking taylor expansion of (exp (- im)) in re 0.203 * [taylor]: Taking taylor expansion of (- im) in re 0.203 * [taylor]: Taking taylor expansion of im in re 0.203 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 0.203 * [taylor]: Taking taylor expansion of 0.5 in re 0.203 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 0.203 * [taylor]: Taking taylor expansion of (sin re) in re 0.203 * [taylor]: Taking taylor expansion of re in re 0.203 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 0.203 * [taylor]: Taking taylor expansion of (exp im) in re 0.203 * [taylor]: Taking taylor expansion of im in re 0.203 * [taylor]: Taking taylor expansion of (exp (- im)) in re 0.203 * [taylor]: Taking taylor expansion of (- im) in re 0.203 * [taylor]: Taking taylor expansion of im in re 0.204 * [taylor]: Taking taylor expansion of 0 in im 0.211 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (- im)))) in im 0.211 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.211 * [taylor]: Taking taylor expansion of 0.5 in im 0.211 * [taylor]: Taking taylor expansion of (exp im) in im 0.211 * [taylor]: Taking taylor expansion of im in im 0.211 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 0.211 * [taylor]: Taking taylor expansion of 0.5 in im 0.211 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.211 * [taylor]: Taking taylor expansion of (- im) in im 0.211 * [taylor]: Taking taylor expansion of im in im 0.216 * [taylor]: Taking taylor expansion of 0 in im 0.225 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im))))) in im 0.225 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im 0.225 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 0.225 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.225 * [taylor]: Taking taylor expansion of (exp im) in im 0.225 * [taylor]: Taking taylor expansion of im in im 0.225 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 0.225 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.225 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.225 * [taylor]: Taking taylor expansion of (- im) in im 0.225 * [taylor]: Taking taylor expansion of im in im 0.232 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 0.232 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 0.232 * [taylor]: Taking taylor expansion of 0.5 in im 0.232 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 0.232 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.232 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.232 * [taylor]: Taking taylor expansion of re in im 0.232 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 0.232 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 0.232 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 0.232 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.232 * [taylor]: Taking taylor expansion of im in im 0.233 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.233 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.233 * [taylor]: Taking taylor expansion of im in im 0.233 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 0.233 * [taylor]: Taking taylor expansion of 0.5 in re 0.233 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 0.233 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.233 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.233 * [taylor]: Taking taylor expansion of re in re 0.234 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 0.234 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 0.234 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 0.234 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.234 * [taylor]: Taking taylor expansion of im in re 0.234 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.234 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.234 * [taylor]: Taking taylor expansion of im in re 0.234 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 0.234 * [taylor]: Taking taylor expansion of 0.5 in re 0.234 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 0.234 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.234 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.234 * [taylor]: Taking taylor expansion of re in re 0.234 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 0.234 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 0.234 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 0.234 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.234 * [taylor]: Taking taylor expansion of im in re 0.235 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.235 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.235 * [taylor]: Taking taylor expansion of im in re 0.235 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 0.235 * [taylor]: Taking taylor expansion of 0.5 in im 0.235 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 0.235 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.235 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.235 * [taylor]: Taking taylor expansion of re in im 0.235 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 0.235 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 0.235 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 0.235 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.235 * [taylor]: Taking taylor expansion of im in im 0.236 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.236 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.236 * [taylor]: Taking taylor expansion of im in im 0.239 * [taylor]: Taking taylor expansion of 0 in im 0.244 * [taylor]: Taking taylor expansion of 0 in im 0.252 * [taylor]: Taking taylor expansion of 0 in im 0.252 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0 0.252 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 0.252 * [taylor]: Taking taylor expansion of 0.5 in im 0.252 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 0.253 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.253 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.253 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.253 * [taylor]: Taking taylor expansion of -1 in im 0.253 * [taylor]: Taking taylor expansion of im in im 0.253 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.253 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.253 * [taylor]: Taking taylor expansion of im in im 0.253 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.253 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.253 * [taylor]: Taking taylor expansion of -1 in im 0.253 * [taylor]: Taking taylor expansion of re in im 0.253 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 0.253 * [taylor]: Taking taylor expansion of 0.5 in re 0.253 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 0.253 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.254 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.254 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.254 * [taylor]: Taking taylor expansion of -1 in re 0.254 * [taylor]: Taking taylor expansion of im in re 0.254 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.254 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.254 * [taylor]: Taking taylor expansion of im in re 0.254 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.254 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.254 * [taylor]: Taking taylor expansion of -1 in re 0.254 * [taylor]: Taking taylor expansion of re in re 0.254 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 0.254 * [taylor]: Taking taylor expansion of 0.5 in re 0.254 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 0.254 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.254 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.254 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.254 * [taylor]: Taking taylor expansion of -1 in re 0.254 * [taylor]: Taking taylor expansion of im in re 0.254 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.254 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.254 * [taylor]: Taking taylor expansion of im in re 0.254 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.254 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.254 * [taylor]: Taking taylor expansion of -1 in re 0.254 * [taylor]: Taking taylor expansion of re in re 0.255 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 0.255 * [taylor]: Taking taylor expansion of 0.5 in im 0.255 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 0.255 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.255 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.255 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.255 * [taylor]: Taking taylor expansion of -1 in im 0.255 * [taylor]: Taking taylor expansion of im in im 0.255 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.256 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.256 * [taylor]: Taking taylor expansion of im in im 0.256 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.256 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.256 * [taylor]: Taking taylor expansion of -1 in im 0.256 * [taylor]: Taking taylor expansion of re in im 0.258 * [taylor]: Taking taylor expansion of 0 in im 0.263 * [taylor]: Taking taylor expansion of 0 in im 0.270 * [taylor]: Taking taylor expansion of 0 in im 0.270 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.270 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (- im))) in (im) around 0 0.270 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 0.270 * [taylor]: Taking taylor expansion of (exp im) in im 0.270 * [taylor]: Taking taylor expansion of im in im 0.270 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.270 * [taylor]: Taking taylor expansion of (- im) in im 0.270 * [taylor]: Taking taylor expansion of im in im 0.270 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 0.270 * [taylor]: Taking taylor expansion of (exp im) in im 0.271 * [taylor]: Taking taylor expansion of im in im 0.271 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.271 * [taylor]: Taking taylor expansion of (- im) in im 0.271 * [taylor]: Taking taylor expansion of im in im 0.285 * [approximate]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 0.285 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 0.285 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 0.285 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 0.285 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.285 * [taylor]: Taking taylor expansion of im in im 0.285 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.285 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.285 * [taylor]: Taking taylor expansion of im in im 0.286 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 0.286 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 0.286 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 0.286 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.286 * [taylor]: Taking taylor expansion of im in im 0.286 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.286 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.286 * [taylor]: Taking taylor expansion of im in im 0.291 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 0.291 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.291 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.291 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.291 * [taylor]: Taking taylor expansion of -1 in im 0.291 * [taylor]: Taking taylor expansion of im in im 0.292 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.292 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.292 * [taylor]: Taking taylor expansion of im in im 0.292 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.292 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.292 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.292 * [taylor]: Taking taylor expansion of -1 in im 0.292 * [taylor]: Taking taylor expansion of im in im 0.292 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.292 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.292 * [taylor]: Taking taylor expansion of im in im 0.294 * * * [progress]: simplifying candidates 0.295 * [simplify]: Simplifying using # : (* (* 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)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp 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))) (* (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))) (* (* 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))) (* (cbrt (* 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)) (exp im))) (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0.0 im)) (exp im))) (* (cbrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (* (cbrt 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)) (exp im))) (* 0.5 (+ (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)))) (* (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)) 0.299 * * [simplify]: iteration 0 : 351 enodes (cost 485 ) 0.306 * * [simplify]: iteration 1 : 1427 enodes (cost 431 ) 0.332 * * [simplify]: iteration 2 : 5002 enodes (cost 430 ) 0.334 * [simplify]: Simplified to: (* (* 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)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp 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 (- 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)) (* (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))) (* (cbrt (* 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)) (exp im))) (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0.0 im)) (exp im))) (* (cbrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (* (cbrt 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)) (exp im))) (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im im)))) (* 0.5 (sin re))) (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)) (+ (exp (+ im im)) (- (pow (exp 2) (- 0.0 im)) (exp (+ (- 0.0 im) im)))) (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im 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 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp (* -1 im)) (exp im)) (+ (exp (* -1 im)) (exp im)) 0.334 * * * [progress]: adding candidates to table 0.456 * * [progress]: iteration 2 / 4 0.456 * * * [progress]: picking best candidate 0.466 * * * * [pick]: Picked # 0.466 * * * [progress]: localizing error 0.477 * * * [progress]: generating rewritten candidates 0.477 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.486 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.500 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.540 * * * [progress]: generating series expansions 0.540 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.540 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in (re im) around 0 0.540 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 0.540 * [taylor]: Taking taylor expansion of 0.5 in im 0.540 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 0.540 * [taylor]: Taking taylor expansion of (exp im) in im 0.540 * [taylor]: Taking taylor expansion of im in im 0.540 * [taylor]: Taking taylor expansion of (sin re) in im 0.540 * [taylor]: Taking taylor expansion of re in im 0.540 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 0.540 * [taylor]: Taking taylor expansion of 0.5 in re 0.540 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 0.540 * [taylor]: Taking taylor expansion of (exp im) in re 0.540 * [taylor]: Taking taylor expansion of im in re 0.540 * [taylor]: Taking taylor expansion of (sin re) in re 0.540 * [taylor]: Taking taylor expansion of re in re 0.540 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 0.540 * [taylor]: Taking taylor expansion of 0.5 in re 0.540 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 0.540 * [taylor]: Taking taylor expansion of (exp im) in re 0.541 * [taylor]: Taking taylor expansion of im in re 0.541 * [taylor]: Taking taylor expansion of (sin re) in re 0.541 * [taylor]: Taking taylor expansion of re in re 0.541 * [taylor]: Taking taylor expansion of 0 in im 0.543 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.543 * [taylor]: Taking taylor expansion of 0.5 in im 0.543 * [taylor]: Taking taylor expansion of (exp im) in im 0.543 * [taylor]: Taking taylor expansion of im in im 0.545 * [taylor]: Taking taylor expansion of 0 in im 0.549 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (exp im))) in im 0.549 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 0.549 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.549 * [taylor]: Taking taylor expansion of (exp im) in im 0.549 * [taylor]: Taking taylor expansion of im in im 0.550 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0 0.550 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 0.550 * [taylor]: Taking taylor expansion of 0.5 in im 0.550 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 0.550 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.550 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.550 * [taylor]: Taking taylor expansion of re in im 0.551 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.551 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.551 * [taylor]: Taking taylor expansion of im in im 0.551 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 0.551 * [taylor]: Taking taylor expansion of 0.5 in re 0.551 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 0.551 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.551 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.551 * [taylor]: Taking taylor expansion of re in re 0.551 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.551 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.551 * [taylor]: Taking taylor expansion of im in re 0.551 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 0.551 * [taylor]: Taking taylor expansion of 0.5 in re 0.551 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 0.551 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.551 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.551 * [taylor]: Taking taylor expansion of re in re 0.552 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.552 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.552 * [taylor]: Taking taylor expansion of im in re 0.552 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 0.552 * [taylor]: Taking taylor expansion of 0.5 in im 0.552 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 0.552 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.552 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.552 * [taylor]: Taking taylor expansion of re in im 0.552 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.552 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.552 * [taylor]: Taking taylor expansion of im in im 0.554 * [taylor]: Taking taylor expansion of 0 in im 0.557 * [taylor]: Taking taylor expansion of 0 in im 0.566 * [taylor]: Taking taylor expansion of 0 in im 0.566 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in (re im) around 0 0.566 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 0.566 * [taylor]: Taking taylor expansion of 0.5 in im 0.566 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 0.566 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.566 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.566 * [taylor]: Taking taylor expansion of -1 in im 0.566 * [taylor]: Taking taylor expansion of im in im 0.566 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.566 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.566 * [taylor]: Taking taylor expansion of -1 in im 0.566 * [taylor]: Taking taylor expansion of re in im 0.567 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 0.567 * [taylor]: Taking taylor expansion of 0.5 in re 0.567 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 0.567 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.567 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.567 * [taylor]: Taking taylor expansion of -1 in re 0.567 * [taylor]: Taking taylor expansion of im in re 0.567 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.567 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.567 * [taylor]: Taking taylor expansion of -1 in re 0.567 * [taylor]: Taking taylor expansion of re in re 0.567 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 0.567 * [taylor]: Taking taylor expansion of 0.5 in re 0.567 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 0.567 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.567 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.567 * [taylor]: Taking taylor expansion of -1 in re 0.567 * [taylor]: Taking taylor expansion of im in re 0.567 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.567 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.567 * [taylor]: Taking taylor expansion of -1 in re 0.567 * [taylor]: Taking taylor expansion of re in re 0.568 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 0.568 * [taylor]: Taking taylor expansion of 0.5 in im 0.568 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 0.568 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.568 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.568 * [taylor]: Taking taylor expansion of -1 in im 0.568 * [taylor]: Taking taylor expansion of im in im 0.568 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.568 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.568 * [taylor]: Taking taylor expansion of -1 in im 0.568 * [taylor]: Taking taylor expansion of re in im 0.570 * [taylor]: Taking taylor expansion of 0 in im 0.573 * [taylor]: Taking taylor expansion of 0 in im 0.578 * [taylor]: Taking taylor expansion of 0 in im 0.579 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.579 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in (re im) around 0 0.579 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 0.579 * [taylor]: Taking taylor expansion of 0.5 in im 0.579 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 0.579 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.579 * [taylor]: Taking taylor expansion of (- im) in im 0.579 * [taylor]: Taking taylor expansion of im in im 0.579 * [taylor]: Taking taylor expansion of (sin re) in im 0.579 * [taylor]: Taking taylor expansion of re in im 0.579 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re 0.579 * [taylor]: Taking taylor expansion of 0.5 in re 0.579 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re 0.579 * [taylor]: Taking taylor expansion of (exp (- im)) in re 0.579 * [taylor]: Taking taylor expansion of (- im) in re 0.579 * [taylor]: Taking taylor expansion of im in re 0.580 * [taylor]: Taking taylor expansion of (sin re) in re 0.580 * [taylor]: Taking taylor expansion of re in re 0.580 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re 0.580 * [taylor]: Taking taylor expansion of 0.5 in re 0.580 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re 0.580 * [taylor]: Taking taylor expansion of (exp (- im)) in re 0.580 * [taylor]: Taking taylor expansion of (- im) in re 0.580 * [taylor]: Taking taylor expansion of im in re 0.580 * [taylor]: Taking taylor expansion of (sin re) in re 0.580 * [taylor]: Taking taylor expansion of re in re 0.580 * [taylor]: Taking taylor expansion of 0 in im 0.582 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 0.582 * [taylor]: Taking taylor expansion of 0.5 in im 0.582 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.582 * [taylor]: Taking taylor expansion of (- im) in im 0.582 * [taylor]: Taking taylor expansion of im in im 0.585 * [taylor]: Taking taylor expansion of 0 in im 0.591 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (exp (- im)))) in im 0.591 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 0.591 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.591 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.591 * [taylor]: Taking taylor expansion of (- im) in im 0.591 * [taylor]: Taking taylor expansion of im in im 0.593 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in (re im) around 0 0.593 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 0.593 * [taylor]: Taking taylor expansion of 0.5 in im 0.593 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 0.593 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.593 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.593 * [taylor]: Taking taylor expansion of re in im 0.593 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 0.593 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 0.593 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.593 * [taylor]: Taking taylor expansion of im in im 0.593 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 0.593 * [taylor]: Taking taylor expansion of 0.5 in re 0.593 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 0.593 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.593 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.593 * [taylor]: Taking taylor expansion of re in re 0.594 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 0.594 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 0.594 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.594 * [taylor]: Taking taylor expansion of im in re 0.594 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 0.594 * [taylor]: Taking taylor expansion of 0.5 in re 0.594 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 0.594 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.594 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.594 * [taylor]: Taking taylor expansion of re in re 0.594 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 0.594 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 0.594 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.594 * [taylor]: Taking taylor expansion of im in re 0.595 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 0.595 * [taylor]: Taking taylor expansion of 0.5 in im 0.595 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 0.595 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.595 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.595 * [taylor]: Taking taylor expansion of re in im 0.595 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 0.595 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 0.595 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.595 * [taylor]: Taking taylor expansion of im in im 0.597 * [taylor]: Taking taylor expansion of 0 in im 0.601 * [taylor]: Taking taylor expansion of 0 in im 0.607 * [taylor]: Taking taylor expansion of 0 in im 0.607 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in (re im) around 0 0.607 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 0.607 * [taylor]: Taking taylor expansion of 0.5 in im 0.608 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 0.608 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.608 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.608 * [taylor]: Taking taylor expansion of -1 in im 0.608 * [taylor]: Taking taylor expansion of re in im 0.608 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.608 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.608 * [taylor]: Taking taylor expansion of im in im 0.608 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 0.608 * [taylor]: Taking taylor expansion of 0.5 in re 0.608 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 0.608 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.608 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.608 * [taylor]: Taking taylor expansion of -1 in re 0.608 * [taylor]: Taking taylor expansion of re in re 0.608 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.608 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.608 * [taylor]: Taking taylor expansion of im in re 0.609 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 0.609 * [taylor]: Taking taylor expansion of 0.5 in re 0.609 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 0.609 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.609 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.609 * [taylor]: Taking taylor expansion of -1 in re 0.609 * [taylor]: Taking taylor expansion of re in re 0.609 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.609 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.609 * [taylor]: Taking taylor expansion of im in re 0.609 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 0.609 * [taylor]: Taking taylor expansion of 0.5 in im 0.609 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 0.609 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.609 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.609 * [taylor]: Taking taylor expansion of -1 in im 0.609 * [taylor]: Taking taylor expansion of re in im 0.609 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.609 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.609 * [taylor]: Taking taylor expansion of im in im 0.611 * [taylor]: Taking taylor expansion of 0 in im 0.615 * [taylor]: Taking taylor expansion of 0 in im 0.620 * [taylor]: Taking taylor expansion of 0 in im 0.620 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.620 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in (re im) around 0 0.620 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in im 0.620 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 0.620 * [taylor]: Taking taylor expansion of 0.5 in im 0.620 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 0.620 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.620 * [taylor]: Taking taylor expansion of (- im) in im 0.620 * [taylor]: Taking taylor expansion of im in im 0.621 * [taylor]: Taking taylor expansion of (sin re) in im 0.621 * [taylor]: Taking taylor expansion of re in im 0.621 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 0.621 * [taylor]: Taking taylor expansion of 0.5 in im 0.621 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 0.621 * [taylor]: Taking taylor expansion of (exp im) in im 0.621 * [taylor]: Taking taylor expansion of im in im 0.621 * [taylor]: Taking taylor expansion of (sin re) in im 0.621 * [taylor]: Taking taylor expansion of re in im 0.621 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in re 0.621 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re 0.621 * [taylor]: Taking taylor expansion of 0.5 in re 0.621 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re 0.621 * [taylor]: Taking taylor expansion of (exp (- im)) in re 0.621 * [taylor]: Taking taylor expansion of (- im) in re 0.621 * [taylor]: Taking taylor expansion of im in re 0.621 * [taylor]: Taking taylor expansion of (sin re) in re 0.621 * [taylor]: Taking taylor expansion of re in re 0.621 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 0.621 * [taylor]: Taking taylor expansion of 0.5 in re 0.621 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 0.621 * [taylor]: Taking taylor expansion of (exp im) in re 0.621 * [taylor]: Taking taylor expansion of im in re 0.621 * [taylor]: Taking taylor expansion of (sin re) in re 0.621 * [taylor]: Taking taylor expansion of re in re 0.621 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in re 0.621 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re 0.621 * [taylor]: Taking taylor expansion of 0.5 in re 0.621 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re 0.621 * [taylor]: Taking taylor expansion of (exp (- im)) in re 0.621 * [taylor]: Taking taylor expansion of (- im) in re 0.621 * [taylor]: Taking taylor expansion of im in re 0.621 * [taylor]: Taking taylor expansion of (sin re) in re 0.621 * [taylor]: Taking taylor expansion of re in re 0.621 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 0.621 * [taylor]: Taking taylor expansion of 0.5 in re 0.622 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 0.622 * [taylor]: Taking taylor expansion of (exp im) in re 0.622 * [taylor]: Taking taylor expansion of im in re 0.622 * [taylor]: Taking taylor expansion of (sin re) in re 0.622 * [taylor]: Taking taylor expansion of re in re 0.622 * [taylor]: Taking taylor expansion of 0 in im 0.625 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (- im)))) in im 0.625 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.626 * [taylor]: Taking taylor expansion of 0.5 in im 0.626 * [taylor]: Taking taylor expansion of (exp im) in im 0.626 * [taylor]: Taking taylor expansion of im in im 0.626 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 0.626 * [taylor]: Taking taylor expansion of 0.5 in im 0.626 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.626 * [taylor]: Taking taylor expansion of (- im) in im 0.626 * [taylor]: Taking taylor expansion of im in im 0.631 * [taylor]: Taking taylor expansion of 0 in im 0.641 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im))))) in im 0.642 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im 0.642 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 0.642 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.642 * [taylor]: Taking taylor expansion of (exp im) in im 0.642 * [taylor]: Taking taylor expansion of im in im 0.642 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 0.642 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.642 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.642 * [taylor]: Taking taylor expansion of (- im) in im 0.642 * [taylor]: Taking taylor expansion of im in im 0.651 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in (re im) around 0 0.651 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in im 0.651 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 0.651 * [taylor]: Taking taylor expansion of 0.5 in im 0.652 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 0.652 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.652 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.652 * [taylor]: Taking taylor expansion of re in im 0.652 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 0.652 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 0.652 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.652 * [taylor]: Taking taylor expansion of im in im 0.652 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 0.652 * [taylor]: Taking taylor expansion of 0.5 in im 0.652 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 0.652 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.652 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.652 * [taylor]: Taking taylor expansion of re in im 0.652 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.652 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.652 * [taylor]: Taking taylor expansion of im in im 0.653 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in re 0.653 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 0.653 * [taylor]: Taking taylor expansion of 0.5 in re 0.653 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 0.653 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.653 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.653 * [taylor]: Taking taylor expansion of re in re 0.653 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 0.653 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 0.653 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.653 * [taylor]: Taking taylor expansion of im in re 0.653 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 0.653 * [taylor]: Taking taylor expansion of 0.5 in re 0.653 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 0.653 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.653 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.653 * [taylor]: Taking taylor expansion of re in re 0.654 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.654 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.654 * [taylor]: Taking taylor expansion of im in re 0.654 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in re 0.654 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 0.654 * [taylor]: Taking taylor expansion of 0.5 in re 0.654 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 0.654 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.654 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.654 * [taylor]: Taking taylor expansion of re in re 0.654 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 0.654 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 0.654 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.654 * [taylor]: Taking taylor expansion of im in re 0.654 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 0.654 * [taylor]: Taking taylor expansion of 0.5 in re 0.654 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 0.654 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.654 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.654 * [taylor]: Taking taylor expansion of re in re 0.655 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.655 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.655 * [taylor]: Taking taylor expansion of im in re 0.655 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in im 0.655 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 0.655 * [taylor]: Taking taylor expansion of 0.5 in im 0.655 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 0.655 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.655 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.655 * [taylor]: Taking taylor expansion of re in im 0.656 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 0.656 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 0.656 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.656 * [taylor]: Taking taylor expansion of im in im 0.656 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 0.656 * [taylor]: Taking taylor expansion of 0.5 in im 0.656 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 0.656 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.656 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.656 * [taylor]: Taking taylor expansion of re in im 0.656 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.656 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.656 * [taylor]: Taking taylor expansion of im in im 0.660 * [taylor]: Taking taylor expansion of 0 in im 0.668 * [taylor]: Taking taylor expansion of 0 in im 0.679 * [taylor]: Taking taylor expansion of 0 in im 0.679 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in (re im) around 0 0.679 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in im 0.679 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 0.680 * [taylor]: Taking taylor expansion of 0.5 in im 0.680 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 0.680 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.680 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.680 * [taylor]: Taking taylor expansion of -1 in im 0.680 * [taylor]: Taking taylor expansion of re in im 0.680 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.680 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.680 * [taylor]: Taking taylor expansion of im in im 0.680 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 0.680 * [taylor]: Taking taylor expansion of 0.5 in im 0.680 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 0.680 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.680 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.680 * [taylor]: Taking taylor expansion of -1 in im 0.680 * [taylor]: Taking taylor expansion of im in im 0.680 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.680 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.680 * [taylor]: Taking taylor expansion of -1 in im 0.680 * [taylor]: Taking taylor expansion of re in im 0.681 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in re 0.681 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 0.681 * [taylor]: Taking taylor expansion of 0.5 in re 0.681 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 0.681 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.681 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.681 * [taylor]: Taking taylor expansion of -1 in re 0.681 * [taylor]: Taking taylor expansion of re in re 0.681 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.681 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.681 * [taylor]: Taking taylor expansion of im in re 0.681 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 0.681 * [taylor]: Taking taylor expansion of 0.5 in re 0.681 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 0.681 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.681 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.681 * [taylor]: Taking taylor expansion of -1 in re 0.681 * [taylor]: Taking taylor expansion of im in re 0.681 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.681 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.681 * [taylor]: Taking taylor expansion of -1 in re 0.681 * [taylor]: Taking taylor expansion of re in re 0.682 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in re 0.682 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 0.682 * [taylor]: Taking taylor expansion of 0.5 in re 0.682 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 0.682 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.682 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.682 * [taylor]: Taking taylor expansion of -1 in re 0.682 * [taylor]: Taking taylor expansion of re in re 0.682 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.682 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.682 * [taylor]: Taking taylor expansion of im in re 0.682 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 0.682 * [taylor]: Taking taylor expansion of 0.5 in re 0.682 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 0.682 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.682 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.682 * [taylor]: Taking taylor expansion of -1 in re 0.682 * [taylor]: Taking taylor expansion of im in re 0.682 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.682 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.682 * [taylor]: Taking taylor expansion of -1 in re 0.682 * [taylor]: Taking taylor expansion of re in re 0.683 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in im 0.683 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 0.683 * [taylor]: Taking taylor expansion of 0.5 in im 0.683 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 0.683 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.683 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.683 * [taylor]: Taking taylor expansion of -1 in im 0.683 * [taylor]: Taking taylor expansion of re in im 0.683 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.683 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.683 * [taylor]: Taking taylor expansion of im in im 0.684 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 0.684 * [taylor]: Taking taylor expansion of 0.5 in im 0.684 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 0.684 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.684 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.684 * [taylor]: Taking taylor expansion of -1 in im 0.684 * [taylor]: Taking taylor expansion of im in im 0.684 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.684 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.684 * [taylor]: Taking taylor expansion of -1 in im 0.684 * [taylor]: Taking taylor expansion of re in im 0.687 * [taylor]: Taking taylor expansion of 0 in im 0.695 * [taylor]: Taking taylor expansion of 0 in im 0.705 * [taylor]: Taking taylor expansion of 0 in im 0.706 * * * [progress]: simplifying candidates 0.707 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)) (+ (+ (log 0.5) (log (sin re))) im) (+ (+ (log 0.5) (log (sin re))) (log (exp im))) (+ (log (* 0.5 (sin re))) im) (+ (log (* 0.5 (sin re))) (log (exp im))) (log (* (* 0.5 (sin re)) (exp im))) (exp (* (* 0.5 (sin re)) (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))) (* (* (exp im) (exp im)) (exp im))) (* (cbrt (* (* 0.5 (sin re)) (exp im))) (cbrt (* (* 0.5 (sin re)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (exp im))) (* (* (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))) (* (* 0.5 (sin re)) (exp im))) (sqrt (* (* 0.5 (sin re)) (exp im))) (sqrt (* (* 0.5 (sin re)) (exp im))) (* (sqrt (* 0.5 (sin re))) (sqrt (exp im))) (* (sqrt (* 0.5 (sin re))) (sqrt (exp im))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (exp im))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (exp im))) (* (* 0.5 (sin re)) (* (cbrt (exp im)) (cbrt (exp im)))) (* (* 0.5 (sin re)) (sqrt (exp im))) (* (* 0.5 (sin re)) 1) (* (sin re) (exp im)) (* (cbrt (* 0.5 (sin re))) (exp im)) (* (sqrt (* 0.5 (sin re))) (exp im)) (* (* 0.5 (sin re)) (exp im)) (* (* (sqrt 0.5) (sqrt (sin re))) (exp im)) (* (cbrt (sin re)) (exp im)) (* (sqrt (sin re)) (exp im)) (* (sin re) (exp im)) (* (* (cbrt 0.5) (sin re)) (exp im)) (* (* (sqrt 0.5) (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)) (* 0.5 (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (+ (+ (log 0.5) (log (sin re))) (- 0.0 im)) (+ (+ (log 0.5) (log (sin re))) (log (exp (- 0.0 im)))) (+ (log (* 0.5 (sin re))) (- 0.0 im)) (+ (log (* 0.5 (sin re))) (log (exp (- 0.0 im)))) (log (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (exp (* (* 0.5 (sin re)) (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))) (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (exp (- 0.0 im)))) (* (cbrt (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (cbrt (* (* 0.5 (sin re)) (exp (- 0.0 im))))) (cbrt (* (* 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)) (exp (- 0.0 im)))) (sqrt (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (sqrt (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (exp (- 0.0 im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (exp (- 0.0 im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (exp (- 0.0 im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (exp (- 0.0 im)))) (* (* 0.5 (sin re)) (exp 0.0)) (* (* 0.5 (sin re)) (exp 0.0)) (* (* 0.5 (sin re)) (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im))))) (* (* 0.5 (sin re)) (sqrt (exp (- 0.0 im)))) (* (* 0.5 (sin re)) 1) (* (sin re) (exp (- 0.0 im))) (* (cbrt (* 0.5 (sin re))) (exp (- 0.0 im))) (* (sqrt (* 0.5 (sin re))) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* (sqrt 0.5) (sqrt (sin re))) (exp (- 0.0 im))) (* (cbrt (sin re)) (exp (- 0.0 im))) (* (sqrt (sin re)) (exp (- 0.0 im))) (* (sin re) (exp (- 0.0 im))) (* (* (cbrt 0.5) (sin re)) (exp (- 0.0 im))) (* (* (sqrt 0.5) (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* 0.5 (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp 0.0)) (* (exp (* (* 0.5 (sin re)) (exp im))) (exp (* (* 0.5 (sin re)) (exp (- 0.0 im))))) (log (+ (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))))) (exp (+ (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))))) (* (cbrt (+ (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))))) (cbrt (+ (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im)))))) (cbrt (+ (* (* 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)) (exp (- 0.0 im))))) (sqrt (+ (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))))) (sqrt (+ (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))))) (+ (pow (* (* 0.5 (sin re)) (exp im)) 3) (pow (* (* 0.5 (sin re)) (exp (- 0.0 im))) 3)) (+ (* (* (* 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 (- 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 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 (- 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)) (exp (- 0.0 im)))) (+ (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (+ (exp im) (exp (- 0.0 im))) (+ (* (sin re) (exp im)) (* (sin re) (exp (- 0.0 im)))) (+ (* (cbrt (* 0.5 (sin re))) (exp im)) (* (cbrt (* 0.5 (sin re))) (exp (- 0.0 im)))) (+ (* (sqrt (* 0.5 (sin re))) (exp im)) (* (sqrt (* 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)) (exp (- 0.0 im)))) (+ (* (* (sqrt 0.5) (sqrt (sin re))) (exp im)) (* (* (sqrt 0.5) (sqrt (sin re))) (exp (- 0.0 im)))) (+ (* (cbrt (sin re)) (exp im)) (* (cbrt (sin re)) (exp (- 0.0 im)))) (+ (* (sqrt (sin re)) (exp im)) (* (sqrt (sin re)) (exp (- 0.0 im)))) (+ (* (sin re) (exp im)) (* (sin re) (exp (- 0.0 im)))) (+ (* (* (cbrt 0.5) (sin re)) (exp im)) (* (* (cbrt 0.5) (sin re)) (exp (- 0.0 im)))) (+ (* (* (sqrt 0.5) (sin re)) (exp im)) (* (* (sqrt 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)) (exp (- 0.0 im)))) (+ (* 0.5 (exp im)) (* 0.5 (exp (- 0.0 im)))) (+ (exp im) (exp (- 0.0 im))) (- (+ (* 0.5 re) (* 0.5 (* re im))) (* 0.08333333333333333 (pow re 3))) (* 0.5 (* (exp im) (sin re))) (* 0.5 (* (exp im) (sin re))) (- (* 0.5 re) (+ (* 0.08333333333333333 (pow re 3)) (* 0.5 (* re im)))) (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp (* -1 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)))) 0.713 * * [simplify]: iteration 0 : 426 enodes (cost 800 ) 0.721 * * [simplify]: iteration 1 : 1732 enodes (cost 722 ) 0.761 * * [simplify]: iteration 2 : 5001 enodes (cost 716 ) 0.764 * [simplify]: Simplified to: (* 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)))) (+ im (log (* 0.5 (sin re)))) (+ im (log (* 0.5 (sin re)))) (exp (* (* 0.5 (sin re)) (exp im))) (pow (* (* 0.5 (sin re)) (exp im)) 3) (pow (* (* 0.5 (sin re)) (exp im)) 3) (* (cbrt (* (* 0.5 (sin re)) (exp im))) (cbrt (* (* 0.5 (sin re)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (exp im))) (pow (* (* 0.5 (sin re)) (exp im)) 3) (sqrt (* (* 0.5 (sin re)) (exp im))) (sqrt (* (* 0.5 (sin re)) (exp im))) (* (sqrt (* 0.5 (sin re))) (sqrt (exp im))) (* (sqrt (* 0.5 (sin re))) (sqrt (exp im))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (exp im))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (exp im))) (* (* 0.5 (sin re)) (* (cbrt (exp im)) (cbrt (exp im)))) (* (* 0.5 (sin re)) (sqrt (exp im))) (* 0.5 (sin re)) (* (sin re) (exp im)) (* (cbrt (* 0.5 (sin re))) (exp im)) (* (sqrt (* 0.5 (sin re))) (exp im)) (* 0.5 (* (exp im) (sin re))) (* (* (sqrt 0.5) (sqrt (sin re))) (exp im)) (* (cbrt (sin re)) (exp im)) (* (sqrt (sin re)) (exp im)) (* (sin re) (exp im)) (* (* (cbrt 0.5) (sin re)) (exp im)) (* (* (sqrt 0.5) (sin re)) (exp im)) (* 0.5 (* (exp im) (sin re))) (* 0.5 (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (- (+ (log (* 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))) 0.0) im) (- (+ (log (* 0.5 (sin re))) 0.0) im) (exp (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (pow (* (* 0.5 (sin re)) (exp (- 0.0 im))) 3) (pow (* (* 0.5 (sin re)) (exp (- 0.0 im))) 3) (* (cbrt (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (cbrt (* (* 0.5 (sin re)) (exp (- 0.0 im))))) (cbrt (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (pow (* (* 0.5 (sin re)) (exp (- 0.0 im))) 3) (sqrt (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (sqrt (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (exp (- 0.0 im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (exp (- 0.0 im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (exp (- 0.0 im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (exp (- 0.0 im)))) (* (* 0.5 (sin re)) (exp 0.0)) (* (* 0.5 (sin re)) (exp 0.0)) (* (* 0.5 (sin re)) (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im))))) (* (* 0.5 (sin re)) (sqrt (exp (- 0.0 im)))) (* 0.5 (sin re)) (* (sin re) (exp (- 0.0 im))) (* (cbrt (* 0.5 (sin re))) (exp (- 0.0 im))) (* (sqrt (* 0.5 (sin re))) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* (sqrt 0.5) (sqrt (sin re))) (exp (- 0.0 im))) (* (cbrt (sin re)) (exp (- 0.0 im))) (* (sqrt (sin re)) (exp (- 0.0 im))) (* (sin re) (exp (- 0.0 im))) (* (* (cbrt 0.5) (sin re)) (exp (- 0.0 im))) (* (* (sqrt 0.5) (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* 0.5 (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp 0.0)) (pow (exp (* 0.5 (sin re))) (+ (exp im) (exp (- 0.0 im)))) (+ (log (* 0.5 (sin re))) (log (+ (exp im) (exp (- 0.0 im))))) (pow (exp (* 0.5 (sin re))) (+ (exp im) (exp (- 0.0 im)))) (* (cbrt (+ (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))))) (cbrt (+ (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im)))))) (cbrt (+ (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))))) (pow (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im)))) 3) (sqrt (+ (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))))) (sqrt (+ (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))))) (* (pow (* 0.5 (sin re)) 3) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (+ (* (exp (+ im im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* (* 0.5 (sin re)) (- (exp (- 0.0 im)) (exp im)))))) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (- (exp (+ im im)) (exp (+ (- 0.0 im) (- 0.0 im))))) (* (* 0.5 (sin re)) (- (exp im) (exp (- 0.0 im)))) (+ (exp im) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im)))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im)))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im)))) (+ (exp im) (exp (- 0.0 im))) (* (sin re) (+ (exp im) (exp (- 0.0 im)))) (* (cbrt (* 0.5 (sin re))) (+ (exp im) (exp (- 0.0 im)))) (* (sqrt (* 0.5 (sin re))) (+ (exp im) (exp (- 0.0 im)))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im)))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im)))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp im) (exp (- 0.0 im)))) (* (cbrt (sin re)) (+ (exp im) (exp (- 0.0 im)))) (* (sqrt (sin re)) (+ (exp im) (exp (- 0.0 im)))) (* (sin re) (+ (exp im) (exp (- 0.0 im)))) (* (* (cbrt 0.5) (sin re)) (+ (exp im) (exp (- 0.0 im)))) (* (* (sqrt 0.5) (sin re)) (+ (exp im) (exp (- 0.0 im)))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im)))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im)))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im)))) (* 0.5 (+ (exp im) (exp (- 0.0 im)))) (+ (exp im) (exp (- 0.0 im))) (- (+ (* 0.5 re) (* 0.5 (* re im))) (* 0.08333333333333333 (pow re 3))) (* 0.5 (* (exp im) (sin re))) (* 0.5 (* (exp im) (sin re))) (- (* 0.5 re) (+ (* 0.08333333333333333 (pow re 3)) (* 0.5 (* re im)))) (* 0.5 (* (exp (* -1 im)) (sin re))) (* 0.5 (* (exp (* -1 im)) (sin re))) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* (* (sin re) (+ (exp (* -1 im)) (exp im))) 0.5) (* (* (sin re) (+ (exp (* -1 im)) (exp im))) 0.5) 0.765 * * * [progress]: adding candidates to table 1.016 * * [progress]: iteration 3 / 4 1.016 * * * [progress]: picking best candidate 1.021 * * * * [pick]: Picked # 1.022 * * * [progress]: localizing error 1.036 * * * [progress]: generating rewritten candidates 1.037 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.043 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.058 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 1.060 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 1.065 * * * [progress]: generating series expansions 1.065 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1.065 * [approximate]: Taking taylor expansion of (pow (pow (exp im) 2) 1/3) in (im) around 0 1.065 * [taylor]: Taking taylor expansion of (pow (pow (exp im) 2) 1/3) in im 1.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp im) 2)))) in im 1.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp im) 2))) in im 1.065 * [taylor]: Taking taylor expansion of 1/3 in im 1.065 * [taylor]: Taking taylor expansion of (log (pow (exp im) 2)) in im 1.065 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 1.065 * [taylor]: Taking taylor expansion of (exp im) in im 1.065 * [taylor]: Taking taylor expansion of im in im 1.069 * [taylor]: Taking taylor expansion of (pow (pow (exp im) 2) 1/3) in im 1.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp im) 2)))) in im 1.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp im) 2))) in im 1.069 * [taylor]: Taking taylor expansion of 1/3 in im 1.069 * [taylor]: Taking taylor expansion of (log (pow (exp im) 2)) in im 1.069 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 1.069 * [taylor]: Taking taylor expansion of (exp im) in im 1.069 * [taylor]: Taking taylor expansion of im in im 1.077 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ 1 im)) 2) 1/3) in (im) around 0 1.077 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 im)) 2) 1/3) in im 1.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ 1 im)) 2)))) in im 1.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ 1 im)) 2))) in im 1.077 * [taylor]: Taking taylor expansion of 1/3 in im 1.077 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 im)) 2)) in im 1.077 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 1.077 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.077 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.077 * [taylor]: Taking taylor expansion of im in im 1.078 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 im)) 2) 1/3) in im 1.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ 1 im)) 2)))) in im 1.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ 1 im)) 2))) in im 1.078 * [taylor]: Taking taylor expansion of 1/3 in im 1.078 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 im)) 2)) in im 1.078 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 1.078 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.078 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.078 * [taylor]: Taking taylor expansion of im in im 1.116 * [approximate]: Taking taylor expansion of (pow (pow (exp (/ -1 im)) 2) 1/3) in (im) around 0 1.116 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 im)) 2) 1/3) in im 1.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ -1 im)) 2)))) in im 1.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ -1 im)) 2))) in im 1.116 * [taylor]: Taking taylor expansion of 1/3 in im 1.116 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 im)) 2)) in im 1.116 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 1.116 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.116 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.116 * [taylor]: Taking taylor expansion of -1 in im 1.116 * [taylor]: Taking taylor expansion of im in im 1.117 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 im)) 2) 1/3) in im 1.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (exp (/ -1 im)) 2)))) in im 1.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (exp (/ -1 im)) 2))) in im 1.117 * [taylor]: Taking taylor expansion of 1/3 in im 1.117 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 im)) 2)) in im 1.117 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 1.117 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.117 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.117 * [taylor]: Taking taylor expansion of -1 in im 1.117 * [taylor]: Taking taylor expansion of im in im 1.158 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.158 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in (re im) around 0 1.158 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 1.158 * [taylor]: Taking taylor expansion of 0.5 in im 1.158 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 1.158 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.158 * [taylor]: Taking taylor expansion of (- im) in im 1.158 * [taylor]: Taking taylor expansion of im in im 1.159 * [taylor]: Taking taylor expansion of (sin re) in im 1.159 * [taylor]: Taking taylor expansion of re in im 1.159 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re 1.159 * [taylor]: Taking taylor expansion of 0.5 in re 1.159 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re 1.159 * [taylor]: Taking taylor expansion of (exp (- im)) in re 1.159 * [taylor]: Taking taylor expansion of (- im) in re 1.159 * [taylor]: Taking taylor expansion of im in re 1.159 * [taylor]: Taking taylor expansion of (sin re) in re 1.159 * [taylor]: Taking taylor expansion of re in re 1.159 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re 1.159 * [taylor]: Taking taylor expansion of 0.5 in re 1.159 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re 1.159 * [taylor]: Taking taylor expansion of (exp (- im)) in re 1.159 * [taylor]: Taking taylor expansion of (- im) in re 1.159 * [taylor]: Taking taylor expansion of im in re 1.159 * [taylor]: Taking taylor expansion of (sin re) in re 1.159 * [taylor]: Taking taylor expansion of re in re 1.160 * [taylor]: Taking taylor expansion of 0 in im 1.161 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 1.161 * [taylor]: Taking taylor expansion of 0.5 in im 1.161 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.161 * [taylor]: Taking taylor expansion of (- im) in im 1.161 * [taylor]: Taking taylor expansion of im in im 1.165 * [taylor]: Taking taylor expansion of 0 in im 1.170 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (exp (- im)))) in im 1.170 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 1.170 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 1.170 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.170 * [taylor]: Taking taylor expansion of (- im) in im 1.170 * [taylor]: Taking taylor expansion of im in im 1.172 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in (re im) around 0 1.172 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 1.172 * [taylor]: Taking taylor expansion of 0.5 in im 1.172 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 1.172 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.172 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.172 * [taylor]: Taking taylor expansion of re in im 1.172 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1.173 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1.173 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.173 * [taylor]: Taking taylor expansion of im in im 1.173 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 1.173 * [taylor]: Taking taylor expansion of 0.5 in re 1.173 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 1.173 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.173 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.173 * [taylor]: Taking taylor expansion of re in re 1.173 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 1.173 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 1.173 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.173 * [taylor]: Taking taylor expansion of im in re 1.174 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 1.174 * [taylor]: Taking taylor expansion of 0.5 in re 1.174 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 1.174 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.174 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.174 * [taylor]: Taking taylor expansion of re in re 1.174 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 1.174 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 1.174 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.174 * [taylor]: Taking taylor expansion of im in re 1.174 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 1.174 * [taylor]: Taking taylor expansion of 0.5 in im 1.174 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 1.174 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.174 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.174 * [taylor]: Taking taylor expansion of re in im 1.175 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1.175 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1.175 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.175 * [taylor]: Taking taylor expansion of im in im 1.177 * [taylor]: Taking taylor expansion of 0 in im 1.181 * [taylor]: Taking taylor expansion of 0 in im 1.187 * [taylor]: Taking taylor expansion of 0 in im 1.187 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in (re im) around 0 1.187 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 1.187 * [taylor]: Taking taylor expansion of 0.5 in im 1.187 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 1.187 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.187 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.187 * [taylor]: Taking taylor expansion of -1 in im 1.187 * [taylor]: Taking taylor expansion of re in im 1.187 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.187 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.187 * [taylor]: Taking taylor expansion of im in im 1.188 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 1.188 * [taylor]: Taking taylor expansion of 0.5 in re 1.188 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 1.188 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.188 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.188 * [taylor]: Taking taylor expansion of -1 in re 1.188 * [taylor]: Taking taylor expansion of re in re 1.188 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.188 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.188 * [taylor]: Taking taylor expansion of im in re 1.188 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 1.188 * [taylor]: Taking taylor expansion of 0.5 in re 1.188 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 1.188 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.188 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.188 * [taylor]: Taking taylor expansion of -1 in re 1.188 * [taylor]: Taking taylor expansion of re in re 1.189 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.189 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.189 * [taylor]: Taking taylor expansion of im in re 1.189 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 1.189 * [taylor]: Taking taylor expansion of 0.5 in im 1.189 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 1.189 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.189 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.189 * [taylor]: Taking taylor expansion of -1 in im 1.189 * [taylor]: Taking taylor expansion of re in im 1.189 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.189 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.189 * [taylor]: Taking taylor expansion of im in im 1.191 * [taylor]: Taking taylor expansion of 0 in im 1.194 * [taylor]: Taking taylor expansion of 0 in im 1.202 * [taylor]: Taking taylor expansion of 0 in im 1.202 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.202 * [approximate]: Taking taylor expansion of (pow (exp im) 1/3) in (im) around 0 1.202 * [taylor]: Taking taylor expansion of (pow (exp im) 1/3) in im 1.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp im)))) in im 1.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp im))) in im 1.202 * [taylor]: Taking taylor expansion of 1/3 in im 1.202 * [taylor]: Taking taylor expansion of (log (exp im)) in im 1.202 * [taylor]: Taking taylor expansion of (exp im) in im 1.202 * [taylor]: Taking taylor expansion of im in im 1.204 * [taylor]: Taking taylor expansion of (pow (exp im) 1/3) in im 1.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp im)))) in im 1.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp im))) in im 1.204 * [taylor]: Taking taylor expansion of 1/3 in im 1.204 * [taylor]: Taking taylor expansion of (log (exp im)) in im 1.204 * [taylor]: Taking taylor expansion of (exp im) in im 1.204 * [taylor]: Taking taylor expansion of im in im 1.210 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 im)) 1/3) in (im) around 0 1.211 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 1/3) in im 1.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 im))))) in im 1.211 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 im)))) in im 1.211 * [taylor]: Taking taylor expansion of 1/3 in im 1.211 * [taylor]: Taking taylor expansion of (log (exp (/ 1 im))) in im 1.211 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.211 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.211 * [taylor]: Taking taylor expansion of im in im 1.211 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 1/3) in im 1.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 im))))) in im 1.211 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 im)))) in im 1.211 * [taylor]: Taking taylor expansion of 1/3 in im 1.211 * [taylor]: Taking taylor expansion of (log (exp (/ 1 im))) in im 1.211 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.211 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.211 * [taylor]: Taking taylor expansion of im in im 1.245 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 im)) 1/3) in (im) around 0 1.245 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 1/3) in im 1.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 im))))) in im 1.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 im)))) in im 1.245 * [taylor]: Taking taylor expansion of 1/3 in im 1.245 * [taylor]: Taking taylor expansion of (log (exp (/ -1 im))) in im 1.245 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.245 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.245 * [taylor]: Taking taylor expansion of -1 in im 1.245 * [taylor]: Taking taylor expansion of im in im 1.246 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 1/3) in im 1.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 im))))) in im 1.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 im)))) in im 1.246 * [taylor]: Taking taylor expansion of 1/3 in im 1.246 * [taylor]: Taking taylor expansion of (log (exp (/ -1 im))) in im 1.246 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.246 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.246 * [taylor]: Taking taylor expansion of -1 in im 1.246 * [taylor]: Taking taylor expansion of im in im 1.277 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 1.277 * [approximate]: Taking taylor expansion of (pow (exp im) 1/3) in (im) around 0 1.277 * [taylor]: Taking taylor expansion of (pow (exp im) 1/3) in im 1.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp im)))) in im 1.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp im))) in im 1.277 * [taylor]: Taking taylor expansion of 1/3 in im 1.277 * [taylor]: Taking taylor expansion of (log (exp im)) in im 1.277 * [taylor]: Taking taylor expansion of (exp im) in im 1.277 * [taylor]: Taking taylor expansion of im in im 1.279 * [taylor]: Taking taylor expansion of (pow (exp im) 1/3) in im 1.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp im)))) in im 1.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp im))) in im 1.279 * [taylor]: Taking taylor expansion of 1/3 in im 1.279 * [taylor]: Taking taylor expansion of (log (exp im)) in im 1.279 * [taylor]: Taking taylor expansion of (exp im) in im 1.279 * [taylor]: Taking taylor expansion of im in im 1.285 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 im)) 1/3) in (im) around 0 1.285 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 1/3) in im 1.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 im))))) in im 1.286 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 im)))) in im 1.286 * [taylor]: Taking taylor expansion of 1/3 in im 1.286 * [taylor]: Taking taylor expansion of (log (exp (/ 1 im))) in im 1.286 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.286 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.286 * [taylor]: Taking taylor expansion of im in im 1.286 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 1/3) in im 1.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ 1 im))))) in im 1.286 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ 1 im)))) in im 1.286 * [taylor]: Taking taylor expansion of 1/3 in im 1.286 * [taylor]: Taking taylor expansion of (log (exp (/ 1 im))) in im 1.286 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.286 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.286 * [taylor]: Taking taylor expansion of im in im 1.321 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 im)) 1/3) in (im) around 0 1.321 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 1/3) in im 1.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 im))))) in im 1.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 im)))) in im 1.321 * [taylor]: Taking taylor expansion of 1/3 in im 1.321 * [taylor]: Taking taylor expansion of (log (exp (/ -1 im))) in im 1.321 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.321 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.321 * [taylor]: Taking taylor expansion of -1 in im 1.321 * [taylor]: Taking taylor expansion of im in im 1.321 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 1/3) in im 1.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ -1 im))))) in im 1.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ -1 im)))) in im 1.321 * [taylor]: Taking taylor expansion of 1/3 in im 1.321 * [taylor]: Taking taylor expansion of (log (exp (/ -1 im))) in im 1.321 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.321 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.321 * [taylor]: Taking taylor expansion of -1 in im 1.321 * [taylor]: Taking taylor expansion of im in im 1.352 * * * [progress]: simplifying candidates 1.353 * [simplify]: Simplifying using # : (+ 1/3 1/3) (+ 1 1) (* (exp im) (exp im)) (* (cbrt (exp im)) (cbrt (exp im))) (+ 1 1) (+ (log (cbrt (exp im))) (log (cbrt (exp im)))) (log (* (cbrt (exp im)) (cbrt (exp im)))) (exp (* (cbrt (exp im)) (cbrt (exp im)))) (* (exp im) (exp im)) (* (exp im) (* (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)))) (* (* (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im))) (exp im)) (* (* (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im))) (* (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)))) (* (cbrt (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (* (cbrt (exp im)) (cbrt (exp im))))) (cbrt (* (cbrt (exp im)) (cbrt (exp im)))) (* (* (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im)))) (* (cbrt (exp im)) (cbrt (exp im)))) (sqrt (* (cbrt (exp im)) (cbrt (exp im)))) (sqrt (* (cbrt (exp im)) (cbrt (exp im)))) (* (cbrt (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (* (cbrt (exp im)) (cbrt (exp im))))) (* (cbrt (cbrt (exp im))) (cbrt (cbrt (exp im)))) (* (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im)))) (* (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (exp im)) (cbrt (exp im))) (* (* (cbrt (cbrt (exp im))) (cbrt (cbrt (exp im)))) (* (cbrt (cbrt (exp im))) (cbrt (cbrt (exp im))))) (* (cbrt (cbrt (exp im))) (cbrt (cbrt (exp im)))) (* (sqrt (cbrt (exp im))) (sqrt (cbrt (exp im)))) (* (sqrt (cbrt (exp im))) (sqrt (cbrt (exp im)))) (* 1 1) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im)))) (* (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im)))) (* (cbrt (sqrt (exp im))) (sqrt (cbrt (exp im)))) (* (cbrt (sqrt (exp im))) (sqrt (cbrt (exp im)))) (* (sqrt (cbrt (exp im))) (cbrt (sqrt (exp im)))) (* (sqrt (cbrt (exp im))) (cbrt (sqrt (exp im)))) (* (sqrt (cbrt (exp im))) (sqrt (cbrt (exp im)))) (* (sqrt (cbrt (exp im))) (sqrt (cbrt (exp im)))) (* 2 1/3) (* 2 1) (* (cbrt (exp im)) (cbrt (* (cbrt (exp im)) (cbrt (exp im))))) (* (cbrt (exp im)) (cbrt (sqrt (exp im)))) (* (cbrt (exp im)) (cbrt 1)) (* (cbrt (exp im)) (* (cbrt (cbrt (exp im))) (cbrt (cbrt (exp im))))) (* (cbrt (exp im)) (sqrt (cbrt (exp im)))) (* (cbrt (exp im)) 1) (* (cbrt (cbrt (exp im))) (cbrt (exp im))) (* (cbrt (sqrt (exp im))) (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (cbrt (exp im))) (cbrt (exp im))) (* (sqrt (cbrt (exp im))) (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (+ (+ (log 0.5) (log (sin re))) (- 0.0 im)) (+ (+ (log 0.5) (log (sin re))) (log (exp (- 0.0 im)))) (+ (log (* 0.5 (sin re))) (- 0.0 im)) (+ (log (* 0.5 (sin re))) (log (exp (- 0.0 im)))) (log (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (exp (* (* 0.5 (sin re)) (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))) (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (exp (- 0.0 im)))) (* (cbrt (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (cbrt (* (* 0.5 (sin re)) (exp (- 0.0 im))))) (cbrt (* (* 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)) (exp (- 0.0 im)))) (sqrt (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (sqrt (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (exp (- 0.0 im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (exp (- 0.0 im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (exp (- 0.0 im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (exp (- 0.0 im)))) (* (* 0.5 (sin re)) (exp 0.0)) (* (* 0.5 (sin re)) (exp 0.0)) (* (* 0.5 (sin re)) (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im))))) (* (* 0.5 (sin re)) (sqrt (exp (- 0.0 im)))) (* (* 0.5 (sin re)) 1) (* (sin re) (exp (- 0.0 im))) (* (cbrt (* 0.5 (sin re))) (exp (- 0.0 im))) (* (sqrt (* 0.5 (sin re))) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* (sqrt 0.5) (sqrt (sin re))) (exp (- 0.0 im))) (* (cbrt (sin re)) (exp (- 0.0 im))) (* (sqrt (sin re)) (exp (- 0.0 im))) (* (sin re) (exp (- 0.0 im))) (* (* (cbrt 0.5) (sin re)) (exp (- 0.0 im))) (* (* (sqrt 0.5) (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* 0.5 (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp 0.0)) (log (cbrt (exp im))) (exp (cbrt (exp im))) (cbrt (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (cbrt (exp im))) (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im))) (cbrt 1) (cbrt (exp im)) (* (cbrt (cbrt (exp im))) (cbrt (cbrt (exp im)))) (cbrt (cbrt (exp im))) (* (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im))) (sqrt (cbrt (exp im))) (sqrt (cbrt (exp im))) (log (cbrt (exp im))) (exp (cbrt (exp im))) (cbrt (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (cbrt (exp im))) (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im))) (cbrt 1) (cbrt (exp im)) (* (cbrt (cbrt (exp im))) (cbrt (cbrt (exp im)))) (cbrt (cbrt (exp im))) (* (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im))) (sqrt (cbrt (exp im))) (sqrt (cbrt (exp im))) (+ (* 2/3 im) (+ (* 2/9 (pow im 2)) 1)) (pow (pow (exp im) 2) 1/3) (pow (pow (exp im) 2) 1/3) (- (* 0.5 re) (+ (* 0.08333333333333333 (pow re 3)) (* 0.5 (* re im)))) (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp (* -1 im)) (sin re))) (+ (* 1/3 im) (+ (* 1/18 (pow im 2)) 1)) (exp (* 1/3 im)) (exp (* 1/3 im)) (+ (* 1/3 im) (+ (* 1/18 (pow im 2)) 1)) (exp (* 1/3 im)) (exp (* 1/3 im)) 1.358 * * [simplify]: iteration 0 : 319 enodes (cost 676 ) 1.364 * * [simplify]: iteration 1 : 1140 enodes (cost 603 ) 1.390 * * [simplify]: iteration 2 : 5001 enodes (cost 551 ) 1.393 * [simplify]: Simplified to: 2/3 2 (pow (exp im) 2) (pow (sqrt (cbrt (exp im))) 4) 2 (* 2 (log (cbrt (exp im)))) (* 2 (log (cbrt (exp im)))) (exp (* (cbrt (exp im)) (cbrt (exp im)))) (pow (exp im) 2) (pow (exp im) 2) (pow (exp im) 2) (pow (exp im) 2) (* (cbrt (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (* (cbrt (exp im)) (cbrt (exp im))))) (cbrt (* (cbrt (exp im)) (cbrt (exp im)))) (pow (exp im) 2) (fabs (cbrt (exp im))) (fabs (cbrt (exp im))) (* (cbrt (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (* (cbrt (exp im)) (cbrt (exp im))))) (* (cbrt (cbrt (exp im))) (cbrt (cbrt (exp im)))) (* (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im)))) (* (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im)))) 1 (pow (sqrt (cbrt (exp im))) 4) (pow (cbrt (cbrt (exp im))) 4) (* (cbrt (cbrt (exp im))) (cbrt (cbrt (exp im)))) (cbrt (exp im)) (cbrt (exp im)) 1 (pow (sqrt (cbrt (exp im))) 4) (* (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im)))) (* (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im)))) (* (cbrt (sqrt (exp im))) (sqrt (cbrt (exp im)))) (* (cbrt (sqrt (exp im))) (sqrt (cbrt (exp im)))) (* (cbrt (sqrt (exp im))) (sqrt (cbrt (exp im)))) (* (cbrt (sqrt (exp im))) (sqrt (cbrt (exp im)))) (cbrt (exp im)) (cbrt (exp im)) 2/3 2 (* (cbrt (exp im)) (cbrt (* (cbrt (exp im)) (cbrt (exp im))))) (* (cbrt (exp im)) (cbrt (sqrt (exp im)))) (cbrt (exp im)) (* (pow (cbrt (cbrt (exp im))) 4) (cbrt (cbrt (exp im)))) (pow (sqrt (cbrt (exp im))) 3) (cbrt (exp im)) (pow (cbrt (cbrt (exp im))) 4) (* (cbrt (exp im)) (cbrt (sqrt (exp im)))) (pow (sqrt (cbrt (exp im))) 4) (pow (cbrt (cbrt (exp im))) 4) (pow (sqrt (cbrt (exp im))) 3) (pow (sqrt (cbrt (exp im))) 4) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (- (+ (log (* 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))) 0.0) im) (- (+ (log (* 0.5 (sin re))) 0.0) im) (exp (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (pow (* (* 0.5 (sin re)) (exp (- 0.0 im))) 3) (pow (* (* 0.5 (sin re)) (exp (- 0.0 im))) 3) (* (cbrt (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (cbrt (* (* 0.5 (sin re)) (exp (- 0.0 im))))) (cbrt (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (pow (* (* 0.5 (sin re)) (exp (- 0.0 im))) 3) (sqrt (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (sqrt (* (* 0.5 (sin re)) (exp (- 0.0 im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (exp (- 0.0 im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (exp (- 0.0 im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (exp (- 0.0 im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (exp (- 0.0 im)))) (* (* 0.5 (sin re)) (exp 0.0)) (* (* 0.5 (sin re)) (exp 0.0)) (* (* 0.5 (sin re)) (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im))))) (* (* 0.5 (sin re)) (sqrt (exp (- 0.0 im)))) (* 0.5 (sin re)) (* (sin re) (exp (- 0.0 im))) (* (cbrt (* 0.5 (sin re))) (exp (- 0.0 im))) (* (sqrt (* 0.5 (sin re))) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* (sqrt 0.5) (sqrt (sin re))) (exp (- 0.0 im))) (* (cbrt (sin re)) (exp (- 0.0 im))) (* (sqrt (sin re)) (exp (- 0.0 im))) (* (sin re) (exp (- 0.0 im))) (* (* (cbrt 0.5) (sin re)) (exp (- 0.0 im))) (* (* (sqrt 0.5) (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* 0.5 (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp 0.0)) (log (cbrt (exp im))) (exp (cbrt (exp im))) (cbrt (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (cbrt (exp im))) (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im))) 1 (cbrt (exp im)) (* (cbrt (cbrt (exp im))) (cbrt (cbrt (exp im)))) (cbrt (cbrt (exp im))) (exp im) (sqrt (cbrt (exp im))) (sqrt (cbrt (exp im))) (log (cbrt (exp im))) (exp (cbrt (exp im))) (cbrt (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (cbrt (exp im))) (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im))) 1 (cbrt (exp im)) (* (cbrt (cbrt (exp im))) (cbrt (cbrt (exp im)))) (cbrt (cbrt (exp im))) (exp im) (sqrt (cbrt (exp im))) (sqrt (cbrt (exp im))) (+ (* 2/3 im) (+ (* 2/9 (pow im 2)) 1)) (pow (pow (exp im) 2) 1/3) (pow (pow (exp im) 2) 1/3) (- (* 0.5 re) (+ (* 0.08333333333333333 (pow re 3)) (* 0.5 (* re im)))) (* (/ (sin re) (exp im)) 0.5) (* (/ (sin re) (exp im)) 0.5) (+ (* 1/3 im) (+ (* 1/18 (pow im 2)) 1)) (cbrt (exp im)) (cbrt (exp im)) (+ (* 1/3 im) (+ (* 1/18 (pow im 2)) 1)) (cbrt (exp im)) (cbrt (exp im)) 1.394 * * * [progress]: adding candidates to table 1.685 * * [progress]: iteration 4 / 4 1.685 * * * [progress]: picking best candidate 1.688 * * * * [pick]: Picked # 1.688 * * * [progress]: localizing error 1.701 * * * [progress]: generating rewritten candidates 1.702 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.721 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.742 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.757 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 1.771 * * * [progress]: generating series expansions 1.771 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.771 * [approximate]: Taking taylor expansion of (* (sin re) (* 0.5 (+ (exp im) (exp (- im))))) in (re im) around 0 1.771 * [taylor]: Taking taylor expansion of (* (sin re) (* 0.5 (+ (exp im) (exp (- im))))) in im 1.771 * [taylor]: Taking taylor expansion of (sin re) in im 1.771 * [taylor]: Taking taylor expansion of re in im 1.771 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp im) (exp (- im)))) in im 1.771 * [taylor]: Taking taylor expansion of 0.5 in im 1.771 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 1.771 * [taylor]: Taking taylor expansion of (exp im) in im 1.771 * [taylor]: Taking taylor expansion of im in im 1.771 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.771 * [taylor]: Taking taylor expansion of (- im) in im 1.771 * [taylor]: Taking taylor expansion of im in im 1.772 * [taylor]: Taking taylor expansion of (* (sin re) (* 0.5 (+ (exp im) (exp (- im))))) in re 1.772 * [taylor]: Taking taylor expansion of (sin re) in re 1.772 * [taylor]: Taking taylor expansion of re in re 1.772 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp im) (exp (- im)))) in re 1.772 * [taylor]: Taking taylor expansion of 0.5 in re 1.772 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 1.772 * [taylor]: Taking taylor expansion of (exp im) in re 1.772 * [taylor]: Taking taylor expansion of im in re 1.772 * [taylor]: Taking taylor expansion of (exp (- im)) in re 1.772 * [taylor]: Taking taylor expansion of (- im) in re 1.772 * [taylor]: Taking taylor expansion of im in re 1.772 * [taylor]: Taking taylor expansion of (* (sin re) (* 0.5 (+ (exp im) (exp (- im))))) in re 1.772 * [taylor]: Taking taylor expansion of (sin re) in re 1.772 * [taylor]: Taking taylor expansion of re in re 1.772 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp im) (exp (- im)))) in re 1.772 * [taylor]: Taking taylor expansion of 0.5 in re 1.772 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 1.772 * [taylor]: Taking taylor expansion of (exp im) in re 1.772 * [taylor]: Taking taylor expansion of im in re 1.772 * [taylor]: Taking taylor expansion of (exp (- im)) in re 1.772 * [taylor]: Taking taylor expansion of (- im) in re 1.772 * [taylor]: Taking taylor expansion of im in re 1.773 * [taylor]: Taking taylor expansion of 0 in im 1.775 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (- im)))) in im 1.775 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 1.775 * [taylor]: Taking taylor expansion of 0.5 in im 1.775 * [taylor]: Taking taylor expansion of (exp im) in im 1.775 * [taylor]: Taking taylor expansion of im in im 1.775 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 1.775 * [taylor]: Taking taylor expansion of 0.5 in im 1.775 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.775 * [taylor]: Taking taylor expansion of (- im) in im 1.775 * [taylor]: Taking taylor expansion of im in im 1.780 * [taylor]: Taking taylor expansion of 0 in im 1.789 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im))))) in im 1.789 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im 1.789 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 1.789 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 1.789 * [taylor]: Taking taylor expansion of (exp im) in im 1.789 * [taylor]: Taking taylor expansion of im in im 1.789 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 1.789 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 1.789 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.789 * [taylor]: Taking taylor expansion of (- im) in im 1.789 * [taylor]: Taking taylor expansion of im in im 1.796 * [approximate]: Taking taylor expansion of (* (sin (/ 1 re)) (* 0.5 (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 1.796 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (* 0.5 (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 1.796 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.796 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.796 * [taylor]: Taking taylor expansion of re in im 1.796 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 1.796 * [taylor]: Taking taylor expansion of 0.5 in im 1.796 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 1.796 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1.796 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1.796 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.796 * [taylor]: Taking taylor expansion of im in im 1.797 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.797 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.797 * [taylor]: Taking taylor expansion of im in im 1.797 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (* 0.5 (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 1.797 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.797 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.797 * [taylor]: Taking taylor expansion of re in re 1.798 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 1.798 * [taylor]: Taking taylor expansion of 0.5 in re 1.798 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 1.798 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 1.798 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 1.798 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.798 * [taylor]: Taking taylor expansion of im in re 1.798 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.798 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.798 * [taylor]: Taking taylor expansion of im in re 1.798 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (* 0.5 (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 1.798 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.798 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.798 * [taylor]: Taking taylor expansion of re in re 1.798 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 1.798 * [taylor]: Taking taylor expansion of 0.5 in re 1.798 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 1.798 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 1.798 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 1.798 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.798 * [taylor]: Taking taylor expansion of im in re 1.799 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.799 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.799 * [taylor]: Taking taylor expansion of im in re 1.799 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 1.799 * [taylor]: Taking taylor expansion of 0.5 in im 1.799 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 1.799 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.799 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.799 * [taylor]: Taking taylor expansion of re in im 1.799 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 1.799 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1.799 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1.799 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.799 * [taylor]: Taking taylor expansion of im in im 1.800 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.800 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.800 * [taylor]: Taking taylor expansion of im in im 1.803 * [taylor]: Taking taylor expansion of 0 in im 1.808 * [taylor]: Taking taylor expansion of 0 in im 1.820 * [taylor]: Taking taylor expansion of 0 in im 1.820 * [approximate]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (* (sin (/ -1 re)) 0.5)) in (re im) around 0 1.820 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (* (sin (/ -1 re)) 0.5)) in im 1.820 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.820 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.820 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.820 * [taylor]: Taking taylor expansion of -1 in im 1.820 * [taylor]: Taking taylor expansion of im in im 1.821 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.821 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.821 * [taylor]: Taking taylor expansion of im in im 1.821 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) 0.5) in im 1.821 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.821 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.821 * [taylor]: Taking taylor expansion of -1 in im 1.821 * [taylor]: Taking taylor expansion of re in im 1.821 * [taylor]: Taking taylor expansion of 0.5 in im 1.821 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (* (sin (/ -1 re)) 0.5)) in re 1.821 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.821 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.821 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.821 * [taylor]: Taking taylor expansion of -1 in re 1.821 * [taylor]: Taking taylor expansion of im in re 1.821 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.821 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.821 * [taylor]: Taking taylor expansion of im in re 1.822 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) 0.5) in re 1.822 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.822 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.822 * [taylor]: Taking taylor expansion of -1 in re 1.822 * [taylor]: Taking taylor expansion of re in re 1.822 * [taylor]: Taking taylor expansion of 0.5 in re 1.822 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (* (sin (/ -1 re)) 0.5)) in re 1.822 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.822 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.822 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.822 * [taylor]: Taking taylor expansion of -1 in re 1.822 * [taylor]: Taking taylor expansion of im in re 1.822 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.822 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.822 * [taylor]: Taking taylor expansion of im in re 1.822 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) 0.5) in re 1.822 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.822 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.822 * [taylor]: Taking taylor expansion of -1 in re 1.822 * [taylor]: Taking taylor expansion of re in re 1.823 * [taylor]: Taking taylor expansion of 0.5 in re 1.823 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 1.823 * [taylor]: Taking taylor expansion of 0.5 in im 1.823 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 1.823 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.823 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.823 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.823 * [taylor]: Taking taylor expansion of -1 in im 1.823 * [taylor]: Taking taylor expansion of im in im 1.823 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.823 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.823 * [taylor]: Taking taylor expansion of im in im 1.824 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.824 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.824 * [taylor]: Taking taylor expansion of -1 in im 1.824 * [taylor]: Taking taylor expansion of re in im 1.826 * [taylor]: Taking taylor expansion of 0 in im 1.831 * [taylor]: Taking taylor expansion of 0 in im 1.837 * [taylor]: Taking taylor expansion of 0 in im 1.837 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.838 * [approximate]: Taking taylor expansion of (pow (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) 3) in (re im) around 0 1.838 * [taylor]: Taking taylor expansion of (pow (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) 3) in im 1.838 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in im 1.838 * [taylor]: Taking taylor expansion of 0.5 in im 1.838 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in im 1.838 * [taylor]: Taking taylor expansion of (sin re) in im 1.838 * [taylor]: Taking taylor expansion of re in im 1.838 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 1.838 * [taylor]: Taking taylor expansion of (exp im) in im 1.838 * [taylor]: Taking taylor expansion of im in im 1.838 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.838 * [taylor]: Taking taylor expansion of (- im) in im 1.838 * [taylor]: Taking taylor expansion of im in im 1.839 * [taylor]: Taking taylor expansion of (pow (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) 3) in re 1.839 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 1.839 * [taylor]: Taking taylor expansion of 0.5 in re 1.839 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 1.839 * [taylor]: Taking taylor expansion of (sin re) in re 1.839 * [taylor]: Taking taylor expansion of re in re 1.839 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 1.839 * [taylor]: Taking taylor expansion of (exp im) in re 1.839 * [taylor]: Taking taylor expansion of im in re 1.839 * [taylor]: Taking taylor expansion of (exp (- im)) in re 1.839 * [taylor]: Taking taylor expansion of (- im) in re 1.839 * [taylor]: Taking taylor expansion of im in re 1.842 * [taylor]: Taking taylor expansion of (pow (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) 3) in re 1.842 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 1.842 * [taylor]: Taking taylor expansion of 0.5 in re 1.842 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 1.842 * [taylor]: Taking taylor expansion of (sin re) in re 1.842 * [taylor]: Taking taylor expansion of re in re 1.842 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 1.842 * [taylor]: Taking taylor expansion of (exp im) in re 1.842 * [taylor]: Taking taylor expansion of im in re 1.842 * [taylor]: Taking taylor expansion of (exp (- im)) in re 1.842 * [taylor]: Taking taylor expansion of (- im) in re 1.842 * [taylor]: Taking taylor expansion of im in re 1.845 * [taylor]: Taking taylor expansion of (pow (+ (* 0.5 (exp im)) (* 0.5 (exp (- im)))) 3) in im 1.845 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (- im)))) in im 1.845 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 1.845 * [taylor]: Taking taylor expansion of 0.5 in im 1.845 * [taylor]: Taking taylor expansion of (exp im) in im 1.845 * [taylor]: Taking taylor expansion of im in im 1.845 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 1.845 * [taylor]: Taking taylor expansion of 0.5 in im 1.846 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.846 * [taylor]: Taking taylor expansion of (- im) in im 1.846 * [taylor]: Taking taylor expansion of im in im 1.851 * [taylor]: Taking taylor expansion of 0 in im 1.863 * [taylor]: Taking taylor expansion of (- (+ (* 0.1875 (* (exp im) (pow (exp (- im)) 2))) (+ (* 0.0625 (pow (exp (- im)) 3)) (+ (* 0.0625 (pow (exp im) 3)) (* 0.1875 (* (pow (exp im) 2) (exp (- im)))))))) in im 1.863 * [taylor]: Taking taylor expansion of (+ (* 0.1875 (* (exp im) (pow (exp (- im)) 2))) (+ (* 0.0625 (pow (exp (- im)) 3)) (+ (* 0.0625 (pow (exp im) 3)) (* 0.1875 (* (pow (exp im) 2) (exp (- im))))))) in im 1.863 * [taylor]: Taking taylor expansion of (* 0.1875 (* (exp im) (pow (exp (- im)) 2))) in im 1.863 * [taylor]: Taking taylor expansion of 0.1875 in im 1.863 * [taylor]: Taking taylor expansion of (* (exp im) (pow (exp (- im)) 2)) in im 1.863 * [taylor]: Taking taylor expansion of (exp im) in im 1.863 * [taylor]: Taking taylor expansion of im in im 1.863 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 2) in im 1.863 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.863 * [taylor]: Taking taylor expansion of (- im) in im 1.863 * [taylor]: Taking taylor expansion of im in im 1.863 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (pow (exp (- im)) 3)) (+ (* 0.0625 (pow (exp im) 3)) (* 0.1875 (* (pow (exp im) 2) (exp (- im)))))) in im 1.863 * [taylor]: Taking taylor expansion of (* 0.0625 (pow (exp (- im)) 3)) in im 1.863 * [taylor]: Taking taylor expansion of 0.0625 in im 1.863 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im 1.863 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.863 * [taylor]: Taking taylor expansion of (- im) in im 1.863 * [taylor]: Taking taylor expansion of im in im 1.864 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (pow (exp im) 3)) (* 0.1875 (* (pow (exp im) 2) (exp (- im))))) in im 1.864 * [taylor]: Taking taylor expansion of (* 0.0625 (pow (exp im) 3)) in im 1.864 * [taylor]: Taking taylor expansion of 0.0625 in im 1.864 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in im 1.864 * [taylor]: Taking taylor expansion of (exp im) in im 1.864 * [taylor]: Taking taylor expansion of im in im 1.864 * [taylor]: Taking taylor expansion of (* 0.1875 (* (pow (exp im) 2) (exp (- im)))) in im 1.864 * [taylor]: Taking taylor expansion of 0.1875 in im 1.864 * [taylor]: Taking taylor expansion of (* (pow (exp im) 2) (exp (- im))) in im 1.864 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 1.864 * [taylor]: Taking taylor expansion of (exp im) in im 1.864 * [taylor]: Taking taylor expansion of im in im 1.864 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.864 * [taylor]: Taking taylor expansion of (- im) in im 1.864 * [taylor]: Taking taylor expansion of im in im 1.877 * [approximate]: Taking taylor expansion of (pow (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) 3) in (re im) around 0 1.877 * [taylor]: Taking taylor expansion of (pow (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) 3) in im 1.877 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 1.877 * [taylor]: Taking taylor expansion of 0.5 in im 1.877 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 1.877 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.877 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.877 * [taylor]: Taking taylor expansion of re in im 1.877 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 1.877 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1.877 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1.877 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.877 * [taylor]: Taking taylor expansion of im in im 1.878 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.878 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.878 * [taylor]: Taking taylor expansion of im in im 1.879 * [taylor]: Taking taylor expansion of (pow (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) 3) in re 1.879 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 1.879 * [taylor]: Taking taylor expansion of 0.5 in re 1.879 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 1.879 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.879 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.879 * [taylor]: Taking taylor expansion of re in re 1.879 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 1.879 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 1.879 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 1.879 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.879 * [taylor]: Taking taylor expansion of im in re 1.879 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.879 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.879 * [taylor]: Taking taylor expansion of im in re 1.880 * [taylor]: Taking taylor expansion of (pow (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) 3) in re 1.880 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 1.880 * [taylor]: Taking taylor expansion of 0.5 in re 1.880 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 1.880 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.880 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.880 * [taylor]: Taking taylor expansion of re in re 1.880 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 1.880 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 1.880 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 1.880 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.880 * [taylor]: Taking taylor expansion of im in re 1.880 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.880 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.880 * [taylor]: Taking taylor expansion of im in re 1.881 * [taylor]: Taking taylor expansion of (* 0.125 (* (pow (sin (/ 1 re)) 3) (pow (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 3))) in im 1.881 * [taylor]: Taking taylor expansion of 0.125 in im 1.881 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 3) (pow (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 3)) in im 1.881 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 3) in im 1.881 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.881 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.881 * [taylor]: Taking taylor expansion of re in im 1.881 * [taylor]: Taking taylor expansion of (pow (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 3) in im 1.881 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 1.881 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1.882 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1.882 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.882 * [taylor]: Taking taylor expansion of im in im 1.882 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.882 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.882 * [taylor]: Taking taylor expansion of im in im 1.886 * [taylor]: Taking taylor expansion of 0 in im 1.894 * [taylor]: Taking taylor expansion of 0 in im 1.908 * [taylor]: Taking taylor expansion of 0 in im 1.909 * [approximate]: Taking taylor expansion of (pow (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) 3) in (re im) around 0 1.909 * [taylor]: Taking taylor expansion of (pow (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) 3) in im 1.909 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 1.909 * [taylor]: Taking taylor expansion of 0.5 in im 1.909 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 1.909 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.909 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.909 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.909 * [taylor]: Taking taylor expansion of -1 in im 1.909 * [taylor]: Taking taylor expansion of im in im 1.909 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.909 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.909 * [taylor]: Taking taylor expansion of im in im 1.909 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.909 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.909 * [taylor]: Taking taylor expansion of -1 in im 1.909 * [taylor]: Taking taylor expansion of re in im 1.910 * [taylor]: Taking taylor expansion of (pow (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) 3) in re 1.910 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 1.910 * [taylor]: Taking taylor expansion of 0.5 in re 1.910 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 1.910 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.910 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.910 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.910 * [taylor]: Taking taylor expansion of -1 in re 1.910 * [taylor]: Taking taylor expansion of im in re 1.910 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.910 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.910 * [taylor]: Taking taylor expansion of im in re 1.910 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.910 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.910 * [taylor]: Taking taylor expansion of -1 in re 1.910 * [taylor]: Taking taylor expansion of re in re 1.911 * [taylor]: Taking taylor expansion of (pow (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) 3) in re 1.911 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 1.911 * [taylor]: Taking taylor expansion of 0.5 in re 1.911 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 1.911 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.911 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.911 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.911 * [taylor]: Taking taylor expansion of -1 in re 1.911 * [taylor]: Taking taylor expansion of im in re 1.911 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.911 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.911 * [taylor]: Taking taylor expansion of im in re 1.911 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.911 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.911 * [taylor]: Taking taylor expansion of -1 in re 1.911 * [taylor]: Taking taylor expansion of re in re 1.912 * [taylor]: Taking taylor expansion of (* 0.125 (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 3) (pow (sin (/ -1 re)) 3))) in im 1.912 * [taylor]: Taking taylor expansion of 0.125 in im 1.912 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 3) (pow (sin (/ -1 re)) 3)) in im 1.912 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 3) in im 1.912 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.912 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.912 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.912 * [taylor]: Taking taylor expansion of -1 in im 1.912 * [taylor]: Taking taylor expansion of im in im 1.913 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.913 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.913 * [taylor]: Taking taylor expansion of im in im 1.913 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 3) in im 1.913 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.913 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.913 * [taylor]: Taking taylor expansion of -1 in im 1.913 * [taylor]: Taking taylor expansion of re in im 1.917 * [taylor]: Taking taylor expansion of 0 in im 1.923 * [taylor]: Taking taylor expansion of 0 in im 1.933 * [taylor]: Taking taylor expansion of 0 in im 1.934 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.934 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in (re im) around 0 1.934 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in im 1.934 * [taylor]: Taking taylor expansion of 0.5 in im 1.934 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in im 1.934 * [taylor]: Taking taylor expansion of (sin re) in im 1.934 * [taylor]: Taking taylor expansion of re in im 1.934 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 1.934 * [taylor]: Taking taylor expansion of (exp im) in im 1.934 * [taylor]: Taking taylor expansion of im in im 1.934 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.934 * [taylor]: Taking taylor expansion of (- im) in im 1.934 * [taylor]: Taking taylor expansion of im in im 1.935 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 1.935 * [taylor]: Taking taylor expansion of 0.5 in re 1.935 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 1.935 * [taylor]: Taking taylor expansion of (sin re) in re 1.935 * [taylor]: Taking taylor expansion of re in re 1.935 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 1.935 * [taylor]: Taking taylor expansion of (exp im) in re 1.935 * [taylor]: Taking taylor expansion of im in re 1.935 * [taylor]: Taking taylor expansion of (exp (- im)) in re 1.935 * [taylor]: Taking taylor expansion of (- im) in re 1.935 * [taylor]: Taking taylor expansion of im in re 1.935 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 1.935 * [taylor]: Taking taylor expansion of 0.5 in re 1.935 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 1.935 * [taylor]: Taking taylor expansion of (sin re) in re 1.935 * [taylor]: Taking taylor expansion of re in re 1.935 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 1.935 * [taylor]: Taking taylor expansion of (exp im) in re 1.935 * [taylor]: Taking taylor expansion of im in re 1.935 * [taylor]: Taking taylor expansion of (exp (- im)) in re 1.935 * [taylor]: Taking taylor expansion of (- im) in re 1.935 * [taylor]: Taking taylor expansion of im in re 1.935 * [taylor]: Taking taylor expansion of 0 in im 1.938 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (- im)))) in im 1.938 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 1.938 * [taylor]: Taking taylor expansion of 0.5 in im 1.938 * [taylor]: Taking taylor expansion of (exp im) in im 1.938 * [taylor]: Taking taylor expansion of im in im 1.938 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 1.938 * [taylor]: Taking taylor expansion of 0.5 in im 1.938 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.938 * [taylor]: Taking taylor expansion of (- im) in im 1.938 * [taylor]: Taking taylor expansion of im in im 1.943 * [taylor]: Taking taylor expansion of 0 in im 1.951 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im))))) in im 1.952 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im 1.952 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 1.952 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 1.952 * [taylor]: Taking taylor expansion of (exp im) in im 1.952 * [taylor]: Taking taylor expansion of im in im 1.952 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 1.952 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 1.952 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.952 * [taylor]: Taking taylor expansion of (- im) in im 1.952 * [taylor]: Taking taylor expansion of im in im 1.958 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 1.958 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 1.959 * [taylor]: Taking taylor expansion of 0.5 in im 1.959 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 1.959 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.959 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.959 * [taylor]: Taking taylor expansion of re in im 1.959 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 1.959 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1.959 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1.959 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.959 * [taylor]: Taking taylor expansion of im in im 1.959 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.959 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.959 * [taylor]: Taking taylor expansion of im in im 1.960 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 1.960 * [taylor]: Taking taylor expansion of 0.5 in re 1.960 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 1.960 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.960 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.960 * [taylor]: Taking taylor expansion of re in re 1.960 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 1.960 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 1.960 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 1.960 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.960 * [taylor]: Taking taylor expansion of im in re 1.960 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.960 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.960 * [taylor]: Taking taylor expansion of im in re 1.960 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 1.960 * [taylor]: Taking taylor expansion of 0.5 in re 1.960 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 1.960 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.960 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.960 * [taylor]: Taking taylor expansion of re in re 1.961 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 1.961 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 1.961 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 1.961 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.961 * [taylor]: Taking taylor expansion of im in re 1.961 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.961 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.961 * [taylor]: Taking taylor expansion of im in re 1.961 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 1.961 * [taylor]: Taking taylor expansion of 0.5 in im 1.961 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 1.961 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.961 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.961 * [taylor]: Taking taylor expansion of re in im 1.961 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 1.961 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 1.961 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 1.962 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.962 * [taylor]: Taking taylor expansion of im in im 1.962 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.962 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.962 * [taylor]: Taking taylor expansion of im in im 1.965 * [taylor]: Taking taylor expansion of 0 in im 1.970 * [taylor]: Taking taylor expansion of 0 in im 1.978 * [taylor]: Taking taylor expansion of 0 in im 1.978 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0 1.978 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 1.978 * [taylor]: Taking taylor expansion of 0.5 in im 1.978 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 1.978 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.978 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.978 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.978 * [taylor]: Taking taylor expansion of -1 in im 1.978 * [taylor]: Taking taylor expansion of im in im 1.979 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.979 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.979 * [taylor]: Taking taylor expansion of im in im 1.979 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.979 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.979 * [taylor]: Taking taylor expansion of -1 in im 1.979 * [taylor]: Taking taylor expansion of re in im 1.979 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 1.979 * [taylor]: Taking taylor expansion of 0.5 in re 1.979 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 1.979 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.979 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.979 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.979 * [taylor]: Taking taylor expansion of -1 in re 1.979 * [taylor]: Taking taylor expansion of im in re 1.979 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.979 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.979 * [taylor]: Taking taylor expansion of im in re 1.979 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.979 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.979 * [taylor]: Taking taylor expansion of -1 in re 1.980 * [taylor]: Taking taylor expansion of re in re 1.980 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 1.980 * [taylor]: Taking taylor expansion of 0.5 in re 1.980 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 1.980 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.980 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.980 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.980 * [taylor]: Taking taylor expansion of -1 in re 1.980 * [taylor]: Taking taylor expansion of im in re 1.980 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.980 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.980 * [taylor]: Taking taylor expansion of im in re 1.980 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.980 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.980 * [taylor]: Taking taylor expansion of -1 in re 1.980 * [taylor]: Taking taylor expansion of re in re 1.981 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 1.981 * [taylor]: Taking taylor expansion of 0.5 in im 1.981 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 1.981 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.981 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.981 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.981 * [taylor]: Taking taylor expansion of -1 in im 1.981 * [taylor]: Taking taylor expansion of im in im 1.981 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.981 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.981 * [taylor]: Taking taylor expansion of im in im 1.982 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.982 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.982 * [taylor]: Taking taylor expansion of -1 in im 1.982 * [taylor]: Taking taylor expansion of re in im 1.987 * [taylor]: Taking taylor expansion of 0 in im 1.992 * [taylor]: Taking taylor expansion of 0 in im 1.999 * [taylor]: Taking taylor expansion of 0 in im 1.999 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 1.999 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (- im))) in (im) around 0 1.999 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 1.999 * [taylor]: Taking taylor expansion of (exp im) in im 1.999 * [taylor]: Taking taylor expansion of im in im 1.999 * [taylor]: Taking taylor expansion of (exp (- im)) in im 1.999 * [taylor]: Taking taylor expansion of (- im) in im 1.999 * [taylor]: Taking taylor expansion of im in im 2.000 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 2.000 * [taylor]: Taking taylor expansion of (exp im) in im 2.000 * [taylor]: Taking taylor expansion of im in im 2.000 * [taylor]: Taking taylor expansion of (exp (- im)) in im 2.000 * [taylor]: Taking taylor expansion of (- im) in im 2.000 * [taylor]: Taking taylor expansion of im in im 2.014 * [approximate]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 2.014 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 2.014 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 2.014 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 2.014 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.014 * [taylor]: Taking taylor expansion of im in im 2.014 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 2.014 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.014 * [taylor]: Taking taylor expansion of im in im 2.015 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 2.015 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 2.015 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 2.015 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.015 * [taylor]: Taking taylor expansion of im in im 2.015 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 2.015 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.015 * [taylor]: Taking taylor expansion of im in im 2.017 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 2.017 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 2.017 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 2.017 * [taylor]: Taking taylor expansion of (/ -1 im) in im 2.017 * [taylor]: Taking taylor expansion of -1 in im 2.017 * [taylor]: Taking taylor expansion of im in im 2.018 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 2.018 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.018 * [taylor]: Taking taylor expansion of im in im 2.018 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 2.018 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 2.018 * [taylor]: Taking taylor expansion of (/ -1 im) in im 2.018 * [taylor]: Taking taylor expansion of -1 in im 2.018 * [taylor]: Taking taylor expansion of im in im 2.018 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 2.019 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.019 * [taylor]: Taking taylor expansion of im in im 2.020 * * * [progress]: simplifying candidates 2.024 * [simplify]: Simplifying using # : (log (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3))) (exp (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3))) (cbrt (pow (* 0.5 (sin re)) 3)) (cbrt (pow (+ (exp (- 0.0 im)) (exp im)) 3)) (cbrt (pow (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) 3)) (cbrt (pow (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) 3)) (cbrt (pow (cbrt (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (sqrt (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (* 0.5 (sin re)) 1) 3)) (cbrt (pow (+ (exp (- 0.0 im)) (exp im)) 3)) (cbrt (pow (* (* 0.5 (sin re)) 1) 3)) (cbrt (pow (+ (exp (- 0.0 im)) (exp im)) 3)) (cbrt (pow 0.5 3)) (cbrt (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) 3)) (cbrt (pow (* (cbrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (sqrt (* 0.5 (sin re))) 3)) (cbrt (pow (* (sqrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow 1 3)) (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (sqrt 0.5) (sqrt (sin re))) 3)) (cbrt (pow (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* 0.5 (* (cbrt (sin re)) (cbrt (sin re)))) 3)) (cbrt (pow (* (cbrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* 0.5 (sqrt (sin re))) 3)) (cbrt (pow (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* 0.5 1) 3)) (cbrt (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (cbrt 0.5) (cbrt 0.5)) 3)) (cbrt (pow (* (* (cbrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (sqrt 0.5) 3)) (cbrt (pow (* (* (sqrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow 1 3)) (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (sin re) 3)) (cbrt (pow (* 0.5 (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (+ (exp (- 0.0 im)) (exp im)) 3)) (cbrt (pow (* 0.5 (sin re)) 3)) (cbrt (* (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)))) (cbrt (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3))) (cbrt (pow (* 0.5 (sin re)) 3)) (cbrt (pow (+ (exp (- 0.0 im)) (exp im)) 3)) (cbrt (pow (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) 3)) (cbrt (pow (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) 3)) (cbrt (pow (cbrt (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (sqrt (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (* 0.5 (sin re)) 1) 3)) (cbrt (pow (+ (exp (- 0.0 im)) (exp im)) 3)) (cbrt (pow (* (* 0.5 (sin re)) 1) 3)) (cbrt (pow (+ (exp (- 0.0 im)) (exp im)) 3)) (cbrt (pow 0.5 3)) (cbrt (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) 3)) (cbrt (pow (* (cbrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (sqrt (* 0.5 (sin re))) 3)) (cbrt (pow (* (sqrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow 1 3)) (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (sqrt 0.5) (sqrt (sin re))) 3)) (cbrt (pow (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* 0.5 (* (cbrt (sin re)) (cbrt (sin re)))) 3)) (cbrt (pow (* (cbrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* 0.5 (sqrt (sin re))) 3)) (cbrt (pow (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* 0.5 1) 3)) (cbrt (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (cbrt 0.5) (cbrt 0.5)) 3)) (cbrt (pow (* (* (cbrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (sqrt 0.5) 3)) (cbrt (pow (* (* (sqrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow 1 3)) (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (sin re) 3)) (cbrt (pow (* 0.5 (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (+ (exp (- 0.0 im)) (exp im)) 3)) (cbrt (pow (* 0.5 (sin re)) 3)) (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))))) (cbrt (sqrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3))) (cbrt (sqrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3))) (cbrt 1) (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (/ 3 2))) (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (/ 3 2))) (cbrt (pow (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) 3)) (cbrt (pow (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) 3)) (cbrt (pow (* (* 0.5 (sin re)) (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))) 3)) (cbrt (pow (- (exp (- 0.0 im)) (exp im)) 3)) (* (cbrt (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3))) (cbrt (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)))) (cbrt (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3))) (* (* (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3))) (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3))) (sqrt (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3))) (sqrt (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3))) (* (+ (+ (log 0.5) (log (sin re))) (log (+ (exp (- 0.0 im)) (exp im)))) 3) (* (+ (log (* 0.5 (sin re))) (log (+ (exp (- 0.0 im)) (exp im)))) 3) (* (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) 3) (* (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) 3) (* 1 3) (* 1 3) (* 1 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (cbrt 3) (cbrt 3))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (sqrt 3)) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 1) (pow (* 0.5 (sin re)) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) 3) (pow (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) 3) (pow 1 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) 3) (pow (cbrt (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (sqrt (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (* 0.5 (sin re)) 1) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow (* (* 0.5 (sin re)) 1) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow 0.5 3) (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) 3) (pow (* (cbrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (sqrt (* 0.5 (sin re))) 3) (pow (* (sqrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3) (pow 1 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (sqrt 0.5) (sqrt (sin re))) 3) (pow (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* 0.5 (* (cbrt (sin re)) (cbrt (sin re)))) 3) (pow (* (cbrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* 0.5 (sqrt (sin re))) 3) (pow (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* 0.5 1) 3) (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (cbrt 0.5) (cbrt 0.5)) 3) (pow (* (* (cbrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (sqrt 0.5) 3) (pow (* (* (sqrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow 1 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (sin re) 3) (pow (* 0.5 (+ (exp (- 0.0 im)) (exp im))) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow (* 0.5 (sin re)) 3) (* (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (exp (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (* (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3))) (cbrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (* (* (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (pow (* 0.5 (sin re)) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) 3) (pow (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) 3) (pow 1 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) 3) (pow (cbrt (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (sqrt (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (* 0.5 (sin re)) 1) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow (* (* 0.5 (sin re)) 1) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow 0.5 3) (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) 3) (pow (* (cbrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (sqrt (* 0.5 (sin re))) 3) (pow (* (sqrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3) (pow 1 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (sqrt 0.5) (sqrt (sin re))) 3) (pow (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* 0.5 (* (cbrt (sin re)) (cbrt (sin re)))) 3) (pow (* (cbrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* 0.5 (sqrt (sin re))) 3) (pow (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* 0.5 1) 3) (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (cbrt 0.5) (cbrt 0.5)) 3) (pow (* (* (cbrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (sqrt 0.5) 3) (pow (* (* (sqrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow 1 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (sin re) 3) (pow (* 0.5 (+ (exp (- 0.0 im)) (exp im))) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow (* 0.5 (sin re)) 3) (pow (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) 3) (pow (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) 3) (pow (* (* 0.5 (sin re)) (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))) 3) (pow (- (exp (- 0.0 im)) (exp im)) 3) (* (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (sqrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (/ 3 2)) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (/ 3 2)) (* (* 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)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp 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))) (* (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))) (* (* 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))) (* (cbrt (* 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)) (exp im))) (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0.0 im)) (exp im))) (* (cbrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (* (cbrt 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)) (exp im))) (* 0.5 (+ (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)))) (* (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.5 (* (pow re 3) (pow im 2))) (* 1.0 (pow re 3))) (* 0.5 (pow re 5))) (* 0.125 (* (pow (sin re) 3) (pow (+ (exp im) (exp (- im))) 3))) (* 0.125 (* (pow (+ (exp (* -1 im)) (exp im)) 3) (pow (sin re) 3))) (- (+ (* 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)) 2.034 * * [simplify]: iteration 0 : 734 enodes (cost 2017 ) 2.049 * * [simplify]: iteration 1 : 4405 enodes (cost 1936 ) 2.158 * * [simplify]: iteration 2 : 5001 enodes (cost 1930 ) 2.166 * [simplify]: Simplified to: (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* 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))))) (cbrt (* (* 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)))) 1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (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)))) (sqrt (+ (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))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) (sqrt (* 0.5 (sin re))) (* (sqrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) 1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sqrt 0.5) (sqrt (sin re))) (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0.0 im)) (exp im))) (* 0.5 (* (cbrt (sin re)) (cbrt (sin re)))) (* (cbrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* 0.5 (sqrt (sin re))) (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.5 (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (cbrt 0.5) (cbrt 0.5)) (* (* (cbrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) (sqrt 0.5) (* (* (sqrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) 1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (sin re) (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im)) (* 0.5 (sin re)) (cbrt (* (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 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))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* 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))))) (cbrt (* (* 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)))) 1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (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)))) (sqrt (+ (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))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) (sqrt (* 0.5 (sin re))) (* (sqrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) 1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sqrt 0.5) (sqrt (sin re))) (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0.0 im)) (exp im))) (* 0.5 (* (cbrt (sin re)) (cbrt (sin re)))) (* (cbrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* 0.5 (sqrt (sin re))) (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.5 (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (cbrt 0.5) (cbrt 0.5)) (* (* (cbrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) (sqrt 0.5) (* (* (sqrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) 1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (sin re) (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im)) (* 0.5 (sin re)) (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))))) (cbrt (sqrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3))) (cbrt (sqrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3))) 1 (* (* 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)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (- (+ (exp (+ (- 0.0 im) (- 0.0 im))) (exp (+ im im))) (exp (+ (- 0.0 im) im))) (* (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im im)))) (* 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))))) (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)))) (log (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (log (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (log (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (log (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) 3 3 3 (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (cbrt 3) (cbrt 3))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (sqrt 3)) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (pow (* 0.5 (sin re)) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 2) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3/2) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3/2) 1 (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (* (pow (cbrt (+ (exp (- 0.0 im)) (exp im))) 6) (pow (* 0.5 (sin re)) 3)) (+ (exp (- 0.0 im)) (exp im)) (pow (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (sqrt (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* 0.5 (sin re)) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow (* 0.5 (sin re)) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow 0.5 3) (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (cbrt (* 0.5 (sin re))) 6) (* (pow (+ (exp (- 0.0 im)) (exp im)) 3) (* 0.5 (sin re))) (pow (sqrt (* 0.5 (sin re))) 3) (pow (* (sqrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3) 1 (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (sqrt 0.5) (sqrt (sin re))) 3) (pow (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3) (* (pow 0.5 3) (* (sin re) (sin re))) (* (pow (+ (exp (- 0.0 im)) (exp im)) 3) (sin re)) (pow (* 0.5 (sqrt (sin re))) 3) (pow (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow 0.5 3) (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3) (* 0.5 0.5) (* 0.5 (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3)) (pow (sqrt 0.5) 3) (pow (* (* (sqrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) 1 (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (sin re) 3) (pow (* 0.5 (+ (exp (- 0.0 im)) (exp im))) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow (* 0.5 (sin re)) 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 2) (log (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (exp (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 2) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (pow (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) 3) (pow (* 0.5 (sin re)) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 2) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3/2) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3/2) 1 (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (* (pow (cbrt (+ (exp (- 0.0 im)) (exp im))) 6) (pow (* 0.5 (sin re)) 3)) (+ (exp (- 0.0 im)) (exp im)) (pow (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (sqrt (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* 0.5 (sin re)) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow (* 0.5 (sin re)) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow 0.5 3) (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (cbrt (* 0.5 (sin re))) 6) (* (pow (+ (exp (- 0.0 im)) (exp im)) 3) (* 0.5 (sin re))) (pow (sqrt (* 0.5 (sin re))) 3) (pow (* (sqrt (* 0.5 (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3) 1 (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (sqrt 0.5) (sqrt (sin re))) 3) (pow (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0.0 im)) (exp im))) 3) (* (pow 0.5 3) (* (sin re) (sin re))) (* (pow (+ (exp (- 0.0 im)) (exp im)) 3) (sin re)) (pow (* 0.5 (sqrt (sin re))) 3) (pow (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow 0.5 3) (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3) (* 0.5 0.5) (* 0.5 (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3)) (pow (sqrt 0.5) 3) (pow (* (* (sqrt 0.5) (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) 1 (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (sin re) 3) (pow (* 0.5 (+ (exp (- 0.0 im)) (exp im))) 3) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (pow (* 0.5 (sin re)) 3) (pow (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) 3) (pow (- (+ (exp (+ (- 0.0 im) (- 0.0 im))) (exp (+ im im))) (exp (+ (- 0.0 im) im))) 3) (pow (* (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im im)))) (* 0.5 (sin re))) 3) (pow (- (exp (- 0.0 im)) (exp im)) 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 2) (sqrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (sqrt (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3)) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3/2) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3/2) (* (* 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))) (* (* 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)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (sqrt (* 0.5 (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (sqrt 0.5) (sqrt (sin re))) (sqrt (+ (exp (- 0.0 im)) (exp 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 (- 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)) (* (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))) (* (cbrt (* 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)) (exp im))) (* (* (sqrt 0.5) (sqrt (sin re))) (+ (exp (- 0.0 im)) (exp im))) (* (cbrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (* (cbrt 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)) (exp im))) (* 0.5 (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im im)))) (* 0.5 (sin re))) (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)) (- (+ (exp (+ (- 0.0 im) (- 0.0 im))) (exp (+ im im))) (exp (+ (- 0.0 im) im))) (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im 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 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (- (+ (* 1.5 (* (pow re 3) (pow im 2))) (* 1.0 (pow re 3))) (* 0.5 (pow re 5))) (* 0.125 (* (pow (+ (exp (* -1 im)) (exp im)) 3) (pow (sin re) 3))) (* 0.125 (* (pow (+ (exp (* -1 im)) (exp im)) 3) (pow (sin re) 3))) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp (* -1 im)) (exp im)) (+ (exp (* -1 im)) (exp im)) 2.167 * * * [progress]: adding candidates to table 2.548 * [progress]: [Phase 3 of 3] Extracting. 2.548 * * [regime]: Finding splitpoints for: (# # # #) 2.549 * * * [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) 2.549 * * * * [regimes]: Trying to branch on (+ (exp (- 0.0 im)) (exp im)) from (# # # #) 2.569 * * * * [regimes]: Trying to branch on (sin re) from (# # # #) 2.594 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# # # #) 2.617 * * * * [regimes]: Trying to branch on (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) from (# # # #) 2.649 * * * * [regimes]: Trying to branch on im from (# # # #) 2.668 * * * * [regimes]: Trying to branch on re from (# # # #) 2.690 * * * [regime]: Found split indices: #