26.127 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.151 * * * [progress]: [2/2] Setting up program. 0.155 * [progress]: [Phase 2 of 3] Improving. 0.155 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) 0.156 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.157 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 0.159 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 0.165 * * [simplify]: iteration 3 : 75 enodes (cost 11 ) 0.182 * * [simplify]: iteration 4 : 110 enodes (cost 11 ) 0.214 * * [simplify]: iteration 5 : 261 enodes (cost 11 ) 0.308 * * [simplify]: iteration 6 : 394 enodes (cost 11 ) 0.432 * * [simplify]: iteration 7 : 566 enodes (cost 11 ) 0.734 * * [simplify]: iteration 8 : 1081 enodes (cost 11 ) 1.470 * * [simplify]: iteration 9 : 1586 enodes (cost 11 ) 1.888 * * [simplify]: iteration 10 : 1622 enodes (cost 11 ) 2.539 * * [simplify]: iteration 11 : 1743 enodes (cost 11 ) 2.992 * * [simplify]: iteration 12 : 1762 enodes (cost 11 ) 3.435 * * [simplify]: iteration done : 1762 enodes (cost 11 ) 3.435 * [simplify]: Simplified to: (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) 3.436 * * [progress]: iteration 1 / 4 3.436 * * * [progress]: picking best candidate 3.439 * * * * [pick]: Picked # 3.439 * * * [progress]: localizing error 3.449 * * * [progress]: generating rewritten candidates 3.449 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 3.455 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.470 * * * [progress]: generating series expansions 3.471 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 3.471 * [approximate]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in (im) around 0 3.471 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 3.471 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 3.471 * [taylor]: Taking taylor expansion of (neg im) in im 3.471 * [taylor]: Taking taylor expansion of im in im 3.471 * [taylor]: Taking taylor expansion of (exp im) in im 3.471 * [taylor]: Taking taylor expansion of im in im 3.471 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 3.471 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 3.471 * [taylor]: Taking taylor expansion of (neg im) in im 3.471 * [taylor]: Taking taylor expansion of im in im 3.471 * [taylor]: Taking taylor expansion of (exp im) in im 3.471 * [taylor]: Taking taylor expansion of im in im 3.474 * [approximate]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 3.474 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 3.474 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 3.474 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 3.474 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.474 * [taylor]: Taking taylor expansion of im in im 3.474 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.474 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.474 * [taylor]: Taking taylor expansion of im in im 3.474 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 3.474 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 3.474 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 3.474 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.474 * [taylor]: Taking taylor expansion of im in im 3.474 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.475 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.475 * [taylor]: Taking taylor expansion of im in im 3.475 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0 3.475 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 3.475 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.475 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.475 * [taylor]: Taking taylor expansion of im in im 3.475 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 3.475 * [taylor]: Taking taylor expansion of (/ -1 im) in im 3.475 * [taylor]: Taking taylor expansion of -1 in im 3.475 * [taylor]: Taking taylor expansion of im in im 3.475 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 3.475 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.475 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.475 * [taylor]: Taking taylor expansion of im in im 3.475 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 3.475 * [taylor]: Taking taylor expansion of (/ -1 im) in im 3.476 * [taylor]: Taking taylor expansion of -1 in im 3.476 * [taylor]: Taking taylor expansion of im in im 3.476 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.476 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) in (re im) around 0 3.476 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) in im 3.476 * [taylor]: Taking taylor expansion of 0.5 in im 3.476 * [taylor]: Taking taylor expansion of (* (sin re) (- (exp (neg im)) (exp im))) in im 3.476 * [taylor]: Taking taylor expansion of (sin re) in im 3.476 * [taylor]: Taking taylor expansion of re in im 3.476 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 3.476 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 3.476 * [taylor]: Taking taylor expansion of (neg im) in im 3.476 * [taylor]: Taking taylor expansion of im in im 3.477 * [taylor]: Taking taylor expansion of (exp im) in im 3.477 * [taylor]: Taking taylor expansion of im in im 3.477 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) in re 3.477 * [taylor]: Taking taylor expansion of 0.5 in re 3.477 * [taylor]: Taking taylor expansion of (* (sin re) (- (exp (neg im)) (exp im))) in re 3.477 * [taylor]: Taking taylor expansion of (sin re) in re 3.477 * [taylor]: Taking taylor expansion of re in re 3.477 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in re 3.477 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 3.477 * [taylor]: Taking taylor expansion of (neg im) in re 3.477 * [taylor]: Taking taylor expansion of im in re 3.477 * [taylor]: Taking taylor expansion of (exp im) in re 3.477 * [taylor]: Taking taylor expansion of im in re 3.477 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) in re 3.477 * [taylor]: Taking taylor expansion of 0.5 in re 3.477 * [taylor]: Taking taylor expansion of (* (sin re) (- (exp (neg im)) (exp im))) in re 3.477 * [taylor]: Taking taylor expansion of (sin re) in re 3.477 * [taylor]: Taking taylor expansion of re in re 3.477 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in re 3.477 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 3.477 * [taylor]: Taking taylor expansion of (neg im) in re 3.477 * [taylor]: Taking taylor expansion of im in re 3.477 * [taylor]: Taking taylor expansion of (exp im) in re 3.477 * [taylor]: Taking taylor expansion of im in re 3.477 * [taylor]: Taking taylor expansion of 0 in im 3.478 * [taylor]: Taking taylor expansion of (- (* 0.5 (exp (neg im))) (* 0.5 (exp im))) in im 3.478 * [taylor]: Taking taylor expansion of (* 0.5 (exp (neg im))) in im 3.478 * [taylor]: Taking taylor expansion of 0.5 in im 3.478 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 3.478 * [taylor]: Taking taylor expansion of (neg im) in im 3.478 * [taylor]: Taking taylor expansion of im in im 3.478 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 3.478 * [taylor]: Taking taylor expansion of 0.5 in im 3.478 * [taylor]: Taking taylor expansion of (exp im) in im 3.478 * [taylor]: Taking taylor expansion of im in im 3.478 * [taylor]: Taking taylor expansion of 0 in im 3.479 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (neg im)))) in im 3.479 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 3.479 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 3.480 * [taylor]: Taking taylor expansion of (exp im) in im 3.480 * [taylor]: Taking taylor expansion of im in im 3.480 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (neg im))) in im 3.480 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 3.480 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 3.480 * [taylor]: Taking taylor expansion of (neg im) in im 3.480 * [taylor]: Taking taylor expansion of im in im 3.481 * [taylor]: Taking taylor expansion of 0 in im 3.481 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 3.481 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 3.481 * [taylor]: Taking taylor expansion of 0.5 in im 3.481 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 3.481 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 3.481 * [taylor]: Taking taylor expansion of (/ 1 re) in im 3.482 * [taylor]: Taking taylor expansion of re in im 3.482 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 3.482 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 3.482 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 3.482 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.482 * [taylor]: Taking taylor expansion of im in im 3.482 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.482 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.482 * [taylor]: Taking taylor expansion of im in im 3.482 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 3.482 * [taylor]: Taking taylor expansion of 0.5 in re 3.482 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 3.482 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 3.482 * [taylor]: Taking taylor expansion of (/ 1 re) in re 3.482 * [taylor]: Taking taylor expansion of re in re 3.482 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 3.482 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 3.482 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 3.482 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.482 * [taylor]: Taking taylor expansion of im in re 3.482 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 3.482 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.482 * [taylor]: Taking taylor expansion of im in re 3.482 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 3.482 * [taylor]: Taking taylor expansion of 0.5 in re 3.482 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 3.482 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 3.482 * [taylor]: Taking taylor expansion of (/ 1 re) in re 3.482 * [taylor]: Taking taylor expansion of re in re 3.482 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 3.482 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 3.482 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 3.482 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.482 * [taylor]: Taking taylor expansion of im in re 3.483 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 3.483 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.483 * [taylor]: Taking taylor expansion of im in re 3.483 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 3.483 * [taylor]: Taking taylor expansion of 0.5 in im 3.483 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 3.483 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 3.483 * [taylor]: Taking taylor expansion of (/ 1 re) in im 3.483 * [taylor]: Taking taylor expansion of re in im 3.483 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 3.483 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 3.483 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 3.483 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.483 * [taylor]: Taking taylor expansion of im in im 3.483 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.483 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.483 * [taylor]: Taking taylor expansion of im in im 3.484 * [taylor]: Taking taylor expansion of 0 in im 3.486 * [taylor]: Taking taylor expansion of 0 in im 3.487 * [taylor]: Taking taylor expansion of 0 in im 3.487 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in (re im) around 0 3.487 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 3.487 * [taylor]: Taking taylor expansion of 0.5 in im 3.487 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 3.487 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 3.487 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.487 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.487 * [taylor]: Taking taylor expansion of im in im 3.487 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 3.487 * [taylor]: Taking taylor expansion of (/ -1 im) in im 3.487 * [taylor]: Taking taylor expansion of -1 in im 3.488 * [taylor]: Taking taylor expansion of im in im 3.488 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 3.488 * [taylor]: Taking taylor expansion of (/ -1 re) in im 3.488 * [taylor]: Taking taylor expansion of -1 in im 3.488 * [taylor]: Taking taylor expansion of re in im 3.488 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re 3.488 * [taylor]: Taking taylor expansion of 0.5 in re 3.488 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re 3.488 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 3.488 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 3.488 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.488 * [taylor]: Taking taylor expansion of im in re 3.488 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 3.488 * [taylor]: Taking taylor expansion of (/ -1 im) in re 3.488 * [taylor]: Taking taylor expansion of -1 in re 3.488 * [taylor]: Taking taylor expansion of im in re 3.488 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 3.488 * [taylor]: Taking taylor expansion of (/ -1 re) in re 3.488 * [taylor]: Taking taylor expansion of -1 in re 3.488 * [taylor]: Taking taylor expansion of re in re 3.488 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re 3.488 * [taylor]: Taking taylor expansion of 0.5 in re 3.488 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re 3.488 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 3.488 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 3.488 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.488 * [taylor]: Taking taylor expansion of im in re 3.488 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 3.488 * [taylor]: Taking taylor expansion of (/ -1 im) in re 3.488 * [taylor]: Taking taylor expansion of -1 in re 3.488 * [taylor]: Taking taylor expansion of im in re 3.488 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 3.488 * [taylor]: Taking taylor expansion of (/ -1 re) in re 3.488 * [taylor]: Taking taylor expansion of -1 in re 3.488 * [taylor]: Taking taylor expansion of re in re 3.489 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 3.489 * [taylor]: Taking taylor expansion of 0.5 in im 3.489 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 3.489 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 3.489 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.489 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.489 * [taylor]: Taking taylor expansion of im in im 3.489 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 3.489 * [taylor]: Taking taylor expansion of (/ -1 im) in im 3.489 * [taylor]: Taking taylor expansion of -1 in im 3.489 * [taylor]: Taking taylor expansion of im in im 3.489 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 3.489 * [taylor]: Taking taylor expansion of (/ -1 re) in im 3.489 * [taylor]: Taking taylor expansion of -1 in im 3.489 * [taylor]: Taking taylor expansion of re in im 3.490 * [taylor]: Taking taylor expansion of 0 in im 3.491 * [taylor]: Taking taylor expansion of 0 in im 3.493 * [taylor]: Taking taylor expansion of 0 in im 3.493 * * * [progress]: simplifying candidates 3.493 * [simplify]: Simplifying using # : (/ (exp (exp (neg im))) (exp (exp im))) (log (- (exp (neg im)) (exp im))) (exp (- (exp (neg im)) (exp im))) (* (cbrt (- (exp (neg im)) (exp im))) (cbrt (- (exp (neg im)) (exp im)))) (cbrt (- (exp (neg im)) (exp im))) (* (* (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im))) (- (exp (neg im)) (exp im))) (sqrt (- (exp (neg im)) (exp im))) (sqrt (- (exp (neg im)) (exp im))) (- (pow (exp (neg im)) 3) (pow (exp im) 3)) (+ (* (exp (neg im)) (exp (neg im))) (+ (* (exp im) (exp im)) (* (exp (neg im)) (exp im)))) (neg (exp im)) (- (* (exp (neg im)) (exp (neg im))) (* (exp im) (exp im))) (+ (exp (neg im)) (exp im)) (+ (sqrt (exp (neg im))) (sqrt (exp im))) (- (sqrt (exp (neg im))) (sqrt (exp im))) (- (exp (neg im)) (exp im)) (neg (exp im)) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) (+ (+ (log 0.5) (log (sin re))) (log (- (exp (neg im)) (exp im)))) (+ (log (* 0.5 (sin re))) (log (- (exp (neg im)) (exp im)))) (log (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (exp (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im))) (- (exp (neg im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im))) (- (exp (neg im)) (exp im)))) (* (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (* (* 0.5 (sin re)) (exp (neg im))) (* (* 0.5 (sin re)) (neg (exp im))) (* (* 0.5 (sin re)) (exp (neg im))) (* (* 0.5 (sin re)) (neg (exp im))) (* (exp (neg im)) (* 0.5 (sin re))) (* (neg (exp im)) (* 0.5 (sin re))) (* (exp (neg im)) (* 0.5 (sin re))) (* (neg (exp im)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (- (exp (neg im)) (exp im))) (cbrt (- (exp (neg im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (- (exp (neg im)) (exp im)))) (* (* 0.5 (sin re)) 1) (* (* 0.5 (sin re)) (+ (sqrt (exp (neg im))) (sqrt (exp im)))) (* (* 0.5 (sin re)) 1) (* (sin re) (- (exp (neg im)) (exp im))) (* (* 0.5 (sin re)) (- (pow (exp (neg im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (- (* (exp (neg im)) (exp (neg im))) (* (exp im) (exp im)))) (neg (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (- (exp (neg im)) (exp im)) (- (exp (* -1 im)) (exp im)) (* -1.0 (* re im)) (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) (* 0.5 (* (sin re) (- (exp (* -1 im)) (exp im)))) 3.496 * * [simplify]: iteration 0 : 92 enodes (cost 614 ) 3.512 * * [simplify]: iteration 1 : 240 enodes (cost 596 ) 3.606 * * [simplify]: iteration 2 : 864 enodes (cost 504 ) 4.531 * * [simplify]: iteration 3 : 3366 enodes (cost 502 ) 5.572 * * [simplify]: iteration done : 5000 enodes (cost 502 ) 5.573 * [simplify]: Simplified to: (exp (- (exp (neg im)) (exp im))) (log (- (exp (neg im)) (exp im))) (exp (- (exp (neg im)) (exp im))) (* (cbrt (- (exp (neg im)) (exp im))) (cbrt (- (exp (neg im)) (exp im)))) (cbrt (- (exp (neg im)) (exp im))) (pow (- (exp (neg im)) (exp im)) 3) (sqrt (- (exp (neg im)) (exp im))) (sqrt (- (exp (neg im)) (exp im))) (- (exp (* im -3)) (pow (exp im) 3)) (+ (+ 1 (exp (+ im im))) (exp (* -2 im))) (neg (exp im)) (- (exp (* -2 im)) (exp (+ im im))) (+ (exp (neg im)) (exp im)) (+ (sqrt (exp im)) (sqrt (exp (neg im)))) (- (sqrt (exp (neg im))) (sqrt (exp im))) (- (exp (neg im)) (exp im)) (neg (exp im)) (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) (log (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (log (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (log (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (exp (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (pow (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) 3) (pow (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) 3) (* (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (pow (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) 3) (sqrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (/ (* 0.5 (sin re)) (exp im)) (* (neg (exp im)) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)) (* (neg (exp im)) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)) (* (neg (exp im)) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)) (* (neg (exp im)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (- (exp (neg im)) (exp im))) (cbrt (- (exp (neg im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (- (exp (neg im)) (exp im)))) (* 0.5 (sin re)) (* (* 0.5 (sin re)) (+ (sqrt (exp (neg im))) (sqrt (exp im)))) (* 0.5 (sin re)) (* (sin re) (- (exp (neg im)) (exp im))) (* (* (sin re) (- (exp (* im -3)) (pow (exp im) 3))) 0.5) (* (sin re) (* 0.5 (- (exp (* -2 im)) (exp (+ im im))))) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im)) (* -1.0 (* re im)) (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) 5.573 * * * [progress]: adding candidates to table 5.641 * * [progress]: iteration 2 / 4 5.641 * * * [progress]: picking best candidate 5.652 * * * * [pick]: Picked # 5.653 * * * [progress]: localizing error 5.668 * * * [progress]: generating rewritten candidates 5.668 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2 1) 5.675 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 5.687 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 2) 5.695 * * * [progress]: generating series expansions 5.695 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2 1) 5.695 * [approximate]: Taking taylor expansion of (* 1/3 (pow im 3)) in (im) around 0 5.695 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 5.695 * [taylor]: Taking taylor expansion of 1/3 in im 5.695 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.695 * [taylor]: Taking taylor expansion of im in im 5.695 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 5.695 * [taylor]: Taking taylor expansion of 1/3 in im 5.695 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.696 * [taylor]: Taking taylor expansion of im in im 5.697 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 5.697 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 5.697 * [taylor]: Taking taylor expansion of 1/3 in im 5.697 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.697 * [taylor]: Taking taylor expansion of im in im 5.697 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 5.697 * [taylor]: Taking taylor expansion of 1/3 in im 5.697 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.697 * [taylor]: Taking taylor expansion of im in im 5.698 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 5.698 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 5.698 * [taylor]: Taking taylor expansion of -1/3 in im 5.698 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.698 * [taylor]: Taking taylor expansion of im in im 5.698 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 5.698 * [taylor]: Taking taylor expansion of -1/3 in im 5.698 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.698 * [taylor]: Taking taylor expansion of im in im 5.699 * * * * [progress]: [ 2 / 3 ] generating series at (2) 5.700 * [approximate]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))))) in (re im) around 0 5.700 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))))) in im 5.700 * [taylor]: Taking taylor expansion of -0.5 in im 5.700 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im)))) in im 5.700 * [taylor]: Taking taylor expansion of (sin re) in im 5.700 * [taylor]: Taking taylor expansion of re in im 5.700 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))) in im 5.700 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 5.700 * [taylor]: Taking taylor expansion of 1/60 in im 5.700 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.700 * [taylor]: Taking taylor expansion of im in im 5.700 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 2 im)) in im 5.700 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 5.700 * [taylor]: Taking taylor expansion of 1/3 in im 5.700 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.700 * [taylor]: Taking taylor expansion of im in im 5.700 * [taylor]: Taking taylor expansion of (* 2 im) in im 5.700 * [taylor]: Taking taylor expansion of 2 in im 5.700 * [taylor]: Taking taylor expansion of im in im 5.700 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))))) in re 5.700 * [taylor]: Taking taylor expansion of -0.5 in re 5.700 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im)))) in re 5.700 * [taylor]: Taking taylor expansion of (sin re) in re 5.700 * [taylor]: Taking taylor expansion of re in re 5.700 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))) in re 5.700 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 5.700 * [taylor]: Taking taylor expansion of 1/60 in re 5.700 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.700 * [taylor]: Taking taylor expansion of im in re 5.700 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 2 im)) in re 5.700 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 5.700 * [taylor]: Taking taylor expansion of 1/3 in re 5.700 * [taylor]: Taking taylor expansion of (pow im 3) in re 5.700 * [taylor]: Taking taylor expansion of im in re 5.700 * [taylor]: Taking taylor expansion of (* 2 im) in re 5.700 * [taylor]: Taking taylor expansion of 2 in re 5.700 * [taylor]: Taking taylor expansion of im in re 5.700 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))))) in re 5.700 * [taylor]: Taking taylor expansion of -0.5 in re 5.700 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im)))) in re 5.700 * [taylor]: Taking taylor expansion of (sin re) in re 5.701 * [taylor]: Taking taylor expansion of re in re 5.701 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))) in re 5.701 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 5.701 * [taylor]: Taking taylor expansion of 1/60 in re 5.701 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.701 * [taylor]: Taking taylor expansion of im in re 5.701 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 2 im)) in re 5.701 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 5.701 * [taylor]: Taking taylor expansion of 1/3 in re 5.701 * [taylor]: Taking taylor expansion of (pow im 3) in re 5.701 * [taylor]: Taking taylor expansion of im in re 5.701 * [taylor]: Taking taylor expansion of (* 2 im) in re 5.701 * [taylor]: Taking taylor expansion of 2 in re 5.701 * [taylor]: Taking taylor expansion of im in re 5.702 * [taylor]: Taking taylor expansion of 0 in im 5.703 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 im) (+ (* 0.16666666666666666 (pow im 3)) (* 0.008333333333333333 (pow im 5))))) in im 5.703 * [taylor]: Taking taylor expansion of (+ (* 1.0 im) (+ (* 0.16666666666666666 (pow im 3)) (* 0.008333333333333333 (pow im 5)))) in im 5.703 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 5.703 * [taylor]: Taking taylor expansion of 1.0 in im 5.703 * [taylor]: Taking taylor expansion of im in im 5.703 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (* 0.008333333333333333 (pow im 5))) in im 5.703 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 5.703 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 5.703 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.703 * [taylor]: Taking taylor expansion of im in im 5.703 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 5.703 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 5.703 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.703 * [taylor]: Taking taylor expansion of im in im 5.704 * [taylor]: Taking taylor expansion of 0 in im 5.706 * [taylor]: Taking taylor expansion of (+ (* 0.001388888888888889 (pow im 5)) (+ (* 0.027777777777777776 (pow im 3)) (* 0.16666666666666666 im))) in im 5.706 * [taylor]: Taking taylor expansion of (* 0.001388888888888889 (pow im 5)) in im 5.706 * [taylor]: Taking taylor expansion of 0.001388888888888889 in im 5.706 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.706 * [taylor]: Taking taylor expansion of im in im 5.706 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (pow im 3)) (* 0.16666666666666666 im)) in im 5.706 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (pow im 3)) in im 5.706 * [taylor]: Taking taylor expansion of 0.027777777777777776 in im 5.706 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.706 * [taylor]: Taking taylor expansion of im in im 5.706 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 im) in im 5.706 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 5.706 * [taylor]: Taking taylor expansion of im in im 5.708 * [taylor]: Taking taylor expansion of 0 in im 5.708 * [approximate]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in (re im) around 0 5.709 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 5.709 * [taylor]: Taking taylor expansion of -0.5 in im 5.709 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 5.709 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 5.709 * [taylor]: Taking taylor expansion of (/ 1 re) in im 5.709 * [taylor]: Taking taylor expansion of re in im 5.709 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 5.709 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 5.709 * [taylor]: Taking taylor expansion of 1/3 in im 5.709 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 5.709 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.709 * [taylor]: Taking taylor expansion of im in im 5.709 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 5.709 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 5.709 * [taylor]: Taking taylor expansion of 2 in im 5.709 * [taylor]: Taking taylor expansion of (/ 1 im) in im 5.709 * [taylor]: Taking taylor expansion of im in im 5.709 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 5.709 * [taylor]: Taking taylor expansion of 1/60 in im 5.709 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 5.709 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.709 * [taylor]: Taking taylor expansion of im in im 5.709 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 5.709 * [taylor]: Taking taylor expansion of -0.5 in re 5.709 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 5.709 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 5.709 * [taylor]: Taking taylor expansion of (/ 1 re) in re 5.709 * [taylor]: Taking taylor expansion of re in re 5.709 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 5.709 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 5.709 * [taylor]: Taking taylor expansion of 1/3 in re 5.709 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 5.709 * [taylor]: Taking taylor expansion of (pow im 3) in re 5.709 * [taylor]: Taking taylor expansion of im in re 5.710 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 5.710 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 5.710 * [taylor]: Taking taylor expansion of 2 in re 5.710 * [taylor]: Taking taylor expansion of (/ 1 im) in re 5.710 * [taylor]: Taking taylor expansion of im in re 5.710 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 5.710 * [taylor]: Taking taylor expansion of 1/60 in re 5.710 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 5.710 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.710 * [taylor]: Taking taylor expansion of im in re 5.710 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 5.710 * [taylor]: Taking taylor expansion of -0.5 in re 5.710 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 5.710 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 5.710 * [taylor]: Taking taylor expansion of (/ 1 re) in re 5.710 * [taylor]: Taking taylor expansion of re in re 5.710 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 5.710 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 5.710 * [taylor]: Taking taylor expansion of 1/3 in re 5.710 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 5.710 * [taylor]: Taking taylor expansion of (pow im 3) in re 5.710 * [taylor]: Taking taylor expansion of im in re 5.710 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 5.710 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 5.710 * [taylor]: Taking taylor expansion of 2 in re 5.710 * [taylor]: Taking taylor expansion of (/ 1 im) in re 5.710 * [taylor]: Taking taylor expansion of im in re 5.710 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 5.710 * [taylor]: Taking taylor expansion of 1/60 in re 5.710 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 5.711 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.711 * [taylor]: Taking taylor expansion of im in re 5.712 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 5.712 * [taylor]: Taking taylor expansion of -0.5 in im 5.712 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 5.712 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 5.712 * [taylor]: Taking taylor expansion of (/ 1 re) in im 5.712 * [taylor]: Taking taylor expansion of re in im 5.712 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 5.712 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 5.712 * [taylor]: Taking taylor expansion of 1/3 in im 5.712 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 5.712 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.712 * [taylor]: Taking taylor expansion of im in im 5.712 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 5.712 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 5.712 * [taylor]: Taking taylor expansion of 2 in im 5.712 * [taylor]: Taking taylor expansion of (/ 1 im) in im 5.712 * [taylor]: Taking taylor expansion of im in im 5.712 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 5.712 * [taylor]: Taking taylor expansion of 1/60 in im 5.712 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 5.712 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.712 * [taylor]: Taking taylor expansion of im in im 5.714 * [taylor]: Taking taylor expansion of 0 in im 5.716 * [taylor]: Taking taylor expansion of 0 in im 5.718 * [taylor]: Taking taylor expansion of 0 in im 5.721 * [taylor]: Taking taylor expansion of 0 in im 5.724 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in (re im) around 0 5.724 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 5.724 * [taylor]: Taking taylor expansion of 0.5 in im 5.724 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 5.724 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 5.724 * [taylor]: Taking taylor expansion of (/ -1 re) in im 5.724 * [taylor]: Taking taylor expansion of -1 in im 5.724 * [taylor]: Taking taylor expansion of re in im 5.724 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 5.724 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 5.724 * [taylor]: Taking taylor expansion of 1/3 in im 5.724 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 5.724 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.724 * [taylor]: Taking taylor expansion of im in im 5.724 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 5.724 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 5.724 * [taylor]: Taking taylor expansion of 2 in im 5.724 * [taylor]: Taking taylor expansion of (/ 1 im) in im 5.724 * [taylor]: Taking taylor expansion of im in im 5.724 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 5.724 * [taylor]: Taking taylor expansion of 1/60 in im 5.724 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 5.724 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.724 * [taylor]: Taking taylor expansion of im in im 5.724 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 5.724 * [taylor]: Taking taylor expansion of 0.5 in re 5.724 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 5.724 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 5.724 * [taylor]: Taking taylor expansion of (/ -1 re) in re 5.724 * [taylor]: Taking taylor expansion of -1 in re 5.724 * [taylor]: Taking taylor expansion of re in re 5.724 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 5.724 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 5.724 * [taylor]: Taking taylor expansion of 1/3 in re 5.724 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 5.724 * [taylor]: Taking taylor expansion of (pow im 3) in re 5.724 * [taylor]: Taking taylor expansion of im in re 5.725 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 5.725 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 5.725 * [taylor]: Taking taylor expansion of 2 in re 5.725 * [taylor]: Taking taylor expansion of (/ 1 im) in re 5.725 * [taylor]: Taking taylor expansion of im in re 5.725 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 5.725 * [taylor]: Taking taylor expansion of 1/60 in re 5.725 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 5.725 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.725 * [taylor]: Taking taylor expansion of im in re 5.725 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 5.725 * [taylor]: Taking taylor expansion of 0.5 in re 5.725 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 5.725 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 5.725 * [taylor]: Taking taylor expansion of (/ -1 re) in re 5.725 * [taylor]: Taking taylor expansion of -1 in re 5.725 * [taylor]: Taking taylor expansion of re in re 5.725 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 5.725 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 5.725 * [taylor]: Taking taylor expansion of 1/3 in re 5.725 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 5.725 * [taylor]: Taking taylor expansion of (pow im 3) in re 5.725 * [taylor]: Taking taylor expansion of im in re 5.725 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 5.725 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 5.725 * [taylor]: Taking taylor expansion of 2 in re 5.725 * [taylor]: Taking taylor expansion of (/ 1 im) in re 5.725 * [taylor]: Taking taylor expansion of im in re 5.725 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 5.726 * [taylor]: Taking taylor expansion of 1/60 in re 5.726 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 5.726 * [taylor]: Taking taylor expansion of (pow im 5) in re 5.726 * [taylor]: Taking taylor expansion of im in re 5.727 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 5.727 * [taylor]: Taking taylor expansion of 0.5 in im 5.727 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 5.727 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 5.727 * [taylor]: Taking taylor expansion of (/ -1 re) in im 5.727 * [taylor]: Taking taylor expansion of -1 in im 5.727 * [taylor]: Taking taylor expansion of re in im 5.727 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 5.727 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 5.727 * [taylor]: Taking taylor expansion of 1/3 in im 5.727 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 5.727 * [taylor]: Taking taylor expansion of (pow im 3) in im 5.727 * [taylor]: Taking taylor expansion of im in im 5.727 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 5.727 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 5.727 * [taylor]: Taking taylor expansion of 2 in im 5.727 * [taylor]: Taking taylor expansion of (/ 1 im) in im 5.727 * [taylor]: Taking taylor expansion of im in im 5.727 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 5.727 * [taylor]: Taking taylor expansion of 1/60 in im 5.727 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 5.727 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.727 * [taylor]: Taking taylor expansion of im in im 5.729 * [taylor]: Taking taylor expansion of 0 in im 5.731 * [taylor]: Taking taylor expansion of 0 in im 5.733 * [taylor]: Taking taylor expansion of 0 in im 5.736 * [taylor]: Taking taylor expansion of 0 in im 5.738 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 2) 5.738 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0 5.738 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 5.738 * [taylor]: Taking taylor expansion of 1/60 in im 5.738 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.738 * [taylor]: Taking taylor expansion of im in im 5.738 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 5.738 * [taylor]: Taking taylor expansion of 1/60 in im 5.738 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.738 * [taylor]: Taking taylor expansion of im in im 5.739 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 5.739 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 5.739 * [taylor]: Taking taylor expansion of 1/60 in im 5.739 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.739 * [taylor]: Taking taylor expansion of im in im 5.740 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 5.740 * [taylor]: Taking taylor expansion of 1/60 in im 5.740 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.740 * [taylor]: Taking taylor expansion of im in im 5.741 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 5.741 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 5.741 * [taylor]: Taking taylor expansion of -1/60 in im 5.741 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.741 * [taylor]: Taking taylor expansion of im in im 5.741 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 5.741 * [taylor]: Taking taylor expansion of -1/60 in im 5.741 * [taylor]: Taking taylor expansion of (pow im 5) in im 5.741 * [taylor]: Taking taylor expansion of im in im 5.743 * * * [progress]: simplifying candidates 5.747 * [simplify]: Simplifying using # : (+ (log 1/3) (* (log im) 3)) (+ (log 1/3) (* (log im) 3)) (+ (log 1/3) (log (pow im 3))) (log (* 1/3 (pow im 3))) (exp (* 1/3 (pow im 3))) (* (* (* 1/3 1/3) 1/3) (* (* (pow im 3) (pow im 3)) (pow im 3))) (* (cbrt (* 1/3 (pow im 3))) (cbrt (* 1/3 (pow im 3)))) (cbrt (* 1/3 (pow im 3))) (* (* (* 1/3 (pow im 3)) (* 1/3 (pow im 3))) (* 1/3 (pow im 3))) (sqrt (* 1/3 (pow im 3))) (sqrt (* 1/3 (pow im 3))) (* (sqrt 1/3) (pow (sqrt im) 3)) (* (sqrt 1/3) (pow (sqrt im) 3)) (* (sqrt 1/3) (pow (sqrt im) 3)) (* (sqrt 1/3) (pow (sqrt im) 3)) (* (sqrt 1/3) (sqrt (pow im 3))) (* (sqrt 1/3) (sqrt (pow im 3))) (* (sqrt 1/3) (pow im (/ 3 2))) (* (sqrt 1/3) (pow im (/ 3 2))) (* 1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* 1/3 (pow (sqrt im) 3)) (* 1/3 (pow 1 3)) (* 1/3 (* im im)) (* 1/3 (* (cbrt (pow im 3)) (cbrt (pow im 3)))) (* 1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* 1/3 (pow (sqrt im) 3)) (* 1/3 (pow 1 3)) (* 1/3 im) (* 1/3 (sqrt (pow im 3))) (* 1/3 1) (* 1/3 (pow im (/ 3 2))) (* (cbrt 1/3) (pow im 3)) (* (sqrt 1/3) (pow im 3)) (* 1/3 (pow im 3)) (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (+ (+ (log 0.5) (log (sin re))) (log (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (+ (log (* 0.5 (sin re))) (log (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (log (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (exp (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (cbrt (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (cbrt (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))) (cbrt (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (* (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (sqrt (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (sqrt (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (* 0.5 (sin re)) (* -2 im)) (* (* 0.5 (sin re)) (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (* (* 0.5 (sin re)) (* -2 im)) (* (* 0.5 (sin re)) (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (* (* -2 im) (* 0.5 (sin re))) (* (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 0.5 (sin re))) (* (* -2 im) (* 0.5 (sin re))) (* (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))) (* (* 0.5 (sin re)) (sqrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (* 0.5 (sin re)) 1) (* (sin re) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (* (* 0.5 (sin re)) (- (pow (* -2 im) 3) (pow (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) 3))) (* (* 0.5 (sin re)) (- (* (* -2 im) (* -2 im)) (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (log (pow im 5))) (log (* 1/60 (pow im 5))) (exp (* 1/60 (pow im 5))) (* (* (* 1/60 1/60) 1/60) (* (* (pow im 5) (pow im 5)) (pow im 5))) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (* (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (pow im (/ 5 2))) (* (sqrt 1/60) (pow im (/ 5 2))) (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* 1/60 (pow (sqrt im) 5)) (* 1/60 (pow 1 5)) (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 1/60 (sqrt (pow im 5))) (* 1/60 1) (* 1/60 (pow im (/ 5 2))) (* (cbrt 1/60) (pow im 5)) (* (sqrt 1/60) (pow im 5)) (* 1/60 (pow im 5)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) (* -1.0 (* re im)) (neg (+ (* 1.0 (* (sin re) im)) (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (neg (+ (* 1.0 (* (sin re) im)) (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) 5.751 * * [simplify]: iteration 0 : 165 enodes (cost 1201 ) 5.786 * * [simplify]: iteration 1 : 424 enodes (cost 1128 ) 5.974 * * [simplify]: iteration 2 : 1432 enodes (cost 982 ) 6.595 * * [simplify]: iteration done : 5000 enodes (cost 982 ) 6.595 * [simplify]: Simplified to: (log (* 1/3 (pow im 3))) (log (* 1/3 (pow im 3))) (log (* 1/3 (pow im 3))) (log (* 1/3 (pow im 3))) (exp (* 1/3 (pow im 3))) (pow (* 1/3 (pow im 3)) 3) (* (cbrt (* 1/3 (pow im 3))) (cbrt (* 1/3 (pow im 3)))) (cbrt (* 1/3 (pow im 3))) (pow (* 1/3 (pow im 3)) 3) (sqrt (* 1/3 (pow im 3))) (sqrt (* 1/3 (pow im 3))) (* (sqrt 1/3) (pow (sqrt im) 3)) (* (sqrt 1/3) (pow (sqrt im) 3)) (* (sqrt 1/3) (pow (sqrt im) 3)) (* (sqrt 1/3) (pow (sqrt im) 3)) (* (sqrt 1/3) (sqrt (pow im 3))) (* (sqrt 1/3) (sqrt (pow im 3))) (* (pow im 3/2) (sqrt 1/3)) (* (pow im 3/2) (sqrt 1/3)) (* im (* 1/3 im)) (* 1/3 (pow (sqrt im) 3)) 1/3 (* im (* 1/3 im)) (* im (* 1/3 im)) (* im (* 1/3 im)) (* 1/3 (pow (sqrt im) 3)) 1/3 (* 1/3 im) (* 1/3 (sqrt (pow im 3))) 1/3 (* 1/3 (pow im 3/2)) (* (cbrt 1/3) (pow im 3)) (* (sqrt 1/3) (pow im 3)) (* 1/3 (pow im 3)) (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (log (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (log (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (log (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (exp (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (pow (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) 3) (pow (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) 3) (* (cbrt (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (cbrt (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))) (cbrt (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (pow (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) 3) (sqrt (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (sqrt (* (* 0.5 (sin re)) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (* -2 im) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (* (* -2 im) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (* (* -2 im) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (* (* -2 im) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (* (* 0.5 (sin re)) (* (cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (cbrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))) (* (* 0.5 (sin re)) (sqrt (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* 0.5 (sin re)) (* (sin re) (- (* -2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (* (* 0.5 (sin re)) (- (pow (* -2 im) 3) (pow (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) 3))) (* (* 0.5 (sin re)) (- (* 4 (* im im)) (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (exp (* 1/60 (pow im 5))) (pow (* 1/60 (pow im 5)) 3) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (pow (* 1/60 (pow im 5)) 3) (sqrt (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (pow im 5/2)) (* (sqrt 1/60) (pow im 5/2)) (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* 1/60 (pow (sqrt im) 5)) 1/60 (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 1/60 (sqrt (pow im 5))) 1/60 (* 1/60 (pow im 5/2)) (* (cbrt 1/60) (pow im 5)) (* (sqrt 1/60) (pow im 5)) (* 1/60 (pow im 5)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) (* -1.0 (* re im)) (neg (+ (* 1.0 (* (sin re) im)) (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (neg (+ (* 1.0 (* (sin re) im)) (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) 6.596 * * * [progress]: adding candidates to table 6.735 * * [progress]: iteration 3 / 4 6.735 * * * [progress]: picking best candidate 6.778 * * * * [pick]: Picked # 6.778 * * * [progress]: localizing error 6.795 * * * [progress]: generating rewritten candidates 6.795 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 6.802 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 6.812 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 6.819 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 6.828 * * * [progress]: generating series expansions 6.828 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 6.828 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 6.828 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 6.828 * [taylor]: Taking taylor expansion of -1/3 in im 6.828 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.828 * [taylor]: Taking taylor expansion of im in im 6.828 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 6.828 * [taylor]: Taking taylor expansion of -1/3 in im 6.828 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.828 * [taylor]: Taking taylor expansion of im in im 6.829 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 6.829 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 6.829 * [taylor]: Taking taylor expansion of -1/3 in im 6.829 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.829 * [taylor]: Taking taylor expansion of im in im 6.829 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 6.829 * [taylor]: Taking taylor expansion of -1/3 in im 6.829 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.829 * [taylor]: Taking taylor expansion of im in im 6.831 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 6.831 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 6.831 * [taylor]: Taking taylor expansion of 1/3 in im 6.831 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.831 * [taylor]: Taking taylor expansion of im in im 6.831 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 6.831 * [taylor]: Taking taylor expansion of 1/3 in im 6.831 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.831 * [taylor]: Taking taylor expansion of im in im 6.832 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 6.832 * [approximate]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) in (re im) around 0 6.832 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) in im 6.832 * [taylor]: Taking taylor expansion of -0.5 in im 6.832 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in im 6.832 * [taylor]: Taking taylor expansion of (sin re) in im 6.832 * [taylor]: Taking taylor expansion of re in im 6.832 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 6.833 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 6.833 * [taylor]: Taking taylor expansion of 1/3 in im 6.833 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.833 * [taylor]: Taking taylor expansion of im in im 6.833 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 6.833 * [taylor]: Taking taylor expansion of 1/60 in im 6.833 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.833 * [taylor]: Taking taylor expansion of im in im 6.833 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) in re 6.833 * [taylor]: Taking taylor expansion of -0.5 in re 6.833 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in re 6.833 * [taylor]: Taking taylor expansion of (sin re) in re 6.833 * [taylor]: Taking taylor expansion of re in re 6.833 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in re 6.833 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 6.833 * [taylor]: Taking taylor expansion of 1/3 in re 6.833 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.833 * [taylor]: Taking taylor expansion of im in re 6.833 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 6.833 * [taylor]: Taking taylor expansion of 1/60 in re 6.833 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.833 * [taylor]: Taking taylor expansion of im in re 6.833 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) in re 6.833 * [taylor]: Taking taylor expansion of -0.5 in re 6.833 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in re 6.833 * [taylor]: Taking taylor expansion of (sin re) in re 6.833 * [taylor]: Taking taylor expansion of re in re 6.833 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in re 6.833 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 6.833 * [taylor]: Taking taylor expansion of 1/3 in re 6.833 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.833 * [taylor]: Taking taylor expansion of im in re 6.833 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 6.833 * [taylor]: Taking taylor expansion of 1/60 in re 6.833 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.833 * [taylor]: Taking taylor expansion of im in re 6.834 * [taylor]: Taking taylor expansion of 0 in im 6.835 * [taylor]: Taking taylor expansion of (neg (+ (* 0.16666666666666666 (pow im 3)) (* 0.008333333333333333 (pow im 5)))) in im 6.835 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (* 0.008333333333333333 (pow im 5))) in im 6.835 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 6.835 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 6.835 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.836 * [taylor]: Taking taylor expansion of im in im 6.836 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 6.836 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 6.836 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.836 * [taylor]: Taking taylor expansion of im in im 6.837 * [taylor]: Taking taylor expansion of 0 in im 6.838 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (pow im 3)) (* 0.001388888888888889 (pow im 5))) in im 6.838 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (pow im 3)) in im 6.838 * [taylor]: Taking taylor expansion of 0.027777777777777776 in im 6.838 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.838 * [taylor]: Taking taylor expansion of im in im 6.838 * [taylor]: Taking taylor expansion of (* 0.001388888888888889 (pow im 5)) in im 6.838 * [taylor]: Taking taylor expansion of 0.001388888888888889 in im 6.838 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.838 * [taylor]: Taking taylor expansion of im in im 6.839 * [approximate]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in (re im) around 0 6.839 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 6.839 * [taylor]: Taking taylor expansion of -0.5 in im 6.839 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 6.839 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 6.839 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.839 * [taylor]: Taking taylor expansion of re in im 6.839 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 6.839 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 6.839 * [taylor]: Taking taylor expansion of 1/3 in im 6.839 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.839 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.839 * [taylor]: Taking taylor expansion of im in im 6.839 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 6.839 * [taylor]: Taking taylor expansion of 1/60 in im 6.839 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 6.839 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.839 * [taylor]: Taking taylor expansion of im in im 6.839 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 6.840 * [taylor]: Taking taylor expansion of -0.5 in re 6.840 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 6.840 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 6.840 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.840 * [taylor]: Taking taylor expansion of re in re 6.840 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 6.840 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 6.840 * [taylor]: Taking taylor expansion of 1/3 in re 6.840 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 6.840 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.840 * [taylor]: Taking taylor expansion of im in re 6.840 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 6.840 * [taylor]: Taking taylor expansion of 1/60 in re 6.840 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 6.840 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.840 * [taylor]: Taking taylor expansion of im in re 6.840 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 6.840 * [taylor]: Taking taylor expansion of -0.5 in re 6.840 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 6.840 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 6.840 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.840 * [taylor]: Taking taylor expansion of re in re 6.840 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 6.840 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 6.840 * [taylor]: Taking taylor expansion of 1/3 in re 6.840 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 6.840 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.840 * [taylor]: Taking taylor expansion of im in re 6.841 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 6.841 * [taylor]: Taking taylor expansion of 1/60 in re 6.841 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 6.841 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.841 * [taylor]: Taking taylor expansion of im in re 6.841 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 6.841 * [taylor]: Taking taylor expansion of -0.5 in im 6.842 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 6.842 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 6.842 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.842 * [taylor]: Taking taylor expansion of re in im 6.842 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 6.842 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 6.842 * [taylor]: Taking taylor expansion of 1/3 in im 6.842 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.842 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.842 * [taylor]: Taking taylor expansion of im in im 6.842 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 6.842 * [taylor]: Taking taylor expansion of 1/60 in im 6.842 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 6.842 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.842 * [taylor]: Taking taylor expansion of im in im 6.843 * [taylor]: Taking taylor expansion of 0 in im 6.845 * [taylor]: Taking taylor expansion of 0 in im 6.847 * [taylor]: Taking taylor expansion of 0 in im 6.850 * [taylor]: Taking taylor expansion of 0 in im 6.856 * [taylor]: Taking taylor expansion of 0 in im 6.860 * [taylor]: Taking taylor expansion of 0 in im 6.864 * [taylor]: Taking taylor expansion of 0 in im 6.865 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re)))) in (re im) around 0 6.865 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re)))) in im 6.865 * [taylor]: Taking taylor expansion of 0.5 in im 6.865 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re))) in im 6.865 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 6.865 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 6.865 * [taylor]: Taking taylor expansion of 1/3 in im 6.865 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.865 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.865 * [taylor]: Taking taylor expansion of im in im 6.865 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 6.865 * [taylor]: Taking taylor expansion of 1/60 in im 6.865 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 6.865 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.865 * [taylor]: Taking taylor expansion of im in im 6.865 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 6.865 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.865 * [taylor]: Taking taylor expansion of -1 in im 6.865 * [taylor]: Taking taylor expansion of re in im 6.865 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re)))) in re 6.865 * [taylor]: Taking taylor expansion of 0.5 in re 6.865 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re))) in re 6.865 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 6.865 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 6.865 * [taylor]: Taking taylor expansion of 1/3 in re 6.865 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 6.865 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.865 * [taylor]: Taking taylor expansion of im in re 6.865 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 6.865 * [taylor]: Taking taylor expansion of 1/60 in re 6.865 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 6.866 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.866 * [taylor]: Taking taylor expansion of im in re 6.866 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 6.866 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.866 * [taylor]: Taking taylor expansion of -1 in re 6.866 * [taylor]: Taking taylor expansion of re in re 6.866 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re)))) in re 6.866 * [taylor]: Taking taylor expansion of 0.5 in re 6.866 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re))) in re 6.866 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 6.866 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 6.866 * [taylor]: Taking taylor expansion of 1/3 in re 6.866 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 6.866 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.866 * [taylor]: Taking taylor expansion of im in re 6.866 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 6.866 * [taylor]: Taking taylor expansion of 1/60 in re 6.866 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 6.866 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.866 * [taylor]: Taking taylor expansion of im in re 6.866 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 6.866 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.866 * [taylor]: Taking taylor expansion of -1 in re 6.866 * [taylor]: Taking taylor expansion of re in re 6.867 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re)))) in im 6.867 * [taylor]: Taking taylor expansion of 0.5 in im 6.867 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re))) in im 6.867 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 6.867 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 6.867 * [taylor]: Taking taylor expansion of 1/3 in im 6.867 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.867 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.867 * [taylor]: Taking taylor expansion of im in im 6.867 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 6.867 * [taylor]: Taking taylor expansion of 1/60 in im 6.867 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 6.867 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.867 * [taylor]: Taking taylor expansion of im in im 6.868 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 6.868 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.868 * [taylor]: Taking taylor expansion of -1 in im 6.868 * [taylor]: Taking taylor expansion of re in im 6.869 * [taylor]: Taking taylor expansion of 0 in im 6.871 * [taylor]: Taking taylor expansion of 0 in im 6.873 * [taylor]: Taking taylor expansion of 0 in im 6.875 * [taylor]: Taking taylor expansion of 0 in im 6.878 * [taylor]: Taking taylor expansion of 0 in im 6.882 * [taylor]: Taking taylor expansion of 0 in im 6.887 * [taylor]: Taking taylor expansion of 0 in im 6.888 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 6.888 * [approximate]: Taking taylor expansion of (* -1.0 (* (sin re) im)) in (im re) around 0 6.888 * [taylor]: Taking taylor expansion of (* -1.0 (* (sin re) im)) in re 6.888 * [taylor]: Taking taylor expansion of -1.0 in re 6.888 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 6.888 * [taylor]: Taking taylor expansion of (sin re) in re 6.888 * [taylor]: Taking taylor expansion of re in re 6.888 * [taylor]: Taking taylor expansion of im in re 6.888 * [taylor]: Taking taylor expansion of (* -1.0 (* (sin re) im)) in im 6.888 * [taylor]: Taking taylor expansion of -1.0 in im 6.888 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 6.888 * [taylor]: Taking taylor expansion of (sin re) in im 6.888 * [taylor]: Taking taylor expansion of re in im 6.888 * [taylor]: Taking taylor expansion of im in im 6.888 * [taylor]: Taking taylor expansion of (* -1.0 (* (sin re) im)) in im 6.888 * [taylor]: Taking taylor expansion of -1.0 in im 6.888 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 6.888 * [taylor]: Taking taylor expansion of (sin re) in im 6.888 * [taylor]: Taking taylor expansion of re in im 6.888 * [taylor]: Taking taylor expansion of im in im 6.889 * [taylor]: Taking taylor expansion of 0 in re 6.889 * [taylor]: Taking taylor expansion of (neg (* 1.0 (sin re))) in re 6.889 * [taylor]: Taking taylor expansion of (* 1.0 (sin re)) in re 6.889 * [taylor]: Taking taylor expansion of 1.0 in re 6.889 * [taylor]: Taking taylor expansion of (sin re) in re 6.889 * [taylor]: Taking taylor expansion of re in re 6.889 * [taylor]: Taking taylor expansion of 0 in re 6.890 * [taylor]: Taking taylor expansion of 0 in re 6.891 * [taylor]: Taking taylor expansion of 0 in re 6.891 * [approximate]: Taking taylor expansion of (* -1.0 (/ (sin (/ 1 re)) im)) in (im re) around 0 6.891 * [taylor]: Taking taylor expansion of (* -1.0 (/ (sin (/ 1 re)) im)) in re 6.891 * [taylor]: Taking taylor expansion of -1.0 in re 6.891 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 6.891 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 6.891 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.891 * [taylor]: Taking taylor expansion of re in re 6.891 * [taylor]: Taking taylor expansion of im in re 6.891 * [taylor]: Taking taylor expansion of (* -1.0 (/ (sin (/ 1 re)) im)) in im 6.891 * [taylor]: Taking taylor expansion of -1.0 in im 6.891 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 6.891 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 6.891 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.891 * [taylor]: Taking taylor expansion of re in im 6.891 * [taylor]: Taking taylor expansion of im in im 6.891 * [taylor]: Taking taylor expansion of (* -1.0 (/ (sin (/ 1 re)) im)) in im 6.891 * [taylor]: Taking taylor expansion of -1.0 in im 6.891 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 6.891 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 6.891 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.892 * [taylor]: Taking taylor expansion of re in im 6.892 * [taylor]: Taking taylor expansion of im in im 6.892 * [taylor]: Taking taylor expansion of (* -1.0 (sin (/ 1 re))) in re 6.892 * [taylor]: Taking taylor expansion of -1.0 in re 6.892 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 6.892 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.892 * [taylor]: Taking taylor expansion of re in re 6.892 * [taylor]: Taking taylor expansion of 0 in re 6.893 * [taylor]: Taking taylor expansion of 0 in re 6.894 * [taylor]: Taking taylor expansion of 0 in re 6.894 * [approximate]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 re)) im)) in (im re) around 0 6.894 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 re)) im)) in re 6.894 * [taylor]: Taking taylor expansion of 1.0 in re 6.894 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 6.894 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 6.894 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.894 * [taylor]: Taking taylor expansion of -1 in re 6.894 * [taylor]: Taking taylor expansion of re in re 6.894 * [taylor]: Taking taylor expansion of im in re 6.894 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 re)) im)) in im 6.894 * [taylor]: Taking taylor expansion of 1.0 in im 6.894 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 6.894 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 6.894 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.894 * [taylor]: Taking taylor expansion of -1 in im 6.894 * [taylor]: Taking taylor expansion of re in im 6.894 * [taylor]: Taking taylor expansion of im in im 6.894 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 re)) im)) in im 6.894 * [taylor]: Taking taylor expansion of 1.0 in im 6.894 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 6.894 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 6.894 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.894 * [taylor]: Taking taylor expansion of -1 in im 6.894 * [taylor]: Taking taylor expansion of re in im 6.895 * [taylor]: Taking taylor expansion of im in im 6.895 * [taylor]: Taking taylor expansion of (* 1.0 (sin (/ -1 re))) in re 6.895 * [taylor]: Taking taylor expansion of 1.0 in re 6.895 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 6.895 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.895 * [taylor]: Taking taylor expansion of -1 in re 6.895 * [taylor]: Taking taylor expansion of re in re 6.895 * [taylor]: Taking taylor expansion of 0 in re 6.896 * [taylor]: Taking taylor expansion of 0 in re 6.897 * [taylor]: Taking taylor expansion of 0 in re 6.897 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 6.897 * [approximate]: Taking taylor expansion of (* -1/60 (pow im 5)) in (im) around 0 6.897 * [taylor]: Taking taylor expansion of (* -1/60 (pow im 5)) in im 6.897 * [taylor]: Taking taylor expansion of -1/60 in im 6.897 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.897 * [taylor]: Taking taylor expansion of im in im 6.897 * [taylor]: Taking taylor expansion of (* -1/60 (pow im 5)) in im 6.897 * [taylor]: Taking taylor expansion of -1/60 in im 6.897 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.897 * [taylor]: Taking taylor expansion of im in im 6.898 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 6.898 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 6.898 * [taylor]: Taking taylor expansion of -1/60 in im 6.898 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.898 * [taylor]: Taking taylor expansion of im in im 6.898 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 6.898 * [taylor]: Taking taylor expansion of -1/60 in im 6.898 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.898 * [taylor]: Taking taylor expansion of im in im 6.900 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 6.900 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 6.900 * [taylor]: Taking taylor expansion of 1/60 in im 6.900 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.900 * [taylor]: Taking taylor expansion of im in im 6.900 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 6.900 * [taylor]: Taking taylor expansion of 1/60 in im 6.900 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.900 * [taylor]: Taking taylor expansion of im in im 6.901 * * * [progress]: simplifying candidates 6.903 * [simplify]: Simplifying using # : (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (log (pow im 3))) (log (* -1/3 (pow im 3))) (exp (* -1/3 (pow im 3))) (* (* (* -1/3 -1/3) -1/3) (* (* (pow im 3) (pow im 3)) (pow im 3))) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im (/ 3 2))) (* (sqrt -1/3) (pow im (/ 3 2))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 (* im im)) (* -1/3 (* (cbrt (pow im 3)) (cbrt (pow im 3)))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 im) (* -1/3 (sqrt (pow im 3))) (* -1/3 1) (* -1/3 (pow im (/ 3 2))) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* -1/3 (pow im 3)) (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (+ (+ (log 0.5) (log (sin re))) (log (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (+ (log (* 0.5 (sin re))) (log (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (log (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (exp (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (* (cbrt (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (cbrt (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))))) (cbrt (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (* (* (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (sqrt (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (sqrt (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (* (* 0.5 (sin re)) (* (pow im 5) -1/60)) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (* (pow im 5) -1/60) (* 0.5 (sin re))) (* (* -1/3 (pow im 3)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (cbrt (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))))) (* (* 0.5 (sin re)) (sqrt (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (* (* 0.5 (sin re)) 1) (* (sin re) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (* (* 0.5 (sin re)) (+ (pow (* (pow im 5) -1/60) 3) (pow (* -1/3 (pow im 3)) 3))) (* (* 0.5 (sin re)) (- (* (* (pow im 5) -1/60) (* (pow im 5) -1/60)) (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))))) (* (* -2 im) (* 0.5 (sin re))) (* (* -2 im) (* 0.5 (sin re))) (* (* -2 im) (* 0.5 (sin re))) (* (* -2 im) (* 0.5 (sin re))) (+ (+ (log -2) (log im)) (+ (log 0.5) (log (sin re)))) (+ (+ (log -2) (log im)) (log (* 0.5 (sin re)))) (+ (log (* -2 im)) (+ (log 0.5) (log (sin re)))) (+ (log (* -2 im)) (log (* 0.5 (sin re)))) (log (* (* -2 im) (* 0.5 (sin re)))) (exp (* (* -2 im) (* 0.5 (sin re)))) (* (* (* (* -2 -2) -2) (* (* im im) im)) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) (* (* (* (* -2 -2) -2) (* (* im im) im)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) (* (* (* (* -2 im) (* -2 im)) (* -2 im)) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) (* (* (* (* -2 im) (* -2 im)) (* -2 im)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (* (* -2 im) (* 0.5 (sin re)))) (* (* (* (* -2 im) (* 0.5 (sin re))) (* (* -2 im) (* 0.5 (sin re)))) (* (* -2 im) (* 0.5 (sin re)))) (sqrt (* (* -2 im) (* 0.5 (sin re)))) (sqrt (* (* -2 im) (* 0.5 (sin re)))) (* (* -2 im) 0.5) (* im (* 0.5 (sin re))) (+ (* (log im) 5) (log -1/60)) (+ (* (log im) 5) (log -1/60)) (+ (log (pow im 5)) (log -1/60)) (log (* (pow im 5) -1/60)) (exp (* (pow im 5) -1/60)) (* (* (* (pow im 5) (pow im 5)) (pow im 5)) (* (* -1/60 -1/60) -1/60)) (* (cbrt (* (pow im 5) -1/60)) (cbrt (* (pow im 5) -1/60))) (cbrt (* (pow im 5) -1/60)) (* (* (* (pow im 5) -1/60) (* (pow im 5) -1/60)) (* (pow im 5) -1/60)) (sqrt (* (pow im 5) -1/60)) (sqrt (* (pow im 5) -1/60)) (* (pow (sqrt im) 5) (sqrt -1/60)) (* (pow (sqrt im) 5) (sqrt -1/60)) (* (sqrt (pow im 5)) (sqrt -1/60)) (* (sqrt (pow im 5)) (sqrt -1/60)) (* (pow im (/ 5 2)) (sqrt -1/60)) (* (pow im (/ 5 2)) (sqrt -1/60)) (* (pow im 5) (* (cbrt -1/60) (cbrt -1/60))) (* (pow im 5) (sqrt -1/60)) (* (pow im 5) 1) (* (pow (cbrt im) 5) -1/60) (* (pow (sqrt im) 5) -1/60) (* (pow im 5) -1/60) (* (cbrt (pow im 5)) -1/60) (* (sqrt (pow im 5)) -1/60) (* (pow im 5) -1/60) (* (pow im (/ 5 2)) -1/60) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (- (* 0.027777777777777776 (* (pow re 3) (pow im 3))) (+ (* 0.16666666666666666 (* re (pow im 3))) (* 0.008333333333333333 (* re (pow im 5))))) (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5))))) (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5))))) (* -1.0 (* re im)) (* -1.0 (* (sin re) im)) (* -1.0 (* (sin re) im)) (* -1/60 (pow im 5)) (* -1/60 (pow im 5)) (* -1/60 (pow im 5)) 6.908 * * [simplify]: iteration 0 : 195 enodes (cost 1334 ) 6.954 * * [simplify]: iteration 1 : 537 enodes (cost 1219 ) 7.278 * * [simplify]: iteration 2 : 2130 enodes (cost 1049 ) 7.981 * * [simplify]: iteration done : 5001 enodes (cost 1045 ) 7.982 * [simplify]: Simplified to: (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (exp (* -1/3 (pow im 3))) (* -1/27 (pow (pow im 3) 3)) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* -1/27 (pow (pow im 3) 3)) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (pow im 3/2) (sqrt -1/3)) (* (pow im 3/2) (sqrt -1/3)) (* -1/3 (* im im)) (* -1/3 (pow (sqrt im) 3)) -1/3 (* -1/3 (* im im)) (* -1/3 (* im im)) (* -1/3 (* im im)) (* -1/3 (pow (sqrt im) 3)) -1/3 (* -1/3 im) (* -1/3 (sqrt (pow im 3))) -1/3 (* -1/3 (pow im 3/2)) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* (pow im 3) -1/3) (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (log (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (log (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (log (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (exp (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (pow (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) 3) (pow (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) 3) (* (cbrt (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (cbrt (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))))) (cbrt (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (pow (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) 3) (sqrt (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (sqrt (* (* 0.5 (sin re)) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (* (* 0.5 (sin re)) (* (pow im 5) -1/60)) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (* 0.5 (sin re)) (* (pow im 5) -1/60)) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (* 0.5 (sin re)) (* (cbrt (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (cbrt (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))))) (* (* 0.5 (sin re)) (sqrt (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3))))) (* 0.5 (sin re)) (* (sin re) (+ (* (pow im 5) -1/60) (* -1/3 (pow im 3)))) (* (* 0.5 (sin re)) (+ (pow (* (pow im 5) -1/60) 3) (pow (* -1/3 (pow im 3)) 3))) (* (- (* (pow im 10) 1/3600) (* 1/9 (pow im 6))) (* 0.5 (sin re))) (* (* -2 im) (* 0.5 (sin re))) (* (* -2 im) (* 0.5 (sin re))) (* (* -2 im) (* 0.5 (sin re))) (* (* -2 im) (* 0.5 (sin re))) (log (* (* -2 im) (* 0.5 (sin re)))) (log (* (* -2 im) (* 0.5 (sin re)))) (log (* (* -2 im) (* 0.5 (sin re)))) (log (* (* -2 im) (* 0.5 (sin re)))) (log (* (* -2 im) (* 0.5 (sin re)))) (exp (* (* -2 im) (* 0.5 (sin re)))) (pow (* (* -2 im) (* 0.5 (sin re))) 3) (pow (* (* -2 im) (* 0.5 (sin re))) 3) (pow (* (* -2 im) (* 0.5 (sin re))) 3) (pow (* (* -2 im) (* 0.5 (sin re))) 3) (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (* (* -2 im) (* 0.5 (sin re)))) (pow (* (* -2 im) (* 0.5 (sin re))) 3) (sqrt (* (* -2 im) (* 0.5 (sin re)))) (sqrt (* (* -2 im) (* 0.5 (sin re)))) (* (* -2 im) 0.5) (* im (* 0.5 (sin re))) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (exp (* (pow im 5) -1/60)) (* (pow (pow im 5) 3) -1/216000) (* (cbrt (* (pow im 5) -1/60)) (cbrt (* (pow im 5) -1/60))) (cbrt (* (pow im 5) -1/60)) (* (pow (pow im 5) 3) -1/216000) (sqrt (* (pow im 5) -1/60)) (sqrt (* (pow im 5) -1/60)) (* (pow (sqrt im) 5) (sqrt -1/60)) (* (pow (sqrt im) 5) (sqrt -1/60)) (* (sqrt (pow im 5)) (sqrt -1/60)) (* (sqrt (pow im 5)) (sqrt -1/60)) (* (pow im 5/2) (sqrt -1/60)) (* (pow im 5/2) (sqrt -1/60)) (* (pow im 5) (* (cbrt -1/60) (cbrt -1/60))) (* (pow im 5) (sqrt -1/60)) (pow im 5) (* (pow (cbrt im) 5) -1/60) (* (pow (sqrt im) 5) -1/60) (* (pow im 5) -1/60) (* (cbrt (pow im 5)) -1/60) (* (sqrt (pow im 5)) -1/60) (* (pow im 5) -1/60) (* -1/60 (pow im 5/2)) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (- (* (pow im 3) (- (* 0.027777777777777776 (pow re 3)) (* 0.16666666666666666 re))) (* 0.008333333333333333 (* re (pow im 5)))) (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5))))) (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5))))) (* -1.0 (* re im)) (* -1.0 (* (sin re) im)) (* -1.0 (* (sin re) im)) (* (pow im 5) -1/60) (* (pow im 5) -1/60) (* (pow im 5) -1/60) 7.983 * * * [progress]: adding candidates to table 8.159 * * [progress]: iteration 4 / 4 8.159 * * * [progress]: picking best candidate 8.193 * * * * [pick]: Picked # 8.193 * * * [progress]: localizing error 8.216 * * * [progress]: generating rewritten candidates 8.217 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 8.223 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 8.229 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 8.236 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 8.245 * * * [progress]: generating series expansions 8.245 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 8.246 * [approximate]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in (im re) around 0 8.246 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in re 8.246 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in re 8.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in re 8.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in re 8.246 * [taylor]: Taking taylor expansion of 1/3 in re 8.246 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in re 8.246 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 8.246 * [taylor]: Taking taylor expansion of (sin re) in re 8.246 * [taylor]: Taking taylor expansion of re in re 8.246 * [taylor]: Taking taylor expansion of im in re 8.246 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.246 * [taylor]: Taking taylor expansion of -1.0 in re 8.246 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in im 8.246 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 8.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 8.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 8.246 * [taylor]: Taking taylor expansion of 1/3 in im 8.246 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 8.246 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 8.246 * [taylor]: Taking taylor expansion of (sin re) in im 8.246 * [taylor]: Taking taylor expansion of re in im 8.246 * [taylor]: Taking taylor expansion of im in im 8.247 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.247 * [taylor]: Taking taylor expansion of -1.0 in im 8.247 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in im 8.247 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 8.247 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 8.247 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 8.247 * [taylor]: Taking taylor expansion of 1/3 in im 8.247 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 8.247 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 8.247 * [taylor]: Taking taylor expansion of (sin re) in im 8.247 * [taylor]: Taking taylor expansion of re in im 8.247 * [taylor]: Taking taylor expansion of im in im 8.248 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.248 * [taylor]: Taking taylor expansion of -1.0 in im 8.248 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (+ (log (sin re)) (log im))))) in re 8.248 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.248 * [taylor]: Taking taylor expansion of -1.0 in re 8.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin re)) (log im)))) in re 8.248 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin re)) (log im))) in re 8.248 * [taylor]: Taking taylor expansion of 1/3 in re 8.248 * [taylor]: Taking taylor expansion of (+ (log (sin re)) (log im)) in re 8.248 * [taylor]: Taking taylor expansion of (log (sin re)) in re 8.248 * [taylor]: Taking taylor expansion of (sin re) in re 8.248 * [taylor]: Taking taylor expansion of re in re 8.248 * [taylor]: Taking taylor expansion of (log im) in re 8.248 * [taylor]: Taking taylor expansion of im in re 8.250 * [taylor]: Taking taylor expansion of 0 in re 8.251 * [taylor]: Taking taylor expansion of 0 in re 8.254 * [taylor]: Taking taylor expansion of 0 in re 8.258 * [taylor]: Taking taylor expansion of 0 in re 8.259 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in (im re) around 0 8.259 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in re 8.259 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in re 8.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in re 8.259 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in re 8.259 * [taylor]: Taking taylor expansion of 1/3 in re 8.259 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in re 8.259 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 8.259 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 8.259 * [taylor]: Taking taylor expansion of (/ 1 re) in re 8.259 * [taylor]: Taking taylor expansion of re in re 8.259 * [taylor]: Taking taylor expansion of im in re 8.259 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.259 * [taylor]: Taking taylor expansion of -1.0 in re 8.259 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 8.259 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 8.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 8.259 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 8.259 * [taylor]: Taking taylor expansion of 1/3 in im 8.259 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 8.259 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 8.259 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 8.260 * [taylor]: Taking taylor expansion of (/ 1 re) in im 8.260 * [taylor]: Taking taylor expansion of re in im 8.260 * [taylor]: Taking taylor expansion of im in im 8.260 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.260 * [taylor]: Taking taylor expansion of -1.0 in im 8.260 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 8.260 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 8.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 8.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 8.260 * [taylor]: Taking taylor expansion of 1/3 in im 8.260 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 8.260 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 8.260 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 8.260 * [taylor]: Taking taylor expansion of (/ 1 re) in im 8.260 * [taylor]: Taking taylor expansion of re in im 8.260 * [taylor]: Taking taylor expansion of im in im 8.261 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.261 * [taylor]: Taking taylor expansion of -1.0 in im 8.261 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (- (log (sin (/ 1 re))) (log im))))) in re 8.261 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.261 * [taylor]: Taking taylor expansion of -1.0 in re 8.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 re))) (log im)))) in re 8.261 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 re))) (log im))) in re 8.261 * [taylor]: Taking taylor expansion of 1/3 in re 8.262 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 re))) (log im)) in re 8.262 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 8.262 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 8.262 * [taylor]: Taking taylor expansion of (/ 1 re) in re 8.262 * [taylor]: Taking taylor expansion of re in re 8.262 * [taylor]: Taking taylor expansion of (log im) in re 8.262 * [taylor]: Taking taylor expansion of im in re 8.263 * [taylor]: Taking taylor expansion of 0 in re 8.265 * [taylor]: Taking taylor expansion of 0 in re 8.267 * [taylor]: Taking taylor expansion of 0 in re 8.268 * [approximate]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in (im re) around 0 8.268 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in re 8.268 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 8.268 * [taylor]: Taking taylor expansion of 1.0 in re 8.268 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in re 8.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in re 8.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in re 8.268 * [taylor]: Taking taylor expansion of 1/3 in re 8.268 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in re 8.268 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 8.268 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 8.268 * [taylor]: Taking taylor expansion of (/ -1 re) in re 8.268 * [taylor]: Taking taylor expansion of -1 in re 8.268 * [taylor]: Taking taylor expansion of re in re 8.268 * [taylor]: Taking taylor expansion of im in re 8.268 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in im 8.268 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 8.268 * [taylor]: Taking taylor expansion of 1.0 in im 8.268 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 8.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 8.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 8.269 * [taylor]: Taking taylor expansion of 1/3 in im 8.269 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 8.269 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 8.269 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 8.269 * [taylor]: Taking taylor expansion of (/ -1 re) in im 8.269 * [taylor]: Taking taylor expansion of -1 in im 8.269 * [taylor]: Taking taylor expansion of re in im 8.269 * [taylor]: Taking taylor expansion of im in im 8.269 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in im 8.269 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 8.269 * [taylor]: Taking taylor expansion of 1.0 in im 8.269 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 8.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 8.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 8.269 * [taylor]: Taking taylor expansion of 1/3 in im 8.269 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 8.269 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 8.269 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 8.269 * [taylor]: Taking taylor expansion of (/ -1 re) in im 8.269 * [taylor]: Taking taylor expansion of -1 in im 8.269 * [taylor]: Taking taylor expansion of re in im 8.269 * [taylor]: Taking taylor expansion of im in im 8.270 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (exp (* 1/3 (- (log (sin (/ -1 re))) (log im))))) in re 8.270 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 8.270 * [taylor]: Taking taylor expansion of 1.0 in re 8.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 re))) (log im)))) in re 8.270 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 re))) (log im))) in re 8.270 * [taylor]: Taking taylor expansion of 1/3 in re 8.270 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 re))) (log im)) in re 8.270 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 8.270 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 8.270 * [taylor]: Taking taylor expansion of (/ -1 re) in re 8.270 * [taylor]: Taking taylor expansion of -1 in re 8.270 * [taylor]: Taking taylor expansion of re in re 8.270 * [taylor]: Taking taylor expansion of (log im) in re 8.270 * [taylor]: Taking taylor expansion of im in re 8.271 * [taylor]: Taking taylor expansion of 0 in re 8.273 * [taylor]: Taking taylor expansion of 0 in re 8.276 * [taylor]: Taking taylor expansion of 0 in re 8.276 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 8.276 * [approximate]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in (im re) around 0 8.276 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in re 8.276 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in re 8.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in re 8.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in re 8.276 * [taylor]: Taking taylor expansion of 1/3 in re 8.276 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in re 8.276 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 8.276 * [taylor]: Taking taylor expansion of (sin re) in re 8.276 * [taylor]: Taking taylor expansion of re in re 8.276 * [taylor]: Taking taylor expansion of im in re 8.276 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.276 * [taylor]: Taking taylor expansion of -1.0 in re 8.276 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in im 8.276 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 8.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 8.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 8.277 * [taylor]: Taking taylor expansion of 1/3 in im 8.277 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 8.277 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 8.277 * [taylor]: Taking taylor expansion of (sin re) in im 8.277 * [taylor]: Taking taylor expansion of re in im 8.277 * [taylor]: Taking taylor expansion of im in im 8.277 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.277 * [taylor]: Taking taylor expansion of -1.0 in im 8.277 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in im 8.277 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 8.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 8.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 8.277 * [taylor]: Taking taylor expansion of 1/3 in im 8.277 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 8.277 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 8.277 * [taylor]: Taking taylor expansion of (sin re) in im 8.277 * [taylor]: Taking taylor expansion of re in im 8.277 * [taylor]: Taking taylor expansion of im in im 8.278 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.278 * [taylor]: Taking taylor expansion of -1.0 in im 8.278 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (+ (log (sin re)) (log im))))) in re 8.278 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.278 * [taylor]: Taking taylor expansion of -1.0 in re 8.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin re)) (log im)))) in re 8.278 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin re)) (log im))) in re 8.278 * [taylor]: Taking taylor expansion of 1/3 in re 8.278 * [taylor]: Taking taylor expansion of (+ (log (sin re)) (log im)) in re 8.278 * [taylor]: Taking taylor expansion of (log (sin re)) in re 8.278 * [taylor]: Taking taylor expansion of (sin re) in re 8.278 * [taylor]: Taking taylor expansion of re in re 8.279 * [taylor]: Taking taylor expansion of (log im) in re 8.279 * [taylor]: Taking taylor expansion of im in re 8.280 * [taylor]: Taking taylor expansion of 0 in re 8.281 * [taylor]: Taking taylor expansion of 0 in re 8.285 * [taylor]: Taking taylor expansion of 0 in re 8.288 * [taylor]: Taking taylor expansion of 0 in re 8.289 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in (im re) around 0 8.289 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in re 8.289 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in re 8.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in re 8.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in re 8.289 * [taylor]: Taking taylor expansion of 1/3 in re 8.289 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in re 8.289 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 8.289 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 8.289 * [taylor]: Taking taylor expansion of (/ 1 re) in re 8.289 * [taylor]: Taking taylor expansion of re in re 8.289 * [taylor]: Taking taylor expansion of im in re 8.289 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.289 * [taylor]: Taking taylor expansion of -1.0 in re 8.290 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 8.290 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 8.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 8.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 8.290 * [taylor]: Taking taylor expansion of 1/3 in im 8.290 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 8.290 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 8.290 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 8.290 * [taylor]: Taking taylor expansion of (/ 1 re) in im 8.290 * [taylor]: Taking taylor expansion of re in im 8.290 * [taylor]: Taking taylor expansion of im in im 8.290 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.290 * [taylor]: Taking taylor expansion of -1.0 in im 8.290 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 8.290 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 8.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 8.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 8.290 * [taylor]: Taking taylor expansion of 1/3 in im 8.290 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 8.290 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 8.290 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 8.291 * [taylor]: Taking taylor expansion of (/ 1 re) in im 8.291 * [taylor]: Taking taylor expansion of re in im 8.291 * [taylor]: Taking taylor expansion of im in im 8.291 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.291 * [taylor]: Taking taylor expansion of -1.0 in im 8.291 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (- (log (sin (/ 1 re))) (log im))))) in re 8.291 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.291 * [taylor]: Taking taylor expansion of -1.0 in re 8.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 re))) (log im)))) in re 8.291 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 re))) (log im))) in re 8.291 * [taylor]: Taking taylor expansion of 1/3 in re 8.291 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 re))) (log im)) in re 8.291 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 8.291 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 8.292 * [taylor]: Taking taylor expansion of (/ 1 re) in re 8.292 * [taylor]: Taking taylor expansion of re in re 8.292 * [taylor]: Taking taylor expansion of (log im) in re 8.292 * [taylor]: Taking taylor expansion of im in re 8.293 * [taylor]: Taking taylor expansion of 0 in re 8.295 * [taylor]: Taking taylor expansion of 0 in re 8.297 * [taylor]: Taking taylor expansion of 0 in re 8.298 * [approximate]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in (im re) around 0 8.298 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in re 8.298 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 8.298 * [taylor]: Taking taylor expansion of 1.0 in re 8.298 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in re 8.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in re 8.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in re 8.298 * [taylor]: Taking taylor expansion of 1/3 in re 8.298 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in re 8.298 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 8.298 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 8.298 * [taylor]: Taking taylor expansion of (/ -1 re) in re 8.298 * [taylor]: Taking taylor expansion of -1 in re 8.298 * [taylor]: Taking taylor expansion of re in re 8.298 * [taylor]: Taking taylor expansion of im in re 8.298 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in im 8.298 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 8.298 * [taylor]: Taking taylor expansion of 1.0 in im 8.298 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 8.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 8.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 8.298 * [taylor]: Taking taylor expansion of 1/3 in im 8.298 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 8.298 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 8.298 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 8.298 * [taylor]: Taking taylor expansion of (/ -1 re) in im 8.298 * [taylor]: Taking taylor expansion of -1 in im 8.298 * [taylor]: Taking taylor expansion of re in im 8.299 * [taylor]: Taking taylor expansion of im in im 8.299 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in im 8.299 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 8.299 * [taylor]: Taking taylor expansion of 1.0 in im 8.299 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 8.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 8.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 8.299 * [taylor]: Taking taylor expansion of 1/3 in im 8.299 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 8.299 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 8.299 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 8.299 * [taylor]: Taking taylor expansion of (/ -1 re) in im 8.299 * [taylor]: Taking taylor expansion of -1 in im 8.299 * [taylor]: Taking taylor expansion of re in im 8.299 * [taylor]: Taking taylor expansion of im in im 8.300 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (exp (* 1/3 (- (log (sin (/ -1 re))) (log im))))) in re 8.300 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 8.300 * [taylor]: Taking taylor expansion of 1.0 in re 8.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 re))) (log im)))) in re 8.300 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 re))) (log im))) in re 8.300 * [taylor]: Taking taylor expansion of 1/3 in re 8.300 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 re))) (log im)) in re 8.300 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 8.300 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 8.300 * [taylor]: Taking taylor expansion of (/ -1 re) in re 8.300 * [taylor]: Taking taylor expansion of -1 in re 8.300 * [taylor]: Taking taylor expansion of re in re 8.300 * [taylor]: Taking taylor expansion of (log im) in re 8.300 * [taylor]: Taking taylor expansion of im in re 8.301 * [taylor]: Taking taylor expansion of 0 in re 8.307 * [taylor]: Taking taylor expansion of 0 in re 8.309 * [taylor]: Taking taylor expansion of 0 in re 8.309 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 8.309 * [approximate]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in (im re) around 0 8.309 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in re 8.309 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in re 8.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in re 8.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in re 8.309 * [taylor]: Taking taylor expansion of 1/3 in re 8.309 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in re 8.309 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 8.309 * [taylor]: Taking taylor expansion of (sin re) in re 8.309 * [taylor]: Taking taylor expansion of re in re 8.310 * [taylor]: Taking taylor expansion of im in re 8.310 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.310 * [taylor]: Taking taylor expansion of -1.0 in re 8.310 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in im 8.310 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 8.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 8.310 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 8.310 * [taylor]: Taking taylor expansion of 1/3 in im 8.310 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 8.310 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 8.310 * [taylor]: Taking taylor expansion of (sin re) in im 8.310 * [taylor]: Taking taylor expansion of re in im 8.310 * [taylor]: Taking taylor expansion of im in im 8.311 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.311 * [taylor]: Taking taylor expansion of -1.0 in im 8.311 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in im 8.311 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 8.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 8.311 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 8.311 * [taylor]: Taking taylor expansion of 1/3 in im 8.311 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 8.311 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 8.311 * [taylor]: Taking taylor expansion of (sin re) in im 8.311 * [taylor]: Taking taylor expansion of re in im 8.311 * [taylor]: Taking taylor expansion of im in im 8.311 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.311 * [taylor]: Taking taylor expansion of -1.0 in im 8.312 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (+ (log (sin re)) (log im))))) in re 8.312 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.312 * [taylor]: Taking taylor expansion of -1.0 in re 8.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin re)) (log im)))) in re 8.312 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin re)) (log im))) in re 8.312 * [taylor]: Taking taylor expansion of 1/3 in re 8.312 * [taylor]: Taking taylor expansion of (+ (log (sin re)) (log im)) in re 8.312 * [taylor]: Taking taylor expansion of (log (sin re)) in re 8.312 * [taylor]: Taking taylor expansion of (sin re) in re 8.312 * [taylor]: Taking taylor expansion of re in re 8.312 * [taylor]: Taking taylor expansion of (log im) in re 8.312 * [taylor]: Taking taylor expansion of im in re 8.313 * [taylor]: Taking taylor expansion of 0 in re 8.315 * [taylor]: Taking taylor expansion of 0 in re 8.319 * [taylor]: Taking taylor expansion of 0 in re 8.323 * [taylor]: Taking taylor expansion of 0 in re 8.324 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in (im re) around 0 8.324 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in re 8.324 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in re 8.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in re 8.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in re 8.324 * [taylor]: Taking taylor expansion of 1/3 in re 8.324 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in re 8.324 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 8.324 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 8.324 * [taylor]: Taking taylor expansion of (/ 1 re) in re 8.324 * [taylor]: Taking taylor expansion of re in re 8.324 * [taylor]: Taking taylor expansion of im in re 8.324 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.324 * [taylor]: Taking taylor expansion of -1.0 in re 8.324 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 8.324 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 8.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 8.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 8.324 * [taylor]: Taking taylor expansion of 1/3 in im 8.324 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 8.324 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 8.324 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 8.324 * [taylor]: Taking taylor expansion of (/ 1 re) in im 8.324 * [taylor]: Taking taylor expansion of re in im 8.324 * [taylor]: Taking taylor expansion of im in im 8.325 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.325 * [taylor]: Taking taylor expansion of -1.0 in im 8.325 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 8.325 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 8.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 8.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 8.325 * [taylor]: Taking taylor expansion of 1/3 in im 8.325 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 8.325 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 8.325 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 8.325 * [taylor]: Taking taylor expansion of (/ 1 re) in im 8.325 * [taylor]: Taking taylor expansion of re in im 8.325 * [taylor]: Taking taylor expansion of im in im 8.326 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.326 * [taylor]: Taking taylor expansion of -1.0 in im 8.326 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (- (log (sin (/ 1 re))) (log im))))) in re 8.326 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.326 * [taylor]: Taking taylor expansion of -1.0 in re 8.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 re))) (log im)))) in re 8.326 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 re))) (log im))) in re 8.326 * [taylor]: Taking taylor expansion of 1/3 in re 8.326 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 re))) (log im)) in re 8.326 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 8.326 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 8.326 * [taylor]: Taking taylor expansion of (/ 1 re) in re 8.326 * [taylor]: Taking taylor expansion of re in re 8.326 * [taylor]: Taking taylor expansion of (log im) in re 8.326 * [taylor]: Taking taylor expansion of im in re 8.327 * [taylor]: Taking taylor expansion of 0 in re 8.329 * [taylor]: Taking taylor expansion of 0 in re 8.332 * [taylor]: Taking taylor expansion of 0 in re 8.332 * [approximate]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in (im re) around 0 8.332 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in re 8.332 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 8.332 * [taylor]: Taking taylor expansion of 1.0 in re 8.332 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in re 8.332 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in re 8.332 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in re 8.332 * [taylor]: Taking taylor expansion of 1/3 in re 8.332 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in re 8.332 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 8.332 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 8.332 * [taylor]: Taking taylor expansion of (/ -1 re) in re 8.332 * [taylor]: Taking taylor expansion of -1 in re 8.332 * [taylor]: Taking taylor expansion of re in re 8.333 * [taylor]: Taking taylor expansion of im in re 8.333 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in im 8.333 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 8.333 * [taylor]: Taking taylor expansion of 1.0 in im 8.333 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 8.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 8.333 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 8.333 * [taylor]: Taking taylor expansion of 1/3 in im 8.333 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 8.333 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 8.333 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 8.333 * [taylor]: Taking taylor expansion of (/ -1 re) in im 8.333 * [taylor]: Taking taylor expansion of -1 in im 8.333 * [taylor]: Taking taylor expansion of re in im 8.333 * [taylor]: Taking taylor expansion of im in im 8.333 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in im 8.333 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 8.333 * [taylor]: Taking taylor expansion of 1.0 in im 8.334 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 8.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 8.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 8.334 * [taylor]: Taking taylor expansion of 1/3 in im 8.334 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 8.334 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 8.334 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 8.334 * [taylor]: Taking taylor expansion of (/ -1 re) in im 8.334 * [taylor]: Taking taylor expansion of -1 in im 8.334 * [taylor]: Taking taylor expansion of re in im 8.334 * [taylor]: Taking taylor expansion of im in im 8.334 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (exp (* 1/3 (- (log (sin (/ -1 re))) (log im))))) in re 8.334 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 8.335 * [taylor]: Taking taylor expansion of 1.0 in re 8.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 re))) (log im)))) in re 8.335 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 re))) (log im))) in re 8.335 * [taylor]: Taking taylor expansion of 1/3 in re 8.335 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 re))) (log im)) in re 8.335 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 8.335 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 8.335 * [taylor]: Taking taylor expansion of (/ -1 re) in re 8.335 * [taylor]: Taking taylor expansion of -1 in re 8.335 * [taylor]: Taking taylor expansion of re in re 8.335 * [taylor]: Taking taylor expansion of (log im) in re 8.335 * [taylor]: Taking taylor expansion of im in re 8.336 * [taylor]: Taking taylor expansion of 0 in re 8.338 * [taylor]: Taking taylor expansion of 0 in re 8.340 * [taylor]: Taking taylor expansion of 0 in re 8.340 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 8.340 * [approximate]: Taking taylor expansion of (* (pow (* (pow (sin re) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in (im re) around 0 8.341 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin re) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in re 8.341 * [taylor]: Taking taylor expansion of (pow (* (pow (sin re) 2) (pow im 2)) 1/3) in re 8.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin re) 2) (pow im 2))))) in re 8.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin re) 2) (pow im 2)))) in re 8.341 * [taylor]: Taking taylor expansion of 1/3 in re 8.341 * [taylor]: Taking taylor expansion of (log (* (pow (sin re) 2) (pow im 2))) in re 8.341 * [taylor]: Taking taylor expansion of (* (pow (sin re) 2) (pow im 2)) in re 8.341 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in re 8.341 * [taylor]: Taking taylor expansion of (sin re) in re 8.341 * [taylor]: Taking taylor expansion of re in re 8.341 * [taylor]: Taking taylor expansion of (pow im 2) in re 8.341 * [taylor]: Taking taylor expansion of im in re 8.341 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in re 8.341 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.341 * [taylor]: Taking taylor expansion of -1.0 in re 8.341 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin re) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in im 8.341 * [taylor]: Taking taylor expansion of (pow (* (pow (sin re) 2) (pow im 2)) 1/3) in im 8.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin re) 2) (pow im 2))))) in im 8.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin re) 2) (pow im 2)))) in im 8.341 * [taylor]: Taking taylor expansion of 1/3 in im 8.341 * [taylor]: Taking taylor expansion of (log (* (pow (sin re) 2) (pow im 2))) in im 8.341 * [taylor]: Taking taylor expansion of (* (pow (sin re) 2) (pow im 2)) in im 8.342 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in im 8.342 * [taylor]: Taking taylor expansion of (sin re) in im 8.342 * [taylor]: Taking taylor expansion of re in im 8.342 * [taylor]: Taking taylor expansion of (pow im 2) in im 8.342 * [taylor]: Taking taylor expansion of im in im 8.342 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in im 8.342 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.342 * [taylor]: Taking taylor expansion of -1.0 in im 8.342 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin re) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in im 8.342 * [taylor]: Taking taylor expansion of (pow (* (pow (sin re) 2) (pow im 2)) 1/3) in im 8.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin re) 2) (pow im 2))))) in im 8.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin re) 2) (pow im 2)))) in im 8.342 * [taylor]: Taking taylor expansion of 1/3 in im 8.342 * [taylor]: Taking taylor expansion of (log (* (pow (sin re) 2) (pow im 2))) in im 8.342 * [taylor]: Taking taylor expansion of (* (pow (sin re) 2) (pow im 2)) in im 8.342 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in im 8.342 * [taylor]: Taking taylor expansion of (sin re) in im 8.342 * [taylor]: Taking taylor expansion of re in im 8.343 * [taylor]: Taking taylor expansion of (pow im 2) in im 8.343 * [taylor]: Taking taylor expansion of im in im 8.343 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in im 8.343 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.343 * [taylor]: Taking taylor expansion of -1.0 in im 8.344 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log (pow (sin re) 2)) (* 2 (log im))))) (pow (cbrt -1.0) 2)) in re 8.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (pow (sin re) 2)) (* 2 (log im))))) in re 8.344 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (pow (sin re) 2)) (* 2 (log im)))) in re 8.344 * [taylor]: Taking taylor expansion of 1/3 in re 8.344 * [taylor]: Taking taylor expansion of (+ (log (pow (sin re) 2)) (* 2 (log im))) in re 8.344 * [taylor]: Taking taylor expansion of (log (pow (sin re) 2)) in re 8.344 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in re 8.344 * [taylor]: Taking taylor expansion of (sin re) in re 8.344 * [taylor]: Taking taylor expansion of re in re 8.344 * [taylor]: Taking taylor expansion of (* 2 (log im)) in re 8.344 * [taylor]: Taking taylor expansion of 2 in re 8.344 * [taylor]: Taking taylor expansion of (log im) in re 8.344 * [taylor]: Taking taylor expansion of im in re 8.344 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in re 8.344 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.344 * [taylor]: Taking taylor expansion of -1.0 in re 8.346 * [taylor]: Taking taylor expansion of 0 in re 8.348 * [taylor]: Taking taylor expansion of 0 in re 8.352 * [taylor]: Taking taylor expansion of 0 in re 8.357 * [taylor]: Taking taylor expansion of 0 in re 8.358 * [approximate]: Taking taylor expansion of (* (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in (im re) around 0 8.358 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in re 8.358 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) in re 8.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))))) in re 8.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2)))) in re 8.358 * [taylor]: Taking taylor expansion of 1/3 in re 8.358 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))) in re 8.358 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 re)) 2) (pow im 2)) in re 8.358 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in re 8.358 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 8.358 * [taylor]: Taking taylor expansion of (/ 1 re) in re 8.358 * [taylor]: Taking taylor expansion of re in re 8.358 * [taylor]: Taking taylor expansion of (pow im 2) in re 8.358 * [taylor]: Taking taylor expansion of im in re 8.359 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in re 8.359 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.359 * [taylor]: Taking taylor expansion of -1.0 in re 8.359 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in im 8.359 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) in im 8.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))))) in im 8.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2)))) in im 8.359 * [taylor]: Taking taylor expansion of 1/3 in im 8.359 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))) in im 8.359 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 re)) 2) (pow im 2)) in im 8.359 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in im 8.359 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 8.359 * [taylor]: Taking taylor expansion of (/ 1 re) in im 8.359 * [taylor]: Taking taylor expansion of re in im 8.359 * [taylor]: Taking taylor expansion of (pow im 2) in im 8.359 * [taylor]: Taking taylor expansion of im in im 8.360 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in im 8.360 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.360 * [taylor]: Taking taylor expansion of -1.0 in im 8.360 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in im 8.360 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) in im 8.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))))) in im 8.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2)))) in im 8.360 * [taylor]: Taking taylor expansion of 1/3 in im 8.360 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))) in im 8.360 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 re)) 2) (pow im 2)) in im 8.360 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in im 8.360 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 8.360 * [taylor]: Taking taylor expansion of (/ 1 re) in im 8.360 * [taylor]: Taking taylor expansion of re in im 8.361 * [taylor]: Taking taylor expansion of (pow im 2) in im 8.361 * [taylor]: Taking taylor expansion of im in im 8.361 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in im 8.361 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 8.361 * [taylor]: Taking taylor expansion of -1.0 in im 8.362 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1.0) 2) (exp (* 1/3 (- (log (pow (sin (/ 1 re)) 2)) (* 2 (log im)))))) in re 8.362 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in re 8.362 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 8.362 * [taylor]: Taking taylor expansion of -1.0 in re 8.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ 1 re)) 2)) (* 2 (log im))))) in re 8.362 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ 1 re)) 2)) (* 2 (log im)))) in re 8.362 * [taylor]: Taking taylor expansion of 1/3 in re 8.362 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ 1 re)) 2)) (* 2 (log im))) in re 8.362 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 re)) 2)) in re 8.362 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in re 8.362 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 8.362 * [taylor]: Taking taylor expansion of (/ 1 re) in re 8.362 * [taylor]: Taking taylor expansion of re in re 8.362 * [taylor]: Taking taylor expansion of (* 2 (log im)) in re 8.362 * [taylor]: Taking taylor expansion of 2 in re 8.362 * [taylor]: Taking taylor expansion of (log im) in re 8.362 * [taylor]: Taking taylor expansion of im in re 8.365 * [taylor]: Taking taylor expansion of 0 in re 8.367 * [taylor]: Taking taylor expansion of 0 in re 8.371 * [taylor]: Taking taylor expansion of 0 in re 8.372 * [approximate]: Taking taylor expansion of (* (pow (cbrt 1.0) 2) (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3)) in (im re) around 0 8.372 * [taylor]: Taking taylor expansion of (* (pow (cbrt 1.0) 2) (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3)) in re 8.372 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in re 8.372 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 8.372 * [taylor]: Taking taylor expansion of 1.0 in re 8.372 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3) in re 8.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))))) in re 8.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2)))) in re 8.372 * [taylor]: Taking taylor expansion of 1/3 in re 8.372 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))) in re 8.372 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 re)) 2) (pow im 2)) in re 8.372 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in re 8.372 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 8.372 * [taylor]: Taking taylor expansion of (/ -1 re) in re 8.372 * [taylor]: Taking taylor expansion of -1 in re 8.372 * [taylor]: Taking taylor expansion of re in re 8.372 * [taylor]: Taking taylor expansion of (pow im 2) in re 8.372 * [taylor]: Taking taylor expansion of im in re 8.373 * [taylor]: Taking taylor expansion of (* (pow (cbrt 1.0) 2) (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3)) in im 8.373 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in im 8.373 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 8.373 * [taylor]: Taking taylor expansion of 1.0 in im 8.373 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3) in im 8.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))))) in im 8.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2)))) in im 8.373 * [taylor]: Taking taylor expansion of 1/3 in im 8.373 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))) in im 8.373 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 re)) 2) (pow im 2)) in im 8.373 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in im 8.373 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 8.373 * [taylor]: Taking taylor expansion of (/ -1 re) in im 8.373 * [taylor]: Taking taylor expansion of -1 in im 8.373 * [taylor]: Taking taylor expansion of re in im 8.373 * [taylor]: Taking taylor expansion of (pow im 2) in im 8.373 * [taylor]: Taking taylor expansion of im in im 8.374 * [taylor]: Taking taylor expansion of (* (pow (cbrt 1.0) 2) (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3)) in im 8.374 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in im 8.374 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 8.374 * [taylor]: Taking taylor expansion of 1.0 in im 8.374 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3) in im 8.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))))) in im 8.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2)))) in im 8.374 * [taylor]: Taking taylor expansion of 1/3 in im 8.374 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))) in im 8.374 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 re)) 2) (pow im 2)) in im 8.374 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in im 8.374 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 8.374 * [taylor]: Taking taylor expansion of (/ -1 re) in im 8.374 * [taylor]: Taking taylor expansion of -1 in im 8.374 * [taylor]: Taking taylor expansion of re in im 8.374 * [taylor]: Taking taylor expansion of (pow im 2) in im 8.374 * [taylor]: Taking taylor expansion of im in im 8.375 * [taylor]: Taking taylor expansion of (* (pow (cbrt 1.0) 2) (exp (* 1/3 (- (log (pow (sin (/ -1 re)) 2)) (* 2 (log im)))))) in re 8.375 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in re 8.375 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 8.375 * [taylor]: Taking taylor expansion of 1.0 in re 8.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ -1 re)) 2)) (* 2 (log im))))) in re 8.375 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ -1 re)) 2)) (* 2 (log im)))) in re 8.375 * [taylor]: Taking taylor expansion of 1/3 in re 8.375 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ -1 re)) 2)) (* 2 (log im))) in re 8.375 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 re)) 2)) in re 8.375 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in re 8.375 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 8.375 * [taylor]: Taking taylor expansion of (/ -1 re) in re 8.375 * [taylor]: Taking taylor expansion of -1 in re 8.375 * [taylor]: Taking taylor expansion of re in re 8.375 * [taylor]: Taking taylor expansion of (* 2 (log im)) in re 8.375 * [taylor]: Taking taylor expansion of 2 in re 8.375 * [taylor]: Taking taylor expansion of (log im) in re 8.375 * [taylor]: Taking taylor expansion of im in re 8.378 * [taylor]: Taking taylor expansion of 0 in re 8.381 * [taylor]: Taking taylor expansion of 0 in re 8.384 * [taylor]: Taking taylor expansion of 0 in re 8.385 * * * [progress]: simplifying candidates 8.386 * [simplify]: Simplifying using # : (log (cbrt (* (* -2 im) (* 0.5 (sin re))))) (exp (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (* -2 im)) (cbrt (* 0.5 (sin re))) (* (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (* (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (log (cbrt (* (* -2 im) (* 0.5 (sin re))))) (exp (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (* -2 im)) (cbrt (* 0.5 (sin re))) (* (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (* (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (log (cbrt (* (* -2 im) (* 0.5 (sin re))))) (exp (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (* -2 im)) (cbrt (* 0.5 (sin re))) (* (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (* (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (+ 1/3 1/3) (+ 1 1) (* (* (* -2 im) (* 0.5 (sin re))) (* (* -2 im) (* 0.5 (sin re)))) (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (+ 1 1) (+ (log (cbrt (* (* -2 im) (* 0.5 (sin re))))) (log (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (log (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (exp (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (* (* (* -2 im) (* 0.5 (sin re))) (* (* -2 im) (* 0.5 (sin re)))) (* (cbrt (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (cbrt (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re))))))) (cbrt (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (* (* (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (sqrt (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (sqrt (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (* (cbrt (* -2 im)) (cbrt (* -2 im))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (* (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (* (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))))) (* (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (* (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (* (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (* 1 1) (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (* (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (* (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (* 2 1/3) (* 2 1) (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* -2 im))) (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (* (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))))) (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) 1) (* (cbrt (* 0.5 (sin re))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (* (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (* (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (- (* (cbrt -1.0) (exp (* 1/3 (+ (log re) (+ (log 1) (log im)))))) (* 1/18 (* (cbrt -1.0) (* (pow re 2) (exp (* 1/3 (+ (log re) (+ (log 1) (log im))))))))) (* (cbrt -1.0) (exp (* 1/3 (- (log (sin re)) (log (/ 1 im)))))) (* (cbrt 1.0) (exp (* 1/3 (- (log (sin re)) (log (/ -1 im)))))) (- (* (cbrt -1.0) (exp (* 1/3 (+ (log re) (+ (log 1) (log im)))))) (* 1/18 (* (cbrt -1.0) (* (pow re 2) (exp (* 1/3 (+ (log re) (+ (log 1) (log im))))))))) (* (cbrt -1.0) (exp (* 1/3 (- (log (sin re)) (log (/ 1 im)))))) (* (cbrt 1.0) (exp (* 1/3 (- (log (sin re)) (log (/ -1 im)))))) (- (* (cbrt -1.0) (exp (* 1/3 (+ (log re) (+ (log 1) (log im)))))) (* 1/18 (* (cbrt -1.0) (* (pow re 2) (exp (* 1/3 (+ (log re) (+ (log 1) (log im))))))))) (* (cbrt -1.0) (exp (* 1/3 (- (log (sin re)) (log (/ 1 im)))))) (* (cbrt 1.0) (exp (* 1/3 (- (log (sin re)) (log (/ -1 im)))))) (- (* (exp (* 1/3 (+ (* 2 (log re)) (+ (log 1) (* 2 (log im)))))) (pow (cbrt -1.0) 2)) (* 1/9 (* (exp (* 1/3 (+ (* 2 (log re)) (+ (log 1) (* 2 (log im)))))) (* (pow re 2) (pow (cbrt -1.0) 2))))) (* (exp (* 1/3 (- (log (pow (sin re) 2)) (* 2 (log (/ 1 im)))))) (pow (cbrt -1.0) 2)) (* (pow (cbrt 1.0) 2) (exp (* 1/3 (- (log (pow (sin re) 2)) (* 2 (log (/ -1 im))))))) 8.389 * * [simplify]: iteration 0 : 104 enodes (cost 1232 ) 8.408 * * [simplify]: iteration 1 : 230 enodes (cost 1121 ) 8.458 * * [simplify]: iteration 2 : 679 enodes (cost 967 ) 8.764 * * [simplify]: iteration 3 : 2542 enodes (cost 808 ) 9.681 * * [simplify]: iteration done : 5000 enodes (cost 808 ) 9.682 * [simplify]: Simplified to: (log (cbrt (* (* -2 im) (* 0.5 (sin re))))) (exp (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (* -2 im)) (cbrt (* 0.5 (sin re))) (* (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (* (* -2 im) (* 0.5 (sin re))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (log (cbrt (* (* -2 im) (* 0.5 (sin re))))) (exp (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (* -2 im)) (cbrt (* 0.5 (sin re))) (* (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (* (* -2 im) (* 0.5 (sin re))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (log (cbrt (* (* -2 im) (* 0.5 (sin re))))) (exp (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (* -2 im)) (cbrt (* 0.5 (sin re))) (* (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (* (* -2 im) (* 0.5 (sin re))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) 2/3 2 (pow (cbrt (* (* -2 im) (* 0.5 (sin re)))) 6) (pow (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) 4) 2 (* 2 (log (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (* 2 (log (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (exp (pow (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) 4)) (pow (cbrt (* (* -2 im) (* 0.5 (sin re)))) 6) (* (cbrt (pow (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) 4)) (cbrt (pow (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) 4))) (cbrt (pow (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) 4)) (pow (cbrt (* (* -2 im) (* 0.5 (sin re)))) 6) (fabs (cbrt (* (* -2 im) (* 0.5 (sin re))))) (fabs (cbrt (* (* -2 im) (* 0.5 (sin re))))) (* (cbrt (* -2 im)) (cbrt (* -2 im))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (pow (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) 4) (* (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re)))))) (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re)))) 1 (pow (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) 4) (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* (* -2 im) (* 0.5 (sin re)))) 2/3 2 (* (cbrt (* (* -2 im) (* 0.5 (sin re)))) (cbrt (* -2 im))) (* (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) (pow (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) 4)) (pow (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) 3) (cbrt (* (* -2 im) (* 0.5 (sin re)))) (* (cbrt (* 0.5 (sin re))) (cbrt (* (* -2 im) (* 0.5 (sin re))))) (pow (cbrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) 4) (pow (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) 3) (pow (sqrt (cbrt (* (* -2 im) (* 0.5 (sin re))))) 4) (* (* (pow im 1/3) (pow re 1/3)) (- (cbrt -1.0) (* 1/18 (* (cbrt -1.0) (pow re 2))))) (* (cbrt -1.0) (cbrt (exp (+ (log im) (log (sin re)))))) (* (cbrt (exp (- (log (sin re)) (log (/ -1 im))))) (cbrt 1.0)) (* (* (pow im 1/3) (pow re 1/3)) (- (cbrt -1.0) (* 1/18 (* (cbrt -1.0) (pow re 2))))) (* (cbrt -1.0) (cbrt (exp (+ (log im) (log (sin re)))))) (* (cbrt (exp (- (log (sin re)) (log (/ -1 im))))) (cbrt 1.0)) (* (* (pow im 1/3) (pow re 1/3)) (- (cbrt -1.0) (* 1/18 (* (cbrt -1.0) (pow re 2))))) (* (cbrt -1.0) (cbrt (exp (+ (log im) (log (sin re)))))) (* (cbrt (exp (- (log (sin re)) (log (/ -1 im))))) (cbrt 1.0)) (* (cbrt (exp (* 2 (+ (log re) (log im))))) (- (pow (cbrt -1.0) 2) (* 1/9 (* (pow re 2) (pow (cbrt -1.0) 2))))) (* (cbrt (exp (* 2 (+ (log im) (log (sin re)))))) (pow (cbrt -1.0) 2)) (* (pow (cbrt 1.0) 2) (cbrt (exp (* 2 (- (log (sin re)) (log (/ -1 im))))))) 9.682 * * * [progress]: adding candidates to table 9.913 * [progress]: [Phase 3 of 3] Extracting. 9.914 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 9.918 * * * [regime-changes]: Trying 5 branch expressions: ((- (exp (neg im)) (exp im)) (sin re) (* 0.5 (sin re)) im re) 9.918 * * * * [regimes]: Trying to branch on (- (exp (neg im)) (exp im)) from (# # # # # # # # #) 9.989 * * * * [regimes]: Trying to branch on (sin re) from (# # # # # # # # #) 10.065 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# # # # # # # # #) 10.143 * * * * [regimes]: Trying to branch on im from (# # # # # # # # #) 10.213 * * * * [regimes]: Trying to branch on re from (# # # # # # # # #) 10.283 * * * [regime]: Found split indices: #