11.399 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.128 * * * [progress]: [2/2] Setting up program. 0.130 * [progress]: [Phase 2 of 3] Improving. 0.131 * [simplify]: Simplifying using # : (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 0.131 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 0.133 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.135 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 0.142 * * [simplify]: iteration 3 : 86 enodes (cost 12 ) 0.162 * * [simplify]: iteration 4 : 152 enodes (cost 12 ) 0.194 * * [simplify]: iteration 5 : 245 enodes (cost 12 ) 0.262 * * [simplify]: iteration 6 : 463 enodes (cost 12 ) 0.416 * * [simplify]: iteration 7 : 597 enodes (cost 12 ) 0.652 * * [simplify]: iteration 8 : 875 enodes (cost 12 ) 1.159 * * [simplify]: iteration 9 : 1888 enodes (cost 12 ) 2.557 * * [simplify]: iteration 10 : 2503 enodes (cost 12 ) 4.681 * * [simplify]: iteration 11 : 2539 enodes (cost 12 ) 6.612 * * [simplify]: iteration 12 : 2663 enodes (cost 12 ) 8.538 * * [simplify]: iteration 13 : 2680 enodes (cost 12 ) 10.448 * * [simplify]: iteration done : 2680 enodes (cost 12 ) 10.448 * [simplify]: Simplified to: (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 10.449 * * [progress]: iteration 1 / 4 10.449 * * * [progress]: picking best candidate 10.451 * * * * [pick]: Picked # 10.451 * * * [progress]: localizing error 10.461 * * * [progress]: generating rewritten candidates 10.461 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 10.489 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 10.543 * * * [progress]: generating series expansions 10.543 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 10.543 * [approximate]: Taking taylor expansion of (- (exp (- im)) (exp im)) in (im) around 0 10.543 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 10.543 * [taylor]: Taking taylor expansion of (exp (- im)) in im 10.543 * [taylor]: Taking taylor expansion of (- im) in im 10.543 * [taylor]: Taking taylor expansion of im in im 10.544 * [taylor]: Taking taylor expansion of (exp im) in im 10.544 * [taylor]: Taking taylor expansion of im in im 10.544 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 10.544 * [taylor]: Taking taylor expansion of (exp (- im)) in im 10.544 * [taylor]: Taking taylor expansion of (- im) in im 10.544 * [taylor]: Taking taylor expansion of im in im 10.545 * [taylor]: Taking taylor expansion of (exp im) in im 10.545 * [taylor]: Taking taylor expansion of im in im 10.571 * [approximate]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 10.571 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 10.571 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 10.571 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 10.571 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.571 * [taylor]: Taking taylor expansion of im in im 10.572 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.572 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.572 * [taylor]: Taking taylor expansion of im in im 10.572 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 10.572 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 10.572 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 10.572 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.572 * [taylor]: Taking taylor expansion of im in im 10.573 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.573 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.573 * [taylor]: Taking taylor expansion of im in im 10.577 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0 10.577 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 10.577 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.577 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.577 * [taylor]: Taking taylor expansion of im in im 10.577 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 10.577 * [taylor]: Taking taylor expansion of (/ -1 im) in im 10.577 * [taylor]: Taking taylor expansion of -1 in im 10.577 * [taylor]: Taking taylor expansion of im in im 10.577 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 10.577 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.577 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.577 * [taylor]: Taking taylor expansion of im in im 10.578 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 10.578 * [taylor]: Taking taylor expansion of (/ -1 im) in im 10.578 * [taylor]: Taking taylor expansion of -1 in im 10.578 * [taylor]: Taking taylor expansion of im in im 10.581 * * * * [progress]: [ 2 / 2 ] generating series at (2) 10.581 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in (re im) around 0 10.581 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in im 10.581 * [taylor]: Taking taylor expansion of 0.5 in im 10.581 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in im 10.581 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 10.581 * [taylor]: Taking taylor expansion of (exp (- im)) in im 10.581 * [taylor]: Taking taylor expansion of (- im) in im 10.581 * [taylor]: Taking taylor expansion of im in im 10.582 * [taylor]: Taking taylor expansion of (exp im) in im 10.582 * [taylor]: Taking taylor expansion of im in im 10.582 * [taylor]: Taking taylor expansion of (cos re) in im 10.582 * [taylor]: Taking taylor expansion of re in im 10.582 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in re 10.582 * [taylor]: Taking taylor expansion of 0.5 in re 10.582 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in re 10.582 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re 10.582 * [taylor]: Taking taylor expansion of (exp (- im)) in re 10.582 * [taylor]: Taking taylor expansion of (- im) in re 10.582 * [taylor]: Taking taylor expansion of im in re 10.582 * [taylor]: Taking taylor expansion of (exp im) in re 10.582 * [taylor]: Taking taylor expansion of im in re 10.582 * [taylor]: Taking taylor expansion of (cos re) in re 10.582 * [taylor]: Taking taylor expansion of re in re 10.582 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in re 10.582 * [taylor]: Taking taylor expansion of 0.5 in re 10.582 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in re 10.582 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re 10.582 * [taylor]: Taking taylor expansion of (exp (- im)) in re 10.582 * [taylor]: Taking taylor expansion of (- im) in re 10.582 * [taylor]: Taking taylor expansion of im in re 10.583 * [taylor]: Taking taylor expansion of (exp im) in re 10.583 * [taylor]: Taking taylor expansion of im in re 10.583 * [taylor]: Taking taylor expansion of (cos re) in re 10.583 * [taylor]: Taking taylor expansion of re in re 10.583 * [taylor]: Taking taylor expansion of (* 0.5 (- (exp (- im)) (exp im))) in im 10.583 * [taylor]: Taking taylor expansion of 0.5 in im 10.583 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 10.583 * [taylor]: Taking taylor expansion of (exp (- im)) in im 10.583 * [taylor]: Taking taylor expansion of (- im) in im 10.583 * [taylor]: Taking taylor expansion of im in im 10.583 * [taylor]: Taking taylor expansion of (exp im) in im 10.583 * [taylor]: Taking taylor expansion of im in im 10.587 * [taylor]: Taking taylor expansion of 0 in im 10.594 * [taylor]: Taking taylor expansion of (- (* 0.25 (exp im)) (* 0.25 (exp (- im)))) in im 10.594 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im 10.594 * [taylor]: Taking taylor expansion of 0.25 in im 10.594 * [taylor]: Taking taylor expansion of (exp im) in im 10.594 * [taylor]: Taking taylor expansion of im in im 10.594 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- im))) in im 10.594 * [taylor]: Taking taylor expansion of 0.25 in im 10.594 * [taylor]: Taking taylor expansion of (exp (- im)) in im 10.594 * [taylor]: Taking taylor expansion of (- im) in im 10.594 * [taylor]: Taking taylor expansion of im in im 10.603 * [taylor]: Taking taylor expansion of 0 in im 10.614 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 10.614 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 10.614 * [taylor]: Taking taylor expansion of 0.5 in im 10.614 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 10.614 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 10.614 * [taylor]: Taking taylor expansion of (/ 1 re) in im 10.614 * [taylor]: Taking taylor expansion of re in im 10.614 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 10.614 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 10.614 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 10.614 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.614 * [taylor]: Taking taylor expansion of im in im 10.614 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.615 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.615 * [taylor]: Taking taylor expansion of im in im 10.615 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 10.615 * [taylor]: Taking taylor expansion of 0.5 in re 10.615 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 10.615 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 10.615 * [taylor]: Taking taylor expansion of (/ 1 re) in re 10.615 * [taylor]: Taking taylor expansion of re in re 10.615 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re 10.615 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 10.615 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 10.615 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.615 * [taylor]: Taking taylor expansion of im in re 10.615 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 10.615 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.616 * [taylor]: Taking taylor expansion of im in re 10.616 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 10.616 * [taylor]: Taking taylor expansion of 0.5 in re 10.616 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 10.616 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 10.616 * [taylor]: Taking taylor expansion of (/ 1 re) in re 10.616 * [taylor]: Taking taylor expansion of re in re 10.616 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re 10.616 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 10.616 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 10.616 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.616 * [taylor]: Taking taylor expansion of im in re 10.616 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 10.616 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.616 * [taylor]: Taking taylor expansion of im in re 10.617 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 10.617 * [taylor]: Taking taylor expansion of 0.5 in im 10.617 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 10.617 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 10.617 * [taylor]: Taking taylor expansion of (/ 1 re) in im 10.617 * [taylor]: Taking taylor expansion of re in im 10.617 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 10.617 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 10.617 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 10.617 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.617 * [taylor]: Taking taylor expansion of im in im 10.617 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.617 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.618 * [taylor]: Taking taylor expansion of im in im 10.621 * [taylor]: Taking taylor expansion of 0 in im 10.628 * [taylor]: Taking taylor expansion of 0 in im 10.636 * [taylor]: Taking taylor expansion of 0 in im 10.637 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in (re im) around 0 10.637 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 10.637 * [taylor]: Taking taylor expansion of 0.5 in im 10.637 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 10.637 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 10.637 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.637 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.637 * [taylor]: Taking taylor expansion of im in im 10.637 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 10.637 * [taylor]: Taking taylor expansion of (/ -1 im) in im 10.637 * [taylor]: Taking taylor expansion of -1 in im 10.637 * [taylor]: Taking taylor expansion of im in im 10.638 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 10.638 * [taylor]: Taking taylor expansion of (/ -1 re) in im 10.638 * [taylor]: Taking taylor expansion of -1 in im 10.638 * [taylor]: Taking taylor expansion of re in im 10.638 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 10.638 * [taylor]: Taking taylor expansion of 0.5 in re 10.638 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 10.638 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 10.638 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 10.638 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.638 * [taylor]: Taking taylor expansion of im in re 10.638 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 10.638 * [taylor]: Taking taylor expansion of (/ -1 im) in re 10.638 * [taylor]: Taking taylor expansion of -1 in re 10.638 * [taylor]: Taking taylor expansion of im in re 10.638 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 10.638 * [taylor]: Taking taylor expansion of (/ -1 re) in re 10.638 * [taylor]: Taking taylor expansion of -1 in re 10.638 * [taylor]: Taking taylor expansion of re in re 10.639 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 10.639 * [taylor]: Taking taylor expansion of 0.5 in re 10.639 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 10.639 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 10.639 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 10.639 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.639 * [taylor]: Taking taylor expansion of im in re 10.639 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 10.639 * [taylor]: Taking taylor expansion of (/ -1 im) in re 10.639 * [taylor]: Taking taylor expansion of -1 in re 10.639 * [taylor]: Taking taylor expansion of im in re 10.639 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 10.639 * [taylor]: Taking taylor expansion of (/ -1 re) in re 10.639 * [taylor]: Taking taylor expansion of -1 in re 10.639 * [taylor]: Taking taylor expansion of re in re 10.640 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 10.640 * [taylor]: Taking taylor expansion of 0.5 in im 10.640 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 10.640 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 10.640 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.640 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.640 * [taylor]: Taking taylor expansion of im in im 10.640 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 10.640 * [taylor]: Taking taylor expansion of (/ -1 im) in im 10.640 * [taylor]: Taking taylor expansion of -1 in im 10.640 * [taylor]: Taking taylor expansion of im in im 10.640 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 10.640 * [taylor]: Taking taylor expansion of (/ -1 re) in im 10.640 * [taylor]: Taking taylor expansion of -1 in im 10.640 * [taylor]: Taking taylor expansion of re in im 10.649 * [taylor]: Taking taylor expansion of 0 in im 10.654 * [taylor]: Taking taylor expansion of 0 in im 10.661 * [taylor]: Taking taylor expansion of 0 in im 10.662 * * * [progress]: simplifying candidates 10.662 * [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)))) (- (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)) (- (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)) (- (exp im))) (* (* 0.5 (cos re)) (exp (- 0.0 im))) (* (* 0.5 (cos re)) (- (exp im))) (* (exp (- 0.0 im)) (* 0.5 (cos re))) (* (- (exp im)) (* 0.5 (cos re))) (* (exp (- 0.0 im)) (* 0.5 (cos re))) (* (- (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)))) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (exp (- 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 (- im)) (exp im)) (cos re))) (* 0.5 (* (cos re) (- (exp (* -1 im)) (exp im)))) 10.665 * * [simplify]: iteration 0 : 103 enodes (cost 679 ) 10.685 * * [simplify]: iteration 1 : 270 enodes (cost 661 ) 10.766 * * [simplify]: iteration 2 : 954 enodes (cost 568 ) 11.390 * * [simplify]: iteration 3 : 3623 enodes (cost 565 ) 12.744 * * [simplify]: iteration done : 5000 enodes (cost 565 ) 12.744 * [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)) (+ (+ (exp (+ im im)) (exp (* 2 (- 0.0 im)))) (* (exp 0.0) 1)) (- (exp im)) (- (exp (* 2 (- 0.0 im))) (exp (+ im im))) (+ (exp (- 0.0 im)) (exp im)) (+ (sqrt (exp im)) (sqrt (exp (- 0.0 im)))) (- (sqrt (exp (- 0.0 im))) (sqrt (exp im))) (- (exp (- 0.0 im)) (exp 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 (cos re)) (- (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (cos re)) (- (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)))) (pow (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3) (pow (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3) (* (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)))) (pow (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3) (sqrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))) (* (exp (- 0.0 im)) (* 0.5 (cos re))) (* (- (exp im)) (* 0.5 (cos re))) (* (exp (- 0.0 im)) (* 0.5 (cos re))) (* (- (exp im)) (* 0.5 (cos re))) (* (exp (- 0.0 im)) (* 0.5 (cos re))) (* (- (exp im)) (* 0.5 (cos re))) (* (exp (- 0.0 im)) (* 0.5 (cos re))) (* (- (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)) (* (* 0.5 (cos re)) (+ (sqrt (exp (- 0.0 im))) (sqrt (exp im)))) (* 0.5 (cos re)) (* (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 (* 2 (- 0.0 im))) (exp (+ im im)))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im)) (- (* im (- (* 0.5 (pow re 2)) 1.0)) (* 0.16666666666666666 (pow im 3))) (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) 12.744 * * * [progress]: adding candidates to table 12.858 * * [progress]: iteration 2 / 4 12.858 * * * [progress]: picking best candidate 12.866 * * * * [pick]: Picked # 12.866 * * * [progress]: localizing error 12.882 * * * [progress]: generating rewritten candidates 12.882 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 12.888 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 12.918 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 12.923 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 12.933 * * * [progress]: generating series expansions 12.933 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 12.933 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 12.933 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 12.933 * [taylor]: Taking taylor expansion of -1/3 in im 12.933 * [taylor]: Taking taylor expansion of (pow im 3) in im 12.933 * [taylor]: Taking taylor expansion of im in im 12.933 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 12.933 * [taylor]: Taking taylor expansion of -1/3 in im 12.933 * [taylor]: Taking taylor expansion of (pow im 3) in im 12.933 * [taylor]: Taking taylor expansion of im in im 12.944 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 12.945 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 12.945 * [taylor]: Taking taylor expansion of -1/3 in im 12.945 * [taylor]: Taking taylor expansion of (pow im 3) in im 12.945 * [taylor]: Taking taylor expansion of im in im 12.945 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 12.945 * [taylor]: Taking taylor expansion of -1/3 in im 12.945 * [taylor]: Taking taylor expansion of (pow im 3) in im 12.945 * [taylor]: Taking taylor expansion of im in im 12.956 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 12.956 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 12.956 * [taylor]: Taking taylor expansion of 1/3 in im 12.956 * [taylor]: Taking taylor expansion of (pow im 3) in im 12.956 * [taylor]: Taking taylor expansion of im in im 12.957 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 12.957 * [taylor]: Taking taylor expansion of 1/3 in im 12.957 * [taylor]: Taking taylor expansion of (pow im 3) in im 12.957 * [taylor]: Taking taylor expansion of im in im 12.968 * * * * [progress]: [ 2 / 4 ] generating series at (2) 12.968 * [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 12.968 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in im 12.968 * [taylor]: Taking taylor expansion of -0.5 in im 12.968 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in im 12.968 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 12.968 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 12.968 * [taylor]: Taking taylor expansion of 1/3 in im 12.968 * [taylor]: Taking taylor expansion of (pow im 3) in im 12.968 * [taylor]: Taking taylor expansion of im in im 12.968 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 12.968 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 12.968 * [taylor]: Taking taylor expansion of 1/60 in im 12.968 * [taylor]: Taking taylor expansion of (pow im 5) in im 12.968 * [taylor]: Taking taylor expansion of im in im 12.968 * [taylor]: Taking taylor expansion of (* 2 im) in im 12.968 * [taylor]: Taking taylor expansion of 2 in im 12.968 * [taylor]: Taking taylor expansion of im in im 12.968 * [taylor]: Taking taylor expansion of (cos re) in im 12.968 * [taylor]: Taking taylor expansion of re in im 12.968 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re 12.968 * [taylor]: Taking taylor expansion of -0.5 in re 12.968 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re 12.968 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 12.969 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 12.969 * [taylor]: Taking taylor expansion of 1/3 in re 12.969 * [taylor]: Taking taylor expansion of (pow im 3) in re 12.969 * [taylor]: Taking taylor expansion of im in re 12.969 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 12.969 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 12.969 * [taylor]: Taking taylor expansion of 1/60 in re 12.969 * [taylor]: Taking taylor expansion of (pow im 5) in re 12.969 * [taylor]: Taking taylor expansion of im in re 12.969 * [taylor]: Taking taylor expansion of (* 2 im) in re 12.969 * [taylor]: Taking taylor expansion of 2 in re 12.969 * [taylor]: Taking taylor expansion of im in re 12.969 * [taylor]: Taking taylor expansion of (cos re) in re 12.969 * [taylor]: Taking taylor expansion of re in re 12.969 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re 12.969 * [taylor]: Taking taylor expansion of -0.5 in re 12.969 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re 12.969 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 12.969 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 12.969 * [taylor]: Taking taylor expansion of 1/3 in re 12.969 * [taylor]: Taking taylor expansion of (pow im 3) in re 12.969 * [taylor]: Taking taylor expansion of im in re 12.969 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 12.969 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 12.969 * [taylor]: Taking taylor expansion of 1/60 in re 12.969 * [taylor]: Taking taylor expansion of (pow im 5) in re 12.969 * [taylor]: Taking taylor expansion of im in re 12.969 * [taylor]: Taking taylor expansion of (* 2 im) in re 12.969 * [taylor]: Taking taylor expansion of 2 in re 12.969 * [taylor]: Taking taylor expansion of im in re 12.969 * [taylor]: Taking taylor expansion of (cos re) in re 12.969 * [taylor]: Taking taylor expansion of re in re 12.970 * [taylor]: Taking taylor expansion of (* -0.5 (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 12.970 * [taylor]: Taking taylor expansion of -0.5 in im 12.970 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 12.970 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 12.970 * [taylor]: Taking taylor expansion of 1/3 in im 12.970 * [taylor]: Taking taylor expansion of (pow im 3) in im 12.970 * [taylor]: Taking taylor expansion of im in im 12.970 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 12.970 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 12.970 * [taylor]: Taking taylor expansion of 1/60 in im 12.970 * [taylor]: Taking taylor expansion of (pow im 5) in im 12.970 * [taylor]: Taking taylor expansion of im in im 12.970 * [taylor]: Taking taylor expansion of (* 2 im) in im 12.970 * [taylor]: Taking taylor expansion of 2 in im 12.970 * [taylor]: Taking taylor expansion of im in im 12.974 * [taylor]: Taking taylor expansion of 0 in im 12.986 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (pow im 3)) (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im))) in im 12.986 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (pow im 3)) in im 12.986 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 12.986 * [taylor]: Taking taylor expansion of (pow im 3) in im 12.986 * [taylor]: Taking taylor expansion of im in im 12.986 * [taylor]: Taking taylor expansion of (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im)) in im 12.986 * [taylor]: Taking taylor expansion of (* 0.004166666666666667 (pow im 5)) in im 12.986 * [taylor]: Taking taylor expansion of 0.004166666666666667 in im 12.986 * [taylor]: Taking taylor expansion of (pow im 5) in im 12.986 * [taylor]: Taking taylor expansion of im in im 12.986 * [taylor]: Taking taylor expansion of (* 0.5 im) in im 12.986 * [taylor]: Taking taylor expansion of 0.5 in im 12.986 * [taylor]: Taking taylor expansion of im in im 12.996 * [taylor]: Taking taylor expansion of 0 in im 13.002 * [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 13.002 * [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 13.002 * [taylor]: Taking taylor expansion of -0.5 in im 13.002 * [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 13.002 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 13.002 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 13.002 * [taylor]: Taking taylor expansion of 2 in im 13.002 * [taylor]: Taking taylor expansion of (/ 1 im) in im 13.002 * [taylor]: Taking taylor expansion of im in im 13.002 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 13.002 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 13.002 * [taylor]: Taking taylor expansion of 1/3 in im 13.002 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 13.002 * [taylor]: Taking taylor expansion of (pow im 3) in im 13.002 * [taylor]: Taking taylor expansion of im in im 13.003 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 13.003 * [taylor]: Taking taylor expansion of 1/60 in im 13.003 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 13.003 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.003 * [taylor]: Taking taylor expansion of im in im 13.004 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 13.004 * [taylor]: Taking taylor expansion of (/ 1 re) in im 13.004 * [taylor]: Taking taylor expansion of re in im 13.004 * [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 13.004 * [taylor]: Taking taylor expansion of -0.5 in re 13.004 * [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 13.004 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 13.004 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 13.004 * [taylor]: Taking taylor expansion of 2 in re 13.004 * [taylor]: Taking taylor expansion of (/ 1 im) in re 13.004 * [taylor]: Taking taylor expansion of im in re 13.004 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 13.004 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 13.004 * [taylor]: Taking taylor expansion of 1/3 in re 13.004 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 13.005 * [taylor]: Taking taylor expansion of (pow im 3) in re 13.005 * [taylor]: Taking taylor expansion of im in re 13.005 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 13.005 * [taylor]: Taking taylor expansion of 1/60 in re 13.005 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 13.005 * [taylor]: Taking taylor expansion of (pow im 5) in re 13.005 * [taylor]: Taking taylor expansion of im in re 13.005 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 13.005 * [taylor]: Taking taylor expansion of (/ 1 re) in re 13.005 * [taylor]: Taking taylor expansion of re in re 13.006 * [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 13.006 * [taylor]: Taking taylor expansion of -0.5 in re 13.006 * [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 13.006 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 13.006 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 13.006 * [taylor]: Taking taylor expansion of 2 in re 13.006 * [taylor]: Taking taylor expansion of (/ 1 im) in re 13.006 * [taylor]: Taking taylor expansion of im in re 13.006 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 13.006 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 13.006 * [taylor]: Taking taylor expansion of 1/3 in re 13.006 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 13.006 * [taylor]: Taking taylor expansion of (pow im 3) in re 13.006 * [taylor]: Taking taylor expansion of im in re 13.006 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 13.006 * [taylor]: Taking taylor expansion of 1/60 in re 13.006 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 13.006 * [taylor]: Taking taylor expansion of (pow im 5) in re 13.006 * [taylor]: Taking taylor expansion of im in re 13.006 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 13.006 * [taylor]: Taking taylor expansion of (/ 1 re) in re 13.006 * [taylor]: Taking taylor expansion of re in re 13.008 * [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 13.008 * [taylor]: Taking taylor expansion of -0.5 in im 13.008 * [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 13.008 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 13.008 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 13.008 * [taylor]: Taking taylor expansion of 2 in im 13.008 * [taylor]: Taking taylor expansion of (/ 1 im) in im 13.008 * [taylor]: Taking taylor expansion of im in im 13.009 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 13.009 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 13.009 * [taylor]: Taking taylor expansion of 1/3 in im 13.009 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 13.009 * [taylor]: Taking taylor expansion of (pow im 3) in im 13.009 * [taylor]: Taking taylor expansion of im in im 13.010 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 13.010 * [taylor]: Taking taylor expansion of 1/60 in im 13.010 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 13.010 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.010 * [taylor]: Taking taylor expansion of im in im 13.011 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 13.011 * [taylor]: Taking taylor expansion of (/ 1 re) in im 13.011 * [taylor]: Taking taylor expansion of re in im 13.015 * [taylor]: Taking taylor expansion of 0 in im 13.025 * [taylor]: Taking taylor expansion of 0 in im 13.039 * [taylor]: Taking taylor expansion of 0 in im 13.059 * [taylor]: Taking taylor expansion of 0 in im 13.075 * [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 13.075 * [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 13.075 * [taylor]: Taking taylor expansion of 0.5 in im 13.075 * [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 13.075 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 13.075 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 13.075 * [taylor]: Taking taylor expansion of 2 in im 13.075 * [taylor]: Taking taylor expansion of (/ 1 im) in im 13.075 * [taylor]: Taking taylor expansion of im in im 13.075 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 13.076 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 13.076 * [taylor]: Taking taylor expansion of 1/3 in im 13.076 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 13.076 * [taylor]: Taking taylor expansion of (pow im 3) in im 13.076 * [taylor]: Taking taylor expansion of im in im 13.076 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 13.076 * [taylor]: Taking taylor expansion of 1/60 in im 13.076 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 13.076 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.076 * [taylor]: Taking taylor expansion of im in im 13.077 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 13.077 * [taylor]: Taking taylor expansion of (/ -1 re) in im 13.077 * [taylor]: Taking taylor expansion of -1 in im 13.077 * [taylor]: Taking taylor expansion of re in im 13.077 * [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 13.077 * [taylor]: Taking taylor expansion of 0.5 in re 13.077 * [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 13.077 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 13.078 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 13.078 * [taylor]: Taking taylor expansion of 2 in re 13.078 * [taylor]: Taking taylor expansion of (/ 1 im) in re 13.078 * [taylor]: Taking taylor expansion of im in re 13.078 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 13.078 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 13.078 * [taylor]: Taking taylor expansion of 1/3 in re 13.078 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 13.078 * [taylor]: Taking taylor expansion of (pow im 3) in re 13.078 * [taylor]: Taking taylor expansion of im in re 13.078 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 13.078 * [taylor]: Taking taylor expansion of 1/60 in re 13.078 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 13.078 * [taylor]: Taking taylor expansion of (pow im 5) in re 13.078 * [taylor]: Taking taylor expansion of im in re 13.078 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 13.078 * [taylor]: Taking taylor expansion of (/ -1 re) in re 13.078 * [taylor]: Taking taylor expansion of -1 in re 13.078 * [taylor]: Taking taylor expansion of re in re 13.079 * [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 13.079 * [taylor]: Taking taylor expansion of 0.5 in re 13.079 * [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 13.079 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 13.079 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 13.079 * [taylor]: Taking taylor expansion of 2 in re 13.079 * [taylor]: Taking taylor expansion of (/ 1 im) in re 13.079 * [taylor]: Taking taylor expansion of im in re 13.079 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 13.079 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 13.079 * [taylor]: Taking taylor expansion of 1/3 in re 13.079 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 13.079 * [taylor]: Taking taylor expansion of (pow im 3) in re 13.079 * [taylor]: Taking taylor expansion of im in re 13.079 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 13.079 * [taylor]: Taking taylor expansion of 1/60 in re 13.079 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 13.079 * [taylor]: Taking taylor expansion of (pow im 5) in re 13.079 * [taylor]: Taking taylor expansion of im in re 13.079 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 13.079 * [taylor]: Taking taylor expansion of (/ -1 re) in re 13.079 * [taylor]: Taking taylor expansion of -1 in re 13.079 * [taylor]: Taking taylor expansion of re in re 13.081 * [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 13.081 * [taylor]: Taking taylor expansion of 0.5 in im 13.081 * [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 13.081 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 13.081 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 13.081 * [taylor]: Taking taylor expansion of 2 in im 13.081 * [taylor]: Taking taylor expansion of (/ 1 im) in im 13.081 * [taylor]: Taking taylor expansion of im in im 13.081 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 13.081 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 13.081 * [taylor]: Taking taylor expansion of 1/3 in im 13.081 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 13.081 * [taylor]: Taking taylor expansion of (pow im 3) in im 13.081 * [taylor]: Taking taylor expansion of im in im 13.082 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 13.082 * [taylor]: Taking taylor expansion of 1/60 in im 13.082 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 13.082 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.082 * [taylor]: Taking taylor expansion of im in im 13.083 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 13.083 * [taylor]: Taking taylor expansion of (/ -1 re) in im 13.083 * [taylor]: Taking taylor expansion of -1 in im 13.083 * [taylor]: Taking taylor expansion of re in im 13.087 * [taylor]: Taking taylor expansion of 0 in im 13.098 * [taylor]: Taking taylor expansion of 0 in im 13.112 * [taylor]: Taking taylor expansion of 0 in im 13.131 * [taylor]: Taking taylor expansion of 0 in im 13.143 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 13.143 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0 13.143 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 13.143 * [taylor]: Taking taylor expansion of 1/60 in im 13.143 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.143 * [taylor]: Taking taylor expansion of im in im 13.143 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 13.143 * [taylor]: Taking taylor expansion of 1/60 in im 13.143 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.143 * [taylor]: Taking taylor expansion of im in im 13.163 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 13.163 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 13.163 * [taylor]: Taking taylor expansion of 1/60 in im 13.163 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.163 * [taylor]: Taking taylor expansion of im in im 13.164 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 13.164 * [taylor]: Taking taylor expansion of 1/60 in im 13.164 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.164 * [taylor]: Taking taylor expansion of im in im 13.178 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 13.178 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 13.178 * [taylor]: Taking taylor expansion of -1/60 in im 13.178 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.178 * [taylor]: Taking taylor expansion of im in im 13.179 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 13.179 * [taylor]: Taking taylor expansion of -1/60 in im 13.179 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.179 * [taylor]: Taking taylor expansion of im in im 13.193 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 13.193 * [approximate]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in (im) around 0 13.193 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 13.193 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 13.193 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 13.193 * [taylor]: Taking taylor expansion of 1/3 in im 13.193 * [taylor]: Taking taylor expansion of (pow im 3) in im 13.193 * [taylor]: Taking taylor expansion of im in im 13.193 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 13.193 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 13.194 * [taylor]: Taking taylor expansion of 1/60 in im 13.194 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.194 * [taylor]: Taking taylor expansion of im in im 13.194 * [taylor]: Taking taylor expansion of (* 2 im) in im 13.194 * [taylor]: Taking taylor expansion of 2 in im 13.194 * [taylor]: Taking taylor expansion of im in im 13.194 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 13.194 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 13.194 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 13.194 * [taylor]: Taking taylor expansion of 1/3 in im 13.194 * [taylor]: Taking taylor expansion of (pow im 3) in im 13.194 * [taylor]: Taking taylor expansion of im in im 13.194 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 13.194 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 13.194 * [taylor]: Taking taylor expansion of 1/60 in im 13.194 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.194 * [taylor]: Taking taylor expansion of im in im 13.194 * [taylor]: Taking taylor expansion of (* 2 im) in im 13.194 * [taylor]: Taking taylor expansion of 2 in im 13.194 * [taylor]: Taking taylor expansion of im in im 13.206 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in (im) around 0 13.206 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 13.206 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 13.206 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 13.206 * [taylor]: Taking taylor expansion of 2 in im 13.206 * [taylor]: Taking taylor expansion of (/ 1 im) in im 13.206 * [taylor]: Taking taylor expansion of im in im 13.206 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 13.206 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 13.206 * [taylor]: Taking taylor expansion of 1/3 in im 13.206 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 13.206 * [taylor]: Taking taylor expansion of (pow im 3) in im 13.206 * [taylor]: Taking taylor expansion of im in im 13.207 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 13.207 * [taylor]: Taking taylor expansion of 1/60 in im 13.207 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 13.207 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.207 * [taylor]: Taking taylor expansion of im in im 13.208 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 13.208 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 13.208 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 13.208 * [taylor]: Taking taylor expansion of 2 in im 13.208 * [taylor]: Taking taylor expansion of (/ 1 im) in im 13.208 * [taylor]: Taking taylor expansion of im in im 13.208 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 13.208 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 13.208 * [taylor]: Taking taylor expansion of 1/3 in im 13.208 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 13.208 * [taylor]: Taking taylor expansion of (pow im 3) in im 13.208 * [taylor]: Taking taylor expansion of im in im 13.209 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 13.209 * [taylor]: Taking taylor expansion of 1/60 in im 13.209 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 13.209 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.209 * [taylor]: Taking taylor expansion of im in im 13.232 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0 13.232 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 13.233 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 13.233 * [taylor]: Taking taylor expansion of 2 in im 13.233 * [taylor]: Taking taylor expansion of (/ 1 im) in im 13.233 * [taylor]: Taking taylor expansion of im in im 13.233 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 13.233 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 13.233 * [taylor]: Taking taylor expansion of 1/3 in im 13.233 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 13.233 * [taylor]: Taking taylor expansion of (pow im 3) in im 13.233 * [taylor]: Taking taylor expansion of im in im 13.234 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 13.234 * [taylor]: Taking taylor expansion of 1/60 in im 13.234 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 13.234 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.234 * [taylor]: Taking taylor expansion of im in im 13.235 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 13.235 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 13.235 * [taylor]: Taking taylor expansion of 2 in im 13.235 * [taylor]: Taking taylor expansion of (/ 1 im) in im 13.235 * [taylor]: Taking taylor expansion of im in im 13.235 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 13.235 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 13.235 * [taylor]: Taking taylor expansion of 1/3 in im 13.235 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 13.235 * [taylor]: Taking taylor expansion of (pow im 3) in im 13.235 * [taylor]: Taking taylor expansion of im in im 13.236 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 13.236 * [taylor]: Taking taylor expansion of 1/60 in im 13.236 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 13.236 * [taylor]: Taking taylor expansion of (pow im 5) in im 13.236 * [taylor]: Taking taylor expansion of im in im 13.253 * * * [progress]: simplifying candidates 13.254 * [simplify]: Simplifying using # : (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (log (pow im 3))) (log (* -1/3 (pow im 3))) (exp (* -1/3 (pow im 3))) (* (* (* -1/3 -1/3) -1/3) (* (* (pow im 3) (pow im 3)) (pow im 3))) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im (/ 3 2))) (* (sqrt -1/3) (pow im (/ 3 2))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 (* im im)) (* -1/3 (* (cbrt (pow im 3)) (cbrt (pow im 3)))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 im) (* -1/3 (sqrt (pow im 3))) (* -1/3 1) (* -1/3 (pow im (/ 3 2))) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* -1/3 (pow im 3)) (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (+ (+ (log 0.5) (log (cos re))) (log (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (+ (log (* 0.5 (cos re))) (log (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (log (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (exp (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (cbrt (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (cos re)) (* -1/3 (pow im 3))) (* (* 0.5 (cos re)) (- (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (cos re)) (* -1/3 (pow im 3))) (* (* 0.5 (cos re)) (- (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* -1/3 (pow im 3)) (* 0.5 (cos re))) (* (- (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re))) (* (* -1/3 (pow im 3)) (* 0.5 (cos re))) (* (- (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (* 0.5 (cos re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (cos re)) 1) (* (cos re) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (cos re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (* (* 0.5 (cos re)) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (log (pow im 5))) (log (* 1/60 (pow im 5))) (exp (* 1/60 (pow im 5))) (* (* (* 1/60 1/60) 1/60) (* (* (pow im 5) (pow im 5)) (pow im 5))) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (* (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (pow im (/ 5 2))) (* (sqrt 1/60) (pow im (/ 5 2))) (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* 1/60 (pow (sqrt im) 5)) (* 1/60 (pow 1 5)) (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 1/60 (sqrt (pow im 5))) (* 1/60 1) (* 1/60 (pow im (/ 5 2))) (* (cbrt 1/60) (pow im 5)) (* (sqrt 1/60) (pow im 5)) (* 1/60 (pow im 5)) (/ (exp (* -1/3 (pow im 3))) (* (exp (* 1/60 (pow im 5))) (exp (* 2 im)))) (/ (exp (* -1/3 (pow im 3))) (exp (+ (* 1/60 (pow im 5)) (* 2 im)))) (log (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (exp (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)) (+ (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (+ (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im))) (* (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (- (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (- (+ (* 1/60 (pow im 5)) (* 2 im))) (* -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))) (- (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im))))) (- (+ (* 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)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 13.260 * * [simplify]: iteration 0 : 182 enodes (cost 1599 ) 13.312 * * [simplify]: iteration 1 : 470 enodes (cost 1493 ) 13.525 * * [simplify]: iteration 2 : 1609 enodes (cost 1316 ) 13.981 * * [simplify]: iteration done : 5001 enodes (cost 1316 ) 13.982 * [simplify]: Simplified to: (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (exp (* -1/3 (pow im 3))) (* -1/27 (pow (pow im 3) 3)) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* -1/27 (pow (pow im 3) 3)) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im 3/2)) (* (sqrt -1/3) (pow im 3/2)) (* im (* -1/3 im)) (* -1/3 (pow (sqrt im) 3)) -1/3 (* im (* -1/3 im)) (* im (* -1/3 im)) (* im (* -1/3 im)) (* -1/3 (pow (sqrt im) 3)) -1/3 (* -1/3 im) (* -1/3 (sqrt (pow im 3))) -1/3 (* -1/3 (pow im 3/2)) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* -1/3 (pow im 3)) (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (log (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (log (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (log (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (exp (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (pow (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 3) (pow (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 3) (* (cbrt (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (cbrt (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (pow (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 3) (sqrt (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (cos re)) (* -1/3 (pow im 3))) (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* 2 im))) (* (* 0.5 (cos re)) (* -1/3 (pow im 3))) (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* 2 im))) (* (* 0.5 (cos re)) (* -1/3 (pow im 3))) (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* 2 im))) (* (* 0.5 (cos re)) (* -1/3 (pow im 3))) (* (* 0.5 (cos re)) (- (* -1/60 (pow im 5)) (* 2 im))) (* (* 0.5 (cos re)) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (* (* 0.5 (cos re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* 0.5 (cos re)) (* (cos re) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (* 0.5 (cos re)) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (* 0.5 (* (cos re) (- (* 1/9 (pow im 6)) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (exp (* 1/60 (pow im 5))) (pow (* 1/60 (pow im 5)) 3) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (pow (* 1/60 (pow im 5)) 3) (sqrt (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (sqrt (pow im 5))) (* (pow im 5/2) (sqrt 1/60)) (* (pow im 5/2) (sqrt 1/60)) (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* 1/60 (pow (sqrt im) 5)) 1/60 (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 1/60 (sqrt (pow im 5))) 1/60 (* 1/60 (pow im 5/2)) (* (cbrt 1/60) (pow im 5)) (* (sqrt 1/60) (pow im 5)) (* 1/60 (pow im 5)) (exp (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (exp (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (log (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (exp (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (pow (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 3) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (pow (* -1/3 (pow im 3)) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)) (+ (* 1/9 (pow im 6)) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (- (* -1/60 (pow im 5)) (* 2 im)) (- (* 1/9 (pow im 6)) (* (+ (* 1/60 (pow im 5)) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (+ (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (- (* -1/60 (pow im 5)) (* 2 im)) (* -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))) (- (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im))))) (- (+ (* 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)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) 13.983 * * * [progress]: adding candidates to table 14.247 * * [progress]: iteration 3 / 4 14.247 * * * [progress]: picking best candidate 14.282 * * * * [pick]: Picked # 14.282 * * * [progress]: localizing error 14.297 * * * [progress]: generating rewritten candidates 14.297 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 14.303 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 14.349 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 14.354 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 14.379 * * * [progress]: generating series expansions 14.379 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 14.379 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 14.379 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 14.379 * [taylor]: Taking taylor expansion of -1/3 in im 14.379 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.379 * [taylor]: Taking taylor expansion of im in im 14.379 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 14.379 * [taylor]: Taking taylor expansion of -1/3 in im 14.379 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.379 * [taylor]: Taking taylor expansion of im in im 14.391 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 14.391 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 14.391 * [taylor]: Taking taylor expansion of -1/3 in im 14.391 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.391 * [taylor]: Taking taylor expansion of im in im 14.392 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 14.392 * [taylor]: Taking taylor expansion of -1/3 in im 14.392 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.392 * [taylor]: Taking taylor expansion of im in im 14.403 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 14.403 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 14.403 * [taylor]: Taking taylor expansion of 1/3 in im 14.403 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.403 * [taylor]: Taking taylor expansion of im in im 14.404 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 14.404 * [taylor]: Taking taylor expansion of 1/3 in im 14.404 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.404 * [taylor]: Taking taylor expansion of im in im 14.414 * * * * [progress]: [ 2 / 4 ] generating series at (2) 14.415 * [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 14.415 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in im 14.415 * [taylor]: Taking taylor expansion of -0.5 in im 14.415 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in im 14.415 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 14.415 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 14.415 * [taylor]: Taking taylor expansion of 1/3 in im 14.415 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.415 * [taylor]: Taking taylor expansion of im in im 14.415 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 14.415 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 14.415 * [taylor]: Taking taylor expansion of 1/60 in im 14.415 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.415 * [taylor]: Taking taylor expansion of im in im 14.415 * [taylor]: Taking taylor expansion of (* 2 im) in im 14.415 * [taylor]: Taking taylor expansion of 2 in im 14.415 * [taylor]: Taking taylor expansion of im in im 14.415 * [taylor]: Taking taylor expansion of (cos re) in im 14.415 * [taylor]: Taking taylor expansion of re in im 14.415 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re 14.415 * [taylor]: Taking taylor expansion of -0.5 in re 14.415 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re 14.415 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 14.415 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 14.415 * [taylor]: Taking taylor expansion of 1/3 in re 14.415 * [taylor]: Taking taylor expansion of (pow im 3) in re 14.415 * [taylor]: Taking taylor expansion of im in re 14.415 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 14.415 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 14.415 * [taylor]: Taking taylor expansion of 1/60 in re 14.415 * [taylor]: Taking taylor expansion of (pow im 5) in re 14.416 * [taylor]: Taking taylor expansion of im in re 14.416 * [taylor]: Taking taylor expansion of (* 2 im) in re 14.416 * [taylor]: Taking taylor expansion of 2 in re 14.416 * [taylor]: Taking taylor expansion of im in re 14.416 * [taylor]: Taking taylor expansion of (cos re) in re 14.416 * [taylor]: Taking taylor expansion of re in re 14.416 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re 14.416 * [taylor]: Taking taylor expansion of -0.5 in re 14.416 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re 14.416 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 14.416 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 14.416 * [taylor]: Taking taylor expansion of 1/3 in re 14.416 * [taylor]: Taking taylor expansion of (pow im 3) in re 14.416 * [taylor]: Taking taylor expansion of im in re 14.416 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 14.416 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 14.416 * [taylor]: Taking taylor expansion of 1/60 in re 14.416 * [taylor]: Taking taylor expansion of (pow im 5) in re 14.416 * [taylor]: Taking taylor expansion of im in re 14.416 * [taylor]: Taking taylor expansion of (* 2 im) in re 14.416 * [taylor]: Taking taylor expansion of 2 in re 14.416 * [taylor]: Taking taylor expansion of im in re 14.416 * [taylor]: Taking taylor expansion of (cos re) in re 14.416 * [taylor]: Taking taylor expansion of re in re 14.417 * [taylor]: Taking taylor expansion of (* -0.5 (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 14.417 * [taylor]: Taking taylor expansion of -0.5 in im 14.417 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 14.417 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 14.417 * [taylor]: Taking taylor expansion of 1/3 in im 14.417 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.417 * [taylor]: Taking taylor expansion of im in im 14.417 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 14.417 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 14.417 * [taylor]: Taking taylor expansion of 1/60 in im 14.417 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.417 * [taylor]: Taking taylor expansion of im in im 14.417 * [taylor]: Taking taylor expansion of (* 2 im) in im 14.417 * [taylor]: Taking taylor expansion of 2 in im 14.417 * [taylor]: Taking taylor expansion of im in im 14.425 * [taylor]: Taking taylor expansion of 0 in im 14.433 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (pow im 3)) (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im))) in im 14.433 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (pow im 3)) in im 14.433 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 14.433 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.433 * [taylor]: Taking taylor expansion of im in im 14.433 * [taylor]: Taking taylor expansion of (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im)) in im 14.433 * [taylor]: Taking taylor expansion of (* 0.004166666666666667 (pow im 5)) in im 14.433 * [taylor]: Taking taylor expansion of 0.004166666666666667 in im 14.433 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.434 * [taylor]: Taking taylor expansion of im in im 14.434 * [taylor]: Taking taylor expansion of (* 0.5 im) in im 14.434 * [taylor]: Taking taylor expansion of 0.5 in im 14.434 * [taylor]: Taking taylor expansion of im in im 14.444 * [taylor]: Taking taylor expansion of 0 in im 14.449 * [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 14.449 * [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 14.449 * [taylor]: Taking taylor expansion of -0.5 in im 14.450 * [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 14.450 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 14.450 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 14.450 * [taylor]: Taking taylor expansion of 2 in im 14.450 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.450 * [taylor]: Taking taylor expansion of im in im 14.450 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 14.450 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 14.450 * [taylor]: Taking taylor expansion of 1/3 in im 14.450 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 14.450 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.450 * [taylor]: Taking taylor expansion of im in im 14.451 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 14.451 * [taylor]: Taking taylor expansion of 1/60 in im 14.451 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 14.451 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.451 * [taylor]: Taking taylor expansion of im in im 14.452 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 14.452 * [taylor]: Taking taylor expansion of (/ 1 re) in im 14.452 * [taylor]: Taking taylor expansion of re in im 14.452 * [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 14.452 * [taylor]: Taking taylor expansion of -0.5 in re 14.452 * [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 14.452 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 14.452 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 14.452 * [taylor]: Taking taylor expansion of 2 in re 14.452 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.452 * [taylor]: Taking taylor expansion of im in re 14.452 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 14.452 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 14.452 * [taylor]: Taking taylor expansion of 1/3 in re 14.452 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 14.452 * [taylor]: Taking taylor expansion of (pow im 3) in re 14.452 * [taylor]: Taking taylor expansion of im in re 14.452 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 14.452 * [taylor]: Taking taylor expansion of 1/60 in re 14.452 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 14.452 * [taylor]: Taking taylor expansion of (pow im 5) in re 14.452 * [taylor]: Taking taylor expansion of im in re 14.453 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 14.453 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.453 * [taylor]: Taking taylor expansion of re in re 14.453 * [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 14.453 * [taylor]: Taking taylor expansion of -0.5 in re 14.453 * [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 14.453 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 14.453 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 14.453 * [taylor]: Taking taylor expansion of 2 in re 14.453 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.453 * [taylor]: Taking taylor expansion of im in re 14.453 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 14.453 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 14.453 * [taylor]: Taking taylor expansion of 1/3 in re 14.453 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 14.453 * [taylor]: Taking taylor expansion of (pow im 3) in re 14.453 * [taylor]: Taking taylor expansion of im in re 14.453 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 14.453 * [taylor]: Taking taylor expansion of 1/60 in re 14.453 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 14.453 * [taylor]: Taking taylor expansion of (pow im 5) in re 14.453 * [taylor]: Taking taylor expansion of im in re 14.454 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 14.454 * [taylor]: Taking taylor expansion of (/ 1 re) in re 14.454 * [taylor]: Taking taylor expansion of re in re 14.455 * [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 14.455 * [taylor]: Taking taylor expansion of -0.5 in im 14.455 * [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 14.455 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 14.455 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 14.455 * [taylor]: Taking taylor expansion of 2 in im 14.455 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.455 * [taylor]: Taking taylor expansion of im in im 14.455 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 14.456 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 14.456 * [taylor]: Taking taylor expansion of 1/3 in im 14.456 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 14.456 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.456 * [taylor]: Taking taylor expansion of im in im 14.456 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 14.456 * [taylor]: Taking taylor expansion of 1/60 in im 14.456 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 14.456 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.456 * [taylor]: Taking taylor expansion of im in im 14.457 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 14.457 * [taylor]: Taking taylor expansion of (/ 1 re) in im 14.457 * [taylor]: Taking taylor expansion of re in im 14.462 * [taylor]: Taking taylor expansion of 0 in im 14.472 * [taylor]: Taking taylor expansion of 0 in im 14.486 * [taylor]: Taking taylor expansion of 0 in im 14.505 * [taylor]: Taking taylor expansion of 0 in im 14.521 * [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 14.521 * [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 14.521 * [taylor]: Taking taylor expansion of 0.5 in im 14.521 * [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 14.521 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 14.521 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 14.521 * [taylor]: Taking taylor expansion of 2 in im 14.522 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.522 * [taylor]: Taking taylor expansion of im in im 14.522 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 14.522 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 14.522 * [taylor]: Taking taylor expansion of 1/3 in im 14.522 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 14.522 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.522 * [taylor]: Taking taylor expansion of im in im 14.523 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 14.523 * [taylor]: Taking taylor expansion of 1/60 in im 14.523 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 14.523 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.523 * [taylor]: Taking taylor expansion of im in im 14.524 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 14.524 * [taylor]: Taking taylor expansion of (/ -1 re) in im 14.524 * [taylor]: Taking taylor expansion of -1 in im 14.524 * [taylor]: Taking taylor expansion of re in im 14.524 * [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 14.524 * [taylor]: Taking taylor expansion of 0.5 in re 14.524 * [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 14.524 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 14.524 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 14.524 * [taylor]: Taking taylor expansion of 2 in re 14.524 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.524 * [taylor]: Taking taylor expansion of im in re 14.524 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 14.524 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 14.524 * [taylor]: Taking taylor expansion of 1/3 in re 14.524 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 14.524 * [taylor]: Taking taylor expansion of (pow im 3) in re 14.524 * [taylor]: Taking taylor expansion of im in re 14.524 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 14.524 * [taylor]: Taking taylor expansion of 1/60 in re 14.524 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 14.524 * [taylor]: Taking taylor expansion of (pow im 5) in re 14.524 * [taylor]: Taking taylor expansion of im in re 14.525 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 14.525 * [taylor]: Taking taylor expansion of (/ -1 re) in re 14.525 * [taylor]: Taking taylor expansion of -1 in re 14.525 * [taylor]: Taking taylor expansion of re in re 14.525 * [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 14.525 * [taylor]: Taking taylor expansion of 0.5 in re 14.525 * [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 14.525 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 14.525 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 14.525 * [taylor]: Taking taylor expansion of 2 in re 14.525 * [taylor]: Taking taylor expansion of (/ 1 im) in re 14.525 * [taylor]: Taking taylor expansion of im in re 14.525 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 14.525 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 14.525 * [taylor]: Taking taylor expansion of 1/3 in re 14.525 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 14.525 * [taylor]: Taking taylor expansion of (pow im 3) in re 14.525 * [taylor]: Taking taylor expansion of im in re 14.525 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 14.525 * [taylor]: Taking taylor expansion of 1/60 in re 14.526 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 14.526 * [taylor]: Taking taylor expansion of (pow im 5) in re 14.526 * [taylor]: Taking taylor expansion of im in re 14.526 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 14.526 * [taylor]: Taking taylor expansion of (/ -1 re) in re 14.526 * [taylor]: Taking taylor expansion of -1 in re 14.526 * [taylor]: Taking taylor expansion of re in re 14.527 * [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 14.527 * [taylor]: Taking taylor expansion of 0.5 in im 14.527 * [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 14.527 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 14.527 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 14.527 * [taylor]: Taking taylor expansion of 2 in im 14.527 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.527 * [taylor]: Taking taylor expansion of im in im 14.528 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 14.528 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 14.528 * [taylor]: Taking taylor expansion of 1/3 in im 14.528 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 14.528 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.528 * [taylor]: Taking taylor expansion of im in im 14.528 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 14.528 * [taylor]: Taking taylor expansion of 1/60 in im 14.529 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 14.529 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.529 * [taylor]: Taking taylor expansion of im in im 14.529 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 14.529 * [taylor]: Taking taylor expansion of (/ -1 re) in im 14.529 * [taylor]: Taking taylor expansion of -1 in im 14.529 * [taylor]: Taking taylor expansion of re in im 14.534 * [taylor]: Taking taylor expansion of 0 in im 14.544 * [taylor]: Taking taylor expansion of 0 in im 14.558 * [taylor]: Taking taylor expansion of 0 in im 14.577 * [taylor]: Taking taylor expansion of 0 in im 14.588 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 14.588 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0 14.588 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 14.588 * [taylor]: Taking taylor expansion of 1/60 in im 14.588 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.588 * [taylor]: Taking taylor expansion of im in im 14.588 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 14.588 * [taylor]: Taking taylor expansion of 1/60 in im 14.588 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.588 * [taylor]: Taking taylor expansion of im in im 14.608 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 14.608 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 14.608 * [taylor]: Taking taylor expansion of 1/60 in im 14.608 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.608 * [taylor]: Taking taylor expansion of im in im 14.609 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 14.609 * [taylor]: Taking taylor expansion of 1/60 in im 14.609 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.609 * [taylor]: Taking taylor expansion of im in im 14.624 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 14.624 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 14.624 * [taylor]: Taking taylor expansion of -1/60 in im 14.624 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.624 * [taylor]: Taking taylor expansion of im in im 14.625 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 14.625 * [taylor]: Taking taylor expansion of -1/60 in im 14.625 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.625 * [taylor]: Taking taylor expansion of im in im 14.639 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 14.639 * [approximate]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in (im) around 0 14.639 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 14.639 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 14.639 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 14.639 * [taylor]: Taking taylor expansion of 1/3 in im 14.639 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.639 * [taylor]: Taking taylor expansion of im in im 14.640 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 14.640 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 14.640 * [taylor]: Taking taylor expansion of 1/60 in im 14.640 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.640 * [taylor]: Taking taylor expansion of im in im 14.640 * [taylor]: Taking taylor expansion of (* 2 im) in im 14.640 * [taylor]: Taking taylor expansion of 2 in im 14.640 * [taylor]: Taking taylor expansion of im in im 14.640 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 14.640 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 14.640 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 14.640 * [taylor]: Taking taylor expansion of 1/3 in im 14.640 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.640 * [taylor]: Taking taylor expansion of im in im 14.640 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 14.640 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 14.640 * [taylor]: Taking taylor expansion of 1/60 in im 14.640 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.640 * [taylor]: Taking taylor expansion of im in im 14.640 * [taylor]: Taking taylor expansion of (* 2 im) in im 14.640 * [taylor]: Taking taylor expansion of 2 in im 14.640 * [taylor]: Taking taylor expansion of im in im 14.652 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in (im) around 0 14.652 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 14.652 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 14.652 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 14.652 * [taylor]: Taking taylor expansion of 2 in im 14.652 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.652 * [taylor]: Taking taylor expansion of im in im 14.652 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 14.652 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 14.652 * [taylor]: Taking taylor expansion of 1/3 in im 14.652 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 14.652 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.652 * [taylor]: Taking taylor expansion of im in im 14.653 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 14.653 * [taylor]: Taking taylor expansion of 1/60 in im 14.653 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 14.653 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.653 * [taylor]: Taking taylor expansion of im in im 14.654 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 14.654 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 14.654 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 14.654 * [taylor]: Taking taylor expansion of 2 in im 14.654 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.654 * [taylor]: Taking taylor expansion of im in im 14.654 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 14.654 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 14.654 * [taylor]: Taking taylor expansion of 1/3 in im 14.654 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 14.654 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.654 * [taylor]: Taking taylor expansion of im in im 14.655 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 14.655 * [taylor]: Taking taylor expansion of 1/60 in im 14.655 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 14.655 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.655 * [taylor]: Taking taylor expansion of im in im 14.679 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0 14.679 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 14.679 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 14.680 * [taylor]: Taking taylor expansion of 2 in im 14.680 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.680 * [taylor]: Taking taylor expansion of im in im 14.680 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 14.680 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 14.680 * [taylor]: Taking taylor expansion of 1/3 in im 14.680 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 14.680 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.680 * [taylor]: Taking taylor expansion of im in im 14.681 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 14.681 * [taylor]: Taking taylor expansion of 1/60 in im 14.681 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 14.681 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.681 * [taylor]: Taking taylor expansion of im in im 14.682 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 14.682 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 14.682 * [taylor]: Taking taylor expansion of 2 in im 14.682 * [taylor]: Taking taylor expansion of (/ 1 im) in im 14.682 * [taylor]: Taking taylor expansion of im in im 14.682 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 14.682 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 14.682 * [taylor]: Taking taylor expansion of 1/3 in im 14.682 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 14.682 * [taylor]: Taking taylor expansion of (pow im 3) in im 14.682 * [taylor]: Taking taylor expansion of im in im 14.683 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 14.683 * [taylor]: Taking taylor expansion of 1/60 in im 14.683 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 14.683 * [taylor]: Taking taylor expansion of (pow im 5) in im 14.683 * [taylor]: Taking taylor expansion of im in im 14.700 * * * [progress]: simplifying candidates 14.702 * [simplify]: Simplifying using # : (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (log (pow im 3))) (log (* -1/3 (pow im 3))) (exp (* -1/3 (pow im 3))) (* (* (* -1/3 -1/3) -1/3) (* (* (pow im 3) (pow im 3)) (pow im 3))) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im (/ 3 2))) (* (sqrt -1/3) (pow im (/ 3 2))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 (* im im)) (* -1/3 (* (cbrt (pow im 3)) (cbrt (pow im 3)))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 im) (* -1/3 (sqrt (pow im 3))) (* -1/3 1) (* -1/3 (pow im (/ 3 2))) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* -1/3 (pow im 3)) (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (+ (+ (log 0.5) (log (cos re))) (log (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (+ (log (* 0.5 (cos re))) (log (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (log (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (exp (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* (cbrt (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (cbrt (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))))) (cbrt (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* (* (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (sqrt (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (sqrt (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* (* 0.5 (cos re)) (- (* 2 im))) (* (* 0.5 (cos re)) (* -1/3 (pow im 3))) (* (* 0.5 (cos re)) (- (- (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (* -1/3 (pow im 3))) (* (* 0.5 (cos re)) (- (- (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* (* 0.5 (cos re)) (- (* 2 im))) (* (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 0.5 (cos re))) (* (- (* 2 im)) (* 0.5 (cos re))) (* (* -1/3 (pow im 3)) (* 0.5 (cos re))) (* (- (- (* 1/60 (pow im 5))) (* 2 im)) (* 0.5 (cos re))) (* (* -1/3 (pow im 3)) (* 0.5 (cos re))) (* (- (- (* 1/60 (pow im 5))) (* 2 im)) (* 0.5 (cos re))) (* (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 0.5 (cos re))) (* (- (* 2 im)) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* (cbrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (cbrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))))) (* (* 0.5 (cos re)) (sqrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* (* 0.5 (cos re)) 1) (* (cos re) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (- (pow (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) 3) (pow (* 2 im) 3))) (* (* 0.5 (cos re)) (- (* (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* (* 2 im) (* 2 im)))) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (log (pow im 5))) (log (* 1/60 (pow im 5))) (exp (* 1/60 (pow im 5))) (* (* (* 1/60 1/60) 1/60) (* (* (pow im 5) (pow im 5)) (pow im 5))) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (* (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (pow im (/ 5 2))) (* (sqrt 1/60) (pow im (/ 5 2))) (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* 1/60 (pow (sqrt im) 5)) (* 1/60 (pow 1 5)) (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 1/60 (sqrt (pow im 5))) (* 1/60 1) (* 1/60 (pow im (/ 5 2))) (* (cbrt 1/60) (pow im 5)) (* (sqrt 1/60) (pow im 5)) (* 1/60 (pow im 5)) (/ (/ (exp (* -1/3 (pow im 3))) (exp (* 1/60 (pow im 5)))) (exp (* 2 im))) (/ (exp (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))) (exp (* 2 im))) (log (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (exp (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (* (cbrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (cbrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (cbrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (sqrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (sqrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (- (pow (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) 3) (pow (* 2 im) 3)) (+ (* (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))) (+ (* (* 2 im) (* 2 im)) (* (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (- (* 2 im)) (- (* (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* (* 2 im) (* 2 im))) (+ (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) (- (- (* 1/60 (pow im 5))) (* 2 im)) (- (- (* 1/60 (pow im 5))) (* 2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)) (- (* 2 im)) (* -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))) (- (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im))))) (- (+ (* 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)) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) 14.707 * * [simplify]: iteration 0 : 189 enodes (cost 1705 ) 14.763 * * [simplify]: iteration 1 : 491 enodes (cost 1611 ) 14.977 * * [simplify]: iteration 2 : 1626 enodes (cost 1436 ) 15.465 * * [simplify]: iteration done : 5000 enodes (cost 1436 ) 15.466 * [simplify]: Simplified to: (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (exp (* -1/3 (pow im 3))) (pow (* -1/3 (pow im 3)) 3) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (pow (* -1/3 (pow im 3)) 3) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im 3/2)) (* (sqrt -1/3) (pow im 3/2)) (* (* -1/3 im) im) (* -1/3 (pow (sqrt im) 3)) -1/3 (* (* -1/3 im) im) (* (* -1/3 im) im) (* (* -1/3 im) im) (* -1/3 (pow (sqrt im) 3)) -1/3 (* -1/3 im) (* -1/3 (sqrt (pow im 3))) -1/3 (* -1/3 (pow im 3/2)) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* (pow im 3) -1/3) (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (log (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (log (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (log (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (exp (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (pow (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) 3) (pow (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) 3) (* (cbrt (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (cbrt (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))))) (cbrt (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (pow (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) 3) (sqrt (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (sqrt (* (* 0.5 (cos re)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 0.5 (* (cos re) (* -2 im))) (* (* -1/3 (pow im 3)) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (+ (* -1/60 (pow im 5)) (* -2 im))) (* (* -1/3 (pow im 3)) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (+ (* -1/60 (pow im 5)) (* -2 im))) (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 0.5 (* (cos re) (* -2 im))) (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 0.5 (* (cos re) (* -2 im))) (* (* -1/3 (pow im 3)) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (+ (* -1/60 (pow im 5)) (* -2 im))) (* (* -1/3 (pow im 3)) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (+ (* -1/60 (pow im 5)) (* -2 im))) (* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 0.5 (* (cos re) (* -2 im))) (* (* 0.5 (cos re)) (* (cbrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (cbrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))))) (* (* 0.5 (cos re)) (sqrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* 0.5 (cos re)) (* (cos re) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (- (pow (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) 3) (pow (* 2 im) 3))) (* 0.5 (* (cos re) (- (* (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 4 (* im im))))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (exp (* 1/60 (pow im 5))) (pow (* 1/60 (pow im 5)) 3) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (pow (* 1/60 (pow im 5)) 3) (sqrt (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (pow im 5/2)) (* (sqrt 1/60) (pow im 5/2)) (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* 1/60 (pow (sqrt im) 5)) 1/60 (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 1/60 (sqrt (pow im 5))) 1/60 (* 1/60 (pow im 5/2)) (* (cbrt 1/60) (pow im 5)) (* (sqrt 1/60) (pow im 5)) (* 1/60 (pow im 5)) (exp (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (exp (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (log (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (exp (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (* (cbrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (cbrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (cbrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (pow (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 3) (sqrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (sqrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (- (pow (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) 3) (pow (* 2 im) 3)) (+ (* (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* (* 2 im) (+ (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* -2 im) (- (* (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 4 (* im im))) (+ (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) (+ (* -1/60 (pow im 5)) (* -2 im)) (+ (* -1/60 (pow im 5)) (* -2 im)) (+ (* 1/60 (pow im 5)) (* 2 im)) (* -2 im) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im))) (- (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im))))) (- (+ (* 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)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 15.466 * * * [progress]: adding candidates to table 15.743 * * [progress]: iteration 4 / 4 15.743 * * * [progress]: picking best candidate 15.773 * * * * [pick]: Picked # 15.773 * * * [progress]: localizing error 15.790 * * * [progress]: generating rewritten candidates 15.790 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 15.791 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1) 15.798 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 15.849 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 15.857 * * * [progress]: generating series expansions 15.857 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 15.858 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 15.858 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 15.858 * [taylor]: Taking taylor expansion of -1/3 in im 15.858 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.858 * [taylor]: Taking taylor expansion of im in im 15.858 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 15.858 * [taylor]: Taking taylor expansion of -1/3 in im 15.858 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.858 * [taylor]: Taking taylor expansion of im in im 15.870 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 15.870 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 15.870 * [taylor]: Taking taylor expansion of -1/3 in im 15.870 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.870 * [taylor]: Taking taylor expansion of im in im 15.871 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 15.871 * [taylor]: Taking taylor expansion of -1/3 in im 15.871 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.871 * [taylor]: Taking taylor expansion of im in im 15.882 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 15.882 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 15.882 * [taylor]: Taking taylor expansion of 1/3 in im 15.882 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.882 * [taylor]: Taking taylor expansion of im in im 15.883 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 15.883 * [taylor]: Taking taylor expansion of 1/3 in im 15.883 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.883 * [taylor]: Taking taylor expansion of im in im 15.894 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1) 15.894 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 15.894 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 15.894 * [taylor]: Taking taylor expansion of -1/3 in im 15.894 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.894 * [taylor]: Taking taylor expansion of im in im 15.894 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 15.894 * [taylor]: Taking taylor expansion of -1/3 in im 15.894 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.894 * [taylor]: Taking taylor expansion of im in im 15.910 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 15.910 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 15.910 * [taylor]: Taking taylor expansion of -1/3 in im 15.910 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.910 * [taylor]: Taking taylor expansion of im in im 15.911 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 15.911 * [taylor]: Taking taylor expansion of -1/3 in im 15.911 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.911 * [taylor]: Taking taylor expansion of im in im 15.923 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 15.923 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 15.923 * [taylor]: Taking taylor expansion of 1/3 in im 15.923 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.923 * [taylor]: Taking taylor expansion of im in im 15.923 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 15.924 * [taylor]: Taking taylor expansion of 1/3 in im 15.924 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.924 * [taylor]: Taking taylor expansion of im in im 15.934 * * * * [progress]: [ 3 / 4 ] generating series at (2) 15.935 * [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 15.935 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in im 15.935 * [taylor]: Taking taylor expansion of -0.5 in im 15.935 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in im 15.935 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 15.935 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 15.935 * [taylor]: Taking taylor expansion of 1/3 in im 15.935 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.935 * [taylor]: Taking taylor expansion of im in im 15.935 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 15.935 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 15.935 * [taylor]: Taking taylor expansion of 1/60 in im 15.935 * [taylor]: Taking taylor expansion of (pow im 5) in im 15.935 * [taylor]: Taking taylor expansion of im in im 15.935 * [taylor]: Taking taylor expansion of (* 2 im) in im 15.935 * [taylor]: Taking taylor expansion of 2 in im 15.935 * [taylor]: Taking taylor expansion of im in im 15.935 * [taylor]: Taking taylor expansion of (cos re) in im 15.935 * [taylor]: Taking taylor expansion of re in im 15.935 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re 15.935 * [taylor]: Taking taylor expansion of -0.5 in re 15.935 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re 15.935 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 15.935 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 15.935 * [taylor]: Taking taylor expansion of 1/3 in re 15.935 * [taylor]: Taking taylor expansion of (pow im 3) in re 15.935 * [taylor]: Taking taylor expansion of im in re 15.935 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 15.935 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 15.935 * [taylor]: Taking taylor expansion of 1/60 in re 15.935 * [taylor]: Taking taylor expansion of (pow im 5) in re 15.935 * [taylor]: Taking taylor expansion of im in re 15.935 * [taylor]: Taking taylor expansion of (* 2 im) in re 15.935 * [taylor]: Taking taylor expansion of 2 in re 15.935 * [taylor]: Taking taylor expansion of im in re 15.935 * [taylor]: Taking taylor expansion of (cos re) in re 15.935 * [taylor]: Taking taylor expansion of re in re 15.935 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re 15.935 * [taylor]: Taking taylor expansion of -0.5 in re 15.935 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re 15.935 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 15.936 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 15.936 * [taylor]: Taking taylor expansion of 1/3 in re 15.936 * [taylor]: Taking taylor expansion of (pow im 3) in re 15.936 * [taylor]: Taking taylor expansion of im in re 15.936 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 15.936 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 15.936 * [taylor]: Taking taylor expansion of 1/60 in re 15.936 * [taylor]: Taking taylor expansion of (pow im 5) in re 15.936 * [taylor]: Taking taylor expansion of im in re 15.936 * [taylor]: Taking taylor expansion of (* 2 im) in re 15.936 * [taylor]: Taking taylor expansion of 2 in re 15.936 * [taylor]: Taking taylor expansion of im in re 15.936 * [taylor]: Taking taylor expansion of (cos re) in re 15.936 * [taylor]: Taking taylor expansion of re in re 15.937 * [taylor]: Taking taylor expansion of (* -0.5 (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 15.937 * [taylor]: Taking taylor expansion of -0.5 in im 15.937 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 15.937 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 15.937 * [taylor]: Taking taylor expansion of 1/3 in im 15.937 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.937 * [taylor]: Taking taylor expansion of im in im 15.937 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 15.937 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 15.937 * [taylor]: Taking taylor expansion of 1/60 in im 15.937 * [taylor]: Taking taylor expansion of (pow im 5) in im 15.937 * [taylor]: Taking taylor expansion of im in im 15.937 * [taylor]: Taking taylor expansion of (* 2 im) in im 15.937 * [taylor]: Taking taylor expansion of 2 in im 15.937 * [taylor]: Taking taylor expansion of im in im 15.941 * [taylor]: Taking taylor expansion of 0 in im 15.950 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (pow im 3)) (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im))) in im 15.950 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (pow im 3)) in im 15.950 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 15.950 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.950 * [taylor]: Taking taylor expansion of im in im 15.950 * [taylor]: Taking taylor expansion of (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im)) in im 15.950 * [taylor]: Taking taylor expansion of (* 0.004166666666666667 (pow im 5)) in im 15.950 * [taylor]: Taking taylor expansion of 0.004166666666666667 in im 15.950 * [taylor]: Taking taylor expansion of (pow im 5) in im 15.950 * [taylor]: Taking taylor expansion of im in im 15.950 * [taylor]: Taking taylor expansion of (* 0.5 im) in im 15.950 * [taylor]: Taking taylor expansion of 0.5 in im 15.950 * [taylor]: Taking taylor expansion of im in im 15.960 * [taylor]: Taking taylor expansion of 0 in im 15.967 * [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 15.967 * [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 15.967 * [taylor]: Taking taylor expansion of -0.5 in im 15.967 * [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 15.967 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 15.967 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 15.967 * [taylor]: Taking taylor expansion of 2 in im 15.967 * [taylor]: Taking taylor expansion of (/ 1 im) in im 15.967 * [taylor]: Taking taylor expansion of im in im 15.967 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 15.967 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 15.967 * [taylor]: Taking taylor expansion of 1/3 in im 15.967 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 15.967 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.967 * [taylor]: Taking taylor expansion of im in im 15.968 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 15.968 * [taylor]: Taking taylor expansion of 1/60 in im 15.968 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 15.968 * [taylor]: Taking taylor expansion of (pow im 5) in im 15.968 * [taylor]: Taking taylor expansion of im in im 15.969 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 15.969 * [taylor]: Taking taylor expansion of (/ 1 re) in im 15.969 * [taylor]: Taking taylor expansion of re in im 15.969 * [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 15.969 * [taylor]: Taking taylor expansion of -0.5 in re 15.969 * [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 15.969 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 15.969 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 15.969 * [taylor]: Taking taylor expansion of 2 in re 15.969 * [taylor]: Taking taylor expansion of (/ 1 im) in re 15.969 * [taylor]: Taking taylor expansion of im in re 15.969 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 15.969 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 15.969 * [taylor]: Taking taylor expansion of 1/3 in re 15.969 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 15.969 * [taylor]: Taking taylor expansion of (pow im 3) in re 15.969 * [taylor]: Taking taylor expansion of im in re 15.970 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 15.970 * [taylor]: Taking taylor expansion of 1/60 in re 15.970 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 15.970 * [taylor]: Taking taylor expansion of (pow im 5) in re 15.970 * [taylor]: Taking taylor expansion of im in re 15.970 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 15.970 * [taylor]: Taking taylor expansion of (/ 1 re) in re 15.970 * [taylor]: Taking taylor expansion of re in re 15.970 * [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 15.970 * [taylor]: Taking taylor expansion of -0.5 in re 15.970 * [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 15.970 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 15.970 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 15.970 * [taylor]: Taking taylor expansion of 2 in re 15.970 * [taylor]: Taking taylor expansion of (/ 1 im) in re 15.970 * [taylor]: Taking taylor expansion of im in re 15.970 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 15.970 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 15.970 * [taylor]: Taking taylor expansion of 1/3 in re 15.970 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 15.970 * [taylor]: Taking taylor expansion of (pow im 3) in re 15.971 * [taylor]: Taking taylor expansion of im in re 15.971 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 15.971 * [taylor]: Taking taylor expansion of 1/60 in re 15.971 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 15.971 * [taylor]: Taking taylor expansion of (pow im 5) in re 15.971 * [taylor]: Taking taylor expansion of im in re 15.971 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 15.971 * [taylor]: Taking taylor expansion of (/ 1 re) in re 15.971 * [taylor]: Taking taylor expansion of re in re 15.972 * [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 15.972 * [taylor]: Taking taylor expansion of -0.5 in im 15.972 * [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 15.972 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 15.973 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 15.973 * [taylor]: Taking taylor expansion of 2 in im 15.973 * [taylor]: Taking taylor expansion of (/ 1 im) in im 15.973 * [taylor]: Taking taylor expansion of im in im 15.973 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 15.973 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 15.973 * [taylor]: Taking taylor expansion of 1/3 in im 15.973 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 15.973 * [taylor]: Taking taylor expansion of (pow im 3) in im 15.973 * [taylor]: Taking taylor expansion of im in im 15.974 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 15.974 * [taylor]: Taking taylor expansion of 1/60 in im 15.974 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 15.974 * [taylor]: Taking taylor expansion of (pow im 5) in im 15.974 * [taylor]: Taking taylor expansion of im in im 15.975 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 15.975 * [taylor]: Taking taylor expansion of (/ 1 re) in im 15.975 * [taylor]: Taking taylor expansion of re in im 15.979 * [taylor]: Taking taylor expansion of 0 in im 15.994 * [taylor]: Taking taylor expansion of 0 in im 16.009 * [taylor]: Taking taylor expansion of 0 in im 16.028 * [taylor]: Taking taylor expansion of 0 in im 16.040 * [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 16.040 * [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 16.040 * [taylor]: Taking taylor expansion of 0.5 in im 16.040 * [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 16.040 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 16.040 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 16.040 * [taylor]: Taking taylor expansion of 2 in im 16.040 * [taylor]: Taking taylor expansion of (/ 1 im) in im 16.040 * [taylor]: Taking taylor expansion of im in im 16.040 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 16.040 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 16.040 * [taylor]: Taking taylor expansion of 1/3 in im 16.040 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 16.040 * [taylor]: Taking taylor expansion of (pow im 3) in im 16.040 * [taylor]: Taking taylor expansion of im in im 16.041 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 16.041 * [taylor]: Taking taylor expansion of 1/60 in im 16.041 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 16.041 * [taylor]: Taking taylor expansion of (pow im 5) in im 16.041 * [taylor]: Taking taylor expansion of im in im 16.042 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 16.042 * [taylor]: Taking taylor expansion of (/ -1 re) in im 16.042 * [taylor]: Taking taylor expansion of -1 in im 16.042 * [taylor]: Taking taylor expansion of re in im 16.042 * [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 16.042 * [taylor]: Taking taylor expansion of 0.5 in re 16.042 * [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 16.042 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 16.042 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 16.042 * [taylor]: Taking taylor expansion of 2 in re 16.042 * [taylor]: Taking taylor expansion of (/ 1 im) in re 16.042 * [taylor]: Taking taylor expansion of im in re 16.042 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 16.042 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 16.042 * [taylor]: Taking taylor expansion of 1/3 in re 16.042 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 16.042 * [taylor]: Taking taylor expansion of (pow im 3) in re 16.042 * [taylor]: Taking taylor expansion of im in re 16.042 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 16.043 * [taylor]: Taking taylor expansion of 1/60 in re 16.043 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 16.043 * [taylor]: Taking taylor expansion of (pow im 5) in re 16.043 * [taylor]: Taking taylor expansion of im in re 16.043 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 16.043 * [taylor]: Taking taylor expansion of (/ -1 re) in re 16.043 * [taylor]: Taking taylor expansion of -1 in re 16.043 * [taylor]: Taking taylor expansion of re in re 16.043 * [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 16.043 * [taylor]: Taking taylor expansion of 0.5 in re 16.043 * [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 16.043 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 16.043 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 16.043 * [taylor]: Taking taylor expansion of 2 in re 16.043 * [taylor]: Taking taylor expansion of (/ 1 im) in re 16.043 * [taylor]: Taking taylor expansion of im in re 16.043 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 16.043 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 16.043 * [taylor]: Taking taylor expansion of 1/3 in re 16.043 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 16.043 * [taylor]: Taking taylor expansion of (pow im 3) in re 16.043 * [taylor]: Taking taylor expansion of im in re 16.044 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 16.044 * [taylor]: Taking taylor expansion of 1/60 in re 16.044 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 16.044 * [taylor]: Taking taylor expansion of (pow im 5) in re 16.044 * [taylor]: Taking taylor expansion of im in re 16.044 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 16.044 * [taylor]: Taking taylor expansion of (/ -1 re) in re 16.044 * [taylor]: Taking taylor expansion of -1 in re 16.044 * [taylor]: Taking taylor expansion of re in re 16.045 * [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 16.045 * [taylor]: Taking taylor expansion of 0.5 in im 16.045 * [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 16.045 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 16.045 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 16.046 * [taylor]: Taking taylor expansion of 2 in im 16.046 * [taylor]: Taking taylor expansion of (/ 1 im) in im 16.046 * [taylor]: Taking taylor expansion of im in im 16.046 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 16.046 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 16.046 * [taylor]: Taking taylor expansion of 1/3 in im 16.046 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 16.046 * [taylor]: Taking taylor expansion of (pow im 3) in im 16.046 * [taylor]: Taking taylor expansion of im in im 16.047 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 16.047 * [taylor]: Taking taylor expansion of 1/60 in im 16.047 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 16.047 * [taylor]: Taking taylor expansion of (pow im 5) in im 16.047 * [taylor]: Taking taylor expansion of im in im 16.048 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 16.048 * [taylor]: Taking taylor expansion of (/ -1 re) in im 16.048 * [taylor]: Taking taylor expansion of -1 in im 16.048 * [taylor]: Taking taylor expansion of re in im 16.052 * [taylor]: Taking taylor expansion of 0 in im 16.063 * [taylor]: Taking taylor expansion of 0 in im 16.082 * [taylor]: Taking taylor expansion of 0 in im 16.102 * [taylor]: Taking taylor expansion of 0 in im 16.113 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 16.113 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0 16.113 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 16.113 * [taylor]: Taking taylor expansion of 1/60 in im 16.113 * [taylor]: Taking taylor expansion of (pow im 5) in im 16.113 * [taylor]: Taking taylor expansion of im in im 16.113 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 16.113 * [taylor]: Taking taylor expansion of 1/60 in im 16.113 * [taylor]: Taking taylor expansion of (pow im 5) in im 16.113 * [taylor]: Taking taylor expansion of im in im 16.128 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 16.128 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 16.128 * [taylor]: Taking taylor expansion of 1/60 in im 16.128 * [taylor]: Taking taylor expansion of (pow im 5) in im 16.128 * [taylor]: Taking taylor expansion of im in im 16.129 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 16.129 * [taylor]: Taking taylor expansion of 1/60 in im 16.129 * [taylor]: Taking taylor expansion of (pow im 5) in im 16.129 * [taylor]: Taking taylor expansion of im in im 16.144 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 16.144 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 16.144 * [taylor]: Taking taylor expansion of -1/60 in im 16.144 * [taylor]: Taking taylor expansion of (pow im 5) in im 16.144 * [taylor]: Taking taylor expansion of im in im 16.145 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 16.145 * [taylor]: Taking taylor expansion of -1/60 in im 16.145 * [taylor]: Taking taylor expansion of (pow im 5) in im 16.145 * [taylor]: Taking taylor expansion of im in im 16.165 * * * [progress]: simplifying candidates 16.166 * [simplify]: Simplifying using # : (log (* (cbrt (exp (* -1/3 (pow im 3)))) (cbrt (exp (* -1/3 (pow im 3)))))) (log (cbrt (exp (* -1/3 (pow im 3))))) (log (sqrt (exp (* -1/3 (pow im 3))))) (log (sqrt (exp (* -1/3 (pow im 3))))) (log 1) (log (exp (* -1/3 (pow im 3)))) (log (exp -1/3)) (log (exp (* -1/3 (pow im 3)))) (log (exp -1/3)) (log (log (exp (* -1/3 (pow im 3))))) (exp (log (exp (* -1/3 (pow im 3))))) (* (cbrt (log (exp (* -1/3 (pow im 3))))) (cbrt (log (exp (* -1/3 (pow im 3)))))) (cbrt (log (exp (* -1/3 (pow im 3))))) (* (* (log (exp (* -1/3 (pow im 3)))) (log (exp (* -1/3 (pow im 3))))) (log (exp (* -1/3 (pow im 3))))) (sqrt (log (exp (* -1/3 (pow im 3))))) (sqrt (log (exp (* -1/3 (pow im 3))))) (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (log (pow im 3))) (log (* -1/3 (pow im 3))) (exp (* -1/3 (pow im 3))) (* (* (* -1/3 -1/3) -1/3) (* (* (pow im 3) (pow im 3)) (pow im 3))) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im (/ 3 2))) (* (sqrt -1/3) (pow im (/ 3 2))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 (* im im)) (* -1/3 (* (cbrt (pow im 3)) (cbrt (pow im 3)))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 im) (* -1/3 (sqrt (pow im 3))) (* -1/3 1) (* -1/3 (pow im (/ 3 2))) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* -1/3 (pow im 3)) (* (* 0.5 (cos re)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im))) (+ (+ (log 0.5) (log (cos re))) (log (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)))) (+ (log (* 0.5 (cos re))) (log (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)))) (log (* (* 0.5 (cos re)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)))) (exp (* (* 0.5 (cos re)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im))) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)))) (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im))) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)))) (* (cbrt (* (* 0.5 (cos re)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)))) (cbrt (* (* 0.5 (cos re)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im))))) (cbrt (* (* 0.5 (cos re)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)))) (* (* (* (* 0.5 (cos re)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)))) (* (* 0.5 (cos re)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)))) (sqrt (* (* 0.5 (cos re)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)))) (sqrt (* (* 0.5 (cos re)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)))) (* (* 0.5 (cos re)) (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5)))) (* (* 0.5 (cos re)) (- (* 2 im))) (* (* 0.5 (cos re)) (log (exp (* -1/3 (pow im 3))))) (* (* 0.5 (cos re)) (- (- (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (log (* (cbrt (exp (* -1/3 (pow im 3)))) (cbrt (exp (* -1/3 (pow im 3))))))) (* (* 0.5 (cos re)) (- (- (log (cbrt (exp (* -1/3 (pow im 3))))) (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (log (sqrt (exp (* -1/3 (pow im 3)))))) (* (* 0.5 (cos re)) (- (- (log (sqrt (exp (* -1/3 (pow im 3))))) (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (log 1)) (* (* 0.5 (cos re)) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (log (exp (* -1/3 (pow im 3))))) (* (* 0.5 (cos re)) (- (- (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5)))) (* (* 0.5 (cos re)) (- (* 2 im))) (* (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 0.5 (cos re))) (* (- (* 2 im)) (* 0.5 (cos re))) (* (log (exp (* -1/3 (pow im 3)))) (* 0.5 (cos re))) (* (- (- (* 1/60 (pow im 5))) (* 2 im)) (* 0.5 (cos re))) (* (log (* (cbrt (exp (* -1/3 (pow im 3)))) (cbrt (exp (* -1/3 (pow im 3)))))) (* 0.5 (cos re))) (* (- (- (log (cbrt (exp (* -1/3 (pow im 3))))) (* 1/60 (pow im 5))) (* 2 im)) (* 0.5 (cos re))) (* (log (sqrt (exp (* -1/3 (pow im 3))))) (* 0.5 (cos re))) (* (- (- (log (sqrt (exp (* -1/3 (pow im 3))))) (* 1/60 (pow im 5))) (* 2 im)) (* 0.5 (cos re))) (* (log 1) (* 0.5 (cos re))) (* (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)) (* 0.5 (cos re))) (* (log (exp (* -1/3 (pow im 3)))) (* 0.5 (cos re))) (* (- (- (* 1/60 (pow im 5))) (* 2 im)) (* 0.5 (cos re))) (* (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 0.5 (cos re))) (* (- (* 2 im)) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* (cbrt (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im))) (cbrt (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im))))) (* (* 0.5 (cos re)) (sqrt (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im)))) (* (* 0.5 (cos re)) 1) (* (cos re) (- (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (- (pow (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) 3) (pow (* 2 im) 3))) (* (* 0.5 (cos re)) (- (* (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5))) (- (log (exp (* -1/3 (pow im 3)))) (* 1/60 (pow im 5)))) (* (* 2 im) (* 2 im)))) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (log (pow im 5))) (log (* 1/60 (pow im 5))) (exp (* 1/60 (pow im 5))) (* (* (* 1/60 1/60) 1/60) (* (* (pow im 5) (pow im 5)) (pow im 5))) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (* (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (pow im (/ 5 2))) (* (sqrt 1/60) (pow im (/ 5 2))) (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* 1/60 (pow (sqrt im) 5)) (* 1/60 (pow 1 5)) (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 1/60 (sqrt (pow im 5))) (* 1/60 1) (* 1/60 (pow im (/ 5 2))) (* (cbrt 1/60) (pow im 5)) (* (sqrt 1/60) (pow im 5)) (* 1/60 (pow im 5)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/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))) (- (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im))))) (- (+ (* 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)) 16.171 * * [simplify]: iteration 0 : 206 enodes (cost 1758 ) 16.230 * * [simplify]: iteration 1 : 511 enodes (cost 1564 ) 16.454 * * [simplify]: iteration 2 : 1672 enodes (cost 1392 ) 16.976 * * [simplify]: iteration done : 5001 enodes (cost 1392 ) 16.976 * [simplify]: Simplified to: (* 2 (log (cbrt (exp (* -1/3 (pow im 3)))))) (log (cbrt (exp (* -1/3 (pow im 3))))) (log (sqrt (exp (* -1/3 (pow im 3))))) (log (sqrt (exp (* -1/3 (pow im 3))))) 0 (* (pow im 3) -1/3) -1/3 (* (pow im 3) -1/3) -1/3 (log (* (pow im 3) -1/3)) (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)) (log (* (pow im 3) -1/3)) (log (* (pow im 3) -1/3)) (log (* (pow im 3) -1/3)) (log (* (pow im 3) -1/3)) (exp (* (pow im 3) -1/3)) (* (pow (pow im 3) 3) -1/27) (* (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)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im 3/2)) (* (sqrt -1/3) (pow im 3/2)) (* im (* -1/3 im)) (* -1/3 (pow (sqrt im) 3)) -1/3 (* im (* -1/3 im)) (* im (* -1/3 im)) (* im (* -1/3 im)) (* -1/3 (pow (sqrt im) 3)) -1/3 (* -1/3 im) (* -1/3 (sqrt (pow im 3))) -1/3 (* -1/3 (pow im 3/2)) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* (pow im 3) -1/3) (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re)) (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re)) (log (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re))) (log (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re))) (log (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re))) (pow (exp (* 0.5 (cos re))) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (pow (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re)) 3) (pow (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re)) 3) (* (cbrt (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re))) (cbrt (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re)))) (cbrt (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re))) (pow (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re)) 3) (sqrt (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re))) (sqrt (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re))) (* (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 0.5 (cos re))) (* (* -2 im) (* 0.5 (cos re))) (* (* (cos re) 0.5) (* -1/3 (pow im 3))) (* (- (* -1/60 (pow im 5)) (* 2 im)) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* 2 (log (cbrt (exp (* -1/3 (pow im 3))))))) (* (- (- (log (cbrt (exp (* -1/3 (pow im 3))))) (* 1/60 (pow im 5))) (* 2 im)) (* 0.5 (cos re))) (* (log (sqrt (exp (* -1/3 (pow im 3))))) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (- (- (log (sqrt (exp (* -1/3 (pow im 3))))) (* 1/60 (pow im 5))) (* 2 im))) 0 (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re)) (* (* (cos re) 0.5) (* -1/3 (pow im 3))) (* (- (* -1/60 (pow im 5)) (* 2 im)) (* 0.5 (cos re))) (* (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 0.5 (cos re))) (* (* -2 im) (* 0.5 (cos re))) (* (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 0.5 (cos re))) (* (* -2 im) (* 0.5 (cos re))) (* (* (cos re) 0.5) (* -1/3 (pow im 3))) (* (- (* -1/60 (pow im 5)) (* 2 im)) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* 2 (log (cbrt (exp (* -1/3 (pow im 3))))))) (* (- (- (log (cbrt (exp (* -1/3 (pow im 3))))) (* 1/60 (pow im 5))) (* 2 im)) (* 0.5 (cos re))) (* (log (sqrt (exp (* -1/3 (pow im 3))))) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (- (- (log (sqrt (exp (* -1/3 (pow im 3))))) (* 1/60 (pow im 5))) (* 2 im))) 0 (* (* (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) 0.5) (cos re)) (* (* (cos re) 0.5) (* -1/3 (pow im 3))) (* (- (* -1/60 (pow im 5)) (* 2 im)) (* 0.5 (cos re))) (* (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 0.5 (cos re))) (* (* -2 im) (* 0.5 (cos re))) (* (* (cbrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (cbrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* 0.5 (cos re))) (* (sqrt (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (* 0.5 (cos re))) (* 0.5 (cos re)) (* (cos re) (- (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) (* (* 0.5 (cos re)) (- (pow (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) 3) (pow (* 2 im) 3))) (* 0.5 (* (cos re) (- (* (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5))) (- (* -1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 4 (* im im))))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (exp (* 1/60 (pow im 5))) (pow (* 1/60 (pow im 5)) 3) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (pow (* 1/60 (pow im 5)) 3) (sqrt (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (pow (sqrt im) 5)) (* (sqrt 1/60) (sqrt (pow im 5))) (* (sqrt 1/60) (sqrt (pow im 5))) (* (pow im 5/2) (sqrt 1/60)) (* (pow im 5/2) (sqrt 1/60)) (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* 1/60 (pow (sqrt im) 5)) 1/60 (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 1/60 (sqrt (pow im 5))) 1/60 (* (pow im 5/2) 1/60) (* (cbrt 1/60) (pow im 5)) (* (sqrt 1/60) (pow im 5)) (* 1/60 (pow im 5)) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im))) (- (+ (* 0.16666666666666666 (* (cos re) (pow im 3))) (+ (* 0.008333333333333333 (* (cos re) (pow im 5))) (* 1.0 (* (cos re) im))))) (- (+ (* 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)) 16.977 * * * [progress]: adding candidates to table 17.328 * [progress]: [Phase 3 of 3] Extracting. 17.328 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 17.333 * * * [regime-changes]: Trying 4 branch expressions: ((cos re) (* 0.5 (cos re)) im re) 17.333 * * * * [regimes]: Trying to branch on (cos re) from (# # # # # # # # #) 17.379 * * * * [regimes]: Trying to branch on (* 0.5 (cos re)) from (# # # # # # # # #) 17.425 * * * * [regimes]: Trying to branch on im from (# # # # # # # # #) 17.468 * * * * [regimes]: Trying to branch on re from (# # # # # # # # #) 17.514 * * * [regime]: Found split indices: #