16.310 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.039 * * * [progress]: [2/2] Setting up program. 0.041 * [progress]: [Phase 2 of 3] Improving. 0.041 * [simplify]: Simplifying using # : (* (exp re) (sin im)) 0.043 * * [simplify]: iteration 0 : 6 enodes (cost 3 ) 0.045 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 0.045 * [simplify]: Simplified to: (* (exp re) (sin im)) 0.045 * * [progress]: iteration 1 / 4 0.045 * * * [progress]: picking best candidate 0.046 * * * * [pick]: Picked # 0.046 * * * [progress]: localizing error 0.052 * * * [progress]: generating rewritten candidates 0.052 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.058 * * * [progress]: generating series expansions 0.058 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.058 * [approximate]: Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0 0.058 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im 0.058 * [taylor]: Taking taylor expansion of (sin im) in im 0.058 * [taylor]: Taking taylor expansion of im in im 0.058 * [taylor]: Taking taylor expansion of (exp re) in im 0.058 * [taylor]: Taking taylor expansion of re in im 0.058 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 0.058 * [taylor]: Taking taylor expansion of (sin im) in re 0.058 * [taylor]: Taking taylor expansion of im in re 0.058 * [taylor]: Taking taylor expansion of (exp re) in re 0.058 * [taylor]: Taking taylor expansion of re in re 0.058 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 0.058 * [taylor]: Taking taylor expansion of (sin im) in re 0.058 * [taylor]: Taking taylor expansion of im in re 0.058 * [taylor]: Taking taylor expansion of (exp re) in re 0.058 * [taylor]: Taking taylor expansion of re in re 0.058 * [taylor]: Taking taylor expansion of (sin im) in im 0.058 * [taylor]: Taking taylor expansion of im in im 0.061 * [taylor]: Taking taylor expansion of (sin im) in im 0.061 * [taylor]: Taking taylor expansion of im in im 0.064 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 0.064 * [taylor]: Taking taylor expansion of 1/2 in im 0.064 * [taylor]: Taking taylor expansion of (sin im) in im 0.064 * [taylor]: Taking taylor expansion of im in im 0.069 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im 0.069 * [taylor]: Taking taylor expansion of 1/6 in im 0.070 * [taylor]: Taking taylor expansion of (sin im) in im 0.070 * [taylor]: Taking taylor expansion of im in im 0.071 * [approximate]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in (re im) around 0 0.071 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in im 0.071 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.071 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.071 * [taylor]: Taking taylor expansion of re in im 0.071 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.071 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.071 * [taylor]: Taking taylor expansion of im in im 0.071 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in re 0.071 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.071 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.071 * [taylor]: Taking taylor expansion of re in re 0.072 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.072 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.072 * [taylor]: Taking taylor expansion of im in re 0.072 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in re 0.072 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.072 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.072 * [taylor]: Taking taylor expansion of re in re 0.072 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.072 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.072 * [taylor]: Taking taylor expansion of im in re 0.072 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in im 0.073 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.073 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.073 * [taylor]: Taking taylor expansion of re in im 0.073 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.073 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.073 * [taylor]: Taking taylor expansion of im in im 0.078 * [taylor]: Taking taylor expansion of 0 in im 0.081 * [taylor]: Taking taylor expansion of 0 in im 0.085 * [taylor]: Taking taylor expansion of 0 in im 0.086 * [approximate]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in (re im) around 0 0.086 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 0.086 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.086 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.086 * [taylor]: Taking taylor expansion of -1 in im 0.086 * [taylor]: Taking taylor expansion of im in im 0.086 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.086 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.086 * [taylor]: Taking taylor expansion of -1 in im 0.086 * [taylor]: Taking taylor expansion of re in im 0.086 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 0.086 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.086 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.086 * [taylor]: Taking taylor expansion of -1 in re 0.086 * [taylor]: Taking taylor expansion of im in re 0.086 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.086 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.086 * [taylor]: Taking taylor expansion of -1 in re 0.086 * [taylor]: Taking taylor expansion of re in re 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.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.088 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.088 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.088 * [taylor]: Taking taylor expansion of -1 in im 0.088 * [taylor]: Taking taylor expansion of re in im 0.090 * [taylor]: Taking taylor expansion of 0 in im 0.092 * [taylor]: Taking taylor expansion of 0 in im 0.097 * [taylor]: Taking taylor expansion of 0 in im 0.097 * * * [progress]: simplifying candidates 0.097 * [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.100 * * [simplify]: iteration 0 : 87 enodes (cost 100 ) 0.102 * * [simplify]: iteration 1 : 289 enodes (cost 86 ) 0.108 * * [simplify]: iteration 2 : 1099 enodes (cost 86 ) 0.128 * * [simplify]: iteration 3 : 4640 enodes (cost 86 ) 0.262 * * [simplify]: iteration 4 : 5001 enodes (cost 86 ) 0.263 * [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.263 * * * [progress]: adding candidates to table 0.300 * * [progress]: iteration 2 / 4 0.300 * * * [progress]: picking best candidate 0.304 * * * * [pick]: Picked # 0.304 * * * [progress]: localizing error 0.311 * * * [progress]: generating rewritten candidates 0.311 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.319 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.340 * * * [progress]: generating series expansions 0.340 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.340 * [approximate]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in (re im) around 0 0.340 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in im 0.340 * [taylor]: Taking taylor expansion of (sin im) in im 0.340 * [taylor]: Taking taylor expansion of im in im 0.340 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in im 0.340 * [taylor]: Taking taylor expansion of (exp re) in im 0.340 * [taylor]: Taking taylor expansion of re in im 0.341 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.341 * [taylor]: Taking taylor expansion of (sin im) in re 0.341 * [taylor]: Taking taylor expansion of im in re 0.341 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.341 * [taylor]: Taking taylor expansion of (exp re) in re 0.341 * [taylor]: Taking taylor expansion of re in re 0.342 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.342 * [taylor]: Taking taylor expansion of (sin im) in re 0.342 * [taylor]: Taking taylor expansion of im in re 0.342 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.342 * [taylor]: Taking taylor expansion of (exp re) in re 0.342 * [taylor]: Taking taylor expansion of re in re 0.344 * [taylor]: Taking taylor expansion of (sin im) in im 0.344 * [taylor]: Taking taylor expansion of im in im 0.345 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 0.345 * [taylor]: Taking taylor expansion of 1/2 in im 0.345 * [taylor]: Taking taylor expansion of (sin im) in im 0.345 * [taylor]: Taking taylor expansion of im in im 0.350 * [taylor]: Taking taylor expansion of (* 1/8 (sin im)) in im 0.350 * [taylor]: Taking taylor expansion of 1/8 in im 0.350 * [taylor]: Taking taylor expansion of (sin im) in im 0.350 * [taylor]: Taking taylor expansion of im in im 0.356 * [taylor]: Taking taylor expansion of (* 1/48 (sin im)) in im 0.356 * [taylor]: Taking taylor expansion of 1/48 in im 0.356 * [taylor]: Taking taylor expansion of (sin im) in im 0.356 * [taylor]: Taking taylor expansion of im in im 0.357 * [approximate]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in (re im) around 0 0.357 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in im 0.357 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 0.357 * [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 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 im in im 0.359 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 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 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 im in re 0.359 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 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 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 im in re 0.360 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in im 0.360 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 0.360 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.360 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.360 * [taylor]: Taking taylor expansion of re in im 0.361 * [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 im 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 * [approximate]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in (re im) around 0 0.371 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 0.371 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.371 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.371 * [taylor]: Taking taylor expansion of -1 in im 0.371 * [taylor]: Taking taylor expansion of im in im 0.371 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 0.372 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.372 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.372 * [taylor]: Taking taylor expansion of -1 in im 0.372 * [taylor]: Taking taylor expansion of re in im 0.372 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.372 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.372 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.372 * [taylor]: Taking taylor expansion of -1 in re 0.372 * [taylor]: Taking taylor expansion of im in re 0.372 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.372 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.372 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.372 * [taylor]: Taking taylor expansion of -1 in re 0.372 * [taylor]: Taking taylor expansion of re in re 0.373 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.373 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.373 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.373 * [taylor]: Taking taylor expansion of -1 in re 0.373 * [taylor]: Taking taylor expansion of im in re 0.373 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.373 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.373 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.373 * [taylor]: Taking taylor expansion of -1 in re 0.373 * [taylor]: Taking taylor expansion of re in re 0.374 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 0.374 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.374 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.374 * [taylor]: Taking taylor expansion of -1 in im 0.374 * [taylor]: Taking taylor expansion of im in im 0.374 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 0.374 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.374 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.374 * [taylor]: Taking taylor expansion of -1 in im 0.374 * [taylor]: Taking taylor expansion of re in im 0.377 * [taylor]: Taking taylor expansion of 0 in im 0.379 * [taylor]: Taking taylor expansion of 0 in im 0.389 * [taylor]: Taking taylor expansion of 0 in im 0.390 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.390 * [approximate]: Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0 0.390 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im 0.390 * [taylor]: Taking taylor expansion of (sin im) in im 0.390 * [taylor]: Taking taylor expansion of im in im 0.390 * [taylor]: Taking taylor expansion of (exp re) in im 0.390 * [taylor]: Taking taylor expansion of re in im 0.390 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 0.390 * [taylor]: Taking taylor expansion of (sin im) in re 0.390 * [taylor]: Taking taylor expansion of im in re 0.390 * [taylor]: Taking taylor expansion of (exp re) in re 0.390 * [taylor]: Taking taylor expansion of re in re 0.390 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 0.390 * [taylor]: Taking taylor expansion of (sin im) in re 0.390 * [taylor]: Taking taylor expansion of im in re 0.390 * [taylor]: Taking taylor expansion of (exp re) in re 0.390 * [taylor]: Taking taylor expansion of re in re 0.390 * [taylor]: Taking taylor expansion of (sin im) in im 0.390 * [taylor]: Taking taylor expansion of im in im 0.393 * [taylor]: Taking taylor expansion of (sin im) in im 0.393 * [taylor]: Taking taylor expansion of im in im 0.397 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 0.397 * [taylor]: Taking taylor expansion of 1/2 in im 0.397 * [taylor]: Taking taylor expansion of (sin im) in im 0.397 * [taylor]: Taking taylor expansion of im in im 0.402 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im 0.402 * [taylor]: Taking taylor expansion of 1/6 in im 0.402 * [taylor]: Taking taylor expansion of (sin im) in im 0.402 * [taylor]: Taking taylor expansion of im in im 0.403 * [approximate]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in (re im) around 0 0.403 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in im 0.403 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.403 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.403 * [taylor]: Taking taylor expansion of re in im 0.403 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.403 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.403 * [taylor]: Taking taylor expansion of im in im 0.404 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in re 0.404 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.404 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.404 * [taylor]: Taking taylor expansion of re in re 0.404 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.404 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.404 * [taylor]: Taking taylor expansion of im in re 0.404 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in re 0.404 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.404 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.404 * [taylor]: Taking taylor expansion of re in re 0.405 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.405 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.405 * [taylor]: Taking taylor expansion of im in re 0.405 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in im 0.405 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.405 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.405 * [taylor]: Taking taylor expansion of re in im 0.405 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.405 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.405 * [taylor]: Taking taylor expansion of im in im 0.407 * [taylor]: Taking taylor expansion of 0 in im 0.410 * [taylor]: Taking taylor expansion of 0 in im 0.414 * [taylor]: Taking taylor expansion of 0 in im 0.415 * [approximate]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in (re im) around 0 0.415 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 0.415 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.415 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.415 * [taylor]: Taking taylor expansion of -1 in im 0.415 * [taylor]: Taking taylor expansion of im in im 0.415 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.415 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.415 * [taylor]: Taking taylor expansion of -1 in im 0.415 * [taylor]: Taking taylor expansion of re in im 0.415 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 0.415 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.415 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.415 * [taylor]: Taking taylor expansion of -1 in re 0.415 * [taylor]: Taking taylor expansion of im in re 0.415 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.415 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.415 * [taylor]: Taking taylor expansion of -1 in re 0.415 * [taylor]: Taking taylor expansion of re in re 0.416 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 0.416 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.416 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.416 * [taylor]: Taking taylor expansion of -1 in re 0.416 * [taylor]: Taking taylor expansion of im in re 0.416 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.416 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.416 * [taylor]: Taking taylor expansion of -1 in re 0.416 * [taylor]: Taking taylor expansion of re in re 0.417 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 0.417 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.417 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.417 * [taylor]: Taking taylor expansion of -1 in im 0.417 * [taylor]: Taking taylor expansion of im in im 0.417 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.417 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.417 * [taylor]: Taking taylor expansion of -1 in im 0.417 * [taylor]: Taking taylor expansion of re in im 0.419 * [taylor]: Taking taylor expansion of 0 in im 0.422 * [taylor]: Taking taylor expansion of 0 in im 0.426 * [taylor]: Taking taylor expansion of 0 in im 0.426 * * * [progress]: simplifying candidates 0.427 * [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.430 * * [simplify]: iteration 0 : 154 enodes (cost 318 ) 0.434 * * [simplify]: iteration 1 : 601 enodes (cost 264 ) 0.446 * * [simplify]: iteration 2 : 2170 enodes (cost 264 ) 0.482 * * [simplify]: iteration 3 : 5001 enodes (cost 257 ) 0.484 * [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.484 * * * [progress]: adding candidates to table 0.576 * * [progress]: iteration 3 / 4 0.576 * * * [progress]: picking best candidate 0.579 * * * * [pick]: Picked # 0.579 * * * [progress]: localizing error 0.589 * * * [progress]: generating rewritten candidates 0.589 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.591 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.596 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 0.604 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.618 * * * [progress]: generating series expansions 0.618 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.619 * [approximate]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in (re im) around 0 0.619 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in im 0.619 * [taylor]: Taking taylor expansion of (sin im) in im 0.619 * [taylor]: Taking taylor expansion of im in im 0.619 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in im 0.619 * [taylor]: Taking taylor expansion of (exp re) in im 0.619 * [taylor]: Taking taylor expansion of re in im 0.619 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.619 * [taylor]: Taking taylor expansion of (sin im) in re 0.619 * [taylor]: Taking taylor expansion of im in re 0.619 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.619 * [taylor]: Taking taylor expansion of (exp re) in re 0.620 * [taylor]: Taking taylor expansion of re in re 0.621 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.621 * [taylor]: Taking taylor expansion of (sin im) in re 0.621 * [taylor]: Taking taylor expansion of im in re 0.621 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.621 * [taylor]: Taking taylor expansion of (exp re) in re 0.621 * [taylor]: Taking taylor expansion of re in re 0.626 * [taylor]: Taking taylor expansion of (sin im) in im 0.626 * [taylor]: Taking taylor expansion of im in im 0.628 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 0.628 * [taylor]: Taking taylor expansion of 1/2 in im 0.628 * [taylor]: Taking taylor expansion of (sin im) in im 0.628 * [taylor]: Taking taylor expansion of im in im 0.632 * [taylor]: Taking taylor expansion of (* 1/8 (sin im)) in im 0.632 * [taylor]: Taking taylor expansion of 1/8 in im 0.632 * [taylor]: Taking taylor expansion of (sin im) in im 0.632 * [taylor]: Taking taylor expansion of im in im 0.638 * [taylor]: Taking taylor expansion of (* 1/48 (sin im)) in im 0.639 * [taylor]: Taking taylor expansion of 1/48 in im 0.639 * [taylor]: Taking taylor expansion of (sin im) in im 0.639 * [taylor]: Taking taylor expansion of im in im 0.640 * [approximate]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in (re im) around 0 0.640 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in im 0.640 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 0.640 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.640 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.640 * [taylor]: Taking taylor expansion of re in im 0.641 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.641 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.641 * [taylor]: Taking taylor expansion of im in im 0.641 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in re 0.641 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 0.641 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.641 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.641 * [taylor]: Taking taylor expansion of re in re 0.642 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.642 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.642 * [taylor]: Taking taylor expansion of im in re 0.642 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in re 0.642 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 0.642 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.642 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.642 * [taylor]: Taking taylor expansion of re in re 0.642 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.642 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.642 * [taylor]: Taking taylor expansion of im in re 0.643 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in im 0.643 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 0.643 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.643 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.643 * [taylor]: Taking taylor expansion of re in im 0.643 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.643 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.643 * [taylor]: Taking taylor expansion of im in im 0.645 * [taylor]: Taking taylor expansion of 0 in im 0.648 * [taylor]: Taking taylor expansion of 0 in im 0.653 * [taylor]: Taking taylor expansion of 0 in im 0.654 * [approximate]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in (re im) around 0 0.654 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 0.654 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.654 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.654 * [taylor]: Taking taylor expansion of -1 in im 0.654 * [taylor]: Taking taylor expansion of im in im 0.654 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 0.654 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.654 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.654 * [taylor]: Taking taylor expansion of -1 in im 0.654 * [taylor]: Taking taylor expansion of re in im 0.655 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.655 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.655 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.655 * [taylor]: Taking taylor expansion of -1 in re 0.655 * [taylor]: Taking taylor expansion of im in re 0.655 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.655 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.655 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.655 * [taylor]: Taking taylor expansion of -1 in re 0.655 * [taylor]: Taking taylor expansion of re in re 0.655 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.655 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.655 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.655 * [taylor]: Taking taylor expansion of -1 in re 0.655 * [taylor]: Taking taylor expansion of im in re 0.656 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.656 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.656 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.656 * [taylor]: Taking taylor expansion of -1 in re 0.656 * [taylor]: Taking taylor expansion of re in re 0.656 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 0.656 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.656 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.656 * [taylor]: Taking taylor expansion of -1 in im 0.656 * [taylor]: Taking taylor expansion of 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 -1 in im 0.657 * [taylor]: Taking taylor expansion of re in im 0.659 * [taylor]: Taking taylor expansion of 0 in im 0.662 * [taylor]: Taking taylor expansion of 0 in im 0.667 * [taylor]: Taking taylor expansion of 0 in im 0.667 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.667 * [approximate]: Taking taylor expansion of (pow (* (sin im) (sqrt (exp re))) 3) in (re im) around 0 0.667 * [taylor]: Taking taylor expansion of (pow (* (sin im) (sqrt (exp re))) 3) in im 0.667 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in im 0.668 * [taylor]: Taking taylor expansion of (sin im) in im 0.668 * [taylor]: Taking taylor expansion of im in im 0.668 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in im 0.668 * [taylor]: Taking taylor expansion of (exp re) in im 0.668 * [taylor]: Taking taylor expansion of re in im 0.669 * [taylor]: Taking taylor expansion of (pow (* (sin im) (sqrt (exp re))) 3) in re 0.669 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.669 * [taylor]: Taking taylor expansion of (sin im) in re 0.669 * [taylor]: Taking taylor expansion of im in re 0.669 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.669 * [taylor]: Taking taylor expansion of (exp re) in re 0.669 * [taylor]: Taking taylor expansion of re in re 0.670 * [taylor]: Taking taylor expansion of (pow (* (sin im) (sqrt (exp re))) 3) in re 0.670 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.670 * [taylor]: Taking taylor expansion of (sin im) in re 0.670 * [taylor]: Taking taylor expansion of im in re 0.670 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.670 * [taylor]: Taking taylor expansion of (exp re) in re 0.670 * [taylor]: Taking taylor expansion of re in re 0.672 * [taylor]: Taking taylor expansion of (pow (sin im) 3) in im 0.672 * [taylor]: Taking taylor expansion of (sin im) in im 0.672 * [taylor]: Taking taylor expansion of im in im 0.675 * [taylor]: Taking taylor expansion of (* 3/2 (pow (sin im) 3)) in im 0.675 * [taylor]: Taking taylor expansion of 3/2 in im 0.675 * [taylor]: Taking taylor expansion of (pow (sin im) 3) in im 0.675 * [taylor]: Taking taylor expansion of (sin im) in im 0.675 * [taylor]: Taking taylor expansion of im in im 0.682 * [taylor]: Taking taylor expansion of (* 9/8 (pow (sin im) 3)) in im 0.682 * [taylor]: Taking taylor expansion of 9/8 in im 0.682 * [taylor]: Taking taylor expansion of (pow (sin im) 3) in im 0.682 * [taylor]: Taking taylor expansion of (sin im) in im 0.682 * [taylor]: Taking taylor expansion of im in im 0.683 * [approximate]: Taking taylor expansion of (pow (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) 3) in (re im) around 0 0.683 * [taylor]: Taking taylor expansion of (pow (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) 3) in im 0.684 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in im 0.684 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 0.684 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.684 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.684 * [taylor]: Taking taylor expansion of re in im 0.684 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.684 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.684 * [taylor]: Taking taylor expansion of im in im 0.685 * [taylor]: Taking taylor expansion of (pow (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) 3) in re 0.685 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in re 0.685 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 0.685 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.685 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.685 * [taylor]: Taking taylor expansion of re in re 0.685 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.685 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.685 * [taylor]: Taking taylor expansion of im in re 0.685 * [taylor]: Taking taylor expansion of (pow (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) 3) in re 0.686 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in re 0.686 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 0.686 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.686 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.686 * [taylor]: Taking taylor expansion of re in re 0.686 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.686 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.686 * [taylor]: Taking taylor expansion of im in re 0.687 * [taylor]: Taking taylor expansion of (* (sqrt (pow (exp (/ 1 re)) 3)) (pow (sin (/ 1 im)) 3)) in im 0.687 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ 1 re)) 3)) in im 0.687 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 re)) 3) in im 0.687 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.687 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.687 * [taylor]: Taking taylor expansion of re in im 0.688 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 im)) 3) in im 0.688 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.688 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.688 * [taylor]: Taking taylor expansion of im in im 0.691 * [taylor]: Taking taylor expansion of 0 in im 0.695 * [taylor]: Taking taylor expansion of 0 in im 0.703 * [taylor]: Taking taylor expansion of 0 in im 0.703 * [approximate]: Taking taylor expansion of (pow (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) 3) in (re im) around 0 0.703 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) 3) in im 0.703 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 0.703 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.703 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.703 * [taylor]: Taking taylor expansion of -1 in im 0.703 * [taylor]: Taking taylor expansion of im in im 0.704 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 0.704 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.704 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.704 * [taylor]: Taking taylor expansion of -1 in im 0.704 * [taylor]: Taking taylor expansion of re in im 0.704 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) 3) in re 0.704 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.704 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.704 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.704 * [taylor]: Taking taylor expansion of -1 in re 0.704 * [taylor]: Taking taylor expansion of im in re 0.705 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.705 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.705 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.705 * [taylor]: Taking taylor expansion of -1 in re 0.705 * [taylor]: Taking taylor expansion of re in re 0.705 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) 3) in re 0.705 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.705 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.705 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.705 * [taylor]: Taking taylor expansion of -1 in re 0.705 * [taylor]: Taking taylor expansion of im in re 0.705 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.705 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.705 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.705 * [taylor]: Taking taylor expansion of -1 in re 0.705 * [taylor]: Taking taylor expansion of re in re 0.706 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 im)) 3) (sqrt (pow (exp (/ -1 re)) 3))) in im 0.706 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 im)) 3) in im 0.706 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.706 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.706 * [taylor]: Taking taylor expansion of -1 in im 0.706 * [taylor]: Taking taylor expansion of im in im 0.707 * [taylor]: Taking taylor expansion of (sqrt (pow (exp (/ -1 re)) 3)) in im 0.707 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 re)) 3) in im 0.707 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.707 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.707 * [taylor]: Taking taylor expansion of -1 in im 0.707 * [taylor]: Taking taylor expansion of re in im 0.716 * [taylor]: Taking taylor expansion of 0 in im 0.720 * [taylor]: Taking taylor expansion of 0 in im 0.728 * [taylor]: Taking taylor expansion of 0 in im 0.728 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 0.728 * [approximate]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in (re im) around 0 0.728 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in im 0.728 * [taylor]: Taking taylor expansion of (sin im) in im 0.728 * [taylor]: Taking taylor expansion of im in im 0.728 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in im 0.728 * [taylor]: Taking taylor expansion of (exp re) in im 0.728 * [taylor]: Taking taylor expansion of re in im 0.729 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.729 * [taylor]: Taking taylor expansion of (sin im) in re 0.729 * [taylor]: Taking taylor expansion of im in re 0.729 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.729 * [taylor]: Taking taylor expansion of (exp re) in re 0.729 * [taylor]: Taking taylor expansion of re in re 0.730 * [taylor]: Taking taylor expansion of (* (sin im) (sqrt (exp re))) in re 0.730 * [taylor]: Taking taylor expansion of (sin im) in re 0.730 * [taylor]: Taking taylor expansion of im in re 0.730 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 0.730 * [taylor]: Taking taylor expansion of (exp re) in re 0.730 * [taylor]: Taking taylor expansion of re in re 0.732 * [taylor]: Taking taylor expansion of (sin im) in im 0.732 * [taylor]: Taking taylor expansion of im in im 0.733 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 0.733 * [taylor]: Taking taylor expansion of 1/2 in im 0.733 * [taylor]: Taking taylor expansion of (sin im) in im 0.733 * [taylor]: Taking taylor expansion of im in im 0.738 * [taylor]: Taking taylor expansion of (* 1/8 (sin im)) in im 0.738 * [taylor]: Taking taylor expansion of 1/8 in im 0.738 * [taylor]: Taking taylor expansion of (sin im) in im 0.738 * [taylor]: Taking taylor expansion of im in im 0.744 * [taylor]: Taking taylor expansion of (* 1/48 (sin im)) in im 0.744 * [taylor]: Taking taylor expansion of 1/48 in im 0.744 * [taylor]: Taking taylor expansion of (sin im) in im 0.744 * [taylor]: Taking taylor expansion of im in im 0.745 * [approximate]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in (re im) around 0 0.745 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in im 0.745 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 0.745 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.745 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.746 * [taylor]: Taking taylor expansion of re in im 0.746 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.746 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.746 * [taylor]: Taking taylor expansion of im in im 0.746 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in re 0.747 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 0.747 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.747 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.747 * [taylor]: Taking taylor expansion of re in re 0.747 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.747 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.747 * [taylor]: Taking taylor expansion of im in re 0.747 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in re 0.747 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 0.747 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.747 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.747 * [taylor]: Taking taylor expansion of re in re 0.748 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.748 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.748 * [taylor]: Taking taylor expansion of im in re 0.748 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (sin (/ 1 im))) in im 0.748 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 0.748 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.748 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.748 * [taylor]: Taking taylor expansion of re in im 0.749 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.749 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.749 * [taylor]: Taking taylor expansion of im in im 0.751 * [taylor]: Taking taylor expansion of 0 in im 0.753 * [taylor]: Taking taylor expansion of 0 in im 0.758 * [taylor]: Taking taylor expansion of 0 in im 0.759 * [approximate]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in (re im) around 0 0.759 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 0.759 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.759 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.759 * [taylor]: Taking taylor expansion of -1 in im 0.759 * [taylor]: Taking taylor expansion of im in im 0.759 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 0.759 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.759 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.759 * [taylor]: Taking taylor expansion of -1 in im 0.759 * [taylor]: Taking taylor expansion of re in im 0.760 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.760 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.760 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.760 * [taylor]: Taking taylor expansion of -1 in re 0.760 * [taylor]: Taking taylor expansion of im in re 0.760 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.760 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.760 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.760 * [taylor]: Taking taylor expansion of -1 in re 0.760 * [taylor]: Taking taylor expansion of re in re 0.760 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in re 0.760 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.760 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.760 * [taylor]: Taking taylor expansion of -1 in re 0.760 * [taylor]: Taking taylor expansion of im in re 0.761 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 0.761 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.761 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.761 * [taylor]: Taking taylor expansion of -1 in re 0.761 * [taylor]: Taking taylor expansion of re in re 0.761 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (sqrt (exp (/ -1 re)))) in im 0.761 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.761 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.761 * [taylor]: Taking taylor expansion of -1 in im 0.761 * [taylor]: Taking taylor expansion of im in im 0.762 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 0.762 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.762 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.762 * [taylor]: Taking taylor expansion of -1 in im 0.762 * [taylor]: Taking taylor expansion of re in im 0.764 * [taylor]: Taking taylor expansion of 0 in im 0.767 * [taylor]: Taking taylor expansion of 0 in im 0.772 * [taylor]: Taking taylor expansion of 0 in im 0.772 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.773 * [approximate]: Taking taylor expansion of (* (sin im) (exp re)) in (re im) around 0 0.773 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in im 0.773 * [taylor]: Taking taylor expansion of (sin im) in im 0.773 * [taylor]: Taking taylor expansion of im in im 0.773 * [taylor]: Taking taylor expansion of (exp re) in im 0.773 * [taylor]: Taking taylor expansion of re in im 0.773 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 0.773 * [taylor]: Taking taylor expansion of (sin im) in re 0.773 * [taylor]: Taking taylor expansion of im in re 0.773 * [taylor]: Taking taylor expansion of (exp re) in re 0.773 * [taylor]: Taking taylor expansion of re in re 0.773 * [taylor]: Taking taylor expansion of (* (sin im) (exp re)) in re 0.773 * [taylor]: Taking taylor expansion of (sin im) in re 0.773 * [taylor]: Taking taylor expansion of im in re 0.773 * [taylor]: Taking taylor expansion of (exp re) in re 0.773 * [taylor]: Taking taylor expansion of re in re 0.773 * [taylor]: Taking taylor expansion of (sin im) in im 0.773 * [taylor]: Taking taylor expansion of im in im 0.776 * [taylor]: Taking taylor expansion of (sin im) in im 0.776 * [taylor]: Taking taylor expansion of im in im 0.779 * [taylor]: Taking taylor expansion of (* 1/2 (sin im)) in im 0.779 * [taylor]: Taking taylor expansion of 1/2 in im 0.779 * [taylor]: Taking taylor expansion of (sin im) in im 0.779 * [taylor]: Taking taylor expansion of im in im 0.785 * [taylor]: Taking taylor expansion of (* 1/6 (sin im)) in im 0.785 * [taylor]: Taking taylor expansion of 1/6 in im 0.785 * [taylor]: Taking taylor expansion of (sin im) in im 0.785 * [taylor]: Taking taylor expansion of im in im 0.786 * [approximate]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in (re im) around 0 0.786 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in im 0.787 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.787 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.787 * [taylor]: Taking taylor expansion of re in im 0.787 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.787 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.787 * [taylor]: Taking taylor expansion of im in im 0.787 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in re 0.787 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.787 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.787 * [taylor]: Taking taylor expansion of re in re 0.787 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.787 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.787 * [taylor]: Taking taylor expansion of im in re 0.787 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in re 0.787 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 0.787 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.787 * [taylor]: Taking taylor expansion of re in re 0.788 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in re 0.788 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.788 * [taylor]: Taking taylor expansion of im in re 0.788 * [taylor]: Taking taylor expansion of (* (exp (/ 1 re)) (sin (/ 1 im))) in im 0.788 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 0.788 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.788 * [taylor]: Taking taylor expansion of re in im 0.788 * [taylor]: Taking taylor expansion of (sin (/ 1 im)) in im 0.788 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.788 * [taylor]: Taking taylor expansion of im in im 0.790 * [taylor]: Taking taylor expansion of 0 in im 0.793 * [taylor]: Taking taylor expansion of 0 in im 0.797 * [taylor]: Taking taylor expansion of 0 in im 0.803 * [approximate]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in (re im) around 0 0.803 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 0.803 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.803 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.803 * [taylor]: Taking taylor expansion of -1 in im 0.803 * [taylor]: Taking taylor expansion of im in im 0.804 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.804 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.804 * [taylor]: Taking taylor expansion of -1 in im 0.804 * [taylor]: Taking taylor expansion of re in im 0.804 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 0.804 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.804 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.804 * [taylor]: Taking taylor expansion of -1 in re 0.804 * [taylor]: Taking taylor expansion of im in re 0.804 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.804 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.804 * [taylor]: Taking taylor expansion of -1 in re 0.804 * [taylor]: Taking taylor expansion of re in re 0.804 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 0.804 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in re 0.804 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.804 * [taylor]: Taking taylor expansion of -1 in re 0.804 * [taylor]: Taking taylor expansion of im in re 0.805 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 0.805 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.805 * [taylor]: Taking taylor expansion of -1 in re 0.805 * [taylor]: Taking taylor expansion of re in re 0.805 * [taylor]: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 0.805 * [taylor]: Taking taylor expansion of (sin (/ -1 im)) in im 0.805 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.805 * [taylor]: Taking taylor expansion of -1 in im 0.805 * [taylor]: Taking taylor expansion of im in im 0.806 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 0.806 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.806 * [taylor]: Taking taylor expansion of -1 in im 0.806 * [taylor]: Taking taylor expansion of re in im 0.807 * [taylor]: Taking taylor expansion of 0 in im 0.810 * [taylor]: Taking taylor expansion of 0 in im 0.815 * [taylor]: Taking taylor expansion of 0 in im 0.815 * * * [progress]: simplifying candidates 0.816 * [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.821 * * [simplify]: iteration 0 : 257 enodes (cost 811 ) 0.827 * * [simplify]: iteration 1 : 1146 enodes (cost 751 ) 0.855 * * [simplify]: iteration 2 : 5001 enodes (cost 731 ) 0.858 * [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.859 * * * [progress]: adding candidates to table 1.097 * * [progress]: iteration 4 / 4 1.097 * * * [progress]: picking best candidate 1.100 * * * * [pick]: Picked # 1.100 * * * [progress]: localizing error 1.112 * * * [progress]: generating rewritten candidates 1.112 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.127 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 1.138 * * * [progress]: generating series expansions 1.139 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.139 * [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.139 * [taylor]: Taking taylor expansion of (* (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) (sqrt (exp re))) in im 1.139 * [taylor]: Taking taylor expansion of (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) in im 1.139 * [taylor]: Taking taylor expansion of (* 1/8 (* (pow re 2) im)) in im 1.139 * [taylor]: Taking taylor expansion of 1/8 in im 1.139 * [taylor]: Taking taylor expansion of (* (pow re 2) im) 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 im in im 1.139 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* re im)) im) in im 1.139 * [taylor]: Taking taylor expansion of (* 1/2 (* re im)) in im 1.139 * [taylor]: Taking taylor expansion of 1/2 in im 1.139 * [taylor]: Taking taylor expansion of (* re im) in im 1.139 * [taylor]: Taking taylor expansion of re in im 1.139 * [taylor]: Taking taylor expansion of im in im 1.139 * [taylor]: Taking taylor expansion of im in im 1.139 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in im 1.139 * [taylor]: Taking taylor expansion of (exp re) in im 1.139 * [taylor]: Taking taylor expansion of re in im 1.140 * [taylor]: Taking taylor expansion of (* (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) (sqrt (exp re))) in re 1.140 * [taylor]: Taking taylor expansion of (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) in re 1.140 * [taylor]: Taking taylor expansion of (* 1/8 (* (pow re 2) im)) in re 1.140 * [taylor]: Taking taylor expansion of 1/8 in re 1.140 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1.140 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.140 * [taylor]: Taking taylor expansion of re in re 1.140 * [taylor]: Taking taylor expansion of im in re 1.140 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* re im)) im) in re 1.140 * [taylor]: Taking taylor expansion of (* 1/2 (* re im)) in re 1.140 * [taylor]: Taking taylor expansion of 1/2 in re 1.140 * [taylor]: Taking taylor expansion of (* re im) in re 1.140 * [taylor]: Taking taylor expansion of re in re 1.140 * [taylor]: Taking taylor expansion of im in re 1.140 * [taylor]: Taking taylor expansion of im in re 1.140 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 1.140 * [taylor]: Taking taylor expansion of (exp re) in re 1.140 * [taylor]: Taking taylor expansion of re in re 1.142 * [taylor]: Taking taylor expansion of (* (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) (sqrt (exp re))) in re 1.142 * [taylor]: Taking taylor expansion of (+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im)) in re 1.142 * [taylor]: Taking taylor expansion of (* 1/8 (* (pow re 2) im)) in re 1.142 * [taylor]: Taking taylor expansion of 1/8 in re 1.142 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1.142 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.142 * [taylor]: Taking taylor expansion of re in re 1.142 * [taylor]: Taking taylor expansion of im in re 1.142 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* re im)) im) in re 1.142 * [taylor]: Taking taylor expansion of (* 1/2 (* re im)) in re 1.142 * [taylor]: Taking taylor expansion of 1/2 in re 1.142 * [taylor]: Taking taylor expansion of (* re im) in re 1.142 * [taylor]: Taking taylor expansion of re in re 1.142 * [taylor]: Taking taylor expansion of im in re 1.142 * [taylor]: Taking taylor expansion of im in re 1.142 * [taylor]: Taking taylor expansion of (sqrt (exp re)) in re 1.142 * [taylor]: Taking taylor expansion of (exp re) in re 1.142 * [taylor]: Taking taylor expansion of re in re 1.143 * [taylor]: Taking taylor expansion of im in im 1.144 * [taylor]: Taking taylor expansion of im in im 1.147 * [taylor]: Taking taylor expansion of (* 1/2 im) in im 1.147 * [taylor]: Taking taylor expansion of 1/2 in im 1.147 * [taylor]: Taking taylor expansion of im in im 1.152 * [taylor]: Taking taylor expansion of (* 7/48 im) in im 1.152 * [taylor]: Taking taylor expansion of 7/48 in im 1.152 * [taylor]: Taking taylor expansion of im in im 1.153 * [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.153 * [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.153 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im))))) in im 1.153 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.153 * [taylor]: Taking taylor expansion of im in im 1.154 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im)))) in im 1.154 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in im 1.154 * [taylor]: Taking taylor expansion of 1/2 in im 1.154 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1.154 * [taylor]: Taking taylor expansion of (* re im) in im 1.154 * [taylor]: Taking taylor expansion of re in im 1.154 * [taylor]: Taking taylor expansion of im in im 1.154 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (* (pow re 2) im))) in im 1.154 * [taylor]: Taking taylor expansion of 1/8 in im 1.154 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in im 1.154 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in im 1.154 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.154 * [taylor]: Taking taylor expansion of re in im 1.154 * [taylor]: Taking taylor expansion of im in im 1.155 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 1.155 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1.155 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.155 * [taylor]: Taking taylor expansion of re in im 1.155 * [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.156 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im))))) in re 1.156 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.156 * [taylor]: Taking taylor expansion of im in re 1.156 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im)))) in re 1.156 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in re 1.156 * [taylor]: Taking taylor expansion of 1/2 in re 1.156 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1.156 * [taylor]: Taking taylor expansion of (* re im) in re 1.156 * [taylor]: Taking taylor expansion of re in re 1.156 * [taylor]: Taking taylor expansion of im in re 1.156 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (* (pow re 2) im))) in re 1.156 * [taylor]: Taking taylor expansion of 1/8 in re 1.156 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re 1.156 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1.156 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.156 * [taylor]: Taking taylor expansion of re in re 1.156 * [taylor]: Taking taylor expansion of im in re 1.156 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1.156 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1.156 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.156 * [taylor]: Taking taylor expansion of re in re 1.157 * [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.157 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im))))) in re 1.157 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.157 * [taylor]: Taking taylor expansion of im in re 1.157 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* re im))) (* 1/8 (/ 1 (* (pow re 2) im)))) in re 1.157 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in re 1.157 * [taylor]: Taking taylor expansion of 1/2 in re 1.157 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1.157 * [taylor]: Taking taylor expansion of (* re im) in re 1.157 * [taylor]: Taking taylor expansion of re in re 1.157 * [taylor]: Taking taylor expansion of im in re 1.157 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (* (pow re 2) im))) in re 1.157 * [taylor]: Taking taylor expansion of 1/8 in re 1.157 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re 1.157 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1.157 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.157 * [taylor]: Taking taylor expansion of re in re 1.157 * [taylor]: Taking taylor expansion of im in re 1.158 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in re 1.158 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in re 1.158 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.158 * [taylor]: Taking taylor expansion of re in re 1.158 * [taylor]: Taking taylor expansion of (* 1/8 (* (sqrt (exp (/ 1 re))) (/ 1 im))) in im 1.158 * [taylor]: Taking taylor expansion of 1/8 in im 1.158 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (/ 1 im)) in im 1.158 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 1.158 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1.158 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.158 * [taylor]: Taking taylor expansion of re in im 1.159 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.159 * [taylor]: Taking taylor expansion of im in im 1.161 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (exp (/ 1 re))) (/ 1 im))) in im 1.161 * [taylor]: Taking taylor expansion of 1/2 in im 1.161 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (/ 1 im)) in im 1.161 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 1.161 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1.161 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.161 * [taylor]: Taking taylor expansion of re in im 1.162 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.162 * [taylor]: Taking taylor expansion of im in im 1.166 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 re))) (/ 1 im)) in im 1.166 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 re))) in im 1.166 * [taylor]: Taking taylor expansion of (exp (/ 1 re)) in im 1.166 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.166 * [taylor]: Taking taylor expansion of re in im 1.167 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.167 * [taylor]: Taking taylor expansion of im in im 1.168 * [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.169 * [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.169 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* re im))) (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im))))) in im 1.169 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in im 1.169 * [taylor]: Taking taylor expansion of 1/2 in im 1.169 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1.169 * [taylor]: Taking taylor expansion of (* re im) in im 1.169 * [taylor]: Taking taylor expansion of re in im 1.169 * [taylor]: Taking taylor expansion of im in im 1.169 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im)))) in im 1.169 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.169 * [taylor]: Taking taylor expansion of im in im 1.169 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (* (pow re 2) im))) in im 1.169 * [taylor]: Taking taylor expansion of 1/8 in im 1.169 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in im 1.169 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in im 1.169 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.169 * [taylor]: Taking taylor expansion of re in im 1.169 * [taylor]: Taking taylor expansion of im in im 1.170 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 1.170 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1.170 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.170 * [taylor]: Taking taylor expansion of -1 in im 1.170 * [taylor]: Taking taylor expansion of re in im 1.171 * [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.171 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* re im))) (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im))))) in re 1.171 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in re 1.171 * [taylor]: Taking taylor expansion of 1/2 in re 1.171 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1.171 * [taylor]: Taking taylor expansion of (* re im) in re 1.171 * [taylor]: Taking taylor expansion of re in re 1.171 * [taylor]: Taking taylor expansion of im in re 1.171 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im)))) in re 1.171 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.171 * [taylor]: Taking taylor expansion of im in re 1.171 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (* (pow re 2) im))) in re 1.171 * [taylor]: Taking taylor expansion of 1/8 in re 1.171 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re 1.171 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1.171 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.171 * [taylor]: Taking taylor expansion of re in re 1.171 * [taylor]: Taking taylor expansion of im in re 1.172 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1.172 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1.172 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.172 * [taylor]: Taking taylor expansion of -1 in re 1.172 * [taylor]: Taking taylor expansion of re in re 1.172 * [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.172 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* re im))) (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im))))) in re 1.172 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* re im))) in re 1.172 * [taylor]: Taking taylor expansion of 1/2 in re 1.172 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1.172 * [taylor]: Taking taylor expansion of (* re im) in re 1.172 * [taylor]: Taking taylor expansion of re in re 1.172 * [taylor]: Taking taylor expansion of im in re 1.173 * [taylor]: Taking taylor expansion of (+ (/ 1 im) (* 1/8 (/ 1 (* (pow re 2) im)))) in re 1.173 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.173 * [taylor]: Taking taylor expansion of im in re 1.173 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (* (pow re 2) im))) in re 1.173 * [taylor]: Taking taylor expansion of 1/8 in re 1.173 * [taylor]: Taking taylor expansion of (/ 1 (* (pow re 2) im)) in re 1.173 * [taylor]: Taking taylor expansion of (* (pow re 2) im) in re 1.173 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.173 * [taylor]: Taking taylor expansion of re in re 1.173 * [taylor]: Taking taylor expansion of im in re 1.173 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in re 1.173 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in re 1.173 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.173 * [taylor]: Taking taylor expansion of -1 in re 1.173 * [taylor]: Taking taylor expansion of re in re 1.174 * [taylor]: Taking taylor expansion of (* -1/8 (* (sqrt (exp (/ -1 re))) (/ 1 im))) in im 1.174 * [taylor]: Taking taylor expansion of -1/8 in im 1.174 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (/ 1 im)) in im 1.174 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 1.174 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1.174 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.174 * [taylor]: Taking taylor expansion of -1 in im 1.174 * [taylor]: Taking taylor expansion of re in im 1.175 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.175 * [taylor]: Taking taylor expansion of im in im 1.177 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (exp (/ -1 re))) (/ 1 im))) in im 1.177 * [taylor]: Taking taylor expansion of 1/2 in im 1.177 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (/ 1 im)) in im 1.177 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 1.177 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1.177 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.177 * [taylor]: Taking taylor expansion of -1 in im 1.177 * [taylor]: Taking taylor expansion of re in im 1.178 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.178 * [taylor]: Taking taylor expansion of im in im 1.182 * [taylor]: Taking taylor expansion of (- (* (sqrt (exp (/ -1 re))) (/ 1 im))) in im 1.182 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 re))) (/ 1 im)) in im 1.182 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 re))) in im 1.182 * [taylor]: Taking taylor expansion of (exp (/ -1 re)) in im 1.182 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.182 * [taylor]: Taking taylor expansion of -1 in im 1.182 * [taylor]: Taking taylor expansion of re in im 1.183 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.183 * [taylor]: Taking taylor expansion of im in im 1.184 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 1.184 * [approximate]: Taking taylor expansion of (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) in (im re) around 0 1.184 * [taylor]: Taking taylor expansion of (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) in re 1.184 * [taylor]: Taking taylor expansion of im in re 1.184 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow re 2)) (* 1/2 re)) in re 1.184 * [taylor]: Taking taylor expansion of (* 1/8 (pow re 2)) in re 1.184 * [taylor]: Taking taylor expansion of 1/8 in re 1.185 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.185 * [taylor]: Taking taylor expansion of re in re 1.185 * [taylor]: Taking taylor expansion of (* 1/2 re) in re 1.185 * [taylor]: Taking taylor expansion of 1/2 in re 1.185 * [taylor]: Taking taylor expansion of re in re 1.185 * [taylor]: Taking taylor expansion of (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) in im 1.185 * [taylor]: Taking taylor expansion of im in im 1.185 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow re 2)) (* 1/2 re)) in im 1.185 * [taylor]: Taking taylor expansion of (* 1/8 (pow re 2)) in im 1.185 * [taylor]: Taking taylor expansion of 1/8 in im 1.185 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.185 * [taylor]: Taking taylor expansion of re in im 1.185 * [taylor]: Taking taylor expansion of (* 1/2 re) in im 1.185 * [taylor]: Taking taylor expansion of 1/2 in im 1.185 * [taylor]: Taking taylor expansion of re in im 1.185 * [taylor]: Taking taylor expansion of (* im (+ (* 1/8 (pow re 2)) (* 1/2 re))) in im 1.185 * [taylor]: Taking taylor expansion of im in im 1.185 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow re 2)) (* 1/2 re)) in im 1.185 * [taylor]: Taking taylor expansion of (* 1/8 (pow re 2)) in im 1.185 * [taylor]: Taking taylor expansion of 1/8 in im 1.185 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.185 * [taylor]: Taking taylor expansion of re in im 1.185 * [taylor]: Taking taylor expansion of (* 1/2 re) in im 1.185 * [taylor]: Taking taylor expansion of 1/2 in im 1.185 * [taylor]: Taking taylor expansion of re in im 1.185 * [taylor]: Taking taylor expansion of 0 in re 1.187 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow re 2)) (* 1/2 re)) in re 1.187 * [taylor]: Taking taylor expansion of (* 1/8 (pow re 2)) in re 1.187 * [taylor]: Taking taylor expansion of 1/8 in re 1.187 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.187 * [taylor]: Taking taylor expansion of re in re 1.187 * [taylor]: Taking taylor expansion of (* 1/2 re) in re 1.187 * [taylor]: Taking taylor expansion of 1/2 in re 1.187 * [taylor]: Taking taylor expansion of re in re 1.189 * [taylor]: Taking taylor expansion of 0 in re 1.193 * [taylor]: Taking taylor expansion of 0 in re 1.198 * [taylor]: Taking taylor expansion of 0 in re 1.200 * [approximate]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im) in (im re) around 0 1.200 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im) in re 1.200 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in re 1.200 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in re 1.200 * [taylor]: Taking taylor expansion of 1/8 in re 1.200 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.200 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.200 * [taylor]: Taking taylor expansion of re in re 1.201 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in re 1.201 * [taylor]: Taking taylor expansion of 1/2 in re 1.201 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.201 * [taylor]: Taking taylor expansion of re in re 1.201 * [taylor]: Taking taylor expansion of im in re 1.202 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im) in im 1.202 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in im 1.202 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in im 1.202 * [taylor]: Taking taylor expansion of 1/8 in im 1.202 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.202 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.202 * [taylor]: Taking taylor expansion of re in im 1.202 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in im 1.202 * [taylor]: Taking taylor expansion of 1/2 in im 1.202 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.202 * [taylor]: Taking taylor expansion of re in im 1.202 * [taylor]: Taking taylor expansion of im in im 1.202 * [taylor]: Taking taylor expansion of (/ (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im) in im 1.203 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in im 1.203 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in im 1.203 * [taylor]: Taking taylor expansion of 1/8 in im 1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.203 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.203 * [taylor]: Taking taylor expansion of re in im 1.203 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in im 1.203 * [taylor]: Taking taylor expansion of 1/2 in im 1.203 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.203 * [taylor]: Taking taylor expansion of re in im 1.203 * [taylor]: Taking taylor expansion of im in im 1.203 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in re 1.203 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in re 1.203 * [taylor]: Taking taylor expansion of 1/8 in re 1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.203 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.203 * [taylor]: Taking taylor expansion of re in re 1.204 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in re 1.204 * [taylor]: Taking taylor expansion of 1/2 in re 1.204 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.204 * [taylor]: Taking taylor expansion of re in re 1.211 * [taylor]: Taking taylor expansion of 0 in re 1.216 * [taylor]: Taking taylor expansion of 0 in re 1.222 * [taylor]: Taking taylor expansion of 0 in re 1.230 * [taylor]: Taking taylor expansion of 0 in re 1.234 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im)) in (im re) around 0 1.234 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im)) in re 1.234 * [taylor]: Taking taylor expansion of -1 in re 1.234 * [taylor]: Taking taylor expansion of (/ (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im) in re 1.234 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in re 1.234 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in re 1.234 * [taylor]: Taking taylor expansion of 1/8 in re 1.234 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.234 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.234 * [taylor]: Taking taylor expansion of re in re 1.235 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in re 1.235 * [taylor]: Taking taylor expansion of 1/2 in re 1.235 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.235 * [taylor]: Taking taylor expansion of re in re 1.235 * [taylor]: Taking taylor expansion of im in re 1.235 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im)) in im 1.236 * [taylor]: Taking taylor expansion of -1 in im 1.236 * [taylor]: Taking taylor expansion of (/ (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im) in im 1.236 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in im 1.236 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in im 1.236 * [taylor]: Taking taylor expansion of 1/8 in im 1.236 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.236 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.236 * [taylor]: Taking taylor expansion of re in im 1.236 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in im 1.236 * [taylor]: Taking taylor expansion of 1/2 in im 1.236 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.236 * [taylor]: Taking taylor expansion of re in im 1.236 * [taylor]: Taking taylor expansion of im in im 1.236 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im)) in im 1.236 * [taylor]: Taking taylor expansion of -1 in im 1.236 * [taylor]: Taking taylor expansion of (/ (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) im) in im 1.236 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in im 1.236 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in im 1.236 * [taylor]: Taking taylor expansion of 1/8 in im 1.236 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.236 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.236 * [taylor]: Taking taylor expansion of re in im 1.237 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in im 1.237 * [taylor]: Taking taylor expansion of 1/2 in im 1.237 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.237 * [taylor]: Taking taylor expansion of re in im 1.237 * [taylor]: Taking taylor expansion of im in im 1.237 * [taylor]: Taking taylor expansion of (* -1 (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re)))) in re 1.237 * [taylor]: Taking taylor expansion of -1 in re 1.237 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ 1 (pow re 2))) (* 1/2 (/ 1 re))) in re 1.237 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow re 2))) in re 1.237 * [taylor]: Taking taylor expansion of 1/8 in re 1.237 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.237 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.237 * [taylor]: Taking taylor expansion of re in re 1.238 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 re)) in re 1.238 * [taylor]: Taking taylor expansion of 1/2 in re 1.238 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.238 * [taylor]: Taking taylor expansion of re in re 1.241 * [taylor]: Taking taylor expansion of 0 in re 1.247 * [taylor]: Taking taylor expansion of 0 in re 1.256 * [taylor]: Taking taylor expansion of 0 in re 1.266 * [taylor]: Taking taylor expansion of 0 in re 1.270 * * * [progress]: simplifying candidates 1.271 * [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.276 * * [simplify]: iteration 0 : 323 enodes (cost 525 ) 1.284 * * [simplify]: iteration 1 : 1773 enodes (cost 467 ) 1.321 * * [simplify]: iteration 2 : 5001 enodes (cost 467 ) 1.323 * [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.324 * * * [progress]: adding candidates to table 1.443 * [progress]: [Phase 3 of 3] Extracting. 1.443 * * [regime]: Finding splitpoints for: (# # # #) 1.444 * * * [regime-changes]: Trying 5 branch expressions: ((sin im) (exp re) (* (exp re) (sin im)) im re) 1.444 * * * * [regimes]: Trying to branch on (sin im) from (# # # #) 1.468 * * * * [regimes]: Trying to branch on (exp re) from (# # # #) 1.485 * * * * [regimes]: Trying to branch on (* (exp re) (sin im)) from (# # # #) 1.511 * * * * [regimes]: Trying to branch on im from (# # # #) 1.528 * * * * [regimes]: Trying to branch on re from (# # # #) 1.548 * * * [regime]: Found split indices: #