20.616 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.098 * * * [progress]: [2/2] Setting up program. 0.101 * [progress]: [Phase 2 of 3] Improving. 0.101 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.102 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 0.104 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 0.107 * * [simplify]: iteration 2 : 60 enodes (cost 12 ) 0.117 * * [simplify]: iteration 3 : 94 enodes (cost 12 ) 0.136 * * [simplify]: iteration 4 : 153 enodes (cost 12 ) 0.175 * * [simplify]: iteration 5 : 227 enodes (cost 12 ) 0.269 * * [simplify]: iteration 6 : 375 enodes (cost 12 ) 0.392 * * [simplify]: iteration 7 : 455 enodes (cost 12 ) 0.539 * * [simplify]: iteration 8 : 752 enodes (cost 12 ) 1.467 * * [simplify]: iteration 9 : 1535 enodes (cost 12 ) 3.521 * * [simplify]: iteration 10 : 1913 enodes (cost 12 ) 4.599 * * [simplify]: iteration 11 : 2082 enodes (cost 12 ) 5.210 * * [simplify]: iteration 12 : 2202 enodes (cost 12 ) 5.689 * * [simplify]: iteration 13 : 2226 enodes (cost 12 ) 6.107 * * [simplify]: iteration done : 2226 enodes (cost 12 ) 6.107 * [simplify]: Simplified to: (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 6.107 * * [progress]: iteration 1 / 4 6.107 * * * [progress]: picking best candidate 6.110 * * * * [pick]: Picked # 6.110 * * * [progress]: localizing error 6.124 * * * [progress]: generating rewritten candidates 6.124 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 6.176 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 6.199 * * * [progress]: generating series expansions 6.199 * * * * [progress]: [ 1 / 2 ] generating series at (2) 6.199 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in (re im) around 0 6.199 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in im 6.199 * [taylor]: Taking taylor expansion of 0.5 in im 6.199 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in im 6.199 * [taylor]: Taking taylor expansion of (sin re) in im 6.199 * [taylor]: Taking taylor expansion of re in im 6.199 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 6.199 * [taylor]: Taking taylor expansion of (exp im) in im 6.199 * [taylor]: Taking taylor expansion of im in im 6.199 * [taylor]: Taking taylor expansion of (exp (- im)) in im 6.199 * [taylor]: Taking taylor expansion of (- im) in im 6.199 * [taylor]: Taking taylor expansion of im in im 6.200 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 6.200 * [taylor]: Taking taylor expansion of 0.5 in re 6.200 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 6.200 * [taylor]: Taking taylor expansion of (sin re) in re 6.200 * [taylor]: Taking taylor expansion of re in re 6.200 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 6.200 * [taylor]: Taking taylor expansion of (exp im) in re 6.200 * [taylor]: Taking taylor expansion of im in re 6.200 * [taylor]: Taking taylor expansion of (exp (- im)) in re 6.200 * [taylor]: Taking taylor expansion of (- im) in re 6.200 * [taylor]: Taking taylor expansion of im in re 6.200 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 6.200 * [taylor]: Taking taylor expansion of 0.5 in re 6.200 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 6.200 * [taylor]: Taking taylor expansion of (sin re) in re 6.201 * [taylor]: Taking taylor expansion of re in re 6.201 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 6.201 * [taylor]: Taking taylor expansion of (exp im) in re 6.201 * [taylor]: Taking taylor expansion of im in re 6.201 * [taylor]: Taking taylor expansion of (exp (- im)) in re 6.201 * [taylor]: Taking taylor expansion of (- im) in re 6.201 * [taylor]: Taking taylor expansion of im in re 6.201 * [taylor]: Taking taylor expansion of 0 in im 6.204 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (- im)))) in im 6.204 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 6.204 * [taylor]: Taking taylor expansion of 0.5 in im 6.204 * [taylor]: Taking taylor expansion of (exp im) in im 6.204 * [taylor]: Taking taylor expansion of im in im 6.204 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 6.204 * [taylor]: Taking taylor expansion of 0.5 in im 6.204 * [taylor]: Taking taylor expansion of (exp (- im)) in im 6.204 * [taylor]: Taking taylor expansion of (- im) in im 6.204 * [taylor]: Taking taylor expansion of im in im 6.209 * [taylor]: Taking taylor expansion of 0 in im 6.218 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im))))) in im 6.218 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im 6.218 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 6.218 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 6.218 * [taylor]: Taking taylor expansion of (exp im) in im 6.218 * [taylor]: Taking taylor expansion of im in im 6.218 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 6.218 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 6.218 * [taylor]: Taking taylor expansion of (exp (- im)) in im 6.218 * [taylor]: Taking taylor expansion of (- im) in im 6.218 * [taylor]: Taking taylor expansion of im in im 6.226 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 6.226 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 6.226 * [taylor]: Taking taylor expansion of 0.5 in im 6.226 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 6.226 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 6.226 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.226 * [taylor]: Taking taylor expansion of re in im 6.226 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 6.226 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 6.226 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 6.226 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.226 * [taylor]: Taking taylor expansion of im in im 6.227 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.227 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.227 * [taylor]: Taking taylor expansion of im in im 6.227 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 6.227 * [taylor]: Taking taylor expansion of 0.5 in re 6.227 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 6.227 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 6.227 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.227 * [taylor]: Taking taylor expansion of re in re 6.228 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 6.228 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 6.228 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 6.228 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.228 * [taylor]: Taking taylor expansion of im in re 6.228 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.228 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.228 * [taylor]: Taking taylor expansion of im in re 6.228 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 6.228 * [taylor]: Taking taylor expansion of 0.5 in re 6.228 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 6.228 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 6.228 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.228 * [taylor]: Taking taylor expansion of re in re 6.228 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 6.229 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 6.229 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 6.229 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.229 * [taylor]: Taking taylor expansion of im in re 6.229 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.229 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.229 * [taylor]: Taking taylor expansion of im in re 6.229 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 6.229 * [taylor]: Taking taylor expansion of 0.5 in im 6.229 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 6.229 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 6.229 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.229 * [taylor]: Taking taylor expansion of re in im 6.229 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 6.229 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 6.229 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 6.229 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.229 * [taylor]: Taking taylor expansion of im in im 6.230 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.230 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.230 * [taylor]: Taking taylor expansion of im in im 6.233 * [taylor]: Taking taylor expansion of 0 in im 6.239 * [taylor]: Taking taylor expansion of 0 in im 6.247 * [taylor]: Taking taylor expansion of 0 in im 6.248 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0 6.248 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 6.248 * [taylor]: Taking taylor expansion of 0.5 in im 6.248 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 6.248 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 6.248 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.248 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.248 * [taylor]: Taking taylor expansion of -1 in im 6.248 * [taylor]: Taking taylor expansion of im in im 6.248 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.248 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.248 * [taylor]: Taking taylor expansion of im in im 6.248 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 6.248 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.248 * [taylor]: Taking taylor expansion of -1 in im 6.248 * [taylor]: Taking taylor expansion of re in im 6.249 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 6.249 * [taylor]: Taking taylor expansion of 0.5 in re 6.249 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 6.249 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 6.249 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.249 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.249 * [taylor]: Taking taylor expansion of -1 in re 6.249 * [taylor]: Taking taylor expansion of im in re 6.249 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.249 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.249 * [taylor]: Taking taylor expansion of im in re 6.249 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 6.249 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.249 * [taylor]: Taking taylor expansion of -1 in re 6.249 * [taylor]: Taking taylor expansion of re in re 6.249 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 6.249 * [taylor]: Taking taylor expansion of 0.5 in re 6.249 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 6.249 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 6.249 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.249 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.249 * [taylor]: Taking taylor expansion of -1 in re 6.249 * [taylor]: Taking taylor expansion of im in re 6.249 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.249 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.249 * [taylor]: Taking taylor expansion of im in re 6.249 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 6.250 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.250 * [taylor]: Taking taylor expansion of -1 in re 6.250 * [taylor]: Taking taylor expansion of re in re 6.250 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 6.250 * [taylor]: Taking taylor expansion of 0.5 in im 6.250 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 6.250 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 6.250 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.250 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.250 * [taylor]: Taking taylor expansion of -1 in im 6.250 * [taylor]: Taking taylor expansion of im in im 6.251 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.251 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.251 * [taylor]: Taking taylor expansion of im in im 6.251 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 6.251 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.251 * [taylor]: Taking taylor expansion of -1 in im 6.251 * [taylor]: Taking taylor expansion of re in im 6.253 * [taylor]: Taking taylor expansion of 0 in im 6.259 * [taylor]: Taking taylor expansion of 0 in im 6.265 * [taylor]: Taking taylor expansion of 0 in im 6.266 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 6.266 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (- im))) in (im) around 0 6.266 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 6.266 * [taylor]: Taking taylor expansion of (exp im) in im 6.266 * [taylor]: Taking taylor expansion of im in im 6.266 * [taylor]: Taking taylor expansion of (exp (- im)) in im 6.266 * [taylor]: Taking taylor expansion of (- im) in im 6.266 * [taylor]: Taking taylor expansion of im in im 6.266 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 6.266 * [taylor]: Taking taylor expansion of (exp im) in im 6.266 * [taylor]: Taking taylor expansion of im in im 6.267 * [taylor]: Taking taylor expansion of (exp (- im)) in im 6.267 * [taylor]: Taking taylor expansion of (- im) in im 6.267 * [taylor]: Taking taylor expansion of im in im 6.287 * [approximate]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 6.287 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 6.287 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 6.287 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 6.287 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.287 * [taylor]: Taking taylor expansion of im in im 6.288 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.288 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.288 * [taylor]: Taking taylor expansion of im in im 6.288 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 6.288 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 6.288 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 6.288 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.288 * [taylor]: Taking taylor expansion of im in im 6.289 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.289 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.289 * [taylor]: Taking taylor expansion of im in im 6.291 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 6.291 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 6.291 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.291 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.291 * [taylor]: Taking taylor expansion of -1 in im 6.291 * [taylor]: Taking taylor expansion of im in im 6.291 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.291 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.291 * [taylor]: Taking taylor expansion of im in im 6.291 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 6.291 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.291 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.292 * [taylor]: Taking taylor expansion of -1 in im 6.292 * [taylor]: Taking taylor expansion of im in im 6.292 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.292 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.292 * [taylor]: Taking taylor expansion of im in im 6.294 * * * [progress]: simplifying candidates 6.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)))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im)) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) 1) (* (* 0.5 (sin re)) 1) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))) (* (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)) 6.297 * * [simplify]: iteration 0 : 93 enodes (cost 600 ) 6.316 * * [simplify]: iteration 1 : 268 enodes (cost 582 ) 6.401 * * [simplify]: iteration 2 : 964 enodes (cost 490 ) 7.730 * * [simplify]: iteration 3 : 4172 enodes (cost 487 ) 9.198 * * [simplify]: iteration done : 5000 enodes (cost 487 ) 9.198 * [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)))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* 0.5 (sin re)) (* 0.5 (sin re)) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (- (exp (* 2 (- 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)) (- (* (exp 0.0) 1) (exp (* 2 (- 0.0 im))))) (- (exp (* 2 (- 0.0 im))) (exp (+ im im))) (- (exp (- 0.0 im)) (exp im)) (+ (exp im) (exp (- 0.0 im))) (- (* re (+ 1.0 (* (pow im 2) 0.5))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im))) 9.199 * * * [progress]: adding candidates to table 9.295 * * [progress]: iteration 2 / 4 9.295 * * * [progress]: picking best candidate 9.300 * * * * [pick]: Picked # 9.300 * * * [progress]: localizing error 9.314 * * * [progress]: generating rewritten candidates 9.314 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 9.348 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 9.357 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 9.390 * * * [progress]: generating series expansions 9.390 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 9.390 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in (im re) around 0 9.390 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re 9.390 * [taylor]: Taking taylor expansion of 0.5 in re 9.390 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re 9.390 * [taylor]: Taking taylor expansion of (exp (- im)) in re 9.390 * [taylor]: Taking taylor expansion of (- im) in re 9.390 * [taylor]: Taking taylor expansion of im in re 9.390 * [taylor]: Taking taylor expansion of (sin re) in re 9.390 * [taylor]: Taking taylor expansion of re in re 9.390 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 9.390 * [taylor]: Taking taylor expansion of 0.5 in im 9.390 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 9.390 * [taylor]: Taking taylor expansion of (exp (- im)) in im 9.390 * [taylor]: Taking taylor expansion of (- im) in im 9.390 * [taylor]: Taking taylor expansion of im in im 9.391 * [taylor]: Taking taylor expansion of (sin re) in im 9.391 * [taylor]: Taking taylor expansion of re in im 9.391 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 9.391 * [taylor]: Taking taylor expansion of 0.5 in im 9.391 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 9.391 * [taylor]: Taking taylor expansion of (exp (- im)) in im 9.391 * [taylor]: Taking taylor expansion of (- im) in im 9.391 * [taylor]: Taking taylor expansion of im in im 9.392 * [taylor]: Taking taylor expansion of (sin re) in im 9.392 * [taylor]: Taking taylor expansion of re in im 9.392 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 9.392 * [taylor]: Taking taylor expansion of 0.5 in re 9.392 * [taylor]: Taking taylor expansion of (sin re) in re 9.392 * [taylor]: Taking taylor expansion of re in re 9.395 * [taylor]: Taking taylor expansion of (- (* 0.5 (sin re))) in re 9.395 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 9.395 * [taylor]: Taking taylor expansion of 0.5 in re 9.395 * [taylor]: Taking taylor expansion of (sin re) in re 9.395 * [taylor]: Taking taylor expansion of re in re 9.401 * [taylor]: Taking taylor expansion of (* 0.25 (sin re)) in re 9.401 * [taylor]: Taking taylor expansion of 0.25 in re 9.401 * [taylor]: Taking taylor expansion of (sin re) in re 9.401 * [taylor]: Taking taylor expansion of re in re 9.409 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (sin re))) in re 9.410 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (sin re)) in re 9.410 * [taylor]: Taking taylor expansion of 0.08333333333333333 in re 9.410 * [taylor]: Taking taylor expansion of (sin re) in re 9.410 * [taylor]: Taking taylor expansion of re in re 9.412 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in (im re) around 0 9.412 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 9.412 * [taylor]: Taking taylor expansion of 0.5 in re 9.412 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 9.412 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 9.412 * [taylor]: Taking taylor expansion of (/ 1 re) in re 9.412 * [taylor]: Taking taylor expansion of re in re 9.412 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 9.412 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 9.412 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.412 * [taylor]: Taking taylor expansion of im in re 9.413 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 9.413 * [taylor]: Taking taylor expansion of 0.5 in im 9.413 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 9.413 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 9.413 * [taylor]: Taking taylor expansion of (/ 1 re) in im 9.413 * [taylor]: Taking taylor expansion of re in im 9.413 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 9.413 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 9.413 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.413 * [taylor]: Taking taylor expansion of im in im 9.413 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 9.413 * [taylor]: Taking taylor expansion of 0.5 in im 9.413 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 9.413 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 9.413 * [taylor]: Taking taylor expansion of (/ 1 re) in im 9.413 * [taylor]: Taking taylor expansion of re in im 9.414 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 9.414 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 9.414 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.414 * [taylor]: Taking taylor expansion of im in im 9.414 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 9.414 * [taylor]: Taking taylor expansion of 0.5 in re 9.414 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 9.414 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 9.414 * [taylor]: Taking taylor expansion of (/ 1 re) in re 9.414 * [taylor]: Taking taylor expansion of re in re 9.415 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 9.415 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 9.415 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.415 * [taylor]: Taking taylor expansion of im in re 9.417 * [taylor]: Taking taylor expansion of 0 in re 9.421 * [taylor]: Taking taylor expansion of 0 in re 9.428 * [taylor]: Taking taylor expansion of 0 in re 9.428 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in (im re) around 0 9.428 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 9.428 * [taylor]: Taking taylor expansion of 0.5 in re 9.428 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 9.428 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 9.428 * [taylor]: Taking taylor expansion of (/ -1 re) in re 9.428 * [taylor]: Taking taylor expansion of -1 in re 9.428 * [taylor]: Taking taylor expansion of re in re 9.429 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 9.429 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.429 * [taylor]: Taking taylor expansion of im in re 9.429 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 9.429 * [taylor]: Taking taylor expansion of 0.5 in im 9.429 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 9.429 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 9.429 * [taylor]: Taking taylor expansion of (/ -1 re) in im 9.429 * [taylor]: Taking taylor expansion of -1 in im 9.429 * [taylor]: Taking taylor expansion of re in im 9.429 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 9.429 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.429 * [taylor]: Taking taylor expansion of im in im 9.429 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 9.429 * [taylor]: Taking taylor expansion of 0.5 in im 9.429 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 9.429 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 9.429 * [taylor]: Taking taylor expansion of (/ -1 re) in im 9.429 * [taylor]: Taking taylor expansion of -1 in im 9.429 * [taylor]: Taking taylor expansion of re in im 9.430 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 9.430 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.430 * [taylor]: Taking taylor expansion of im in im 9.430 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 9.430 * [taylor]: Taking taylor expansion of 0.5 in re 9.430 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 9.430 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 9.430 * [taylor]: Taking taylor expansion of (/ -1 re) in re 9.430 * [taylor]: Taking taylor expansion of -1 in re 9.430 * [taylor]: Taking taylor expansion of re in re 9.431 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 9.431 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.431 * [taylor]: Taking taylor expansion of im in re 9.433 * [taylor]: Taking taylor expansion of 0 in re 9.437 * [taylor]: Taking taylor expansion of 0 in re 9.442 * [taylor]: Taking taylor expansion of 0 in re 9.442 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 9.443 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in (im re) around 0 9.443 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 9.443 * [taylor]: Taking taylor expansion of 0.5 in re 9.443 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 9.443 * [taylor]: Taking taylor expansion of (exp im) in re 9.443 * [taylor]: Taking taylor expansion of im in re 9.443 * [taylor]: Taking taylor expansion of (sin re) in re 9.443 * [taylor]: Taking taylor expansion of re in re 9.443 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 9.443 * [taylor]: Taking taylor expansion of 0.5 in im 9.443 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 9.443 * [taylor]: Taking taylor expansion of (exp im) in im 9.443 * [taylor]: Taking taylor expansion of im in im 9.443 * [taylor]: Taking taylor expansion of (sin re) in im 9.443 * [taylor]: Taking taylor expansion of re in im 9.443 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 9.443 * [taylor]: Taking taylor expansion of 0.5 in im 9.443 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 9.443 * [taylor]: Taking taylor expansion of (exp im) in im 9.443 * [taylor]: Taking taylor expansion of im in im 9.443 * [taylor]: Taking taylor expansion of (sin re) in im 9.443 * [taylor]: Taking taylor expansion of re in im 9.443 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 9.443 * [taylor]: Taking taylor expansion of 0.5 in re 9.443 * [taylor]: Taking taylor expansion of (sin re) in re 9.443 * [taylor]: Taking taylor expansion of re in re 9.446 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 9.446 * [taylor]: Taking taylor expansion of 0.5 in re 9.446 * [taylor]: Taking taylor expansion of (sin re) in re 9.446 * [taylor]: Taking taylor expansion of re in re 9.451 * [taylor]: Taking taylor expansion of (* 0.25 (sin re)) in re 9.451 * [taylor]: Taking taylor expansion of 0.25 in re 9.451 * [taylor]: Taking taylor expansion of (sin re) in re 9.451 * [taylor]: Taking taylor expansion of re in re 9.458 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (sin re)) in re 9.458 * [taylor]: Taking taylor expansion of 0.08333333333333333 in re 9.458 * [taylor]: Taking taylor expansion of (sin re) in re 9.458 * [taylor]: Taking taylor expansion of re in re 9.460 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in (im re) around 0 9.460 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 9.460 * [taylor]: Taking taylor expansion of 0.5 in re 9.460 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 9.460 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 9.460 * [taylor]: Taking taylor expansion of (/ 1 re) in re 9.460 * [taylor]: Taking taylor expansion of re in re 9.461 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 9.461 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.461 * [taylor]: Taking taylor expansion of im in re 9.461 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 9.461 * [taylor]: Taking taylor expansion of 0.5 in im 9.461 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 9.461 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 9.461 * [taylor]: Taking taylor expansion of (/ 1 re) in im 9.461 * [taylor]: Taking taylor expansion of re in im 9.461 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 9.461 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.461 * [taylor]: Taking taylor expansion of im in im 9.461 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 9.461 * [taylor]: Taking taylor expansion of 0.5 in im 9.461 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 9.461 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 9.461 * [taylor]: Taking taylor expansion of (/ 1 re) in im 9.461 * [taylor]: Taking taylor expansion of re in im 9.461 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 9.461 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.462 * [taylor]: Taking taylor expansion of im in im 9.462 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 9.462 * [taylor]: Taking taylor expansion of 0.5 in re 9.462 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 9.462 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 9.462 * [taylor]: Taking taylor expansion of (/ 1 re) in re 9.462 * [taylor]: Taking taylor expansion of re in re 9.462 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 9.463 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.463 * [taylor]: Taking taylor expansion of im in re 9.465 * [taylor]: Taking taylor expansion of 0 in re 9.469 * [taylor]: Taking taylor expansion of 0 in re 9.478 * [taylor]: Taking taylor expansion of 0 in re 9.478 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in (im re) around 0 9.478 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 9.478 * [taylor]: Taking taylor expansion of 0.5 in re 9.478 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 9.478 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 9.478 * [taylor]: Taking taylor expansion of (/ -1 im) in re 9.478 * [taylor]: Taking taylor expansion of -1 in re 9.478 * [taylor]: Taking taylor expansion of im in re 9.478 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 9.478 * [taylor]: Taking taylor expansion of (/ -1 re) in re 9.478 * [taylor]: Taking taylor expansion of -1 in re 9.478 * [taylor]: Taking taylor expansion of re in re 9.479 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 9.479 * [taylor]: Taking taylor expansion of 0.5 in im 9.479 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 9.479 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 9.479 * [taylor]: Taking taylor expansion of (/ -1 im) in im 9.479 * [taylor]: Taking taylor expansion of -1 in im 9.479 * [taylor]: Taking taylor expansion of im in im 9.479 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 9.479 * [taylor]: Taking taylor expansion of (/ -1 re) in im 9.479 * [taylor]: Taking taylor expansion of -1 in im 9.479 * [taylor]: Taking taylor expansion of re in im 9.479 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 9.479 * [taylor]: Taking taylor expansion of 0.5 in im 9.479 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 9.479 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 9.479 * [taylor]: Taking taylor expansion of (/ -1 im) in im 9.479 * [taylor]: Taking taylor expansion of -1 in im 9.479 * [taylor]: Taking taylor expansion of im in im 9.480 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 9.480 * [taylor]: Taking taylor expansion of (/ -1 re) in im 9.480 * [taylor]: Taking taylor expansion of -1 in im 9.480 * [taylor]: Taking taylor expansion of re in im 9.480 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 9.480 * [taylor]: Taking taylor expansion of 0.5 in re 9.480 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 9.480 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 9.480 * [taylor]: Taking taylor expansion of (/ -1 im) in re 9.480 * [taylor]: Taking taylor expansion of -1 in re 9.480 * [taylor]: Taking taylor expansion of im in re 9.480 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 9.480 * [taylor]: Taking taylor expansion of (/ -1 re) in re 9.480 * [taylor]: Taking taylor expansion of -1 in re 9.480 * [taylor]: Taking taylor expansion of re in re 9.483 * [taylor]: Taking taylor expansion of 0 in re 9.487 * [taylor]: Taking taylor expansion of 0 in re 9.492 * [taylor]: Taking taylor expansion of 0 in re 9.492 * * * * [progress]: [ 3 / 3 ] generating series at (2) 9.493 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in (im re) around 0 9.493 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in re 9.493 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re 9.493 * [taylor]: Taking taylor expansion of 0.5 in re 9.493 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re 9.493 * [taylor]: Taking taylor expansion of (exp (- im)) in re 9.493 * [taylor]: Taking taylor expansion of (- im) in re 9.493 * [taylor]: Taking taylor expansion of im in re 9.493 * [taylor]: Taking taylor expansion of (sin re) in re 9.493 * [taylor]: Taking taylor expansion of re in re 9.493 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 9.493 * [taylor]: Taking taylor expansion of 0.5 in re 9.493 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 9.493 * [taylor]: Taking taylor expansion of (exp im) in re 9.493 * [taylor]: Taking taylor expansion of im in re 9.493 * [taylor]: Taking taylor expansion of (sin re) in re 9.493 * [taylor]: Taking taylor expansion of re in re 9.493 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in im 9.493 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 9.493 * [taylor]: Taking taylor expansion of 0.5 in im 9.493 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 9.493 * [taylor]: Taking taylor expansion of (exp (- im)) in im 9.493 * [taylor]: Taking taylor expansion of (- im) in im 9.493 * [taylor]: Taking taylor expansion of im in im 9.494 * [taylor]: Taking taylor expansion of (sin re) in im 9.494 * [taylor]: Taking taylor expansion of re in im 9.494 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 9.494 * [taylor]: Taking taylor expansion of 0.5 in im 9.494 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 9.494 * [taylor]: Taking taylor expansion of (exp im) in im 9.494 * [taylor]: Taking taylor expansion of im in im 9.494 * [taylor]: Taking taylor expansion of (sin re) in im 9.494 * [taylor]: Taking taylor expansion of re in im 9.494 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in im 9.494 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 9.494 * [taylor]: Taking taylor expansion of 0.5 in im 9.494 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 9.494 * [taylor]: Taking taylor expansion of (exp (- im)) in im 9.494 * [taylor]: Taking taylor expansion of (- im) in im 9.494 * [taylor]: Taking taylor expansion of im in im 9.495 * [taylor]: Taking taylor expansion of (sin re) in im 9.495 * [taylor]: Taking taylor expansion of re in im 9.495 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 9.495 * [taylor]: Taking taylor expansion of 0.5 in im 9.495 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 9.495 * [taylor]: Taking taylor expansion of (exp im) in im 9.495 * [taylor]: Taking taylor expansion of im in im 9.495 * [taylor]: Taking taylor expansion of (sin re) in im 9.495 * [taylor]: Taking taylor expansion of re in im 9.495 * [taylor]: Taking taylor expansion of (* 1.0 (sin re)) in re 9.495 * [taylor]: Taking taylor expansion of 1.0 in re 9.495 * [taylor]: Taking taylor expansion of (sin re) in re 9.495 * [taylor]: Taking taylor expansion of re in re 9.500 * [taylor]: Taking taylor expansion of 0 in re 9.509 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 9.509 * [taylor]: Taking taylor expansion of 0.5 in re 9.509 * [taylor]: Taking taylor expansion of (sin re) in re 9.509 * [taylor]: Taking taylor expansion of re in re 9.520 * [taylor]: Taking taylor expansion of 0 in re 9.525 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in (im re) around 0 9.525 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in re 9.525 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 9.525 * [taylor]: Taking taylor expansion of 0.5 in re 9.525 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 9.525 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 9.525 * [taylor]: Taking taylor expansion of (/ 1 re) in re 9.525 * [taylor]: Taking taylor expansion of re in re 9.525 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 9.525 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 9.525 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.525 * [taylor]: Taking taylor expansion of im in re 9.525 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 9.525 * [taylor]: Taking taylor expansion of 0.5 in re 9.526 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 9.526 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 9.526 * [taylor]: Taking taylor expansion of (/ 1 re) in re 9.526 * [taylor]: Taking taylor expansion of re in re 9.526 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 9.526 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.526 * [taylor]: Taking taylor expansion of im in re 9.526 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in im 9.526 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 9.526 * [taylor]: Taking taylor expansion of 0.5 in im 9.526 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 9.526 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 9.526 * [taylor]: Taking taylor expansion of (/ 1 re) in im 9.526 * [taylor]: Taking taylor expansion of re in im 9.526 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 9.526 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 9.526 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.526 * [taylor]: Taking taylor expansion of im in im 9.527 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 9.527 * [taylor]: Taking taylor expansion of 0.5 in im 9.527 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 9.527 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 9.527 * [taylor]: Taking taylor expansion of (/ 1 re) in im 9.527 * [taylor]: Taking taylor expansion of re in im 9.527 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 9.527 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.527 * [taylor]: Taking taylor expansion of im in im 9.527 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in im 9.527 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 9.527 * [taylor]: Taking taylor expansion of 0.5 in im 9.527 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 9.527 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 9.527 * [taylor]: Taking taylor expansion of (/ 1 re) in im 9.527 * [taylor]: Taking taylor expansion of re in im 9.528 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 9.528 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 9.528 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.528 * [taylor]: Taking taylor expansion of im in im 9.528 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 9.528 * [taylor]: Taking taylor expansion of 0.5 in im 9.528 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 9.528 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 9.528 * [taylor]: Taking taylor expansion of (/ 1 re) in im 9.528 * [taylor]: Taking taylor expansion of re in im 9.528 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 9.528 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.528 * [taylor]: Taking taylor expansion of im in im 9.529 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in re 9.529 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 9.529 * [taylor]: Taking taylor expansion of 0.5 in re 9.529 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 9.529 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 9.529 * [taylor]: Taking taylor expansion of (/ 1 re) in re 9.529 * [taylor]: Taking taylor expansion of re in re 9.530 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 9.530 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 9.530 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.530 * [taylor]: Taking taylor expansion of im in re 9.530 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 9.530 * [taylor]: Taking taylor expansion of 0.5 in re 9.530 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 9.530 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 9.530 * [taylor]: Taking taylor expansion of (/ 1 re) in re 9.530 * [taylor]: Taking taylor expansion of re in re 9.530 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 9.530 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.530 * [taylor]: Taking taylor expansion of im in re 9.535 * [taylor]: Taking taylor expansion of 0 in re 9.544 * [taylor]: Taking taylor expansion of 0 in re 9.556 * [taylor]: Taking taylor expansion of 0 in re 9.557 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in (im re) around 0 9.557 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in re 9.557 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 9.557 * [taylor]: Taking taylor expansion of 0.5 in re 9.557 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 9.557 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 9.557 * [taylor]: Taking taylor expansion of (/ -1 re) in re 9.557 * [taylor]: Taking taylor expansion of -1 in re 9.557 * [taylor]: Taking taylor expansion of re in re 9.557 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 9.557 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.557 * [taylor]: Taking taylor expansion of im in re 9.557 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 9.557 * [taylor]: Taking taylor expansion of 0.5 in re 9.557 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 9.557 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 9.557 * [taylor]: Taking taylor expansion of (/ -1 im) in re 9.557 * [taylor]: Taking taylor expansion of -1 in re 9.557 * [taylor]: Taking taylor expansion of im in re 9.557 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 9.558 * [taylor]: Taking taylor expansion of (/ -1 re) in re 9.558 * [taylor]: Taking taylor expansion of -1 in re 9.558 * [taylor]: Taking taylor expansion of re in re 9.558 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in im 9.558 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 9.558 * [taylor]: Taking taylor expansion of 0.5 in im 9.558 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 9.558 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 9.558 * [taylor]: Taking taylor expansion of (/ -1 re) in im 9.558 * [taylor]: Taking taylor expansion of -1 in im 9.558 * [taylor]: Taking taylor expansion of re in im 9.558 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 9.558 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.558 * [taylor]: Taking taylor expansion of im in im 9.559 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 9.559 * [taylor]: Taking taylor expansion of 0.5 in im 9.559 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 9.559 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 9.559 * [taylor]: Taking taylor expansion of (/ -1 im) in im 9.559 * [taylor]: Taking taylor expansion of -1 in im 9.559 * [taylor]: Taking taylor expansion of im in im 9.559 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 9.559 * [taylor]: Taking taylor expansion of (/ -1 re) in im 9.559 * [taylor]: Taking taylor expansion of -1 in im 9.559 * [taylor]: Taking taylor expansion of re in im 9.559 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in im 9.559 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 9.559 * [taylor]: Taking taylor expansion of 0.5 in im 9.559 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 9.559 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 9.559 * [taylor]: Taking taylor expansion of (/ -1 re) in im 9.559 * [taylor]: Taking taylor expansion of -1 in im 9.559 * [taylor]: Taking taylor expansion of re in im 9.559 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 9.559 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.560 * [taylor]: Taking taylor expansion of im in im 9.560 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 9.560 * [taylor]: Taking taylor expansion of 0.5 in im 9.560 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 9.560 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 9.560 * [taylor]: Taking taylor expansion of (/ -1 im) in im 9.560 * [taylor]: Taking taylor expansion of -1 in im 9.560 * [taylor]: Taking taylor expansion of im in im 9.560 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 9.560 * [taylor]: Taking taylor expansion of (/ -1 re) in im 9.560 * [taylor]: Taking taylor expansion of -1 in im 9.560 * [taylor]: Taking taylor expansion of re in im 9.561 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in re 9.561 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 9.561 * [taylor]: Taking taylor expansion of 0.5 in re 9.561 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 9.561 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 9.561 * [taylor]: Taking taylor expansion of (/ -1 re) in re 9.561 * [taylor]: Taking taylor expansion of -1 in re 9.561 * [taylor]: Taking taylor expansion of re in re 9.561 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 9.562 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.562 * [taylor]: Taking taylor expansion of im in re 9.562 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 9.562 * [taylor]: Taking taylor expansion of 0.5 in re 9.562 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 9.562 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 9.562 * [taylor]: Taking taylor expansion of (/ -1 im) in re 9.562 * [taylor]: Taking taylor expansion of -1 in re 9.562 * [taylor]: Taking taylor expansion of im in re 9.562 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 9.562 * [taylor]: Taking taylor expansion of (/ -1 re) in re 9.562 * [taylor]: Taking taylor expansion of -1 in re 9.562 * [taylor]: Taking taylor expansion of re in re 9.570 * [taylor]: Taking taylor expansion of 0 in re 9.578 * [taylor]: Taking taylor expansion of 0 in re 9.589 * [taylor]: Taking taylor expansion of 0 in re 9.590 * * * [progress]: simplifying candidates 9.590 * [simplify]: Simplifying using # : (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (+ (- 0.0 im) (+ (log 0.5) (log (sin re)))) (+ (- 0.0 im) (log (* 0.5 (sin re)))) (log (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (exp (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (exp (- 0.0 im))) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) (* (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (exp (- 0.0 im))) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) (* (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re))))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) 0.5) (* (exp (- im)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (* (cbrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (sqrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp 0.0) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (+ im (+ (log 0.5) (log (sin re)))) (+ im (log (* 0.5 (sin re)))) (log (* (exp im) (* 0.5 (sin re)))) (exp (* (exp im) (* 0.5 (sin re)))) (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) (* (cbrt (* (exp im) (* 0.5 (sin re)))) (cbrt (* (exp im) (* 0.5 (sin re))))) (cbrt (* (exp im) (* 0.5 (sin re)))) (* (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (* (exp im) (* 0.5 (sin re)))) (sqrt (* (exp im) (* 0.5 (sin re)))) (sqrt (* (exp im) (* 0.5 (sin re)))) (* (exp im) 0.5) (* (cbrt (exp im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (exp (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (exp (* (exp im) (* 0.5 (sin re))))) (log (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (exp (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (* (cbrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (cbrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))))) (cbrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (* (* (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (sqrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (sqrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (+ (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (pow (* (exp im) (* 0.5 (sin re))) 3)) (+ (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (- (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))))) (- (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (- (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (+ (exp (- 0.0 im)) (exp im)) (- (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))) (* 0.5 (* re im))) (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp (* -1 im)) (sin re))) (+ (* 0.5 re) (+ (* 0.5 (* re im)) (* 0.25 (* re (pow im 2))))) (* 0.5 (* (exp im) (sin re))) (* 0.5 (* (exp im) (sin re))) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) (+ (* 0.5 (* (exp (* -1 im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) 9.594 * * [simplify]: iteration 0 : 113 enodes (cost 882 ) 9.616 * * [simplify]: iteration 1 : 321 enodes (cost 758 ) 9.710 * * [simplify]: iteration 2 : 1143 enodes (cost 650 ) 11.103 * * [simplify]: iteration done : 5000 enodes (cost 637 ) 11.103 * [simplify]: Simplified to: (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (- 0.0 (- im (log (* 0.5 (sin re))))) (- 0.0 (- im (log (* 0.5 (sin re))))) (- 0.0 (- im (log (* 0.5 (sin re))))) (exp (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (* (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re))))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) 0.5) (* (sin re) (/ 0.5 (exp im))) (* (sin re) (/ 0.5 (exp im))) (* (cbrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (sqrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp 0.0) (* 0.5 (sin re))) (* 0.5 (* (exp im) (sin re))) (* 0.5 (* (exp im) (sin re))) (+ im (log (* 0.5 (sin re)))) (+ im (log (* 0.5 (sin re)))) (+ im (log (* 0.5 (sin re)))) (exp (* (exp im) (* 0.5 (sin re)))) (pow (* 0.5 (* (exp im) (sin re))) 3) (pow (* 0.5 (* (exp im) (sin re))) 3) (* (cbrt (* (exp im) (* 0.5 (sin re)))) (cbrt (* (exp im) (* 0.5 (sin re))))) (cbrt (* (exp im) (* 0.5 (sin re)))) (pow (* 0.5 (* (exp im) (sin re))) 3) (sqrt (* (exp im) (* 0.5 (sin re)))) (sqrt (* (exp im) (* 0.5 (sin re)))) (* (exp im) 0.5) (* (cbrt (exp im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (* 0.5 (* (exp im) (sin re))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (pow (* 0.5 (sin re)) 3) (+ (pow (exp im) 3) (pow (exp (- 0.0 im)) 3))) (* (* (sin re) 0.5) (+ (* (exp (* 2 (- 0.0 im))) (* 0.5 (sin re))) (* (exp im) (* (* 0.5 (sin re)) (- (exp im) (exp (- 0.0 im))))))) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (- (exp (* 2 (- 0.0 im))) (exp (+ im im)))) (* (* 0.5 (sin re)) (- (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im)) (+ (* re (- (* 0.25 (pow im 2)) (* 0.5 im))) (* 0.5 re)) (* (sin re) (/ 0.5 (exp im))) (* (sin re) (/ 0.5 (exp im))) (+ (* 0.5 (+ re (* re im))) (* 0.25 (* re (pow im 2)))) (* 0.5 (* (exp im) (sin re))) (* 0.5 (* (exp im) (sin re))) (- (* re (+ 1.0 (* (pow im 2) 0.5))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) 11.104 * * * [progress]: adding candidates to table 11.246 * * [progress]: iteration 3 / 4 11.246 * * * [progress]: picking best candidate 11.248 * * * * [pick]: Picked # 11.249 * * * [progress]: localizing error 11.262 * * * [progress]: generating rewritten candidates 11.262 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 11.298 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 11.309 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 11.340 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 11.343 * * * [progress]: generating series expansions 11.343 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 11.343 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in (im re) around 0 11.343 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re 11.343 * [taylor]: Taking taylor expansion of 0.5 in re 11.343 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re 11.343 * [taylor]: Taking taylor expansion of (exp (- im)) in re 11.343 * [taylor]: Taking taylor expansion of (- im) in re 11.343 * [taylor]: Taking taylor expansion of im in re 11.343 * [taylor]: Taking taylor expansion of (sin re) in re 11.343 * [taylor]: Taking taylor expansion of re in re 11.343 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 11.344 * [taylor]: Taking taylor expansion of 0.5 in im 11.344 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 11.344 * [taylor]: Taking taylor expansion of (exp (- im)) in im 11.344 * [taylor]: Taking taylor expansion of (- im) in im 11.344 * [taylor]: Taking taylor expansion of im in im 11.345 * [taylor]: Taking taylor expansion of (sin re) in im 11.345 * [taylor]: Taking taylor expansion of re in im 11.345 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 11.345 * [taylor]: Taking taylor expansion of 0.5 in im 11.345 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 11.345 * [taylor]: Taking taylor expansion of (exp (- im)) in im 11.345 * [taylor]: Taking taylor expansion of (- im) in im 11.345 * [taylor]: Taking taylor expansion of im in im 11.345 * [taylor]: Taking taylor expansion of (sin re) in im 11.345 * [taylor]: Taking taylor expansion of re in im 11.346 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 11.346 * [taylor]: Taking taylor expansion of 0.5 in re 11.346 * [taylor]: Taking taylor expansion of (sin re) in re 11.346 * [taylor]: Taking taylor expansion of re in re 11.349 * [taylor]: Taking taylor expansion of (- (* 0.5 (sin re))) in re 11.349 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 11.349 * [taylor]: Taking taylor expansion of 0.5 in re 11.349 * [taylor]: Taking taylor expansion of (sin re) in re 11.349 * [taylor]: Taking taylor expansion of re in re 11.357 * [taylor]: Taking taylor expansion of (* 0.25 (sin re)) in re 11.357 * [taylor]: Taking taylor expansion of 0.25 in re 11.357 * [taylor]: Taking taylor expansion of (sin re) in re 11.357 * [taylor]: Taking taylor expansion of re in re 11.365 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (sin re))) in re 11.365 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (sin re)) in re 11.365 * [taylor]: Taking taylor expansion of 0.08333333333333333 in re 11.365 * [taylor]: Taking taylor expansion of (sin re) in re 11.365 * [taylor]: Taking taylor expansion of re in re 11.368 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in (im re) around 0 11.368 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 11.368 * [taylor]: Taking taylor expansion of 0.5 in re 11.368 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 11.368 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 11.368 * [taylor]: Taking taylor expansion of (/ 1 re) in re 11.368 * [taylor]: Taking taylor expansion of re in re 11.368 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 11.368 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 11.368 * [taylor]: Taking taylor expansion of (/ 1 im) in re 11.368 * [taylor]: Taking taylor expansion of im in re 11.368 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 11.368 * [taylor]: Taking taylor expansion of 0.5 in im 11.368 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 11.368 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 11.368 * [taylor]: Taking taylor expansion of (/ 1 re) in im 11.368 * [taylor]: Taking taylor expansion of re in im 11.369 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 11.369 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 11.369 * [taylor]: Taking taylor expansion of (/ 1 im) in im 11.369 * [taylor]: Taking taylor expansion of im in im 11.369 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 11.369 * [taylor]: Taking taylor expansion of 0.5 in im 11.369 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 11.369 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 11.369 * [taylor]: Taking taylor expansion of (/ 1 re) in im 11.369 * [taylor]: Taking taylor expansion of re in im 11.369 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 11.369 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 11.369 * [taylor]: Taking taylor expansion of (/ 1 im) in im 11.369 * [taylor]: Taking taylor expansion of im in im 11.370 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 11.370 * [taylor]: Taking taylor expansion of 0.5 in re 11.370 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 11.370 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 11.370 * [taylor]: Taking taylor expansion of (/ 1 re) in re 11.370 * [taylor]: Taking taylor expansion of re in re 11.371 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 11.371 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 11.371 * [taylor]: Taking taylor expansion of (/ 1 im) in re 11.371 * [taylor]: Taking taylor expansion of im in re 11.373 * [taylor]: Taking taylor expansion of 0 in re 11.377 * [taylor]: Taking taylor expansion of 0 in re 11.383 * [taylor]: Taking taylor expansion of 0 in re 11.384 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in (im re) around 0 11.384 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 11.384 * [taylor]: Taking taylor expansion of 0.5 in re 11.384 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 11.384 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 11.384 * [taylor]: Taking taylor expansion of (/ -1 re) in re 11.384 * [taylor]: Taking taylor expansion of -1 in re 11.384 * [taylor]: Taking taylor expansion of re in re 11.384 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 11.384 * [taylor]: Taking taylor expansion of (/ 1 im) in re 11.384 * [taylor]: Taking taylor expansion of im in re 11.384 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 11.384 * [taylor]: Taking taylor expansion of 0.5 in im 11.384 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 11.384 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 11.384 * [taylor]: Taking taylor expansion of (/ -1 re) in im 11.384 * [taylor]: Taking taylor expansion of -1 in im 11.384 * [taylor]: Taking taylor expansion of re in im 11.384 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 11.384 * [taylor]: Taking taylor expansion of (/ 1 im) in im 11.384 * [taylor]: Taking taylor expansion of im in im 11.385 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 11.385 * [taylor]: Taking taylor expansion of 0.5 in im 11.385 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 11.385 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 11.385 * [taylor]: Taking taylor expansion of (/ -1 re) in im 11.385 * [taylor]: Taking taylor expansion of -1 in im 11.385 * [taylor]: Taking taylor expansion of re in im 11.385 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 11.385 * [taylor]: Taking taylor expansion of (/ 1 im) in im 11.385 * [taylor]: Taking taylor expansion of im in im 11.385 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 11.386 * [taylor]: Taking taylor expansion of 0.5 in re 11.386 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 11.386 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 11.386 * [taylor]: Taking taylor expansion of (/ -1 re) in re 11.386 * [taylor]: Taking taylor expansion of -1 in re 11.386 * [taylor]: Taking taylor expansion of re in re 11.386 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 11.386 * [taylor]: Taking taylor expansion of (/ 1 im) in re 11.386 * [taylor]: Taking taylor expansion of im in re 11.388 * [taylor]: Taking taylor expansion of 0 in re 11.392 * [taylor]: Taking taylor expansion of 0 in re 11.398 * [taylor]: Taking taylor expansion of 0 in re 11.398 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 11.398 * [approximate]: Taking taylor expansion of (* 0.5 (* (sqrt (exp im)) (sin re))) in (im re) around 0 11.398 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (exp im)) (sin re))) in re 11.398 * [taylor]: Taking taylor expansion of 0.5 in re 11.398 * [taylor]: Taking taylor expansion of (* (sqrt (exp im)) (sin re)) in re 11.398 * [taylor]: Taking taylor expansion of (sqrt (exp im)) in re 11.398 * [taylor]: Taking taylor expansion of (exp im) in re 11.398 * [taylor]: Taking taylor expansion of im in re 11.399 * [taylor]: Taking taylor expansion of (sin re) in re 11.399 * [taylor]: Taking taylor expansion of re in re 11.399 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (exp im)) (sin re))) in im 11.399 * [taylor]: Taking taylor expansion of 0.5 in im 11.399 * [taylor]: Taking taylor expansion of (* (sqrt (exp im)) (sin re)) in im 11.399 * [taylor]: Taking taylor expansion of (sqrt (exp im)) in im 11.399 * [taylor]: Taking taylor expansion of (exp im) in im 11.399 * [taylor]: Taking taylor expansion of im in im 11.400 * [taylor]: Taking taylor expansion of (sin re) in im 11.400 * [taylor]: Taking taylor expansion of re in im 11.400 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (exp im)) (sin re))) in im 11.400 * [taylor]: Taking taylor expansion of 0.5 in im 11.400 * [taylor]: Taking taylor expansion of (* (sqrt (exp im)) (sin re)) in im 11.400 * [taylor]: Taking taylor expansion of (sqrt (exp im)) in im 11.400 * [taylor]: Taking taylor expansion of (exp im) in im 11.400 * [taylor]: Taking taylor expansion of im in im 11.402 * [taylor]: Taking taylor expansion of (sin re) in im 11.402 * [taylor]: Taking taylor expansion of re in im 11.402 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 11.402 * [taylor]: Taking taylor expansion of 0.5 in re 11.402 * [taylor]: Taking taylor expansion of (sin re) in re 11.402 * [taylor]: Taking taylor expansion of re in re 11.404 * [taylor]: Taking taylor expansion of (* 0.25 (sin re)) in re 11.404 * [taylor]: Taking taylor expansion of 0.25 in re 11.404 * [taylor]: Taking taylor expansion of (sin re) in re 11.404 * [taylor]: Taking taylor expansion of re in re 11.410 * [taylor]: Taking taylor expansion of (* 0.0625 (sin re)) in re 11.410 * [taylor]: Taking taylor expansion of 0.0625 in re 11.410 * [taylor]: Taking taylor expansion of (sin re) in re 11.410 * [taylor]: Taking taylor expansion of re in re 11.417 * [taylor]: Taking taylor expansion of (* 0.010416666666666666 (sin re)) in re 11.417 * [taylor]: Taking taylor expansion of 0.010416666666666666 in re 11.417 * [taylor]: Taking taylor expansion of (sin re) in re 11.417 * [taylor]: Taking taylor expansion of re in re 11.419 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (sqrt (exp (/ 1 im))))) in (im re) around 0 11.419 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (sqrt (exp (/ 1 im))))) in re 11.419 * [taylor]: Taking taylor expansion of 0.5 in re 11.419 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (exp (/ 1 im)))) in re 11.419 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 11.419 * [taylor]: Taking taylor expansion of (/ 1 re) in re 11.419 * [taylor]: Taking taylor expansion of re in re 11.420 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in re 11.420 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 11.420 * [taylor]: Taking taylor expansion of (/ 1 im) in re 11.420 * [taylor]: Taking taylor expansion of im in re 11.420 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (sqrt (exp (/ 1 im))))) in im 11.420 * [taylor]: Taking taylor expansion of 0.5 in im 11.420 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (exp (/ 1 im)))) in im 11.420 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 11.420 * [taylor]: Taking taylor expansion of (/ 1 re) in im 11.420 * [taylor]: Taking taylor expansion of re in im 11.420 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 11.420 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 11.421 * [taylor]: Taking taylor expansion of (/ 1 im) in im 11.421 * [taylor]: Taking taylor expansion of im in im 11.421 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (sqrt (exp (/ 1 im))))) in im 11.421 * [taylor]: Taking taylor expansion of 0.5 in im 11.421 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (exp (/ 1 im)))) in im 11.421 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 11.421 * [taylor]: Taking taylor expansion of (/ 1 re) in im 11.421 * [taylor]: Taking taylor expansion of re in im 11.421 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 11.421 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 11.421 * [taylor]: Taking taylor expansion of (/ 1 im) in im 11.421 * [taylor]: Taking taylor expansion of im in im 11.422 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (sqrt (exp (/ 1 im))))) in re 11.422 * [taylor]: Taking taylor expansion of 0.5 in re 11.422 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (exp (/ 1 im)))) in re 11.422 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 11.422 * [taylor]: Taking taylor expansion of (/ 1 re) in re 11.422 * [taylor]: Taking taylor expansion of re in re 11.422 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in re 11.422 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 11.422 * [taylor]: Taking taylor expansion of (/ 1 im) in re 11.422 * [taylor]: Taking taylor expansion of im in re 11.425 * [taylor]: Taking taylor expansion of 0 in re 11.429 * [taylor]: Taking taylor expansion of 0 in re 11.439 * [taylor]: Taking taylor expansion of 0 in re 11.439 * [approximate]: Taking taylor expansion of (* 0.5 (* (sqrt (exp (/ -1 im))) (sin (/ -1 re)))) in (im re) around 0 11.439 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (exp (/ -1 im))) (sin (/ -1 re)))) in re 11.439 * [taylor]: Taking taylor expansion of 0.5 in re 11.439 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 im))) (sin (/ -1 re))) in re 11.439 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 im))) in re 11.439 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 11.439 * [taylor]: Taking taylor expansion of (/ -1 im) in re 11.440 * [taylor]: Taking taylor expansion of -1 in re 11.440 * [taylor]: Taking taylor expansion of im in re 11.440 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 11.440 * [taylor]: Taking taylor expansion of (/ -1 re) in re 11.440 * [taylor]: Taking taylor expansion of -1 in re 11.440 * [taylor]: Taking taylor expansion of re in re 11.441 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (exp (/ -1 im))) (sin (/ -1 re)))) in im 11.441 * [taylor]: Taking taylor expansion of 0.5 in im 11.441 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 im))) (sin (/ -1 re))) in im 11.441 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 im))) in im 11.441 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 11.441 * [taylor]: Taking taylor expansion of (/ -1 im) in im 11.441 * [taylor]: Taking taylor expansion of -1 in im 11.441 * [taylor]: Taking taylor expansion of im in im 11.441 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 11.441 * [taylor]: Taking taylor expansion of (/ -1 re) in im 11.441 * [taylor]: Taking taylor expansion of -1 in im 11.441 * [taylor]: Taking taylor expansion of re in im 11.441 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (exp (/ -1 im))) (sin (/ -1 re)))) in im 11.441 * [taylor]: Taking taylor expansion of 0.5 in im 11.441 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 im))) (sin (/ -1 re))) in im 11.441 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 im))) in im 11.441 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 11.441 * [taylor]: Taking taylor expansion of (/ -1 im) in im 11.441 * [taylor]: Taking taylor expansion of -1 in im 11.441 * [taylor]: Taking taylor expansion of im in im 11.442 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 11.442 * [taylor]: Taking taylor expansion of (/ -1 re) in im 11.442 * [taylor]: Taking taylor expansion of -1 in im 11.442 * [taylor]: Taking taylor expansion of re in im 11.442 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (exp (/ -1 im))) (sin (/ -1 re)))) in re 11.442 * [taylor]: Taking taylor expansion of 0.5 in re 11.442 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 im))) (sin (/ -1 re))) in re 11.442 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 im))) in re 11.442 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 11.442 * [taylor]: Taking taylor expansion of (/ -1 im) in re 11.442 * [taylor]: Taking taylor expansion of -1 in re 11.442 * [taylor]: Taking taylor expansion of im in re 11.443 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 11.443 * [taylor]: Taking taylor expansion of (/ -1 re) in re 11.443 * [taylor]: Taking taylor expansion of -1 in re 11.443 * [taylor]: Taking taylor expansion of re in re 11.446 * [taylor]: Taking taylor expansion of 0 in re 11.450 * [taylor]: Taking taylor expansion of 0 in re 11.456 * [taylor]: Taking taylor expansion of 0 in re 11.456 * * * * [progress]: [ 3 / 4 ] generating series at (2) 11.456 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in (im re) around 0 11.457 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in re 11.457 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re 11.457 * [taylor]: Taking taylor expansion of 0.5 in re 11.457 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re 11.457 * [taylor]: Taking taylor expansion of (exp (- im)) in re 11.457 * [taylor]: Taking taylor expansion of (- im) in re 11.457 * [taylor]: Taking taylor expansion of im in re 11.457 * [taylor]: Taking taylor expansion of (sin re) in re 11.457 * [taylor]: Taking taylor expansion of re in re 11.457 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 11.457 * [taylor]: Taking taylor expansion of 0.5 in re 11.457 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 11.457 * [taylor]: Taking taylor expansion of (exp im) in re 11.457 * [taylor]: Taking taylor expansion of im in re 11.457 * [taylor]: Taking taylor expansion of (sin re) in re 11.457 * [taylor]: Taking taylor expansion of re in re 11.457 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in im 11.457 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 11.457 * [taylor]: Taking taylor expansion of 0.5 in im 11.457 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 11.457 * [taylor]: Taking taylor expansion of (exp (- im)) in im 11.457 * [taylor]: Taking taylor expansion of (- im) in im 11.457 * [taylor]: Taking taylor expansion of im in im 11.457 * [taylor]: Taking taylor expansion of (sin re) in im 11.457 * [taylor]: Taking taylor expansion of re in im 11.458 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 11.458 * [taylor]: Taking taylor expansion of 0.5 in im 11.458 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 11.458 * [taylor]: Taking taylor expansion of (exp im) in im 11.458 * [taylor]: Taking taylor expansion of im in im 11.458 * [taylor]: Taking taylor expansion of (sin re) in im 11.458 * [taylor]: Taking taylor expansion of re in im 11.458 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in im 11.458 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 11.458 * [taylor]: Taking taylor expansion of 0.5 in im 11.458 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 11.458 * [taylor]: Taking taylor expansion of (exp (- im)) in im 11.458 * [taylor]: Taking taylor expansion of (- im) in im 11.458 * [taylor]: Taking taylor expansion of im in im 11.458 * [taylor]: Taking taylor expansion of (sin re) in im 11.458 * [taylor]: Taking taylor expansion of re in im 11.458 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 11.458 * [taylor]: Taking taylor expansion of 0.5 in im 11.458 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 11.458 * [taylor]: Taking taylor expansion of (exp im) in im 11.458 * [taylor]: Taking taylor expansion of im in im 11.458 * [taylor]: Taking taylor expansion of (sin re) in im 11.458 * [taylor]: Taking taylor expansion of re in im 11.459 * [taylor]: Taking taylor expansion of (* 1.0 (sin re)) in re 11.459 * [taylor]: Taking taylor expansion of 1.0 in re 11.459 * [taylor]: Taking taylor expansion of (sin re) in re 11.459 * [taylor]: Taking taylor expansion of re in re 11.464 * [taylor]: Taking taylor expansion of 0 in re 11.472 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 11.472 * [taylor]: Taking taylor expansion of 0.5 in re 11.472 * [taylor]: Taking taylor expansion of (sin re) in re 11.472 * [taylor]: Taking taylor expansion of re in re 11.484 * [taylor]: Taking taylor expansion of 0 in re 11.488 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in (im re) around 0 11.488 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in re 11.488 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 11.488 * [taylor]: Taking taylor expansion of 0.5 in re 11.488 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 11.488 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 11.488 * [taylor]: Taking taylor expansion of (/ 1 re) in re 11.488 * [taylor]: Taking taylor expansion of re in re 11.489 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 11.489 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 11.489 * [taylor]: Taking taylor expansion of (/ 1 im) in re 11.489 * [taylor]: Taking taylor expansion of im in re 11.489 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 11.489 * [taylor]: Taking taylor expansion of 0.5 in re 11.489 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 11.489 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 11.489 * [taylor]: Taking taylor expansion of (/ 1 re) in re 11.489 * [taylor]: Taking taylor expansion of re in re 11.489 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 11.489 * [taylor]: Taking taylor expansion of (/ 1 im) in re 11.489 * [taylor]: Taking taylor expansion of im in re 11.489 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in im 11.489 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 11.489 * [taylor]: Taking taylor expansion of 0.5 in im 11.489 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 11.489 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 11.489 * [taylor]: Taking taylor expansion of (/ 1 re) in im 11.489 * [taylor]: Taking taylor expansion of re in im 11.490 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 11.490 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 11.490 * [taylor]: Taking taylor expansion of (/ 1 im) in im 11.490 * [taylor]: Taking taylor expansion of im in im 11.490 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 11.490 * [taylor]: Taking taylor expansion of 0.5 in im 11.490 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 11.490 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 11.490 * [taylor]: Taking taylor expansion of (/ 1 re) in im 11.490 * [taylor]: Taking taylor expansion of re in im 11.490 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 11.490 * [taylor]: Taking taylor expansion of (/ 1 im) in im 11.490 * [taylor]: Taking taylor expansion of im in im 11.491 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in im 11.491 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 11.491 * [taylor]: Taking taylor expansion of 0.5 in im 11.491 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 11.491 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 11.491 * [taylor]: Taking taylor expansion of (/ 1 re) in im 11.491 * [taylor]: Taking taylor expansion of re in im 11.491 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 11.491 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 11.491 * [taylor]: Taking taylor expansion of (/ 1 im) in im 11.491 * [taylor]: Taking taylor expansion of im in im 11.491 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 11.491 * [taylor]: Taking taylor expansion of 0.5 in im 11.491 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 11.491 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 11.491 * [taylor]: Taking taylor expansion of (/ 1 re) in im 11.492 * [taylor]: Taking taylor expansion of re in im 11.492 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 11.492 * [taylor]: Taking taylor expansion of (/ 1 im) in im 11.492 * [taylor]: Taking taylor expansion of im in im 11.493 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in re 11.493 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 11.493 * [taylor]: Taking taylor expansion of 0.5 in re 11.493 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 11.493 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 11.493 * [taylor]: Taking taylor expansion of (/ 1 re) in re 11.493 * [taylor]: Taking taylor expansion of re in re 11.493 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 11.493 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 11.493 * [taylor]: Taking taylor expansion of (/ 1 im) in re 11.493 * [taylor]: Taking taylor expansion of im in re 11.493 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 11.493 * [taylor]: Taking taylor expansion of 0.5 in re 11.493 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 11.493 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 11.493 * [taylor]: Taking taylor expansion of (/ 1 re) in re 11.493 * [taylor]: Taking taylor expansion of re in re 11.494 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 11.494 * [taylor]: Taking taylor expansion of (/ 1 im) in re 11.494 * [taylor]: Taking taylor expansion of im in re 11.499 * [taylor]: Taking taylor expansion of 0 in re 11.507 * [taylor]: Taking taylor expansion of 0 in re 11.522 * [taylor]: Taking taylor expansion of 0 in re 11.522 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in (im re) around 0 11.522 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in re 11.522 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 11.522 * [taylor]: Taking taylor expansion of 0.5 in re 11.522 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 11.522 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 11.522 * [taylor]: Taking taylor expansion of (/ -1 re) in re 11.522 * [taylor]: Taking taylor expansion of -1 in re 11.522 * [taylor]: Taking taylor expansion of re in re 11.523 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 11.523 * [taylor]: Taking taylor expansion of (/ 1 im) in re 11.523 * [taylor]: Taking taylor expansion of im in re 11.523 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 11.523 * [taylor]: Taking taylor expansion of 0.5 in re 11.523 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 11.523 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 11.523 * [taylor]: Taking taylor expansion of (/ -1 im) in re 11.523 * [taylor]: Taking taylor expansion of -1 in re 11.523 * [taylor]: Taking taylor expansion of im in re 11.523 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 11.523 * [taylor]: Taking taylor expansion of (/ -1 re) in re 11.523 * [taylor]: Taking taylor expansion of -1 in re 11.523 * [taylor]: Taking taylor expansion of re in re 11.523 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in im 11.524 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 11.524 * [taylor]: Taking taylor expansion of 0.5 in im 11.524 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 11.524 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 11.524 * [taylor]: Taking taylor expansion of (/ -1 re) in im 11.524 * [taylor]: Taking taylor expansion of -1 in im 11.524 * [taylor]: Taking taylor expansion of re in im 11.524 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 11.524 * [taylor]: Taking taylor expansion of (/ 1 im) in im 11.524 * [taylor]: Taking taylor expansion of im in im 11.524 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 11.524 * [taylor]: Taking taylor expansion of 0.5 in im 11.524 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 11.524 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 11.524 * [taylor]: Taking taylor expansion of (/ -1 im) in im 11.524 * [taylor]: Taking taylor expansion of -1 in im 11.524 * [taylor]: Taking taylor expansion of im in im 11.524 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 11.525 * [taylor]: Taking taylor expansion of (/ -1 re) in im 11.525 * [taylor]: Taking taylor expansion of -1 in im 11.525 * [taylor]: Taking taylor expansion of re in im 11.525 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in im 11.525 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 11.525 * [taylor]: Taking taylor expansion of 0.5 in im 11.525 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 11.525 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 11.525 * [taylor]: Taking taylor expansion of (/ -1 re) in im 11.525 * [taylor]: Taking taylor expansion of -1 in im 11.525 * [taylor]: Taking taylor expansion of re in im 11.525 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 11.525 * [taylor]: Taking taylor expansion of (/ 1 im) in im 11.525 * [taylor]: Taking taylor expansion of im in im 11.525 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 11.525 * [taylor]: Taking taylor expansion of 0.5 in im 11.525 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 11.525 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 11.525 * [taylor]: Taking taylor expansion of (/ -1 im) in im 11.525 * [taylor]: Taking taylor expansion of -1 in im 11.525 * [taylor]: Taking taylor expansion of im in im 11.526 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 11.526 * [taylor]: Taking taylor expansion of (/ -1 re) in im 11.526 * [taylor]: Taking taylor expansion of -1 in im 11.526 * [taylor]: Taking taylor expansion of re in im 11.527 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in re 11.527 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 11.527 * [taylor]: Taking taylor expansion of 0.5 in re 11.527 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 11.527 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 11.527 * [taylor]: Taking taylor expansion of (/ -1 re) in re 11.527 * [taylor]: Taking taylor expansion of -1 in re 11.527 * [taylor]: Taking taylor expansion of re in re 11.527 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 11.527 * [taylor]: Taking taylor expansion of (/ 1 im) in re 11.527 * [taylor]: Taking taylor expansion of im in re 11.527 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 11.527 * [taylor]: Taking taylor expansion of 0.5 in re 11.527 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 11.527 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 11.527 * [taylor]: Taking taylor expansion of (/ -1 im) in re 11.527 * [taylor]: Taking taylor expansion of -1 in re 11.527 * [taylor]: Taking taylor expansion of im in re 11.527 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 11.527 * [taylor]: Taking taylor expansion of (/ -1 re) in re 11.527 * [taylor]: Taking taylor expansion of -1 in re 11.527 * [taylor]: Taking taylor expansion of re in re 11.533 * [taylor]: Taking taylor expansion of 0 in re 11.541 * [taylor]: Taking taylor expansion of 0 in re 11.552 * [taylor]: Taking taylor expansion of 0 in re 11.552 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 11.552 * [approximate]: Taking taylor expansion of (sqrt (exp im)) in (im) around 0 11.552 * [taylor]: Taking taylor expansion of (sqrt (exp im)) in im 11.552 * [taylor]: Taking taylor expansion of (exp im) in im 11.552 * [taylor]: Taking taylor expansion of im in im 11.554 * [taylor]: Taking taylor expansion of (sqrt (exp im)) in im 11.554 * [taylor]: Taking taylor expansion of (exp im) in im 11.554 * [taylor]: Taking taylor expansion of im in im 11.556 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in (im) around 0 11.557 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 11.557 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 11.557 * [taylor]: Taking taylor expansion of (/ 1 im) in im 11.557 * [taylor]: Taking taylor expansion of im in im 11.557 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 11.557 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 11.557 * [taylor]: Taking taylor expansion of (/ 1 im) in im 11.557 * [taylor]: Taking taylor expansion of im in im 11.560 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 im))) in (im) around 0 11.560 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 im))) in im 11.560 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 11.560 * [taylor]: Taking taylor expansion of (/ -1 im) in im 11.560 * [taylor]: Taking taylor expansion of -1 in im 11.560 * [taylor]: Taking taylor expansion of im in im 11.561 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 im))) in im 11.561 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 11.561 * [taylor]: Taking taylor expansion of (/ -1 im) in im 11.561 * [taylor]: Taking taylor expansion of -1 in im 11.561 * [taylor]: Taking taylor expansion of im in im 11.564 * * * [progress]: simplifying candidates 11.565 * [simplify]: Simplifying using # : (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (+ (- 0.0 im) (+ (log 0.5) (log (sin re)))) (+ (- 0.0 im) (log (* 0.5 (sin re)))) (log (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (exp (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (exp (- 0.0 im))) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) (* (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (exp (- 0.0 im))) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) (* (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re))))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) 0.5) (* (exp (- im)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (* (cbrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (sqrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp 0.0) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (+ (log (sqrt (exp im))) (+ (log 0.5) (log (sin re)))) (+ (log (sqrt (exp im))) (log (* 0.5 (sin re)))) (log (* (sqrt (exp im)) (* 0.5 (sin re)))) (exp (* (sqrt (exp im)) (* 0.5 (sin re)))) (* (* (* (sqrt (exp im)) (sqrt (exp im))) (sqrt (exp im))) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) (* (* (* (sqrt (exp im)) (sqrt (exp im))) (sqrt (exp im))) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) (* (cbrt (* (sqrt (exp im)) (* 0.5 (sin re)))) (cbrt (* (sqrt (exp im)) (* 0.5 (sin re))))) (cbrt (* (sqrt (exp im)) (* 0.5 (sin re)))) (* (* (* (sqrt (exp im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re)))) (* (sqrt (exp im)) (* 0.5 (sin re)))) (sqrt (* (sqrt (exp im)) (* 0.5 (sin re)))) (sqrt (* (sqrt (exp im)) (* 0.5 (sin re)))) (* (sqrt (exp im)) 0.5) (* (cbrt (sqrt (exp im))) (* 0.5 (sin re))) (* (sqrt (cbrt (exp im))) (* 0.5 (sin re))) (* (sqrt (sqrt (exp im))) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (* (sqrt (sqrt (exp im))) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (* (exp (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (exp (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))))) (log (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))))) (exp (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))))) (* (cbrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))))) (cbrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re))))))) (cbrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))))) (* (* (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re))))) (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))))) (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))))) (sqrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))))) (sqrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))))) (+ (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (pow (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))) 3)) (+ (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (- (* (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))) (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re))))) (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re))))))) (- (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))) (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))))) (- (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re))))) (log (sqrt (exp im))) (exp (sqrt (exp im))) (* (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im)))) (cbrt (sqrt (exp im))) (* (* (sqrt (exp im)) (sqrt (exp im))) (sqrt (exp im))) (sqrt (* (cbrt (exp im)) (cbrt (exp im)))) (sqrt (cbrt (exp im))) (sqrt (sqrt (exp im))) (sqrt (sqrt (exp im))) (sqrt 1) (sqrt (exp im)) (/ 1 2) (/ (cbrt im) 2) (/ (sqrt im) 2) (/ im 2) (sqrt (sqrt (exp im))) (sqrt (sqrt (exp im))) (- (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))) (* 0.5 (* re im))) (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp (* -1 im)) (sin re))) (+ (* 0.5 re) (+ (* 0.25 (* re im)) (* 0.0625 (* re (pow im 2))))) (* 0.5 (* (sqrt (exp im)) (sin re))) (* 0.5 (* (sqrt (exp im)) (sin re))) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) (+ (* 0.5 (* (exp (* -1 im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) (+ (* 1/2 im) (+ (* 1/8 (pow im 2)) 1)) (sqrt (exp im)) (sqrt (exp im)) 11.569 * * [simplify]: iteration 0 : 143 enodes (cost 1117 ) 11.600 * * [simplify]: iteration 1 : 373 enodes (cost 959 ) 11.698 * * [simplify]: iteration 2 : 1213 enodes (cost 784 ) 12.448 * * [simplify]: iteration done : 5001 enodes (cost 784 ) 12.448 * [simplify]: Simplified to: (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (+ (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 (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (* (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re))))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) 0.5) (* (exp (- im)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (* (cbrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (sqrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp 0.0) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (log (* (sqrt (exp im)) (* 0.5 (sin re)))) (log (* (sqrt (exp im)) (* 0.5 (sin re)))) (log (* (sqrt (exp im)) (* 0.5 (sin re)))) (exp (* (sqrt (exp im)) (* 0.5 (sin re)))) (pow (* (sqrt (exp im)) (* 0.5 (sin re))) 3) (pow (* (sqrt (exp im)) (* 0.5 (sin re))) 3) (* (cbrt (* (sqrt (exp im)) (* 0.5 (sin re)))) (cbrt (* (sqrt (exp im)) (* 0.5 (sin re))))) (cbrt (* (sqrt (exp im)) (* 0.5 (sin re)))) (pow (* (sqrt (exp im)) (* 0.5 (sin re))) 3) (sqrt (* (sqrt (exp im)) (* 0.5 (sin re)))) (sqrt (* (sqrt (exp im)) (* 0.5 (sin re)))) (* (sqrt (exp im)) 0.5) (* (cbrt (sqrt (exp im))) (* 0.5 (sin re))) (* (sqrt (cbrt (exp im))) (* 0.5 (sin re))) (* (sqrt (sqrt (exp im))) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (* (sqrt (sqrt (exp im))) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (exp (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im))))) (log (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im))))) (exp (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im))))) (* (cbrt (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im)))))) (cbrt (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im))))) (pow (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im)))) 3) (sqrt (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im))))) (sqrt (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im))))) (+ (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (pow (* (exp im) (* 0.5 (sin re))) 3)) (+ (* (exp (* 2 (- 0.0 im))) (* (* 0.5 (sin re)) (* 0.5 (sin re)))) (* (* (exp im) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (- (exp im) (exp (- 0.0 im)))))) (* (* (* 0.5 (sin re)) (- (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- 0.0 im))))) (* (* 0.5 (sin re)) (- (exp (- 0.0 im)) (exp im))) (log (sqrt (exp im))) (exp (sqrt (exp im))) (* (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im)))) (cbrt (sqrt (exp im))) (pow (sqrt (exp im)) 3) (fabs (cbrt (exp im))) (sqrt (cbrt (exp im))) (sqrt (sqrt (exp im))) (sqrt (sqrt (exp im))) 1 (sqrt (exp im)) 1/2 (/ (cbrt im) 2) (/ (sqrt im) 2) (/ im 2) (sqrt (sqrt (exp im))) (sqrt (sqrt (exp im))) (- (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))) (* 0.5 (* re im))) (* (exp (- im)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (+ (* 0.5 re) (+ (* 0.25 (* re im)) (* 0.0625 (* re (pow im 2))))) (* (sqrt (exp im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) (+ (* 1/2 im) (+ (* 1/8 (pow im 2)) 1)) (sqrt (exp im)) (sqrt (exp im)) 12.449 * * * [progress]: adding candidates to table 12.669 * [progress]: [Phase 3 of 3] Extracting. 12.669 * * [regime]: Finding splitpoints for: (# #) 12.669 * * * [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) 12.669 * * * * [regimes]: Trying to branch on (+ (exp (- 0.0 im)) (exp im)) from (# #) 12.686 * * * * [regimes]: Trying to branch on (sin re) from (# #) 12.702 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# #) 12.722 * * * * [regimes]: Trying to branch on (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) from (# #) 12.746 * * * * [regimes]: Trying to branch on im from (# #) 12.761 * * * * [regimes]: Trying to branch on re from (# #) 12.775 * * * [regime]: Found split indices: #