11.204 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.089 * * * [progress]: [2/2] Setting up program. 0.091 * [progress]: [Phase 2 of 3] Improving. 0.092 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.093 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 0.094 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 0.098 * * [simplify]: iteration 2 : 62 enodes (cost 12 ) 0.111 * * [simplify]: iteration 3 : 117 enodes (cost 12 ) 0.128 * * [simplify]: iteration 4 : 191 enodes (cost 12 ) 0.159 * * [simplify]: iteration 5 : 363 enodes (cost 12 ) 0.267 * * [simplify]: iteration 6 : 681 enodes (cost 12 ) 0.583 * * [simplify]: iteration 7 : 855 enodes (cost 12 ) 1.150 * * [simplify]: iteration 8 : 1330 enodes (cost 12 ) 2.393 * * [simplify]: iteration 9 : 2557 enodes (cost 12 ) 11.412 * * [simplify]: iteration 10 : 4729 enodes (cost 12 ) 28.099 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 28.099 * [simplify]: Simplified to: (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 28.100 * * [progress]: iteration 1 / 4 28.100 * * * [progress]: picking best candidate 28.102 * * * * [pick]: Picked # 28.102 * * * [progress]: localizing error 28.112 * * * [progress]: generating rewritten candidates 28.112 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 28.184 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 28.218 * * * [progress]: generating series expansions 28.218 * * * * [progress]: [ 1 / 2 ] generating series at (2) 28.218 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in (re im) around 0 28.218 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in im 28.218 * [taylor]: Taking taylor expansion of 0.5 in im 28.218 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in im 28.218 * [taylor]: Taking taylor expansion of (sin re) in im 28.218 * [taylor]: Taking taylor expansion of re in im 28.218 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 28.218 * [taylor]: Taking taylor expansion of (exp im) in im 28.218 * [taylor]: Taking taylor expansion of im in im 28.218 * [taylor]: Taking taylor expansion of (exp (- im)) in im 28.218 * [taylor]: Taking taylor expansion of (- im) in im 28.218 * [taylor]: Taking taylor expansion of im in im 28.219 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 28.219 * [taylor]: Taking taylor expansion of 0.5 in re 28.219 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 28.219 * [taylor]: Taking taylor expansion of (sin re) in re 28.219 * [taylor]: Taking taylor expansion of re in re 28.219 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 28.219 * [taylor]: Taking taylor expansion of (exp im) in re 28.219 * [taylor]: Taking taylor expansion of im in re 28.219 * [taylor]: Taking taylor expansion of (exp (- im)) in re 28.219 * [taylor]: Taking taylor expansion of (- im) in re 28.219 * [taylor]: Taking taylor expansion of im in re 28.219 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 28.219 * [taylor]: Taking taylor expansion of 0.5 in re 28.219 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 28.219 * [taylor]: Taking taylor expansion of (sin re) in re 28.219 * [taylor]: Taking taylor expansion of re in re 28.219 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 28.219 * [taylor]: Taking taylor expansion of (exp im) in re 28.219 * [taylor]: Taking taylor expansion of im in re 28.219 * [taylor]: Taking taylor expansion of (exp (- im)) in re 28.219 * [taylor]: Taking taylor expansion of (- im) in re 28.219 * [taylor]: Taking taylor expansion of im in re 28.220 * [taylor]: Taking taylor expansion of 0 in im 28.223 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (- im)))) in im 28.223 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 28.223 * [taylor]: Taking taylor expansion of 0.5 in im 28.223 * [taylor]: Taking taylor expansion of (exp im) in im 28.223 * [taylor]: Taking taylor expansion of im in im 28.223 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 28.223 * [taylor]: Taking taylor expansion of 0.5 in im 28.223 * [taylor]: Taking taylor expansion of (exp (- im)) in im 28.223 * [taylor]: Taking taylor expansion of (- im) in im 28.223 * [taylor]: Taking taylor expansion of im in im 28.228 * [taylor]: Taking taylor expansion of 0 in im 28.237 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im))))) in im 28.237 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im 28.237 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 28.237 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 28.237 * [taylor]: Taking taylor expansion of (exp im) in im 28.237 * [taylor]: Taking taylor expansion of im in im 28.237 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 28.237 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 28.237 * [taylor]: Taking taylor expansion of (exp (- im)) in im 28.237 * [taylor]: Taking taylor expansion of (- im) in im 28.237 * [taylor]: Taking taylor expansion of im in im 28.244 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 28.244 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 28.244 * [taylor]: Taking taylor expansion of 0.5 in im 28.244 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 28.244 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 28.244 * [taylor]: Taking taylor expansion of (/ 1 re) in im 28.244 * [taylor]: Taking taylor expansion of re in im 28.244 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 28.244 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 28.244 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 28.244 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.244 * [taylor]: Taking taylor expansion of im in im 28.245 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.245 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.245 * [taylor]: Taking taylor expansion of im in im 28.245 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 28.245 * [taylor]: Taking taylor expansion of 0.5 in re 28.245 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 28.245 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 28.245 * [taylor]: Taking taylor expansion of (/ 1 re) in re 28.245 * [taylor]: Taking taylor expansion of re in re 28.246 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 28.246 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 28.246 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 28.246 * [taylor]: Taking taylor expansion of (/ 1 im) in re 28.246 * [taylor]: Taking taylor expansion of im in re 28.246 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 28.246 * [taylor]: Taking taylor expansion of (/ 1 im) in re 28.246 * [taylor]: Taking taylor expansion of im in re 28.246 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 28.246 * [taylor]: Taking taylor expansion of 0.5 in re 28.246 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 28.246 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 28.246 * [taylor]: Taking taylor expansion of (/ 1 re) in re 28.246 * [taylor]: Taking taylor expansion of re in re 28.246 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 28.246 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 28.246 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 28.246 * [taylor]: Taking taylor expansion of (/ 1 im) in re 28.246 * [taylor]: Taking taylor expansion of im in re 28.246 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 28.247 * [taylor]: Taking taylor expansion of (/ 1 im) in re 28.247 * [taylor]: Taking taylor expansion of im in re 28.247 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 28.247 * [taylor]: Taking taylor expansion of 0.5 in im 28.247 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 28.247 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 28.247 * [taylor]: Taking taylor expansion of (/ 1 re) in im 28.247 * [taylor]: Taking taylor expansion of re in im 28.247 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 28.247 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 28.247 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 28.247 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.247 * [taylor]: Taking taylor expansion of im in im 28.248 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.248 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.248 * [taylor]: Taking taylor expansion of im in im 28.251 * [taylor]: Taking taylor expansion of 0 in im 28.257 * [taylor]: Taking taylor expansion of 0 in im 28.264 * [taylor]: Taking taylor expansion of 0 in im 28.265 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0 28.265 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 28.265 * [taylor]: Taking taylor expansion of 0.5 in im 28.265 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 28.265 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 28.265 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 28.265 * [taylor]: Taking taylor expansion of (/ -1 im) in im 28.265 * [taylor]: Taking taylor expansion of -1 in im 28.265 * [taylor]: Taking taylor expansion of im in im 28.265 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.265 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.265 * [taylor]: Taking taylor expansion of im in im 28.265 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 28.265 * [taylor]: Taking taylor expansion of (/ -1 re) in im 28.265 * [taylor]: Taking taylor expansion of -1 in im 28.266 * [taylor]: Taking taylor expansion of re in im 28.266 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 28.266 * [taylor]: Taking taylor expansion of 0.5 in re 28.266 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 28.266 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 28.266 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 28.266 * [taylor]: Taking taylor expansion of (/ -1 im) in re 28.266 * [taylor]: Taking taylor expansion of -1 in re 28.266 * [taylor]: Taking taylor expansion of im in re 28.266 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 28.266 * [taylor]: Taking taylor expansion of (/ 1 im) in re 28.266 * [taylor]: Taking taylor expansion of im in re 28.266 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 28.266 * [taylor]: Taking taylor expansion of (/ -1 re) in re 28.266 * [taylor]: Taking taylor expansion of -1 in re 28.266 * [taylor]: Taking taylor expansion of re in re 28.266 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 28.266 * [taylor]: Taking taylor expansion of 0.5 in re 28.266 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 28.266 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 28.266 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 28.266 * [taylor]: Taking taylor expansion of (/ -1 im) in re 28.266 * [taylor]: Taking taylor expansion of -1 in re 28.266 * [taylor]: Taking taylor expansion of im in re 28.266 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 28.266 * [taylor]: Taking taylor expansion of (/ 1 im) in re 28.266 * [taylor]: Taking taylor expansion of im in re 28.267 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 28.267 * [taylor]: Taking taylor expansion of (/ -1 re) in re 28.267 * [taylor]: Taking taylor expansion of -1 in re 28.267 * [taylor]: Taking taylor expansion of re in re 28.267 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 28.267 * [taylor]: Taking taylor expansion of 0.5 in im 28.267 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 28.267 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 28.267 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 28.267 * [taylor]: Taking taylor expansion of (/ -1 im) in im 28.267 * [taylor]: Taking taylor expansion of -1 in im 28.267 * [taylor]: Taking taylor expansion of im in im 28.268 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.268 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.268 * [taylor]: Taking taylor expansion of im in im 28.268 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 28.268 * [taylor]: Taking taylor expansion of (/ -1 re) in im 28.268 * [taylor]: Taking taylor expansion of -1 in im 28.268 * [taylor]: Taking taylor expansion of re in im 28.270 * [taylor]: Taking taylor expansion of 0 in im 28.276 * [taylor]: Taking taylor expansion of 0 in im 28.282 * [taylor]: Taking taylor expansion of 0 in im 28.285 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 28.286 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (- im))) in (im) around 0 28.286 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 28.286 * [taylor]: Taking taylor expansion of (exp im) in im 28.286 * [taylor]: Taking taylor expansion of im in im 28.286 * [taylor]: Taking taylor expansion of (exp (- im)) in im 28.286 * [taylor]: Taking taylor expansion of (- im) in im 28.286 * [taylor]: Taking taylor expansion of im in im 28.286 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 28.286 * [taylor]: Taking taylor expansion of (exp im) in im 28.286 * [taylor]: Taking taylor expansion of im in im 28.286 * [taylor]: Taking taylor expansion of (exp (- im)) in im 28.286 * [taylor]: Taking taylor expansion of (- im) in im 28.286 * [taylor]: Taking taylor expansion of im in im 28.301 * [approximate]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 28.301 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 28.301 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 28.301 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 28.301 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.301 * [taylor]: Taking taylor expansion of im in im 28.301 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.301 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.301 * [taylor]: Taking taylor expansion of im in im 28.302 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 28.302 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 28.302 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 28.302 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.302 * [taylor]: Taking taylor expansion of im in im 28.302 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.302 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.302 * [taylor]: Taking taylor expansion of im in im 28.304 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 28.304 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 28.304 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 28.304 * [taylor]: Taking taylor expansion of (/ -1 im) in im 28.304 * [taylor]: Taking taylor expansion of -1 in im 28.304 * [taylor]: Taking taylor expansion of im in im 28.305 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.305 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.305 * [taylor]: Taking taylor expansion of im in im 28.305 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 28.305 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 28.305 * [taylor]: Taking taylor expansion of (/ -1 im) in im 28.305 * [taylor]: Taking taylor expansion of -1 in im 28.305 * [taylor]: Taking taylor expansion of im in im 28.305 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 28.305 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.305 * [taylor]: Taking taylor expansion of im in im 28.307 * * * [progress]: simplifying candidates 28.308 * [simplify]: Simplifying using # : (expm1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log1p (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (+ (+ (log 0.5) (log (sin re))) (log (+ (exp (- 0.0 im)) (exp im)))) (+ (log (* 0.5 (sin re))) (log (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im)))) (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im)) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) 1) (* (* 0.5 (sin re)) 1) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))) (expm1 (+ (exp (- 0.0 im)) (exp im))) (log1p (+ (exp (- 0.0 im)) (exp im))) (* (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 (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im))) (- (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im)) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (- im))) (+ (exp (* -1 im)) (exp im)) 28.311 * * [simplify]: iteration 0 : 97 enodes (cost 642 ) 28.328 * * [simplify]: iteration 1 : 279 enodes (cost 622 ) 28.390 * * [simplify]: iteration 2 : 1093 enodes (cost 528 ) 28.752 * * [simplify]: iteration done : 5000 enodes (cost 527 ) 28.752 * [simplify]: Simplified to: (expm1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log1p (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* 0.5 (sin re)) (* 0.5 (sin re)) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (- (exp (* 2 (- 0.0 im))) (exp (+ im im)))) (expm1 (+ (exp (- 0.0 im)) (exp im))) (log1p (+ (exp (- 0.0 im)) (exp im))) (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)) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (exp (* 2 (- 0.0 im)))) (- (exp (* 2 (- 0.0 im))) (exp (+ im im))) (- (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im)) (- (* re (+ 1.0 (* 0.5 (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) (fma (pow im 4) 1/12 (fma im im 2)) (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im))) 28.753 * * * [progress]: adding candidates to table 28.912 * * [progress]: iteration 2 / 4 28.912 * * * [progress]: picking best candidate 28.917 * * * * [pick]: Picked # 28.917 * * * [progress]: localizing error 28.929 * * * [progress]: generating rewritten candidates 28.929 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 28.929 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 28.939 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 28.950 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 28.964 * * * [progress]: generating series expansions 28.964 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 28.964 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) in (im) around 0 28.964 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) in im 28.964 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (- im))) (sqrt (exp (- im)))) (exp im)) 28.964 * [taylor]: Taking taylor expansion of (* (sqrt (exp (- im))) (sqrt (exp (- im)))) in im 28.964 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 28.964 * [taylor]: Taking taylor expansion of (exp (- im)) in im 28.964 * [taylor]: Taking taylor expansion of (- im) in im 28.964 * [taylor]: Taking taylor expansion of im in im 28.967 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 28.967 * [taylor]: Taking taylor expansion of (exp (- im)) in im 28.967 * [taylor]: Taking taylor expansion of (- im) in im 28.967 * [taylor]: Taking taylor expansion of im in im 28.968 * [taylor]: Taking taylor expansion of (exp im) in im 28.968 * [taylor]: Taking taylor expansion of im in im 28.968 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) in im 28.969 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (- im))) (sqrt (exp (- im)))) (exp im)) 28.969 * [taylor]: Taking taylor expansion of (* (sqrt (exp (- im))) (sqrt (exp (- im)))) in im 28.969 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 28.969 * [taylor]: Taking taylor expansion of (exp (- im)) in im 28.969 * [taylor]: Taking taylor expansion of (- im) in im 28.969 * [taylor]: Taking taylor expansion of im in im 28.971 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 28.971 * [taylor]: Taking taylor expansion of (exp (- im)) in im 28.971 * [taylor]: Taking taylor expansion of (- im) in im 28.971 * [taylor]: Taking taylor expansion of im in im 28.972 * [taylor]: Taking taylor expansion of (exp im) in im 28.972 * [taylor]: Taking taylor expansion of im in im 28.999 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))) in (im) around 0 28.999 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))) in im 28.999 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) (exp (/ 1 im))) 28.999 * [taylor]: Taking taylor expansion of (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) in im 28.999 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 28.999 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 28.999 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 28.999 * [taylor]: Taking taylor expansion of (/ 1 im) in im 28.999 * [taylor]: Taking taylor expansion of im in im 29.000 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 29.000 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.000 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.000 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.000 * [taylor]: Taking taylor expansion of im in im 29.001 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.001 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.001 * [taylor]: Taking taylor expansion of im in im 29.001 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))) in im 29.001 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) (exp (/ 1 im))) 29.001 * [taylor]: Taking taylor expansion of (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) in im 29.001 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 29.001 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.001 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.001 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.001 * [taylor]: Taking taylor expansion of im in im 29.002 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 29.002 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.002 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.002 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.002 * [taylor]: Taking taylor expansion of im in im 29.003 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.003 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.003 * [taylor]: Taking taylor expansion of im in im 29.017 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im))) in (im) around 0 29.017 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im))) in im 29.018 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) (exp (/ -1 im))) 29.018 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) in im 29.018 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 29.018 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.018 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.018 * [taylor]: Taking taylor expansion of im in im 29.018 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 29.018 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.018 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.018 * [taylor]: Taking taylor expansion of im in im 29.019 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 29.019 * [taylor]: Taking taylor expansion of (/ -1 im) in im 29.019 * [taylor]: Taking taylor expansion of -1 in im 29.019 * [taylor]: Taking taylor expansion of im in im 29.019 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im))) in im 29.019 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) (exp (/ -1 im))) 29.019 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) in im 29.019 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 29.019 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.019 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.019 * [taylor]: Taking taylor expansion of im in im 29.019 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 29.020 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.020 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.020 * [taylor]: Taking taylor expansion of im in im 29.020 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 29.020 * [taylor]: Taking taylor expansion of (/ -1 im) in im 29.020 * [taylor]: Taking taylor expansion of -1 in im 29.020 * [taylor]: Taking taylor expansion of im in im 29.031 * * * * [progress]: [ 2 / 4 ] generating series at (2) 29.031 * [approximate]: Taking taylor expansion of (* 0.5 (* (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) (sin re))) in (re im) around 0 29.031 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) (sin re))) in im 29.031 * [taylor]: Taking taylor expansion of 0.5 in im 29.031 * [taylor]: Taking taylor expansion of (* (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) (sin re)) in im 29.031 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) in im 29.031 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (- im))) (sqrt (exp (- im)))) (exp im)) 29.031 * [taylor]: Taking taylor expansion of (* (sqrt (exp (- im))) (sqrt (exp (- im)))) in im 29.031 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 29.031 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.031 * [taylor]: Taking taylor expansion of (- im) in im 29.031 * [taylor]: Taking taylor expansion of im in im 29.033 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 29.033 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.033 * [taylor]: Taking taylor expansion of (- im) in im 29.033 * [taylor]: Taking taylor expansion of im in im 29.035 * [taylor]: Taking taylor expansion of (exp im) in im 29.035 * [taylor]: Taking taylor expansion of im in im 29.035 * [taylor]: Taking taylor expansion of (sin re) in im 29.035 * [taylor]: Taking taylor expansion of re in im 29.035 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) (sin re))) in re 29.035 * [taylor]: Taking taylor expansion of 0.5 in re 29.035 * [taylor]: Taking taylor expansion of (* (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) (sin re)) in re 29.035 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) in re 29.035 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (- im))) (sqrt (exp (- im)))) (exp im)) 29.035 * [taylor]: Taking taylor expansion of (* (sqrt (exp (- im))) (sqrt (exp (- im)))) in re 29.036 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in re 29.036 * [taylor]: Taking taylor expansion of (exp (- im)) in re 29.036 * [taylor]: Taking taylor expansion of (- im) in re 29.036 * [taylor]: Taking taylor expansion of im in re 29.036 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in re 29.036 * [taylor]: Taking taylor expansion of (exp (- im)) in re 29.036 * [taylor]: Taking taylor expansion of (- im) in re 29.036 * [taylor]: Taking taylor expansion of im in re 29.037 * [taylor]: Taking taylor expansion of (exp im) in re 29.037 * [taylor]: Taking taylor expansion of im in re 29.037 * [taylor]: Taking taylor expansion of (sin re) in re 29.037 * [taylor]: Taking taylor expansion of re in re 29.037 * [taylor]: Taking taylor expansion of (* 0.5 (* (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) (sin re))) in re 29.037 * [taylor]: Taking taylor expansion of 0.5 in re 29.037 * [taylor]: Taking taylor expansion of (* (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) (sin re)) in re 29.037 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) in re 29.038 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (- im))) (sqrt (exp (- im)))) (exp im)) 29.038 * [taylor]: Taking taylor expansion of (* (sqrt (exp (- im))) (sqrt (exp (- im)))) in re 29.038 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in re 29.038 * [taylor]: Taking taylor expansion of (exp (- im)) in re 29.038 * [taylor]: Taking taylor expansion of (- im) in re 29.038 * [taylor]: Taking taylor expansion of im in re 29.038 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in re 29.039 * [taylor]: Taking taylor expansion of (exp (- im)) in re 29.039 * [taylor]: Taking taylor expansion of (- im) in re 29.039 * [taylor]: Taking taylor expansion of im in re 29.040 * [taylor]: Taking taylor expansion of (exp im) in re 29.040 * [taylor]: Taking taylor expansion of im in re 29.040 * [taylor]: Taking taylor expansion of (sin re) in re 29.040 * [taylor]: Taking taylor expansion of re in re 29.040 * [taylor]: Taking taylor expansion of 0 in im 29.042 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (- im)))) in im 29.042 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 29.042 * [taylor]: Taking taylor expansion of 0.5 in im 29.042 * [taylor]: Taking taylor expansion of (exp im) in im 29.042 * [taylor]: Taking taylor expansion of im in im 29.042 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 29.042 * [taylor]: Taking taylor expansion of 0.5 in im 29.042 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.042 * [taylor]: Taking taylor expansion of (- im) in im 29.042 * [taylor]: Taking taylor expansion of im in im 29.049 * [taylor]: Taking taylor expansion of 0 in im 29.061 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im))))) in im 29.061 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im 29.061 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 29.061 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 29.061 * [taylor]: Taking taylor expansion of (exp im) in im 29.061 * [taylor]: Taking taylor expansion of im in im 29.061 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 29.061 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 29.061 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.061 * [taylor]: Taking taylor expansion of (- im) in im 29.061 * [taylor]: Taking taylor expansion of im in im 29.068 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))))) in (re im) around 0 29.068 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))))) in im 29.068 * [taylor]: Taking taylor expansion of 0.5 in im 29.068 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im)))) in im 29.068 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 29.068 * [taylor]: Taking taylor expansion of (/ 1 re) in im 29.068 * [taylor]: Taking taylor expansion of re in im 29.068 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))) in im 29.068 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) (exp (/ 1 im))) 29.068 * [taylor]: Taking taylor expansion of (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) in im 29.068 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 29.068 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.068 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.068 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.068 * [taylor]: Taking taylor expansion of im in im 29.069 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 29.069 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.069 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.069 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.069 * [taylor]: Taking taylor expansion of im in im 29.070 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.070 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.070 * [taylor]: Taking taylor expansion of im in im 29.070 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))))) in re 29.070 * [taylor]: Taking taylor expansion of 0.5 in re 29.070 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im)))) in re 29.070 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 29.070 * [taylor]: Taking taylor expansion of (/ 1 re) in re 29.070 * [taylor]: Taking taylor expansion of re in re 29.070 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))) in re 29.071 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) (exp (/ 1 im))) 29.071 * [taylor]: Taking taylor expansion of (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) in re 29.071 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in re 29.071 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 29.071 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 29.071 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.071 * [taylor]: Taking taylor expansion of im in re 29.072 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in re 29.072 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 29.072 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 29.072 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.072 * [taylor]: Taking taylor expansion of im in re 29.073 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.073 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.073 * [taylor]: Taking taylor expansion of im in re 29.073 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))))) in re 29.073 * [taylor]: Taking taylor expansion of 0.5 in re 29.073 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im)))) in re 29.073 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 29.073 * [taylor]: Taking taylor expansion of (/ 1 re) in re 29.073 * [taylor]: Taking taylor expansion of re in re 29.073 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))) in re 29.073 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) (exp (/ 1 im))) 29.073 * [taylor]: Taking taylor expansion of (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) in re 29.073 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in re 29.074 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 29.074 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 29.074 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.074 * [taylor]: Taking taylor expansion of im in re 29.075 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in re 29.075 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 29.075 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 29.075 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.075 * [taylor]: Taking taylor expansion of im in re 29.076 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.076 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.076 * [taylor]: Taking taylor expansion of im in re 29.076 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 29.076 * [taylor]: Taking taylor expansion of 0.5 in im 29.076 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 29.076 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 29.076 * [taylor]: Taking taylor expansion of (/ 1 re) in im 29.076 * [taylor]: Taking taylor expansion of re in im 29.076 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 29.076 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.076 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.076 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.076 * [taylor]: Taking taylor expansion of im in im 29.077 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.077 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.077 * [taylor]: Taking taylor expansion of im in im 29.079 * [taylor]: Taking taylor expansion of 0 in im 29.087 * [taylor]: Taking taylor expansion of 0 in im 29.102 * [taylor]: Taking taylor expansion of 0 in im 29.103 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im))))) in (re im) around 0 29.103 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im))))) in im 29.103 * [taylor]: Taking taylor expansion of 0.5 in im 29.103 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im)))) in im 29.103 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 29.103 * [taylor]: Taking taylor expansion of (/ -1 re) in im 29.103 * [taylor]: Taking taylor expansion of -1 in im 29.103 * [taylor]: Taking taylor expansion of re in im 29.103 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im))) in im 29.103 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) (exp (/ -1 im))) 29.103 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) in im 29.103 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 29.103 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.103 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.103 * [taylor]: Taking taylor expansion of im in im 29.104 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 29.104 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.104 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.104 * [taylor]: Taking taylor expansion of im in im 29.104 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 29.104 * [taylor]: Taking taylor expansion of (/ -1 im) in im 29.104 * [taylor]: Taking taylor expansion of -1 in im 29.104 * [taylor]: Taking taylor expansion of im in im 29.104 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im))))) in re 29.104 * [taylor]: Taking taylor expansion of 0.5 in re 29.104 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im)))) in re 29.104 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 29.104 * [taylor]: Taking taylor expansion of (/ -1 re) in re 29.104 * [taylor]: Taking taylor expansion of -1 in re 29.105 * [taylor]: Taking taylor expansion of re in re 29.105 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im))) in re 29.105 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) (exp (/ -1 im))) 29.105 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) in re 29.105 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in re 29.105 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.105 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.105 * [taylor]: Taking taylor expansion of im in re 29.106 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in re 29.106 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.106 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.106 * [taylor]: Taking taylor expansion of im in re 29.106 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 29.106 * [taylor]: Taking taylor expansion of (/ -1 im) in re 29.106 * [taylor]: Taking taylor expansion of -1 in re 29.106 * [taylor]: Taking taylor expansion of im in re 29.107 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im))))) in re 29.107 * [taylor]: Taking taylor expansion of 0.5 in re 29.107 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im)))) in re 29.107 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 29.107 * [taylor]: Taking taylor expansion of (/ -1 re) in re 29.107 * [taylor]: Taking taylor expansion of -1 in re 29.107 * [taylor]: Taking taylor expansion of re in re 29.107 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im))) in re 29.107 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) (exp (/ -1 im))) 29.107 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) in re 29.107 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in re 29.107 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.107 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.107 * [taylor]: Taking taylor expansion of im in re 29.108 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in re 29.108 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.108 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.108 * [taylor]: Taking taylor expansion of im in re 29.109 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 29.109 * [taylor]: Taking taylor expansion of (/ -1 im) in re 29.109 * [taylor]: Taking taylor expansion of -1 in re 29.109 * [taylor]: Taking taylor expansion of im in re 29.109 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 29.109 * [taylor]: Taking taylor expansion of 0.5 in im 29.109 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 29.109 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 29.109 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 29.109 * [taylor]: Taking taylor expansion of (/ -1 im) in im 29.109 * [taylor]: Taking taylor expansion of -1 in im 29.109 * [taylor]: Taking taylor expansion of im in im 29.110 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.110 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.110 * [taylor]: Taking taylor expansion of im in im 29.110 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 29.110 * [taylor]: Taking taylor expansion of (/ -1 re) in im 29.110 * [taylor]: Taking taylor expansion of -1 in im 29.110 * [taylor]: Taking taylor expansion of re in im 29.112 * [taylor]: Taking taylor expansion of 0 in im 29.119 * [taylor]: Taking taylor expansion of 0 in im 29.128 * [taylor]: Taking taylor expansion of 0 in im 29.128 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 29.128 * [approximate]: Taking taylor expansion of (sqrt (exp (- im))) in (im) around 0 29.128 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 29.128 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.128 * [taylor]: Taking taylor expansion of (- im) in im 29.128 * [taylor]: Taking taylor expansion of im in im 29.130 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 29.130 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.130 * [taylor]: Taking taylor expansion of (- im) in im 29.130 * [taylor]: Taking taylor expansion of im in im 29.134 * [approximate]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in (im) around 0 29.134 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 29.134 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.134 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.134 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.134 * [taylor]: Taking taylor expansion of im in im 29.135 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 29.135 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.135 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.135 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.135 * [taylor]: Taking taylor expansion of im in im 29.138 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in (im) around 0 29.139 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 29.139 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.139 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.139 * [taylor]: Taking taylor expansion of im in im 29.139 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 29.139 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.139 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.139 * [taylor]: Taking taylor expansion of im in im 29.142 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 29.142 * [approximate]: Taking taylor expansion of (sqrt (exp (- im))) in (im) around 0 29.143 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 29.143 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.143 * [taylor]: Taking taylor expansion of (- im) in im 29.143 * [taylor]: Taking taylor expansion of im in im 29.145 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 29.145 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.145 * [taylor]: Taking taylor expansion of (- im) in im 29.145 * [taylor]: Taking taylor expansion of im in im 29.149 * [approximate]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in (im) around 0 29.149 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 29.149 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.149 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.149 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.149 * [taylor]: Taking taylor expansion of im in im 29.150 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 29.150 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.150 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.150 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.150 * [taylor]: Taking taylor expansion of im in im 29.153 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in (im) around 0 29.153 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 29.153 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.153 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.153 * [taylor]: Taking taylor expansion of im in im 29.154 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 29.154 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.154 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.154 * [taylor]: Taking taylor expansion of im in im 29.157 * * * [progress]: simplifying candidates 29.159 * [simplify]: Simplifying using # : (expm1 (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (log1p (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (* (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im)))) (log (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (exp (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (* (cbrt (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (cbrt (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (cbrt (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (* (* (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (sqrt (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (sqrt (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (expm1 (* (* 0.5 (sin re)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (log1p (* (* 0.5 (sin re)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (* (* 0.5 (sin re)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (* (* 0.5 (sin re)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (+ (+ (log 0.5) (log (sin re))) (log (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (+ (log (* 0.5 (sin re))) (log (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (log (* (* 0.5 (sin re)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (exp (* (* 0.5 (sin re)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (* (cbrt (* (* 0.5 (sin re)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (cbrt (* (* 0.5 (sin re)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))))) (cbrt (* (* 0.5 (sin re)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (* (* (* (* 0.5 (sin re)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (* (* 0.5 (sin re)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (* (* 0.5 (sin re)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (sqrt (* (* 0.5 (sin re)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (sqrt (* (* 0.5 (sin re)) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (* (* 0.5 (sin re)) (* (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))))) (* (* 0.5 (sin re)) (exp im)) (* (* (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im)))) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (cbrt (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))))) (* (* 0.5 (sin re)) (sqrt (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im)))) (* (* 0.5 (sin re)) 1) (* (sin re) (fma (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))) (exp im))) (expm1 (sqrt (exp (- 0.0 im)))) (log1p (sqrt (exp (- 0.0 im)))) (log (sqrt (exp (- 0.0 im)))) (exp (sqrt (exp (- 0.0 im)))) (* (cbrt (sqrt (exp (- 0.0 im)))) (cbrt (sqrt (exp (- 0.0 im))))) (cbrt (sqrt (exp (- 0.0 im)))) (* (* (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im)))) (sqrt (exp (- 0.0 im)))) (sqrt (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im))))))) (sqrt (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (sqrt (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im)))))) (sqrt (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (sqrt (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1))))) (sqrt (exp (fma (- im) 1 (* im 1)))) (sqrt (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im))))))) (sqrt (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (sqrt (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im)))))) (sqrt (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (sqrt (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1))))) (sqrt (exp (fma (- im) 1 (* im 1)))) (sqrt (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im))))))) (sqrt (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (sqrt (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im)))))) (sqrt (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (sqrt (exp (fma 1 0.0 (- (* im 1))))) (sqrt (exp (fma (- im) 1 (* im 1)))) (sqrt (exp 0.0)) (sqrt (exp (- im))) (sqrt (exp 0.0)) (sqrt (exp (- im))) (sqrt (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im))))) (sqrt (cbrt (exp (- 0.0 im)))) (sqrt (sqrt (exp (- 0.0 im)))) (sqrt (sqrt (exp (- 0.0 im)))) (sqrt 1) (sqrt (exp (- 0.0 im))) (sqrt (exp 0.0)) (sqrt (exp im)) (/ 1 2) (/ (cbrt (- 0.0 im)) 2) (/ (sqrt (- 0.0 im)) 2) (/ (- 0.0 im) 2) (/ (- (sqrt 0.0) (sqrt im)) 2) (/ (- 0.0 im) 2) (sqrt (sqrt (exp (- 0.0 im)))) (sqrt (sqrt (exp (- 0.0 im)))) (expm1 (sqrt (exp (- 0.0 im)))) (log1p (sqrt (exp (- 0.0 im)))) (log (sqrt (exp (- 0.0 im)))) (exp (sqrt (exp (- 0.0 im)))) (* (cbrt (sqrt (exp (- 0.0 im)))) (cbrt (sqrt (exp (- 0.0 im))))) (cbrt (sqrt (exp (- 0.0 im)))) (* (* (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im)))) (sqrt (exp (- 0.0 im)))) (sqrt (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im))))))) (sqrt (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (sqrt (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im)))))) (sqrt (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (sqrt (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1))))) (sqrt (exp (fma (- im) 1 (* im 1)))) (sqrt (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im))))))) (sqrt (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (sqrt (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im)))))) (sqrt (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (sqrt (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1))))) (sqrt (exp (fma (- im) 1 (* im 1)))) (sqrt (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im))))))) (sqrt (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (sqrt (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im)))))) (sqrt (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (sqrt (exp (fma 1 0.0 (- (* im 1))))) (sqrt (exp (fma (- im) 1 (* im 1)))) (sqrt (exp 0.0)) (sqrt (exp (- im))) (sqrt (exp 0.0)) (sqrt (exp (- im))) (sqrt (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im))))) (sqrt (cbrt (exp (- 0.0 im)))) (sqrt (sqrt (exp (- 0.0 im)))) (sqrt (sqrt (exp (- 0.0 im)))) (sqrt 1) (sqrt (exp (- 0.0 im))) (sqrt (exp 0.0)) (sqrt (exp im)) (/ 1 2) (/ (cbrt (- 0.0 im)) 2) (/ (sqrt (- 0.0 im)) 2) (/ (- 0.0 im) 2) (/ (- (sqrt 0.0) (sqrt im)) 2) (/ (- 0.0 im) 2) (sqrt (sqrt (exp (- 0.0 im)))) (sqrt (sqrt (exp (- 0.0 im)))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (- im))) (+ (exp (* -1 im)) (exp im)) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (- (+ (* 1/8 (pow im 2)) 1) (* 1/2 im)) (sqrt (exp (- im))) (sqrt (exp (* -1 im))) (- (+ (* 1/8 (pow im 2)) 1) (* 1/2 im)) (sqrt (exp (- im))) (sqrt (exp (* -1 im))) 29.163 * * [simplify]: iteration 0 : 166 enodes (cost 1635 ) 29.192 * * [simplify]: iteration 1 : 336 enodes (cost 1179 ) 29.264 * * [simplify]: iteration 2 : 1105 enodes (cost 978 ) 29.652 * * [simplify]: iteration done : 5000 enodes (cost 975 ) 29.653 * [simplify]: Simplified to: (expm1 (+ (exp (- 0.0 im)) (exp im))) (log1p (+ (exp (- 0.0 im)) (exp im))) (exp (- 0.0 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))) (expm1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log1p (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* 0.5 (* (sin re) (exp (- 0.0 im)))) (* (* 0.5 (sin re)) (exp im)) (* 0.5 (* (sin re) (exp (- 0.0 im)))) (* (* 0.5 (sin re)) (exp im)) (* (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im)))) (* 0.5 (sin re))) (* (sqrt (+ (exp (- 0.0 im)) (exp im))) (* 0.5 (sin re))) (* 0.5 (sin re)) (* (+ (exp (- 0.0 im)) (exp im)) (sin re)) (expm1 (sqrt (exp (- 0.0 im)))) (log1p (sqrt (exp (- 0.0 im)))) (log (sqrt (exp (- 0.0 im)))) (exp (sqrt (exp (- 0.0 im)))) (* (cbrt (sqrt (exp (- 0.0 im)))) (cbrt (sqrt (exp (- 0.0 im))))) (cbrt (sqrt (exp (- 0.0 im)))) (pow (sqrt (exp (- 0.0 im))) 3) (sqrt (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im)))) (sqrt (exp (* im 0))) (sqrt (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im)))) (sqrt (exp (* im 0))) (sqrt (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im)))) (sqrt (exp (* im 0))) (sqrt (exp (- 0.0 im))) (sqrt (exp (* im 0))) (sqrt (exp (- 0.0 im))) (sqrt (exp (* im 0))) (sqrt (exp (- 0.0 im))) (sqrt (exp (* im 0))) (sqrt (exp (- 0.0 im))) (sqrt (exp (* im 0))) (sqrt (exp (- 0.0 im))) (sqrt (exp (* im 0))) (sqrt (exp (- 0.0 im))) (sqrt (exp (* im 0))) (sqrt (exp 0.0)) (sqrt (exp (- im))) (sqrt (exp 0.0)) (sqrt (exp (- im))) (fabs (cbrt (exp (- 0.0 im)))) (sqrt (cbrt (exp (- 0.0 im)))) (sqrt (sqrt (exp (- 0.0 im)))) (sqrt (sqrt (exp (- 0.0 im)))) 1 (sqrt (exp (- 0.0 im))) (sqrt (exp 0.0)) (sqrt (exp im)) 1/2 (/ (cbrt (- 0.0 im)) 2) (/ (sqrt (- 0.0 im)) 2) (/ (- 0.0 im) 2) (/ (- (sqrt 0.0) (sqrt im)) 2) (/ (- 0.0 im) 2) (sqrt (sqrt (exp (- 0.0 im)))) (sqrt (sqrt (exp (- 0.0 im)))) (expm1 (sqrt (exp (- 0.0 im)))) (log1p (sqrt (exp (- 0.0 im)))) (log (sqrt (exp (- 0.0 im)))) (exp (sqrt (exp (- 0.0 im)))) (* (cbrt (sqrt (exp (- 0.0 im)))) (cbrt (sqrt (exp (- 0.0 im))))) (cbrt (sqrt (exp (- 0.0 im)))) (pow (sqrt (exp (- 0.0 im))) 3) (sqrt (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im)))) (sqrt (exp (* im 0))) (sqrt (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im)))) (sqrt (exp (* im 0))) (sqrt (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im)))) (sqrt (exp (* im 0))) (sqrt (exp (- 0.0 im))) (sqrt (exp (* im 0))) (sqrt (exp (- 0.0 im))) (sqrt (exp (* im 0))) (sqrt (exp (- 0.0 im))) (sqrt (exp (* im 0))) (sqrt (exp (- 0.0 im))) (sqrt (exp (* im 0))) (sqrt (exp (- 0.0 im))) (sqrt (exp (* im 0))) (sqrt (exp (- 0.0 im))) (sqrt (exp (* im 0))) (sqrt (exp 0.0)) (sqrt (exp (- im))) (sqrt (exp 0.0)) (sqrt (exp (- im))) (fabs (cbrt (exp (- 0.0 im)))) (sqrt (cbrt (exp (- 0.0 im)))) (sqrt (sqrt (exp (- 0.0 im)))) (sqrt (sqrt (exp (- 0.0 im)))) 1 (sqrt (exp (- 0.0 im))) (sqrt (exp 0.0)) (sqrt (exp im)) 1/2 (/ (cbrt (- 0.0 im)) 2) (/ (sqrt (- 0.0 im)) 2) (/ (- 0.0 im) 2) (/ (- (sqrt 0.0) (sqrt im)) 2) (/ (- 0.0 im) 2) (sqrt (sqrt (exp (- 0.0 im)))) (sqrt (sqrt (exp (- 0.0 im)))) (fma (pow im 4) 1/12 (fma im im 2)) (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im)) (- (* re (+ 1.0 (* (pow im 2) 0.5))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (* (+ (exp im) (exp (- im))) (sin re))) (* 0.5 (* (+ (exp im) (exp (- im))) (sin re))) (+ 1 (* im (- (* im 1/8) 1/2))) (sqrt (exp (- im))) (sqrt (exp (- im))) (+ 1 (* im (- (* im 1/8) 1/2))) (sqrt (exp (- im))) (sqrt (exp (- im))) 29.654 * * * [progress]: adding candidates to table 29.939 * * [progress]: iteration 3 / 4 29.939 * * * [progress]: picking best candidate 29.941 * * * * [pick]: Picked # 29.941 * * * [progress]: localizing error 29.953 * * * [progress]: generating rewritten candidates 29.953 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 29.994 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 30.003 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 30.035 * * * [progress]: generating series expansions 30.035 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 30.035 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in (im re) around 0 30.035 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re 30.035 * [taylor]: Taking taylor expansion of 0.5 in re 30.035 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re 30.035 * [taylor]: Taking taylor expansion of (exp (- im)) in re 30.035 * [taylor]: Taking taylor expansion of (- im) in re 30.035 * [taylor]: Taking taylor expansion of im in re 30.035 * [taylor]: Taking taylor expansion of (sin re) in re 30.035 * [taylor]: Taking taylor expansion of re in re 30.035 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 30.035 * [taylor]: Taking taylor expansion of 0.5 in im 30.035 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 30.035 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.035 * [taylor]: Taking taylor expansion of (- im) in im 30.035 * [taylor]: Taking taylor expansion of im in im 30.036 * [taylor]: Taking taylor expansion of (sin re) in im 30.036 * [taylor]: Taking taylor expansion of re in im 30.036 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 30.036 * [taylor]: Taking taylor expansion of 0.5 in im 30.036 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 30.036 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.036 * [taylor]: Taking taylor expansion of (- im) in im 30.036 * [taylor]: Taking taylor expansion of im in im 30.037 * [taylor]: Taking taylor expansion of (sin re) in im 30.037 * [taylor]: Taking taylor expansion of re in im 30.037 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 30.037 * [taylor]: Taking taylor expansion of 0.5 in re 30.037 * [taylor]: Taking taylor expansion of (sin re) in re 30.037 * [taylor]: Taking taylor expansion of re in re 30.040 * [taylor]: Taking taylor expansion of (- (* 0.5 (sin re))) in re 30.040 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 30.040 * [taylor]: Taking taylor expansion of 0.5 in re 30.040 * [taylor]: Taking taylor expansion of (sin re) in re 30.040 * [taylor]: Taking taylor expansion of re in re 30.046 * [taylor]: Taking taylor expansion of (* 0.25 (sin re)) in re 30.046 * [taylor]: Taking taylor expansion of 0.25 in re 30.046 * [taylor]: Taking taylor expansion of (sin re) in re 30.046 * [taylor]: Taking taylor expansion of re in re 30.054 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (sin re))) in re 30.054 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (sin re)) in re 30.054 * [taylor]: Taking taylor expansion of 0.08333333333333333 in re 30.054 * [taylor]: Taking taylor expansion of (sin re) in re 30.054 * [taylor]: Taking taylor expansion of re in re 30.061 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in (im re) around 0 30.061 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 30.061 * [taylor]: Taking taylor expansion of 0.5 in re 30.061 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 30.061 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.061 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.061 * [taylor]: Taking taylor expansion of re in re 30.061 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 30.061 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 30.061 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.061 * [taylor]: Taking taylor expansion of im in re 30.062 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 30.062 * [taylor]: Taking taylor expansion of 0.5 in im 30.062 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 30.062 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.062 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.062 * [taylor]: Taking taylor expansion of re in im 30.062 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.062 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.062 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.062 * [taylor]: Taking taylor expansion of im in im 30.062 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 30.062 * [taylor]: Taking taylor expansion of 0.5 in im 30.062 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 30.062 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.062 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.062 * [taylor]: Taking taylor expansion of re in im 30.062 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.062 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.063 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.063 * [taylor]: Taking taylor expansion of im in im 30.063 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 30.063 * [taylor]: Taking taylor expansion of 0.5 in re 30.063 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 30.063 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.063 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.063 * [taylor]: Taking taylor expansion of re in re 30.064 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 30.064 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 30.064 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.064 * [taylor]: Taking taylor expansion of im in re 30.066 * [taylor]: Taking taylor expansion of 0 in re 30.070 * [taylor]: Taking taylor expansion of 0 in re 30.076 * [taylor]: Taking taylor expansion of 0 in re 30.077 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in (im re) around 0 30.077 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 30.077 * [taylor]: Taking taylor expansion of 0.5 in re 30.077 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 30.077 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.077 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.077 * [taylor]: Taking taylor expansion of -1 in re 30.077 * [taylor]: Taking taylor expansion of re in re 30.077 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.077 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.077 * [taylor]: Taking taylor expansion of im in re 30.077 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 30.077 * [taylor]: Taking taylor expansion of 0.5 in im 30.077 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 30.077 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.077 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.077 * [taylor]: Taking taylor expansion of -1 in im 30.077 * [taylor]: Taking taylor expansion of re in im 30.077 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.077 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.077 * [taylor]: Taking taylor expansion of im in im 30.078 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 30.078 * [taylor]: Taking taylor expansion of 0.5 in im 30.078 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 30.078 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.078 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.078 * [taylor]: Taking taylor expansion of -1 in im 30.078 * [taylor]: Taking taylor expansion of re in im 30.078 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.078 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.078 * [taylor]: Taking taylor expansion of im in im 30.079 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 30.079 * [taylor]: Taking taylor expansion of 0.5 in re 30.079 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 30.079 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.079 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.079 * [taylor]: Taking taylor expansion of -1 in re 30.079 * [taylor]: Taking taylor expansion of re in re 30.079 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.079 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.079 * [taylor]: Taking taylor expansion of im in re 30.081 * [taylor]: Taking taylor expansion of 0 in re 30.085 * [taylor]: Taking taylor expansion of 0 in re 30.091 * [taylor]: Taking taylor expansion of 0 in re 30.091 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 30.091 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in (im re) around 0 30.091 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 30.091 * [taylor]: Taking taylor expansion of 0.5 in re 30.091 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 30.091 * [taylor]: Taking taylor expansion of (exp im) in re 30.091 * [taylor]: Taking taylor expansion of im in re 30.091 * [taylor]: Taking taylor expansion of (sin re) in re 30.091 * [taylor]: Taking taylor expansion of re in re 30.091 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 30.091 * [taylor]: Taking taylor expansion of 0.5 in im 30.091 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 30.091 * [taylor]: Taking taylor expansion of (exp im) in im 30.091 * [taylor]: Taking taylor expansion of im in im 30.091 * [taylor]: Taking taylor expansion of (sin re) in im 30.091 * [taylor]: Taking taylor expansion of re in im 30.091 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 30.091 * [taylor]: Taking taylor expansion of 0.5 in im 30.091 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 30.091 * [taylor]: Taking taylor expansion of (exp im) in im 30.091 * [taylor]: Taking taylor expansion of im in im 30.091 * [taylor]: Taking taylor expansion of (sin re) in im 30.091 * [taylor]: Taking taylor expansion of re in im 30.092 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 30.092 * [taylor]: Taking taylor expansion of 0.5 in re 30.092 * [taylor]: Taking taylor expansion of (sin re) in re 30.092 * [taylor]: Taking taylor expansion of re in re 30.094 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 30.094 * [taylor]: Taking taylor expansion of 0.5 in re 30.094 * [taylor]: Taking taylor expansion of (sin re) in re 30.094 * [taylor]: Taking taylor expansion of re in re 30.099 * [taylor]: Taking taylor expansion of (* 0.25 (sin re)) in re 30.099 * [taylor]: Taking taylor expansion of 0.25 in re 30.099 * [taylor]: Taking taylor expansion of (sin re) in re 30.099 * [taylor]: Taking taylor expansion of re in re 30.107 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (sin re)) in re 30.107 * [taylor]: Taking taylor expansion of 0.08333333333333333 in re 30.107 * [taylor]: Taking taylor expansion of (sin re) in re 30.107 * [taylor]: Taking taylor expansion of re in re 30.109 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in (im re) around 0 30.109 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 30.109 * [taylor]: Taking taylor expansion of 0.5 in re 30.109 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 30.109 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.109 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.109 * [taylor]: Taking taylor expansion of re in re 30.109 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.109 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.109 * [taylor]: Taking taylor expansion of im in re 30.109 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 30.109 * [taylor]: Taking taylor expansion of 0.5 in im 30.109 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 30.109 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.109 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.109 * [taylor]: Taking taylor expansion of re in im 30.109 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.109 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.109 * [taylor]: Taking taylor expansion of im in im 30.110 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 30.110 * [taylor]: Taking taylor expansion of 0.5 in im 30.110 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 30.110 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.110 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.110 * [taylor]: Taking taylor expansion of re in im 30.110 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.110 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.110 * [taylor]: Taking taylor expansion of im in im 30.111 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 30.111 * [taylor]: Taking taylor expansion of 0.5 in re 30.111 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 30.111 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.111 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.111 * [taylor]: Taking taylor expansion of re in re 30.111 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.111 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.111 * [taylor]: Taking taylor expansion of im in re 30.113 * [taylor]: Taking taylor expansion of 0 in re 30.117 * [taylor]: Taking taylor expansion of 0 in re 30.123 * [taylor]: Taking taylor expansion of 0 in re 30.123 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in (im re) around 0 30.123 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 30.123 * [taylor]: Taking taylor expansion of 0.5 in re 30.123 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 30.123 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.123 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.123 * [taylor]: Taking taylor expansion of -1 in re 30.123 * [taylor]: Taking taylor expansion of im in re 30.123 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.123 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.123 * [taylor]: Taking taylor expansion of -1 in re 30.123 * [taylor]: Taking taylor expansion of re in re 30.123 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 30.123 * [taylor]: Taking taylor expansion of 0.5 in im 30.123 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 30.123 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.123 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.123 * [taylor]: Taking taylor expansion of -1 in im 30.124 * [taylor]: Taking taylor expansion of im in im 30.124 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.124 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.124 * [taylor]: Taking taylor expansion of -1 in im 30.124 * [taylor]: Taking taylor expansion of re in im 30.124 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 30.124 * [taylor]: Taking taylor expansion of 0.5 in im 30.124 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 30.124 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.124 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.124 * [taylor]: Taking taylor expansion of -1 in im 30.124 * [taylor]: Taking taylor expansion of im in im 30.124 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.124 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.124 * [taylor]: Taking taylor expansion of -1 in im 30.124 * [taylor]: Taking taylor expansion of re in im 30.125 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 30.125 * [taylor]: Taking taylor expansion of 0.5 in re 30.125 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 30.125 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.125 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.125 * [taylor]: Taking taylor expansion of -1 in re 30.125 * [taylor]: Taking taylor expansion of im in re 30.125 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.125 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.125 * [taylor]: Taking taylor expansion of -1 in re 30.125 * [taylor]: Taking taylor expansion of re in re 30.128 * [taylor]: Taking taylor expansion of 0 in re 30.132 * [taylor]: Taking taylor expansion of 0 in re 30.137 * [taylor]: Taking taylor expansion of 0 in re 30.137 * * * * [progress]: [ 3 / 3 ] generating series at (2) 30.138 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in (im re) around 0 30.138 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in re 30.138 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in re 30.138 * [taylor]: Taking taylor expansion of 0.5 in re 30.138 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in re 30.138 * [taylor]: Taking taylor expansion of (exp (- im)) in re 30.138 * [taylor]: Taking taylor expansion of (- im) in re 30.138 * [taylor]: Taking taylor expansion of im in re 30.138 * [taylor]: Taking taylor expansion of (sin re) in re 30.138 * [taylor]: Taking taylor expansion of re in re 30.138 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 30.138 * [taylor]: Taking taylor expansion of 0.5 in re 30.138 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 30.138 * [taylor]: Taking taylor expansion of (exp im) in re 30.138 * [taylor]: Taking taylor expansion of im in re 30.138 * [taylor]: Taking taylor expansion of (sin re) in re 30.138 * [taylor]: Taking taylor expansion of re in re 30.138 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in im 30.138 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 30.138 * [taylor]: Taking taylor expansion of 0.5 in im 30.138 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 30.138 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.138 * [taylor]: Taking taylor expansion of (- im) in im 30.138 * [taylor]: Taking taylor expansion of im in im 30.139 * [taylor]: Taking taylor expansion of (sin re) in im 30.139 * [taylor]: Taking taylor expansion of re in im 30.139 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 30.139 * [taylor]: Taking taylor expansion of 0.5 in im 30.139 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 30.139 * [taylor]: Taking taylor expansion of (exp im) in im 30.139 * [taylor]: Taking taylor expansion of im in im 30.139 * [taylor]: Taking taylor expansion of (sin re) in im 30.139 * [taylor]: Taking taylor expansion of re in im 30.139 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) in im 30.139 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (- im)) (sin re))) in im 30.139 * [taylor]: Taking taylor expansion of 0.5 in im 30.139 * [taylor]: Taking taylor expansion of (* (exp (- im)) (sin re)) in im 30.139 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.139 * [taylor]: Taking taylor expansion of (- im) in im 30.139 * [taylor]: Taking taylor expansion of im in im 30.139 * [taylor]: Taking taylor expansion of (sin re) in im 30.139 * [taylor]: Taking taylor expansion of re in im 30.139 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 30.139 * [taylor]: Taking taylor expansion of 0.5 in im 30.140 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 30.140 * [taylor]: Taking taylor expansion of (exp im) in im 30.140 * [taylor]: Taking taylor expansion of im in im 30.140 * [taylor]: Taking taylor expansion of (sin re) in im 30.140 * [taylor]: Taking taylor expansion of re in im 30.140 * [taylor]: Taking taylor expansion of (* 1.0 (sin re)) in re 30.140 * [taylor]: Taking taylor expansion of 1.0 in re 30.140 * [taylor]: Taking taylor expansion of (sin re) in re 30.140 * [taylor]: Taking taylor expansion of re in re 30.150 * [taylor]: Taking taylor expansion of 0 in re 30.159 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 30.159 * [taylor]: Taking taylor expansion of 0.5 in re 30.159 * [taylor]: Taking taylor expansion of (sin re) in re 30.159 * [taylor]: Taking taylor expansion of re in re 30.171 * [taylor]: Taking taylor expansion of 0 in re 30.175 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in (im re) around 0 30.175 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in re 30.175 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 30.175 * [taylor]: Taking taylor expansion of 0.5 in re 30.175 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 30.175 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.175 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.175 * [taylor]: Taking taylor expansion of re in re 30.176 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 30.176 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 30.176 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.176 * [taylor]: Taking taylor expansion of im in re 30.176 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 30.176 * [taylor]: Taking taylor expansion of 0.5 in re 30.176 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 30.176 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.176 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.176 * [taylor]: Taking taylor expansion of re in re 30.176 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.176 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.176 * [taylor]: Taking taylor expansion of im in re 30.176 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in im 30.176 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 30.176 * [taylor]: Taking taylor expansion of 0.5 in im 30.176 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 30.176 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.176 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.176 * [taylor]: Taking taylor expansion of re in im 30.176 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.176 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.177 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.177 * [taylor]: Taking taylor expansion of im in im 30.177 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 30.177 * [taylor]: Taking taylor expansion of 0.5 in im 30.177 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 30.177 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.177 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.177 * [taylor]: Taking taylor expansion of re in im 30.177 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.177 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.177 * [taylor]: Taking taylor expansion of im in im 30.178 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in im 30.178 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in im 30.178 * [taylor]: Taking taylor expansion of 0.5 in im 30.178 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in im 30.178 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.178 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.178 * [taylor]: Taking taylor expansion of re in im 30.178 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.178 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.178 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.178 * [taylor]: Taking taylor expansion of im in im 30.178 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 30.178 * [taylor]: Taking taylor expansion of 0.5 in im 30.178 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 30.178 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.178 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.178 * [taylor]: Taking taylor expansion of re in im 30.179 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.179 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.179 * [taylor]: Taking taylor expansion of im in im 30.180 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im))))) in re 30.180 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (- (/ 1 im))))) in re 30.180 * [taylor]: Taking taylor expansion of 0.5 in re 30.180 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (- (/ 1 im)))) in re 30.180 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.180 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.180 * [taylor]: Taking taylor expansion of re in re 30.180 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 30.180 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 30.180 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.180 * [taylor]: Taking taylor expansion of im in re 30.180 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 30.180 * [taylor]: Taking taylor expansion of 0.5 in re 30.180 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 30.180 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.180 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.180 * [taylor]: Taking taylor expansion of re in re 30.181 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.181 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.181 * [taylor]: Taking taylor expansion of im in re 30.185 * [taylor]: Taking taylor expansion of 0 in re 30.194 * [taylor]: Taking taylor expansion of 0 in re 30.206 * [taylor]: Taking taylor expansion of 0 in re 30.207 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in (im re) around 0 30.207 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in re 30.207 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 30.207 * [taylor]: Taking taylor expansion of 0.5 in re 30.207 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 30.207 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.207 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.207 * [taylor]: Taking taylor expansion of -1 in re 30.207 * [taylor]: Taking taylor expansion of re in re 30.207 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.207 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.207 * [taylor]: Taking taylor expansion of im in re 30.207 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 30.207 * [taylor]: Taking taylor expansion of 0.5 in re 30.207 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 30.207 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.207 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.207 * [taylor]: Taking taylor expansion of -1 in re 30.207 * [taylor]: Taking taylor expansion of im in re 30.207 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.207 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.207 * [taylor]: Taking taylor expansion of -1 in re 30.207 * [taylor]: Taking taylor expansion of re in re 30.208 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in im 30.208 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 30.208 * [taylor]: Taking taylor expansion of 0.5 in im 30.208 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 30.208 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.208 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.208 * [taylor]: Taking taylor expansion of -1 in im 30.208 * [taylor]: Taking taylor expansion of re in im 30.208 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.208 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.208 * [taylor]: Taking taylor expansion of im in im 30.208 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 30.208 * [taylor]: Taking taylor expansion of 0.5 in im 30.208 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 30.208 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.208 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.208 * [taylor]: Taking taylor expansion of -1 in im 30.208 * [taylor]: Taking taylor expansion of im in im 30.209 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.209 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.209 * [taylor]: Taking taylor expansion of -1 in im 30.209 * [taylor]: Taking taylor expansion of re in im 30.209 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in im 30.209 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in im 30.209 * [taylor]: Taking taylor expansion of 0.5 in im 30.209 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in im 30.209 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.209 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.209 * [taylor]: Taking taylor expansion of -1 in im 30.209 * [taylor]: Taking taylor expansion of re in im 30.209 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.209 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.209 * [taylor]: Taking taylor expansion of im in im 30.209 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in im 30.209 * [taylor]: Taking taylor expansion of 0.5 in im 30.210 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in im 30.210 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.210 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.210 * [taylor]: Taking taylor expansion of -1 in im 30.210 * [taylor]: Taking taylor expansion of im in im 30.210 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.210 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.210 * [taylor]: Taking taylor expansion of -1 in im 30.210 * [taylor]: Taking taylor expansion of re in im 30.211 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re))))) in re 30.211 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ 1 im)))) in re 30.211 * [taylor]: Taking taylor expansion of 0.5 in re 30.211 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ 1 im))) in re 30.211 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.211 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.211 * [taylor]: Taking taylor expansion of -1 in re 30.211 * [taylor]: Taking taylor expansion of re in re 30.211 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.211 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.211 * [taylor]: Taking taylor expansion of im in re 30.211 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (/ -1 im)) (sin (/ -1 re)))) in re 30.211 * [taylor]: Taking taylor expansion of 0.5 in re 30.211 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (sin (/ -1 re))) in re 30.211 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.211 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.211 * [taylor]: Taking taylor expansion of -1 in re 30.211 * [taylor]: Taking taylor expansion of im in re 30.211 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.211 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.211 * [taylor]: Taking taylor expansion of -1 in re 30.211 * [taylor]: Taking taylor expansion of re in re 30.216 * [taylor]: Taking taylor expansion of 0 in re 30.225 * [taylor]: Taking taylor expansion of 0 in re 30.241 * [taylor]: Taking taylor expansion of 0 in re 30.242 * * * [progress]: simplifying candidates 30.243 * [simplify]: Simplifying using # : (expm1 (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (log1p (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (+ (- 0.0 im) (+ (log 0.5) (log (sin re)))) (+ (- 0.0 im) (log (* 0.5 (sin re)))) (log (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (exp (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (exp (- 0.0 im))) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) (* (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (exp (- 0.0 im))) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) (* (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re))))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) 0.5) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (* 0.5 (sin re))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (* 0.5 (sin re))) (* (exp (fma (- im) 1 (* im 1))) (* 0.5 (sin re))) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (* 0.5 (sin re))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (* 0.5 (sin re))) (* (exp (fma (- im) 1 (* im 1))) (* 0.5 (sin re))) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (* 0.5 (sin re))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (* 0.5 (sin re))) (* (exp (fma (- im) 1 (* im 1))) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (* (cbrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (sqrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp 0.0) (* 0.5 (sin re))) (expm1 (* (exp im) (* 0.5 (sin re)))) (log1p (* (exp im) (* 0.5 (sin re)))) (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (+ im (+ (log 0.5) (log (sin re)))) (+ im (log (* 0.5 (sin re)))) (log (* (exp im) (* 0.5 (sin re)))) (exp (* (exp im) (* 0.5 (sin re)))) (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) (* (cbrt (* (exp im) (* 0.5 (sin re)))) (cbrt (* (exp im) (* 0.5 (sin re))))) (cbrt (* (exp im) (* 0.5 (sin re)))) (* (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (* (exp im) (* 0.5 (sin re)))) (sqrt (* (exp im) (* 0.5 (sin re)))) (sqrt (* (exp im) (* 0.5 (sin re)))) (* (exp im) 0.5) (* (cbrt (exp im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (expm1 (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (log1p (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (* (exp (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (exp (* (exp im) (* 0.5 (sin re))))) (log (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (exp (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (* (cbrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (cbrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))))) (cbrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (* (* (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (sqrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (sqrt (+ (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (+ (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (pow (* (exp im) (* 0.5 (sin re))) 3)) (+ (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (- (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))))) (- (* (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (* (exp im) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))))) (- (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))) (+ (exp (- 0.0 im)) (exp im)) (- (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))) (* 0.5 (* re im))) (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp (* -1 im)) (sin re))) (+ (* 0.5 re) (+ (* 0.5 (* re im)) (* 0.25 (* re (pow im 2))))) (* 0.5 (* (exp im) (sin re))) (* 0.5 (* (exp im) (sin re))) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (+ (* 0.5 (* (exp (- im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) (+ (* 0.5 (* (exp (* -1 im)) (sin re))) (* 0.5 (* (exp im) (sin re)))) 30.246 * * [simplify]: iteration 0 : 137 enodes (cost 1113 ) 30.269 * * [simplify]: iteration 1 : 376 enodes (cost 945 ) 30.356 * * [simplify]: iteration 2 : 1457 enodes (cost 799 ) 30.756 * * [simplify]: iteration done : 5000 enodes (cost 790 ) 30.757 * [simplify]: Simplified to: (expm1 (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (log1p (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (+ (- 0.0 im) (log (* 0.5 (sin re)))) (+ (- 0.0 im) (log (* 0.5 (sin re)))) (+ (- 0.0 im) (log (* 0.5 (sin re)))) (exp (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (* (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re))))) (cbrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (pow (* (exp (- 0.0 im)) (* 0.5 (sin re))) 3) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (sqrt (* (exp (- 0.0 im)) (* 0.5 (sin re)))) (* (exp (- 0.0 im)) 0.5) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im im)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (* (cbrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (sqrt (exp (- 0.0 im))) (* 0.5 (sin re))) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp 0.0) (* 0.5 (sin re))) (expm1 (* (exp im) (* 0.5 (sin re)))) (log1p (* (exp im) (* 0.5 (sin re)))) (* 0.5 (* (exp im) (sin re))) (* 0.5 (* (exp im) (sin re))) (+ im (log (* 0.5 (sin re)))) (+ im (log (* 0.5 (sin re)))) (+ im (log (* 0.5 (sin re)))) (exp (* (exp im) (* 0.5 (sin re)))) (pow (* 0.5 (* (exp im) (sin re))) 3) (pow (* 0.5 (* (exp im) (sin re))) 3) (* (cbrt (* (exp im) (* 0.5 (sin re)))) (cbrt (* (exp im) (* 0.5 (sin re))))) (cbrt (* (exp im) (* 0.5 (sin re)))) (pow (* 0.5 (* (exp im) (sin re))) 3) (sqrt (* (exp im) (* 0.5 (sin re)))) (sqrt (* (exp im) (* 0.5 (sin re)))) (* (exp im) 0.5) (* (cbrt (exp im)) (* 0.5 (sin re))) (* (sqrt (exp im)) (* 0.5 (sin re))) (* 0.5 (* (exp im) (sin re))) (expm1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log1p (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (pow (* 0.5 (sin re)) 3) (+ (pow (exp im) 3) (pow (exp (- 0.0 im)) 3))) (fma (exp (* 2 (- 0.0 im))) (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* (* (* 0.5 (sin re)) (* 0.5 (* (exp im) (sin re)))) (- (exp im) (exp (- 0.0 im))))) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (- (exp (* 2 (- 0.0 im))) (exp (+ im im)))) (* (* 0.5 (sin re)) (- (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im)) (- (fma 0.5 re (* 0.25 (* re (pow im 2)))) (* 0.5 (* re im))) (* (exp (- im)) (* 0.5 (sin re))) (* (exp (- im)) (* 0.5 (sin re))) (fma 0.5 re (fma 0.5 (* re im) (* 0.25 (* re (pow im 2))))) (* 0.5 (* (exp im) (sin re))) (* 0.5 (* (exp im) (sin re))) (- (fma 1.0 re (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* (* (sin re) (+ (exp (- im)) (exp im))) 0.5) (* (* (sin re) (+ (exp (- im)) (exp im))) 0.5) 30.757 * * * [progress]: adding candidates to table 30.968 * [progress]: [Phase 3 of 3] Extracting. 30.968 * * [regime]: Finding splitpoints for: (# #) 30.968 * * * [regime-changes]: Trying 4 branch expressions: ((sin re) (* 0.5 (sin re)) im re) 30.968 * * * * [regimes]: Trying to branch on (sin re) from (# #) 30.985 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# #) 31.001 * * * * [regimes]: Trying to branch on im from (# #) 31.016 * * * * [regimes]: Trying to branch on re from (# #) 31.029 * * * [regime]: Found split indices: #