60.940 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.132 * * * [progress]: [2/2] Setting up program. 0.135 * [progress]: [Phase 2 of 3] Improving. 0.135 * [simplify]: Simplifying using # : (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 0.136 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 0.138 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.140 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 0.146 * * [simplify]: iteration 3 : 89 enodes (cost 12 ) 0.160 * * [simplify]: iteration 4 : 159 enodes (cost 12 ) 0.193 * * [simplify]: iteration 5 : 254 enodes (cost 12 ) 0.257 * * [simplify]: iteration 6 : 586 enodes (cost 12 ) 0.481 * * [simplify]: iteration 7 : 808 enodes (cost 12 ) 1.009 * * [simplify]: iteration 8 : 1145 enodes (cost 12 ) 1.899 * * [simplify]: iteration 9 : 2313 enodes (cost 12 ) 4.688 * * [simplify]: iteration 10 : 3442 enodes (cost 12 ) 10.887 * * [simplify]: iteration 11 : 3726 enodes (cost 12 ) 17.720 * * [simplify]: iteration 12 : 4056 enodes (cost 12 ) 25.303 * * [simplify]: iteration 13 : 4345 enodes (cost 12 ) 34.049 * * [simplify]: iteration 14 : 4580 enodes (cost 12 ) 43.657 * * [simplify]: iteration 15 : 4855 enodes (cost 12 ) 49.423 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 49.423 * [simplify]: Simplified to: (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 49.425 * * [progress]: iteration 1 / 4 49.425 * * * [progress]: picking best candidate 49.427 * * * * [pick]: Picked # 49.427 * * * [progress]: localizing error 49.441 * * * [progress]: generating rewritten candidates 49.441 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 49.467 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 49.525 * * * [progress]: generating series expansions 49.525 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 49.525 * [approximate]: Taking taylor expansion of (- (exp (- im)) (exp im)) in (im) around 0 49.525 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 49.525 * [taylor]: Taking taylor expansion of (exp (- im)) in im 49.525 * [taylor]: Taking taylor expansion of (- im) in im 49.525 * [taylor]: Taking taylor expansion of im in im 49.526 * [taylor]: Taking taylor expansion of (exp im) in im 49.526 * [taylor]: Taking taylor expansion of im in im 49.526 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 49.526 * [taylor]: Taking taylor expansion of (exp (- im)) in im 49.526 * [taylor]: Taking taylor expansion of (- im) in im 49.526 * [taylor]: Taking taylor expansion of im in im 49.526 * [taylor]: Taking taylor expansion of (exp im) in im 49.527 * [taylor]: Taking taylor expansion of im in im 49.551 * [approximate]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 49.551 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 49.551 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 49.551 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 49.551 * [taylor]: Taking taylor expansion of (/ 1 im) in im 49.551 * [taylor]: Taking taylor expansion of im in im 49.552 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 49.552 * [taylor]: Taking taylor expansion of (/ 1 im) in im 49.552 * [taylor]: Taking taylor expansion of im in im 49.552 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 49.552 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 49.552 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 49.552 * [taylor]: Taking taylor expansion of (/ 1 im) in im 49.552 * [taylor]: Taking taylor expansion of im in im 49.553 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 49.553 * [taylor]: Taking taylor expansion of (/ 1 im) in im 49.553 * [taylor]: Taking taylor expansion of im in im 49.556 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0 49.557 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 49.557 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 49.557 * [taylor]: Taking taylor expansion of (/ 1 im) in im 49.557 * [taylor]: Taking taylor expansion of im in im 49.557 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 49.557 * [taylor]: Taking taylor expansion of (/ -1 im) in im 49.557 * [taylor]: Taking taylor expansion of -1 in im 49.557 * [taylor]: Taking taylor expansion of im in im 49.557 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 49.557 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 49.557 * [taylor]: Taking taylor expansion of (/ 1 im) in im 49.557 * [taylor]: Taking taylor expansion of im in im 49.558 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 49.558 * [taylor]: Taking taylor expansion of (/ -1 im) in im 49.558 * [taylor]: Taking taylor expansion of -1 in im 49.558 * [taylor]: Taking taylor expansion of im in im 49.561 * * * * [progress]: [ 2 / 2 ] generating series at (2) 49.561 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in (re im) around 0 49.561 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in im 49.561 * [taylor]: Taking taylor expansion of 0.5 in im 49.561 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in im 49.561 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 49.561 * [taylor]: Taking taylor expansion of (exp (- im)) in im 49.561 * [taylor]: Taking taylor expansion of (- im) in im 49.561 * [taylor]: Taking taylor expansion of im in im 49.562 * [taylor]: Taking taylor expansion of (exp im) in im 49.562 * [taylor]: Taking taylor expansion of im in im 49.562 * [taylor]: Taking taylor expansion of (cos re) in im 49.562 * [taylor]: Taking taylor expansion of re in im 49.562 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in re 49.562 * [taylor]: Taking taylor expansion of 0.5 in re 49.562 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in re 49.562 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re 49.562 * [taylor]: Taking taylor expansion of (exp (- im)) in re 49.562 * [taylor]: Taking taylor expansion of (- im) in re 49.562 * [taylor]: Taking taylor expansion of im in re 49.562 * [taylor]: Taking taylor expansion of (exp im) in re 49.562 * [taylor]: Taking taylor expansion of im in re 49.562 * [taylor]: Taking taylor expansion of (cos re) in re 49.562 * [taylor]: Taking taylor expansion of re in re 49.562 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in re 49.562 * [taylor]: Taking taylor expansion of 0.5 in re 49.562 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in re 49.562 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re 49.562 * [taylor]: Taking taylor expansion of (exp (- im)) in re 49.562 * [taylor]: Taking taylor expansion of (- im) in re 49.562 * [taylor]: Taking taylor expansion of im in re 49.562 * [taylor]: Taking taylor expansion of (exp im) in re 49.562 * [taylor]: Taking taylor expansion of im in re 49.562 * [taylor]: Taking taylor expansion of (cos re) in re 49.562 * [taylor]: Taking taylor expansion of re in re 49.563 * [taylor]: Taking taylor expansion of (* 0.5 (- (exp (- im)) (exp im))) in im 49.563 * [taylor]: Taking taylor expansion of 0.5 in im 49.563 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 49.563 * [taylor]: Taking taylor expansion of (exp (- im)) in im 49.563 * [taylor]: Taking taylor expansion of (- im) in im 49.563 * [taylor]: Taking taylor expansion of im in im 49.563 * [taylor]: Taking taylor expansion of (exp im) in im 49.563 * [taylor]: Taking taylor expansion of im in im 49.567 * [taylor]: Taking taylor expansion of 0 in im 49.573 * [taylor]: Taking taylor expansion of (- (* 0.25 (exp im)) (* 0.25 (exp (- im)))) in im 49.573 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im 49.573 * [taylor]: Taking taylor expansion of 0.25 in im 49.573 * [taylor]: Taking taylor expansion of (exp im) in im 49.574 * [taylor]: Taking taylor expansion of im in im 49.574 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- im))) in im 49.574 * [taylor]: Taking taylor expansion of 0.25 in im 49.574 * [taylor]: Taking taylor expansion of (exp (- im)) in im 49.574 * [taylor]: Taking taylor expansion of (- im) in im 49.574 * [taylor]: Taking taylor expansion of im in im 49.584 * [taylor]: Taking taylor expansion of 0 in im 49.594 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 49.594 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 49.594 * [taylor]: Taking taylor expansion of 0.5 in im 49.594 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 49.594 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 49.594 * [taylor]: Taking taylor expansion of (/ 1 re) in im 49.594 * [taylor]: Taking taylor expansion of re in im 49.594 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 49.594 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 49.594 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 49.594 * [taylor]: Taking taylor expansion of (/ 1 im) in im 49.594 * [taylor]: Taking taylor expansion of im in im 49.595 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 49.595 * [taylor]: Taking taylor expansion of (/ 1 im) in im 49.595 * [taylor]: Taking taylor expansion of im in im 49.595 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 49.595 * [taylor]: Taking taylor expansion of 0.5 in re 49.595 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 49.595 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 49.595 * [taylor]: Taking taylor expansion of (/ 1 re) in re 49.595 * [taylor]: Taking taylor expansion of re in re 49.596 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re 49.596 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 49.596 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 49.596 * [taylor]: Taking taylor expansion of (/ 1 im) in re 49.596 * [taylor]: Taking taylor expansion of im in re 49.596 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 49.596 * [taylor]: Taking taylor expansion of (/ 1 im) in re 49.596 * [taylor]: Taking taylor expansion of im in re 49.596 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 49.596 * [taylor]: Taking taylor expansion of 0.5 in re 49.596 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 49.596 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 49.596 * [taylor]: Taking taylor expansion of (/ 1 re) in re 49.596 * [taylor]: Taking taylor expansion of re in re 49.597 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re 49.597 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 49.597 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 49.597 * [taylor]: Taking taylor expansion of (/ 1 im) in re 49.597 * [taylor]: Taking taylor expansion of im in re 49.597 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 49.597 * [taylor]: Taking taylor expansion of (/ 1 im) in re 49.597 * [taylor]: Taking taylor expansion of im in re 49.600 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 49.600 * [taylor]: Taking taylor expansion of 0.5 in im 49.600 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 49.600 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 49.600 * [taylor]: Taking taylor expansion of (/ 1 re) in im 49.600 * [taylor]: Taking taylor expansion of re in im 49.601 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 49.601 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 49.601 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 49.601 * [taylor]: Taking taylor expansion of (/ 1 im) in im 49.601 * [taylor]: Taking taylor expansion of im in im 49.601 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 49.601 * [taylor]: Taking taylor expansion of (/ 1 im) in im 49.601 * [taylor]: Taking taylor expansion of im in im 49.605 * [taylor]: Taking taylor expansion of 0 in im 49.611 * [taylor]: Taking taylor expansion of 0 in im 49.620 * [taylor]: Taking taylor expansion of 0 in im 49.620 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in (re im) around 0 49.620 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 49.621 * [taylor]: Taking taylor expansion of 0.5 in im 49.621 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 49.621 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 49.621 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 49.621 * [taylor]: Taking taylor expansion of (/ 1 im) in im 49.621 * [taylor]: Taking taylor expansion of im in im 49.621 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 49.621 * [taylor]: Taking taylor expansion of (/ -1 im) in im 49.621 * [taylor]: Taking taylor expansion of -1 in im 49.621 * [taylor]: Taking taylor expansion of im in im 49.621 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 49.621 * [taylor]: Taking taylor expansion of (/ -1 re) in im 49.621 * [taylor]: Taking taylor expansion of -1 in im 49.621 * [taylor]: Taking taylor expansion of re in im 49.621 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 49.621 * [taylor]: Taking taylor expansion of 0.5 in re 49.622 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 49.622 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 49.622 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 49.622 * [taylor]: Taking taylor expansion of (/ 1 im) in re 49.622 * [taylor]: Taking taylor expansion of im in re 49.622 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 49.622 * [taylor]: Taking taylor expansion of (/ -1 im) in re 49.622 * [taylor]: Taking taylor expansion of -1 in re 49.622 * [taylor]: Taking taylor expansion of im in re 49.622 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 49.622 * [taylor]: Taking taylor expansion of (/ -1 re) in re 49.622 * [taylor]: Taking taylor expansion of -1 in re 49.622 * [taylor]: Taking taylor expansion of re in re 49.622 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 49.622 * [taylor]: Taking taylor expansion of 0.5 in re 49.622 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 49.622 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 49.622 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 49.622 * [taylor]: Taking taylor expansion of (/ 1 im) in re 49.622 * [taylor]: Taking taylor expansion of im in re 49.622 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 49.622 * [taylor]: Taking taylor expansion of (/ -1 im) in re 49.622 * [taylor]: Taking taylor expansion of -1 in re 49.622 * [taylor]: Taking taylor expansion of im in re 49.622 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 49.622 * [taylor]: Taking taylor expansion of (/ -1 re) in re 49.622 * [taylor]: Taking taylor expansion of -1 in re 49.622 * [taylor]: Taking taylor expansion of re in re 49.623 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 49.623 * [taylor]: Taking taylor expansion of 0.5 in im 49.623 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 49.623 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 49.623 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 49.623 * [taylor]: Taking taylor expansion of (/ 1 im) in im 49.623 * [taylor]: Taking taylor expansion of im in im 49.624 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 49.624 * [taylor]: Taking taylor expansion of (/ -1 im) in im 49.624 * [taylor]: Taking taylor expansion of -1 in im 49.624 * [taylor]: Taking taylor expansion of im in im 49.624 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 49.624 * [taylor]: Taking taylor expansion of (/ -1 re) in im 49.624 * [taylor]: Taking taylor expansion of -1 in im 49.624 * [taylor]: Taking taylor expansion of re in im 49.627 * [taylor]: Taking taylor expansion of 0 in im 49.633 * [taylor]: Taking taylor expansion of 0 in im 49.641 * [taylor]: Taking taylor expansion of 0 in im 49.641 * * * [progress]: simplifying candidates 49.642 * [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)))) 49.645 * * [simplify]: iteration 0 : 103 enodes (cost 679 ) 49.664 * * [simplify]: iteration 1 : 272 enodes (cost 661 ) 49.728 * * [simplify]: iteration 2 : 1017 enodes (cost 568 )