26.487 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.108 * * * [progress]: [2/2] Setting up program. 0.111 * [progress]: [Phase 2 of 3] Improving. 0.111 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.113 * * [simplify]: iteration 0 : 26 enodes (cost 7 ) 0.114 * * [simplify]: iteration 1 : 62 enodes (cost 7 ) 0.116 * * [simplify]: iteration 2 : 108 enodes (cost 7 ) 0.118 * * [simplify]: iteration 3 : 177 enodes (cost 7 ) 0.121 * * [simplify]: iteration 4 : 279 enodes (cost 7 ) 0.125 * * [simplify]: iteration 5 : 770 enodes (cost 7 ) 0.132 * * [simplify]: iteration 6 : 1075 enodes (cost 7 ) 0.140 * * [simplify]: iteration 7 : 1599 enodes (cost 7 ) 0.160 * * [simplify]: iteration 8 : 3585 enodes (cost 7 ) 0.183 * * [simplify]: iteration 9 : 4712 enodes (cost 7 ) 0.216 * * [simplify]: iteration 10 : 5001 enodes (cost 7 ) 0.217 * [simplify]: Simplified to: (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.217 * * [progress]: iteration 1 / 4 0.217 * * * [progress]: picking best candidate 0.219 * * * * [pick]: Picked # 0.219 * * * [progress]: localizing error 0.233 * * * [progress]: generating rewritten candidates 0.233 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.245 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.253 * * * [progress]: generating series expansions 0.253 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.253 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (sin re))) in (re im) around 0 0.253 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (sin re))) in im 0.253 * [taylor]: Taking taylor expansion of 0.5 in im 0.253 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in im 0.253 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.253 * [taylor]: Taking taylor expansion of (exp im) in im 0.253 * [taylor]: Taking taylor expansion of im in im 0.253 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.253 * [taylor]: Taking taylor expansion of (neg im) in im 0.253 * [taylor]: Taking taylor expansion of im in im 0.254 * [taylor]: Taking taylor expansion of (sin re) in im 0.254 * [taylor]: Taking taylor expansion of re in im 0.254 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (sin re))) in re 0.254 * [taylor]: Taking taylor expansion of 0.5 in re 0.254 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in re 0.254 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 0.254 * [taylor]: Taking taylor expansion of (exp im) in re 0.254 * [taylor]: Taking taylor expansion of im in re 0.254 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.254 * [taylor]: Taking taylor expansion of (neg im) in re 0.254 * [taylor]: Taking taylor expansion of im in re 0.254 * [taylor]: Taking taylor expansion of (sin re) in re 0.254 * [taylor]: Taking taylor expansion of re in re 0.254 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (sin re))) in re 0.254 * [taylor]: Taking taylor expansion of 0.5 in re 0.254 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in re 0.254 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 0.254 * [taylor]: Taking taylor expansion of (exp im) in re 0.254 * [taylor]: Taking taylor expansion of im in re 0.254 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.254 * [taylor]: Taking taylor expansion of (neg im) in re 0.254 * [taylor]: Taking taylor expansion of im in re 0.254 * [taylor]: Taking taylor expansion of (sin re) in re 0.254 * [taylor]: Taking taylor expansion of re in re 0.255 * [taylor]: Taking taylor expansion of 0 in im 0.257 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (neg im)))) in im 0.257 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.257 * [taylor]: Taking taylor expansion of 0.5 in im 0.257 * [taylor]: Taking taylor expansion of (exp im) in im 0.257 * [taylor]: Taking taylor expansion of im in im 0.257 * [taylor]: Taking taylor expansion of (* 0.5 (exp (neg im))) in im 0.258 * [taylor]: Taking taylor expansion of 0.5 in im 0.258 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.258 * [taylor]: Taking taylor expansion of (neg im) in im 0.258 * [taylor]: Taking taylor expansion of im in im 0.262 * [taylor]: Taking taylor expansion of 0 in im 0.271 * [taylor]: Taking taylor expansion of (neg (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (neg im))))) in im 0.271 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (neg im)))) in im 0.271 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 0.271 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.271 * [taylor]: Taking taylor expansion of (exp im) in im 0.271 * [taylor]: Taking taylor expansion of im in im 0.271 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (neg im))) in im 0.271 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.271 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.271 * [taylor]: Taking taylor expansion of (neg im) in im 0.271 * [taylor]: Taking taylor expansion of im in im 0.279 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 0.279 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 0.279 * [taylor]: Taking taylor expansion of 0.5 in im 0.279 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 0.279 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.279 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.279 * [taylor]: Taking taylor expansion of re in im 0.279 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.279 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.279 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.279 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.279 * [taylor]: Taking taylor expansion of im in im 0.280 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.280 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.280 * [taylor]: Taking taylor expansion of im in im 0.280 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 0.280 * [taylor]: Taking taylor expansion of 0.5 in re 0.280 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 0.280 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.280 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.280 * [taylor]: Taking taylor expansion of re in re 0.280 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.280 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.280 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.280 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.280 * [taylor]: Taking taylor expansion of im in re 0.281 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.281 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.281 * [taylor]: Taking taylor expansion of im in re 0.281 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 0.281 * [taylor]: Taking taylor expansion of 0.5 in re 0.281 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 0.281 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.281 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.281 * [taylor]: Taking taylor expansion of re in re 0.281 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.281 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.281 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.281 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.281 * [taylor]: Taking taylor expansion of im in re 0.281 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.281 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.281 * [taylor]: Taking taylor expansion of im in re 0.282 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 0.282 * [taylor]: Taking taylor expansion of 0.5 in im 0.282 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 0.282 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.282 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.282 * [taylor]: Taking taylor expansion of re in im 0.282 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.282 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.282 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.282 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.282 * [taylor]: Taking taylor expansion of im in im 0.283 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.283 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.283 * [taylor]: Taking taylor expansion of im in im 0.286 * [taylor]: Taking taylor expansion of 0 in im 0.292 * [taylor]: Taking taylor expansion of 0 in im 0.299 * [taylor]: Taking taylor expansion of 0 in im 0.300 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0 0.300 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 0.300 * [taylor]: Taking taylor expansion of 0.5 in im 0.300 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 0.300 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.300 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.300 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.300 * [taylor]: Taking taylor expansion of -1 in im 0.300 * [taylor]: Taking taylor expansion of im in im 0.300 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.300 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.300 * [taylor]: Taking taylor expansion of im in im 0.301 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.301 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.301 * [taylor]: Taking taylor expansion of -1 in im 0.301 * [taylor]: Taking taylor expansion of re in im 0.301 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 0.301 * [taylor]: Taking taylor expansion of 0.5 in re 0.301 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 0.301 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.301 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.301 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.301 * [taylor]: Taking taylor expansion of -1 in re 0.301 * [taylor]: Taking taylor expansion of im in re 0.301 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.301 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.301 * [taylor]: Taking taylor expansion of im in re 0.301 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.301 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.301 * [taylor]: Taking taylor expansion of -1 in re 0.301 * [taylor]: Taking taylor expansion of re in re 0.301 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 0.301 * [taylor]: Taking taylor expansion of 0.5 in re 0.301 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 0.301 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.301 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.301 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.301 * [taylor]: Taking taylor expansion of -1 in re 0.301 * [taylor]: Taking taylor expansion of im in re 0.302 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.302 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.302 * [taylor]: Taking taylor expansion of im in re 0.302 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.302 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.302 * [taylor]: Taking taylor expansion of -1 in re 0.302 * [taylor]: Taking taylor expansion of re in re 0.302 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 0.302 * [taylor]: Taking taylor expansion of 0.5 in im 0.302 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 0.302 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.302 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.302 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.302 * [taylor]: Taking taylor expansion of -1 in im 0.302 * [taylor]: Taking taylor expansion of im in im 0.303 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.303 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.303 * [taylor]: Taking taylor expansion of im in im 0.303 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.303 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.303 * [taylor]: Taking taylor expansion of -1 in im 0.303 * [taylor]: Taking taylor expansion of re in im 0.306 * [taylor]: Taking taylor expansion of 0 in im 0.311 * [taylor]: Taking taylor expansion of 0 in im 0.321 * [taylor]: Taking taylor expansion of 0 in im 0.321 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.321 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0 0.321 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.321 * [taylor]: Taking taylor expansion of (exp im) in im 0.321 * [taylor]: Taking taylor expansion of im in im 0.321 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.321 * [taylor]: Taking taylor expansion of (neg im) in im 0.321 * [taylor]: Taking taylor expansion of im in im 0.322 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.322 * [taylor]: Taking taylor expansion of (exp im) in im 0.322 * [taylor]: Taking taylor expansion of im in im 0.322 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.322 * [taylor]: Taking taylor expansion of (neg im) in im 0.322 * [taylor]: Taking taylor expansion of im in im 0.336 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 0.336 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.336 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.336 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.336 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.336 * [taylor]: Taking taylor expansion of im in im 0.337 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.337 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.337 * [taylor]: Taking taylor expansion of im in im 0.337 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.337 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.337 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.337 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.338 * [taylor]: Taking taylor expansion of im in im 0.338 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.338 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.338 * [taylor]: Taking taylor expansion of im in im 0.340 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 0.340 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.340 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.340 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.340 * [taylor]: Taking taylor expansion of -1 in im 0.340 * [taylor]: Taking taylor expansion of im in im 0.341 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.341 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.341 * [taylor]: Taking taylor expansion of im in im 0.341 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.341 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.341 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.341 * [taylor]: Taking taylor expansion of -1 in im 0.341 * [taylor]: Taking taylor expansion of im in im 0.341 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.341 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.341 * [taylor]: Taking taylor expansion of im in im 0.343 * * * [progress]: simplifying candidates 0.344 * [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 (* (+ (exp im) (exp (neg im))) (sin re))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (neg im))) (+ (exp (* -1 im)) (exp im)) 0.348 * * [simplify]: iteration 0 : 265 enodes (cost 349 ) 0.353 * * [simplify]: iteration 1 : 1200 enodes (cost 295 ) 0.378 * * [simplify]: iteration 2 : 5001 enodes (cost 294 ) 0.380 * [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)))) (* (* 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)) (* (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 (+ (- 0.0 im) (- 0.0 im))) (neg (exp (+ im im)))) (* 0.5 (sin re))) (exp (+ (exp (- 0.0 im)) (exp im))) (log (+ (exp (- 0.0 im)) (exp im))) (exp (+ (exp (- 0.0 im)) (exp im))) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (+ (exp (- 0.0 im)) (exp im))) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (sqrt (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (exp (+ im im)) (- (pow (exp 2) (- 0.0 im)) (exp (+ (- 0.0 im) im)))) (+ (exp (+ (- 0.0 im) (- 0.0 im))) (neg (exp (+ im im)))) (- (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im)) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp (* -1 im)) (exp im)) (+ (exp (* -1 im)) (exp im)) 0.380 * * * [progress]: adding candidates to table 0.454 * * [progress]: iteration 2 / 4 0.455 * * * [progress]: picking best candidate 0.463 * * * * [pick]: Picked # 0.464 * * * [progress]: localizing error 0.473 * * * [progress]: generating rewritten candidates 0.473 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.486 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 0.494 * * * [progress]: generating series expansions 0.494 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.494 * [approximate]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in (re im) around 0 0.494 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in im 0.494 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.494 * [taylor]: Taking taylor expansion of (exp im) in im 0.495 * [taylor]: Taking taylor expansion of im in im 0.495 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.495 * [taylor]: Taking taylor expansion of (neg im) in im 0.495 * [taylor]: Taking taylor expansion of im in im 0.495 * [taylor]: Taking taylor expansion of (sin re) in im 0.495 * [taylor]: Taking taylor expansion of re in im 0.495 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in re 0.495 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 0.495 * [taylor]: Taking taylor expansion of (exp im) in re 0.495 * [taylor]: Taking taylor expansion of im in re 0.495 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.495 * [taylor]: Taking taylor expansion of (neg im) in re 0.495 * [taylor]: Taking taylor expansion of im in re 0.496 * [taylor]: Taking taylor expansion of (sin re) in re 0.496 * [taylor]: Taking taylor expansion of re in re 0.496 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in re 0.496 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 0.496 * [taylor]: Taking taylor expansion of (exp im) in re 0.496 * [taylor]: Taking taylor expansion of im in re 0.496 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.496 * [taylor]: Taking taylor expansion of (neg im) in re 0.496 * [taylor]: Taking taylor expansion of im in re 0.496 * [taylor]: Taking taylor expansion of (sin re) in re 0.496 * [taylor]: Taking taylor expansion of re in re 0.496 * [taylor]: Taking taylor expansion of 0 in im 0.498 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.498 * [taylor]: Taking taylor expansion of (exp im) in im 0.498 * [taylor]: Taking taylor expansion of im in im 0.498 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.498 * [taylor]: Taking taylor expansion of (neg im) in im 0.498 * [taylor]: Taking taylor expansion of im in im 0.502 * [taylor]: Taking taylor expansion of 0 in im 0.508 * [taylor]: Taking taylor expansion of (neg (+ (* 1/6 (exp im)) (* 1/6 (exp (neg im))))) in im 0.508 * [taylor]: Taking taylor expansion of (+ (* 1/6 (exp im)) (* 1/6 (exp (neg im)))) in im 0.508 * [taylor]: Taking taylor expansion of (* 1/6 (exp im)) in im 0.508 * [taylor]: Taking taylor expansion of 1/6 in im 0.508 * [taylor]: Taking taylor expansion of (exp im) in im 0.508 * [taylor]: Taking taylor expansion of im in im 0.508 * [taylor]: Taking taylor expansion of (* 1/6 (exp (neg im))) in im 0.508 * [taylor]: Taking taylor expansion of 1/6 in im 0.508 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.508 * [taylor]: Taking taylor expansion of (neg im) in im 0.508 * [taylor]: Taking taylor expansion of im in im 0.512 * [approximate]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in (re im) around 0 0.512 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 0.512 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.512 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.512 * [taylor]: Taking taylor expansion of re in im 0.512 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.512 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.512 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.512 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.512 * [taylor]: Taking taylor expansion of im in im 0.513 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.513 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.513 * [taylor]: Taking taylor expansion of im in im 0.513 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 0.513 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.513 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.513 * [taylor]: Taking taylor expansion of re in re 0.513 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.513 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.513 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.513 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.513 * [taylor]: Taking taylor expansion of im in re 0.514 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.514 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.514 * [taylor]: Taking taylor expansion of im in re 0.514 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 0.514 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.514 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.514 * [taylor]: Taking taylor expansion of re in re 0.514 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.514 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.514 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.514 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.514 * [taylor]: Taking taylor expansion of im in re 0.514 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.514 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.514 * [taylor]: Taking taylor expansion of im in re 0.515 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 0.515 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.515 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.515 * [taylor]: Taking taylor expansion of re in im 0.515 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.515 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.515 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.515 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.515 * [taylor]: Taking taylor expansion of im in im 0.515 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.515 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.515 * [taylor]: Taking taylor expansion of im in im 0.518 * [taylor]: Taking taylor expansion of 0 in im 0.522 * [taylor]: Taking taylor expansion of 0 in im 0.528 * [taylor]: Taking taylor expansion of 0 in im 0.529 * [approximate]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in (re im) around 0 0.529 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 0.529 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.529 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.529 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.529 * [taylor]: Taking taylor expansion of -1 in im 0.529 * [taylor]: Taking taylor expansion of im in im 0.529 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.529 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.529 * [taylor]: Taking taylor expansion of im in im 0.529 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.529 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.529 * [taylor]: Taking taylor expansion of -1 in im 0.530 * [taylor]: Taking taylor expansion of re in im 0.530 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 0.530 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.530 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.530 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.530 * [taylor]: Taking taylor expansion of -1 in re 0.530 * [taylor]: Taking taylor expansion of im in re 0.530 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.530 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.530 * [taylor]: Taking taylor expansion of im in re 0.530 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.530 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.530 * [taylor]: Taking taylor expansion of -1 in re 0.530 * [taylor]: Taking taylor expansion of re in re 0.530 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 0.530 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.530 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.530 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.530 * [taylor]: Taking taylor expansion of -1 in re 0.530 * [taylor]: Taking taylor expansion of im in re 0.530 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.530 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.530 * [taylor]: Taking taylor expansion of im in re 0.530 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.530 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.530 * [taylor]: Taking taylor expansion of -1 in re 0.531 * [taylor]: Taking taylor expansion of re in re 0.531 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 0.531 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.531 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.531 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.531 * [taylor]: Taking taylor expansion of -1 in im 0.531 * [taylor]: Taking taylor expansion of im in im 0.531 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.531 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.531 * [taylor]: Taking taylor expansion of im in im 0.532 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.532 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.532 * [taylor]: Taking taylor expansion of -1 in im 0.532 * [taylor]: Taking taylor expansion of re in im 0.534 * [taylor]: Taking taylor expansion of 0 in im 0.538 * [taylor]: Taking taylor expansion of 0 in im 0.543 * [taylor]: Taking taylor expansion of 0 in im 0.543 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 0.543 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0 0.544 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.544 * [taylor]: Taking taylor expansion of (exp im) in im 0.544 * [taylor]: Taking taylor expansion of im in im 0.544 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.544 * [taylor]: Taking taylor expansion of (neg im) in im 0.544 * [taylor]: Taking taylor expansion of im in im 0.544 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.544 * [taylor]: Taking taylor expansion of (exp im) in im 0.544 * [taylor]: Taking taylor expansion of im in im 0.544 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.544 * [taylor]: Taking taylor expansion of (neg im) in im 0.544 * [taylor]: Taking taylor expansion of im in im 0.558 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 0.558 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.558 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.558 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.558 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.558 * [taylor]: Taking taylor expansion of im in im 0.559 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.559 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.559 * [taylor]: Taking taylor expansion of im in im 0.559 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.559 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.559 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.559 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.559 * [taylor]: Taking taylor expansion of im in im 0.560 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.560 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.560 * [taylor]: Taking taylor expansion of im in im 0.562 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 0.562 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.562 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.562 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.562 * [taylor]: Taking taylor expansion of -1 in im 0.562 * [taylor]: Taking taylor expansion of im in im 0.562 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.562 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.562 * [taylor]: Taking taylor expansion of im in im 0.563 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.563 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.563 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.563 * [taylor]: Taking taylor expansion of -1 in im 0.563 * [taylor]: Taking taylor expansion of im in im 0.563 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.563 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.563 * [taylor]: Taking taylor expansion of im in im 0.568 * * * [progress]: simplifying candidates 0.569 * [simplify]: Simplifying using # : (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (+ (log (sin re)) (log (+ (exp (- 0.0 im)) (exp im)))) (log (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (* (* (* (sin re) (sin re)) (sin re)) (* (* (+ (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im)))) (* (cbrt (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (sin re) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (* (* (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (* (sqrt (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (sqrt (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (sin re) (exp (- 0.0 im))) (* (sin re) (exp im)) (* (exp (- 0.0 im)) (sin re)) (* (exp im) (sin re)) (* (sin re) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) (* (sin re) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (sin re) 1) (* (sin re) 1) (* (cbrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (sin re) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (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)) (- (+ (* 2 re) (* re (pow im 2))) (* 1/3 (pow re 3))) (* (+ (exp im) (exp (neg im))) (sin re)) (* (+ (exp (* -1 im)) (exp im)) (sin re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (neg im))) (+ (exp (* -1 im)) (exp im)) 0.572 * * [simplify]: iteration 0 : 211 enodes (cost 313 ) 0.576 * * [simplify]: iteration 1 : 807 enodes (cost 277 ) 0.593 * * [simplify]: iteration 2 : 3867 enodes (cost 276 ) 0.670 * * [simplify]: iteration 3 : 5002 enodes (cost 276 ) 0.672 * [simplify]: Simplified to: (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (log (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (log (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3) (* (cbrt (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (sin re) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (sin re) (+ (exp (- 0.0 im)) (exp im))) 3) (sqrt (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (sin re) (+ (exp (- 0.0 im)) (exp im)))) (* (sqrt (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (sqrt (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (sin re) (exp (- 0.0 im))) (* (sin re) (exp im)) (* (sin re) (exp (- 0.0 im))) (* (sin re) (exp im)) (* (sin re) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) (* (sin re) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sin re) (sin re) (* (cbrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sqrt (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (sin re) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (+ (exp (+ (- 0.0 im) (- 0.0 im))) (neg (exp (+ im im)))) (sin re)) (exp (+ (exp (- 0.0 im)) (exp im))) (log (+ (exp (- 0.0 im)) (exp im))) (exp (+ (exp (- 0.0 im)) (exp im))) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (+ (exp (- 0.0 im)) (exp im))) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (sqrt (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (exp (+ im im)) (- (pow (exp 2) (- 0.0 im)) (exp (+ (- 0.0 im) im)))) (+ (exp (+ (- 0.0 im) (- 0.0 im))) (neg (exp (+ im im)))) (- (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im)) (+ (* -1/3 (pow re 3)) (* re (+ (pow im 2) 2))) (* (+ (exp (* -1 im)) (exp im)) (sin re)) (* (+ (exp (* -1 im)) (exp im)) (sin re)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp (* -1 im)) (exp im)) (+ (exp (* -1 im)) (exp im)) 0.672 * * * [progress]: adding candidates to table 0.756 * * [progress]: iteration 3 / 4 0.756 * * * [progress]: picking best candidate 0.764 * * * * [pick]: Picked # 0.764 * * * [progress]: localizing error 0.778 * * * [progress]: generating rewritten candidates 0.778 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.801 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.813 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.823 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.832 * * * [progress]: generating series expansions 0.832 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.833 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (sin re))) in (re im) around 0 0.833 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (sin re))) in im 0.833 * [taylor]: Taking taylor expansion of 0.5 in im 0.833 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in im 0.833 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.833 * [taylor]: Taking taylor expansion of (exp im) in im 0.833 * [taylor]: Taking taylor expansion of im in im 0.833 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.833 * [taylor]: Taking taylor expansion of (neg im) in im 0.833 * [taylor]: Taking taylor expansion of im in im 0.834 * [taylor]: Taking taylor expansion of (sin re) in im 0.834 * [taylor]: Taking taylor expansion of re in im 0.834 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (sin re))) in re 0.834 * [taylor]: Taking taylor expansion of 0.5 in re 0.834 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in re 0.834 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 0.834 * [taylor]: Taking taylor expansion of (exp im) in re 0.834 * [taylor]: Taking taylor expansion of im in re 0.834 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.834 * [taylor]: Taking taylor expansion of (neg im) in re 0.834 * [taylor]: Taking taylor expansion of im in re 0.834 * [taylor]: Taking taylor expansion of (sin re) in re 0.834 * [taylor]: Taking taylor expansion of re in re 0.834 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp im) (exp (neg im))) (sin re))) in re 0.834 * [taylor]: Taking taylor expansion of 0.5 in re 0.834 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (sin re)) in re 0.834 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 0.834 * [taylor]: Taking taylor expansion of (exp im) in re 0.834 * [taylor]: Taking taylor expansion of im in re 0.834 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.834 * [taylor]: Taking taylor expansion of (neg im) in re 0.834 * [taylor]: Taking taylor expansion of im in re 0.834 * [taylor]: Taking taylor expansion of (sin re) in re 0.834 * [taylor]: Taking taylor expansion of re in re 0.835 * [taylor]: Taking taylor expansion of 0 in im 0.837 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (neg im)))) in im 0.837 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.837 * [taylor]: Taking taylor expansion of 0.5 in im 0.837 * [taylor]: Taking taylor expansion of (exp im) in im 0.837 * [taylor]: Taking taylor expansion of im in im 0.837 * [taylor]: Taking taylor expansion of (* 0.5 (exp (neg im))) in im 0.837 * [taylor]: Taking taylor expansion of 0.5 in im 0.837 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.837 * [taylor]: Taking taylor expansion of (neg im) in im 0.837 * [taylor]: Taking taylor expansion of im in im 0.842 * [taylor]: Taking taylor expansion of 0 in im 0.850 * [taylor]: Taking taylor expansion of (neg (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (neg im))))) in im 0.851 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (neg im)))) in im 0.851 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 0.851 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.851 * [taylor]: Taking taylor expansion of (exp im) in im 0.851 * [taylor]: Taking taylor expansion of im in im 0.851 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (neg im))) in im 0.851 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.851 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.851 * [taylor]: Taking taylor expansion of (neg im) in im 0.851 * [taylor]: Taking taylor expansion of im in im 0.858 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 0.858 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 0.858 * [taylor]: Taking taylor expansion of 0.5 in im 0.858 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 0.858 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.858 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.858 * [taylor]: Taking taylor expansion of re in im 0.858 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.858 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.858 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.858 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.858 * [taylor]: Taking taylor expansion of im in im 0.859 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.859 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.859 * [taylor]: Taking taylor expansion of im in im 0.859 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 0.859 * [taylor]: Taking taylor expansion of 0.5 in re 0.859 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 0.859 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.859 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.859 * [taylor]: Taking taylor expansion of re in re 0.859 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.859 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.859 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.859 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.859 * [taylor]: Taking taylor expansion of im in re 0.860 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.860 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.860 * [taylor]: Taking taylor expansion of im in re 0.860 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 0.860 * [taylor]: Taking taylor expansion of 0.5 in re 0.860 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 0.860 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.860 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.860 * [taylor]: Taking taylor expansion of re in re 0.860 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.860 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.860 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.860 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.860 * [taylor]: Taking taylor expansion of im in re 0.860 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.860 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.860 * [taylor]: Taking taylor expansion of im in re 0.861 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 0.861 * [taylor]: Taking taylor expansion of 0.5 in im 0.861 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 0.861 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.861 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.861 * [taylor]: Taking taylor expansion of re in im 0.861 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.861 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.861 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.861 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.861 * [taylor]: Taking taylor expansion of im in im 0.862 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.862 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.862 * [taylor]: Taking taylor expansion of im in im 0.864 * [taylor]: Taking taylor expansion of 0 in im 0.870 * [taylor]: Taking taylor expansion of 0 in im 0.878 * [taylor]: Taking taylor expansion of 0 in im 0.879 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0 0.879 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 0.879 * [taylor]: Taking taylor expansion of 0.5 in im 0.879 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 0.879 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.879 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.879 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.879 * [taylor]: Taking taylor expansion of -1 in im 0.879 * [taylor]: Taking taylor expansion of im in im 0.879 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.879 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.879 * [taylor]: Taking taylor expansion of im in im 0.880 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.880 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.880 * [taylor]: Taking taylor expansion of -1 in im 0.880 * [taylor]: Taking taylor expansion of re in im 0.880 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 0.880 * [taylor]: Taking taylor expansion of 0.5 in re 0.880 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 0.880 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.880 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.880 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.880 * [taylor]: Taking taylor expansion of -1 in re 0.880 * [taylor]: Taking taylor expansion of im in re 0.880 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.880 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.880 * [taylor]: Taking taylor expansion of im in re 0.880 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.880 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.880 * [taylor]: Taking taylor expansion of -1 in re 0.880 * [taylor]: Taking taylor expansion of re in re 0.880 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 0.881 * [taylor]: Taking taylor expansion of 0.5 in re 0.881 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 0.881 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.881 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.881 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.881 * [taylor]: Taking taylor expansion of -1 in re 0.881 * [taylor]: Taking taylor expansion of im in re 0.881 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.881 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.881 * [taylor]: Taking taylor expansion of im in re 0.881 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.881 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.881 * [taylor]: Taking taylor expansion of -1 in re 0.881 * [taylor]: Taking taylor expansion of re in re 0.882 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 0.882 * [taylor]: Taking taylor expansion of 0.5 in im 0.882 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 0.882 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.882 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.882 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.882 * [taylor]: Taking taylor expansion of -1 in im 0.882 * [taylor]: Taking taylor expansion of im in im 0.882 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.882 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.882 * [taylor]: Taking taylor expansion of im in im 0.882 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.882 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.882 * [taylor]: Taking taylor expansion of -1 in im 0.882 * [taylor]: Taking taylor expansion of re in im 0.885 * [taylor]: Taking taylor expansion of 0 in im 0.890 * [taylor]: Taking taylor expansion of 0 in im 0.897 * [taylor]: Taking taylor expansion of 0 in im 0.897 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.897 * [approximate]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp im) (exp (neg im)))) (sin re))) in (re im) around 0 0.897 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp im) (exp (neg im)))) (sin re))) in im 0.897 * [taylor]: Taking taylor expansion of 0.5 in im 0.897 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp im) (exp (neg im)))) (sin re)) in im 0.897 * [taylor]: Taking taylor expansion of (sqrt (+ (exp im) (exp (neg im)))) in im 0.897 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.897 * [taylor]: Taking taylor expansion of (exp im) in im 0.897 * [taylor]: Taking taylor expansion of im in im 0.897 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.897 * [taylor]: Taking taylor expansion of (neg im) in im 0.897 * [taylor]: Taking taylor expansion of im in im 0.900 * [taylor]: Taking taylor expansion of (sin re) in im 0.900 * [taylor]: Taking taylor expansion of re in im 0.900 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp im) (exp (neg im)))) (sin re))) in re 0.900 * [taylor]: Taking taylor expansion of 0.5 in re 0.900 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp im) (exp (neg im)))) (sin re)) in re 0.900 * [taylor]: Taking taylor expansion of (sqrt (+ (exp im) (exp (neg im)))) in re 0.900 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 0.900 * [taylor]: Taking taylor expansion of (exp im) in re 0.900 * [taylor]: Taking taylor expansion of im in re 0.900 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.900 * [taylor]: Taking taylor expansion of (neg im) in re 0.900 * [taylor]: Taking taylor expansion of im in re 0.902 * [taylor]: Taking taylor expansion of (sin re) in re 0.902 * [taylor]: Taking taylor expansion of re in re 0.902 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp im) (exp (neg im)))) (sin re))) in re 0.902 * [taylor]: Taking taylor expansion of 0.5 in re 0.902 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp im) (exp (neg im)))) (sin re)) in re 0.902 * [taylor]: Taking taylor expansion of (sqrt (+ (exp im) (exp (neg im)))) in re 0.902 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 0.902 * [taylor]: Taking taylor expansion of (exp im) in re 0.902 * [taylor]: Taking taylor expansion of im in re 0.902 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.902 * [taylor]: Taking taylor expansion of (neg im) in re 0.902 * [taylor]: Taking taylor expansion of im in re 0.907 * [taylor]: Taking taylor expansion of (sin re) in re 0.907 * [taylor]: Taking taylor expansion of re in re 0.908 * [taylor]: Taking taylor expansion of 0 in im 0.909 * [taylor]: Taking taylor expansion of (* 0.5 (sqrt (+ (exp im) (exp (neg im))))) in im 0.909 * [taylor]: Taking taylor expansion of 0.5 in im 0.909 * [taylor]: Taking taylor expansion of (sqrt (+ (exp im) (exp (neg im)))) in im 0.909 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.909 * [taylor]: Taking taylor expansion of (exp im) in im 0.909 * [taylor]: Taking taylor expansion of im in im 0.909 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.909 * [taylor]: Taking taylor expansion of (neg im) in im 0.909 * [taylor]: Taking taylor expansion of im in im 0.917 * [taylor]: Taking taylor expansion of 0 in im 0.923 * [taylor]: Taking taylor expansion of (neg (* 0.08333333333333333 (sqrt (+ (exp im) (exp (neg im)))))) in im 0.923 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (sqrt (+ (exp im) (exp (neg im))))) in im 0.923 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.923 * [taylor]: Taking taylor expansion of (sqrt (+ (exp im) (exp (neg im)))) in im 0.923 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.923 * [taylor]: Taking taylor expansion of (exp im) in im 0.923 * [taylor]: Taking taylor expansion of im in im 0.923 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.923 * [taylor]: Taking taylor expansion of (neg im) in im 0.923 * [taylor]: Taking taylor expansion of im in im 0.938 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in (re im) around 0 0.938 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in im 0.938 * [taylor]: Taking taylor expansion of 0.5 in im 0.938 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 0.938 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.938 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.938 * [taylor]: Taking taylor expansion of re in im 0.938 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 0.938 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.938 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.938 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.938 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.938 * [taylor]: Taking taylor expansion of im in im 0.939 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.939 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.939 * [taylor]: Taking taylor expansion of im in im 0.940 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in re 0.940 * [taylor]: Taking taylor expansion of 0.5 in re 0.940 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 0.940 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.940 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.940 * [taylor]: Taking taylor expansion of re in re 0.940 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 0.940 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.940 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.940 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.940 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.940 * [taylor]: Taking taylor expansion of im in re 0.940 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.940 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.940 * [taylor]: Taking taylor expansion of im in re 0.942 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in re 0.942 * [taylor]: Taking taylor expansion of 0.5 in re 0.942 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 0.942 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.942 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.942 * [taylor]: Taking taylor expansion of re in re 0.943 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 0.943 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.943 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.943 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.943 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.943 * [taylor]: Taking taylor expansion of im in re 0.943 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.943 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.943 * [taylor]: Taking taylor expansion of im in re 0.945 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in im 0.945 * [taylor]: Taking taylor expansion of 0.5 in im 0.945 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 0.945 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.945 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.945 * [taylor]: Taking taylor expansion of re in im 0.945 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 0.945 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.945 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.945 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.945 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.945 * [taylor]: Taking taylor expansion of im in im 0.946 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.946 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.946 * [taylor]: Taking taylor expansion of im in im 0.948 * [taylor]: Taking taylor expansion of 0 in im 0.953 * [taylor]: Taking taylor expansion of 0 in im 0.962 * [taylor]: Taking taylor expansion of 0 in im 0.963 * [approximate]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in (re im) around 0 0.963 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in im 0.963 * [taylor]: Taking taylor expansion of 0.5 in im 0.963 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re))) in im 0.963 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in im 0.963 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.963 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.963 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.963 * [taylor]: Taking taylor expansion of -1 in im 0.963 * [taylor]: Taking taylor expansion of im in im 0.963 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.963 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.963 * [taylor]: Taking taylor expansion of im in im 0.964 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.964 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.964 * [taylor]: Taking taylor expansion of -1 in im 0.964 * [taylor]: Taking taylor expansion of re in im 0.964 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in re 0.964 * [taylor]: Taking taylor expansion of 0.5 in re 0.964 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re))) in re 0.964 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in re 0.964 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.964 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.964 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.964 * [taylor]: Taking taylor expansion of -1 in re 0.964 * [taylor]: Taking taylor expansion of im in re 0.964 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.964 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.964 * [taylor]: Taking taylor expansion of im in re 0.966 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.966 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.966 * [taylor]: Taking taylor expansion of -1 in re 0.966 * [taylor]: Taking taylor expansion of re in re 0.966 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in re 0.966 * [taylor]: Taking taylor expansion of 0.5 in re 0.966 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re))) in re 0.966 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in re 0.966 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.966 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.966 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.966 * [taylor]: Taking taylor expansion of -1 in re 0.966 * [taylor]: Taking taylor expansion of im in re 0.966 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.966 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.966 * [taylor]: Taking taylor expansion of im in re 0.968 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.968 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.968 * [taylor]: Taking taylor expansion of -1 in re 0.968 * [taylor]: Taking taylor expansion of re in re 0.969 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re)))) in im 0.969 * [taylor]: Taking taylor expansion of 0.5 in im 0.969 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (sin (/ -1 re))) in im 0.969 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in im 0.969 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.969 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.969 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.969 * [taylor]: Taking taylor expansion of -1 in im 0.969 * [taylor]: Taking taylor expansion of im in im 0.969 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.969 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.969 * [taylor]: Taking taylor expansion of im in im 0.970 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.970 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.970 * [taylor]: Taking taylor expansion of -1 in im 0.970 * [taylor]: Taking taylor expansion of re in im 0.971 * [taylor]: Taking taylor expansion of 0 in im 0.977 * [taylor]: Taking taylor expansion of 0 in im 0.984 * [taylor]: Taking taylor expansion of 0 in im 0.985 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 0.985 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0 0.985 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.985 * [taylor]: Taking taylor expansion of (exp im) in im 0.985 * [taylor]: Taking taylor expansion of im in im 0.985 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.985 * [taylor]: Taking taylor expansion of (neg im) in im 0.985 * [taylor]: Taking taylor expansion of im in im 0.985 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 0.985 * [taylor]: Taking taylor expansion of (exp im) in im 0.985 * [taylor]: Taking taylor expansion of im in im 0.985 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.985 * [taylor]: Taking taylor expansion of (neg im) in im 0.985 * [taylor]: Taking taylor expansion of im in im 1.002 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 1.002 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.002 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.002 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.002 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.002 * [taylor]: Taking taylor expansion of im in im 1.003 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.003 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.003 * [taylor]: Taking taylor expansion of im in im 1.003 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.003 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.003 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.003 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.003 * [taylor]: Taking taylor expansion of im in im 1.004 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.004 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.004 * [taylor]: Taking taylor expansion of im in im 1.006 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 1.006 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.006 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.006 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.006 * [taylor]: Taking taylor expansion of -1 in im 1.006 * [taylor]: Taking taylor expansion of im in im 1.006 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.006 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.006 * [taylor]: Taking taylor expansion of im in im 1.007 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.007 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.007 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.007 * [taylor]: Taking taylor expansion of -1 in im 1.007 * [taylor]: Taking taylor expansion of im in im 1.007 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.007 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.007 * [taylor]: Taking taylor expansion of im in im 1.009 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 1.009 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in (im) around 0 1.009 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.009 * [taylor]: Taking taylor expansion of (exp im) in im 1.009 * [taylor]: Taking taylor expansion of im in im 1.009 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.009 * [taylor]: Taking taylor expansion of (neg im) in im 1.009 * [taylor]: Taking taylor expansion of im in im 1.010 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.010 * [taylor]: Taking taylor expansion of (exp im) in im 1.010 * [taylor]: Taking taylor expansion of im in im 1.010 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.010 * [taylor]: Taking taylor expansion of (neg im) in im 1.010 * [taylor]: Taking taylor expansion of im in im 1.024 * [approximate]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 1.024 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.024 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.024 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.024 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.024 * [taylor]: Taking taylor expansion of im in im 1.024 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.025 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.025 * [taylor]: Taking taylor expansion of im in im 1.025 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.025 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.025 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.025 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.025 * [taylor]: Taking taylor expansion of im in im 1.025 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.025 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.026 * [taylor]: Taking taylor expansion of im in im 1.028 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 1.028 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.028 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.028 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.028 * [taylor]: Taking taylor expansion of -1 in im 1.028 * [taylor]: Taking taylor expansion of im in im 1.028 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.028 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.028 * [taylor]: Taking taylor expansion of im in im 1.028 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.028 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.028 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.028 * [taylor]: Taking taylor expansion of -1 in im 1.028 * [taylor]: Taking taylor expansion of im in im 1.029 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.029 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.029 * [taylor]: Taking taylor expansion of im in im 1.031 * * * [progress]: simplifying candidates 1.032 * [simplify]: Simplifying using # : (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (+ (+ (+ (log 0.5) (log (sin re))) (log (sqrt (+ (exp (- 0.0 im)) (exp im))))) (log (sqrt (+ (exp (- 0.0 im)) (exp im))))) (+ (+ (log (* 0.5 (sin re))) (log (sqrt (+ (exp (- 0.0 im)) (exp im))))) (log (sqrt (+ (exp (- 0.0 im)) (exp im))))) (+ (log (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (log (sqrt (+ (exp (- 0.0 im)) (exp im))))) (log (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (exp (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (sqrt (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (sqrt (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (sqrt (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (sqrt (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (sqrt (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (cbrt (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (sqrt (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (sqrt (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (* (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))))) (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (* (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))) (* (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))))) (sqrt (- (exp (- 0.0 im)) (exp im)))) (* (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (* (sqrt (- (exp (- 0.0 im)) (exp im))) (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (* (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))) (* (sqrt (- (exp (- 0.0 im)) (exp im))) (sqrt (- (exp (- 0.0 im)) (exp im)))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im)))))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt 1)) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt 1)) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 1) (* (sqrt (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))) (* (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (+ (+ (log 0.5) (log (sin re))) (log (sqrt (+ (exp (- 0.0 im)) (exp im))))) (+ (log (* 0.5 (sin re))) (log (sqrt (+ (exp (- 0.0 im)) (exp im))))) (log (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (exp (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (sqrt (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (sqrt (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (sqrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (sqrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (* (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (* 0.5 (sin re)) (sqrt (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im)))))) (* (* 0.5 (sin re)) (sqrt (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt 1)) (* (* 0.5 (sin re)) (sqrt 1)) (* (* 0.5 (sin re)) (sqrt (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) 1) (* (sin re) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (* (* 0.5 (sin re)) (sqrt (- (* (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)) (* (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 (* (+ (exp im) (exp (neg im))) (sin re))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (- (+ (* 0.5 (* re (sqrt 2))) (* 0.25 (/ (* re (pow im 2)) (sqrt 2)))) (* 0.08333333333333333 (* (pow re 3) (sqrt 2)))) (* 0.5 (* (sqrt (+ (exp im) (exp (neg im)))) (sin re))) (* 0.5 (* (sqrt (+ (exp (* -1 im)) (exp im))) (sin re))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (neg im))) (+ (exp (* -1 im)) (exp im)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (neg im))) (+ (exp (* -1 im)) (exp im)) 1.039 * * [simplify]: iteration 0 : 407 enodes (cost 1087 ) 1.046 * * [simplify]: iteration 1 : 1824 enodes (cost 905 ) 1.080 * * [simplify]: iteration 2 : 5001 enodes (cost 894 ) 1.084 * [simplify]: Simplified to: (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (+ (log (* 0.5 (sin re))) (log (+ (exp (- 0.0 im)) (exp im)))) (+ (log (* 0.5 (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))) (log (+ (exp (- 0.0 im)) (exp im)))) (pow (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) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (* (cbrt (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (sqrt (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (sqrt (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (* 0.5 (sin re))) (+ (exp (+ im im)) (- (pow (exp 2) (- 0.0 im)) (exp (+ (- 0.0 im) im)))) (* (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))) (* (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))))) (sqrt (- (exp (- 0.0 im)) (exp im)))) (* (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))) (* (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))))) (sqrt (- (exp (- 0.0 im)) (exp im)))) (* (+ (exp (+ (- 0.0 im) (- 0.0 im))) (neg (exp (+ im im)))) (* 0.5 (sin re))) (- (exp (- 0.0 im)) (exp im)) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (* 0.5 (sin re)) (* (sqrt (+ (exp (- 0.0 im)) (exp im))) (fabs (cbrt (+ (exp (- 0.0 im)) (exp im)))))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (+ (exp (- 0.0 im)) (exp im)) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (log (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (log (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (exp (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (pow (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (pow (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (pow (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) 3) (sqrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (sqrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (* (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* 0.5 (* (sin re) (fabs (cbrt (+ (exp (- 0.0 im)) (exp im)))))) (* (* 0.5 (sin re)) (sqrt (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* 0.5 (sin re)) (* 0.5 (sin re)) (* (* 0.5 (sin re)) (sqrt (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* 0.5 (sin re)) (* (sin re) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))) (exp (+ (exp (- 0.0 im)) (exp im))) (log (+ (exp (- 0.0 im)) (exp im))) (exp (+ (exp (- 0.0 im)) (exp im))) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (+ (exp (- 0.0 im)) (exp im))) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (sqrt (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (exp (+ im im)) (- (pow (exp 2) (- 0.0 im)) (exp (+ (- 0.0 im) im)))) (+ (exp (+ (- 0.0 im) (- 0.0 im))) (neg (exp (+ im im)))) (- (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im)) (exp (+ (exp (- 0.0 im)) (exp im))) (log (+ (exp (- 0.0 im)) (exp im))) (exp (+ (exp (- 0.0 im)) (exp im))) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (+ (exp (- 0.0 im)) (exp im))) (pow (+ (exp (- 0.0 im)) (exp im)) 3) (sqrt (+ (exp (- 0.0 im)) (exp im))) (sqrt (+ (exp (- 0.0 im)) (exp im))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (exp (+ im im)) (- (pow (exp 2) (- 0.0 im)) (exp (+ (- 0.0 im) im)))) (+ (exp (+ (- 0.0 im) (- 0.0 im))) (neg (exp (+ im im)))) (- (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im)) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (- (+ (* 0.5 (* re (sqrt 2))) (* 0.25 (/ (* re (pow im 2)) (sqrt 2)))) (* 0.08333333333333333 (* (pow re 3) (sqrt 2)))) (* 0.5 (* (sqrt (+ (exp (* -1 im)) (exp im))) (sin re))) (* 0.5 (* (sqrt (+ (exp (* -1 im)) (exp im))) (sin re))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp (* -1 im)) (exp im)) (+ (exp (* -1 im)) (exp im)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp (* -1 im)) (exp im)) (+ (exp (* -1 im)) (exp im)) 1.085 * * * [progress]: adding candidates to table 1.274 * * [progress]: iteration 4 / 4 1.274 * * * [progress]: picking best candidate 1.282 * * * * [pick]: Picked # 1.282 * * * [progress]: localizing error 1.301 * * * [progress]: generating rewritten candidates 1.301 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.313 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.324 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.335 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1.347 * * * [progress]: generating series expansions 1.347 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.347 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) in (re im) around 0 1.347 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) in im 1.347 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.347 * [taylor]: Taking taylor expansion of 0.5 in im 1.348 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3)) in im 1.348 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in im 1.348 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in im 1.348 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in im 1.348 * [taylor]: Taking taylor expansion of 1/6 in im 1.348 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in im 1.348 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.348 * [taylor]: Taking taylor expansion of (exp im) in im 1.348 * [taylor]: Taking taylor expansion of im in im 1.349 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.349 * [taylor]: Taking taylor expansion of (neg im) in im 1.349 * [taylor]: Taking taylor expansion of im in im 1.351 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in im 1.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in im 1.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in im 1.351 * [taylor]: Taking taylor expansion of 1/3 in im 1.351 * [taylor]: Taking taylor expansion of (log (sin re)) in im 1.351 * [taylor]: Taking taylor expansion of (sin re) in im 1.351 * [taylor]: Taking taylor expansion of re in im 1.351 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) in re 1.351 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.351 * [taylor]: Taking taylor expansion of 0.5 in re 1.352 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3)) in re 1.352 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in re 1.352 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in re 1.352 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in re 1.352 * [taylor]: Taking taylor expansion of 1/6 in re 1.352 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in re 1.352 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 1.352 * [taylor]: Taking taylor expansion of (exp im) in re 1.352 * [taylor]: Taking taylor expansion of im in re 1.352 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 1.352 * [taylor]: Taking taylor expansion of (neg im) in re 1.352 * [taylor]: Taking taylor expansion of im in re 1.353 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in re 1.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in re 1.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in re 1.353 * [taylor]: Taking taylor expansion of 1/3 in re 1.353 * [taylor]: Taking taylor expansion of (log (sin re)) in re 1.353 * [taylor]: Taking taylor expansion of (sin re) in re 1.353 * [taylor]: Taking taylor expansion of re in re 1.354 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) in re 1.354 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.354 * [taylor]: Taking taylor expansion of 0.5 in re 1.354 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3)) in re 1.354 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in re 1.354 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in re 1.354 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in re 1.354 * [taylor]: Taking taylor expansion of 1/6 in re 1.354 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in re 1.354 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 1.354 * [taylor]: Taking taylor expansion of (exp im) in re 1.354 * [taylor]: Taking taylor expansion of im in re 1.355 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 1.355 * [taylor]: Taking taylor expansion of (neg im) in re 1.355 * [taylor]: Taking taylor expansion of im in re 1.355 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in re 1.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in re 1.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in re 1.355 * [taylor]: Taking taylor expansion of 1/3 in re 1.355 * [taylor]: Taking taylor expansion of (log (sin re)) in re 1.355 * [taylor]: Taking taylor expansion of (sin re) in re 1.355 * [taylor]: Taking taylor expansion of re in re 1.357 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3))) in im 1.357 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.357 * [taylor]: Taking taylor expansion of 0.5 in im 1.357 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3)) in im 1.357 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in im 1.357 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in im 1.357 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in im 1.357 * [taylor]: Taking taylor expansion of 1/6 in im 1.357 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in im 1.357 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.357 * [taylor]: Taking taylor expansion of (exp im) in im 1.357 * [taylor]: Taking taylor expansion of im in im 1.357 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.358 * [taylor]: Taking taylor expansion of (neg im) in im 1.358 * [taylor]: Taking taylor expansion of im in im 1.360 * [taylor]: Taking taylor expansion of (pow re 1/3) in im 1.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log re))) in im 1.360 * [taylor]: Taking taylor expansion of (* 1/3 (log re)) in im 1.360 * [taylor]: Taking taylor expansion of 1/3 in im 1.360 * [taylor]: Taking taylor expansion of (log re) in im 1.360 * [taylor]: Taking taylor expansion of re in im 1.367 * [taylor]: Taking taylor expansion of 0 in im 1.387 * [taylor]: Taking taylor expansion of (neg (* 1/18 (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3))))) in im 1.387 * [taylor]: Taking taylor expansion of (* 1/18 (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3)))) in im 1.387 * [taylor]: Taking taylor expansion of 1/18 in im 1.387 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3))) in im 1.387 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.387 * [taylor]: Taking taylor expansion of 0.5 in im 1.388 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3)) in im 1.388 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in im 1.388 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in im 1.388 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in im 1.388 * [taylor]: Taking taylor expansion of 1/6 in im 1.388 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in im 1.388 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.388 * [taylor]: Taking taylor expansion of (exp im) in im 1.388 * [taylor]: Taking taylor expansion of im in im 1.388 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.388 * [taylor]: Taking taylor expansion of (neg im) in im 1.388 * [taylor]: Taking taylor expansion of im in im 1.390 * [taylor]: Taking taylor expansion of (pow re 1/3) in im 1.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log re))) in im 1.390 * [taylor]: Taking taylor expansion of (* 1/3 (log re)) in im 1.390 * [taylor]: Taking taylor expansion of 1/3 in im 1.390 * [taylor]: Taking taylor expansion of (log re) in im 1.390 * [taylor]: Taking taylor expansion of re in im 1.409 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in (re im) around 0 1.409 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in im 1.409 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.409 * [taylor]: Taking taylor expansion of 0.5 in im 1.410 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6)) in im 1.410 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in im 1.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in im 1.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in im 1.410 * [taylor]: Taking taylor expansion of 1/3 in im 1.410 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in im 1.410 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.410 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.410 * [taylor]: Taking taylor expansion of re in im 1.410 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6) in im 1.410 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in im 1.410 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 1.410 * [taylor]: Taking taylor expansion of 1/6 in im 1.410 * [taylor]: Taking taylor expansion of (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 1.410 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.410 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.410 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.410 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.410 * [taylor]: Taking taylor expansion of im in im 1.411 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.411 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.411 * [taylor]: Taking taylor expansion of im in im 1.412 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in re 1.412 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.412 * [taylor]: Taking taylor expansion of 0.5 in re 1.412 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6)) in re 1.412 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in re 1.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in re 1.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in re 1.412 * [taylor]: Taking taylor expansion of 1/3 in re 1.413 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 1.413 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.413 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.413 * [taylor]: Taking taylor expansion of re in re 1.413 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6) in re 1.413 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in re 1.413 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 1.413 * [taylor]: Taking taylor expansion of 1/6 in re 1.413 * [taylor]: Taking taylor expansion of (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 1.413 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 1.413 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 1.413 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 1.413 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.413 * [taylor]: Taking taylor expansion of im in re 1.413 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.413 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.413 * [taylor]: Taking taylor expansion of im in re 1.414 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in re 1.414 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.414 * [taylor]: Taking taylor expansion of 0.5 in re 1.414 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6)) in re 1.414 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in re 1.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in re 1.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in re 1.414 * [taylor]: Taking taylor expansion of 1/3 in re 1.415 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 1.415 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.415 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.415 * [taylor]: Taking taylor expansion of re in re 1.415 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6) in re 1.415 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in re 1.415 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 1.415 * [taylor]: Taking taylor expansion of 1/6 in re 1.415 * [taylor]: Taking taylor expansion of (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 1.415 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 1.415 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 1.415 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 1.415 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.415 * [taylor]: Taking taylor expansion of im in re 1.415 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.415 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.415 * [taylor]: Taking taylor expansion of im in re 1.416 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in im 1.416 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.416 * [taylor]: Taking taylor expansion of 0.5 in im 1.417 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6)) in im 1.417 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in im 1.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in im 1.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in im 1.417 * [taylor]: Taking taylor expansion of 1/3 in im 1.417 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in im 1.417 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.417 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.417 * [taylor]: Taking taylor expansion of re in im 1.418 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6) in im 1.418 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in im 1.418 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 1.418 * [taylor]: Taking taylor expansion of 1/6 in im 1.418 * [taylor]: Taking taylor expansion of (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 1.418 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.418 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.418 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.418 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.418 * [taylor]: Taking taylor expansion of im in im 1.418 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.418 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.418 * [taylor]: Taking taylor expansion of im in im 1.425 * [taylor]: Taking taylor expansion of 0 in im 1.440 * [taylor]: Taking taylor expansion of 0 in im 1.461 * [taylor]: Taking taylor expansion of 0 in im 1.462 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in (re im) around 0 1.462 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in im 1.462 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.462 * [taylor]: Taking taylor expansion of 0.5 in im 1.462 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3)) in im 1.462 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) in im 1.462 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im)))))) in im 1.462 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im))))) in im 1.462 * [taylor]: Taking taylor expansion of 1/6 in im 1.462 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 im)) (exp (/ 1 im)))) in im 1.463 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.463 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.463 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.463 * [taylor]: Taking taylor expansion of -1 in im 1.463 * [taylor]: Taking taylor expansion of im in im 1.463 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.463 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.463 * [taylor]: Taking taylor expansion of im in im 1.464 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in im 1.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in im 1.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in im 1.464 * [taylor]: Taking taylor expansion of 1/3 in im 1.464 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in im 1.464 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.464 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.464 * [taylor]: Taking taylor expansion of -1 in im 1.464 * [taylor]: Taking taylor expansion of re in im 1.464 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in re 1.464 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.464 * [taylor]: Taking taylor expansion of 0.5 in re 1.465 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3)) in re 1.465 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) in re 1.465 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im)))))) in re 1.465 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im))))) in re 1.465 * [taylor]: Taking taylor expansion of 1/6 in re 1.465 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 im)) (exp (/ 1 im)))) in re 1.465 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.465 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.465 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.465 * [taylor]: Taking taylor expansion of -1 in re 1.465 * [taylor]: Taking taylor expansion of im in re 1.465 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.465 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.465 * [taylor]: Taking taylor expansion of im in re 1.465 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in re 1.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in re 1.465 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in re 1.465 * [taylor]: Taking taylor expansion of 1/3 in re 1.465 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 1.465 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.465 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.465 * [taylor]: Taking taylor expansion of -1 in re 1.465 * [taylor]: Taking taylor expansion of re in re 1.466 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in re 1.466 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.466 * [taylor]: Taking taylor expansion of 0.5 in re 1.467 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3)) in re 1.467 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) in re 1.467 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im)))))) in re 1.467 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im))))) in re 1.467 * [taylor]: Taking taylor expansion of 1/6 in re 1.467 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 im)) (exp (/ 1 im)))) in re 1.467 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.467 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.467 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.467 * [taylor]: Taking taylor expansion of -1 in re 1.467 * [taylor]: Taking taylor expansion of im in re 1.467 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.467 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.467 * [taylor]: Taking taylor expansion of im in re 1.467 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in re 1.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in re 1.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in re 1.467 * [taylor]: Taking taylor expansion of 1/3 in re 1.467 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 1.467 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.467 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.467 * [taylor]: Taking taylor expansion of -1 in re 1.467 * [taylor]: Taking taylor expansion of re in re 1.471 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in im 1.471 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.471 * [taylor]: Taking taylor expansion of 0.5 in im 1.472 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3)) in im 1.472 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) in im 1.472 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im)))))) in im 1.472 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im))))) in im 1.472 * [taylor]: Taking taylor expansion of 1/6 in im 1.472 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 im)) (exp (/ 1 im)))) in im 1.472 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.472 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.472 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.472 * [taylor]: Taking taylor expansion of -1 in im 1.472 * [taylor]: Taking taylor expansion of im in im 1.472 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.472 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.472 * [taylor]: Taking taylor expansion of im in im 1.473 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in im 1.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in im 1.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in im 1.473 * [taylor]: Taking taylor expansion of 1/3 in im 1.473 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in im 1.473 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.473 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.473 * [taylor]: Taking taylor expansion of -1 in im 1.473 * [taylor]: Taking taylor expansion of re in im 1.479 * [taylor]: Taking taylor expansion of 0 in im 1.493 * [taylor]: Taking taylor expansion of 0 in im 1.513 * [taylor]: Taking taylor expansion of 0 in im 1.514 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.514 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) in (re im) around 0 1.514 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) in im 1.514 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.514 * [taylor]: Taking taylor expansion of 0.5 in im 1.515 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3)) in im 1.515 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in im 1.515 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in im 1.515 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in im 1.515 * [taylor]: Taking taylor expansion of 1/6 in im 1.515 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in im 1.515 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.515 * [taylor]: Taking taylor expansion of (exp im) in im 1.515 * [taylor]: Taking taylor expansion of im in im 1.515 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.515 * [taylor]: Taking taylor expansion of (neg im) in im 1.515 * [taylor]: Taking taylor expansion of im in im 1.517 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in im 1.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in im 1.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in im 1.517 * [taylor]: Taking taylor expansion of 1/3 in im 1.517 * [taylor]: Taking taylor expansion of (log (sin re)) in im 1.517 * [taylor]: Taking taylor expansion of (sin re) in im 1.517 * [taylor]: Taking taylor expansion of re in im 1.518 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) in re 1.518 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.518 * [taylor]: Taking taylor expansion of 0.5 in re 1.518 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3)) in re 1.518 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in re 1.518 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in re 1.518 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in re 1.518 * [taylor]: Taking taylor expansion of 1/6 in re 1.518 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in re 1.518 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 1.518 * [taylor]: Taking taylor expansion of (exp im) in re 1.518 * [taylor]: Taking taylor expansion of im in re 1.518 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 1.518 * [taylor]: Taking taylor expansion of (neg im) in re 1.518 * [taylor]: Taking taylor expansion of im in re 1.519 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in re 1.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in re 1.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in re 1.519 * [taylor]: Taking taylor expansion of 1/3 in re 1.519 * [taylor]: Taking taylor expansion of (log (sin re)) in re 1.519 * [taylor]: Taking taylor expansion of (sin re) in re 1.519 * [taylor]: Taking taylor expansion of re in re 1.520 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) in re 1.520 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.520 * [taylor]: Taking taylor expansion of 0.5 in re 1.521 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3)) in re 1.521 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in re 1.521 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in re 1.521 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in re 1.521 * [taylor]: Taking taylor expansion of 1/6 in re 1.521 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in re 1.521 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 1.521 * [taylor]: Taking taylor expansion of (exp im) in re 1.521 * [taylor]: Taking taylor expansion of im in re 1.521 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 1.521 * [taylor]: Taking taylor expansion of (neg im) in re 1.521 * [taylor]: Taking taylor expansion of im in re 1.521 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in re 1.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in re 1.521 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in re 1.521 * [taylor]: Taking taylor expansion of 1/3 in re 1.521 * [taylor]: Taking taylor expansion of (log (sin re)) in re 1.521 * [taylor]: Taking taylor expansion of (sin re) in re 1.521 * [taylor]: Taking taylor expansion of re in re 1.523 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3))) in im 1.523 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.523 * [taylor]: Taking taylor expansion of 0.5 in im 1.523 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3)) in im 1.523 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in im 1.523 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in im 1.524 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in im 1.524 * [taylor]: Taking taylor expansion of 1/6 in im 1.524 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in im 1.524 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.524 * [taylor]: Taking taylor expansion of (exp im) in im 1.524 * [taylor]: Taking taylor expansion of im in im 1.524 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.524 * [taylor]: Taking taylor expansion of (neg im) in im 1.524 * [taylor]: Taking taylor expansion of im in im 1.526 * [taylor]: Taking taylor expansion of (pow re 1/3) in im 1.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log re))) in im 1.526 * [taylor]: Taking taylor expansion of (* 1/3 (log re)) in im 1.526 * [taylor]: Taking taylor expansion of 1/3 in im 1.526 * [taylor]: Taking taylor expansion of (log re) in im 1.526 * [taylor]: Taking taylor expansion of re in im 1.533 * [taylor]: Taking taylor expansion of 0 in im 1.550 * [taylor]: Taking taylor expansion of (neg (* 1/18 (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3))))) in im 1.550 * [taylor]: Taking taylor expansion of (* 1/18 (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3)))) in im 1.550 * [taylor]: Taking taylor expansion of 1/18 in im 1.550 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3))) in im 1.550 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.550 * [taylor]: Taking taylor expansion of 0.5 in im 1.551 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3)) in im 1.551 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in im 1.551 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in im 1.551 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in im 1.551 * [taylor]: Taking taylor expansion of 1/6 in im 1.551 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in im 1.551 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.551 * [taylor]: Taking taylor expansion of (exp im) in im 1.551 * [taylor]: Taking taylor expansion of im in im 1.551 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.551 * [taylor]: Taking taylor expansion of (neg im) in im 1.551 * [taylor]: Taking taylor expansion of im in im 1.556 * [taylor]: Taking taylor expansion of (pow re 1/3) in im 1.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log re))) in im 1.556 * [taylor]: Taking taylor expansion of (* 1/3 (log re)) in im 1.556 * [taylor]: Taking taylor expansion of 1/3 in im 1.556 * [taylor]: Taking taylor expansion of (log re) in im 1.556 * [taylor]: Taking taylor expansion of re in im 1.575 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in (re im) around 0 1.575 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in im 1.575 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.575 * [taylor]: Taking taylor expansion of 0.5 in im 1.576 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6)) in im 1.576 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in im 1.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in im 1.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in im 1.576 * [taylor]: Taking taylor expansion of 1/3 in im 1.576 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in im 1.576 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.576 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.576 * [taylor]: Taking taylor expansion of re in im 1.576 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6) in im 1.576 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in im 1.576 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 1.576 * [taylor]: Taking taylor expansion of 1/6 in im 1.576 * [taylor]: Taking taylor expansion of (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 1.576 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.576 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.576 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.576 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.576 * [taylor]: Taking taylor expansion of im in im 1.577 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.577 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.577 * [taylor]: Taking taylor expansion of im in im 1.577 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in re 1.577 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.577 * [taylor]: Taking taylor expansion of 0.5 in re 1.578 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6)) in re 1.578 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in re 1.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in re 1.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in re 1.578 * [taylor]: Taking taylor expansion of 1/3 in re 1.578 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 1.578 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.578 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.578 * [taylor]: Taking taylor expansion of re in re 1.579 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6) in re 1.579 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in re 1.579 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 1.579 * [taylor]: Taking taylor expansion of 1/6 in re 1.579 * [taylor]: Taking taylor expansion of (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 1.579 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 1.579 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 1.579 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 1.579 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.579 * [taylor]: Taking taylor expansion of im in re 1.579 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.579 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.579 * [taylor]: Taking taylor expansion of im in re 1.579 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in re 1.579 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.579 * [taylor]: Taking taylor expansion of 0.5 in re 1.580 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6)) in re 1.580 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in re 1.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in re 1.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in re 1.580 * [taylor]: Taking taylor expansion of 1/3 in re 1.580 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 1.580 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.580 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.580 * [taylor]: Taking taylor expansion of re in re 1.581 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6) in re 1.581 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in re 1.581 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 1.581 * [taylor]: Taking taylor expansion of 1/6 in re 1.581 * [taylor]: Taking taylor expansion of (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 1.581 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 1.581 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 1.581 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 1.581 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.581 * [taylor]: Taking taylor expansion of im in re 1.581 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.581 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.581 * [taylor]: Taking taylor expansion of im in re 1.582 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in im 1.582 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.582 * [taylor]: Taking taylor expansion of 0.5 in im 1.583 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6)) in im 1.583 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in im 1.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in im 1.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in im 1.583 * [taylor]: Taking taylor expansion of 1/3 in im 1.583 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in im 1.583 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.583 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.583 * [taylor]: Taking taylor expansion of re in im 1.584 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6) in im 1.584 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in im 1.584 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 1.584 * [taylor]: Taking taylor expansion of 1/6 in im 1.584 * [taylor]: Taking taylor expansion of (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 1.584 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.584 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.584 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.584 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.584 * [taylor]: Taking taylor expansion of im in im 1.584 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.584 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.584 * [taylor]: Taking taylor expansion of im in im 1.591 * [taylor]: Taking taylor expansion of 0 in im 1.606 * [taylor]: Taking taylor expansion of 0 in im 1.627 * [taylor]: Taking taylor expansion of 0 in im 1.628 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in (re im) around 0 1.628 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in im 1.628 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.628 * [taylor]: Taking taylor expansion of 0.5 in im 1.628 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3)) in im 1.628 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) in im 1.629 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im)))))) in im 1.629 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im))))) in im 1.629 * [taylor]: Taking taylor expansion of 1/6 in im 1.629 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 im)) (exp (/ 1 im)))) in im 1.629 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.629 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.629 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.629 * [taylor]: Taking taylor expansion of -1 in im 1.629 * [taylor]: Taking taylor expansion of im in im 1.629 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.629 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.629 * [taylor]: Taking taylor expansion of im in im 1.630 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in im 1.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in im 1.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in im 1.630 * [taylor]: Taking taylor expansion of 1/3 in im 1.630 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in im 1.630 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.630 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.630 * [taylor]: Taking taylor expansion of -1 in im 1.630 * [taylor]: Taking taylor expansion of re in im 1.630 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in re 1.630 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.630 * [taylor]: Taking taylor expansion of 0.5 in re 1.631 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3)) in re 1.631 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) in re 1.631 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im)))))) in re 1.631 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im))))) in re 1.631 * [taylor]: Taking taylor expansion of 1/6 in re 1.631 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 im)) (exp (/ 1 im)))) in re 1.631 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.631 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.631 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.631 * [taylor]: Taking taylor expansion of -1 in re 1.631 * [taylor]: Taking taylor expansion of im in re 1.631 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.631 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.631 * [taylor]: Taking taylor expansion of im in re 1.631 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in re 1.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in re 1.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in re 1.632 * [taylor]: Taking taylor expansion of 1/3 in re 1.632 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 1.632 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.632 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.632 * [taylor]: Taking taylor expansion of -1 in re 1.632 * [taylor]: Taking taylor expansion of re in re 1.632 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in re 1.632 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.632 * [taylor]: Taking taylor expansion of 0.5 in re 1.633 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3)) in re 1.633 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) in re 1.633 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im)))))) in re 1.633 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im))))) in re 1.633 * [taylor]: Taking taylor expansion of 1/6 in re 1.633 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 im)) (exp (/ 1 im)))) in re 1.633 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.633 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.633 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.633 * [taylor]: Taking taylor expansion of -1 in re 1.633 * [taylor]: Taking taylor expansion of im in re 1.633 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.633 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.633 * [taylor]: Taking taylor expansion of im in re 1.634 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in re 1.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in re 1.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in re 1.634 * [taylor]: Taking taylor expansion of 1/3 in re 1.634 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 1.634 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.634 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.634 * [taylor]: Taking taylor expansion of -1 in re 1.634 * [taylor]: Taking taylor expansion of re in re 1.635 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in im 1.635 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.635 * [taylor]: Taking taylor expansion of 0.5 in im 1.636 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3)) in im 1.636 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) in im 1.636 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im)))))) in im 1.636 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im))))) in im 1.636 * [taylor]: Taking taylor expansion of 1/6 in im 1.636 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 im)) (exp (/ 1 im)))) in im 1.636 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.636 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.636 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.636 * [taylor]: Taking taylor expansion of -1 in im 1.636 * [taylor]: Taking taylor expansion of im in im 1.636 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.636 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.636 * [taylor]: Taking taylor expansion of im in im 1.637 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in im 1.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in im 1.637 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in im 1.637 * [taylor]: Taking taylor expansion of 1/3 in im 1.637 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in im 1.637 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.637 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.637 * [taylor]: Taking taylor expansion of -1 in im 1.637 * [taylor]: Taking taylor expansion of re in im 1.646 * [taylor]: Taking taylor expansion of 0 in im 1.659 * [taylor]: Taking taylor expansion of 0 in im 1.680 * [taylor]: Taking taylor expansion of 0 in im 1.680 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.681 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) in (re im) around 0 1.681 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) in im 1.681 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.681 * [taylor]: Taking taylor expansion of 0.5 in im 1.681 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3)) in im 1.681 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in im 1.681 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in im 1.681 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in im 1.681 * [taylor]: Taking taylor expansion of 1/6 in im 1.682 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in im 1.682 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.682 * [taylor]: Taking taylor expansion of (exp im) in im 1.682 * [taylor]: Taking taylor expansion of im in im 1.682 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.682 * [taylor]: Taking taylor expansion of (neg im) in im 1.682 * [taylor]: Taking taylor expansion of im in im 1.684 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in im 1.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in im 1.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in im 1.684 * [taylor]: Taking taylor expansion of 1/3 in im 1.684 * [taylor]: Taking taylor expansion of (log (sin re)) in im 1.684 * [taylor]: Taking taylor expansion of (sin re) in im 1.684 * [taylor]: Taking taylor expansion of re in im 1.685 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) in re 1.685 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.685 * [taylor]: Taking taylor expansion of 0.5 in re 1.685 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3)) in re 1.685 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in re 1.685 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in re 1.685 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in re 1.685 * [taylor]: Taking taylor expansion of 1/6 in re 1.685 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in re 1.685 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 1.685 * [taylor]: Taking taylor expansion of (exp im) in re 1.685 * [taylor]: Taking taylor expansion of im in re 1.685 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 1.685 * [taylor]: Taking taylor expansion of (neg im) in re 1.685 * [taylor]: Taking taylor expansion of im in re 1.686 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in re 1.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in re 1.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in re 1.686 * [taylor]: Taking taylor expansion of 1/3 in re 1.686 * [taylor]: Taking taylor expansion of (log (sin re)) in re 1.686 * [taylor]: Taking taylor expansion of (sin re) in re 1.686 * [taylor]: Taking taylor expansion of re in re 1.687 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) in re 1.687 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.687 * [taylor]: Taking taylor expansion of 0.5 in re 1.688 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3)) in re 1.688 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in re 1.688 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in re 1.688 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in re 1.688 * [taylor]: Taking taylor expansion of 1/6 in re 1.688 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in re 1.688 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 1.688 * [taylor]: Taking taylor expansion of (exp im) in re 1.688 * [taylor]: Taking taylor expansion of im in re 1.688 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 1.688 * [taylor]: Taking taylor expansion of (neg im) in re 1.688 * [taylor]: Taking taylor expansion of im in re 1.688 * [taylor]: Taking taylor expansion of (pow (sin re) 1/3) in re 1.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin re)))) in re 1.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin re))) in re 1.688 * [taylor]: Taking taylor expansion of 1/3 in re 1.688 * [taylor]: Taking taylor expansion of (log (sin re)) in re 1.688 * [taylor]: Taking taylor expansion of (sin re) in re 1.688 * [taylor]: Taking taylor expansion of re in re 1.690 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3))) in im 1.690 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.690 * [taylor]: Taking taylor expansion of 0.5 in im 1.690 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3)) in im 1.690 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in im 1.691 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in im 1.691 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in im 1.691 * [taylor]: Taking taylor expansion of 1/6 in im 1.691 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in im 1.691 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.691 * [taylor]: Taking taylor expansion of (exp im) in im 1.691 * [taylor]: Taking taylor expansion of im in im 1.691 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.691 * [taylor]: Taking taylor expansion of (neg im) in im 1.691 * [taylor]: Taking taylor expansion of im in im 1.693 * [taylor]: Taking taylor expansion of (pow re 1/3) in im 1.693 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log re))) in im 1.693 * [taylor]: Taking taylor expansion of (* 1/3 (log re)) in im 1.693 * [taylor]: Taking taylor expansion of 1/3 in im 1.693 * [taylor]: Taking taylor expansion of (log re) in im 1.693 * [taylor]: Taking taylor expansion of re in im 1.700 * [taylor]: Taking taylor expansion of 0 in im 1.716 * [taylor]: Taking taylor expansion of (neg (* 1/18 (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3))))) in im 1.717 * [taylor]: Taking taylor expansion of (* 1/18 (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3)))) in im 1.717 * [taylor]: Taking taylor expansion of 1/18 in im 1.717 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3))) in im 1.717 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.717 * [taylor]: Taking taylor expansion of 0.5 in im 1.717 * [taylor]: Taking taylor expansion of (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow re 1/3)) in im 1.717 * [taylor]: Taking taylor expansion of (pow (+ (exp im) (exp (neg im))) 1/6) in im 1.717 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp im) (exp (neg im)))))) in im 1.717 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp im) (exp (neg im))))) in im 1.717 * [taylor]: Taking taylor expansion of 1/6 in im 1.717 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in im 1.717 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.717 * [taylor]: Taking taylor expansion of (exp im) in im 1.717 * [taylor]: Taking taylor expansion of im in im 1.718 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.718 * [taylor]: Taking taylor expansion of (neg im) in im 1.718 * [taylor]: Taking taylor expansion of im in im 1.720 * [taylor]: Taking taylor expansion of (pow re 1/3) in im 1.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log re))) in im 1.720 * [taylor]: Taking taylor expansion of (* 1/3 (log re)) in im 1.720 * [taylor]: Taking taylor expansion of 1/3 in im 1.720 * [taylor]: Taking taylor expansion of (log re) in im 1.720 * [taylor]: Taking taylor expansion of re in im 1.742 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in (re im) around 0 1.742 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in im 1.742 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.742 * [taylor]: Taking taylor expansion of 0.5 in im 1.742 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6)) in im 1.742 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in im 1.742 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in im 1.742 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in im 1.742 * [taylor]: Taking taylor expansion of 1/3 in im 1.742 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in im 1.742 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.743 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.743 * [taylor]: Taking taylor expansion of re in im 1.743 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6) in im 1.743 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in im 1.743 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 1.743 * [taylor]: Taking taylor expansion of 1/6 in im 1.743 * [taylor]: Taking taylor expansion of (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 1.743 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.743 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.743 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.743 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.743 * [taylor]: Taking taylor expansion of im in im 1.744 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.744 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.744 * [taylor]: Taking taylor expansion of im in im 1.744 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in re 1.744 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.744 * [taylor]: Taking taylor expansion of 0.5 in re 1.745 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6)) in re 1.745 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in re 1.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in re 1.745 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in re 1.745 * [taylor]: Taking taylor expansion of 1/3 in re 1.745 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 1.745 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.745 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.745 * [taylor]: Taking taylor expansion of re in re 1.746 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6) in re 1.746 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in re 1.746 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 1.746 * [taylor]: Taking taylor expansion of 1/6 in re 1.746 * [taylor]: Taking taylor expansion of (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 1.746 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 1.746 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 1.746 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 1.746 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.746 * [taylor]: Taking taylor expansion of im in re 1.746 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.746 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.746 * [taylor]: Taking taylor expansion of im in re 1.746 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in re 1.746 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.746 * [taylor]: Taking taylor expansion of 0.5 in re 1.747 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6)) in re 1.747 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in re 1.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in re 1.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in re 1.747 * [taylor]: Taking taylor expansion of 1/3 in re 1.747 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 1.747 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.747 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.747 * [taylor]: Taking taylor expansion of re in re 1.748 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6) in re 1.748 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in re 1.748 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 1.748 * [taylor]: Taking taylor expansion of 1/6 in re 1.748 * [taylor]: Taking taylor expansion of (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 1.748 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 1.748 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 1.748 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 1.748 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.748 * [taylor]: Taking taylor expansion of im in re 1.748 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.748 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.748 * [taylor]: Taking taylor expansion of im in re 1.749 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6))) in im 1.749 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.749 * [taylor]: Taking taylor expansion of 0.5 in im 1.750 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 1/3) (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6)) in im 1.750 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 1/3) in im 1.750 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 re))))) in im 1.750 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 re)))) in im 1.750 * [taylor]: Taking taylor expansion of 1/3 in im 1.750 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in im 1.750 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.750 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.750 * [taylor]: Taking taylor expansion of re in im 1.750 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) 1/6) in im 1.750 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in im 1.750 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 1.750 * [taylor]: Taking taylor expansion of 1/6 in im 1.750 * [taylor]: Taking taylor expansion of (log (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 1.750 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.750 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.750 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.750 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.750 * [taylor]: Taking taylor expansion of im in im 1.751 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.751 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.751 * [taylor]: Taking taylor expansion of im in im 1.758 * [taylor]: Taking taylor expansion of 0 in im 1.772 * [taylor]: Taking taylor expansion of 0 in im 1.794 * [taylor]: Taking taylor expansion of 0 in im 1.794 * [approximate]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in (re im) around 0 1.794 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in im 1.795 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.795 * [taylor]: Taking taylor expansion of 0.5 in im 1.795 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3)) in im 1.795 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) in im 1.795 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im)))))) in im 1.795 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im))))) in im 1.795 * [taylor]: Taking taylor expansion of 1/6 in im 1.795 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 im)) (exp (/ 1 im)))) in im 1.795 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.795 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.795 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.795 * [taylor]: Taking taylor expansion of -1 in im 1.795 * [taylor]: Taking taylor expansion of im in im 1.796 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.796 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.796 * [taylor]: Taking taylor expansion of im in im 1.796 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in im 1.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in im 1.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in im 1.796 * [taylor]: Taking taylor expansion of 1/3 in im 1.796 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in im 1.796 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.796 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.796 * [taylor]: Taking taylor expansion of -1 in im 1.797 * [taylor]: Taking taylor expansion of re in im 1.797 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in re 1.797 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.797 * [taylor]: Taking taylor expansion of 0.5 in re 1.798 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3)) in re 1.798 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) in re 1.798 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im)))))) in re 1.798 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im))))) in re 1.798 * [taylor]: Taking taylor expansion of 1/6 in re 1.798 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 im)) (exp (/ 1 im)))) in re 1.798 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.798 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.798 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.798 * [taylor]: Taking taylor expansion of -1 in re 1.798 * [taylor]: Taking taylor expansion of im in re 1.798 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.798 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.798 * [taylor]: Taking taylor expansion of im in re 1.798 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in re 1.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in re 1.798 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in re 1.798 * [taylor]: Taking taylor expansion of 1/3 in re 1.798 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 1.798 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.798 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.798 * [taylor]: Taking taylor expansion of -1 in re 1.798 * [taylor]: Taking taylor expansion of re in re 1.799 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in re 1.799 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.799 * [taylor]: Taking taylor expansion of 0.5 in re 1.799 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3)) in re 1.800 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) in re 1.800 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im)))))) in re 1.800 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im))))) in re 1.800 * [taylor]: Taking taylor expansion of 1/6 in re 1.800 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 im)) (exp (/ 1 im)))) in re 1.800 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.800 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.800 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.800 * [taylor]: Taking taylor expansion of -1 in re 1.800 * [taylor]: Taking taylor expansion of im in re 1.800 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.800 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.800 * [taylor]: Taking taylor expansion of im in re 1.800 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in re 1.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in re 1.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in re 1.800 * [taylor]: Taking taylor expansion of 1/3 in re 1.800 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 1.800 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.800 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.800 * [taylor]: Taking taylor expansion of -1 in re 1.800 * [taylor]: Taking taylor expansion of re in re 1.801 * [taylor]: Taking taylor expansion of (* (cbrt 0.5) (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3))) in im 1.801 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.802 * [taylor]: Taking taylor expansion of 0.5 in im 1.802 * [taylor]: Taking taylor expansion of (* (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) (pow (sin (/ -1 re)) 1/3)) in im 1.802 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 im)) (exp (/ 1 im))) 1/6) in im 1.802 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im)))))) in im 1.802 * [taylor]: Taking taylor expansion of (* 1/6 (log (+ (exp (/ -1 im)) (exp (/ 1 im))))) in im 1.802 * [taylor]: Taking taylor expansion of 1/6 in im 1.802 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 im)) (exp (/ 1 im)))) in im 1.802 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.802 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.802 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.802 * [taylor]: Taking taylor expansion of -1 in im 1.802 * [taylor]: Taking taylor expansion of im in im 1.803 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.803 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.803 * [taylor]: Taking taylor expansion of im in im 1.803 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 1/3) in im 1.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 re))))) in im 1.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 re)))) in im 1.803 * [taylor]: Taking taylor expansion of 1/3 in im 1.803 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in im 1.803 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.803 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.803 * [taylor]: Taking taylor expansion of -1 in im 1.803 * [taylor]: Taking taylor expansion of re in im 1.810 * [taylor]: Taking taylor expansion of 0 in im 1.828 * [taylor]: Taking taylor expansion of 0 in im 1.848 * [taylor]: Taking taylor expansion of 0 in im 1.849 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1.849 * [approximate]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (+ (exp im) (exp (neg im))) (pow (sin re) 2)) 1/3)) in (re im) around 0 1.849 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (+ (exp im) (exp (neg im))) (pow (sin re) 2)) 1/3)) in im 1.849 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in im 1.849 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.849 * [taylor]: Taking taylor expansion of 0.5 in im 1.850 * [taylor]: Taking taylor expansion of (pow (* (+ (exp im) (exp (neg im))) (pow (sin re) 2)) 1/3) in im 1.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp im) (exp (neg im))) (pow (sin re) 2))))) in im 1.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp im) (exp (neg im))) (pow (sin re) 2)))) in im 1.850 * [taylor]: Taking taylor expansion of 1/3 in im 1.850 * [taylor]: Taking taylor expansion of (log (* (+ (exp im) (exp (neg im))) (pow (sin re) 2))) in im 1.850 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (pow (sin re) 2)) in im 1.850 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.850 * [taylor]: Taking taylor expansion of (exp im) in im 1.850 * [taylor]: Taking taylor expansion of im in im 1.850 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.850 * [taylor]: Taking taylor expansion of (neg im) in im 1.850 * [taylor]: Taking taylor expansion of im in im 1.851 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in im 1.851 * [taylor]: Taking taylor expansion of (sin re) in im 1.851 * [taylor]: Taking taylor expansion of re in im 1.852 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (+ (exp im) (exp (neg im))) (pow (sin re) 2)) 1/3)) in re 1.852 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in re 1.852 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.852 * [taylor]: Taking taylor expansion of 0.5 in re 1.852 * [taylor]: Taking taylor expansion of (pow (* (+ (exp im) (exp (neg im))) (pow (sin re) 2)) 1/3) in re 1.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp im) (exp (neg im))) (pow (sin re) 2))))) in re 1.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp im) (exp (neg im))) (pow (sin re) 2)))) in re 1.852 * [taylor]: Taking taylor expansion of 1/3 in re 1.852 * [taylor]: Taking taylor expansion of (log (* (+ (exp im) (exp (neg im))) (pow (sin re) 2))) in re 1.852 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (pow (sin re) 2)) in re 1.852 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 1.852 * [taylor]: Taking taylor expansion of (exp im) in re 1.852 * [taylor]: Taking taylor expansion of im in re 1.852 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 1.852 * [taylor]: Taking taylor expansion of (neg im) in re 1.852 * [taylor]: Taking taylor expansion of im in re 1.853 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in re 1.853 * [taylor]: Taking taylor expansion of (sin re) in re 1.853 * [taylor]: Taking taylor expansion of re in re 1.854 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (+ (exp im) (exp (neg im))) (pow (sin re) 2)) 1/3)) in re 1.854 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in re 1.854 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.854 * [taylor]: Taking taylor expansion of 0.5 in re 1.855 * [taylor]: Taking taylor expansion of (pow (* (+ (exp im) (exp (neg im))) (pow (sin re) 2)) 1/3) in re 1.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp im) (exp (neg im))) (pow (sin re) 2))))) in re 1.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp im) (exp (neg im))) (pow (sin re) 2)))) in re 1.855 * [taylor]: Taking taylor expansion of 1/3 in re 1.855 * [taylor]: Taking taylor expansion of (log (* (+ (exp im) (exp (neg im))) (pow (sin re) 2))) in re 1.855 * [taylor]: Taking taylor expansion of (* (+ (exp im) (exp (neg im))) (pow (sin re) 2)) in re 1.855 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in re 1.855 * [taylor]: Taking taylor expansion of (exp im) in re 1.855 * [taylor]: Taking taylor expansion of im in re 1.855 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 1.855 * [taylor]: Taking taylor expansion of (neg im) in re 1.855 * [taylor]: Taking taylor expansion of im in re 1.855 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in re 1.855 * [taylor]: Taking taylor expansion of (sin re) in re 1.855 * [taylor]: Taking taylor expansion of re in re 1.858 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re)))))) in im 1.858 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in im 1.858 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.858 * [taylor]: Taking taylor expansion of 0.5 in im 1.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))))) in im 1.859 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re)))) in im 1.859 * [taylor]: Taking taylor expansion of 1/3 in im 1.859 * [taylor]: Taking taylor expansion of (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))) in im 1.859 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in im 1.859 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.859 * [taylor]: Taking taylor expansion of (exp im) in im 1.859 * [taylor]: Taking taylor expansion of im in im 1.859 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.859 * [taylor]: Taking taylor expansion of (neg im) in im 1.859 * [taylor]: Taking taylor expansion of im in im 1.860 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im 1.860 * [taylor]: Taking taylor expansion of 2 in im 1.860 * [taylor]: Taking taylor expansion of (log re) in im 1.860 * [taylor]: Taking taylor expansion of re in im 1.869 * [taylor]: Taking taylor expansion of 0 in im 1.884 * [taylor]: Taking taylor expansion of (neg (+ (* 1/9 (/ (* (pow (cbrt 0.5) 2) (* (exp im) (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))))))) (+ (exp im) (exp (neg im))))) (* 1/9 (/ (* (pow (cbrt 0.5) 2) (* (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))))) (exp (neg im)))) (+ (exp im) (exp (neg im))))))) in im 1.884 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ (* (pow (cbrt 0.5) 2) (* (exp im) (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))))))) (+ (exp im) (exp (neg im))))) (* 1/9 (/ (* (pow (cbrt 0.5) 2) (* (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))))) (exp (neg im)))) (+ (exp im) (exp (neg im)))))) in im 1.884 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (pow (cbrt 0.5) 2) (* (exp im) (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))))))) (+ (exp im) (exp (neg im))))) in im 1.884 * [taylor]: Taking taylor expansion of 1/9 in im 1.884 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 0.5) 2) (* (exp im) (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))))))) (+ (exp im) (exp (neg im)))) in im 1.884 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (* (exp im) (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))))))) in im 1.884 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in im 1.884 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.884 * [taylor]: Taking taylor expansion of 0.5 in im 1.885 * [taylor]: Taking taylor expansion of (* (exp im) (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re)))))) in im 1.885 * [taylor]: Taking taylor expansion of (exp im) in im 1.885 * [taylor]: Taking taylor expansion of im in im 1.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))))) in im 1.885 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re)))) in im 1.885 * [taylor]: Taking taylor expansion of 1/3 in im 1.885 * [taylor]: Taking taylor expansion of (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))) in im 1.885 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in im 1.885 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.885 * [taylor]: Taking taylor expansion of (exp im) in im 1.885 * [taylor]: Taking taylor expansion of im in im 1.885 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.885 * [taylor]: Taking taylor expansion of (neg im) in im 1.885 * [taylor]: Taking taylor expansion of im in im 1.886 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im 1.886 * [taylor]: Taking taylor expansion of 2 in im 1.886 * [taylor]: Taking taylor expansion of (log re) in im 1.886 * [taylor]: Taking taylor expansion of re in im 1.887 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.887 * [taylor]: Taking taylor expansion of (exp im) in im 1.887 * [taylor]: Taking taylor expansion of im in im 1.887 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.887 * [taylor]: Taking taylor expansion of (neg im) in im 1.887 * [taylor]: Taking taylor expansion of im in im 1.891 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (pow (cbrt 0.5) 2) (* (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))))) (exp (neg im)))) (+ (exp im) (exp (neg im))))) in im 1.891 * [taylor]: Taking taylor expansion of 1/9 in im 1.891 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 0.5) 2) (* (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))))) (exp (neg im)))) (+ (exp im) (exp (neg im)))) in im 1.891 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (* (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))))) (exp (neg im)))) in im 1.891 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in im 1.891 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.891 * [taylor]: Taking taylor expansion of 0.5 in im 1.891 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))))) (exp (neg im))) in im 1.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))))) in im 1.891 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re)))) in im 1.891 * [taylor]: Taking taylor expansion of 1/3 in im 1.891 * [taylor]: Taking taylor expansion of (+ (log (+ (exp im) (exp (neg im)))) (* 2 (log re))) in im 1.891 * [taylor]: Taking taylor expansion of (log (+ (exp im) (exp (neg im)))) in im 1.891 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.891 * [taylor]: Taking taylor expansion of (exp im) in im 1.892 * [taylor]: Taking taylor expansion of im in im 1.892 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.892 * [taylor]: Taking taylor expansion of (neg im) in im 1.892 * [taylor]: Taking taylor expansion of im in im 1.892 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im 1.892 * [taylor]: Taking taylor expansion of 2 in im 1.893 * [taylor]: Taking taylor expansion of (log re) in im 1.893 * [taylor]: Taking taylor expansion of re in im 1.893 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.893 * [taylor]: Taking taylor expansion of (neg im) in im 1.893 * [taylor]: Taking taylor expansion of im in im 1.894 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (neg im))) in im 1.894 * [taylor]: Taking taylor expansion of (exp im) in im 1.894 * [taylor]: Taking taylor expansion of im in im 1.894 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.894 * [taylor]: Taking taylor expansion of (neg im) in im 1.894 * [taylor]: Taking taylor expansion of im in im 1.922 * [approximate]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) 1/3)) in (re im) around 0 1.922 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) 1/3)) in im 1.922 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in im 1.922 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.922 * [taylor]: Taking taylor expansion of 0.5 in im 1.923 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) 1/3) in im 1.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))))) in im 1.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in im 1.923 * [taylor]: Taking taylor expansion of 1/3 in im 1.923 * [taylor]: Taking taylor expansion of (log (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 1.923 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 1.923 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in im 1.923 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.923 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.923 * [taylor]: Taking taylor expansion of re in im 1.924 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.924 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.924 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.924 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.924 * [taylor]: Taking taylor expansion of im in im 1.924 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.924 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.924 * [taylor]: Taking taylor expansion of im in im 1.925 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) 1/3)) in re 1.925 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in re 1.925 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.925 * [taylor]: Taking taylor expansion of 0.5 in re 1.926 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) 1/3) in re 1.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))))) in re 1.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in re 1.926 * [taylor]: Taking taylor expansion of 1/3 in re 1.926 * [taylor]: Taking taylor expansion of (log (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 1.926 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 1.926 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in re 1.926 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.926 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.926 * [taylor]: Taking taylor expansion of re in re 1.927 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 1.927 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 1.927 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 1.927 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.927 * [taylor]: Taking taylor expansion of im in re 1.927 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.927 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.927 * [taylor]: Taking taylor expansion of im in re 1.928 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) 1/3)) in re 1.928 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in re 1.928 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.928 * [taylor]: Taking taylor expansion of 0.5 in re 1.928 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) 1/3) in re 1.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))))) in re 1.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in re 1.929 * [taylor]: Taking taylor expansion of 1/3 in re 1.929 * [taylor]: Taking taylor expansion of (log (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 1.929 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 1.929 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in re 1.929 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.929 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.929 * [taylor]: Taking taylor expansion of re in re 1.929 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 1.929 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 1.929 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 1.929 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.929 * [taylor]: Taking taylor expansion of im in re 1.929 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.929 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.929 * [taylor]: Taking taylor expansion of im in re 1.932 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) 1/3)) in im 1.932 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in im 1.932 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.932 * [taylor]: Taking taylor expansion of 0.5 in im 1.932 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) 1/3) in im 1.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))))) in im 1.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))))) in im 1.932 * [taylor]: Taking taylor expansion of 1/3 in im 1.932 * [taylor]: Taking taylor expansion of (log (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 1.933 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 re)) 2) (+ (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 1.933 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in im 1.933 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.933 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.933 * [taylor]: Taking taylor expansion of re in im 1.933 * [taylor]: Taking taylor expansion of (+ (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.933 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.933 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.933 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.933 * [taylor]: Taking taylor expansion of im in im 1.933 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.933 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.933 * [taylor]: Taking taylor expansion of im in im 1.942 * [taylor]: Taking taylor expansion of 0 in im 1.954 * [taylor]: Taking taylor expansion of 0 in im 1.973 * [taylor]: Taking taylor expansion of 0 in im 1.975 * [approximate]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)) 1/3)) in (re im) around 0 1.975 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)) 1/3)) in im 1.975 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in im 1.975 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.975 * [taylor]: Taking taylor expansion of 0.5 in im 1.975 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)) 1/3) in im 1.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2))))) in im 1.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)))) in im 1.975 * [taylor]: Taking taylor expansion of 1/3 in im 1.975 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2))) in im 1.976 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)) in im 1.976 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.976 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.976 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.976 * [taylor]: Taking taylor expansion of -1 in im 1.976 * [taylor]: Taking taylor expansion of im in im 1.976 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.976 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.976 * [taylor]: Taking taylor expansion of im in im 1.976 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in im 1.976 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.976 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.976 * [taylor]: Taking taylor expansion of -1 in im 1.976 * [taylor]: Taking taylor expansion of re in im 1.977 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)) 1/3)) in re 1.977 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in re 1.977 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.977 * [taylor]: Taking taylor expansion of 0.5 in re 1.978 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)) 1/3) in re 1.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2))))) in re 1.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)))) in re 1.978 * [taylor]: Taking taylor expansion of 1/3 in re 1.978 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2))) in re 1.978 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)) in re 1.978 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.978 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.978 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.978 * [taylor]: Taking taylor expansion of -1 in re 1.978 * [taylor]: Taking taylor expansion of im in re 1.978 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.979 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.979 * [taylor]: Taking taylor expansion of im in re 1.979 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in re 1.979 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.979 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.979 * [taylor]: Taking taylor expansion of -1 in re 1.979 * [taylor]: Taking taylor expansion of re in re 1.980 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)) 1/3)) in re 1.980 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in re 1.980 * [taylor]: Taking taylor expansion of (cbrt 0.5) in re 1.980 * [taylor]: Taking taylor expansion of 0.5 in re 1.981 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)) 1/3) in re 1.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2))))) in re 1.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)))) in re 1.981 * [taylor]: Taking taylor expansion of 1/3 in re 1.981 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2))) in re 1.981 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)) in re 1.981 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 1.981 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.981 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.981 * [taylor]: Taking taylor expansion of -1 in re 1.981 * [taylor]: Taking taylor expansion of im in re 1.981 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.981 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.981 * [taylor]: Taking taylor expansion of im in re 1.981 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in re 1.981 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.981 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.981 * [taylor]: Taking taylor expansion of -1 in re 1.981 * [taylor]: Taking taylor expansion of re in re 1.984 * [taylor]: Taking taylor expansion of (* (pow (cbrt 0.5) 2) (pow (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)) 1/3)) in im 1.984 * [taylor]: Taking taylor expansion of (pow (cbrt 0.5) 2) in im 1.984 * [taylor]: Taking taylor expansion of (cbrt 0.5) in im 1.984 * [taylor]: Taking taylor expansion of 0.5 in im 1.984 * [taylor]: Taking taylor expansion of (pow (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)) 1/3) in im 1.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2))))) in im 1.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)))) in im 1.984 * [taylor]: Taking taylor expansion of 1/3 in im 1.984 * [taylor]: Taking taylor expansion of (log (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2))) in im 1.984 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (pow (sin (/ -1 re)) 2)) in im 1.985 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 1.985 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.985 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.985 * [taylor]: Taking taylor expansion of -1 in im 1.985 * [taylor]: Taking taylor expansion of im in im 1.985 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.985 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.985 * [taylor]: Taking taylor expansion of im in im 1.985 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in im 1.985 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.985 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.985 * [taylor]: Taking taylor expansion of -1 in im 1.986 * [taylor]: Taking taylor expansion of re in im 1.998 * [taylor]: Taking taylor expansion of 0 in im 2.010 * [taylor]: Taking taylor expansion of 0 in im 2.028 * [taylor]: Taking taylor expansion of 0 in im 2.029 * * * [progress]: simplifying candidates 2.030 * [simplify]: Simplifying using # : (log (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (exp (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* 0.5 (sin re))) (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))))) (cbrt (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))))) (cbrt (sqrt (- (exp (- 0.0 im)) (exp im)))) (* (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (log (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (exp (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* 0.5 (sin re))) (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))))) (cbrt (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))))) (cbrt (sqrt (- (exp (- 0.0 im)) (exp im)))) (* (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (log (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (exp (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* 0.5 (sin re))) (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))))) (cbrt (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))))) (cbrt (sqrt (- (exp (- 0.0 im)) (exp im)))) (* (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (+ 1/3 1/3) (+ 1 1) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (+ 1 1) (+ (log (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (log (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (log (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (exp (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (cbrt (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (cbrt (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))))) (cbrt (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (* (* (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (sqrt (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (sqrt (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))))) (* (cbrt (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (cbrt (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))))) (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))))) (* (cbrt (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (cbrt (sqrt (- (exp (- 0.0 im)) (exp im))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))))) (* (cbrt (sqrt (- (exp (- 0.0 im)) (exp im)))) (cbrt (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))))) (* (cbrt (sqrt (- (exp (- 0.0 im)) (exp im)))) (cbrt (sqrt (- (exp (- 0.0 im)) (exp im))))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (* (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (* (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))))) (* (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (* (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (* (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (* 1 1) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (* (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (* 2 1/3) (* 2 1) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* 0.5 (sin re)))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) 1) (* (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (- (+ (* (cbrt 0.5) (* (pow re 1/3) (pow 2 1/6))) (* 1/12 (* (* (cbrt 0.5) (pow im 2)) (* (pow 2 1/6) (pow re 1/3))))) (* 1/18 (* (cbrt 0.5) (* (pow (pow re 7) 1/3) (pow 2 1/6))))) (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) (* (cbrt 0.5) (* (pow (+ (exp (* -1 im)) (exp im)) 1/6) (pow (sin re) 1/3))) (- (+ (* (cbrt 0.5) (* (pow re 1/3) (pow 2 1/6))) (* 1/12 (* (* (cbrt 0.5) (pow im 2)) (* (pow 2 1/6) (pow re 1/3))))) (* 1/18 (* (cbrt 0.5) (* (pow (pow re 7) 1/3) (pow 2 1/6))))) (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) (* (cbrt 0.5) (* (pow (+ (exp (* -1 im)) (exp im)) 1/6) (pow (sin re) 1/3))) (- (+ (* (cbrt 0.5) (* (pow re 1/3) (pow 2 1/6))) (* 1/12 (* (* (cbrt 0.5) (pow im 2)) (* (pow 2 1/6) (pow re 1/3))))) (* 1/18 (* (cbrt 0.5) (* (pow (pow re 7) 1/3) (pow 2 1/6))))) (* (cbrt 0.5) (* (pow (+ (exp im) (exp (neg im))) 1/6) (pow (sin re) 1/3))) (* (cbrt 0.5) (* (pow (+ (exp (* -1 im)) (exp im)) 1/6) (pow (sin re) 1/3))) (- (+ (* 1/6 (* (pow (cbrt 0.5) 2) (* (exp (* 1/3 (+ (log 2) (* 2 (log re))))) (pow im 2)))) (* (pow (cbrt 0.5) 2) (exp (* 1/3 (+ (log 2) (* 2 (log re))))))) (* 1/9 (* (pow (cbrt 0.5) 2) (* (pow re 2) (exp (* 1/3 (+ (log 2) (* 2 (log re))))))))) (* (pow (cbrt 0.5) 2) (pow (* (+ (exp im) (exp (neg im))) (pow (sin re) 2)) 1/3)) (* (pow (cbrt 0.5) 2) (pow (* (+ (exp (* -1 im)) (exp im)) (pow (sin re) 2)) 1/3)) 2.038 * * [simplify]: iteration 0 : 330 enodes (cost 1459 ) 2.044 * * [simplify]: iteration 1 : 1118 enodes (cost 1296 ) 2.067 * * [simplify]: iteration 2 : 5002 enodes (cost 1217 ) 2.072 * [simplify]: Simplified to: (log (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (exp (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* 0.5 (sin re))) (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))))) (cbrt (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))))) (cbrt (sqrt (- (exp (- 0.0 im)) (exp im)))) (* (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (log (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (exp (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* 0.5 (sin re))) (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))))) (cbrt (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))))) (cbrt (sqrt (- (exp (- 0.0 im)) (exp im)))) (* (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (log (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (exp (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (* 0.5 (sin re))) (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))))) (cbrt (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))))) (cbrt (sqrt (- (exp (- 0.0 im)) (exp im)))) (* (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) 2/3 2 (* (+ (exp (- 0.0 im)) (exp im)) (* (pow (sin re) 2) (* 0.5 0.5))) (pow (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) 4) 2 (* 2 (log (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (* 2 (log (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (pow (exp 1) (pow (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) 4)) (* (+ (exp (- 0.0 im)) (exp im)) (* (pow (sin re) 2) (* 0.5 0.5))) (* (cbrt (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (cbrt (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))))) (cbrt (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (* (+ (exp (- 0.0 im)) (exp im)) (* (pow (sin re) 2) (* 0.5 0.5))) (fabs (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (fabs (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))))) (* (cbrt (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (cbrt (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))))) (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))))) (* (cbrt (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (cbrt (sqrt (- (exp (- 0.0 im)) (exp im))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))))) (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))))) (* (cbrt (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (cbrt (sqrt (- (exp (- 0.0 im)) (exp im))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))))) (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))))) (* (cbrt (sqrt (- (exp (- 0.0 im)) (exp im)))) (cbrt (sqrt (- (exp (- 0.0 im)) (exp im))))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im))))) (pow (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) 4) (* (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) 1 (pow (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) 4) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) 2/3 2 (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* 0.5 (sin re)))) (* (pow (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) 4) (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))))) (pow (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) 3) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (* (cbrt (sqrt (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) (pow (cbrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) 4) (pow (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) 3) (pow (sqrt (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))))) 4) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))))) (* (cbrt (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))))))) (+ (* -1/18 (* (cbrt 0.5) (* (pow (pow re 7) 1/3) (pow 2 1/6)))) (* (* (pow re 1/3) (pow 2 1/6)) (+ (* 1/12 (* (cbrt 0.5) (pow im 2))) (cbrt 0.5)))) (* (cbrt 0.5) (* (pow (+ (exp (* -1 im)) (exp im)) 1/6) (pow (sin re) 1/3))) (* (cbrt 0.5) (* (pow (+ (exp (* -1 im)) (exp im)) 1/6) (pow (sin re) 1/3))) (+ (* -1/18 (* (cbrt 0.5) (* (pow (pow re 7) 1/3) (pow 2 1/6)))) (* (* (pow re 1/3) (pow 2 1/6)) (+ (* 1/12 (* (cbrt 0.5) (pow im 2))) (cbrt 0.5)))) (* (cbrt 0.5) (* (pow (+ (exp (* -1 im)) (exp im)) 1/6) (pow (sin re) 1/3))) (* (cbrt 0.5) (* (pow (+ (exp (* -1 im)) (exp im)) 1/6) (pow (sin re) 1/3))) (+ (* -1/18 (* (cbrt 0.5) (* (pow (pow re 7) 1/3) (pow 2 1/6)))) (* (* (pow re 1/3) (pow 2 1/6)) (+ (* 1/12 (* (cbrt 0.5) (pow im 2))) (cbrt 0.5)))) (* (cbrt 0.5) (* (pow (+ (exp (* -1 im)) (exp im)) 1/6) (pow (sin re) 1/3))) (* (cbrt 0.5) (* (pow (+ (exp (* -1 im)) (exp im)) 1/6) (pow (sin re) 1/3))) (+ (+ (* (neg (* (* 1/9 (pow (cbrt 0.5) 2)) (pow re 2))) (* (pow re 2/3) (pow 2 1/3))) (* (pow (cbrt 0.5) 2) (exp (* 1/3 (+ (log 2) (* 2 (log re))))))) (* 1/6 (* (pow (cbrt 0.5) 2) (* (exp (* 1/3 (+ (log 2) (* 2 (log re))))) (pow im 2))))) (* (pow (cbrt 0.5) 2) (pow (* (+ (exp (* -1 im)) (exp im)) (pow (sin re) 2)) 1/3)) (* (pow (cbrt 0.5) 2) (pow (* (+ (exp (* -1 im)) (exp im)) (pow (sin re) 2)) 1/3)) 2.073 * * * [progress]: adding candidates to table 2.361 * [progress]: [Phase 3 of 3] Extracting. 2.361 * * [regime]: Finding splitpoints for: (# # # # #) 2.363 * * * [regime-changes]: Trying 6 branch expressions: ((+ (exp (- 0.0 im)) (exp im)) (sin re) (* 0.5 (sin re)) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) im re) 2.363 * * * * [regimes]: Trying to branch on (+ (exp (- 0.0 im)) (exp im)) from (# # # # #) 2.390 * * * * [regimes]: Trying to branch on (sin re) from (# # # # #) 2.416 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# # # # #) 2.445 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# # # #) 2.470 * * * * [regimes]: Trying to branch on (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) from (# # # # #) 2.502 * * * * [regimes]: Trying to branch on (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) from (# #) 2.528 * * * * [regimes]: Trying to branch on im from (# # # # #) 2.552 * * * * [regimes]: Trying to branch on re from (# # # # #) 2.574 * * * [regime]: Found split indices: #