0.552 * [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.145 * * [simplify]: iteration 3 : 89 enodes (cost 12 ) 0.158 * * [simplify]: iteration 4 : 159 enodes (cost 12 ) 0.187 * * [simplify]: iteration 5 : 254 enodes (cost 12 ) 0.245 * * [simplify]: iteration 6 : 586 enodes (cost 12 ) 0.449 * * [simplify]: iteration 7 : 808 enodes (cost 12 ) 0.925 * * [simplify]: iteration 8 : 1145 enodes (cost 12 ) 1.733 * * [simplify]: iteration 9 : 2313 enodes (cost 12 ) 4.513 * * [simplify]: iteration 10 : 3442 enodes (cost 12 ) 9.985 * * [simplify]: iteration 11 : 3726 enodes (cost 12 ) 16.255 * * [simplify]: iteration 12 : 4056 enodes (cost 12 ) 23.429 * * [simplify]: iteration 13 : 4345 enodes (cost 12 ) 31.491 * * [simplify]: iteration 14 : 4580 enodes (cost 12 ) 40.013 * * [simplify]: iteration 15 : 4855 enodes (cost 12 ) 45.453 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 45.453 * [simplify]: Simplified to: (* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im))) 45.453 * * [progress]: iteration 1 / 4 45.453 * * * [progress]: picking best candidate 45.456 * * * * [pick]: Picked # 45.456 * * * [progress]: localizing error 45.466 * * * [progress]: generating rewritten candidates 45.466 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 45.494 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 45.549 * * * [progress]: generating series expansions 45.549 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 45.550 * [approximate]: Taking taylor expansion of (- (exp (- im)) (exp im)) in (im) around 0 45.550 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 45.550 * [taylor]: Taking taylor expansion of (exp (- im)) in im 45.550 * [taylor]: Taking taylor expansion of (- im) in im 45.550 * [taylor]: Taking taylor expansion of im in im 45.551 * [taylor]: Taking taylor expansion of (exp im) in im 45.551 * [taylor]: Taking taylor expansion of im in im 45.551 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 45.551 * [taylor]: Taking taylor expansion of (exp (- im)) in im 45.551 * [taylor]: Taking taylor expansion of (- im) in im 45.551 * [taylor]: Taking taylor expansion of im in im 45.551 * [taylor]: Taking taylor expansion of (exp im) in im 45.551 * [taylor]: Taking taylor expansion of im in im 45.577 * [approximate]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 45.577 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 45.577 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 45.577 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 45.577 * [taylor]: Taking taylor expansion of (/ 1 im) in im 45.577 * [taylor]: Taking taylor expansion of im in im 45.578 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 45.578 * [taylor]: Taking taylor expansion of (/ 1 im) in im 45.578 * [taylor]: Taking taylor expansion of im in im 45.578 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 45.578 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 45.578 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 45.578 * [taylor]: Taking taylor expansion of (/ 1 im) in im 45.578 * [taylor]: Taking taylor expansion of im in im 45.578 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 45.578 * [taylor]: Taking taylor expansion of (/ 1 im) in im 45.578 * [taylor]: Taking taylor expansion of im in im 45.582 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0 45.582 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 45.582 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 45.582 * [taylor]: Taking taylor expansion of (/ 1 im) in im 45.582 * [taylor]: Taking taylor expansion of im in im 45.582 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 45.582 * [taylor]: Taking taylor expansion of (/ -1 im) in im 45.582 * [taylor]: Taking taylor expansion of -1 in im 45.582 * [taylor]: Taking taylor expansion of im in im 45.583 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 45.583 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 45.583 * [taylor]: Taking taylor expansion of (/ 1 im) in im 45.583 * [taylor]: Taking taylor expansion of im in im 45.583 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 45.583 * [taylor]: Taking taylor expansion of (/ -1 im) in im 45.583 * [taylor]: Taking taylor expansion of -1 in im 45.583 * [taylor]: Taking taylor expansion of im in im 45.586 * * * * [progress]: [ 2 / 2 ] generating series at (2) 45.587 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in (re im) around 0 45.587 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in im 45.587 * [taylor]: Taking taylor expansion of 0.5 in im 45.587 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in im 45.587 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 45.587 * [taylor]: Taking taylor expansion of (exp (- im)) in im 45.587 * [taylor]: Taking taylor expansion of (- im) in im 45.587 * [taylor]: Taking taylor expansion of im in im 45.587 * [taylor]: Taking taylor expansion of (exp im) in im 45.587 * [taylor]: Taking taylor expansion of im in im 45.587 * [taylor]: Taking taylor expansion of (cos re) in im 45.587 * [taylor]: Taking taylor expansion of re in im 45.587 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in re 45.587 * [taylor]: Taking taylor expansion of 0.5 in re 45.587 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in re 45.587 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re 45.587 * [taylor]: Taking taylor expansion of (exp (- im)) in re 45.587 * [taylor]: Taking taylor expansion of (- im) in re 45.587 * [taylor]: Taking taylor expansion of im in re 45.588 * [taylor]: Taking taylor expansion of (exp im) in re 45.588 * [taylor]: Taking taylor expansion of im in re 45.588 * [taylor]: Taking taylor expansion of (cos re) in re 45.588 * [taylor]: Taking taylor expansion of re in re 45.588 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (- im)) (exp im)) (cos re))) in re 45.588 * [taylor]: Taking taylor expansion of 0.5 in re 45.588 * [taylor]: Taking taylor expansion of (* (- (exp (- im)) (exp im)) (cos re)) in re 45.588 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in re 45.588 * [taylor]: Taking taylor expansion of (exp (- im)) in re 45.588 * [taylor]: Taking taylor expansion of (- im) in re 45.588 * [taylor]: Taking taylor expansion of im in re 45.588 * [taylor]: Taking taylor expansion of (exp im) in re 45.588 * [taylor]: Taking taylor expansion of im in re 45.588 * [taylor]: Taking taylor expansion of (cos re) in re 45.588 * [taylor]: Taking taylor expansion of re in re 45.588 * [taylor]: Taking taylor expansion of (* 0.5 (- (exp (- im)) (exp im))) in im 45.588 * [taylor]: Taking taylor expansion of 0.5 in im 45.588 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 45.588 * [taylor]: Taking taylor expansion of (exp (- im)) in im 45.588 * [taylor]: Taking taylor expansion of (- im) in im 45.588 * [taylor]: Taking taylor expansion of im in im 45.589 * [taylor]: Taking taylor expansion of (exp im) in im 45.589 * [taylor]: Taking taylor expansion of im in im 45.592 * [taylor]: Taking taylor expansion of 0 in im 45.599 * [taylor]: Taking taylor expansion of (- (* 0.25 (exp im)) (* 0.25 (exp (- im)))) in im 45.599 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im 45.599 * [taylor]: Taking taylor expansion of 0.25 in im 45.599 * [taylor]: Taking taylor expansion of (exp im) in im 45.599 * [taylor]: Taking taylor expansion of im in im 45.599 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- im))) in im 45.599 * [taylor]: Taking taylor expansion of 0.25 in im 45.599 * [taylor]: Taking taylor expansion of (exp (- im)) in im 45.599 * [taylor]: Taking taylor expansion of (- im) in im 45.599 * [taylor]: Taking taylor expansion of im in im 45.609 * [taylor]: Taking taylor expansion of 0 in im 45.619 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 45.619 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 45.619 * [taylor]: Taking taylor expansion of 0.5 in im 45.619 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 45.619 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 45.619 * [taylor]: Taking taylor expansion of (/ 1 re) in im 45.619 * [taylor]: Taking taylor expansion of re in im 45.619 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 45.619 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 45.619 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 45.619 * [taylor]: Taking taylor expansion of (/ 1 im) in im 45.619 * [taylor]: Taking taylor expansion of im in im 45.620 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 45.620 * [taylor]: Taking taylor expansion of (/ 1 im) in im 45.620 * [taylor]: Taking taylor expansion of im in im 45.620 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 45.620 * [taylor]: Taking taylor expansion of 0.5 in re 45.620 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 45.620 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 45.620 * [taylor]: Taking taylor expansion of (/ 1 re) in re 45.620 * [taylor]: Taking taylor expansion of re in re 45.620 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re 45.621 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 45.621 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 45.621 * [taylor]: Taking taylor expansion of (/ 1 im) in re 45.621 * [taylor]: Taking taylor expansion of im in re 45.621 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 45.621 * [taylor]: Taking taylor expansion of (/ 1 im) in re 45.621 * [taylor]: Taking taylor expansion of im in re 45.621 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 45.621 * [taylor]: Taking taylor expansion of 0.5 in re 45.621 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 45.621 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 45.621 * [taylor]: Taking taylor expansion of (/ 1 re) in re 45.621 * [taylor]: Taking taylor expansion of re in re 45.621 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in re 45.621 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 45.621 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 45.621 * [taylor]: Taking taylor expansion of (/ 1 im) in re 45.621 * [taylor]: Taking taylor expansion of im in re 45.621 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 45.621 * [taylor]: Taking taylor expansion of (/ 1 im) in re 45.621 * [taylor]: Taking taylor expansion of im in re 45.622 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 45.622 * [taylor]: Taking taylor expansion of 0.5 in im 45.622 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (- (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 45.622 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 45.622 * [taylor]: Taking taylor expansion of (/ 1 re) in im 45.622 * [taylor]: Taking taylor expansion of re in im 45.622 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 im))) (exp (/ 1 im))) in im 45.622 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 45.622 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 45.622 * [taylor]: Taking taylor expansion of (/ 1 im) in im 45.622 * [taylor]: Taking taylor expansion of im in im 45.623 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 45.623 * [taylor]: Taking taylor expansion of (/ 1 im) in im 45.623 * [taylor]: Taking taylor expansion of im in im 45.626 * [taylor]: Taking taylor expansion of 0 in im 45.632 * [taylor]: Taking taylor expansion of 0 in im 45.644 * [taylor]: Taking taylor expansion of 0 in im 45.644 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in (re im) around 0 45.644 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 45.644 * [taylor]: Taking taylor expansion of 0.5 in im 45.644 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 45.644 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 45.644 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 45.644 * [taylor]: Taking taylor expansion of (/ 1 im) in im 45.644 * [taylor]: Taking taylor expansion of im in im 45.645 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 45.645 * [taylor]: Taking taylor expansion of (/ -1 im) in im 45.645 * [taylor]: Taking taylor expansion of -1 in im 45.645 * [taylor]: Taking taylor expansion of im in im 45.645 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 45.645 * [taylor]: Taking taylor expansion of (/ -1 re) in im 45.645 * [taylor]: Taking taylor expansion of -1 in im 45.645 * [taylor]: Taking taylor expansion of re in im 45.645 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 45.645 * [taylor]: Taking taylor expansion of 0.5 in re 45.645 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 45.645 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 45.645 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 45.645 * [taylor]: Taking taylor expansion of (/ 1 im) in re 45.645 * [taylor]: Taking taylor expansion of im in re 45.645 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 45.645 * [taylor]: Taking taylor expansion of (/ -1 im) in re 45.645 * [taylor]: Taking taylor expansion of -1 in re 45.645 * [taylor]: Taking taylor expansion of im in re 45.646 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 45.646 * [taylor]: Taking taylor expansion of (/ -1 re) in re 45.646 * [taylor]: Taking taylor expansion of -1 in re 45.646 * [taylor]: Taking taylor expansion of re in re 45.646 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in re 45.646 * [taylor]: Taking taylor expansion of 0.5 in re 45.646 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in re 45.646 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 45.646 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 45.646 * [taylor]: Taking taylor expansion of (/ 1 im) in re 45.646 * [taylor]: Taking taylor expansion of im in re 45.646 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 45.646 * [taylor]: Taking taylor expansion of (/ -1 im) in re 45.646 * [taylor]: Taking taylor expansion of -1 in re 45.646 * [taylor]: Taking taylor expansion of im in re 45.646 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 45.646 * [taylor]: Taking taylor expansion of (/ -1 re) in re 45.646 * [taylor]: Taking taylor expansion of -1 in re 45.646 * [taylor]: Taking taylor expansion of re in re 45.647 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re)))) in im 45.647 * [taylor]: Taking taylor expansion of 0.5 in im 45.647 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (cos (/ -1 re))) in im 45.647 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 45.647 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 45.647 * [taylor]: Taking taylor expansion of (/ 1 im) in im 45.647 * [taylor]: Taking taylor expansion of im in im 45.648 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 45.648 * [taylor]: Taking taylor expansion of (/ -1 im) in im 45.648 * [taylor]: Taking taylor expansion of -1 in im 45.648 * [taylor]: Taking taylor expansion of im in im 45.648 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 45.648 * [taylor]: Taking taylor expansion of (/ -1 re) in im 45.648 * [taylor]: Taking taylor expansion of -1 in im 45.648 * [taylor]: Taking taylor expansion of re in im 45.651 * [taylor]: Taking taylor expansion of 0 in im 45.657 * [taylor]: Taking taylor expansion of 0 in im 45.664 * [taylor]: Taking taylor expansion of 0 in im 45.665 * * * [progress]: simplifying candidates 45.665 * [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)))) 45.668 * * [simplify]: iteration 0 : 103 enodes (cost 679 ) 45.685 * * [simplify]: iteration 1 : 272 enodes (cost 661 ) 45.741 * * [simplify]: iteration 2 : 1017 enodes (cost 568 )