35.147 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.125 * * * [progress]: [2/2] Setting up program. 0.128 * [progress]: [Phase 2 of 3] Improving. 0.128 * [simplify]: Simplifying using # : (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 0.129 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 0.130 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.132 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 0.138 * * [simplify]: iteration 3 : 86 enodes (cost 12 ) 0.156 * * [simplify]: iteration 4 : 152 enodes (cost 12 ) 0.184 * * [simplify]: iteration 5 : 251 enodes (cost 12 ) 0.246 * * [simplify]: iteration 6 : 474 enodes (cost 12 ) 0.392 * * [simplify]: iteration 7 : 613 enodes (cost 12 ) 0.598 * * [simplify]: iteration 8 : 967 enodes (cost 12 ) 1.174 * * [simplify]: iteration 9 : 1908 enodes (cost 12 ) 2.995 * * [simplify]: iteration 10 : 3283 enodes (cost 12 ) 3.563 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 3.563 * [simplify]: Simplified to: (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 3.563 * * [progress]: iteration 1 / 4 3.563 * * * [progress]: picking best candidate 3.566 * * * * [pick]: Picked # 3.566 * * * [progress]: localizing error 3.575 * * * [progress]: generating rewritten candidates 3.576 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 3.600 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.656 * * * [progress]: generating series expansions 3.656 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 3.656 * [approximate]: Taking taylor expansion of (- (exp (- im)) (exp im)) in (im) around 0 3.656 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 3.656 * [taylor]: Taking taylor expansion of (exp (- im)) in im 3.656 * [taylor]: Taking taylor expansion of (- im) in im 3.656 * [taylor]: Taking taylor expansion of im in im 3.657 * [taylor]: Taking taylor expansion of (exp im) in im 3.657 * [taylor]: Taking taylor expansion of im in im 3.657 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 3.657 * [taylor]: Taking taylor expansion of (exp (- im)) in im 3.657 * [taylor]: Taking taylor expansion of (- im) in im 3.657 * [taylor]: Taking taylor expansion of im in im 3.658 * [taylor]: Taking taylor expansion of (exp im) in im 3.658 * [taylor]: Taking taylor expansion of im in im 3.682 * [approximate]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 3.682 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 3.682 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 3.682 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 3.682 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.682 * [taylor]: Taking taylor expansion of im in im 3.682 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.682 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.682 * [taylor]: Taking taylor expansion of im in im 3.683 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 3.683 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 3.683 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 3.683 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.683 * [taylor]: Taking taylor expansion of im in im 3.683 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.683 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.683 * [taylor]: Taking taylor expansion of im in im 3.687 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0 3.687 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 3.687 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.687 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.687 * [taylor]: Taking taylor expansion of im in im 3.687 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 3.687 * [taylor]: Taking taylor expansion of (/ -1 im) in im 3.687 * [taylor]: Taking taylor expansion of -1 in im 3.687 * [taylor]: Taking taylor expansion of im in im 3.687 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 3.687 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.687 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.687 * [taylor]: Taking taylor expansion of im in im 3.688 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 3.688 * [taylor]: Taking taylor expansion of (/ -1 im) in im 3.688 * [taylor]: Taking taylor expansion of -1 in im 3.688 * [taylor]: Taking taylor expansion of im in im 3.691 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.691 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in (re im) around 0 3.691 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in im 3.691 * [taylor]: Taking taylor expansion of 0.5 in im 3.691 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in im 3.691 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 3.691 * [taylor]: Taking taylor expansion of (exp (- im)) in im 3.691 * [taylor]: Taking taylor expansion of (- im) in im 3.691 * [taylor]: Taking taylor expansion of im in im 3.692 * [taylor]: Taking taylor expansion of (exp im) in im 3.692 * [taylor]: Taking taylor expansion of im in im 3.692 * [taylor]: Taking taylor expansion of (cos re) in im 3.692 * [taylor]: Taking taylor expansion of re in im 3.692 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in re 3.692 * [taylor]: Taking taylor expansion of 0.5 in re 3.692 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in re 3.692 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re 3.692 * [taylor]: Taking taylor expansion of (exp (- im)) in re 3.692 * [taylor]: Taking taylor expansion of (- im) in re 3.692 * [taylor]: Taking taylor expansion of im in re 3.692 * [taylor]: Taking taylor expansion of (exp im) in re 3.692 * [taylor]: Taking taylor expansion of im in re 3.692 * [taylor]: Taking taylor expansion of (cos re) in re 3.692 * [taylor]: Taking taylor expansion of re in re 3.692 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in re 3.692 * [taylor]: Taking taylor expansion of 0.5 in re 3.692 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in re 3.692 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re 3.692 * [taylor]: Taking taylor expansion of (exp (- im)) in re 3.692 * [taylor]: Taking taylor expansion of (- im) in re 3.692 * [taylor]: Taking taylor expansion of im in re 3.692 * [taylor]: Taking taylor expansion of (exp im) in re 3.692 * [taylor]: Taking taylor expansion of im in re 3.692 * [taylor]: Taking taylor expansion of (cos re) in re 3.692 * [taylor]: Taking taylor expansion of re in re 3.693 * [taylor]: Taking taylor expansion of (* 0.5 (- (exp (- im)) (exp im))) in im 3.693 * [taylor]: Taking taylor expansion of 0.5 in im 3.693 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 3.693 * [taylor]: Taking taylor expansion of (exp (- im)) in im 3.693 * [taylor]: Taking taylor expansion of (- im) in im 3.693 * [taylor]: Taking taylor expansion of im in im 3.693 * [taylor]: Taking taylor expansion of (exp im) in im 3.693 * [taylor]: Taking taylor expansion of im in im 3.697 * [taylor]: Taking taylor expansion of 0 in im 3.703 * [taylor]: Taking taylor expansion of (- (* 0.25 (exp im)) (* 0.25 (exp (- im)))) in im 3.703 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im 3.703 * [taylor]: Taking taylor expansion of 0.25 in im 3.703 * [taylor]: Taking taylor expansion of (exp im) in im 3.703 * [taylor]: Taking taylor expansion of im in im 3.703 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- im))) in im 3.703 * [taylor]: Taking taylor expansion of 0.25 in im 3.703 * [taylor]: Taking taylor expansion of (exp (- im)) in im 3.703 * [taylor]: Taking taylor expansion of (- im) in im 3.703 * [taylor]: Taking taylor expansion of im in im 3.716 * [taylor]: Taking taylor expansion of 0 in im 3.726 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 3.726 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 3.726 * [taylor]: Taking taylor expansion of 0.5 in im 3.726 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 3.726 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 3.726 * [taylor]: Taking taylor expansion of (/ 1 re) in im 3.726 * [taylor]: Taking taylor expansion of re in im 3.726 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 3.726 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 3.726 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 3.726 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.726 * [taylor]: Taking taylor expansion of im in im 3.727 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.727 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.727 * [taylor]: Taking taylor expansion of im in im 3.727 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 3.727 * [taylor]: Taking taylor expansion of 0.5 in re 3.727 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 3.727 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 3.727 * [taylor]: Taking taylor expansion of (/ 1 re) in re 3.727 * [taylor]: Taking taylor expansion of re in re 3.727 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re 3.727 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 3.727 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 3.727 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.727 * [taylor]: Taking taylor expansion of im in re 3.728 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 3.728 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.728 * [taylor]: Taking taylor expansion of im in re 3.728 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 3.728 * [taylor]: Taking taylor expansion of 0.5 in re 3.728 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 3.728 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 3.728 * [taylor]: Taking taylor expansion of (/ 1 re) in re 3.728 * [taylor]: Taking taylor expansion of re in re 3.728 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re 3.728 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 3.728 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 3.728 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.728 * [taylor]: Taking taylor expansion of im in re 3.728 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 3.728 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.728 * [taylor]: Taking taylor expansion of im in re 3.729 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 3.729 * [taylor]: Taking taylor expansion of 0.5 in im 3.729 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 3.729 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 3.729 * [taylor]: Taking taylor expansion of (/ 1 re) in im 3.729 * [taylor]: Taking taylor expansion of re in im 3.729 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 3.729 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 3.729 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 3.729 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.729 * [taylor]: Taking taylor expansion of im in im 3.730 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.730 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.730 * [taylor]: Taking taylor expansion of im in im 3.733 * [taylor]: Taking taylor expansion of 0 in im 3.739 * [taylor]: Taking taylor expansion of 0 in im 3.747 * [taylor]: Taking taylor expansion of 0 in im 3.748 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in (re im) around 0 3.748 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 3.748 * [taylor]: Taking taylor expansion of 0.5 in im 3.748 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 3.748 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 3.748 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.748 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.748 * [taylor]: Taking taylor expansion of im in im 3.748 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 3.748 * [taylor]: Taking taylor expansion of (/ -1 im) in im 3.748 * [taylor]: Taking taylor expansion of -1 in im 3.748 * [taylor]: Taking taylor expansion of im in im 3.749 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 3.749 * [taylor]: Taking taylor expansion of (/ -1 re) in im 3.749 * [taylor]: Taking taylor expansion of -1 in im 3.749 * [taylor]: Taking taylor expansion of re in im 3.749 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 3.749 * [taylor]: Taking taylor expansion of 0.5 in re 3.749 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 3.749 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 3.749 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 3.749 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.749 * [taylor]: Taking taylor expansion of im in re 3.749 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 3.749 * [taylor]: Taking taylor expansion of (/ -1 im) in re 3.749 * [taylor]: Taking taylor expansion of -1 in re 3.749 * [taylor]: Taking taylor expansion of im in re 3.749 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 3.749 * [taylor]: Taking taylor expansion of (/ -1 re) in re 3.749 * [taylor]: Taking taylor expansion of -1 in re 3.749 * [taylor]: Taking taylor expansion of re in re 3.749 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 3.749 * [taylor]: Taking taylor expansion of 0.5 in re 3.749 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 3.749 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 3.749 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 3.749 * [taylor]: Taking taylor expansion of (/ 1 im) in re 3.749 * [taylor]: Taking taylor expansion of im in re 3.750 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 3.750 * [taylor]: Taking taylor expansion of (/ -1 im) in re 3.750 * [taylor]: Taking taylor expansion of -1 in re 3.750 * [taylor]: Taking taylor expansion of im in re 3.750 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 3.750 * [taylor]: Taking taylor expansion of (/ -1 re) in re 3.750 * [taylor]: Taking taylor expansion of -1 in re 3.750 * [taylor]: Taking taylor expansion of re in re 3.750 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 3.750 * [taylor]: Taking taylor expansion of 0.5 in im 3.750 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 3.750 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 3.750 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 3.750 * [taylor]: Taking taylor expansion of (/ 1 im) in im 3.750 * [taylor]: Taking taylor expansion of im in im 3.751 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 3.751 * [taylor]: Taking taylor expansion of (/ -1 im) in im 3.751 * [taylor]: Taking taylor expansion of -1 in im 3.751 * [taylor]: Taking taylor expansion of im in im 3.751 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 3.751 * [taylor]: Taking taylor expansion of (/ -1 re) in im 3.751 * [taylor]: Taking taylor expansion of -1 in im 3.751 * [taylor]: Taking taylor expansion of re in im 3.754 * [taylor]: Taking taylor expansion of 0 in im 3.760 * [taylor]: Taking taylor expansion of 0 in im 3.767 * [taylor]: Taking taylor expansion of 0 in im 3.767 * * * [progress]: simplifying candidates 3.768 * [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)))) 3.771 * * [simplify]: iteration 0 : 103 enodes (cost 679 ) 3.791 * * [simplify]: iteration 1 : 270 enodes (cost 661 ) 3.862 * * [simplify]: iteration 2 : 964 enodes (cost 568 ) 4.494 * * [simplify]: iteration 3 : 4261 enodes (cost 565 ) 5.890 * * [simplify]: iteration done : 5001 enodes (cost 565 ) 5.890 * [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 (- 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 (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))) 5.891 * * * [progress]: adding candidates to table 6.004 * * [progress]: iteration 2 / 4 6.004 * * * [progress]: picking best candidate 6.012 * * * * [pick]: Picked # 6.012 * * * [progress]: localizing error 6.029 * * * [progress]: generating rewritten candidates 6.029 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 6.035 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 6.061 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 6.066 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 6.076 * * * [progress]: generating series expansions 6.076 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 6.076 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 6.076 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 6.076 * [taylor]: Taking taylor expansion of -1/3 in im 6.076 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.076 * [taylor]: Taking taylor expansion of im in im 6.076 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 6.076 * [taylor]: Taking taylor expansion of -1/3 in im 6.076 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.076 * [taylor]: Taking taylor expansion of im in im 6.088 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 6.088 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 6.088 * [taylor]: Taking taylor expansion of -1/3 in im 6.088 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.088 * [taylor]: Taking taylor expansion of im in im 6.089 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 6.089 * [taylor]: Taking taylor expansion of -1/3 in im 6.089 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.089 * [taylor]: Taking taylor expansion of im in im 6.103 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 6.103 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 6.103 * [taylor]: Taking taylor expansion of 1/3 in im 6.103 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.103 * [taylor]: Taking taylor expansion of im in im 6.104 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 6.104 * [taylor]: Taking taylor expansion of 1/3 in im 6.104 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.104 * [taylor]: Taking taylor expansion of im in im 6.115 * * * * [progress]: [ 2 / 4 ] generating series at (2) 6.115 * [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 6.115 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in im 6.115 * [taylor]: Taking taylor expansion of -0.5 in im 6.116 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in im 6.116 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 6.116 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 6.116 * [taylor]: Taking taylor expansion of 1/3 in im 6.116 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.116 * [taylor]: Taking taylor expansion of im in im 6.116 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 6.116 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 6.116 * [taylor]: Taking taylor expansion of 1/60 in im 6.116 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.116 * [taylor]: Taking taylor expansion of im in im 6.116 * [taylor]: Taking taylor expansion of (* 2 im) in im 6.116 * [taylor]: Taking taylor expansion of 2 in im 6.116 * [taylor]: Taking taylor expansion of im in im 6.116 * [taylor]: Taking taylor expansion of (cos re) in im 6.116 * [taylor]: Taking taylor expansion of re in im 6.116 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re 6.116 * [taylor]: Taking taylor expansion of -0.5 in re 6.116 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re 6.116 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 6.116 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 6.116 * [taylor]: Taking taylor expansion of 1/3 in re 6.116 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.116 * [taylor]: Taking taylor expansion of im in re 6.116 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 6.116 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 6.116 * [taylor]: Taking taylor expansion of 1/60 in re 6.116 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.116 * [taylor]: Taking taylor expansion of im in re 6.116 * [taylor]: Taking taylor expansion of (* 2 im) in re 6.116 * [taylor]: Taking taylor expansion of 2 in re 6.116 * [taylor]: Taking taylor expansion of im in re 6.116 * [taylor]: Taking taylor expansion of (cos re) in re 6.116 * [taylor]: Taking taylor expansion of re in re 6.116 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re 6.116 * [taylor]: Taking taylor expansion of -0.5 in re 6.116 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re 6.116 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 6.116 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 6.116 * [taylor]: Taking taylor expansion of 1/3 in re 6.116 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.116 * [taylor]: Taking taylor expansion of im in re 6.116 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 6.116 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 6.116 * [taylor]: Taking taylor expansion of 1/60 in re 6.116 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.116 * [taylor]: Taking taylor expansion of im in re 6.116 * [taylor]: Taking taylor expansion of (* 2 im) in re 6.116 * [taylor]: Taking taylor expansion of 2 in re 6.116 * [taylor]: Taking taylor expansion of im in re 6.116 * [taylor]: Taking taylor expansion of (cos re) in re 6.117 * [taylor]: Taking taylor expansion of re in re 6.118 * [taylor]: Taking taylor expansion of (* -0.5 (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 6.118 * [taylor]: Taking taylor expansion of -0.5 in im 6.118 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 6.118 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 6.118 * [taylor]: Taking taylor expansion of 1/3 in im 6.118 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.118 * [taylor]: Taking taylor expansion of im in im 6.118 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 6.118 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 6.118 * [taylor]: Taking taylor expansion of 1/60 in im 6.118 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.118 * [taylor]: Taking taylor expansion of im in im 6.118 * [taylor]: Taking taylor expansion of (* 2 im) in im 6.118 * [taylor]: Taking taylor expansion of 2 in im 6.118 * [taylor]: Taking taylor expansion of im in im 6.122 * [taylor]: Taking taylor expansion of 0 in im 6.130 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (pow im 3)) (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im))) in im 6.130 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (pow im 3)) in im 6.130 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 6.130 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.130 * [taylor]: Taking taylor expansion of im in im 6.130 * [taylor]: Taking taylor expansion of (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im)) in im 6.130 * [taylor]: Taking taylor expansion of (* 0.004166666666666667 (pow im 5)) in im 6.130 * [taylor]: Taking taylor expansion of 0.004166666666666667 in im 6.130 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.130 * [taylor]: Taking taylor expansion of im in im 6.130 * [taylor]: Taking taylor expansion of (* 0.5 im) in im 6.130 * [taylor]: Taking taylor expansion of 0.5 in im 6.130 * [taylor]: Taking taylor expansion of im in im 6.140 * [taylor]: Taking taylor expansion of 0 in im 6.146 * [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 6.146 * [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 6.146 * [taylor]: Taking taylor expansion of -0.5 in im 6.146 * [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 6.146 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 6.146 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 6.146 * [taylor]: Taking taylor expansion of 2 in im 6.146 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.146 * [taylor]: Taking taylor expansion of im in im 6.147 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 6.147 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 6.147 * [taylor]: Taking taylor expansion of 1/3 in im 6.147 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.147 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.147 * [taylor]: Taking taylor expansion of im in im 6.147 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 6.147 * [taylor]: Taking taylor expansion of 1/60 in im 6.147 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 6.147 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.147 * [taylor]: Taking taylor expansion of im in im 6.148 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.148 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.148 * [taylor]: Taking taylor expansion of re in im 6.149 * [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 6.149 * [taylor]: Taking taylor expansion of -0.5 in re 6.149 * [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 6.149 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 6.149 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 6.149 * [taylor]: Taking taylor expansion of 2 in re 6.149 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.149 * [taylor]: Taking taylor expansion of im in re 6.149 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 6.149 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 6.149 * [taylor]: Taking taylor expansion of 1/3 in re 6.149 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 6.149 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.149 * [taylor]: Taking taylor expansion of im in re 6.149 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 6.149 * [taylor]: Taking taylor expansion of 1/60 in re 6.149 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 6.149 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.149 * [taylor]: Taking taylor expansion of im in re 6.149 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.149 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.149 * [taylor]: Taking taylor expansion of re in re 6.150 * [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 6.150 * [taylor]: Taking taylor expansion of -0.5 in re 6.150 * [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 6.150 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 6.150 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 6.150 * [taylor]: Taking taylor expansion of 2 in re 6.150 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.150 * [taylor]: Taking taylor expansion of im in re 6.150 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 6.150 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 6.150 * [taylor]: Taking taylor expansion of 1/3 in re 6.150 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 6.150 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.150 * [taylor]: Taking taylor expansion of im in re 6.150 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 6.150 * [taylor]: Taking taylor expansion of 1/60 in re 6.150 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 6.150 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.150 * [taylor]: Taking taylor expansion of im in re 6.150 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 6.150 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.150 * [taylor]: Taking taylor expansion of re in re 6.152 * [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 6.152 * [taylor]: Taking taylor expansion of -0.5 in im 6.152 * [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 6.152 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 6.152 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 6.152 * [taylor]: Taking taylor expansion of 2 in im 6.152 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.152 * [taylor]: Taking taylor expansion of im in im 6.152 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 6.152 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 6.152 * [taylor]: Taking taylor expansion of 1/3 in im 6.152 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.152 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.152 * [taylor]: Taking taylor expansion of im in im 6.153 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 6.153 * [taylor]: Taking taylor expansion of 1/60 in im 6.153 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 6.153 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.153 * [taylor]: Taking taylor expansion of im in im 6.154 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 6.154 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.154 * [taylor]: Taking taylor expansion of re in im 6.158 * [taylor]: Taking taylor expansion of 0 in im 6.169 * [taylor]: Taking taylor expansion of 0 in im 6.186 * [taylor]: Taking taylor expansion of 0 in im 6.205 * [taylor]: Taking taylor expansion of 0 in im 6.217 * [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 6.217 * [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 6.217 * [taylor]: Taking taylor expansion of 0.5 in im 6.217 * [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 6.217 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 6.217 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 6.217 * [taylor]: Taking taylor expansion of 2 in im 6.217 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.217 * [taylor]: Taking taylor expansion of im in im 6.217 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 6.217 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 6.217 * [taylor]: Taking taylor expansion of 1/3 in im 6.217 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.217 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.217 * [taylor]: Taking taylor expansion of im in im 6.218 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 6.218 * [taylor]: Taking taylor expansion of 1/60 in im 6.218 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 6.218 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.218 * [taylor]: Taking taylor expansion of im in im 6.219 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.219 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.219 * [taylor]: Taking taylor expansion of -1 in im 6.219 * [taylor]: Taking taylor expansion of re in im 6.219 * [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 6.219 * [taylor]: Taking taylor expansion of 0.5 in re 6.219 * [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 6.219 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 6.219 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 6.219 * [taylor]: Taking taylor expansion of 2 in re 6.219 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.219 * [taylor]: Taking taylor expansion of im in re 6.219 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 6.219 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 6.219 * [taylor]: Taking taylor expansion of 1/3 in re 6.219 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 6.219 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.219 * [taylor]: Taking taylor expansion of im in re 6.219 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 6.219 * [taylor]: Taking taylor expansion of 1/60 in re 6.219 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 6.219 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.219 * [taylor]: Taking taylor expansion of im in re 6.220 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.220 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.220 * [taylor]: Taking taylor expansion of -1 in re 6.220 * [taylor]: Taking taylor expansion of re in re 6.220 * [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 6.220 * [taylor]: Taking taylor expansion of 0.5 in re 6.220 * [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 6.220 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 6.220 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 6.220 * [taylor]: Taking taylor expansion of 2 in re 6.220 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.220 * [taylor]: Taking taylor expansion of im in re 6.220 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 6.220 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 6.220 * [taylor]: Taking taylor expansion of 1/3 in re 6.220 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 6.220 * [taylor]: Taking taylor expansion of (pow im 3) in re 6.220 * [taylor]: Taking taylor expansion of im in re 6.221 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 6.221 * [taylor]: Taking taylor expansion of 1/60 in re 6.221 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 6.221 * [taylor]: Taking taylor expansion of (pow im 5) in re 6.221 * [taylor]: Taking taylor expansion of im in re 6.221 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 6.221 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.221 * [taylor]: Taking taylor expansion of -1 in re 6.221 * [taylor]: Taking taylor expansion of re in re 6.223 * [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 6.223 * [taylor]: Taking taylor expansion of 0.5 in im 6.223 * [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 6.223 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 6.223 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 6.223 * [taylor]: Taking taylor expansion of 2 in im 6.223 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.223 * [taylor]: Taking taylor expansion of im in im 6.223 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 6.223 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 6.223 * [taylor]: Taking taylor expansion of 1/3 in im 6.223 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.223 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.223 * [taylor]: Taking taylor expansion of im in im 6.224 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 6.224 * [taylor]: Taking taylor expansion of 1/60 in im 6.224 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 6.224 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.224 * [taylor]: Taking taylor expansion of im in im 6.225 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 6.225 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.225 * [taylor]: Taking taylor expansion of -1 in im 6.225 * [taylor]: Taking taylor expansion of re in im 6.229 * [taylor]: Taking taylor expansion of 0 in im 6.239 * [taylor]: Taking taylor expansion of 0 in im 6.254 * [taylor]: Taking taylor expansion of 0 in im 6.276 * [taylor]: Taking taylor expansion of 0 in im 6.287 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 6.288 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0 6.288 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 6.288 * [taylor]: Taking taylor expansion of 1/60 in im 6.288 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.288 * [taylor]: Taking taylor expansion of im in im 6.288 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 6.288 * [taylor]: Taking taylor expansion of 1/60 in im 6.288 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.288 * [taylor]: Taking taylor expansion of im in im 6.303 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 6.303 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 6.303 * [taylor]: Taking taylor expansion of 1/60 in im 6.303 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.303 * [taylor]: Taking taylor expansion of im in im 6.304 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 6.304 * [taylor]: Taking taylor expansion of 1/60 in im 6.304 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.304 * [taylor]: Taking taylor expansion of im in im 6.319 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 6.319 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 6.319 * [taylor]: Taking taylor expansion of -1/60 in im 6.319 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.319 * [taylor]: Taking taylor expansion of im in im 6.320 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 6.320 * [taylor]: Taking taylor expansion of -1/60 in im 6.320 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.320 * [taylor]: Taking taylor expansion of im in im 6.334 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 6.335 * [approximate]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in (im) around 0 6.335 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 6.335 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 6.335 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 6.335 * [taylor]: Taking taylor expansion of 1/3 in im 6.335 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.335 * [taylor]: Taking taylor expansion of im in im 6.335 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 6.335 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 6.335 * [taylor]: Taking taylor expansion of 1/60 in im 6.335 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.335 * [taylor]: Taking taylor expansion of im in im 6.335 * [taylor]: Taking taylor expansion of (* 2 im) in im 6.335 * [taylor]: Taking taylor expansion of 2 in im 6.335 * [taylor]: Taking taylor expansion of im in im 6.335 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 6.335 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 6.335 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 6.335 * [taylor]: Taking taylor expansion of 1/3 in im 6.335 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.335 * [taylor]: Taking taylor expansion of im in im 6.335 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 6.335 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 6.335 * [taylor]: Taking taylor expansion of 1/60 in im 6.335 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.335 * [taylor]: Taking taylor expansion of im in im 6.335 * [taylor]: Taking taylor expansion of (* 2 im) in im 6.335 * [taylor]: Taking taylor expansion of 2 in im 6.335 * [taylor]: Taking taylor expansion of im in im 6.350 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in (im) around 0 6.350 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 6.350 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 6.350 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 6.350 * [taylor]: Taking taylor expansion of 2 in im 6.350 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.350 * [taylor]: Taking taylor expansion of im in im 6.351 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 6.351 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 6.351 * [taylor]: Taking taylor expansion of 1/3 in im 6.351 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.351 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.351 * [taylor]: Taking taylor expansion of im in im 6.351 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 6.351 * [taylor]: Taking taylor expansion of 1/60 in im 6.351 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 6.351 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.351 * [taylor]: Taking taylor expansion of im in im 6.352 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 6.352 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 6.352 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 6.352 * [taylor]: Taking taylor expansion of 2 in im 6.352 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.352 * [taylor]: Taking taylor expansion of im in im 6.353 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 6.353 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 6.353 * [taylor]: Taking taylor expansion of 1/3 in im 6.353 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.353 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.353 * [taylor]: Taking taylor expansion of im in im 6.354 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 6.354 * [taylor]: Taking taylor expansion of 1/60 in im 6.354 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 6.354 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.354 * [taylor]: Taking taylor expansion of im in im 6.373 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0 6.373 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 6.373 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 6.373 * [taylor]: Taking taylor expansion of 2 in im 6.373 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.373 * [taylor]: Taking taylor expansion of im in im 6.373 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 6.373 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 6.373 * [taylor]: Taking taylor expansion of 1/3 in im 6.373 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.373 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.373 * [taylor]: Taking taylor expansion of im in im 6.374 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 6.374 * [taylor]: Taking taylor expansion of 1/60 in im 6.374 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 6.374 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.374 * [taylor]: Taking taylor expansion of im in im 6.375 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 6.375 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 6.375 * [taylor]: Taking taylor expansion of 2 in im 6.375 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.375 * [taylor]: Taking taylor expansion of im in im 6.375 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 6.375 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 6.375 * [taylor]: Taking taylor expansion of 1/3 in im 6.375 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 6.375 * [taylor]: Taking taylor expansion of (pow im 3) in im 6.375 * [taylor]: Taking taylor expansion of im in im 6.376 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 6.376 * [taylor]: Taking taylor expansion of 1/60 in im 6.376 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 6.376 * [taylor]: Taking taylor expansion of (pow im 5) in im 6.376 * [taylor]: Taking taylor expansion of im in im 6.393 * * * [progress]: simplifying candidates 6.395 * [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)))) 6.400 * * [simplify]: iteration 0 : 182 enodes (cost 1599 ) 6.443 * * [simplify]: iteration 1 : 470 enodes (cost 1493 ) 6.620 * * [simplify]: iteration 2 : 1807 enodes (cost 1316 ) 7.139 * * [simplify]: iteration done : 5000 enodes (cost 1316 ) 7.140 * [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 (* (pow im 3) -1/3) 3) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (pow (* (pow im 3) -1/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))) (* (* 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 (pow im 5) 3) 1/216000) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (* (pow (pow im 5) 3) 1/216000) (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 (- (* (pow im 3) -1/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)) (* (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)) (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) 7.141 * * * [progress]: adding candidates to table 7.412 * * [progress]: iteration 3 / 4 7.412 * * * [progress]: picking best candidate 7.447 * * * * [pick]: Picked # 7.447 * * * [progress]: localizing error 7.462 * * * [progress]: generating rewritten candidates 7.462 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 7.469 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 7.511 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 7.516 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 7.542 * * * [progress]: generating series expansions 7.542 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 7.542 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 7.542 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 7.542 * [taylor]: Taking taylor expansion of -1/3 in im 7.542 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.542 * [taylor]: Taking taylor expansion of im in im 7.542 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 7.543 * [taylor]: Taking taylor expansion of -1/3 in im 7.543 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.543 * [taylor]: Taking taylor expansion of im in im 7.554 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 7.554 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 7.554 * [taylor]: Taking taylor expansion of -1/3 in im 7.554 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.554 * [taylor]: Taking taylor expansion of im in im 7.555 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 7.555 * [taylor]: Taking taylor expansion of -1/3 in im 7.555 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.555 * [taylor]: Taking taylor expansion of im in im 7.566 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 7.566 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 7.566 * [taylor]: Taking taylor expansion of 1/3 in im 7.566 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.566 * [taylor]: Taking taylor expansion of im in im 7.567 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 7.567 * [taylor]: Taking taylor expansion of 1/3 in im 7.567 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.567 * [taylor]: Taking taylor expansion of im in im 7.578 * * * * [progress]: [ 2 / 4 ] generating series at (2) 7.578 * [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 7.578 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in im 7.578 * [taylor]: Taking taylor expansion of -0.5 in im 7.578 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in im 7.578 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 7.578 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 7.578 * [taylor]: Taking taylor expansion of 1/3 in im 7.578 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.578 * [taylor]: Taking taylor expansion of im in im 7.578 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 7.578 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 7.578 * [taylor]: Taking taylor expansion of 1/60 in im 7.578 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.578 * [taylor]: Taking taylor expansion of im in im 7.578 * [taylor]: Taking taylor expansion of (* 2 im) in im 7.579 * [taylor]: Taking taylor expansion of 2 in im 7.579 * [taylor]: Taking taylor expansion of im in im 7.579 * [taylor]: Taking taylor expansion of (cos re) in im 7.579 * [taylor]: Taking taylor expansion of re in im 7.579 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re 7.579 * [taylor]: Taking taylor expansion of -0.5 in re 7.579 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re 7.579 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 7.579 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 7.579 * [taylor]: Taking taylor expansion of 1/3 in re 7.579 * [taylor]: Taking taylor expansion of (pow im 3) in re 7.579 * [taylor]: Taking taylor expansion of im in re 7.579 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 7.579 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 7.579 * [taylor]: Taking taylor expansion of 1/60 in re 7.579 * [taylor]: Taking taylor expansion of (pow im 5) in re 7.579 * [taylor]: Taking taylor expansion of im in re 7.579 * [taylor]: Taking taylor expansion of (* 2 im) in re 7.579 * [taylor]: Taking taylor expansion of 2 in re 7.579 * [taylor]: Taking taylor expansion of im in re 7.579 * [taylor]: Taking taylor expansion of (cos re) in re 7.579 * [taylor]: Taking taylor expansion of re in re 7.579 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re 7.579 * [taylor]: Taking taylor expansion of -0.5 in re 7.579 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re 7.579 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 7.579 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 7.579 * [taylor]: Taking taylor expansion of 1/3 in re 7.579 * [taylor]: Taking taylor expansion of (pow im 3) in re 7.579 * [taylor]: Taking taylor expansion of im in re 7.579 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 7.579 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 7.579 * [taylor]: Taking taylor expansion of 1/60 in re 7.579 * [taylor]: Taking taylor expansion of (pow im 5) in re 7.579 * [taylor]: Taking taylor expansion of im in re 7.579 * [taylor]: Taking taylor expansion of (* 2 im) in re 7.579 * [taylor]: Taking taylor expansion of 2 in re 7.579 * [taylor]: Taking taylor expansion of im in re 7.579 * [taylor]: Taking taylor expansion of (cos re) in re 7.579 * [taylor]: Taking taylor expansion of re in re 7.581 * [taylor]: Taking taylor expansion of (* -0.5 (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 7.581 * [taylor]: Taking taylor expansion of -0.5 in im 7.581 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 7.581 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 7.581 * [taylor]: Taking taylor expansion of 1/3 in im 7.581 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.581 * [taylor]: Taking taylor expansion of im in im 7.581 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 7.581 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 7.581 * [taylor]: Taking taylor expansion of 1/60 in im 7.581 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.581 * [taylor]: Taking taylor expansion of im in im 7.581 * [taylor]: Taking taylor expansion of (* 2 im) in im 7.581 * [taylor]: Taking taylor expansion of 2 in im 7.581 * [taylor]: Taking taylor expansion of im in im 7.585 * [taylor]: Taking taylor expansion of 0 in im 7.593 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (pow im 3)) (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im))) in im 7.593 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (pow im 3)) in im 7.593 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 7.593 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.593 * [taylor]: Taking taylor expansion of im in im 7.593 * [taylor]: Taking taylor expansion of (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im)) in im 7.593 * [taylor]: Taking taylor expansion of (* 0.004166666666666667 (pow im 5)) in im 7.593 * [taylor]: Taking taylor expansion of 0.004166666666666667 in im 7.593 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.593 * [taylor]: Taking taylor expansion of im in im 7.593 * [taylor]: Taking taylor expansion of (* 0.5 im) in im 7.593 * [taylor]: Taking taylor expansion of 0.5 in im 7.593 * [taylor]: Taking taylor expansion of im in im 7.603 * [taylor]: Taking taylor expansion of 0 in im 7.609 * [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 7.609 * [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 7.609 * [taylor]: Taking taylor expansion of -0.5 in im 7.612 * [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 7.612 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 7.612 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 7.612 * [taylor]: Taking taylor expansion of 2 in im 7.612 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.612 * [taylor]: Taking taylor expansion of im in im 7.613 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 7.613 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 7.613 * [taylor]: Taking taylor expansion of 1/3 in im 7.613 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 7.613 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.613 * [taylor]: Taking taylor expansion of im in im 7.614 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 7.614 * [taylor]: Taking taylor expansion of 1/60 in im 7.614 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 7.614 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.614 * [taylor]: Taking taylor expansion of im in im 7.615 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 7.615 * [taylor]: Taking taylor expansion of (/ 1 re) in im 7.615 * [taylor]: Taking taylor expansion of re in im 7.615 * [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 7.615 * [taylor]: Taking taylor expansion of -0.5 in re 7.615 * [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 7.615 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 7.615 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 7.615 * [taylor]: Taking taylor expansion of 2 in re 7.615 * [taylor]: Taking taylor expansion of (/ 1 im) in re 7.615 * [taylor]: Taking taylor expansion of im in re 7.615 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 7.615 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 7.615 * [taylor]: Taking taylor expansion of 1/3 in re 7.615 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 7.615 * [taylor]: Taking taylor expansion of (pow im 3) in re 7.615 * [taylor]: Taking taylor expansion of im in re 7.615 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 7.615 * [taylor]: Taking taylor expansion of 1/60 in re 7.615 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 7.615 * [taylor]: Taking taylor expansion of (pow im 5) in re 7.615 * [taylor]: Taking taylor expansion of im in re 7.616 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 7.616 * [taylor]: Taking taylor expansion of (/ 1 re) in re 7.616 * [taylor]: Taking taylor expansion of re in re 7.616 * [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 7.616 * [taylor]: Taking taylor expansion of -0.5 in re 7.616 * [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 7.616 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 7.616 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 7.616 * [taylor]: Taking taylor expansion of 2 in re 7.616 * [taylor]: Taking taylor expansion of (/ 1 im) in re 7.616 * [taylor]: Taking taylor expansion of im in re 7.616 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 7.616 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 7.616 * [taylor]: Taking taylor expansion of 1/3 in re 7.616 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 7.616 * [taylor]: Taking taylor expansion of (pow im 3) in re 7.616 * [taylor]: Taking taylor expansion of im in re 7.616 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 7.616 * [taylor]: Taking taylor expansion of 1/60 in re 7.616 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 7.616 * [taylor]: Taking taylor expansion of (pow im 5) in re 7.616 * [taylor]: Taking taylor expansion of im in re 7.617 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 7.617 * [taylor]: Taking taylor expansion of (/ 1 re) in re 7.617 * [taylor]: Taking taylor expansion of re in re 7.618 * [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 7.618 * [taylor]: Taking taylor expansion of -0.5 in im 7.618 * [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 7.618 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 7.618 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 7.618 * [taylor]: Taking taylor expansion of 2 in im 7.618 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.618 * [taylor]: Taking taylor expansion of im in im 7.619 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 7.619 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 7.619 * [taylor]: Taking taylor expansion of 1/3 in im 7.619 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 7.619 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.619 * [taylor]: Taking taylor expansion of im in im 7.619 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 7.619 * [taylor]: Taking taylor expansion of 1/60 in im 7.619 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 7.619 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.619 * [taylor]: Taking taylor expansion of im in im 7.620 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 7.620 * [taylor]: Taking taylor expansion of (/ 1 re) in im 7.620 * [taylor]: Taking taylor expansion of re in im 7.625 * [taylor]: Taking taylor expansion of 0 in im 7.635 * [taylor]: Taking taylor expansion of 0 in im 7.650 * [taylor]: Taking taylor expansion of 0 in im 7.669 * [taylor]: Taking taylor expansion of 0 in im 7.681 * [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 7.682 * [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 7.682 * [taylor]: Taking taylor expansion of 0.5 in im 7.682 * [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 7.682 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 7.682 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 7.682 * [taylor]: Taking taylor expansion of 2 in im 7.682 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.682 * [taylor]: Taking taylor expansion of im in im 7.682 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 7.682 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 7.682 * [taylor]: Taking taylor expansion of 1/3 in im 7.682 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 7.682 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.682 * [taylor]: Taking taylor expansion of im in im 7.683 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 7.683 * [taylor]: Taking taylor expansion of 1/60 in im 7.683 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 7.683 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.683 * [taylor]: Taking taylor expansion of im in im 7.684 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 7.684 * [taylor]: Taking taylor expansion of (/ -1 re) in im 7.684 * [taylor]: Taking taylor expansion of -1 in im 7.684 * [taylor]: Taking taylor expansion of re in im 7.684 * [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 7.684 * [taylor]: Taking taylor expansion of 0.5 in re 7.684 * [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 7.684 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 7.684 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 7.684 * [taylor]: Taking taylor expansion of 2 in re 7.684 * [taylor]: Taking taylor expansion of (/ 1 im) in re 7.684 * [taylor]: Taking taylor expansion of im in re 7.684 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 7.684 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 7.684 * [taylor]: Taking taylor expansion of 1/3 in re 7.684 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 7.684 * [taylor]: Taking taylor expansion of (pow im 3) in re 7.684 * [taylor]: Taking taylor expansion of im in re 7.684 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 7.684 * [taylor]: Taking taylor expansion of 1/60 in re 7.684 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 7.684 * [taylor]: Taking taylor expansion of (pow im 5) in re 7.684 * [taylor]: Taking taylor expansion of im in re 7.685 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 7.685 * [taylor]: Taking taylor expansion of (/ -1 re) in re 7.685 * [taylor]: Taking taylor expansion of -1 in re 7.685 * [taylor]: Taking taylor expansion of re in re 7.685 * [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 7.685 * [taylor]: Taking taylor expansion of 0.5 in re 7.685 * [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 7.685 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 7.685 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 7.685 * [taylor]: Taking taylor expansion of 2 in re 7.685 * [taylor]: Taking taylor expansion of (/ 1 im) in re 7.685 * [taylor]: Taking taylor expansion of im in re 7.685 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 7.685 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 7.685 * [taylor]: Taking taylor expansion of 1/3 in re 7.685 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 7.685 * [taylor]: Taking taylor expansion of (pow im 3) in re 7.685 * [taylor]: Taking taylor expansion of im in re 7.686 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 7.686 * [taylor]: Taking taylor expansion of 1/60 in re 7.686 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 7.686 * [taylor]: Taking taylor expansion of (pow im 5) in re 7.686 * [taylor]: Taking taylor expansion of im in re 7.686 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 7.686 * [taylor]: Taking taylor expansion of (/ -1 re) in re 7.686 * [taylor]: Taking taylor expansion of -1 in re 7.686 * [taylor]: Taking taylor expansion of re in re 7.687 * [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 7.687 * [taylor]: Taking taylor expansion of 0.5 in im 7.687 * [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 7.687 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 7.687 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 7.687 * [taylor]: Taking taylor expansion of 2 in im 7.687 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.687 * [taylor]: Taking taylor expansion of im in im 7.688 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 7.688 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 7.688 * [taylor]: Taking taylor expansion of 1/3 in im 7.688 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 7.688 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.688 * [taylor]: Taking taylor expansion of im in im 7.688 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 7.689 * [taylor]: Taking taylor expansion of 1/60 in im 7.689 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 7.689 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.689 * [taylor]: Taking taylor expansion of im in im 7.689 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 7.690 * [taylor]: Taking taylor expansion of (/ -1 re) in im 7.690 * [taylor]: Taking taylor expansion of -1 in im 7.690 * [taylor]: Taking taylor expansion of re in im 7.694 * [taylor]: Taking taylor expansion of 0 in im 7.707 * [taylor]: Taking taylor expansion of 0 in im 7.721 * [taylor]: Taking taylor expansion of 0 in im 7.741 * [taylor]: Taking taylor expansion of 0 in im 7.752 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 7.752 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0 7.752 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 7.752 * [taylor]: Taking taylor expansion of 1/60 in im 7.752 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.752 * [taylor]: Taking taylor expansion of im in im 7.752 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 7.752 * [taylor]: Taking taylor expansion of 1/60 in im 7.752 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.752 * [taylor]: Taking taylor expansion of im in im 7.767 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 7.767 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 7.767 * [taylor]: Taking taylor expansion of 1/60 in im 7.767 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.767 * [taylor]: Taking taylor expansion of im in im 7.768 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 7.768 * [taylor]: Taking taylor expansion of 1/60 in im 7.768 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.769 * [taylor]: Taking taylor expansion of im in im 7.786 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 7.786 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 7.786 * [taylor]: Taking taylor expansion of -1/60 in im 7.786 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.786 * [taylor]: Taking taylor expansion of im in im 7.787 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 7.787 * [taylor]: Taking taylor expansion of -1/60 in im 7.787 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.787 * [taylor]: Taking taylor expansion of im in im 7.802 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 7.802 * [approximate]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in (im) around 0 7.802 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 7.802 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 7.802 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 7.802 * [taylor]: Taking taylor expansion of 1/3 in im 7.802 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.802 * [taylor]: Taking taylor expansion of im in im 7.802 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 7.802 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 7.802 * [taylor]: Taking taylor expansion of 1/60 in im 7.802 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.802 * [taylor]: Taking taylor expansion of im in im 7.802 * [taylor]: Taking taylor expansion of (* 2 im) in im 7.802 * [taylor]: Taking taylor expansion of 2 in im 7.802 * [taylor]: Taking taylor expansion of im in im 7.802 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 7.802 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 7.802 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 7.802 * [taylor]: Taking taylor expansion of 1/3 in im 7.802 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.802 * [taylor]: Taking taylor expansion of im in im 7.802 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 7.802 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 7.802 * [taylor]: Taking taylor expansion of 1/60 in im 7.802 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.802 * [taylor]: Taking taylor expansion of im in im 7.802 * [taylor]: Taking taylor expansion of (* 2 im) in im 7.802 * [taylor]: Taking taylor expansion of 2 in im 7.802 * [taylor]: Taking taylor expansion of im in im 7.815 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in (im) around 0 7.815 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 7.815 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 7.815 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 7.815 * [taylor]: Taking taylor expansion of 2 in im 7.815 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.815 * [taylor]: Taking taylor expansion of im in im 7.815 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 7.815 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 7.815 * [taylor]: Taking taylor expansion of 1/3 in im 7.815 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 7.815 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.815 * [taylor]: Taking taylor expansion of im in im 7.816 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 7.816 * [taylor]: Taking taylor expansion of 1/60 in im 7.816 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 7.816 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.816 * [taylor]: Taking taylor expansion of im in im 7.817 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 7.817 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 7.817 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 7.817 * [taylor]: Taking taylor expansion of 2 in im 7.817 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.817 * [taylor]: Taking taylor expansion of im in im 7.817 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 7.817 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 7.817 * [taylor]: Taking taylor expansion of 1/3 in im 7.817 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 7.817 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.817 * [taylor]: Taking taylor expansion of im in im 7.818 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 7.818 * [taylor]: Taking taylor expansion of 1/60 in im 7.818 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 7.818 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.818 * [taylor]: Taking taylor expansion of im in im 7.837 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0 7.837 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 7.837 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 7.837 * [taylor]: Taking taylor expansion of 2 in im 7.837 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.837 * [taylor]: Taking taylor expansion of im in im 7.837 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 7.837 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 7.837 * [taylor]: Taking taylor expansion of 1/3 in im 7.837 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 7.837 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.837 * [taylor]: Taking taylor expansion of im in im 7.838 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 7.838 * [taylor]: Taking taylor expansion of 1/60 in im 7.838 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 7.838 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.838 * [taylor]: Taking taylor expansion of im in im 7.839 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 7.839 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 7.839 * [taylor]: Taking taylor expansion of 2 in im 7.839 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.839 * [taylor]: Taking taylor expansion of im in im 7.839 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 7.839 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 7.839 * [taylor]: Taking taylor expansion of 1/3 in im 7.839 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 7.839 * [taylor]: Taking taylor expansion of (pow im 3) in im 7.839 * [taylor]: Taking taylor expansion of im in im 7.840 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 7.840 * [taylor]: Taking taylor expansion of 1/60 in im 7.840 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 7.840 * [taylor]: Taking taylor expansion of (pow im 5) in im 7.840 * [taylor]: Taking taylor expansion of im in im 7.860 * * * [progress]: simplifying candidates 7.862 * [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)))) 7.866 * * [simplify]: iteration 0 : 189 enodes (cost 1705 ) 7.910 * * [simplify]: iteration 1 : 491 enodes (cost 1611 ) 8.087 * * [simplify]: iteration 2 : 1806 enodes (cost 1436 ) 8.560 * * [simplify]: iteration done : 5000 enodes (cost 1436 ) 8.561 * [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 (* (pow im 3) -1/3) 3) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (pow (* (pow im 3) -1/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)) 8.562 * * * [progress]: adding candidates to table 8.843 * * [progress]: iteration 4 / 4 8.843 * * * [progress]: picking best candidate 8.874 * * * * [pick]: Picked # 8.874 * * * [progress]: localizing error 8.891 * * * [progress]: generating rewritten candidates 8.891 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 8.893 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 8.899 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 8.933 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 8.941 * * * [progress]: generating series expansions 8.941 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 8.942 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 8.942 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 8.942 * [taylor]: Taking taylor expansion of -1/3 in im 8.942 * [taylor]: Taking taylor expansion of (pow im 3) in im 8.942 * [taylor]: Taking taylor expansion of im in im 8.942 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 8.942 * [taylor]: Taking taylor expansion of -1/3 in im 8.942 * [taylor]: Taking taylor expansion of (pow im 3) in im 8.942 * [taylor]: Taking taylor expansion of im in im 8.954 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 8.954 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 8.954 * [taylor]: Taking taylor expansion of -1/3 in im 8.954 * [taylor]: Taking taylor expansion of (pow im 3) in im 8.954 * [taylor]: Taking taylor expansion of im in im 8.955 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 8.955 * [taylor]: Taking taylor expansion of -1/3 in im 8.955 * [taylor]: Taking taylor expansion of (pow im 3) in im 8.955 * [taylor]: Taking taylor expansion of im in im 8.966 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 8.966 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 8.966 * [taylor]: Taking taylor expansion of 1/3 in im 8.966 * [taylor]: Taking taylor expansion of (pow im 3) in im 8.966 * [taylor]: Taking taylor expansion of im in im 8.967 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 8.967 * [taylor]: Taking taylor expansion of 1/3 in im 8.967 * [taylor]: Taking taylor expansion of (pow im 3) in im 8.967 * [taylor]: Taking taylor expansion of im in im 8.978 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 8.978 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 8.978 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 8.978 * [taylor]: Taking taylor expansion of -1/3 in im 8.978 * [taylor]: Taking taylor expansion of (pow im 3) in im 8.978 * [taylor]: Taking taylor expansion of im in im 8.978 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 8.978 * [taylor]: Taking taylor expansion of -1/3 in im 8.978 * [taylor]: Taking taylor expansion of (pow im 3) in im 8.978 * [taylor]: Taking taylor expansion of im in im 8.989 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 8.989 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 8.989 * [taylor]: Taking taylor expansion of -1/3 in im 8.989 * [taylor]: Taking taylor expansion of (pow im 3) in im 8.989 * [taylor]: Taking taylor expansion of im in im 8.990 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 8.990 * [taylor]: Taking taylor expansion of -1/3 in im 8.990 * [taylor]: Taking taylor expansion of (pow im 3) in im 8.990 * [taylor]: Taking taylor expansion of im in im 9.004 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 9.004 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 9.004 * [taylor]: Taking taylor expansion of 1/3 in im 9.004 * [taylor]: Taking taylor expansion of (pow im 3) in im 9.004 * [taylor]: Taking taylor expansion of im in im 9.005 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 9.005 * [taylor]: Taking taylor expansion of 1/3 in im 9.005 * [taylor]: Taking taylor expansion of (pow im 3) in im 9.005 * [taylor]: Taking taylor expansion of im in im 9.016 * * * * [progress]: [ 3 / 4 ] generating series at (2) 9.016 * [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 9.016 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in im 9.016 * [taylor]: Taking taylor expansion of -0.5 in im 9.016 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in im 9.016 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 9.016 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 9.016 * [taylor]: Taking taylor expansion of 1/3 in im 9.016 * [taylor]: Taking taylor expansion of (pow im 3) in im 9.016 * [taylor]: Taking taylor expansion of im in im 9.017 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 9.017 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 9.017 * [taylor]: Taking taylor expansion of 1/60 in im 9.017 * [taylor]: Taking taylor expansion of (pow im 5) in im 9.017 * [taylor]: Taking taylor expansion of im in im 9.017 * [taylor]: Taking taylor expansion of (* 2 im) in im 9.017 * [taylor]: Taking taylor expansion of 2 in im 9.017 * [taylor]: Taking taylor expansion of im in im 9.017 * [taylor]: Taking taylor expansion of (cos re) in im 9.017 * [taylor]: Taking taylor expansion of re in im 9.017 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re 9.017 * [taylor]: Taking taylor expansion of -0.5 in re 9.017 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re 9.017 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 9.017 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 9.017 * [taylor]: Taking taylor expansion of 1/3 in re 9.017 * [taylor]: Taking taylor expansion of (pow im 3) in re 9.017 * [taylor]: Taking taylor expansion of im in re 9.017 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 9.017 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 9.017 * [taylor]: Taking taylor expansion of 1/60 in re 9.017 * [taylor]: Taking taylor expansion of (pow im 5) in re 9.017 * [taylor]: Taking taylor expansion of im in re 9.017 * [taylor]: Taking taylor expansion of (* 2 im) in re 9.017 * [taylor]: Taking taylor expansion of 2 in re 9.017 * [taylor]: Taking taylor expansion of im in re 9.017 * [taylor]: Taking taylor expansion of (cos re) in re 9.017 * [taylor]: Taking taylor expansion of re in re 9.017 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re))) in re 9.017 * [taylor]: Taking taylor expansion of -0.5 in re 9.017 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (cos re)) in re 9.017 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 9.017 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 9.017 * [taylor]: Taking taylor expansion of 1/3 in re 9.017 * [taylor]: Taking taylor expansion of (pow im 3) in re 9.017 * [taylor]: Taking taylor expansion of im in re 9.017 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 9.017 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 9.017 * [taylor]: Taking taylor expansion of 1/60 in re 9.017 * [taylor]: Taking taylor expansion of (pow im 5) in re 9.017 * [taylor]: Taking taylor expansion of im in re 9.017 * [taylor]: Taking taylor expansion of (* 2 im) in re 9.017 * [taylor]: Taking taylor expansion of 2 in re 9.017 * [taylor]: Taking taylor expansion of im in re 9.017 * [taylor]: Taking taylor expansion of (cos re) in re 9.017 * [taylor]: Taking taylor expansion of re in re 9.018 * [taylor]: Taking taylor expansion of (* -0.5 (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) in im 9.018 * [taylor]: Taking taylor expansion of -0.5 in im 9.018 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 9.018 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 9.019 * [taylor]: Taking taylor expansion of 1/3 in im 9.019 * [taylor]: Taking taylor expansion of (pow im 3) in im 9.019 * [taylor]: Taking taylor expansion of im in im 9.019 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 9.019 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 9.019 * [taylor]: Taking taylor expansion of 1/60 in im 9.019 * [taylor]: Taking taylor expansion of (pow im 5) in im 9.019 * [taylor]: Taking taylor expansion of im in im 9.019 * [taylor]: Taking taylor expansion of (* 2 im) in im 9.019 * [taylor]: Taking taylor expansion of 2 in im 9.019 * [taylor]: Taking taylor expansion of im in im 9.023 * [taylor]: Taking taylor expansion of 0 in im 9.031 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (pow im 3)) (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im))) in im 9.031 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (pow im 3)) in im 9.031 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 9.031 * [taylor]: Taking taylor expansion of (pow im 3) in im 9.031 * [taylor]: Taking taylor expansion of im in im 9.031 * [taylor]: Taking taylor expansion of (+ (* 0.004166666666666667 (pow im 5)) (* 0.5 im)) in im 9.031 * [taylor]: Taking taylor expansion of (* 0.004166666666666667 (pow im 5)) in im 9.031 * [taylor]: Taking taylor expansion of 0.004166666666666667 in im 9.031 * [taylor]: Taking taylor expansion of (pow im 5) in im 9.031 * [taylor]: Taking taylor expansion of im in im 9.031 * [taylor]: Taking taylor expansion of (* 0.5 im) in im 9.031 * [taylor]: Taking taylor expansion of 0.5 in im 9.031 * [taylor]: Taking taylor expansion of im in im 9.041 * [taylor]: Taking taylor expansion of 0 in im 9.047 * [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 9.047 * [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 9.047 * [taylor]: Taking taylor expansion of -0.5 in im 9.047 * [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 9.047 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 9.047 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 9.047 * [taylor]: Taking taylor expansion of 2 in im 9.047 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.047 * [taylor]: Taking taylor expansion of im in im 9.047 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 9.047 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 9.047 * [taylor]: Taking taylor expansion of 1/3 in im 9.047 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 9.047 * [taylor]: Taking taylor expansion of (pow im 3) in im 9.047 * [taylor]: Taking taylor expansion of im in im 9.048 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 9.048 * [taylor]: Taking taylor expansion of 1/60 in im 9.048 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 9.048 * [taylor]: Taking taylor expansion of (pow im 5) in im 9.048 * [taylor]: Taking taylor expansion of im in im 9.049 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 9.049 * [taylor]: Taking taylor expansion of (/ 1 re) in im 9.049 * [taylor]: Taking taylor expansion of re in im 9.049 * [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 9.049 * [taylor]: Taking taylor expansion of -0.5 in re 9.050 * [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 9.050 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 9.050 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 9.050 * [taylor]: Taking taylor expansion of 2 in re 9.050 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.050 * [taylor]: Taking taylor expansion of im in re 9.050 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 9.050 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 9.050 * [taylor]: Taking taylor expansion of 1/3 in re 9.050 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 9.050 * [taylor]: Taking taylor expansion of (pow im 3) in re 9.050 * [taylor]: Taking taylor expansion of im in re 9.050 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 9.050 * [taylor]: Taking taylor expansion of 1/60 in re 9.050 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 9.050 * [taylor]: Taking taylor expansion of (pow im 5) in re 9.050 * [taylor]: Taking taylor expansion of im in re 9.050 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 9.050 * [taylor]: Taking taylor expansion of (/ 1 re) in re 9.050 * [taylor]: Taking taylor expansion of re in re 9.051 * [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 9.051 * [taylor]: Taking taylor expansion of -0.5 in re 9.051 * [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 9.051 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 9.051 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 9.051 * [taylor]: Taking taylor expansion of 2 in re 9.051 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.051 * [taylor]: Taking taylor expansion of im in re 9.051 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 9.051 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 9.051 * [taylor]: Taking taylor expansion of 1/3 in re 9.051 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 9.051 * [taylor]: Taking taylor expansion of (pow im 3) in re 9.051 * [taylor]: Taking taylor expansion of im in re 9.051 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 9.051 * [taylor]: Taking taylor expansion of 1/60 in re 9.051 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 9.051 * [taylor]: Taking taylor expansion of (pow im 5) in re 9.051 * [taylor]: Taking taylor expansion of im in re 9.051 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 9.051 * [taylor]: Taking taylor expansion of (/ 1 re) in re 9.051 * [taylor]: Taking taylor expansion of re in re 9.053 * [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 9.053 * [taylor]: Taking taylor expansion of -0.5 in im 9.053 * [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 9.053 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 9.053 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 9.053 * [taylor]: Taking taylor expansion of 2 in im 9.053 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.053 * [taylor]: Taking taylor expansion of im in im 9.053 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 9.053 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 9.053 * [taylor]: Taking taylor expansion of 1/3 in im 9.053 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 9.053 * [taylor]: Taking taylor expansion of (pow im 3) in im 9.053 * [taylor]: Taking taylor expansion of im in im 9.054 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 9.054 * [taylor]: Taking taylor expansion of 1/60 in im 9.054 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 9.054 * [taylor]: Taking taylor expansion of (pow im 5) in im 9.054 * [taylor]: Taking taylor expansion of im in im 9.055 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 9.055 * [taylor]: Taking taylor expansion of (/ 1 re) in im 9.055 * [taylor]: Taking taylor expansion of re in im 9.060 * [taylor]: Taking taylor expansion of 0 in im 9.070 * [taylor]: Taking taylor expansion of 0 in im 9.084 * [taylor]: Taking taylor expansion of 0 in im 9.106 * [taylor]: Taking taylor expansion of 0 in im 9.118 * [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 9.118 * [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 9.118 * [taylor]: Taking taylor expansion of 0.5 in im 9.118 * [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 9.118 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 9.118 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 9.119 * [taylor]: Taking taylor expansion of 2 in im 9.119 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.119 * [taylor]: Taking taylor expansion of im in im 9.119 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 9.119 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 9.119 * [taylor]: Taking taylor expansion of 1/3 in im 9.119 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 9.119 * [taylor]: Taking taylor expansion of (pow im 3) in im 9.119 * [taylor]: Taking taylor expansion of im in im 9.120 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 9.120 * [taylor]: Taking taylor expansion of 1/60 in im 9.120 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 9.120 * [taylor]: Taking taylor expansion of (pow im 5) in im 9.120 * [taylor]: Taking taylor expansion of im in im 9.121 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 9.121 * [taylor]: Taking taylor expansion of (/ -1 re) in im 9.121 * [taylor]: Taking taylor expansion of -1 in im 9.121 * [taylor]: Taking taylor expansion of re in im 9.121 * [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 9.121 * [taylor]: Taking taylor expansion of 0.5 in re 9.121 * [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 9.121 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 9.121 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 9.121 * [taylor]: Taking taylor expansion of 2 in re 9.121 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.121 * [taylor]: Taking taylor expansion of im in re 9.121 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 9.121 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 9.121 * [taylor]: Taking taylor expansion of 1/3 in re 9.121 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 9.121 * [taylor]: Taking taylor expansion of (pow im 3) in re 9.121 * [taylor]: Taking taylor expansion of im in re 9.121 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 9.121 * [taylor]: Taking taylor expansion of 1/60 in re 9.121 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 9.121 * [taylor]: Taking taylor expansion of (pow im 5) in re 9.121 * [taylor]: Taking taylor expansion of im in re 9.122 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 9.122 * [taylor]: Taking taylor expansion of (/ -1 re) in re 9.122 * [taylor]: Taking taylor expansion of -1 in re 9.122 * [taylor]: Taking taylor expansion of re in re 9.122 * [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 9.122 * [taylor]: Taking taylor expansion of 0.5 in re 9.122 * [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 9.122 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 9.122 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 9.122 * [taylor]: Taking taylor expansion of 2 in re 9.122 * [taylor]: Taking taylor expansion of (/ 1 im) in re 9.122 * [taylor]: Taking taylor expansion of im in re 9.122 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 9.122 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 9.122 * [taylor]: Taking taylor expansion of 1/3 in re 9.122 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 9.122 * [taylor]: Taking taylor expansion of (pow im 3) in re 9.122 * [taylor]: Taking taylor expansion of im in re 9.122 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 9.122 * [taylor]: Taking taylor expansion of 1/60 in re 9.122 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 9.122 * [taylor]: Taking taylor expansion of (pow im 5) in re 9.122 * [taylor]: Taking taylor expansion of im in re 9.123 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 9.123 * [taylor]: Taking taylor expansion of (/ -1 re) in re 9.123 * [taylor]: Taking taylor expansion of -1 in re 9.123 * [taylor]: Taking taylor expansion of re in re 9.124 * [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 9.124 * [taylor]: Taking taylor expansion of 0.5 in im 9.124 * [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 9.124 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 9.124 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 9.124 * [taylor]: Taking taylor expansion of 2 in im 9.124 * [taylor]: Taking taylor expansion of (/ 1 im) in im 9.124 * [taylor]: Taking taylor expansion of im in im 9.125 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 9.125 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 9.125 * [taylor]: Taking taylor expansion of 1/3 in im 9.125 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 9.125 * [taylor]: Taking taylor expansion of (pow im 3) in im 9.125 * [taylor]: Taking taylor expansion of im in im 9.125 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 9.125 * [taylor]: Taking taylor expansion of 1/60 in im 9.126 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 9.126 * [taylor]: Taking taylor expansion of (pow im 5) in im 9.126 * [taylor]: Taking taylor expansion of im in im 9.126 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 9.126 * [taylor]: Taking taylor expansion of (/ -1 re) in im 9.127 * [taylor]: Taking taylor expansion of -1 in im 9.127 * [taylor]: Taking taylor expansion of re in im 9.131 * [taylor]: Taking taylor expansion of 0 in im 9.141 * [taylor]: Taking taylor expansion of 0 in im 9.156 * [taylor]: Taking taylor expansion of 0 in im 9.178 * [taylor]: Taking taylor expansion of 0 in im 9.190 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 9.190 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0 9.190 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 9.190 * [taylor]: Taking taylor expansion of 1/60 in im 9.190 * [taylor]: Taking taylor expansion of (pow im 5) in im 9.190 * [taylor]: Taking taylor expansion of im in im 9.190 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 9.190 * [taylor]: Taking taylor expansion of 1/60 in im 9.190 * [taylor]: Taking taylor expansion of (pow im 5) in im 9.190 * [taylor]: Taking taylor expansion of im in im 9.206 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 9.206 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 9.206 * [taylor]: Taking taylor expansion of 1/60 in im 9.206 * [taylor]: Taking taylor expansion of (pow im 5) in im 9.206 * [taylor]: Taking taylor expansion of im in im 9.207 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 9.207 * [taylor]: Taking taylor expansion of 1/60 in im 9.207 * [taylor]: Taking taylor expansion of (pow im 5) in im 9.207 * [taylor]: Taking taylor expansion of im in im 9.222 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 9.222 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 9.222 * [taylor]: Taking taylor expansion of -1/60 in im 9.222 * [taylor]: Taking taylor expansion of (pow im 5) in im 9.222 * [taylor]: Taking taylor expansion of im in im 9.223 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 9.223 * [taylor]: Taking taylor expansion of -1/60 in im 9.223 * [taylor]: Taking taylor expansion of (pow im 5) in im 9.223 * [taylor]: Taking taylor expansion of im in im 9.238 * * * [progress]: simplifying candidates 9.239 * [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))))) (* (* 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)))) (* (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))) (* (* 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) (* (* 0.5 (cos re)) (+ (sqrt (log (exp (* -1/3 (pow im 3))))) (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (* 0.5 (cos re)) 1) (* (* 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)))) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3))) (* (* 0.5 (cos re)) (- (* (log (exp (* -1/3 (pow im 3)))) (log (exp (* -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)) (* -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)) 9.244 * * [simplify]: iteration 0 : 200 enodes (cost 1686 ) 9.289 * * [simplify]: iteration 1 : 493 enodes (cost 1490 ) 9.472 * * [simplify]: iteration 2 : 1848 enodes (cost 1322 ) 9.970 * * [simplify]: iteration done : 5000 enodes (cost 1322 ) 9.971 * [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) -1/3) 3) (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) -1/3) 3) (* (cbrt (* (pow im 3) -1/3)) (cbrt (* (pow im 3) -1/3))) (cbrt (* (pow im 3) -1/3)) (pow (* (pow im 3) -1/3) 3) (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)) (* -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) (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re))) (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re))) (log (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re)))) (log (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re)))) (log (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re)))) (pow (exp (* 0.5 (cos re))) (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im)))) (pow (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re))) 3) (pow (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re))) 3) (* (cbrt (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re)))) (cbrt (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re))))) (cbrt (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re)))) (pow (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re))) 3) (sqrt (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re)))) (sqrt (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re)))) (* (* 0.5 (cos re)) (* -1/3 (pow im 3))) (* (- (* -1/60 (pow im 5)) (* 2 im)) (* 0.5 (cos re))) (* (cos re) (* (* 2 (log (cbrt (exp (* -1/3 (pow im 3)))))) 0.5)) (* (- (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))) 0 (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* -1/3 (pow im 3))) (* (- (* -1/60 (pow im 5)) (* 2 im)) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* -1/3 (pow im 3))) (* (- (* -1/60 (pow im 5)) (* 2 im)) (* 0.5 (cos re))) (* (cos re) (* (* 2 (log (cbrt (exp (* -1/3 (pow im 3)))))) 0.5)) (* (- (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))) 0 (* (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* -1/3 (pow im 3))) (* (- (* -1/60 (pow im 5)) (* 2 im)) (* 0.5 (cos re))) (* (* (* 0.5 (cos re)) (cbrt (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im))))) (* (sqrt (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* 0.5 (cos re))) (* 0.5 (cos re)) (* (* (cos re) 0.5) (+ (sqrt (* -1/3 (pow im 3))) (sqrt (+ (* 1/60 (pow im 5)) (* 2 im))))) (* 0.5 (cos re)) (* 0.5 (cos re)) (* (cos re) (- (* (pow im 3) -1/3) (+ (* 1/60 (pow im 5)) (* 2 im)))) (* (- (pow (* (pow im 3) -1/3) 3) (pow (+ (* 1/60 (pow im 5)) (* 2 im)) 3)) (* 0.5 (cos re))) (* (* 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))) (* (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)) (* (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)) 9.972 * * * [progress]: adding candidates to table 10.306 * [progress]: [Phase 3 of 3] Extracting. 10.306 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 10.312 * * * [regime-changes]: Trying 4 branch expressions: ((cos re) (* 0.5 (cos re)) im re) 10.312 * * * * [regimes]: Trying to branch on (cos re) from (# # # # # # # # # # #) 10.370 * * * * [regimes]: Trying to branch on (* 0.5 (cos re)) from (# # # # # # # # # # #) 10.428 * * * * [regimes]: Trying to branch on im from (# # # # # # # # # # #) 10.483 * * * * [regimes]: Trying to branch on re from (# # # # # # # # # # #) 10.540 * * * [regime]: Found split indices: #