10.463 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.506 * * * [progress]: [2/2] Setting up program. 0.510 * [progress]: [Phase 2 of 3] Improving. 0.510 * [simplify]: Simplifying using # : (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 0.569 * * [simplify]: iteration 0 : 5348 enodes (cost 12 ) 0.569 * [simplify]: Simplified to: (* 0.5 (* (cos re) (- (exp (- 0.0 im)) (exp im)))) 0.573 * * [progress]: iteration 1 / 4 0.573 * * * [progress]: picking best candidate 0.576 * * * * [pick]: Picked # 0.576 * * * [progress]: localizing error 0.590 * * * [progress]: generating rewritten candidates 0.590 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.597 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.609 * * * [progress]: generating series expansions 0.609 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.609 * [approximate]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in (im) around 0 0.609 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.610 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.610 * [taylor]: Taking taylor expansion of (neg im) in im 0.610 * [taylor]: Taking taylor expansion of im in im 0.610 * [taylor]: Taking taylor expansion of (exp im) in im 0.610 * [taylor]: Taking taylor expansion of im in im 0.610 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.610 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.610 * [taylor]: Taking taylor expansion of (neg im) in im 0.610 * [taylor]: Taking taylor expansion of im in im 0.610 * [taylor]: Taking taylor expansion of (exp im) in im 0.610 * [taylor]: Taking taylor expansion of im in im 0.613 * [approximate]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 0.613 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.613 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.613 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.613 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.613 * [taylor]: Taking taylor expansion of im in im 0.613 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.613 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.613 * [taylor]: Taking taylor expansion of im in im 0.613 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.613 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.613 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.613 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.613 * [taylor]: Taking taylor expansion of im in im 0.613 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.613 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.613 * [taylor]: Taking taylor expansion of im in im 0.614 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0 0.614 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.614 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.614 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.614 * [taylor]: Taking taylor expansion of im in im 0.614 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.614 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.614 * [taylor]: Taking taylor expansion of -1 in im 0.614 * [taylor]: Taking taylor expansion of im in im 0.614 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.614 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.614 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.614 * [taylor]: Taking taylor expansion of im in im 0.614 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.614 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.614 * [taylor]: Taking taylor expansion of -1 in im 0.614 * [taylor]: Taking taylor expansion of im in im 0.614 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.614 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (cos re))) in (re im) around 0 0.614 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (cos re))) in im 0.615 * [taylor]: Taking taylor expansion of 0.5 in im 0.615 * [taylor]: Taking taylor expansion of (* (- (exp (neg im)) (exp im)) (cos re)) in im 0.615 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.615 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.615 * [taylor]: Taking taylor expansion of (neg im) in im 0.615 * [taylor]: Taking taylor expansion of im in im 0.615 * [taylor]: Taking taylor expansion of (exp im) in im 0.615 * [taylor]: Taking taylor expansion of im in im 0.615 * [taylor]: Taking taylor expansion of (cos re) in im 0.615 * [taylor]: Taking taylor expansion of re in im 0.615 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (cos re))) in re 0.615 * [taylor]: Taking taylor expansion of 0.5 in re 0.615 * [taylor]: Taking taylor expansion of (* (- (exp (neg im)) (exp im)) (cos re)) in re 0.615 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in re 0.615 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.615 * [taylor]: Taking taylor expansion of (neg im) in re 0.615 * [taylor]: Taking taylor expansion of im in re 0.615 * [taylor]: Taking taylor expansion of (exp im) in re 0.615 * [taylor]: Taking taylor expansion of im in re 0.615 * [taylor]: Taking taylor expansion of (cos re) in re 0.615 * [taylor]: Taking taylor expansion of re in re 0.615 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (cos re))) in re 0.615 * [taylor]: Taking taylor expansion of 0.5 in re 0.615 * [taylor]: Taking taylor expansion of (* (- (exp (neg im)) (exp im)) (cos re)) in re 0.615 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in re 0.615 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.615 * [taylor]: Taking taylor expansion of (neg im) in re 0.615 * [taylor]: Taking taylor expansion of im in re 0.615 * [taylor]: Taking taylor expansion of (exp im) in re 0.615 * [taylor]: Taking taylor expansion of im in re 0.615 * [taylor]: Taking taylor expansion of (cos re) in re 0.615 * [taylor]: Taking taylor expansion of re in re 0.615 * [taylor]: Taking taylor expansion of (* 0.5 (- (exp (neg im)) (exp im))) in im 0.615 * [taylor]: Taking taylor expansion of 0.5 in im 0.615 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.615 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.615 * [taylor]: Taking taylor expansion of (neg im) in im 0.615 * [taylor]: Taking taylor expansion of im in im 0.615 * [taylor]: Taking taylor expansion of (exp im) in im 0.615 * [taylor]: Taking taylor expansion of im in im 0.616 * [taylor]: Taking taylor expansion of 0 in im 0.617 * [taylor]: Taking taylor expansion of (- (* 0.25 (exp im)) (* 0.25 (exp (neg im)))) in im 0.617 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im 0.617 * [taylor]: Taking taylor expansion of 0.25 in im 0.617 * [taylor]: Taking taylor expansion of (exp im) in im 0.617 * [taylor]: Taking taylor expansion of im in im 0.617 * [taylor]: Taking taylor expansion of (* 0.25 (exp (neg im))) in im 0.617 * [taylor]: Taking taylor expansion of 0.25 in im 0.617 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.617 * [taylor]: Taking taylor expansion of (neg im) in im 0.617 * [taylor]: Taking taylor expansion of im in im 0.618 * [taylor]: Taking taylor expansion of 0 in im 0.619 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in (re im) around 0 0.619 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in im 0.619 * [taylor]: Taking taylor expansion of 0.5 in im 0.619 * [taylor]: Taking taylor expansion of (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in im 0.619 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.619 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.619 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.619 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.619 * [taylor]: Taking taylor expansion of im in im 0.619 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.619 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.619 * [taylor]: Taking taylor expansion of im in im 0.620 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.620 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.620 * [taylor]: Taking taylor expansion of re in im 0.620 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in re 0.620 * [taylor]: Taking taylor expansion of 0.5 in re 0.620 * [taylor]: Taking taylor expansion of (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in re 0.620 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.620 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.620 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.620 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.620 * [taylor]: Taking taylor expansion of im in re 0.620 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.620 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.620 * [taylor]: Taking taylor expansion of im in re 0.620 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.620 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.620 * [taylor]: Taking taylor expansion of re in re 0.620 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in re 0.620 * [taylor]: Taking taylor expansion of 0.5 in re 0.620 * [taylor]: Taking taylor expansion of (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in re 0.620 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.620 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.620 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.620 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.620 * [taylor]: Taking taylor expansion of im in re 0.620 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.620 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.620 * [taylor]: Taking taylor expansion of im in re 0.620 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.620 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.620 * [taylor]: Taking taylor expansion of re in re 0.621 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re)))) in im 0.621 * [taylor]: Taking taylor expansion of 0.5 in im 0.621 * [taylor]: Taking taylor expansion of (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (cos (/ 1 re))) in im 0.621 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.621 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.621 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.621 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.621 * [taylor]: Taking taylor expansion of im in im 0.621 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.621 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.621 * [taylor]: Taking taylor expansion of im in im 0.621 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.621 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.621 * [taylor]: Taking taylor expansion of re in im 0.622 * [taylor]: Taking taylor expansion of 0 in im 0.623 * [taylor]: Taking taylor expansion of 0 in im 0.624 * [taylor]: Taking taylor expansion of 0 in im 0.625 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in (re im) around 0 0.625 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 0.625 * [taylor]: Taking taylor expansion of 0.5 in im 0.625 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 0.625 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.625 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.625 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.625 * [taylor]: Taking taylor expansion of im in im 0.625 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.625 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.625 * [taylor]: Taking taylor expansion of -1 in im 0.625 * [taylor]: Taking taylor expansion of im in im 0.625 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.625 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.625 * [taylor]: Taking taylor expansion of -1 in im 0.625 * [taylor]: Taking taylor expansion of re in im 0.625 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 0.625 * [taylor]: Taking taylor expansion of 0.5 in re 0.625 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 0.625 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 0.625 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.625 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.625 * [taylor]: Taking taylor expansion of im in re 0.625 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.625 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.625 * [taylor]: Taking taylor expansion of -1 in re 0.625 * [taylor]: Taking taylor expansion of im in re 0.625 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.625 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.625 * [taylor]: Taking taylor expansion of -1 in re 0.625 * [taylor]: Taking taylor expansion of re in re 0.625 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 0.625 * [taylor]: Taking taylor expansion of 0.5 in re 0.625 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 0.625 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 0.625 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.626 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.626 * [taylor]: Taking taylor expansion of im in re 0.626 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.626 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.626 * [taylor]: Taking taylor expansion of -1 in re 0.626 * [taylor]: Taking taylor expansion of im in re 0.626 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.626 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.626 * [taylor]: Taking taylor expansion of -1 in re 0.626 * [taylor]: Taking taylor expansion of re in re 0.626 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 0.626 * [taylor]: Taking taylor expansion of 0.5 in im 0.626 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 0.626 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.626 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.626 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.626 * [taylor]: Taking taylor expansion of im in im 0.626 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.626 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.626 * [taylor]: Taking taylor expansion of -1 in im 0.626 * [taylor]: Taking taylor expansion of im in im 0.626 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.626 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.626 * [taylor]: Taking taylor expansion of -1 in im 0.626 * [taylor]: Taking taylor expansion of re in im 0.627 * [taylor]: Taking taylor expansion of 0 in im 0.628 * [taylor]: Taking taylor expansion of 0 in im 0.630 * [taylor]: Taking taylor expansion of 0 in im 0.630 * * * [progress]: simplifying candidates 0.630 * [simplify]: Simplifying using # : (/ (exp (exp (- 0.0 im))) (exp (exp im))) (log (- (exp (- 0.0 im)) (exp im))) (exp (- (exp (- 0.0 im)) (exp im))) (* (cbrt (- (exp (- 0.0 im)) (exp im))) (cbrt (- (exp (- 0.0 im)) (exp im)))) (cbrt (- (exp (- 0.0 im)) (exp im))) (* (* (- (exp (- 0.0 im)) (exp im)) (- (exp (- 0.0 im)) (exp im))) (- (exp (- 0.0 im)) (exp im))) (sqrt (- (exp (- 0.0 im)) (exp im))) (sqrt (- (exp (- 0.0 im)) (exp im))) (- (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (+ (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (neg (exp im)) (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))) (+ (exp (- 0.0 im)) (exp im)) (+ (sqrt (exp (- 0.0 im))) (sqrt (exp im))) (- (sqrt (exp (- 0.0 im))) (sqrt (exp im))) (- (exp (- 0.0 im)) (exp im)) (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) (+ (+ (log 0.5) (log (cos re))) (log (- (exp (- 0.0 im)) (exp im)))) (+ (log (* 0.5 (cos re))) (log (- (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (- (exp (- 0.0 im)) (exp im)) (- (exp (- 0.0 im)) (exp im))) (- (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (- (exp (- 0.0 im)) (exp im)) (- (exp (- 0.0 im)) (exp im))) (- (exp (- 0.0 im)) (exp im)))) (* (cbrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (cos re)) (exp (- 0.0 im))) (* (* 0.5 (cos re)) (neg (exp im))) (* (exp (- 0.0 im)) (* 0.5 (cos re))) (* (neg (exp im)) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* (cbrt (- (exp (- 0.0 im)) (exp im))) (cbrt (- (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (cos re)) (sqrt (- (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (cos re)) 1) (* (* 0.5 (cos re)) (+ (sqrt (exp (- 0.0 im))) (sqrt (exp im)))) (* (* 0.5 (cos re)) 1) (* (cos re) (- (exp (- 0.0 im)) (exp im))) (* (* 0.5 (cos re)) (- (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (* 0.5 (cos re)) (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))) (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (exp (neg im)) (exp im)) (- (exp (* -1 im)) (exp im)) (- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im))) (* 0.5 (* (- (exp (neg im)) (exp im)) (cos re))) (* 0.5 (* (cos re) (- (exp (* -1 im)) (exp im)))) 0.681 * * [simplify]: iteration 0 : 5332 enodes (cost 526 ) 0.684 * [simplify]: Simplified to: (exp (- (exp (- 0.0 im)) (exp im))) (log (- (exp (- 0.0 im)) (exp im))) (exp (- (exp (- 0.0 im)) (exp im))) (* (cbrt (- (exp (- 0.0 im)) (exp im))) (cbrt (- (exp (- 0.0 im)) (exp im)))) (cbrt (- (exp (- 0.0 im)) (exp im))) (pow (- (exp (- 0.0 im)) (exp im)) 3) (sqrt (- (exp (- 0.0 im)) (exp im))) (sqrt (- (exp (- 0.0 im)) (exp im))) (- (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (pow (exp (- 0.0 im)) 2) (+ (pow (exp im) 2) (exp 0.0))) (neg (exp im)) (- (pow (exp (- 0.0 im)) 2) (pow (exp im) 2)) (+ (exp (- 0.0 im)) (exp im)) (+ (sqrt (exp (- 0.0 im))) (sqrt (exp im))) (- (sqrt (exp (- 0.0 im))) (sqrt (exp im))) (- (exp (- 0.0 im)) (exp im)) (* (- (exp (- 0.0 im)) (exp im)) (* 0.5 (cos re))) (* (- (exp (- 0.0 im)) (exp im)) (* 0.5 (cos re))) (log (* (- (exp (- 0.0 im)) (exp im)) (* 0.5 (cos re)))) (log (* (- (exp (- 0.0 im)) (exp im)) (* 0.5 (cos re)))) (log (* (- (exp (- 0.0 im)) (exp im)) (* 0.5 (cos re)))) (pow (exp (- (exp (- 0.0 im)) (exp im))) (* 0.5 (cos re))) (pow (* (- (exp (- 0.0 im)) (exp im)) (* 0.5 (cos re))) 3) (pow (* (- (exp (- 0.0 im)) (exp im)) (* 0.5 (cos re))) 3) (* (cbrt (* (- (exp (- 0.0 im)) (exp im)) (* 0.5 (cos re)))) (cbrt (* (- (exp (- 0.0 im)) (exp im)) (* 0.5 (cos re))))) (cbrt (* (- (exp (- 0.0 im)) (exp im)) (* 0.5 (cos re)))) (pow (* (- (exp (- 0.0 im)) (exp im)) (* 0.5 (cos re))) 3) (sqrt (* (- (exp (- 0.0 im)) (exp im)) (* 0.5 (cos re)))) (sqrt (* (- (exp (- 0.0 im)) (exp im)) (* 0.5 (cos re)))) (* (exp (- 0.0 im)) (* 0.5 (cos re))) (* (exp im) (* 0.5 (neg (cos re)))) (* (exp (- 0.0 im)) (* 0.5 (cos re))) (* (exp im) (* 0.5 (neg (cos re)))) (* (cbrt (- (exp (- 0.0 im)) (exp im))) (* (cbrt (- (exp (- 0.0 im)) (exp im))) (* 0.5 (cos re)))) (* (sqrt (- (exp (- 0.0 im)) (exp im))) (* 0.5 (cos re))) (* 0.5 (cos re)) (* (+ (sqrt (exp (- 0.0 im))) (sqrt (exp im))) (* 0.5 (cos re))) (* 0.5 (cos re)) (* (- (exp (- 0.0 im)) (exp im)) (cos re)) (* (- (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (* 0.5 (cos re))) (* (- (pow (exp (- 0.0 im)) 2) (pow (exp im) 2)) (* 0.5 (cos re))) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))) (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im)) (- (* im (- (* 0.5 (* re re)) 1.0)) (* (pow im 3) 0.16666666666666666)) (* 0.5 (* (cos re) (- (exp (neg im)) (exp im)))) (* 0.5 (* (cos re) (- (exp (neg im)) (exp im)))) 0.684 * * * [progress]: adding candidates to table 0.760 * * [progress]: iteration 2 / 4 0.760 * * * [progress]: picking best candidate 0.781 * * * * [pick]: Picked # 0.781 * * * [progress]: localizing error 0.795 * * * [progress]: generating rewritten candidates 0.795 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.801 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.812 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 0.817 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.828 * * * [progress]: generating series expansions 0.828 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.828 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 0.828 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 0.828 * [taylor]: Taking taylor expansion of -1/3 in im 0.828 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.828 * [taylor]: Taking taylor expansion of im in im 0.828 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 0.828 * [taylor]: Taking taylor expansion of -1/3 in im 0.828 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.828 * [taylor]: Taking taylor expansion of im in im 0.829 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 0.829 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 0.829 * [taylor]: Taking taylor expansion of -1/3 in im 0.829 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.829 * [taylor]: Taking taylor expansion of im in im 0.829 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 0.829 * [taylor]: Taking taylor expansion of -1/3 in im 0.829 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.829 * [taylor]: Taking taylor expansion of im in im 0.830 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 0.830 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 0.830 * [taylor]: Taking taylor expansion of 1/3 in im 0.830 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.830 * [taylor]: Taking taylor expansion of im in im 0.831 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 0.831 * [taylor]: Taking taylor expansion of 1/3 in im 0.831 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.831 * [taylor]: Taking taylor expansion of im in im 0.832 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.832 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in (re im) around 0 0.832 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in im 0.832 * [taylor]: Taking taylor expansion of -0.5 in im 0.832 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in im 0.832 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 0.832 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.832 * [taylor]: Taking taylor expansion of 1/3 in im 0.832 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.832 * [taylor]: Taking taylor expansion of im in im 0.832 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 0.832 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.832 * [taylor]: Taking taylor expansion of 1/60 in im 0.832 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.832 * [taylor]: Taking taylor expansion of im in im 0.832 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.832 * [taylor]: Taking taylor expansion of 2 in im 0.832 * [taylor]: Taking taylor expansion of im in im 0.833 * [taylor]: Taking taylor expansion of (cos re) in im 0.833 * [taylor]: Taking taylor expansion of re in im 0.833 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re 0.833 * [taylor]: Taking taylor expansion of -0.5 in re 0.833 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re 0.833 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 0.833 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 0.833 * [taylor]: Taking taylor expansion of 1/3 in re 0.833 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.833 * [taylor]: Taking taylor expansion of im in re 0.833 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 0.833 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 0.833 * [taylor]: Taking taylor expansion of 1/60 in re 0.833 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.833 * [taylor]: Taking taylor expansion of im in re 0.833 * [taylor]: Taking taylor expansion of (* 2 im) in re 0.833 * [taylor]: Taking taylor expansion of 2 in re 0.833 * [taylor]: Taking taylor expansion of im in re 0.833 * [taylor]: Taking taylor expansion of (cos re) in re 0.833 * [taylor]: Taking taylor expansion of re in re 0.833 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re 0.833 * [taylor]: Taking taylor expansion of -0.5 in re 0.833 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re 0.833 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 0.833 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 0.833 * [taylor]: Taking taylor expansion of 1/3 in re 0.833 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.833 * [taylor]: Taking taylor expansion of im in re 0.833 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 0.833 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 0.833 * [taylor]: Taking taylor expansion of 1/60 in re 0.833 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.833 * [taylor]: Taking taylor expansion of im in re 0.833 * [taylor]: Taking taylor expansion of (* 2 im) in re 0.833 * [taylor]: Taking taylor expansion of 2 in re 0.833 * [taylor]: Taking taylor expansion of im in re 0.833 * [taylor]: Taking taylor expansion of (cos re) in re 0.833 * [taylor]: Taking taylor expansion of re in re 0.834 * [taylor]: Taking taylor expansion of (* -0.5 (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 0.834 * [taylor]: Taking taylor expansion of -0.5 in im 0.834 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 0.834 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.834 * [taylor]: Taking taylor expansion of 1/3 in im 0.834 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.834 * [taylor]: Taking taylor expansion of im in im 0.834 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 0.834 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.834 * [taylor]: Taking taylor expansion of 1/60 in im 0.834 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.834 * [taylor]: Taking taylor expansion of im in im 0.834 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.834 * [taylor]: Taking taylor expansion of 2 in im 0.834 * [taylor]: Taking taylor expansion of im in im 0.835 * [taylor]: Taking taylor expansion of 0 in im 0.837 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (pow im 3)) (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im))) in im 0.837 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (pow im 3)) in im 0.837 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.837 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.837 * [taylor]: Taking taylor expansion of im in im 0.837 * [taylor]: Taking taylor expansion of (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im)) in im 0.837 * [taylor]: Taking taylor expansion of (* 0.004166666666666667 (pow im 5)) in im 0.837 * [taylor]: Taking taylor expansion of 0.004166666666666667 in im 0.837 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.837 * [taylor]: Taking taylor expansion of im in im 0.837 * [taylor]: Taking taylor expansion of (* 0.5 im) in im 0.837 * [taylor]: Taking taylor expansion of 0.5 in im 0.837 * [taylor]: Taking taylor expansion of im in im 0.838 * [taylor]: Taking taylor expansion of 0 in im 0.839 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in (re im) around 0 0.839 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in im 0.839 * [taylor]: Taking taylor expansion of -0.5 in im 0.839 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re))) in im 0.839 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.839 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.839 * [taylor]: Taking taylor expansion of 2 in im 0.839 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.839 * [taylor]: Taking taylor expansion of im in im 0.839 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.839 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.839 * [taylor]: Taking taylor expansion of 1/3 in im 0.839 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.839 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.839 * [taylor]: Taking taylor expansion of im in im 0.839 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.839 * [taylor]: Taking taylor expansion of 1/60 in im 0.839 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.839 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.839 * [taylor]: Taking taylor expansion of im in im 0.839 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.839 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.839 * [taylor]: Taking taylor expansion of re in im 0.839 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in re 0.839 * [taylor]: Taking taylor expansion of -0.5 in re 0.839 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re))) in re 0.840 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 0.840 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.840 * [taylor]: Taking taylor expansion of 2 in re 0.840 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.840 * [taylor]: Taking taylor expansion of im in re 0.840 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.840 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.840 * [taylor]: Taking taylor expansion of 1/3 in re 0.840 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.840 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.840 * [taylor]: Taking taylor expansion of im in re 0.840 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.840 * [taylor]: Taking taylor expansion of 1/60 in re 0.840 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.840 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.840 * [taylor]: Taking taylor expansion of im in re 0.840 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.840 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.840 * [taylor]: Taking taylor expansion of re in re 0.840 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in re 0.840 * [taylor]: Taking taylor expansion of -0.5 in re 0.840 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re))) in re 0.840 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 0.840 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.840 * [taylor]: Taking taylor expansion of 2 in re 0.840 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.840 * [taylor]: Taking taylor expansion of im in re 0.840 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.840 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.840 * [taylor]: Taking taylor expansion of 1/3 in re 0.840 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.840 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.840 * [taylor]: Taking taylor expansion of im in re 0.841 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.841 * [taylor]: Taking taylor expansion of 1/60 in re 0.841 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.841 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.841 * [taylor]: Taking taylor expansion of im in re 0.841 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 0.841 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.841 * [taylor]: Taking taylor expansion of re in re 0.842 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in im 0.842 * [taylor]: Taking taylor expansion of -0.5 in im 0.842 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re))) in im 0.842 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.842 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.842 * [taylor]: Taking taylor expansion of 2 in im 0.842 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.842 * [taylor]: Taking taylor expansion of im in im 0.842 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.842 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.842 * [taylor]: Taking taylor expansion of 1/3 in im 0.842 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.842 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.842 * [taylor]: Taking taylor expansion of im in im 0.842 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.842 * [taylor]: Taking taylor expansion of 1/60 in im 0.842 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.842 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.842 * [taylor]: Taking taylor expansion of im in im 0.842 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 0.842 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.842 * [taylor]: Taking taylor expansion of re in im 0.844 * [taylor]: Taking taylor expansion of 0 in im 0.845 * [taylor]: Taking taylor expansion of 0 in im 0.848 * [taylor]: Taking taylor expansion of 0 in im 0.853 * [taylor]: Taking taylor expansion of 0 in im 0.855 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in (re im) around 0 0.855 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in im 0.855 * [taylor]: Taking taylor expansion of 0.5 in im 0.855 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in im 0.855 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.855 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.855 * [taylor]: Taking taylor expansion of 2 in im 0.855 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.855 * [taylor]: Taking taylor expansion of im in im 0.855 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.855 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.855 * [taylor]: Taking taylor expansion of 1/3 in im 0.855 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.855 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.855 * [taylor]: Taking taylor expansion of im in im 0.855 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.855 * [taylor]: Taking taylor expansion of 1/60 in im 0.855 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.855 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.855 * [taylor]: Taking taylor expansion of im in im 0.855 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.855 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.855 * [taylor]: Taking taylor expansion of -1 in im 0.855 * [taylor]: Taking taylor expansion of re in im 0.855 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in re 0.855 * [taylor]: Taking taylor expansion of 0.5 in re 0.855 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in re 0.855 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 0.855 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.855 * [taylor]: Taking taylor expansion of 2 in re 0.855 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.855 * [taylor]: Taking taylor expansion of im in re 0.856 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.856 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.856 * [taylor]: Taking taylor expansion of 1/3 in re 0.856 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.856 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.856 * [taylor]: Taking taylor expansion of im in re 0.856 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.856 * [taylor]: Taking taylor expansion of 1/60 in re 0.856 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.856 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.856 * [taylor]: Taking taylor expansion of im in re 0.856 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.856 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.856 * [taylor]: Taking taylor expansion of -1 in re 0.856 * [taylor]: Taking taylor expansion of re in re 0.856 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in re 0.856 * [taylor]: Taking taylor expansion of 0.5 in re 0.856 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in re 0.856 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 0.856 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.856 * [taylor]: Taking taylor expansion of 2 in re 0.856 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.856 * [taylor]: Taking taylor expansion of im in re 0.856 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.856 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.856 * [taylor]: Taking taylor expansion of 1/3 in re 0.856 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.856 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.856 * [taylor]: Taking taylor expansion of im in re 0.857 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.857 * [taylor]: Taking taylor expansion of 1/60 in re 0.857 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.857 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.857 * [taylor]: Taking taylor expansion of im in re 0.857 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 0.857 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.857 * [taylor]: Taking taylor expansion of -1 in re 0.857 * [taylor]: Taking taylor expansion of re in re 0.858 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in im 0.858 * [taylor]: Taking taylor expansion of 0.5 in im 0.858 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in im 0.858 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.858 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.858 * [taylor]: Taking taylor expansion of 2 in im 0.858 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.858 * [taylor]: Taking taylor expansion of im in im 0.858 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.858 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.858 * [taylor]: Taking taylor expansion of 1/3 in im 0.858 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.858 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.858 * [taylor]: Taking taylor expansion of im in im 0.858 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.858 * [taylor]: Taking taylor expansion of 1/60 in im 0.858 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.858 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.858 * [taylor]: Taking taylor expansion of im in im 0.858 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 0.858 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.858 * [taylor]: Taking taylor expansion of -1 in im 0.858 * [taylor]: Taking taylor expansion of re in im 0.860 * [taylor]: Taking taylor expansion of 0 in im 0.861 * [taylor]: Taking taylor expansion of 0 in im 0.864 * [taylor]: Taking taylor expansion of 0 in im 0.866 * [taylor]: Taking taylor expansion of 0 in im 0.868 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 0.868 * [approximate]: Taking taylor expansion of (* -1/60 (pow im 5)) in (im) around 0 0.868 * [taylor]: Taking taylor expansion of (* -1/60 (pow im 5)) in im 0.868 * [taylor]: Taking taylor expansion of -1/60 in im 0.868 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.868 * [taylor]: Taking taylor expansion of im in im 0.868 * [taylor]: Taking taylor expansion of (* -1/60 (pow im 5)) in im 0.868 * [taylor]: Taking taylor expansion of -1/60 in im 0.868 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.868 * [taylor]: Taking taylor expansion of im in im 0.870 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 0.870 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 0.870 * [taylor]: Taking taylor expansion of -1/60 in im 0.870 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.870 * [taylor]: Taking taylor expansion of im in im 0.870 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 0.870 * [taylor]: Taking taylor expansion of -1/60 in im 0.870 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.870 * [taylor]: Taking taylor expansion of im in im 0.871 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 0.871 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 0.871 * [taylor]: Taking taylor expansion of 1/60 in im 0.871 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.871 * [taylor]: Taking taylor expansion of im in im 0.871 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 0.871 * [taylor]: Taking taylor expansion of 1/60 in im 0.871 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.871 * [taylor]: Taking taylor expansion of im in im 0.873 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.873 * [approximate]: Taking taylor expansion of (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in (im) around 0 0.873 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 0.873 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 0.873 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.873 * [taylor]: Taking taylor expansion of 1/3 in im 0.873 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.873 * [taylor]: Taking taylor expansion of im in im 0.873 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 0.873 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.873 * [taylor]: Taking taylor expansion of 1/60 in im 0.873 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.873 * [taylor]: Taking taylor expansion of im in im 0.873 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.873 * [taylor]: Taking taylor expansion of 2 in im 0.873 * [taylor]: Taking taylor expansion of im in im 0.873 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 0.873 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 0.873 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.873 * [taylor]: Taking taylor expansion of 1/3 in im 0.873 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.873 * [taylor]: Taking taylor expansion of im in im 0.873 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 0.873 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.873 * [taylor]: Taking taylor expansion of 1/60 in im 0.873 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.873 * [taylor]: Taking taylor expansion of im in im 0.873 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.873 * [taylor]: Taking taylor expansion of 2 in im 0.873 * [taylor]: Taking taylor expansion of im in im 0.874 * [approximate]: Taking taylor expansion of (neg (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in (im) around 0 0.874 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 0.874 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.874 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.875 * [taylor]: Taking taylor expansion of 2 in im 0.875 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.875 * [taylor]: Taking taylor expansion of im in im 0.875 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.875 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.875 * [taylor]: Taking taylor expansion of 1/3 in im 0.875 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.875 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.875 * [taylor]: Taking taylor expansion of im in im 0.875 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.875 * [taylor]: Taking taylor expansion of 1/60 in im 0.875 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.875 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.875 * [taylor]: Taking taylor expansion of im in im 0.875 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 0.875 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.875 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.875 * [taylor]: Taking taylor expansion of 2 in im 0.875 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.875 * [taylor]: Taking taylor expansion of im in im 0.875 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.875 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.875 * [taylor]: Taking taylor expansion of 1/3 in im 0.875 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.875 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.875 * [taylor]: Taking taylor expansion of im in im 0.875 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.875 * [taylor]: Taking taylor expansion of 1/60 in im 0.875 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.875 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.875 * [taylor]: Taking taylor expansion of im in im 0.877 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0 0.877 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.877 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.877 * [taylor]: Taking taylor expansion of 2 in im 0.877 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.877 * [taylor]: Taking taylor expansion of im in im 0.877 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.877 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.877 * [taylor]: Taking taylor expansion of 1/3 in im 0.877 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.877 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.877 * [taylor]: Taking taylor expansion of im in im 0.877 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.877 * [taylor]: Taking taylor expansion of 1/60 in im 0.877 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.877 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.877 * [taylor]: Taking taylor expansion of im in im 0.877 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.877 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.877 * [taylor]: Taking taylor expansion of 2 in im 0.877 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.877 * [taylor]: Taking taylor expansion of im in im 0.877 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.877 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.877 * [taylor]: Taking taylor expansion of 1/3 in im 0.877 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.877 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.877 * [taylor]: Taking taylor expansion of im in im 0.877 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.877 * [taylor]: Taking taylor expansion of 1/60 in im 0.877 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.877 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.877 * [taylor]: Taking taylor expansion of im in im 0.879 * * * [progress]: simplifying candidates 0.880 * [simplify]: Simplifying using # : (+ (* (log im) 3) (log -1/3)) (+ (* (log im) 3) (log -1/3)) (+ (log (pow im 3)) (log -1/3)) (log (* (pow im 3) -1/3)) (exp (* (pow im 3) -1/3)) (* (* (* (pow im 3) (pow im 3)) (pow im 3)) (* (* -1/3 -1/3) -1/3)) (* (cbrt (* (pow im 3) -1/3)) (cbrt (* (pow im 3) -1/3))) (cbrt (* (pow im 3) -1/3)) (* (* (* (pow im 3) -1/3) (* (pow im 3) -1/3)) (* (pow im 3) -1/3)) (sqrt (* (pow im 3) -1/3)) (sqrt (* (pow im 3) -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)) (sqrt -1/3)) (* (pow im 3) (* (cbrt -1/3) (cbrt -1/3))) (* (pow im 3) (sqrt -1/3)) (* (pow im 3) 1) (* (pow (cbrt im) 3) -1/3) (* (pow (sqrt im) 3) -1/3) (* (pow im 3) -1/3) (* im -1/3) (* (cbrt (pow im 3)) -1/3) (* (pow (cbrt im) 3) -1/3) (* (pow (sqrt im) 3) -1/3) (* (pow im 3) -1/3) (* (* im im) -1/3) (* (sqrt (pow im 3)) -1/3) (* (pow im 3) -1/3) (* (pow im (/ 3 2)) -1/3) (* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (+ (+ (log 0.5) (log (cos re))) (log (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (+ (log (* 0.5 (cos re))) (log (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (log (* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (exp (* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (* (cbrt (* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (cbrt (* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))))) (cbrt (* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (* (* (* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (sqrt (* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (sqrt (* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (* (* 0.5 (cos re)) (* (pow im 3) -1/3)) (* (* 0.5 (cos re)) (+ (* im -2) (* (pow im 5) -1/60))) (* (* (pow im 3) -1/3) (* 0.5 (cos re))) (* (+ (* im -2) (* (pow im 5) -1/60)) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* (cbrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (cbrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))))) (* (* 0.5 (cos re)) (sqrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (* (* 0.5 (cos re)) 1) (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (* (* 0.5 (cos re)) (+ (pow (* (pow im 3) -1/3) 3) (pow (+ (* im -2) (* (pow im 5) -1/60)) 3))) (* (* 0.5 (cos re)) (- (* (* (pow im 3) -1/3) (* (pow im 3) -1/3)) (* (+ (* im -2) (* (pow im 5) -1/60)) (+ (* im -2) (* (pow im 5) -1/60))))) (+ (* (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) (* (exp (* (pow im 3) -1/3)) (* (exp (* im -2)) (exp (* (pow im 5) -1/60)))) (* (exp (* (pow im 3) -1/3)) (exp (+ (* im -2) (* (pow im 5) -1/60)))) (log (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (exp (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (* (cbrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (cbrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (cbrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (* (* (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (sqrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (sqrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (+ (pow (* (pow im 3) -1/3) 3) (pow (+ (* im -2) (* (pow im 5) -1/60)) 3)) (+ (* (* (pow im 3) -1/3) (* (pow im 3) -1/3)) (- (* (+ (* im -2) (* (pow im 5) -1/60)) (+ (* im -2) (* (pow im 5) -1/60))) (* (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (- (* (* (pow im 3) -1/3) (* (pow im 3) -1/3)) (* (+ (* im -2) (* (pow im 5) -1/60)) (+ (* im -2) (* (pow im 5) -1/60)))) (- (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))) (+ (* (pow im 3) -1/3) (* im -2)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im))) (neg (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im))))) (neg (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im))))) (* -1/60 (pow im 5)) (* -1/60 (pow im 5)) (* -1/60 (pow im 5)) (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 0.908 * * [simplify]: iteration 0 : 5943 enodes (cost 1256 ) 0.913 * [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))) (pow (exp (pow im 3)) -1/3) (* (pow (pow im 3) 3) -1/27) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* (pow (pow im 3) 3) -1/27) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/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)) (* (pow im 3) (* (cbrt -1/3) (cbrt -1/3))) (* (pow im 3) (sqrt -1/3)) (pow im 3) (* im -1/3) (* im (* (sqrt im) -1/3)) (* -1/3 (pow im 3)) (* im -1/3) (* im -1/3) (* im -1/3) (* im (* (sqrt im) -1/3)) (* -1/3 (pow im 3)) (* im (* im -1/3)) (* -1/3 (sqrt (pow im 3))) (* -1/3 (pow im 3)) (* -1/3 (pow im 3/2)) (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))) (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))) (log (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))) (log (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))) (log (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))) (pow (exp (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))) (* 0.5 (cos re))) (pow (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))) 3) (pow (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))) 3) (* (cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))) (cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))))) (cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))) (pow (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))) 3) (sqrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))) (sqrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))) (* -1/3 (* (pow im 3) (* 0.5 (cos re)))) (* 0.5 (* (cos re) (+ (* im -2) (* (pow im 5) -1/60)))) (* -1/3 (* (pow im 3) (* 0.5 (cos re)))) (* 0.5 (* (cos re) (+ (* im -2) (* (pow im 5) -1/60)))) (* 0.5 (* (cos re) (* (cbrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))))) (* 0.5 (* (cos re) (sqrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))) (* 0.5 (cos re)) (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))) (* 0.5 (* (cos re) (+ (* (pow (pow im 3) 3) -1/27) (pow (+ (* im -2) (* (pow im 5) -1/60)) 3)))) (* 0.5 (* (cos re) (+ (* (pow im 6) 1/9) (* (+ (* im -2) (* (pow im 5) -1/60)) (+ (* (pow im 5) 1/60) (* im 2)))))) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (pow (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 -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)) (* (pow im 5) (* (cbrt -1/60) (cbrt -1/60))) (* (pow im 5) (sqrt -1/60)) (pow im 5) (* -1/60 (pow (cbrt im) 5)) (* -1/60 (pow (sqrt im) 5)) (* (pow im 5) -1/60) (* -1/60 (cbrt (pow im 5))) (* -1/60 (sqrt (pow im 5))) (* (pow im 5) -1/60) (* -1/60 (pow im 5/2)) (exp (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))) (exp (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))) (log (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))) (exp (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))) (* (cbrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))) (pow (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))) 3) (sqrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))) (sqrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))) (+ (* (pow (pow im 3) 3) -1/27) (pow (+ (* im -2) (* (pow im 5) -1/60)) 3)) (+ (* (pow im 6) 1/9) (* (+ (* im -2) (* (pow im 5) -1/60)) (+ (* im -2) (+ (* (pow im 5) -1/60) (* (pow im 3) 1/3))))) (+ (* (pow im 6) 1/9) (* (+ (* im -2) (* (pow im 5) -1/60)) (+ (* (pow im 5) 1/60) (* im 2)))) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) 1/60) (* im 2))) (+ (* -1/3 (pow im 3)) (* im -2)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (- (* im (* 0.5 (* re re))) (+ (* (pow im 3) 0.16666666666666666) (* im 1.0))) (- (* (pow im 3) (* (cos re) (neg 0.16666666666666666))) (+ (* (cos re) (* (pow im 5) 0.008333333333333333)) (* im (* (cos re) 1.0)))) (- (* (pow im 3) (* (cos re) (neg 0.16666666666666666))) (+ (* (cos re) (* (pow im 5) 0.008333333333333333)) (* im (* (cos re) 1.0)))) (* (pow im 5) -1/60) (* (pow im 5) -1/60) (* (pow im 5) -1/60) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))) 0.914 * * * [progress]: adding candidates to table 1.081 * * [progress]: iteration 3 / 4 1.081 * * * [progress]: picking best candidate 1.121 * * * * [pick]: Picked # 1.121 * * * [progress]: localizing error 1.140 * * * [progress]: generating rewritten candidates 1.140 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 1.144 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.154 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 1.159 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.171 * * * [progress]: generating series expansions 1.171 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 1.171 * [approximate]: Taking taylor expansion of (log (pow (exp (pow im 3)) -1/3)) in (im) around 0 1.171 * [taylor]: Taking taylor expansion of (log (pow (exp (pow im 3)) -1/3)) in im 1.171 * [taylor]: Taking taylor expansion of (pow (exp (pow im 3)) -1/3) in im 1.171 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow im 3))))) in im 1.171 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow im 3)))) in im 1.171 * [taylor]: Taking taylor expansion of -1/3 in im 1.171 * [taylor]: Taking taylor expansion of (log (exp (pow im 3))) in im 1.171 * [taylor]: Taking taylor expansion of (exp (pow im 3)) in im 1.171 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.171 * [taylor]: Taking taylor expansion of im in im 1.171 * [taylor]: Taking taylor expansion of (log (pow (exp (pow im 3)) -1/3)) in im 1.171 * [taylor]: Taking taylor expansion of (pow (exp (pow im 3)) -1/3) in im 1.171 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow im 3))))) in im 1.172 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow im 3)))) in im 1.172 * [taylor]: Taking taylor expansion of -1/3 in im 1.172 * [taylor]: Taking taylor expansion of (log (exp (pow im 3))) in im 1.172 * [taylor]: Taking taylor expansion of (exp (pow im 3)) in im 1.172 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.172 * [taylor]: Taking taylor expansion of im in im 1.214 * [approximate]: Taking taylor expansion of (log (pow (exp (pow (/ 1 im) 3)) -1/3)) in (im) around 0 1.214 * [taylor]: Taking taylor expansion of (log (pow (exp (pow (/ 1 im) 3)) -1/3)) in im 1.214 * [taylor]: Taking taylor expansion of (pow (exp (pow (/ 1 im) 3)) -1/3) in im 1.214 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow (/ 1 im) 3))))) in im 1.214 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow (/ 1 im) 3)))) in im 1.214 * [taylor]: Taking taylor expansion of -1/3 in im 1.214 * [taylor]: Taking taylor expansion of (log (exp (pow (/ 1 im) 3))) in im 1.214 * [taylor]: Taking taylor expansion of (exp (pow (/ 1 im) 3)) in im 1.214 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in im 1.214 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.214 * [taylor]: Taking taylor expansion of im in im 1.214 * [taylor]: Taking taylor expansion of (log (pow (exp (pow (/ 1 im) 3)) -1/3)) in im 1.214 * [taylor]: Taking taylor expansion of (pow (exp (pow (/ 1 im) 3)) -1/3) in im 1.214 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow (/ 1 im) 3))))) in im 1.214 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow (/ 1 im) 3)))) in im 1.214 * [taylor]: Taking taylor expansion of -1/3 in im 1.214 * [taylor]: Taking taylor expansion of (log (exp (pow (/ 1 im) 3))) in im 1.214 * [taylor]: Taking taylor expansion of (exp (pow (/ 1 im) 3)) in im 1.214 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in im 1.214 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.214 * [taylor]: Taking taylor expansion of im in im 1.226 * [approximate]: Taking taylor expansion of (log (pow (exp (pow (/ -1 im) 3)) -1/3)) in (im) around 0 1.226 * [taylor]: Taking taylor expansion of (log (pow (exp (pow (/ -1 im) 3)) -1/3)) in im 1.226 * [taylor]: Taking taylor expansion of (pow (exp (pow (/ -1 im) 3)) -1/3) in im 1.226 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow (/ -1 im) 3))))) in im 1.226 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow (/ -1 im) 3)))) in im 1.226 * [taylor]: Taking taylor expansion of -1/3 in im 1.226 * [taylor]: Taking taylor expansion of (log (exp (pow (/ -1 im) 3))) in im 1.226 * [taylor]: Taking taylor expansion of (exp (pow (/ -1 im) 3)) in im 1.226 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in im 1.226 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.226 * [taylor]: Taking taylor expansion of -1 in im 1.226 * [taylor]: Taking taylor expansion of im in im 1.227 * [taylor]: Taking taylor expansion of (log (pow (exp (pow (/ -1 im) 3)) -1/3)) in im 1.227 * [taylor]: Taking taylor expansion of (pow (exp (pow (/ -1 im) 3)) -1/3) in im 1.227 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow (/ -1 im) 3))))) in im 1.227 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow (/ -1 im) 3)))) in im 1.227 * [taylor]: Taking taylor expansion of -1/3 in im 1.227 * [taylor]: Taking taylor expansion of (log (exp (pow (/ -1 im) 3))) in im 1.227 * [taylor]: Taking taylor expansion of (exp (pow (/ -1 im) 3)) in im 1.227 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in im 1.227 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.227 * [taylor]: Taking taylor expansion of -1 in im 1.227 * [taylor]: Taking taylor expansion of im in im 1.238 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.239 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos re) (- (log (pow (exp (pow im 3)) -1/3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) in (re im) around 0 1.239 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (- (log (pow (exp (pow im 3)) -1/3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) in im 1.239 * [taylor]: Taking taylor expansion of 0.5 in im 1.239 * [taylor]: Taking taylor expansion of (* (cos re) (- (log (pow (exp (pow im 3)) -1/3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 1.239 * [taylor]: Taking taylor expansion of (cos re) in im 1.239 * [taylor]: Taking taylor expansion of re in im 1.239 * [taylor]: Taking taylor expansion of (- (log (pow (exp (pow im 3)) -1/3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 1.239 * [taylor]: Taking taylor expansion of (log (pow (exp (pow im 3)) -1/3)) in im 1.239 * [taylor]: Taking taylor expansion of (pow (exp (pow im 3)) -1/3) in im 1.239 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow im 3))))) in im 1.239 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow im 3)))) in im 1.239 * [taylor]: Taking taylor expansion of -1/3 in im 1.239 * [taylor]: Taking taylor expansion of (log (exp (pow im 3))) in im 1.239 * [taylor]: Taking taylor expansion of (exp (pow im 3)) in im 1.239 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.239 * [taylor]: Taking taylor expansion of im in im 1.239 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 1.239 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.239 * [taylor]: Taking taylor expansion of 1/60 in im 1.239 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.239 * [taylor]: Taking taylor expansion of im in im 1.239 * [taylor]: Taking taylor expansion of (* 2 im) in im 1.239 * [taylor]: Taking taylor expansion of 2 in im 1.239 * [taylor]: Taking taylor expansion of im in im 1.239 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (- (log (pow (exp (pow im 3)) -1/3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) in re 1.239 * [taylor]: Taking taylor expansion of 0.5 in re 1.239 * [taylor]: Taking taylor expansion of (* (cos re) (- (log (pow (exp (pow im 3)) -1/3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in re 1.239 * [taylor]: Taking taylor expansion of (cos re) in re 1.239 * [taylor]: Taking taylor expansion of re in re 1.239 * [taylor]: Taking taylor expansion of (- (log (pow (exp (pow im 3)) -1/3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 1.239 * [taylor]: Taking taylor expansion of (log (pow (exp (pow im 3)) -1/3)) in re 1.239 * [taylor]: Taking taylor expansion of (pow (exp (pow im 3)) -1/3) in re 1.240 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow im 3))))) in re 1.240 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow im 3)))) in re 1.240 * [taylor]: Taking taylor expansion of -1/3 in re 1.240 * [taylor]: Taking taylor expansion of (log (exp (pow im 3))) in re 1.240 * [taylor]: Taking taylor expansion of (exp (pow im 3)) in re 1.240 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.240 * [taylor]: Taking taylor expansion of im in re 1.240 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 1.240 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 1.240 * [taylor]: Taking taylor expansion of 1/60 in re 1.240 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.240 * [taylor]: Taking taylor expansion of im in re 1.240 * [taylor]: Taking taylor expansion of (* 2 im) in re 1.240 * [taylor]: Taking taylor expansion of 2 in re 1.240 * [taylor]: Taking taylor expansion of im in re 1.241 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (- (log (pow (exp (pow im 3)) -1/3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) in re 1.241 * [taylor]: Taking taylor expansion of 0.5 in re 1.241 * [taylor]: Taking taylor expansion of (* (cos re) (- (log (pow (exp (pow im 3)) -1/3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in re 1.241 * [taylor]: Taking taylor expansion of (cos re) in re 1.241 * [taylor]: Taking taylor expansion of re in re 1.241 * [taylor]: Taking taylor expansion of (- (log (pow (exp (pow im 3)) -1/3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 1.241 * [taylor]: Taking taylor expansion of (log (pow (exp (pow im 3)) -1/3)) in re 1.241 * [taylor]: Taking taylor expansion of (pow (exp (pow im 3)) -1/3) in re 1.241 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow im 3))))) in re 1.241 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow im 3)))) in re 1.241 * [taylor]: Taking taylor expansion of -1/3 in re 1.241 * [taylor]: Taking taylor expansion of (log (exp (pow im 3))) in re 1.241 * [taylor]: Taking taylor expansion of (exp (pow im 3)) in re 1.241 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.241 * [taylor]: Taking taylor expansion of im in re 1.241 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 1.241 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 1.241 * [taylor]: Taking taylor expansion of 1/60 in re 1.241 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.241 * [taylor]: Taking taylor expansion of im in re 1.241 * [taylor]: Taking taylor expansion of (* 2 im) in re 1.241 * [taylor]: Taking taylor expansion of 2 in re 1.241 * [taylor]: Taking taylor expansion of im in re 1.242 * [taylor]: Taking taylor expansion of (* -0.5 (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 1.242 * [taylor]: Taking taylor expansion of -0.5 in im 1.242 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 1.243 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.243 * [taylor]: Taking taylor expansion of 1/3 in im 1.243 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.243 * [taylor]: Taking taylor expansion of im in im 1.243 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 1.243 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.243 * [taylor]: Taking taylor expansion of 1/60 in im 1.243 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.243 * [taylor]: Taking taylor expansion of im in im 1.243 * [taylor]: Taking taylor expansion of (* 2 im) in im 1.243 * [taylor]: Taking taylor expansion of 2 in im 1.243 * [taylor]: Taking taylor expansion of im in im 1.244 * [taylor]: Taking taylor expansion of 0 in im 1.247 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (pow im 3)) (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im))) in im 1.247 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (pow im 3)) in im 1.247 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 1.247 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.247 * [taylor]: Taking taylor expansion of im in im 1.247 * [taylor]: Taking taylor expansion of (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im)) in im 1.247 * [taylor]: Taking taylor expansion of (* 0.004166666666666667 (pow im 5)) in im 1.247 * [taylor]: Taking taylor expansion of 0.004166666666666667 in im 1.247 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.247 * [taylor]: Taking taylor expansion of im in im 1.247 * [taylor]: Taking taylor expansion of (* 0.5 im) in im 1.247 * [taylor]: Taking taylor expansion of 0.5 in im 1.247 * [taylor]: Taking taylor expansion of im in im 1.250 * [taylor]: Taking taylor expansion of 0 in im 1.250 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (log (pow (exp (pow (/ 1 im) 3)) -1/3)) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in (re im) around 0 1.250 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (log (pow (exp (pow (/ 1 im) 3)) -1/3)) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 1.251 * [taylor]: Taking taylor expansion of 0.5 in im 1.251 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (log (pow (exp (pow (/ 1 im) 3)) -1/3)) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 1.251 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 1.251 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.251 * [taylor]: Taking taylor expansion of re in im 1.251 * [taylor]: Taking taylor expansion of (- (log (pow (exp (pow (/ 1 im) 3)) -1/3)) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 1.251 * [taylor]: Taking taylor expansion of (log (pow (exp (pow (/ 1 im) 3)) -1/3)) in im 1.251 * [taylor]: Taking taylor expansion of (pow (exp (pow (/ 1 im) 3)) -1/3) in im 1.251 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow (/ 1 im) 3))))) in im 1.251 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow (/ 1 im) 3)))) in im 1.251 * [taylor]: Taking taylor expansion of -1/3 in im 1.251 * [taylor]: Taking taylor expansion of (log (exp (pow (/ 1 im) 3))) in im 1.251 * [taylor]: Taking taylor expansion of (exp (pow (/ 1 im) 3)) in im 1.251 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in im 1.251 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.251 * [taylor]: Taking taylor expansion of im in im 1.251 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 1.251 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.251 * [taylor]: Taking taylor expansion of 2 in im 1.251 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.251 * [taylor]: Taking taylor expansion of im in im 1.251 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.251 * [taylor]: Taking taylor expansion of 1/60 in im 1.251 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.251 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.251 * [taylor]: Taking taylor expansion of im in im 1.251 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (log (pow (exp (pow (/ 1 im) 3)) -1/3)) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 1.252 * [taylor]: Taking taylor expansion of 0.5 in re 1.252 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (log (pow (exp (pow (/ 1 im) 3)) -1/3)) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 1.252 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 1.252 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.252 * [taylor]: Taking taylor expansion of re in re 1.252 * [taylor]: Taking taylor expansion of (- (log (pow (exp (pow (/ 1 im) 3)) -1/3)) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 1.252 * [taylor]: Taking taylor expansion of (log (pow (exp (pow (/ 1 im) 3)) -1/3)) in re 1.252 * [taylor]: Taking taylor expansion of (pow (exp (pow (/ 1 im) 3)) -1/3) in re 1.252 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow (/ 1 im) 3))))) in re 1.252 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow (/ 1 im) 3)))) in re 1.252 * [taylor]: Taking taylor expansion of -1/3 in re 1.252 * [taylor]: Taking taylor expansion of (log (exp (pow (/ 1 im) 3))) in re 1.252 * [taylor]: Taking taylor expansion of (exp (pow (/ 1 im) 3)) in re 1.252 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in re 1.252 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.252 * [taylor]: Taking taylor expansion of im in re 1.252 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 1.252 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 1.252 * [taylor]: Taking taylor expansion of 2 in re 1.252 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.252 * [taylor]: Taking taylor expansion of im in re 1.252 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 1.252 * [taylor]: Taking taylor expansion of 1/60 in re 1.252 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 1.252 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.252 * [taylor]: Taking taylor expansion of im in re 1.253 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (log (pow (exp (pow (/ 1 im) 3)) -1/3)) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 1.253 * [taylor]: Taking taylor expansion of 0.5 in re 1.253 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (log (pow (exp (pow (/ 1 im) 3)) -1/3)) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 1.253 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 1.253 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.253 * [taylor]: Taking taylor expansion of re in re 1.253 * [taylor]: Taking taylor expansion of (- (log (pow (exp (pow (/ 1 im) 3)) -1/3)) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 1.253 * [taylor]: Taking taylor expansion of (log (pow (exp (pow (/ 1 im) 3)) -1/3)) in re 1.253 * [taylor]: Taking taylor expansion of (pow (exp (pow (/ 1 im) 3)) -1/3) in re 1.253 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow (/ 1 im) 3))))) in re 1.253 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow (/ 1 im) 3)))) in re 1.253 * [taylor]: Taking taylor expansion of -1/3 in re 1.253 * [taylor]: Taking taylor expansion of (log (exp (pow (/ 1 im) 3))) in re 1.253 * [taylor]: Taking taylor expansion of (exp (pow (/ 1 im) 3)) in re 1.253 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in re 1.253 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.253 * [taylor]: Taking taylor expansion of im in re 1.253 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 1.253 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 1.253 * [taylor]: Taking taylor expansion of 2 in re 1.254 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.254 * [taylor]: Taking taylor expansion of im in re 1.254 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 1.254 * [taylor]: Taking taylor expansion of 1/60 in re 1.254 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 1.254 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.254 * [taylor]: Taking taylor expansion of im in re 1.255 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re)))) in im 1.255 * [taylor]: Taking taylor expansion of -0.5 in im 1.255 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ 1 re))) in im 1.255 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 1.255 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.255 * [taylor]: Taking taylor expansion of 2 in im 1.255 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.255 * [taylor]: Taking taylor expansion of im in im 1.255 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.255 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.255 * [taylor]: Taking taylor expansion of 1/3 in im 1.255 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.255 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.255 * [taylor]: Taking taylor expansion of im in im 1.255 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.255 * [taylor]: Taking taylor expansion of 1/60 in im 1.255 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.255 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.255 * [taylor]: Taking taylor expansion of im in im 1.255 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 1.255 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.255 * [taylor]: Taking taylor expansion of re in im 1.257 * [taylor]: Taking taylor expansion of 0 in im 1.260 * [taylor]: Taking taylor expansion of 0 in im 1.264 * [taylor]: Taking taylor expansion of 0 in im 1.268 * [taylor]: Taking taylor expansion of 0 in im 1.271 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in (re im) around 0 1.271 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in im 1.271 * [taylor]: Taking taylor expansion of 0.5 in im 1.271 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in im 1.271 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5))))) in im 1.271 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.271 * [taylor]: Taking taylor expansion of 2 in im 1.271 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.271 * [taylor]: Taking taylor expansion of im in im 1.271 * [taylor]: Taking taylor expansion of (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5)))) in im 1.271 * [taylor]: Taking taylor expansion of (log (pow (exp (pow (/ -1 im) 3)) -1/3)) in im 1.271 * [taylor]: Taking taylor expansion of (pow (exp (pow (/ -1 im) 3)) -1/3) in im 1.271 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow (/ -1 im) 3))))) in im 1.271 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow (/ -1 im) 3)))) in im 1.271 * [taylor]: Taking taylor expansion of -1/3 in im 1.271 * [taylor]: Taking taylor expansion of (log (exp (pow (/ -1 im) 3))) in im 1.271 * [taylor]: Taking taylor expansion of (exp (pow (/ -1 im) 3)) in im 1.271 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in im 1.271 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.271 * [taylor]: Taking taylor expansion of -1 in im 1.271 * [taylor]: Taking taylor expansion of im in im 1.271 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.271 * [taylor]: Taking taylor expansion of 1/60 in im 1.271 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.271 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.271 * [taylor]: Taking taylor expansion of im in im 1.271 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 1.272 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.272 * [taylor]: Taking taylor expansion of -1 in im 1.272 * [taylor]: Taking taylor expansion of re in im 1.272 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in re 1.272 * [taylor]: Taking taylor expansion of 0.5 in re 1.272 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in re 1.272 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5))))) in re 1.272 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 1.272 * [taylor]: Taking taylor expansion of 2 in re 1.272 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.272 * [taylor]: Taking taylor expansion of im in re 1.272 * [taylor]: Taking taylor expansion of (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5)))) in re 1.272 * [taylor]: Taking taylor expansion of (log (pow (exp (pow (/ -1 im) 3)) -1/3)) in re 1.272 * [taylor]: Taking taylor expansion of (pow (exp (pow (/ -1 im) 3)) -1/3) in re 1.272 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow (/ -1 im) 3))))) in re 1.272 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow (/ -1 im) 3)))) in re 1.272 * [taylor]: Taking taylor expansion of -1/3 in re 1.272 * [taylor]: Taking taylor expansion of (log (exp (pow (/ -1 im) 3))) in re 1.272 * [taylor]: Taking taylor expansion of (exp (pow (/ -1 im) 3)) in re 1.272 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in re 1.272 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.272 * [taylor]: Taking taylor expansion of -1 in re 1.272 * [taylor]: Taking taylor expansion of im in re 1.272 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 1.272 * [taylor]: Taking taylor expansion of 1/60 in re 1.272 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 1.273 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.273 * [taylor]: Taking taylor expansion of im in re 1.273 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 1.273 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.273 * [taylor]: Taking taylor expansion of -1 in re 1.273 * [taylor]: Taking taylor expansion of re in re 1.273 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in re 1.273 * [taylor]: Taking taylor expansion of 0.5 in re 1.273 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in re 1.273 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5))))) in re 1.273 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 1.273 * [taylor]: Taking taylor expansion of 2 in re 1.273 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.273 * [taylor]: Taking taylor expansion of im in re 1.273 * [taylor]: Taking taylor expansion of (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5)))) in re 1.273 * [taylor]: Taking taylor expansion of (log (pow (exp (pow (/ -1 im) 3)) -1/3)) in re 1.273 * [taylor]: Taking taylor expansion of (pow (exp (pow (/ -1 im) 3)) -1/3) in re 1.273 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow (/ -1 im) 3))))) in re 1.273 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow (/ -1 im) 3)))) in re 1.273 * [taylor]: Taking taylor expansion of -1/3 in re 1.273 * [taylor]: Taking taylor expansion of (log (exp (pow (/ -1 im) 3))) in re 1.273 * [taylor]: Taking taylor expansion of (exp (pow (/ -1 im) 3)) in re 1.273 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in re 1.273 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.273 * [taylor]: Taking taylor expansion of -1 in re 1.273 * [taylor]: Taking taylor expansion of im in re 1.274 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 1.274 * [taylor]: Taking taylor expansion of 1/60 in re 1.274 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 1.274 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.274 * [taylor]: Taking taylor expansion of im in re 1.274 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 1.274 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.274 * [taylor]: Taking taylor expansion of -1 in re 1.274 * [taylor]: Taking taylor expansion of re in re 1.275 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re)))) in im 1.275 * [taylor]: Taking taylor expansion of 0.5 in im 1.275 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (cos (/ -1 re))) in im 1.275 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 1.275 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.275 * [taylor]: Taking taylor expansion of 2 in im 1.275 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.275 * [taylor]: Taking taylor expansion of im in im 1.275 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.275 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.275 * [taylor]: Taking taylor expansion of 1/3 in im 1.275 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.275 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.275 * [taylor]: Taking taylor expansion of im in im 1.275 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.275 * [taylor]: Taking taylor expansion of 1/60 in im 1.275 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.275 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.275 * [taylor]: Taking taylor expansion of im in im 1.275 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 1.275 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.275 * [taylor]: Taking taylor expansion of -1 in im 1.275 * [taylor]: Taking taylor expansion of re in im 1.277 * [taylor]: Taking taylor expansion of 0 in im 1.280 * [taylor]: Taking taylor expansion of 0 in im 1.283 * [taylor]: Taking taylor expansion of 0 in im 1.288 * [taylor]: Taking taylor expansion of 0 in im 1.292 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 1.292 * [approximate]: Taking taylor expansion of (* -1/60 (pow im 5)) in (im) around 0 1.292 * [taylor]: Taking taylor expansion of (* -1/60 (pow im 5)) in im 1.292 * [taylor]: Taking taylor expansion of -1/60 in im 1.292 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.292 * [taylor]: Taking taylor expansion of im in im 1.292 * [taylor]: Taking taylor expansion of (* -1/60 (pow im 5)) in im 1.292 * [taylor]: Taking taylor expansion of -1/60 in im 1.292 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.292 * [taylor]: Taking taylor expansion of im in im 1.294 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 1.294 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 1.294 * [taylor]: Taking taylor expansion of -1/60 in im 1.294 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.294 * [taylor]: Taking taylor expansion of im in im 1.294 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 1.294 * [taylor]: Taking taylor expansion of -1/60 in im 1.294 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.294 * [taylor]: Taking taylor expansion of im in im 1.295 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 1.295 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 1.295 * [taylor]: Taking taylor expansion of 1/60 in im 1.295 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.295 * [taylor]: Taking taylor expansion of im in im 1.295 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 1.295 * [taylor]: Taking taylor expansion of 1/60 in im 1.295 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.295 * [taylor]: Taking taylor expansion of im in im 1.297 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.297 * [approximate]: Taking taylor expansion of (- (log (pow (exp (pow im 3)) -1/3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in (im) around 0 1.297 * [taylor]: Taking taylor expansion of (- (log (pow (exp (pow im 3)) -1/3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 1.297 * [taylor]: Taking taylor expansion of (log (pow (exp (pow im 3)) -1/3)) in im 1.297 * [taylor]: Taking taylor expansion of (pow (exp (pow im 3)) -1/3) in im 1.297 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow im 3))))) in im 1.297 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow im 3)))) in im 1.297 * [taylor]: Taking taylor expansion of -1/3 in im 1.297 * [taylor]: Taking taylor expansion of (log (exp (pow im 3))) in im 1.297 * [taylor]: Taking taylor expansion of (exp (pow im 3)) in im 1.297 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.297 * [taylor]: Taking taylor expansion of im in im 1.297 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 1.297 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.297 * [taylor]: Taking taylor expansion of 1/60 in im 1.297 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.297 * [taylor]: Taking taylor expansion of im in im 1.297 * [taylor]: Taking taylor expansion of (* 2 im) in im 1.297 * [taylor]: Taking taylor expansion of 2 in im 1.297 * [taylor]: Taking taylor expansion of im in im 1.297 * [taylor]: Taking taylor expansion of (- (log (pow (exp (pow im 3)) -1/3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 1.297 * [taylor]: Taking taylor expansion of (log (pow (exp (pow im 3)) -1/3)) in im 1.297 * [taylor]: Taking taylor expansion of (pow (exp (pow im 3)) -1/3) in im 1.297 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow im 3))))) in im 1.297 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow im 3)))) in im 1.297 * [taylor]: Taking taylor expansion of -1/3 in im 1.297 * [taylor]: Taking taylor expansion of (log (exp (pow im 3))) in im 1.297 * [taylor]: Taking taylor expansion of (exp (pow im 3)) in im 1.298 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.298 * [taylor]: Taking taylor expansion of im in im 1.298 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 1.298 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.298 * [taylor]: Taking taylor expansion of 1/60 in im 1.298 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.298 * [taylor]: Taking taylor expansion of im in im 1.298 * [taylor]: Taking taylor expansion of (* 2 im) in im 1.298 * [taylor]: Taking taylor expansion of 2 in im 1.298 * [taylor]: Taking taylor expansion of im in im 1.301 * [approximate]: Taking taylor expansion of (- (log (pow (exp (pow (/ 1 im) 3)) -1/3)) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0 1.301 * [taylor]: Taking taylor expansion of (- (log (pow (exp (pow (/ 1 im) 3)) -1/3)) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 1.301 * [taylor]: Taking taylor expansion of (log (pow (exp (pow (/ 1 im) 3)) -1/3)) in im 1.301 * [taylor]: Taking taylor expansion of (pow (exp (pow (/ 1 im) 3)) -1/3) in im 1.301 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow (/ 1 im) 3))))) in im 1.301 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow (/ 1 im) 3)))) in im 1.301 * [taylor]: Taking taylor expansion of -1/3 in im 1.301 * [taylor]: Taking taylor expansion of (log (exp (pow (/ 1 im) 3))) in im 1.301 * [taylor]: Taking taylor expansion of (exp (pow (/ 1 im) 3)) in im 1.301 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in im 1.301 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.301 * [taylor]: Taking taylor expansion of im in im 1.301 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 1.301 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.301 * [taylor]: Taking taylor expansion of 2 in im 1.301 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.301 * [taylor]: Taking taylor expansion of im in im 1.301 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.301 * [taylor]: Taking taylor expansion of 1/60 in im 1.301 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.301 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.302 * [taylor]: Taking taylor expansion of im in im 1.302 * [taylor]: Taking taylor expansion of (- (log (pow (exp (pow (/ 1 im) 3)) -1/3)) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 1.302 * [taylor]: Taking taylor expansion of (log (pow (exp (pow (/ 1 im) 3)) -1/3)) in im 1.302 * [taylor]: Taking taylor expansion of (pow (exp (pow (/ 1 im) 3)) -1/3) in im 1.302 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow (/ 1 im) 3))))) in im 1.302 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow (/ 1 im) 3)))) in im 1.302 * [taylor]: Taking taylor expansion of -1/3 in im 1.302 * [taylor]: Taking taylor expansion of (log (exp (pow (/ 1 im) 3))) in im 1.302 * [taylor]: Taking taylor expansion of (exp (pow (/ 1 im) 3)) in im 1.302 * [taylor]: Taking taylor expansion of (pow (/ 1 im) 3) in im 1.302 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.302 * [taylor]: Taking taylor expansion of im in im 1.302 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 1.302 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.302 * [taylor]: Taking taylor expansion of 2 in im 1.302 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.302 * [taylor]: Taking taylor expansion of im in im 1.302 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.302 * [taylor]: Taking taylor expansion of 1/60 in im 1.302 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.302 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.302 * [taylor]: Taking taylor expansion of im in im 1.305 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0 1.305 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5))))) in im 1.305 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.305 * [taylor]: Taking taylor expansion of 2 in im 1.305 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.305 * [taylor]: Taking taylor expansion of im in im 1.305 * [taylor]: Taking taylor expansion of (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5)))) in im 1.305 * [taylor]: Taking taylor expansion of (log (pow (exp (pow (/ -1 im) 3)) -1/3)) in im 1.305 * [taylor]: Taking taylor expansion of (pow (exp (pow (/ -1 im) 3)) -1/3) in im 1.305 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow (/ -1 im) 3))))) in im 1.305 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow (/ -1 im) 3)))) in im 1.305 * [taylor]: Taking taylor expansion of -1/3 in im 1.305 * [taylor]: Taking taylor expansion of (log (exp (pow (/ -1 im) 3))) in im 1.305 * [taylor]: Taking taylor expansion of (exp (pow (/ -1 im) 3)) in im 1.305 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in im 1.305 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.305 * [taylor]: Taking taylor expansion of -1 in im 1.305 * [taylor]: Taking taylor expansion of im in im 1.305 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.305 * [taylor]: Taking taylor expansion of 1/60 in im 1.305 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.305 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.305 * [taylor]: Taking taylor expansion of im in im 1.305 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5))))) in im 1.305 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.305 * [taylor]: Taking taylor expansion of 2 in im 1.305 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.305 * [taylor]: Taking taylor expansion of im in im 1.305 * [taylor]: Taking taylor expansion of (+ (log (pow (exp (pow (/ -1 im) 3)) -1/3)) (* 1/60 (/ 1 (pow im 5)))) in im 1.306 * [taylor]: Taking taylor expansion of (log (pow (exp (pow (/ -1 im) 3)) -1/3)) in im 1.306 * [taylor]: Taking taylor expansion of (pow (exp (pow (/ -1 im) 3)) -1/3) in im 1.306 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (exp (pow (/ -1 im) 3))))) in im 1.306 * [taylor]: Taking taylor expansion of (* -1/3 (log (exp (pow (/ -1 im) 3)))) in im 1.306 * [taylor]: Taking taylor expansion of -1/3 in im 1.306 * [taylor]: Taking taylor expansion of (log (exp (pow (/ -1 im) 3))) in im 1.306 * [taylor]: Taking taylor expansion of (exp (pow (/ -1 im) 3)) in im 1.306 * [taylor]: Taking taylor expansion of (pow (/ -1 im) 3) in im 1.306 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.306 * [taylor]: Taking taylor expansion of -1 in im 1.306 * [taylor]: Taking taylor expansion of im in im 1.306 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.306 * [taylor]: Taking taylor expansion of 1/60 in im 1.306 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.306 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.306 * [taylor]: Taking taylor expansion of im in im 1.308 * * * [progress]: simplifying candidates 1.309 * [simplify]: Simplifying using # : (log (pow (* (cbrt (exp (pow im 3))) (cbrt (exp (pow im 3)))) -1/3)) (log (pow (cbrt (exp (pow im 3))) -1/3)) (log (pow (sqrt (exp (pow im 3))) -1/3)) (log (pow (sqrt (exp (pow im 3))) -1/3)) (log (pow 1 -1/3)) (log (pow (exp (pow im 3)) -1/3)) (log (* (cbrt (pow (exp (pow im 3)) -1/3)) (cbrt (pow (exp (pow im 3)) -1/3)))) (log (cbrt (pow (exp (pow im 3)) -1/3))) (log (sqrt (pow (exp (pow im 3)) -1/3))) (log (sqrt (pow (exp (pow im 3)) -1/3))) (log 1) (log (pow (exp (pow im 3)) -1/3)) (log (pow (exp (pow im 3)) (/ -1/3 2))) (log (pow (exp (pow im 3)) (/ -1/3 2))) (log (exp (pow im 3))) (log (log (pow (exp (pow im 3)) -1/3))) (exp (log (pow (exp (pow im 3)) -1/3))) (* (cbrt (log (pow (exp (pow im 3)) -1/3))) (cbrt (log (pow (exp (pow im 3)) -1/3)))) (cbrt (log (pow (exp (pow im 3)) -1/3))) (* (* (log (pow (exp (pow im 3)) -1/3)) (log (pow (exp (pow im 3)) -1/3))) (log (pow (exp (pow im 3)) -1/3))) (sqrt (log (pow (exp (pow im 3)) -1/3))) (sqrt (log (pow (exp (pow im 3)) -1/3))) (* (* 0.5 (cos re)) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (* (* 0.5 (cos re)) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (+ (+ (log 0.5) (log (cos re))) (log (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (+ (log (* 0.5 (cos re))) (log (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (log (* (* 0.5 (cos re)) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (exp (* (* 0.5 (cos re)) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (* (cbrt (* (* 0.5 (cos re)) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (cbrt (* (* 0.5 (cos re)) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))))) (cbrt (* (* 0.5 (cos re)) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (* (* (* (* 0.5 (cos re)) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (* (* 0.5 (cos re)) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (* (* 0.5 (cos re)) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (sqrt (* (* 0.5 (cos re)) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (sqrt (* (* 0.5 (cos re)) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (* (* 0.5 (cos re)) (log (pow (exp (pow im 3)) -1/3))) (* (* 0.5 (cos re)) (+ (* im -2) (* (pow im 5) -1/60))) (* (log (pow (exp (pow im 3)) -1/3)) (* 0.5 (cos re))) (* (+ (* im -2) (* (pow im 5) -1/60)) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* (cbrt (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (cbrt (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))))) (* (* 0.5 (cos re)) (sqrt (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (* (* 0.5 (cos re)) 1) (* (* 0.5 (cos re)) 1) (* (cos re) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (* (* 0.5 (cos re)) (+ (pow (log (pow (exp (pow im 3)) -1/3)) 3) (pow (+ (* im -2) (* (pow im 5) -1/60)) 3))) (* (* 0.5 (cos re)) (- (* (log (pow (exp (pow im 3)) -1/3)) (log (pow (exp (pow im 3)) -1/3))) (* (+ (* im -2) (* (pow im 5) -1/60)) (+ (* im -2) (* (pow im 5) -1/60))))) (+ (* (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) (* (pow (exp (pow im 3)) -1/3) (* (exp (* im -2)) (exp (* (pow im 5) -1/60)))) (* (pow (exp (pow im 3)) -1/3) (exp (+ (* im -2) (* (pow im 5) -1/60)))) (log (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (exp (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (* (cbrt (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (cbrt (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (cbrt (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (* (* (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (sqrt (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (sqrt (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60)))) (+ (pow (log (pow (exp (pow im 3)) -1/3)) 3) (pow (+ (* im -2) (* (pow im 5) -1/60)) 3)) (+ (* (log (pow (exp (pow im 3)) -1/3)) (log (pow (exp (pow im 3)) -1/3))) (- (* (+ (* im -2) (* (pow im 5) -1/60)) (+ (* im -2) (* (pow im 5) -1/60))) (* (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))))) (- (* (log (pow (exp (pow im 3)) -1/3)) (log (pow (exp (pow im 3)) -1/3))) (* (+ (* im -2) (* (pow im 5) -1/60)) (+ (* im -2) (* (pow im 5) -1/60)))) (- (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))) (+ (log (pow (exp (pow im 3)) -1/3)) (* im -2)) (+ (log (pow (cbrt (exp (pow im 3))) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))) (+ (log (pow (sqrt (exp (pow im 3))) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))) (+ (log (cbrt (pow (exp (pow im 3)) -1/3))) (+ (* im -2) (* (pow im 5) -1/60))) (+ (log (sqrt (pow (exp (pow im 3)) -1/3))) (+ (* im -2) (* (pow im 5) -1/60))) (+ (log (pow (exp (pow im 3)) -1/3)) (+ (* im -2) (* (pow im 5) -1/60))) (+ (log (pow (exp (pow im 3)) (/ -1/3 2))) (+ (* im -2) (* (pow im 5) -1/60))) (- (log (pow 1 -1/3)) (* 1/3 (pow im 3))) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im))) (neg (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im))))) (neg (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im))))) (* -1/60 (pow im 5)) (* -1/60 (pow im 5)) (* -1/60 (pow im 5)) (- (log (pow 1 -1/3)) (+ (* 1/3 (pow im 3)) (* 2 im))) (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 1.334 * * [simplify]: iteration 0 : 5276 enodes (cost 1339 ) 1.339 * [simplify]: Simplified to: (* -1/3 (log (* (cbrt (exp (pow im 3))) (cbrt (exp (pow im 3)))))) (* -1/3 (log (cbrt (exp (pow im 3))))) (* -1/3 (log (sqrt (exp (pow im 3))))) (* -1/3 (log (sqrt (exp (pow im 3))))) (log 1) (* (pow im 3) -1/3) (* 2 (log (cbrt (pow (exp (pow im 3)) -1/3)))) (log (cbrt (pow (exp (pow im 3)) -1/3))) (log (sqrt (pow (exp (pow im 3)) -1/3))) (log (sqrt (pow (exp (pow im 3)) -1/3))) (log 1) (* (pow im 3) -1/3) (* (pow im 3) -1/6) (* (pow im 3) -1/6) (pow im 3) (log (* (pow im 3) -1/3)) (pow (exp (pow im 3)) -1/3) (* (cbrt (* (pow im 3) -1/3)) (cbrt (* (pow im 3) -1/3))) (cbrt (* (pow im 3) -1/3)) (* (pow (pow im 3) 3) -1/27) (sqrt (* (pow im 3) -1/3)) (sqrt (* (pow im 3) -1/3)) (* 0.5 (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (* 0.5 (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (log (* 0.5 (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))))) (log (* 0.5 (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))))) (log (* 0.5 (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))))) (pow (exp (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (* 0.5 (cos re))) (pow (* 0.5 (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) 3) (pow (* 0.5 (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) 3) (* (cbrt (* 0.5 (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))))) (cbrt (* 0.5 (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))))) (cbrt (* 0.5 (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))))) (pow (* 0.5 (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) 3) (sqrt (* 0.5 (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))))) (sqrt (* 0.5 (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))))) (* (pow im 3) (* -1/3 (* 0.5 (cos re)))) (* 0.5 (* (cos re) (+ (* im -2) (* (pow im 5) -1/60)))) (* (pow im 3) (* -1/3 (* 0.5 (cos re)))) (* 0.5 (* (cos re) (+ (* im -2) (* (pow im 5) -1/60)))) (* 0.5 (* (cos re) (* (cbrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (cbrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))))) (* 0.5 (* (cos re) (sqrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))))) (* 0.5 (cos re)) (* 0.5 (cos re)) (* (cos re) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (* 0.5 (* (cos re) (+ (* (pow (pow im 3) 3) -1/27) (pow (+ (* im -2) (* (pow im 5) -1/60)) 3)))) (* 0.5 (* (cos re) (+ (* (pow im 6) 1/9) (* (+ (* im -2) (* (pow im 5) -1/60)) (+ (* im 2) (* (pow im 5) 1/60)))))) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (pow (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 -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)) (* (pow im 5) (* (cbrt -1/60) (cbrt -1/60))) (* (pow im 5) (sqrt -1/60)) (pow im 5) (* -1/60 (pow (cbrt im) 5)) (* -1/60 (pow (sqrt im) 5)) (* (pow im 5) -1/60) (* -1/60 (cbrt (pow im 5))) (* -1/60 (sqrt (pow im 5))) (* (pow im 5) -1/60) (* -1/60 (pow im 5/2)) (exp (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (exp (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (log (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (exp (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (* (cbrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (cbrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))) (cbrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (pow (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))) 3) (sqrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (sqrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60)))) (+ (* (pow (pow im 3) 3) -1/27) (pow (+ (* im -2) (* (pow im 5) -1/60)) 3)) (+ (* (pow im 6) 1/9) (* (+ (* im -2) (* (pow im 5) -1/60)) (+ (* im -2) (+ (* (pow im 5) -1/60) (* (pow im 3) 1/3))))) (+ (* (pow im 6) 1/9) (* (+ (* im -2) (* (pow im 5) -1/60)) (+ (* im 2) (* (pow im 5) 1/60)))) (+ (* (pow im 3) -1/3) (+ (* im 2) (* (pow im 5) 1/60))) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))) (+ (* (pow im 3) -1/3) (* im -2)) (+ (* -1/3 (log (cbrt (exp (pow im 3))))) (+ (* im -2) (* (pow im 5) -1/60))) (+ (* -1/3 (log (sqrt (exp (pow im 3))))) (+ (* im -2) (* (pow im 5) -1/60))) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))) (+ (log (cbrt (pow (exp (pow im 3)) -1/3))) (+ (* im -2) (* (pow im 5) -1/60))) (+ (log (sqrt (pow (exp (pow im 3)) -1/3))) (+ (* im -2) (* (pow im 5) -1/60))) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))) (+ (* (pow im 3) -1/6) (+ (* im -2) (* (pow im 5) -1/60))) (+ (log 1) (* (pow im 3) -1/3)) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (- (* im (* 0.5 (* re re))) (+ (* (pow im 3) 0.16666666666666666) (* im 1.0))) (- (* (pow im 3) (* (cos re) (neg 0.16666666666666666))) (+ (* (cos re) (* (pow im 5) 0.008333333333333333)) (* im (* (cos re) 1.0)))) (- (* (pow im 3) (* (cos re) (neg 0.16666666666666666))) (+ (* (cos re) (* (pow im 5) 0.008333333333333333)) (* im (* (cos re) 1.0)))) (* (pow im 5) -1/60) (* (pow im 5) -1/60) (* (pow im 5) -1/60) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))) (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))) 1.339 * * * [progress]: adding candidates to table 1.544 * * [progress]: iteration 4 / 4 1.544 * * * [progress]: picking best candidate 1.586 * * * * [pick]: Picked # 1.586 * * * [progress]: localizing error 1.599 * * * [progress]: generating rewritten candidates 1.599 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2 1) 1.605 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.617 * * * [progress]: generating series expansions 1.617 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2 1) 1.618 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 1.618 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 1.618 * [taylor]: Taking taylor expansion of -1/3 in im 1.618 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.618 * [taylor]: Taking taylor expansion of im in im 1.618 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 1.618 * [taylor]: Taking taylor expansion of -1/3 in im 1.618 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.618 * [taylor]: Taking taylor expansion of im in im 1.619 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 1.619 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 1.619 * [taylor]: Taking taylor expansion of -1/3 in im 1.619 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.619 * [taylor]: Taking taylor expansion of im in im 1.619 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 1.619 * [taylor]: Taking taylor expansion of -1/3 in im 1.619 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.619 * [taylor]: Taking taylor expansion of im in im 1.620 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 1.620 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 1.620 * [taylor]: Taking taylor expansion of 1/3 in im 1.620 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.620 * [taylor]: Taking taylor expansion of im in im 1.620 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 1.620 * [taylor]: Taking taylor expansion of 1/3 in im 1.620 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.620 * [taylor]: Taking taylor expansion of im in im 1.621 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.622 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos re) (- (log 1) (+ (* 1/3 (pow im 3)) (* 2 im))))) in (re im) around 0 1.622 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (- (log 1) (+ (* 1/3 (pow im 3)) (* 2 im))))) in im 1.622 * [taylor]: Taking taylor expansion of 0.5 in im 1.622 * [taylor]: Taking taylor expansion of (* (cos re) (- (log 1) (+ (* 1/3 (pow im 3)) (* 2 im)))) in im 1.622 * [taylor]: Taking taylor expansion of (cos re) in im 1.622 * [taylor]: Taking taylor expansion of re in im 1.622 * [taylor]: Taking taylor expansion of (- (log 1) (+ (* 1/3 (pow im 3)) (* 2 im))) in im 1.622 * [taylor]: Taking taylor expansion of (log 1) in im 1.622 * [taylor]: Taking taylor expansion of 1 in im 1.622 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 2 im)) in im 1.622 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.622 * [taylor]: Taking taylor expansion of 1/3 in im 1.622 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.622 * [taylor]: Taking taylor expansion of im in im 1.622 * [taylor]: Taking taylor expansion of (* 2 im) in im 1.622 * [taylor]: Taking taylor expansion of 2 in im 1.622 * [taylor]: Taking taylor expansion of im in im 1.622 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (- (log 1) (+ (* 1/3 (pow im 3)) (* 2 im))))) in re 1.622 * [taylor]: Taking taylor expansion of 0.5 in re 1.622 * [taylor]: Taking taylor expansion of (* (cos re) (- (log 1) (+ (* 1/3 (pow im 3)) (* 2 im)))) in re 1.622 * [taylor]: Taking taylor expansion of (cos re) in re 1.622 * [taylor]: Taking taylor expansion of re in re 1.622 * [taylor]: Taking taylor expansion of (- (log 1) (+ (* 1/3 (pow im 3)) (* 2 im))) in re 1.622 * [taylor]: Taking taylor expansion of (log 1) in re 1.622 * [taylor]: Taking taylor expansion of 1 in re 1.622 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 2 im)) in re 1.622 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 1.622 * [taylor]: Taking taylor expansion of 1/3 in re 1.622 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.622 * [taylor]: Taking taylor expansion of im in re 1.622 * [taylor]: Taking taylor expansion of (* 2 im) in re 1.622 * [taylor]: Taking taylor expansion of 2 in re 1.622 * [taylor]: Taking taylor expansion of im in re 1.622 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (- (log 1) (+ (* 1/3 (pow im 3)) (* 2 im))))) in re 1.622 * [taylor]: Taking taylor expansion of 0.5 in re 1.622 * [taylor]: Taking taylor expansion of (* (cos re) (- (log 1) (+ (* 1/3 (pow im 3)) (* 2 im)))) in re 1.622 * [taylor]: Taking taylor expansion of (cos re) in re 1.622 * [taylor]: Taking taylor expansion of re in re 1.622 * [taylor]: Taking taylor expansion of (- (log 1) (+ (* 1/3 (pow im 3)) (* 2 im))) in re 1.622 * [taylor]: Taking taylor expansion of (log 1) in re 1.622 * [taylor]: Taking taylor expansion of 1 in re 1.622 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 2 im)) in re 1.622 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 1.623 * [taylor]: Taking taylor expansion of 1/3 in re 1.623 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.623 * [taylor]: Taking taylor expansion of im in re 1.623 * [taylor]: Taking taylor expansion of (* 2 im) in re 1.623 * [taylor]: Taking taylor expansion of 2 in re 1.623 * [taylor]: Taking taylor expansion of im in re 1.623 * [taylor]: Taking taylor expansion of (* 0.5 (- (log 1) (+ (* 1/3 (pow im 3)) (* 2 im)))) in im 1.623 * [taylor]: Taking taylor expansion of 0.5 in im 1.623 * [taylor]: Taking taylor expansion of (- (log 1) (+ (* 1/3 (pow im 3)) (* 2 im))) in im 1.623 * [taylor]: Taking taylor expansion of (log 1) in im 1.623 * [taylor]: Taking taylor expansion of 1 in im 1.623 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 2 im)) in im 1.623 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.624 * [taylor]: Taking taylor expansion of 1/3 in im 1.624 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.624 * [taylor]: Taking taylor expansion of im in im 1.624 * [taylor]: Taking taylor expansion of (* 2 im) in im 1.624 * [taylor]: Taking taylor expansion of 2 in im 1.624 * [taylor]: Taking taylor expansion of im in im 1.624 * [taylor]: Taking taylor expansion of 0 in im 1.625 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (pow im 3)) (* 0.5 im)) (* 0.25 (log 1))) in im 1.626 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (pow im 3)) (* 0.5 im)) in im 1.626 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (pow im 3)) in im 1.626 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 1.626 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.626 * [taylor]: Taking taylor expansion of im in im 1.626 * [taylor]: Taking taylor expansion of (* 0.5 im) in im 1.626 * [taylor]: Taking taylor expansion of 0.5 in im 1.626 * [taylor]: Taking taylor expansion of im in im 1.626 * [taylor]: Taking taylor expansion of (* 0.25 (log 1)) in im 1.626 * [taylor]: Taking taylor expansion of 0.25 in im 1.626 * [taylor]: Taking taylor expansion of (log 1) in im 1.626 * [taylor]: Taking taylor expansion of 1 in im 1.626 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))))) in (re im) around 0 1.626 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))))) in im 1.626 * [taylor]: Taking taylor expansion of 0.5 in im 1.626 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))))) in im 1.626 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 1.626 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.626 * [taylor]: Taking taylor expansion of re in im 1.627 * [taylor]: Taking taylor expansion of (- (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))) in im 1.627 * [taylor]: Taking taylor expansion of (log 1) in im 1.627 * [taylor]: Taking taylor expansion of 1 in im 1.627 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))) in im 1.627 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.627 * [taylor]: Taking taylor expansion of 2 in im 1.627 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.627 * [taylor]: Taking taylor expansion of im in im 1.627 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.627 * [taylor]: Taking taylor expansion of 1/3 in im 1.627 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.627 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.627 * [taylor]: Taking taylor expansion of im in im 1.627 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))))) in re 1.627 * [taylor]: Taking taylor expansion of 0.5 in re 1.627 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))))) in re 1.627 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 1.627 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.627 * [taylor]: Taking taylor expansion of re in re 1.627 * [taylor]: Taking taylor expansion of (- (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))) in re 1.627 * [taylor]: Taking taylor expansion of (log 1) in re 1.627 * [taylor]: Taking taylor expansion of 1 in re 1.627 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))) in re 1.627 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 1.627 * [taylor]: Taking taylor expansion of 2 in re 1.627 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.627 * [taylor]: Taking taylor expansion of im in re 1.627 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 1.627 * [taylor]: Taking taylor expansion of 1/3 in re 1.627 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 1.627 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.627 * [taylor]: Taking taylor expansion of im in re 1.627 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))))) in re 1.627 * [taylor]: Taking taylor expansion of 0.5 in re 1.627 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))))) in re 1.627 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 1.627 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.628 * [taylor]: Taking taylor expansion of re in re 1.628 * [taylor]: Taking taylor expansion of (- (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))) in re 1.628 * [taylor]: Taking taylor expansion of (log 1) in re 1.628 * [taylor]: Taking taylor expansion of 1 in re 1.628 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))) in re 1.628 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 1.628 * [taylor]: Taking taylor expansion of 2 in re 1.628 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.628 * [taylor]: Taking taylor expansion of im in re 1.628 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 1.628 * [taylor]: Taking taylor expansion of 1/3 in re 1.628 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 1.628 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.628 * [taylor]: Taking taylor expansion of im in re 1.632 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))))) in im 1.632 * [taylor]: Taking taylor expansion of 0.5 in im 1.632 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))))) in im 1.632 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 1.632 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.632 * [taylor]: Taking taylor expansion of re in im 1.632 * [taylor]: Taking taylor expansion of (- (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))) in im 1.632 * [taylor]: Taking taylor expansion of (log 1) in im 1.632 * [taylor]: Taking taylor expansion of 1 in im 1.632 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))) in im 1.632 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.632 * [taylor]: Taking taylor expansion of 2 in im 1.632 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.632 * [taylor]: Taking taylor expansion of im in im 1.632 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.632 * [taylor]: Taking taylor expansion of 1/3 in im 1.632 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.632 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.632 * [taylor]: Taking taylor expansion of im in im 1.633 * [taylor]: Taking taylor expansion of 0 in im 1.635 * [taylor]: Taking taylor expansion of 0 in im 1.637 * [taylor]: Taking taylor expansion of 0 in im 1.638 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (+ (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))))) in (re im) around 0 1.638 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (+ (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))))) in im 1.638 * [taylor]: Taking taylor expansion of 0.5 in im 1.638 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (+ (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))))) in im 1.638 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 1.638 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.638 * [taylor]: Taking taylor expansion of -1 in im 1.638 * [taylor]: Taking taylor expansion of re in im 1.638 * [taylor]: Taking taylor expansion of (+ (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))) in im 1.638 * [taylor]: Taking taylor expansion of (log 1) in im 1.638 * [taylor]: Taking taylor expansion of 1 in im 1.639 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))) in im 1.639 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.639 * [taylor]: Taking taylor expansion of 2 in im 1.639 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.639 * [taylor]: Taking taylor expansion of im in im 1.639 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.639 * [taylor]: Taking taylor expansion of 1/3 in im 1.639 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.639 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.639 * [taylor]: Taking taylor expansion of im in im 1.639 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (+ (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))))) in re 1.639 * [taylor]: Taking taylor expansion of 0.5 in re 1.639 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (+ (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))))) in re 1.639 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 1.639 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.639 * [taylor]: Taking taylor expansion of -1 in re 1.639 * [taylor]: Taking taylor expansion of re in re 1.639 * [taylor]: Taking taylor expansion of (+ (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))) in re 1.639 * [taylor]: Taking taylor expansion of (log 1) in re 1.639 * [taylor]: Taking taylor expansion of 1 in re 1.639 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))) in re 1.639 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 1.639 * [taylor]: Taking taylor expansion of 2 in re 1.639 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.639 * [taylor]: Taking taylor expansion of im in re 1.639 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 1.639 * [taylor]: Taking taylor expansion of 1/3 in re 1.639 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 1.639 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.639 * [taylor]: Taking taylor expansion of im in re 1.639 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (+ (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))))) in re 1.639 * [taylor]: Taking taylor expansion of 0.5 in re 1.639 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (+ (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))))) in re 1.639 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 1.639 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.639 * [taylor]: Taking taylor expansion of -1 in re 1.639 * [taylor]: Taking taylor expansion of re in re 1.639 * [taylor]: Taking taylor expansion of (+ (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))) in re 1.639 * [taylor]: Taking taylor expansion of (log 1) in re 1.639 * [taylor]: Taking taylor expansion of 1 in re 1.639 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))) in re 1.640 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 1.640 * [taylor]: Taking taylor expansion of 2 in re 1.640 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.640 * [taylor]: Taking taylor expansion of im in re 1.640 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 1.640 * [taylor]: Taking taylor expansion of 1/3 in re 1.640 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 1.640 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.640 * [taylor]: Taking taylor expansion of im in re 1.640 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (+ (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))))) in im 1.640 * [taylor]: Taking taylor expansion of 0.5 in im 1.641 * [taylor]: Taking taylor expansion of (* (cos (/ -1 re)) (+ (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))))) in im 1.641 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 1.641 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.641 * [taylor]: Taking taylor expansion of -1 in im 1.641 * [taylor]: Taking taylor expansion of re in im 1.641 * [taylor]: Taking taylor expansion of (+ (log 1) (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3))))) in im 1.641 * [taylor]: Taking taylor expansion of (log 1) in im 1.641 * [taylor]: Taking taylor expansion of 1 in im 1.641 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/3 (/ 1 (pow im 3)))) in im 1.641 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.641 * [taylor]: Taking taylor expansion of 2 in im 1.641 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.641 * [taylor]: Taking taylor expansion of im in im 1.641 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.641 * [taylor]: Taking taylor expansion of 1/3 in im 1.641 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.641 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.641 * [taylor]: Taking taylor expansion of im in im 1.642 * [taylor]: Taking taylor expansion of 0 in im 1.643 * [taylor]: Taking taylor expansion of 0 in im 1.645 * [taylor]: Taking taylor expansion of 0 in im 1.647 * * * [progress]: simplifying candidates 1.647 * [simplify]: Simplifying using # : (+ (* (log im) 3) (log -1/3)) (+ (* (log im) 3) (log -1/3)) (+ (log (pow im 3)) (log -1/3)) (log (* (pow im 3) -1/3)) (exp (* (pow im 3) -1/3)) (* (* (* (pow im 3) (pow im 3)) (pow im 3)) (* (* -1/3 -1/3) -1/3)) (* (cbrt (* (pow im 3) -1/3)) (cbrt (* (pow im 3) -1/3))) (cbrt (* (pow im 3) -1/3)) (* (* (* (pow im 3) -1/3) (* (pow im 3) -1/3)) (* (pow im 3) -1/3)) (sqrt (* (pow im 3) -1/3)) (sqrt (* (pow im 3) -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)) (sqrt -1/3)) (* (pow im 3) (* (cbrt -1/3) (cbrt -1/3))) (* (pow im 3) (sqrt -1/3)) (* (pow im 3) 1) (* (pow (cbrt im) 3) -1/3) (* (pow (sqrt im) 3) -1/3) (* (pow im 3) -1/3) (* im -1/3) (* (cbrt (pow im 3)) -1/3) (* (pow (cbrt im) 3) -1/3) (* (pow (sqrt im) 3) -1/3) (* (pow im 3) -1/3) (* (* im im) -1/3) (* (sqrt (pow im 3)) -1/3) (* (pow im 3) -1/3) (* (pow im (/ 3 2)) -1/3) (* (* 0.5 (cos re)) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2)))) (* (* 0.5 (cos re)) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2)))) (+ (+ (log 0.5) (log (cos re))) (log (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))))) (+ (log (* 0.5 (cos re))) (log (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))))) (log (* (* 0.5 (cos re)) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))))) (exp (* (* 0.5 (cos re)) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2)))) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))))) (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2)))) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))))) (* (cbrt (* (* 0.5 (cos re)) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))))) (cbrt (* (* 0.5 (cos re)) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2)))))) (cbrt (* (* 0.5 (cos re)) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))))) (* (* (* (* 0.5 (cos re)) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2)))) (* (* 0.5 (cos re)) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))))) (* (* 0.5 (cos re)) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))))) (sqrt (* (* 0.5 (cos re)) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))))) (sqrt (* (* 0.5 (cos re)) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))))) (* (* 0.5 (cos re)) (log 1)) (* (* 0.5 (cos re)) (+ (* (pow im 3) -1/3) (* im -2))) (* (log 1) (* 0.5 (cos re))) (* (+ (* (pow im 3) -1/3) (* im -2)) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* (cbrt (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2)))) (cbrt (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2)))))) (* (* 0.5 (cos re)) (sqrt (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2))))) (* (* 0.5 (cos re)) 1) (* (* 0.5 (cos re)) 1) (* (* 0.5 (cos re)) 1) (* (cos re) (+ (log 1) (+ (* (pow im 3) -1/3) (* im -2)))) (* (* 0.5 (cos re)) (+ (pow (log 1) 3) (pow (+ (* (pow im 3) -1/3) (* im -2)) 3))) (* (* 0.5 (cos re)) (- (* (log 1) (log 1)) (* (+ (* (pow im 3) -1/3) (* im -2)) (+ (* (pow im 3) -1/3) (* im -2))))) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (- (* 0.5 (log 1)) (+ (* 0.25 (* (log 1) (pow re 2))) (* 1.0 im))) (- (* 0.5 (* (log 1) (cos re))) (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (* 1.0 (* (cos re) im)))) (- (* 0.5 (* (log 1) (cos re))) (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (* 1.0 (* (cos re) im)))) 1.697 * * [simplify]: iteration 0 : 4975 enodes (cost 695 ) 1.698 * * [simplify]: iteration 1 : 4975 enodes (cost 695 ) 1.701 * [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))) (pow (exp (pow im 3)) -1/3) (* (pow (pow im 3) 3) -1/27) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* (pow (pow im 3) 3) -1/27) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/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)) (* (pow im 3) (* (cbrt -1/3) (cbrt -1/3))) (* (pow im 3) (sqrt -1/3)) (pow im 3) (* im -1/3) (* im (* (sqrt im) -1/3)) (* -1/3 (pow im 3)) (* im -1/3) (* im -1/3) (* im -1/3) (* im (* (sqrt im) -1/3)) (* -1/3 (pow im 3)) (* im (* im -1/3)) (* -1/3 (sqrt (pow im 3))) (* -1/3 (pow im 3)) (* -1/3 (pow im 3/2)) (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2))))) (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2))))) (log (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2)))))) (log (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2)))))) (log (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2)))))) (pow (pow (exp 0.5) (cos re)) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2)))) (pow (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2))))) 3) (pow (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2))))) 3) (* (cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2)))))) (cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2))))))) (cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2)))))) (pow (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2))))) 3) (sqrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2)))))) (sqrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2)))))) (* 0.5 (* (cos re) (log 1))) (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (* im -2)))) (* 0.5 (* (cos re) (log 1))) (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (* im -2)))) (* 0.5 (* (cos re) (* (cbrt (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2)))) (cbrt (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2))))))) (* 0.5 (* (cos re) (sqrt (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2)))))) (* 0.5 (cos re)) (* 0.5 (cos re)) (* 0.5 (cos re)) (* (cos re) (+ (* -1/3 (pow im 3)) (+ (log 1) (* im -2)))) (* 0.5 (* (cos re) (+ (pow (log 1) 3) (pow (+ (* -1/3 (pow im 3)) (* im -2)) 3)))) (* 0.5 (* (cos re) (- (* (log 1) (log 1)) (* (+ (* -1/3 (pow im 3)) (* im -2)) (+ (* -1/3 (pow im 3)) (* im -2)))))) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (- (* (log 1) (- 0.5 (* (* re re) 0.25))) (* im 1.0)) (- (* 0.5 (* (cos re) (log 1))) (* (cos re) (+ (* (pow im 3) 0.16666666666666666) (* im 1.0)))) (- (* 0.5 (* (cos re) (log 1))) (* (cos re) (+ (* (pow im 3) 0.16666666666666666) (* im 1.0)))) 1.701 * * * [progress]: adding candidates to table 1.791 * [progress]: [Phase 3 of 3] Extracting. 1.791 * * [regime]: Finding splitpoints for: (# # # # # # # #) 1.797 * * * [regime-changes]: Trying 5 branch expressions: ((- (exp (- 0.0 im)) (exp im)) (cos re) (* 0.5 (cos re)) im re) 1.797 * * * * [regimes]: Trying to branch on (- (exp (- 0.0 im)) (exp im)) from (# # # # # # # #) 1.863 * * * * [regimes]: Trying to branch on (- (exp (- 0.0 im)) (exp im)) from (# #) 1.897 * * * * [regimes]: Trying to branch on (cos re) from (# # # # # # # #) 1.964 * * * * [regimes]: Trying to branch on (* 0.5 (cos re)) from (# # # # # # # #) 2.034 * * * * [regimes]: Trying to branch on im from (# # # # # # # #) 2.104 * * * * [regimes]: Trying to branch on re from (# # # # # # # #) 2.173 * * * [regime]: Found split indices: #