21.724 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.044 * * * [progress]: [2/2] Setting up program. 0.046 * [progress]: [Phase 2 of 3] Improving. 0.046 * [simplify]: Simplifying using # : (* (exp re) (sin im)) 0.048 * * [simplify]: iteration 0 : 6 enodes (cost 3 ) 0.049 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 0.049 * [simplify]: Simplified to: (* (exp re) (sin im)) 0.049 * * [progress]: iteration 1 / 4 0.049 * * * [progress]: picking best candidate 0.051 * * * * [pick]: Picked # 0.051 * * * [progress]: localizing error 0.056 * * * [progress]: generating rewritten candidates 0.056 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.062 * * * [progress]: generating series expansions 0.062 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.062 * [approximate]: Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0 0.062 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im 0.062 * [taylor]: Taking taylor expansion of (sin im) in im 0.062 * [taylor]: Taking taylor expansion of im in im 0.062 * [taylor]: Taking taylor expansion of (exp re) in im 0.062 * [taylor]: Taking taylor expansion of re in im 0.062 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 0.062 * [taylor]: Taking taylor expansion of (sin im) in re 0.062 * [taylor]: Taking taylor expansion of im in re 0.062 * [taylor]: Taking taylor expansion of (exp re) in re 0.062 * [taylor]: Taking taylor expansion of re in re 0.062 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 0.062 * [taylor]: Taking taylor expansion of (sin im) in re 0.062 * [taylor]: Taking taylor expansion of im in re 0.062 * [taylor]: Taking taylor expansion of (exp re) in re 0.062 * [taylor]: Taking taylor expansion of re in re 0.063 * [taylor]: Taking taylor expansion of (sin im) in im 0.063 * [taylor]: Taking taylor expansion of im in im 0.065 * [taylor]: Taking taylor expansion of (sin im) in im 0.065 * [taylor]: Taking taylor expansion of im in im 0.069 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 0.069 * [taylor]: Taking taylor expansion of 1/2 in im 0.069 * [taylor]: Taking taylor expansion of (sin im) in im 0.069 * [taylor]: Taking taylor expansion of im in im 0.074 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im 0.074 * [taylor]: Taking taylor expansion of 1/6 in im 0.074 * [taylor]: Taking taylor expansion of (sin im) in im 0.074 * [taylor]: Taking taylor expansion of im in im 0.076 * [approximate]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in (re im) around 0 0.076 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in im 0.076 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.076 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.076 * [taylor]: Taking taylor expansion of re in im 0.076 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.076 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.076 * [taylor]: Taking taylor expansion of im in im 0.076 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in re 0.076 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.076 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.076 * [taylor]: Taking taylor expansion of re in re 0.076 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.076 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.076 * [taylor]: Taking taylor expansion of im in re 0.077 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in re 0.077 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.077 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.077 * [taylor]: Taking taylor expansion of re in re 0.077 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.077 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.077 * [taylor]: Taking taylor expansion of im in re 0.077 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in im 0.077 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.077 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.077 * [taylor]: Taking taylor expansion of re in im 0.077 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.077 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.077 * [taylor]: Taking taylor expansion of im in im 0.079 * [taylor]: Taking taylor expansion of 0 in im 0.082 * [taylor]: Taking taylor expansion of 0 in im 0.086 * [taylor]: Taking taylor expansion of 0 in im 0.087 * [approximate]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in (re im) around 0 0.087 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 0.087 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.087 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.087 * [taylor]: Taking taylor expansion of -1 in im 0.087 * [taylor]: Taking taylor expansion of im in im 0.087 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.087 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.087 * [taylor]: Taking taylor expansion of -1 in im 0.087 * [taylor]: Taking taylor expansion of re in im 0.087 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 0.087 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.087 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.087 * [taylor]: Taking taylor expansion of -1 in re 0.087 * [taylor]: Taking taylor expansion of im in re 0.087 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.087 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.087 * [taylor]: Taking taylor expansion of -1 in re 0.087 * [taylor]: Taking taylor expansion of re in re 0.088 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 0.088 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.088 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.088 * [taylor]: Taking taylor expansion of -1 in re 0.088 * [taylor]: Taking taylor expansion of im in re 0.088 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.088 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.088 * [taylor]: Taking taylor expansion of -1 in re 0.088 * [taylor]: Taking taylor expansion of re in re 0.088 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 0.088 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.088 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.088 * [taylor]: Taking taylor expansion of -1 in im 0.088 * [taylor]: Taking taylor expansion of im in im 0.089 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.089 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.089 * [taylor]: Taking taylor expansion of -1 in im 0.089 * [taylor]: Taking taylor expansion of re in im 0.091 * [taylor]: Taking taylor expansion of 0 in im 0.093 * [taylor]: Taking taylor expansion of 0 in im 0.098 * [taylor]: Taking taylor expansion of 0 in im 0.098 * * * [progress]: simplifying candidates 0.098 * [simplify]: Simplifying using # : (* (exp re) (sin im)) (+ re (log (sin im))) (log (* (exp re) (sin im))) (exp (* (exp re) (sin im))) (* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im))) (* (cbrt (* (exp re) (sin im))) (cbrt (* (exp re) (sin im)))) (cbrt (* (exp re) (sin im))) (* (* (* (exp re) (sin im)) (* (exp re) (sin im))) (* (exp re) (sin im))) (sqrt (* (exp re) (sin im))) (sqrt (* (exp re) (sin im))) (* (sqrt (exp re)) (sqrt (sin im))) (* (sqrt (exp re)) (sqrt (sin im))) (* (exp re) (* (cbrt (sin im)) (cbrt (sin im)))) (* (exp re) (sqrt (sin im))) (* (exp re) 1) (* (cbrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im)) (* (exp re) (sin im)) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) (* (sin im) (exp re)) (* (sin im) (exp re)) 0.101 * * [simplify]: iteration 0 : 87 enodes (cost 100 ) 0.103 * * [simplify]: iteration 1 : 289 enodes (cost 86 ) 0.109 * * [simplify]: iteration 2 : 1099 enodes (cost 86 ) 0.128 * * [simplify]: iteration 3 : 4640 enodes (cost 86 ) 0.258 * * [simplify]: iteration 4 : 5001 enodes (cost 86 ) 0.258 * [simplify]: Simplified to: (* (exp re) (sin im)) (+ (log (sin im)) re) (+ (log (sin im)) re) (exp (* (exp re) (sin im))) (pow (* (exp re) (sin im)) 3) (* (cbrt (* (exp re) (sin im))) (cbrt (* (exp re) (sin im)))) (cbrt (* (exp re) (sin im))) (pow (* (exp re) (sin im)) 3) (sqrt (* (exp re) (sin im))) (sqrt (* (exp re) (sin im))) (* (sqrt (exp re)) (sqrt (sin im))) (* (sqrt (exp re)) (sqrt (sin im))) (* (exp re) (* (cbrt (sin im)) (cbrt (sin im)))) (* (exp re) (sqrt (sin im))) (exp re) (* (cbrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im)) (* (exp re) (sin im)) (* im (+ (* 1/2 (pow re 2)) (+ re 1))) (* (exp re) (sin im)) (* (exp re) (sin im)) 0.259 * * * [progress]: adding candidates to table 0.295 * * [progress]: iteration 2 / 4 0.295 * * * [progress]: picking best candidate 0.299 * * * * [pick]: Picked # 0.299 * * * [progress]: localizing error 0.306 * * * [progress]: generating rewritten candidates 0.307 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.313 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.323 * * * [progress]: generating series expansions 0.323 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.323 * [approximate]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in (re im) around 0 0.323 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in im 0.323 * [taylor]: Taking taylor expansion of (sin im) in im 0.323 * [taylor]: Taking taylor expansion of im in im 0.323 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in im 0.323 * [taylor]: Taking taylor expansion of (exp re) in im 0.323 * [taylor]: Taking taylor expansion of re in im 0.324 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.324 * [taylor]: Taking taylor expansion of (sin im) in re 0.324 * [taylor]: Taking taylor expansion of im in re 0.324 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.324 * [taylor]: Taking taylor expansion of (exp re) in re 0.324 * [taylor]: Taking taylor expansion of re in re 0.325 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.325 * [taylor]: Taking taylor expansion of (sin im) in re 0.325 * [taylor]: Taking taylor expansion of im in re 0.326 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.326 * [taylor]: Taking taylor expansion of (exp re) in re 0.326 * [taylor]: Taking taylor expansion of re in re 0.327 * [taylor]: Taking taylor expansion of (sin im) in im 0.327 * [taylor]: Taking taylor expansion of im in im 0.329 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 0.329 * [taylor]: Taking taylor expansion of 1/2 in im 0.329 * [taylor]: Taking taylor expansion of (sin im) in im 0.329 * [taylor]: Taking taylor expansion of im in im 0.336 * [taylor]: Taking taylor expansion of (* 1/8 (sin im)) in im 0.336 * [taylor]: Taking taylor expansion of 1/8 in im 0.336 * [taylor]: Taking taylor expansion of (sin im) in im 0.336 * [taylor]: Taking taylor expansion of im in im 0.342 * [taylor]: Taking taylor expansion of (* 1/48 (sin im)) in im 0.342 * [taylor]: Taking taylor expansion of 1/48 in im 0.342 * [taylor]: Taking taylor expansion of (sin im) in im 0.342 * [taylor]: Taking taylor expansion of im in im 0.344 * [approximate]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in (re im) around 0 0.344 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in im 0.344 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 0.344 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.344 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.344 * [taylor]: Taking taylor expansion of re in im 0.345 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.345 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.345 * [taylor]: Taking taylor expansion of im in im 0.345 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in re 0.345 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 0.345 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.345 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.345 * [taylor]: Taking taylor expansion of re in re 0.346 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.346 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.346 * [taylor]: Taking taylor expansion of im in re 0.346 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in re 0.346 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 0.346 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.346 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.346 * [taylor]: Taking taylor expansion of re in re 0.346 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.346 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.346 * [taylor]: Taking taylor expansion of im in re 0.346 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in im 0.347 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 0.347 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.347 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.347 * [taylor]: Taking taylor expansion of re in im 0.347 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.347 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.347 * [taylor]: Taking taylor expansion of im in im 0.349 * [taylor]: Taking taylor expansion of 0 in im 0.352 * [taylor]: Taking taylor expansion of 0 in im 0.357 * [taylor]: Taking taylor expansion of 0 in im 0.358 * [approximate]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in (re im) around 0 0.358 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 0.358 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.358 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.358 * [taylor]: Taking taylor expansion of -1 in im 0.358 * [taylor]: Taking taylor expansion of im in im 0.358 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 0.358 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.358 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.358 * [taylor]: Taking taylor expansion of -1 in im 0.358 * [taylor]: Taking taylor expansion of re in im 0.359 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.359 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.359 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.359 * [taylor]: Taking taylor expansion of -1 in re 0.359 * [taylor]: Taking taylor expansion of im in re 0.359 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.359 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.359 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.359 * [taylor]: Taking taylor expansion of -1 in re 0.359 * [taylor]: Taking taylor expansion of re in re 0.360 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.360 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.360 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.360 * [taylor]: Taking taylor expansion of -1 in re 0.360 * [taylor]: Taking taylor expansion of im in re 0.360 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.360 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.360 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.360 * [taylor]: Taking taylor expansion of -1 in re 0.360 * [taylor]: Taking taylor expansion of re in re 0.360 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 0.360 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.361 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.361 * [taylor]: Taking taylor expansion of -1 in im 0.361 * [taylor]: Taking taylor expansion of im in im 0.361 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 0.361 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.361 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.361 * [taylor]: Taking taylor expansion of -1 in im 0.361 * [taylor]: Taking taylor expansion of re in im 0.363 * [taylor]: Taking taylor expansion of 0 in im 0.366 * [taylor]: Taking taylor expansion of 0 in im 0.371 * [taylor]: Taking taylor expansion of 0 in im 0.371 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.372 * [approximate]: Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0 0.372 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im 0.372 * [taylor]: Taking taylor expansion of (sin im) in im 0.372 * [taylor]: Taking taylor expansion of im in im 0.372 * [taylor]: Taking taylor expansion of (exp re) in im 0.372 * [taylor]: Taking taylor expansion of re in im 0.372 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 0.372 * [taylor]: Taking taylor expansion of (sin im) in re 0.372 * [taylor]: Taking taylor expansion of im in re 0.372 * [taylor]: Taking taylor expansion of (exp re) in re 0.372 * [taylor]: Taking taylor expansion of re in re 0.372 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 0.372 * [taylor]: Taking taylor expansion of (sin im) in re 0.372 * [taylor]: Taking taylor expansion of im in re 0.372 * [taylor]: Taking taylor expansion of (exp re) in re 0.372 * [taylor]: Taking taylor expansion of re in re 0.372 * [taylor]: Taking taylor expansion of (sin im) in im 0.372 * [taylor]: Taking taylor expansion of im in im 0.374 * [taylor]: Taking taylor expansion of (sin im) in im 0.374 * [taylor]: Taking taylor expansion of im in im 0.378 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 0.378 * [taylor]: Taking taylor expansion of 1/2 in im 0.378 * [taylor]: Taking taylor expansion of (sin im) in im 0.378 * [taylor]: Taking taylor expansion of im in im 0.383 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im 0.383 * [taylor]: Taking taylor expansion of 1/6 in im 0.383 * [taylor]: Taking taylor expansion of (sin im) in im 0.383 * [taylor]: Taking taylor expansion of im in im 0.385 * [approximate]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in (re im) around 0 0.385 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in im 0.385 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.385 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.385 * [taylor]: Taking taylor expansion of re in im 0.385 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.385 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.385 * [taylor]: Taking taylor expansion of im in im 0.385 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in re 0.385 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.385 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.385 * [taylor]: Taking taylor expansion of re in re 0.385 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.385 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.385 * [taylor]: Taking taylor expansion of im in re 0.386 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in re 0.386 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.386 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.386 * [taylor]: Taking taylor expansion of re in re 0.386 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.386 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.386 * [taylor]: Taking taylor expansion of im in re 0.386 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in im 0.386 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.386 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.386 * [taylor]: Taking taylor expansion of re in im 0.386 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.386 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.386 * [taylor]: Taking taylor expansion of im in im 0.389 * [taylor]: Taking taylor expansion of 0 in im 0.391 * [taylor]: Taking taylor expansion of 0 in im 0.396 * [taylor]: Taking taylor expansion of 0 in im 0.396 * [approximate]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in (re im) around 0 0.396 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 0.396 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.396 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.396 * [taylor]: Taking taylor expansion of -1 in im 0.396 * [taylor]: Taking taylor expansion of im in im 0.396 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.396 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.396 * [taylor]: Taking taylor expansion of -1 in im 0.396 * [taylor]: Taking taylor expansion of re in im 0.396 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 0.396 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.396 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.397 * [taylor]: Taking taylor expansion of -1 in re 0.397 * [taylor]: Taking taylor expansion of im in re 0.397 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.397 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.397 * [taylor]: Taking taylor expansion of -1 in re 0.397 * [taylor]: Taking taylor expansion of re in re 0.397 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 0.397 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.397 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.397 * [taylor]: Taking taylor expansion of -1 in re 0.397 * [taylor]: Taking taylor expansion of im in re 0.397 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.397 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.397 * [taylor]: Taking taylor expansion of -1 in re 0.397 * [taylor]: Taking taylor expansion of re in re 0.398 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 0.398 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.398 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.398 * [taylor]: Taking taylor expansion of -1 in im 0.398 * [taylor]: Taking taylor expansion of im in im 0.398 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.398 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.398 * [taylor]: Taking taylor expansion of -1 in im 0.398 * [taylor]: Taking taylor expansion of re in im 0.400 * [taylor]: Taking taylor expansion of 0 in im 0.403 * [taylor]: Taking taylor expansion of 0 in im 0.407 * [taylor]: Taking taylor expansion of 0 in im 0.407 * * * [progress]: simplifying candidates 0.408 * [simplify]: Simplifying using # : (* (sqrt (exp re)) (sin im)) (+ (log (sqrt (exp re))) (log (sin im))) (log (* (sqrt (exp re)) (sin im))) (exp (* (sqrt (exp re)) (sin im))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im))) (* (cbrt (* (sqrt (exp re)) (sin im))) (cbrt (* (sqrt (exp re)) (sin im)))) (cbrt (* (sqrt (exp re)) (sin im))) (* (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (sin im))) (sqrt (* (sqrt (exp re)) (sin im))) (sqrt (* (sqrt (exp re)) (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (exp re)) (* (cbrt (sin im)) (cbrt (sin im)))) (* (sqrt (exp re)) (sqrt (sin im))) (* (sqrt (exp re)) 1) (* (cbrt (sqrt (exp re))) (sin im)) (* (sqrt (cbrt (exp re))) (sin im)) (* (sqrt (sqrt (exp re))) (sin im)) (* (sqrt (exp re)) (sin im)) (* (sqrt (sqrt (exp re))) (sin im)) (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) (+ (log (sqrt (exp re))) (+ (log (sqrt (exp re))) (log (sin im)))) (+ (log (sqrt (exp re))) (log (* (sqrt (exp re)) (sin im)))) (log (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (exp (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im)))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (sin im)))) (* (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))) (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (* (* (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (sqrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (sqrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (* (sqrt (exp re)) (sqrt (exp re))) (* (cbrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im))) (* (sqrt (cbrt (exp re))) (* (sqrt (exp re)) (sin im))) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))) (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) (* (sin im) (sqrt (exp re))) (* (sin im) (sqrt (exp re))) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) (* (sin im) (exp re)) (* (sin im) (exp re)) 0.412 * * [simplify]: iteration 0 : 154 enodes (cost 318 ) 0.415 * * [simplify]: iteration 1 : 601 enodes (cost 264 ) 0.427 * * [simplify]: iteration 2 : 2170 enodes (cost 264 ) 0.462 * * [simplify]: iteration 3 : 5001 enodes (cost 257 ) 0.464 * [simplify]: Simplified to: (* (sqrt (exp re)) (sin im)) (log (* (sqrt (exp re)) (sin im))) (log (* (sqrt (exp re)) (sin im))) (exp (* (sqrt (exp re)) (sin im))) (pow (* (sqrt (exp re)) (sin im)) 3) (* (cbrt (* (sqrt (exp re)) (sin im))) (cbrt (* (sqrt (exp re)) (sin im)))) (cbrt (* (sqrt (exp re)) (sin im))) (pow (* (sqrt (exp re)) (sin im)) 3) (sqrt (* (sqrt (exp re)) (sin im))) (sqrt (* (sqrt (exp re)) (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (exp re)) (* (cbrt (sin im)) (cbrt (sin im)))) (* (sqrt (exp re)) (sqrt (sin im))) (sqrt (exp re)) (* (cbrt (sqrt (exp re))) (sin im)) (* (sqrt (cbrt (exp re))) (sin im)) (* (sqrt (sqrt (exp re))) (sin im)) (* (sqrt (exp re)) (sin im)) (* (sqrt (sqrt (exp re))) (sin im)) (* (sqrt (exp re)) (sin im)) (* (exp re) (sin im)) (* (exp re) (sin im)) (+ re (log (sin im))) (+ re (log (sin im))) (+ re (log (sin im))) (pow (exp (exp re)) (sin im)) (pow (* (exp re) (sin im)) 3) (pow (* (exp re) (sin im)) 3) (* (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im))))) (cbrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (pow (* (exp re) (sin im)) 3) (sqrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (sqrt (* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))) (exp re) (* (cbrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im))) (* (sqrt (cbrt (exp re))) (* (sqrt (exp re)) (sin im))) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im))) (* (exp re) (sin im)) (* (sqrt (sqrt (exp re))) (* (sqrt (exp re)) (sin im))) (* (exp re) (sin im)) (* (+ (* re (+ (* 1/8 re) 1/2)) 1) im) (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im)) (* im (+ (* 1/2 (pow re 2)) (+ re 1))) (* (exp re) (sin im)) (* (exp re) (sin im)) 0.464 * * * [progress]: adding candidates to table 0.552 * * [progress]: iteration 3 / 4 0.552 * * * [progress]: picking best candidate 0.554 * * * * [pick]: Picked # 0.554 * * * [progress]: localizing error 0.567 * * * [progress]: generating rewritten candidates 0.567 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.570 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.576 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 0.582 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.593 * * * [progress]: generating series expansions 0.593 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.593 * [approximate]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in (re im) around 0 0.593 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in im 0.594 * [taylor]: Taking taylor expansion of (sin im) in im 0.594 * [taylor]: Taking taylor expansion of im in im 0.594 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in im 0.594 * [taylor]: Taking taylor expansion of (exp re) in im 0.594 * [taylor]: Taking taylor expansion of re in im 0.594 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.594 * [taylor]: Taking taylor expansion of (sin im) in re 0.594 * [taylor]: Taking taylor expansion of im in re 0.594 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.594 * [taylor]: Taking taylor expansion of (exp re) in re 0.594 * [taylor]: Taking taylor expansion of re in re 0.596 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.596 * [taylor]: Taking taylor expansion of (sin im) in re 0.596 * [taylor]: Taking taylor expansion of im in re 0.596 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.596 * [taylor]: Taking taylor expansion of (exp re) in re 0.596 * [taylor]: Taking taylor expansion of re in re 0.597 * [taylor]: Taking taylor expansion of (sin im) in im 0.597 * [taylor]: Taking taylor expansion of im in im 0.599 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 0.599 * [taylor]: Taking taylor expansion of 1/2 in im 0.599 * [taylor]: Taking taylor expansion of (sin im) in im 0.599 * [taylor]: Taking taylor expansion of im in im 0.603 * [taylor]: Taking taylor expansion of (* 1/8 (sin im)) in im 0.603 * [taylor]: Taking taylor expansion of 1/8 in im 0.603 * [taylor]: Taking taylor expansion of (sin im) in im 0.603 * [taylor]: Taking taylor expansion of im in im 0.609 * [taylor]: Taking taylor expansion of (* 1/48 (sin im)) in im 0.609 * [taylor]: Taking taylor expansion of 1/48 in im 0.609 * [taylor]: Taking taylor expansion of (sin im) in im 0.609 * [taylor]: Taking taylor expansion of im in im 0.611 * [approximate]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in (re im) around 0 0.611 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in im 0.611 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 0.611 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.611 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.611 * [taylor]: Taking taylor expansion of re in im 0.612 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.612 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.612 * [taylor]: Taking taylor expansion of im in im 0.612 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in re 0.612 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 0.612 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.612 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.612 * [taylor]: Taking taylor expansion of re in re 0.612 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.612 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.612 * [taylor]: Taking taylor expansion of im in re 0.612 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in re 0.612 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 0.612 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.612 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.612 * [taylor]: Taking taylor expansion of re in re 0.613 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.613 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.613 * [taylor]: Taking taylor expansion of im in re 0.613 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in im 0.613 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 0.613 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.613 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.614 * [taylor]: Taking taylor expansion of re in im 0.614 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.614 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.614 * [taylor]: Taking taylor expansion of im in im 0.616 * [taylor]: Taking taylor expansion of 0 in im 0.619 * [taylor]: Taking taylor expansion of 0 in im 0.624 * [taylor]: Taking taylor expansion of 0 in im 0.625 * [approximate]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in (re im) around 0 0.625 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 0.625 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.625 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.625 * [taylor]: Taking taylor expansion of -1 in im 0.625 * [taylor]: Taking taylor expansion of im in im 0.625 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 0.625 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.625 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.625 * [taylor]: Taking taylor expansion of -1 in im 0.625 * [taylor]: Taking taylor expansion of re in im 0.626 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.626 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.626 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.626 * [taylor]: Taking taylor expansion of -1 in re 0.626 * [taylor]: Taking taylor expansion of im in re 0.626 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.626 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.626 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.626 * [taylor]: Taking taylor expansion of -1 in re 0.626 * [taylor]: Taking taylor expansion of re in re 0.626 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.626 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.626 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.626 * [taylor]: Taking taylor expansion of -1 in re 0.626 * [taylor]: Taking taylor expansion of im in re 0.626 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.626 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.626 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.627 * [taylor]: Taking taylor expansion of -1 in re 0.627 * [taylor]: Taking taylor expansion of re in re 0.627 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 0.627 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.627 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.627 * [taylor]: Taking taylor expansion of -1 in im 0.627 * [taylor]: Taking taylor expansion of im in im 0.628 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 0.628 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.628 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.628 * [taylor]: Taking taylor expansion of -1 in im 0.628 * [taylor]: Taking taylor expansion of re in im 0.630 * [taylor]: Taking taylor expansion of 0 in im 0.633 * [taylor]: Taking taylor expansion of 0 in im 0.638 * [taylor]: Taking taylor expansion of 0 in im 0.638 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.638 * [approximate]: Taking taylor expansion of (pow (* (sin im) (sqrt (exp re))) 3) in (re im) around 0 0.638 * [taylor]: Taking taylor expansion of (pow (* (sin im) (sqrt (exp re))) 3) in im 0.638 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in im 0.638 * [taylor]: Taking taylor expansion of (sin im) in im 0.638 * [taylor]: Taking taylor expansion of im in im 0.638 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in im 0.638 * [taylor]: Taking taylor expansion of (exp re) in im 0.638 * [taylor]: Taking taylor expansion of re in im 0.639 * [taylor]: Taking taylor expansion of (pow (* (sin im) (sqrt (exp re))) 3) in re 0.640 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.640 * [taylor]: Taking taylor expansion of (sin im) in re 0.640 * [taylor]: Taking taylor expansion of im in re 0.640 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.640 * [taylor]: Taking taylor expansion of (exp re) in re 0.640 * [taylor]: Taking taylor expansion of re in re 0.641 * [taylor]: Taking taylor expansion of (pow (* (sin im) (sqrt (exp re))) 3) in re 0.641 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.641 * [taylor]: Taking taylor expansion of (sin im) in re 0.641 * [taylor]: Taking taylor expansion of im in re 0.641 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.641 * [taylor]: Taking taylor expansion of (exp re) in re 0.641 * [taylor]: Taking taylor expansion of re in re 0.643 * [taylor]: Taking taylor expansion of (pow (sin im) 3) in im 0.643 * [taylor]: Taking taylor expansion of (sin im) in im 0.643 * [taylor]: Taking taylor expansion of im in im 0.646 * [taylor]: Taking taylor expansion of (* 3/2 (pow (sin im) 3)) in im 0.646 * [taylor]: Taking taylor expansion of 3/2 in im 0.646 * [taylor]: Taking taylor expansion of (pow (sin im) 3) in im 0.646 * [taylor]: Taking taylor expansion of (sin im) in im 0.646 * [taylor]: Taking taylor expansion of im in im 0.652 * [taylor]: Taking taylor expansion of (* 9/8 (pow (sin im) 3)) in im 0.652 * [taylor]: Taking taylor expansion of 9/8 in im 0.652 * [taylor]: Taking taylor expansion of (pow (sin im) 3) in im 0.652 * [taylor]: Taking taylor expansion of (sin im) in im 0.652 * [taylor]: Taking taylor expansion of im in im 0.657 * [approximate]: Taking taylor expansion of (pow (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) 3) in (re im) around 0 0.657 * [taylor]: Taking taylor expansion of (pow (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) 3) in im 0.657 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in im 0.657 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 0.657 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.657 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.657 * [taylor]: Taking taylor expansion of re in im 0.658 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.658 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.658 * [taylor]: Taking taylor expansion of im in im 0.658 * [taylor]: Taking taylor expansion of (pow (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) 3) in re 0.658 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in re 0.658 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 0.658 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.658 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.658 * [taylor]: Taking taylor expansion of re in re 0.659 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.659 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.659 * [taylor]: Taking taylor expansion of im in re 0.659 * [taylor]: Taking taylor expansion of (pow (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) 3) in re 0.659 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in re 0.659 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 0.659 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.659 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.659 * [taylor]: Taking taylor expansion of re in re 0.659 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.659 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.659 * [taylor]: Taking taylor expansion of im in re 0.660 * [taylor]: Taking taylor expansion of (* (sqrt (pow (exp (/ 1 re)) 3)) (pow (sin (/ 1 im)) 3)) in im 0.660 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ 1 re)) 3)) in im 0.660 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 re)) 3) in im 0.660 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.660 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.660 * [taylor]: Taking taylor expansion of re in im 0.661 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 im)) 3) in im 0.661 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.661 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.661 * [taylor]: Taking taylor expansion of im in im 0.664 * [taylor]: Taking taylor expansion of 0 in im 0.668 * [taylor]: Taking taylor expansion of 0 in im 0.676 * [taylor]: Taking taylor expansion of 0 in im 0.677 * [approximate]: Taking taylor expansion of (pow (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) 3) in (re im) around 0 0.677 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) 3) in im 0.677 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 0.677 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.677 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.677 * [taylor]: Taking taylor expansion of -1 in im 0.677 * [taylor]: Taking taylor expansion of im in im 0.677 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 0.677 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.677 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.677 * [taylor]: Taking taylor expansion of -1 in im 0.677 * [taylor]: Taking taylor expansion of re in im 0.678 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) 3) in re 0.678 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.678 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.678 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.678 * [taylor]: Taking taylor expansion of -1 in re 0.678 * [taylor]: Taking taylor expansion of im in re 0.678 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.678 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.678 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.678 * [taylor]: Taking taylor expansion of -1 in re 0.678 * [taylor]: Taking taylor expansion of re in re 0.679 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) 3) in re 0.679 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.679 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.679 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.679 * [taylor]: Taking taylor expansion of -1 in re 0.679 * [taylor]: Taking taylor expansion of im in re 0.679 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.679 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.679 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.679 * [taylor]: Taking taylor expansion of -1 in re 0.679 * [taylor]: Taking taylor expansion of re in re 0.680 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 im)) 3) (sqrt (pow (exp (/ -1 re)) 3))) in im 0.680 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 im)) 3) in im 0.680 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.680 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.680 * [taylor]: Taking taylor expansion of -1 in im 0.680 * [taylor]: Taking taylor expansion of im in im 0.680 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ -1 re)) 3)) in im 0.680 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 re)) 3) in im 0.680 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.680 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.680 * [taylor]: Taking taylor expansion of -1 in im 0.680 * [taylor]: Taking taylor expansion of re in im 0.684 * [taylor]: Taking taylor expansion of 0 in im 0.688 * [taylor]: Taking taylor expansion of 0 in im 0.696 * [taylor]: Taking taylor expansion of 0 in im 0.696 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 0.696 * [approximate]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in (re im) around 0 0.696 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in im 0.696 * [taylor]: Taking taylor expansion of (sin im) in im 0.696 * [taylor]: Taking taylor expansion of im in im 0.696 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in im 0.696 * [taylor]: Taking taylor expansion of (exp re) in im 0.696 * [taylor]: Taking taylor expansion of re in im 0.697 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.697 * [taylor]: Taking taylor expansion of (sin im) in re 0.697 * [taylor]: Taking taylor expansion of im in re 0.697 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.697 * [taylor]: Taking taylor expansion of (exp re) in re 0.697 * [taylor]: Taking taylor expansion of re in re 0.698 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.698 * [taylor]: Taking taylor expansion of (sin im) in re 0.698 * [taylor]: Taking taylor expansion of im in re 0.698 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.698 * [taylor]: Taking taylor expansion of (exp re) in re 0.698 * [taylor]: Taking taylor expansion of re in re 0.699 * [taylor]: Taking taylor expansion of (sin im) in im 0.699 * [taylor]: Taking taylor expansion of im in im 0.701 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 0.701 * [taylor]: Taking taylor expansion of 1/2 in im 0.701 * [taylor]: Taking taylor expansion of (sin im) in im 0.701 * [taylor]: Taking taylor expansion of im in im 0.705 * [taylor]: Taking taylor expansion of (* 1/8 (sin im)) in im 0.705 * [taylor]: Taking taylor expansion of 1/8 in im 0.705 * [taylor]: Taking taylor expansion of (sin im) in im 0.705 * [taylor]: Taking taylor expansion of im in im 0.711 * [taylor]: Taking taylor expansion of (* 1/48 (sin im)) in im 0.711 * [taylor]: Taking taylor expansion of 1/48 in im 0.711 * [taylor]: Taking taylor expansion of (sin im) in im 0.711 * [taylor]: Taking taylor expansion of im in im 0.713 * [approximate]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in (re im) around 0 0.713 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in im 0.713 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 0.713 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.713 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.713 * [taylor]: Taking taylor expansion of re in im 0.714 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.714 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.714 * [taylor]: Taking taylor expansion of im in im 0.714 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in re 0.714 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 0.714 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.714 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.714 * [taylor]: Taking taylor expansion of re in re 0.715 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.715 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.715 * [taylor]: Taking taylor expansion of im in re 0.715 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in re 0.715 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 0.715 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.715 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.715 * [taylor]: Taking taylor expansion of re in re 0.715 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.715 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.715 * [taylor]: Taking taylor expansion of im in re 0.716 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in im 0.716 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 0.716 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.716 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.716 * [taylor]: Taking taylor expansion of re in im 0.716 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.717 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.717 * [taylor]: Taking taylor expansion of im in im 0.719 * [taylor]: Taking taylor expansion of 0 in im 0.721 * [taylor]: Taking taylor expansion of 0 in im 0.727 * [taylor]: Taking taylor expansion of 0 in im 0.727 * [approximate]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in (re im) around 0 0.727 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 0.727 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.727 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.727 * [taylor]: Taking taylor expansion of -1 in im 0.727 * [taylor]: Taking taylor expansion of im in im 0.727 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 0.727 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.727 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.727 * [taylor]: Taking taylor expansion of -1 in im 0.727 * [taylor]: Taking taylor expansion of re in im 0.728 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.728 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.728 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.728 * [taylor]: Taking taylor expansion of -1 in re 0.728 * [taylor]: Taking taylor expansion of im in re 0.728 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.728 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.728 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.728 * [taylor]: Taking taylor expansion of -1 in re 0.728 * [taylor]: Taking taylor expansion of re in re 0.729 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.729 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.729 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.729 * [taylor]: Taking taylor expansion of -1 in re 0.729 * [taylor]: Taking taylor expansion of im in re 0.729 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.729 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.729 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.729 * [taylor]: Taking taylor expansion of -1 in re 0.729 * [taylor]: Taking taylor expansion of re in re 0.730 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 0.730 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.730 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.730 * [taylor]: Taking taylor expansion of -1 in im 0.730 * [taylor]: Taking taylor expansion of im in im 0.730 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 0.730 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.730 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.730 * [taylor]: Taking taylor expansion of -1 in im 0.730 * [taylor]: Taking taylor expansion of re in im 0.732 * [taylor]: Taking taylor expansion of 0 in im 0.735 * [taylor]: Taking taylor expansion of 0 in im 0.743 * [taylor]: Taking taylor expansion of 0 in im 0.743 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.743 * [approximate]: Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0 0.743 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im 0.743 * [taylor]: Taking taylor expansion of (sin im) in im 0.743 * [taylor]: Taking taylor expansion of im in im 0.743 * [taylor]: Taking taylor expansion of (exp re) in im 0.743 * [taylor]: Taking taylor expansion of re in im 0.744 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 0.744 * [taylor]: Taking taylor expansion of (sin im) in re 0.744 * [taylor]: Taking taylor expansion of im in re 0.744 * [taylor]: Taking taylor expansion of (exp re) in re 0.744 * [taylor]: Taking taylor expansion of re in re 0.744 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 0.744 * [taylor]: Taking taylor expansion of (sin im) in re 0.744 * [taylor]: Taking taylor expansion of im in re 0.744 * [taylor]: Taking taylor expansion of (exp re) in re 0.744 * [taylor]: Taking taylor expansion of re in re 0.744 * [taylor]: Taking taylor expansion of (sin im) in im 0.744 * [taylor]: Taking taylor expansion of im in im 0.746 * [taylor]: Taking taylor expansion of (sin im) in im 0.746 * [taylor]: Taking taylor expansion of im in im 0.750 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 0.750 * [taylor]: Taking taylor expansion of 1/2 in im 0.750 * [taylor]: Taking taylor expansion of (sin im) in im 0.750 * [taylor]: Taking taylor expansion of im in im 0.755 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im 0.755 * [taylor]: Taking taylor expansion of 1/6 in im 0.755 * [taylor]: Taking taylor expansion of (sin im) in im 0.755 * [taylor]: Taking taylor expansion of im in im 0.756 * [approximate]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in (re im) around 0 0.757 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in im 0.757 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.757 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.757 * [taylor]: Taking taylor expansion of re in im 0.757 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.757 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.757 * [taylor]: Taking taylor expansion of im in im 0.757 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in re 0.757 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.757 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.757 * [taylor]: Taking taylor expansion of re in re 0.757 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.757 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.757 * [taylor]: Taking taylor expansion of im in re 0.757 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in re 0.757 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.757 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.757 * [taylor]: Taking taylor expansion of re in re 0.758 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.758 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.758 * [taylor]: Taking taylor expansion of im in re 0.758 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in im 0.758 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.758 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.758 * [taylor]: Taking taylor expansion of re in im 0.758 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.758 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.758 * [taylor]: Taking taylor expansion of im in im 0.760 * [taylor]: Taking taylor expansion of 0 in im 0.763 * [taylor]: Taking taylor expansion of 0 in im 0.767 * [taylor]: Taking taylor expansion of 0 in im 0.768 * [approximate]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in (re im) around 0 0.768 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 0.768 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.768 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.768 * [taylor]: Taking taylor expansion of -1 in im 0.768 * [taylor]: Taking taylor expansion of im in im 0.768 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.768 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.768 * [taylor]: Taking taylor expansion of -1 in im 0.768 * [taylor]: Taking taylor expansion of re in im 0.768 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 0.768 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.768 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.768 * [taylor]: Taking taylor expansion of -1 in re 0.768 * [taylor]: Taking taylor expansion of im in re 0.768 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.768 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.769 * [taylor]: Taking taylor expansion of -1 in re 0.769 * [taylor]: Taking taylor expansion of re in re 0.769 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 0.769 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.769 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.769 * [taylor]: Taking taylor expansion of -1 in re 0.769 * [taylor]: Taking taylor expansion of im in re 0.769 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.769 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.769 * [taylor]: Taking taylor expansion of -1 in re 0.769 * [taylor]: Taking taylor expansion of re in re 0.770 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 0.770 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.770 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.770 * [taylor]: Taking taylor expansion of -1 in im 0.770 * [taylor]: Taking taylor expansion of im in im 0.770 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.770 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.770 * [taylor]: Taking taylor expansion of -1 in im 0.770 * [taylor]: Taking taylor expansion of re in im 0.772 * [taylor]: Taking taylor expansion of 0 in im 0.775 * [taylor]: Taking taylor expansion of 0 in im 0.779 * [taylor]: Taking taylor expansion of 0 in im 0.779 * * * [progress]: simplifying candidates 0.780 * [simplify]: Simplifying using # : (log (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (exp (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (cbrt (pow (sqrt (exp re)) 3)) (cbrt (pow (sin im) 3)) (cbrt (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im)))) (cbrt (* (sqrt (exp re)) (sin im))) (cbrt (* (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (cbrt (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (cbrt (pow (sqrt (exp re)) 3)) (cbrt (pow (sin im) 3)) (cbrt (* (sqrt (exp re)) (sin im))) (cbrt (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im)))) (cbrt (sqrt (pow (* (sqrt (exp re)) (sin im)) 3))) (cbrt (sqrt (pow (* (sqrt (exp re)) (sin im)) 3))) (cbrt 1) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)) (cbrt (pow (* (sqrt (exp re)) (sin im)) (/ 3 2))) (cbrt (pow (* (sqrt (exp re)) (sin im)) (/ 3 2))) (* (cbrt (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (cbrt (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (cbrt (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (* (* (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (sqrt (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (sqrt (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (* (+ (log (sqrt (exp re))) (log (sin im))) 3) (* (log (* (sqrt (exp re)) (sin im))) 3) (* (log (* (sqrt (exp re)) (sin im))) 3) (* 1 3) (* 1 3) (pow (* (sqrt (exp re)) (sin im)) (* (cbrt 3) (cbrt 3))) (pow (* (sqrt (exp re)) (sin im)) (sqrt 3)) (pow (* (sqrt (exp re)) (sin im)) 1) (pow (sqrt (exp re)) 3) (pow (sin im) 3) (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))) (log (pow (* (sqrt (exp re)) (sin im)) 3)) (exp (pow (* (sqrt (exp re)) (sin im)) 3)) (* (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)) (* (* (pow (* (sqrt (exp re)) (sin im)) 3) (pow (* (sqrt (exp re)) (sin im)) 3)) (pow (* (sqrt (exp re)) (sin im)) 3)) (pow (sqrt (exp re)) 3) (pow (sin im) 3) (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))) (sqrt (pow (* (sqrt (exp re)) (sin im)) 3)) (sqrt (pow (* (sqrt (exp re)) (sin im)) 3)) (pow (* (sqrt (exp re)) (sin im)) (/ 3 2)) (pow (* (sqrt (exp re)) (sin im)) (/ 3 2)) (* (sqrt (exp re)) (sin im)) (+ (log (sqrt (exp re))) (log (sin im))) (log (* (sqrt (exp re)) (sin im))) (exp (* (sqrt (exp re)) (sin im))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im))) (* (cbrt (* (sqrt (exp re)) (sin im))) (cbrt (* (sqrt (exp re)) (sin im)))) (cbrt (* (sqrt (exp re)) (sin im))) (* (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (sin im))) (sqrt (* (sqrt (exp re)) (sin im))) (sqrt (* (sqrt (exp re)) (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (exp re)) (* (cbrt (sin im)) (cbrt (sin im)))) (* (sqrt (exp re)) (sqrt (sin im))) (* (sqrt (exp re)) 1) (* (cbrt (sqrt (exp re))) (sin im)) (* (sqrt (cbrt (exp re))) (sin im)) (* (sqrt (sqrt (exp re))) (sin im)) (* (sqrt (exp re)) (sin im)) (* (sqrt (sqrt (exp re))) (sin im)) (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (+ (log (sqrt (exp re))) (log (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (log (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (exp (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (pow (* (sqrt (exp re)) (sin im)) 3)) (* (cbrt (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (cbrt (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))))) (cbrt (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (* (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (sqrt (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (sqrt (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (sqrt (exp re))) (cbrt (sqrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (sqrt (exp re))) (cbrt (sqrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (sqrt (exp re))) (cbrt (pow (* (sqrt (exp re)) (sin im)) (/ 3 2)))) (* (sqrt (sqrt (exp re))) (cbrt (pow (* (sqrt (exp re)) (sin im)) (/ 3 2)))) (* (sqrt (sqrt (exp re))) (sqrt (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (sqrt (exp re))) (sqrt (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (sqrt (exp re))) (cbrt (sqrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (sqrt (exp re))) (cbrt (sqrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (sqrt (exp re))) (cbrt (pow (* (sqrt (exp re)) (sin im)) (/ 3 2)))) (* (sqrt (sqrt (exp re))) (cbrt (pow (* (sqrt (exp re)) (sin im)) (/ 3 2)))) (* (sqrt (sqrt (exp re))) (sqrt (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (sqrt (exp re))) (sqrt (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (exp re)) (cbrt (pow (sqrt (exp re)) 3))) (* (sqrt (exp re)) (cbrt (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))))) (* (sqrt (exp re)) (cbrt (* (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))))) (* (sqrt (exp re)) (cbrt (pow (sqrt (exp re)) 3))) (* (sqrt (exp re)) (cbrt (* (sqrt (exp re)) (sin im)))) (* (sqrt (exp re)) (cbrt (sqrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (exp re)) (cbrt 1)) (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) (/ 3 2)))) (* (sqrt (exp re)) (* (cbrt (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (cbrt (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))))) (* (sqrt (exp re)) (sqrt (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (exp re)) 1) (* (cbrt (sqrt (exp re))) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (* (sqrt (cbrt (exp re))) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (* (sqrt (sqrt (exp re))) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (* (sqrt (sqrt (exp re))) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))) (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) (* (sin im) (sqrt (exp re))) (* (sin im) (sqrt (exp re))) (+ (* 3/2 (* re (pow im 3))) (+ (pow im 3) (* 9/8 (* (pow re 2) (pow im 3))))) (* (pow (sin im) 3) (sqrt (pow (exp re) 3))) (* (pow (sin im) 3) (sqrt (pow (exp re) 3))) (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) (* (sin im) (sqrt (exp re))) (* (sin im) (sqrt (exp re))) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) (* (sin im) (exp re)) (* (sin im) (exp re)) 0.786 * * [simplify]: iteration 0 : 257 enodes (cost 802 ) 0.791 * * [simplify]: iteration 1 : 1153 enodes (cost 744 ) 0.819 * * [simplify]: iteration 2 : 5001 enodes (cost 724 ) 0.823 * [simplify]: Simplified to: (log (* (sqrt (exp re)) (sin im))) (exp (* (sqrt (exp re)) (sin im))) (sqrt (exp re)) (sin im) (cbrt (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im)))) (cbrt (* (sqrt (exp re)) (sin im))) (cbrt (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im)))) (cbrt (* (sqrt (exp re)) (sin im))) (sqrt (exp re)) (sin im) (cbrt (* (sqrt (exp re)) (sin im))) (cbrt (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im)))) (cbrt (sqrt (pow (* (sqrt (exp re)) (sin im)) 3))) (cbrt (sqrt (pow (* (sqrt (exp re)) (sin im)) 3))) 1 (* (sqrt (exp re)) (sin im)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3/2)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3/2)) (* (cbrt (* (sqrt (exp re)) (sin im))) (cbrt (* (sqrt (exp re)) (sin im)))) (cbrt (* (sqrt (exp re)) (sin im))) (pow (* (sqrt (exp re)) (sin im)) 3) (pow (* (sqrt (exp re)) (sin im)) 1/2) (pow (* (sqrt (exp re)) (sin im)) 1/2) (log (pow (* (sqrt (exp re)) (sin im)) 3)) (log (pow (* (sqrt (exp re)) (sin im)) 3)) (log (pow (* (sqrt (exp re)) (sin im)) 3)) 3 3 (pow (* (sqrt (exp re)) (sin im)) (* (cbrt 3) (cbrt 3))) (pow (* (sqrt (exp re)) (sin im)) (sqrt 3)) (* (sqrt (exp re)) (sin im)) (pow (sqrt (exp re)) 3) (pow (sin im) 3) (* (exp re) (* (sin im) (sin im))) (log (pow (* (sqrt (exp re)) (sin im)) 3)) (exp (pow (* (sqrt (exp re)) (sin im)) 3)) (* (exp re) (* (sin im) (sin im))) (* (sqrt (exp re)) (sin im)) (pow (pow (* (sqrt (exp re)) (sin im)) 3) 3) (pow (sqrt (exp re)) 3) (pow (sin im) 3) (* (exp re) (* (sin im) (sin im))) (sqrt (pow (* (sqrt (exp re)) (sin im)) 3)) (sqrt (pow (* (sqrt (exp re)) (sin im)) 3)) (pow (* (sqrt (exp re)) (sin im)) 3/2) (pow (* (sqrt (exp re)) (sin im)) 3/2) (* (sqrt (exp re)) (sin im)) (log (* (sqrt (exp re)) (sin im))) (log (* (sqrt (exp re)) (sin im))) (exp (* (sqrt (exp re)) (sin im))) (pow (* (sqrt (exp re)) (sin im)) 3) (* (cbrt (* (sqrt (exp re)) (sin im))) (cbrt (* (sqrt (exp re)) (sin im)))) (cbrt (* (sqrt (exp re)) (sin im))) (pow (* (sqrt (exp re)) (sin im)) 3) (pow (* (sqrt (exp re)) (sin im)) 1/2) (pow (* (sqrt (exp re)) (sin im)) 1/2) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))) (* (sqrt (exp re)) (* (cbrt (sin im)) (cbrt (sin im)))) (* (sqrt (exp re)) (sqrt (sin im))) (sqrt (exp re)) (* (cbrt (sqrt (exp re))) (sin im)) (* (sqrt (cbrt (exp re))) (sin im)) (* (sqrt (sqrt (exp re))) (sin im)) (* (sqrt (exp re)) (sin im)) (* (sqrt (sqrt (exp re))) (sin im)) (* (sqrt (exp re)) (sin im)) (* (sin im) (exp re)) (+ (log (exp re)) (log (sin im))) (+ (log (exp re)) (log (sin im))) (pow (exp (exp re)) (sin im)) (* (pow (exp re) 3) (pow (sin im) 3)) (* (cbrt (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (cbrt (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3))))) (cbrt (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (pow (exp re) 3) (pow (sin im) 3)) (sqrt (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (sqrt (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (sqrt (exp re))) (cbrt (sqrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (sqrt (exp re))) (cbrt (sqrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (sqrt (exp re))) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3/2))) (* (sqrt (sqrt (exp re))) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3/2))) (* (sqrt (sqrt (exp re))) (sqrt (* (sqrt (exp re)) (sin im)))) (* (sqrt (sqrt (exp re))) (sqrt (* (sqrt (exp re)) (sin im)))) (* (sqrt (sqrt (exp re))) (cbrt (sqrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (sqrt (exp re))) (cbrt (sqrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (* (sqrt (sqrt (exp re))) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3/2))) (* (sqrt (sqrt (exp re))) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3/2))) (* (sqrt (sqrt (exp re))) (sqrt (* (sqrt (exp re)) (sin im)))) (* (sqrt (sqrt (exp re))) (sqrt (* (sqrt (exp re)) (sin im)))) (exp re) (* (sqrt (exp re)) (cbrt (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))))) (* (sqrt (exp re)) (cbrt (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))))) (exp re) (* (sqrt (exp re)) (cbrt (* (sqrt (exp re)) (sin im)))) (* (sqrt (exp re)) (cbrt (sqrt (pow (* (sqrt (exp re)) (sin im)) 3)))) (sqrt (exp re)) (* (sqrt (exp re)) (cbrt (pow (* (sqrt (exp re)) (sin im)) 3/2))) (* (* (sqrt (exp re)) (cbrt (* (sqrt (exp re)) (sin im)))) (cbrt (* (sqrt (exp re)) (sin im)))) (* (sqrt (exp re)) (sqrt (* (sqrt (exp re)) (sin im)))) (sqrt (exp re)) (* (* (sqrt (exp re)) (sin im)) (cbrt (sqrt (exp re)))) (* (* (sqrt (exp re)) (sin im)) (sqrt (cbrt (exp re)))) (* (* (sqrt (exp re)) (sin im)) (sqrt (sqrt (exp re)))) (* (sin im) (exp re)) (* (* (sqrt (exp re)) (sin im)) (sqrt (sqrt (exp re)))) (* (sin im) (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im)) (* (pow im 3) (+ (+ (* 3/2 re) 1) (* 9/8 (pow re 2)))) (* (pow (sin im) 3) (sqrt (pow (exp re) 3))) (* (pow (sin im) 3) (sqrt (pow (exp re) 3))) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im)) (* im (+ (* 1/2 (pow re 2)) (+ re 1))) (* (sin im) (exp re)) (* (sin im) (exp re)) 0.823 * * * [progress]: adding candidates to table 1.064 * * [progress]: iteration 4 / 4 1.064 * * * [progress]: picking best candidate 1.067 * * * * [pick]: Picked # 1.067 * * * [progress]: localizing error 1.079 * * * [progress]: generating rewritten candidates 1.079 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.086 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 1.094 * * * [progress]: generating series expansions 1.094 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.094 * [approximate]: Taking taylor expansion of (* (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) (sqrt (exp re))) in (re im) around 0 1.094 * [taylor]: Taking taylor expansion of (* (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) (sqrt (exp re))) in im 1.094 * [taylor]: Taking taylor expansion of (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) in im 1.094 * [taylor]: Taking taylor expansion of (* 1/8 (* (pow re 2) im)) in im 1.094 * [taylor]: Taking taylor expansion of 1/8 in im 1.094 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in im 1.094 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.094 * [taylor]: Taking taylor expansion of re in im 1.094 * [taylor]: Taking taylor expansion of im in im 1.094 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* re im)) im) in im 1.094 * [taylor]: Taking taylor expansion of (* 1/2 (* re im)) in im 1.094 * [taylor]: Taking taylor expansion of 1/2 in im 1.094 * [taylor]: Taking taylor expansion of (* re im) in im 1.094 * [taylor]: Taking taylor expansion of re in im 1.094 * [taylor]: Taking taylor expansion of im in im 1.094 * [taylor]: Taking taylor expansion of im in im 1.094 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in im 1.094 * [taylor]: Taking taylor expansion of (exp re) in im 1.095 * [taylor]: Taking taylor expansion of re in im 1.095 * [taylor]: Taking taylor expansion of (* (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) (sqrt (exp re))) in re 1.095 * [taylor]: Taking taylor expansion of (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) in re 1.095 * [taylor]: Taking taylor expansion of (* 1/8 (* (pow re 2) im)) in re 1.095 * [taylor]: Taking taylor expansion of 1/8 in re 1.095 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1.095 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.095 * [taylor]: Taking taylor expansion of re in re 1.095 * [taylor]: Taking taylor expansion of im in re 1.095 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* re im)) im) in re 1.095 * [taylor]: Taking taylor expansion of (* 1/2 (* re im)) in re 1.095 * [taylor]: Taking taylor expansion of 1/2 in re 1.095 * [taylor]: Taking taylor expansion of (* re im) in re 1.095 * [taylor]: Taking taylor expansion of re in re 1.095 * [taylor]: Taking taylor expansion of im in re 1.095 * [taylor]: Taking taylor expansion of im in re 1.095 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 1.096 * [taylor]: Taking taylor expansion of (exp re) in re 1.096 * [taylor]: Taking taylor expansion of re in re 1.097 * [taylor]: Taking taylor expansion of (* (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) (sqrt (exp re))) in re 1.097 * [taylor]: Taking taylor expansion of (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) in re 1.097 * [taylor]: Taking taylor expansion of (* 1/8 (* (pow re 2) im)) in re 1.097 * [taylor]: Taking taylor expansion of 1/8 in re 1.097 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1.097 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.097 * [taylor]: Taking taylor expansion of re in re 1.097 * [taylor]: Taking taylor expansion of im in re 1.097 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* re im)) im) in re 1.097 * [taylor]: Taking taylor expansion of (* 1/2 (* re im)) in re 1.097 * [taylor]: Taking taylor expansion of 1/2 in re 1.097 * [taylor]: Taking taylor expansion of (* re im) in re 1.097 * [taylor]: Taking taylor expansion of re in re 1.097 * [taylor]: Taking taylor expansion of im in re 1.097 * [taylor]: Taking taylor expansion of im in re 1.097 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 1.097 * [taylor]: Taking taylor expansion of (exp re) in re 1.097 * [taylor]: Taking taylor expansion of re in re 1.099 * [taylor]: Taking taylor expansion of im in im 1.099 * [taylor]: Taking taylor expansion of im in im 1.102 * [taylor]: Taking taylor expansion of (* 1/2 im) in im 1.102 * [taylor]: Taking taylor expansion of 1/2 in im 1.102 * [taylor]: Taking taylor expansion of im in im 1.107 * [taylor]: Taking taylor expansion of (* 7/48 im) in im 1.107 * [taylor]: Taking taylor expansion of 7/48 in im 1.107 * [taylor]: Taking taylor expansion of im in im 1.108 * [approximate]: Taking taylor expansion of (* (+ (/ 1 im) (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im))))) (sqrt (exp (/ 1 re)))) in (re im) around 0 1.109 * [taylor]: Taking taylor expansion of (* (+ (/ 1 im) (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im))))) (sqrt (exp (/ 1 re)))) in im 1.109 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im))))) in im 1.109 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.109 * [taylor]: Taking taylor expansion of im in im 1.109 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im)))) in im 1.109 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in im 1.109 * [taylor]: Taking taylor expansion of 1/2 in im 1.109 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1.109 * [taylor]: Taking taylor expansion of (* re im) in im 1.109 * [taylor]: Taking taylor expansion of re in im 1.109 * [taylor]: Taking taylor expansion of im in im 1.109 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (* (pow re 2) im))) in im 1.109 * [taylor]: Taking taylor expansion of 1/8 in im 1.109 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in im 1.109 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in im 1.109 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.109 * [taylor]: Taking taylor expansion of re in im 1.109 * [taylor]: Taking taylor expansion of im in im 1.110 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 1.110 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1.110 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.110 * [taylor]: Taking taylor expansion of re in im 1.111 * [taylor]: Taking taylor expansion of (* (+ (/ 1 im) (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im))))) (sqrt (exp (/ 1 re)))) in re 1.111 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im))))) in re 1.111 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.111 * [taylor]: Taking taylor expansion of im in re 1.111 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im)))) in re 1.111 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in re 1.111 * [taylor]: Taking taylor expansion of 1/2 in re 1.111 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1.111 * [taylor]: Taking taylor expansion of (* re im) in re 1.111 * [taylor]: Taking taylor expansion of re in re 1.111 * [taylor]: Taking taylor expansion of im in re 1.111 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (* (pow re 2) im))) in re 1.111 * [taylor]: Taking taylor expansion of 1/8 in re 1.111 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re 1.111 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1.111 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.111 * [taylor]: Taking taylor expansion of re in re 1.111 * [taylor]: Taking taylor expansion of im in re 1.111 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1.112 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1.112 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.112 * [taylor]: Taking taylor expansion of re in re 1.112 * [taylor]: Taking taylor expansion of (* (+ (/ 1 im) (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im))))) (sqrt (exp (/ 1 re)))) in re 1.112 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im))))) in re 1.112 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.112 * [taylor]: Taking taylor expansion of im in re 1.112 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im)))) in re 1.112 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in re 1.112 * [taylor]: Taking taylor expansion of 1/2 in re 1.112 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1.112 * [taylor]: Taking taylor expansion of (* re im) in re 1.112 * [taylor]: Taking taylor expansion of re in re 1.112 * [taylor]: Taking taylor expansion of im in re 1.112 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (* (pow re 2) im))) in re 1.112 * [taylor]: Taking taylor expansion of 1/8 in re 1.112 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re 1.112 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1.113 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.113 * [taylor]: Taking taylor expansion of re in re 1.113 * [taylor]: Taking taylor expansion of im in re 1.113 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1.113 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1.113 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.113 * [taylor]: Taking taylor expansion of re in re 1.113 * [taylor]: Taking taylor expansion of (* 1/8 (* (sqrt (exp (/ 1 re))) (/ 1 im))) in im 1.113 * [taylor]: Taking taylor expansion of 1/8 in im 1.113 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (/ 1 im)) in im 1.113 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 1.114 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1.114 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.114 * [taylor]: Taking taylor expansion of re in im 1.114 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.114 * [taylor]: Taking taylor expansion of im in im 1.116 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (exp (/ 1 re))) (/ 1 im))) in im 1.116 * [taylor]: Taking taylor expansion of 1/2 in im 1.116 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (/ 1 im)) in im 1.116 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 1.116 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1.116 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.116 * [taylor]: Taking taylor expansion of re in im 1.117 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.117 * [taylor]: Taking taylor expansion of im in im 1.121 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (/ 1 im)) in im 1.122 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 1.122 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1.122 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.122 * [taylor]: Taking taylor expansion of re in im 1.122 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.122 * [taylor]: Taking taylor expansion of im in im 1.124 * [approximate]: Taking taylor expansion of (* (- (* 1/2 (/ 1 (* re im))) (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im))))) (sqrt (exp (/ -1 re)))) in (re im) around 0 1.124 * [taylor]: Taking taylor expansion of (* (- (* 1/2 (/ 1 (* re im))) (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im))))) (sqrt (exp (/ -1 re)))) in im 1.124 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* re im))) (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im))))) in im 1.124 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in im 1.124 * [taylor]: Taking taylor expansion of 1/2 in im 1.124 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1.124 * [taylor]: Taking taylor expansion of (* re im) in im 1.124 * [taylor]: Taking taylor expansion of re in im 1.124 * [taylor]: Taking taylor expansion of im in im 1.124 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im)))) in im 1.124 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.124 * [taylor]: Taking taylor expansion of im in im 1.124 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (* (pow re 2) im))) in im 1.124 * [taylor]: Taking taylor expansion of 1/8 in im 1.124 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in im 1.124 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in im 1.124 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.124 * [taylor]: Taking taylor expansion of re in im 1.124 * [taylor]: Taking taylor expansion of im in im 1.125 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 1.125 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1.125 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.125 * [taylor]: Taking taylor expansion of -1 in im 1.125 * [taylor]: Taking taylor expansion of re in im 1.126 * [taylor]: Taking taylor expansion of (* (- (* 1/2 (/ 1 (* re im))) (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im))))) (sqrt (exp (/ -1 re)))) in re 1.126 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* re im))) (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im))))) in re 1.126 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in re 1.126 * [taylor]: Taking taylor expansion of 1/2 in re 1.126 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1.126 * [taylor]: Taking taylor expansion of (* re im) in re 1.126 * [taylor]: Taking taylor expansion of re in re 1.126 * [taylor]: Taking taylor expansion of im in re 1.126 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im)))) in re 1.126 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.126 * [taylor]: Taking taylor expansion of im in re 1.126 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (* (pow re 2) im))) in re 1.126 * [taylor]: Taking taylor expansion of 1/8 in re 1.126 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re 1.126 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1.126 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.126 * [taylor]: Taking taylor expansion of re in re 1.126 * [taylor]: Taking taylor expansion of im in re 1.127 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1.127 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1.127 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.127 * [taylor]: Taking taylor expansion of -1 in re 1.127 * [taylor]: Taking taylor expansion of re in re 1.127 * [taylor]: Taking taylor expansion of (* (- (* 1/2 (/ 1 (* re im))) (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im))))) (sqrt (exp (/ -1 re)))) in re 1.127 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* re im))) (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im))))) in re 1.127 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in re 1.127 * [taylor]: Taking taylor expansion of 1/2 in re 1.127 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1.127 * [taylor]: Taking taylor expansion of (* re im) in re 1.127 * [taylor]: Taking taylor expansion of re in re 1.127 * [taylor]: Taking taylor expansion of im in re 1.128 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im)))) in re 1.128 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.128 * [taylor]: Taking taylor expansion of im in re 1.128 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (* (pow re 2) im))) in re 1.128 * [taylor]: Taking taylor expansion of 1/8 in re 1.128 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re 1.128 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1.128 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.128 * [taylor]: Taking taylor expansion of re in re 1.128 * [taylor]: Taking taylor expansion of im in re 1.128 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1.128 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1.128 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.128 * [taylor]: Taking taylor expansion of -1 in re 1.128 * [taylor]: Taking taylor expansion of re in re 1.129 * [taylor]: Taking taylor expansion of (* -1/8 (* (sqrt (exp (/ -1 re))) (/ 1 im))) in im 1.129 * [taylor]: Taking taylor expansion of -1/8 in im 1.129 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (/ 1 im)) in im 1.129 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 1.129 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1.129 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.129 * [taylor]: Taking taylor expansion of -1 in im 1.129 * [taylor]: Taking taylor expansion of re in im 1.130 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.130 * [taylor]: Taking taylor expansion of im in im 1.132 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (exp (/ -1 re))) (/ 1 im))) in im 1.132 * [taylor]: Taking taylor expansion of 1/2 in im 1.132 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (/ 1 im)) in im 1.132 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 1.132 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1.132 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.132 * [taylor]: Taking taylor expansion of -1 in im 1.132 * [taylor]: Taking taylor expansion of re in im 1.132 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.132 * [taylor]: Taking taylor expansion of im in im 1.137 * [taylor]: Taking taylor expansion of (- (* (sqrt (exp (/ -1 re))) (/ 1 im))) in im 1.137 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (/ 1 im)) in im 1.137 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 1.137 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1.137 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.137 * [taylor]: Taking taylor expansion of -1 in im 1.137 * [taylor]: Taking taylor expansion of re in im 1.138 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.138 * [taylor]: Taking taylor expansion of im in im 1.139 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 1.139 * [approximate]: Taking taylor expansion of (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) in (im re) around 0 1.139 * [taylor]: Taking taylor expansion of (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) in re 1.139 * [taylor]: Taking taylor expansion of im in re 1.139 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow re 2)) (* 1/2 re)) in re 1.139 * [taylor]: Taking taylor expansion of (* 1/8 (pow re 2)) in re 1.139 * [taylor]: Taking taylor expansion of 1/8 in re 1.139 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.139 * [taylor]: Taking taylor expansion of re in re 1.139 * [taylor]: Taking taylor expansion of (* 1/2 re) in re 1.139 * [taylor]: Taking taylor expansion of 1/2 in re 1.139 * [taylor]: Taking taylor expansion of re in re 1.139 * [taylor]: Taking taylor expansion of (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) in im 1.139 * [taylor]: Taking taylor expansion of im in im 1.139 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow re 2)) (* 1/2 re)) in im 1.139 * [taylor]: Taking taylor expansion of (* 1/8 (pow re 2)) in im 1.139 * [taylor]: Taking taylor expansion of 1/8 in im 1.139 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.139 * [taylor]: Taking taylor expansion of re in im 1.139 * [taylor]: Taking taylor expansion of (* 1/2 re) in im 1.139 * [taylor]: Taking taylor expansion of 1/2 in im 1.139 * [taylor]: Taking taylor expansion of re in im 1.139 * [taylor]: Taking taylor expansion of (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) in im 1.139 * [taylor]: Taking taylor expansion of im in im 1.139 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow re 2)) (* 1/2 re)) in im 1.139 * [taylor]: Taking taylor expansion of (* 1/8 (pow re 2)) in im 1.139 * [taylor]: Taking taylor expansion of 1/8 in im 1.139 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.139 * [taylor]: Taking taylor expansion of re in im 1.139 * [taylor]: Taking taylor expansion of (* 1/2 re) in im 1.139 * [taylor]: Taking taylor expansion of 1/2 in im 1.139 * [taylor]: Taking taylor expansion of re in im 1.140 * [taylor]: Taking taylor expansion of 0 in re 1.141 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow re 2)) (* 1/2 re)) in re 1.141 * [taylor]: Taking taylor expansion of (* 1/8 (pow re 2)) in re 1.141 * [taylor]: Taking taylor expansion of 1/8 in re 1.141 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.141 * [taylor]: Taking taylor expansion of re in re 1.141 * [taylor]: Taking taylor expansion of (* 1/2 re) in re 1.141 * [taylor]: Taking taylor expansion of 1/2 in re 1.141 * [taylor]: Taking taylor expansion of re in re 1.144 * [taylor]: Taking taylor expansion of 0 in re 1.151 * [taylor]: Taking taylor expansion of 0 in re 1.156 * [taylor]: Taking taylor expansion of 0 in re 1.158 * [approximate]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im) in (im re) around 0 1.158 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im) in re 1.158 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in re 1.158 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in re 1.158 * [taylor]: Taking taylor expansion of 1/8 in re 1.158 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.158 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.158 * [taylor]: Taking taylor expansion of re in re 1.159 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in re 1.159 * [taylor]: Taking taylor expansion of 1/2 in re 1.159 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.159 * [taylor]: Taking taylor expansion of re in re 1.159 * [taylor]: Taking taylor expansion of im in re 1.160 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im) in im 1.160 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in im 1.160 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in im 1.160 * [taylor]: Taking taylor expansion of 1/8 in im 1.160 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.160 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.160 * [taylor]: Taking taylor expansion of re in im 1.160 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in im 1.160 * [taylor]: Taking taylor expansion of 1/2 in im 1.160 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.160 * [taylor]: Taking taylor expansion of re in im 1.160 * [taylor]: Taking taylor expansion of im in im 1.160 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im) in im 1.160 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in im 1.160 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in im 1.160 * [taylor]: Taking taylor expansion of 1/8 in im 1.160 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.160 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.160 * [taylor]: Taking taylor expansion of re in im 1.161 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in im 1.161 * [taylor]: Taking taylor expansion of 1/2 in im 1.161 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.161 * [taylor]: Taking taylor expansion of re in im 1.161 * [taylor]: Taking taylor expansion of im in im 1.161 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in re 1.161 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in re 1.161 * [taylor]: Taking taylor expansion of 1/8 in re 1.161 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.161 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.161 * [taylor]: Taking taylor expansion of re in re 1.162 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in re 1.162 * [taylor]: Taking taylor expansion of 1/2 in re 1.162 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.162 * [taylor]: Taking taylor expansion of re in re 1.164 * [taylor]: Taking taylor expansion of 0 in re 1.168 * [taylor]: Taking taylor expansion of 0 in re 1.175 * [taylor]: Taking taylor expansion of 0 in re 1.183 * [taylor]: Taking taylor expansion of 0 in re 1.186 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im)) in (im re) around 0 1.186 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im)) in re 1.186 * [taylor]: Taking taylor expansion of -1 in re 1.186 * [taylor]: Taking taylor expansion of (/ (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im) in re 1.186 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in re 1.186 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in re 1.186 * [taylor]: Taking taylor expansion of 1/8 in re 1.186 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.186 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.186 * [taylor]: Taking taylor expansion of re in re 1.187 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in re 1.187 * [taylor]: Taking taylor expansion of 1/2 in re 1.187 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.187 * [taylor]: Taking taylor expansion of re in re 1.187 * [taylor]: Taking taylor expansion of im in re 1.188 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im)) in im 1.188 * [taylor]: Taking taylor expansion of -1 in im 1.188 * [taylor]: Taking taylor expansion of (/ (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im) in im 1.188 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in im 1.188 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in im 1.188 * [taylor]: Taking taylor expansion of 1/8 in im 1.188 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.188 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.188 * [taylor]: Taking taylor expansion of re in im 1.188 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in im 1.188 * [taylor]: Taking taylor expansion of 1/2 in im 1.188 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.188 * [taylor]: Taking taylor expansion of re in im 1.188 * [taylor]: Taking taylor expansion of im in im 1.188 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im)) in im 1.188 * [taylor]: Taking taylor expansion of -1 in im 1.188 * [taylor]: Taking taylor expansion of (/ (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im) in im 1.188 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in im 1.189 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in im 1.189 * [taylor]: Taking taylor expansion of 1/8 in im 1.189 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.189 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.189 * [taylor]: Taking taylor expansion of re in im 1.189 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in im 1.189 * [taylor]: Taking taylor expansion of 1/2 in im 1.189 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.189 * [taylor]: Taking taylor expansion of re in im 1.189 * [taylor]: Taking taylor expansion of im in im 1.189 * [taylor]: Taking taylor expansion of (* -1 (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re)))) in re 1.189 * [taylor]: Taking taylor expansion of -1 in re 1.189 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in re 1.189 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in re 1.189 * [taylor]: Taking taylor expansion of 1/8 in re 1.189 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.189 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.189 * [taylor]: Taking taylor expansion of re in re 1.190 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in re 1.190 * [taylor]: Taking taylor expansion of 1/2 in re 1.190 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.190 * [taylor]: Taking taylor expansion of re in re 1.193 * [taylor]: Taking taylor expansion of 0 in re 1.199 * [taylor]: Taking taylor expansion of 0 in re 1.207 * [taylor]: Taking taylor expansion of 0 in re 1.216 * [taylor]: Taking taylor expansion of 0 in re 1.221 * * * [progress]: simplifying candidates 1.222 * [simplify]: Simplifying using # : (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (+ (log (sqrt (exp re))) (log (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (log (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (exp (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (cbrt (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (cbrt (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))))) (cbrt (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (* (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (sqrt (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (sqrt (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (sqrt (sqrt (exp re))) (sqrt (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (sqrt (sqrt (exp re))) (sqrt (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (sqrt (sqrt (exp re))) (sqrt (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (sqrt (sqrt (exp re))) (sqrt (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (sqrt (exp re)) im) (* (sqrt (exp re)) (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* im (sqrt (exp re))) (* (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) (sqrt (exp re))) (* (sqrt (exp re)) (* (cbrt (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (cbrt (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))))) (* (sqrt (exp re)) (sqrt (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (sqrt (exp re)) 1) (* (cbrt (sqrt (exp re))) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* (sqrt (cbrt (exp re))) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* (sqrt (sqrt (exp re))) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* (sqrt (sqrt (exp re))) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* (sqrt (exp re)) (+ (pow im 3) (pow (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) 3))) (* (sqrt (exp re)) (- (* im im) (* (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) (+ (log im) (log (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (log (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (exp (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* (* (* im im) im) (* (* (+ (* 1/8 (pow re 2)) (* 1/2 re)) (+ (* 1/8 (pow re 2)) (* 1/2 re))) (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* (cbrt (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (cbrt (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (cbrt (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* (* (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (sqrt (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (sqrt (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* (sqrt im) (sqrt (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* (sqrt im) (sqrt (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* im (* 1/8 (pow re 2))) (* im (* 1/2 re)) (* (* 1/8 (pow re 2)) im) (* (* 1/2 re) im) (* im (* (cbrt (+ (* 1/8 (pow re 2)) (* 1/2 re))) (cbrt (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* im (sqrt (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* im 1) (* (cbrt im) (+ (* 1/8 (pow re 2)) (* 1/2 re))) (* (sqrt im) (+ (* 1/8 (pow re 2)) (* 1/2 re))) (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) (* im (+ (pow (* 1/8 (pow re 2)) 3) (pow (* 1/2 re) 3))) (* im (- (* (* 1/8 (pow re 2)) (* 1/8 (pow re 2))) (* (* 1/2 re) (* 1/2 re)))) (+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im)) (+ (* 1/2 (* (* re im) (sqrt (exp re)))) (+ (* 1/8 (* (* (pow re 2) im) (sqrt (exp re)))) (* im (sqrt (exp re))))) (+ (* 1/2 (* (* re im) (sqrt (exp re)))) (+ (* 1/8 (* (* (pow re 2) im) (sqrt (exp re)))) (* im (sqrt (exp re))))) (+ (* 1/8 (* (pow re 2) im)) (* 1/2 (* re im))) (+ (* 1/8 (* (pow re 2) im)) (* 1/2 (* re im))) (+ (* 1/8 (* (pow re 2) im)) (* 1/2 (* re im))) 1.231 * * [simplify]: iteration 0 : 323 enodes (cost 525 ) 1.238 * * [simplify]: iteration 1 : 1773 enodes (cost 467 ) 1.274 * * [simplify]: iteration 2 : 5001 enodes (cost 467 ) 1.276 * [simplify]: Simplified to: (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (log (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (log (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (exp (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (pow (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) 3) (* (cbrt (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (cbrt (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))))) (cbrt (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (pow (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) 3) (sqrt (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (sqrt (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (sqrt (sqrt (exp re))) (sqrt (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (sqrt (sqrt (exp re))) (sqrt (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (sqrt (sqrt (exp re))) (sqrt (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (sqrt (sqrt (exp re))) (sqrt (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (* (sqrt (exp re)) im) (* (sqrt (exp re)) (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* (sqrt (exp re)) im) (* (sqrt (exp re)) (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* (sqrt (exp re)) (* (cbrt (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (cbrt (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))))) (* (sqrt (exp re)) (sqrt (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))))) (sqrt (exp re)) (* (cbrt (sqrt (exp re))) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* (sqrt (cbrt (exp re))) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* (sqrt (sqrt (exp re))) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* (sqrt (sqrt (exp re))) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* (sqrt (exp re)) (+ (pow im 3) (pow (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) 3))) (* (sqrt (exp re)) (* im (- im (* (+ (* 1/8 (pow re 2)) (* 1/2 re)) (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))))) (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) (log (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (log (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (exp (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (pow (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) 3) (* (cbrt (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (cbrt (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (cbrt (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (pow (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) 3) (sqrt (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (sqrt (* im (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* (sqrt im) (sqrt (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* (sqrt im) (sqrt (+ (* 1/8 (pow re 2)) (* 1/2 re)))) (* im (* 1/8 (pow re 2))) (* im (* 1/2 re)) (* im (* 1/8 (pow re 2))) (* im (* 1/2 re)) (* im (* (cbrt (+ (* 1/8 (pow re 2)) (* 1/2 re))) (cbrt (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* im (sqrt (+ (* 1/8 (pow re 2)) (* 1/2 re)))) im (* (cbrt im) (+ (* 1/8 (pow re 2)) (* 1/2 re))) (* (sqrt im) (+ (* 1/8 (pow re 2)) (* 1/2 re))) (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) (* im (+ (pow (* 1/8 (pow re 2)) 3) (pow (* 1/2 re) 3))) (* im (* (pow re 2) (- (* (* 1/8 (pow re 2)) 1/8) 1/4))) (* im (+ (* 1/2 (pow re 2)) (+ re 1))) (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* (sqrt (exp re)) (+ im (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))))) (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) 1.277 * * * [progress]: adding candidates to table 1.395 * [progress]: [Phase 3 of 3] Extracting. 1.395 * * [regime]: Finding splitpoints for: (# # # #) 1.396 * * * [regime-changes]: Trying 5 branch expressions: ((sin im) (exp re) (* (exp re) (sin im)) im re) 1.396 * * * * [regimes]: Trying to branch on (sin im) from (# # # #) 1.416 * * * * [regimes]: Trying to branch on (exp re) from (# # # #) 1.434 * * * * [regimes]: Trying to branch on (* (exp re) (sin im)) from (# # # #) 1.459 * * * * [regimes]: Trying to branch on im from (# # # #) 1.477 * * * * [regimes]: Trying to branch on re from (# # # #) 1.497 * * * [regime]: Found split indices: #