19.982 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.085 * * * [progress]: [2/2] Setting up program. 0.088 * [progress]: [Phase 2 of 3] Improving. 0.088 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.089 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 0.090 * * [simplify]: iteration 1 : 26 enodes (cost 12 ) 0.094 * * [simplify]: iteration 2 : 62 enodes (cost 12 ) 0.102 * * [simplify]: iteration 3 : 117 enodes (cost 12 ) 0.122 * * [simplify]: iteration 4 : 191 enodes (cost 12 ) 0.151 * * [simplify]: iteration 5 : 363 enodes (cost 12 ) 0.263 * * [simplify]: iteration 6 : 681 enodes (cost 12 ) 0.584 * * [simplify]: iteration 7 : 855 enodes (cost 12 ) 1.159 * * [simplify]: iteration 8 : 1330 enodes (cost 12 ) 2.439 * * [simplify]: iteration 9 : 2557 enodes (cost 12 ) 11.622 * * [simplify]: iteration 10 : 4729 enodes (cost 12 ) 29.211 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 29.211 * [simplify]: Simplified to: (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 29.211 * * [progress]: iteration 1 / 4 29.211 * * * [progress]: picking best candidate 29.214 * * * * [pick]: Picked # 29.214 * * * [progress]: localizing error 29.225 * * * [progress]: generating rewritten candidates 29.225 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 29.300 * * * [progress]: generating series expansions 29.300 * * * * [progress]: [ 1 / 1 ] generating series at (2) 29.300 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in (re im) around 0 29.300 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in im 29.300 * [taylor]: Taking taylor expansion of 0.5 in im 29.300 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in im 29.300 * [taylor]: Taking taylor expansion of (sin re) in im 29.300 * [taylor]: Taking taylor expansion of re in im 29.301 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 29.301 * [taylor]: Taking taylor expansion of (exp im) in im 29.301 * [taylor]: Taking taylor expansion of im in im 29.301 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.301 * [taylor]: Taking taylor expansion of (- im) in im 29.301 * [taylor]: Taking taylor expansion of im in im 29.301 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 29.301 * [taylor]: Taking taylor expansion of 0.5 in re 29.301 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 29.302 * [taylor]: Taking taylor expansion of (sin re) in re 29.302 * [taylor]: Taking taylor expansion of re in re 29.302 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 29.302 * [taylor]: Taking taylor expansion of (exp im) in re 29.302 * [taylor]: Taking taylor expansion of im in re 29.302 * [taylor]: Taking taylor expansion of (exp (- im)) in re 29.302 * [taylor]: Taking taylor expansion of (- im) in re 29.302 * [taylor]: Taking taylor expansion of im in re 29.302 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 29.302 * [taylor]: Taking taylor expansion of 0.5 in re 29.302 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 29.302 * [taylor]: Taking taylor expansion of (sin re) in re 29.302 * [taylor]: Taking taylor expansion of re in re 29.302 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 29.302 * [taylor]: Taking taylor expansion of (exp im) in re 29.302 * [taylor]: Taking taylor expansion of im in re 29.302 * [taylor]: Taking taylor expansion of (exp (- im)) in re 29.302 * [taylor]: Taking taylor expansion of (- im) in re 29.302 * [taylor]: Taking taylor expansion of im in re 29.302 * [taylor]: Taking taylor expansion of 0 in im 29.305 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (- im)))) in im 29.305 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 29.305 * [taylor]: Taking taylor expansion of 0.5 in im 29.305 * [taylor]: Taking taylor expansion of (exp im) in im 29.305 * [taylor]: Taking taylor expansion of im in im 29.305 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 29.305 * [taylor]: Taking taylor expansion of 0.5 in im 29.305 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.305 * [taylor]: Taking taylor expansion of (- im) in im 29.305 * [taylor]: Taking taylor expansion of im in im 29.310 * [taylor]: Taking taylor expansion of 0 in im 29.319 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im))))) in im 29.319 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im 29.319 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 29.319 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 29.320 * [taylor]: Taking taylor expansion of (exp im) in im 29.320 * [taylor]: Taking taylor expansion of im in im 29.320 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 29.320 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 29.320 * [taylor]: Taking taylor expansion of (exp (- im)) in im 29.320 * [taylor]: Taking taylor expansion of (- im) in im 29.320 * [taylor]: Taking taylor expansion of im in im 29.328 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 29.328 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 29.328 * [taylor]: Taking taylor expansion of 0.5 in im 29.328 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 29.328 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 29.328 * [taylor]: Taking taylor expansion of (/ 1 re) in im 29.328 * [taylor]: Taking taylor expansion of re in im 29.328 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 29.328 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.328 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.328 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.328 * [taylor]: Taking taylor expansion of im in im 29.328 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.329 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.329 * [taylor]: Taking taylor expansion of im in im 29.329 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 29.329 * [taylor]: Taking taylor expansion of 0.5 in re 29.329 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 29.329 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 29.329 * [taylor]: Taking taylor expansion of (/ 1 re) in re 29.329 * [taylor]: Taking taylor expansion of re in re 29.329 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 29.329 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 29.329 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 29.329 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.329 * [taylor]: Taking taylor expansion of im in re 29.329 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.329 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.329 * [taylor]: Taking taylor expansion of im in re 29.330 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 29.330 * [taylor]: Taking taylor expansion of 0.5 in re 29.330 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 29.330 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 29.330 * [taylor]: Taking taylor expansion of (/ 1 re) in re 29.330 * [taylor]: Taking taylor expansion of re in re 29.330 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 29.330 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 29.330 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 29.330 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.330 * [taylor]: Taking taylor expansion of im in re 29.330 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.330 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.330 * [taylor]: Taking taylor expansion of im in re 29.331 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 29.331 * [taylor]: Taking taylor expansion of 0.5 in im 29.331 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 29.331 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 29.331 * [taylor]: Taking taylor expansion of (/ 1 re) in im 29.331 * [taylor]: Taking taylor expansion of re in im 29.331 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 29.331 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 29.331 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 29.331 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.331 * [taylor]: Taking taylor expansion of im in im 29.331 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.331 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.331 * [taylor]: Taking taylor expansion of im in im 29.335 * [taylor]: Taking taylor expansion of 0 in im 29.341 * [taylor]: Taking taylor expansion of 0 in im 29.349 * [taylor]: Taking taylor expansion of 0 in im 29.349 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0 29.349 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 29.349 * [taylor]: Taking taylor expansion of 0.5 in im 29.349 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 29.349 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 29.349 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 29.349 * [taylor]: Taking taylor expansion of (/ -1 im) in im 29.349 * [taylor]: Taking taylor expansion of -1 in im 29.349 * [taylor]: Taking taylor expansion of im in im 29.350 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.350 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.350 * [taylor]: Taking taylor expansion of im in im 29.350 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 29.350 * [taylor]: Taking taylor expansion of (/ -1 re) in im 29.350 * [taylor]: Taking taylor expansion of -1 in im 29.350 * [taylor]: Taking taylor expansion of re in im 29.350 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 29.350 * [taylor]: Taking taylor expansion of 0.5 in re 29.350 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 29.350 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 29.350 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 29.350 * [taylor]: Taking taylor expansion of (/ -1 im) in re 29.350 * [taylor]: Taking taylor expansion of -1 in re 29.350 * [taylor]: Taking taylor expansion of im in re 29.350 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.350 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.350 * [taylor]: Taking taylor expansion of im in re 29.350 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 29.350 * [taylor]: Taking taylor expansion of (/ -1 re) in re 29.350 * [taylor]: Taking taylor expansion of -1 in re 29.350 * [taylor]: Taking taylor expansion of re in re 29.351 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 29.351 * [taylor]: Taking taylor expansion of 0.5 in re 29.351 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 29.351 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 29.351 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 29.351 * [taylor]: Taking taylor expansion of (/ -1 im) in re 29.351 * [taylor]: Taking taylor expansion of -1 in re 29.351 * [taylor]: Taking taylor expansion of im in re 29.351 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 29.351 * [taylor]: Taking taylor expansion of (/ 1 im) in re 29.351 * [taylor]: Taking taylor expansion of im in re 29.351 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 29.351 * [taylor]: Taking taylor expansion of (/ -1 re) in re 29.351 * [taylor]: Taking taylor expansion of -1 in re 29.351 * [taylor]: Taking taylor expansion of re in re 29.352 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 29.352 * [taylor]: Taking taylor expansion of 0.5 in im 29.352 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 29.352 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 29.352 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 29.352 * [taylor]: Taking taylor expansion of (/ -1 im) in im 29.352 * [taylor]: Taking taylor expansion of -1 in im 29.352 * [taylor]: Taking taylor expansion of im in im 29.352 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 29.352 * [taylor]: Taking taylor expansion of (/ 1 im) in im 29.352 * [taylor]: Taking taylor expansion of im in im 29.352 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 29.352 * [taylor]: Taking taylor expansion of (/ -1 re) in im 29.352 * [taylor]: Taking taylor expansion of -1 in im 29.353 * [taylor]: Taking taylor expansion of re in im 29.355 * [taylor]: Taking taylor expansion of 0 in im 29.360 * [taylor]: Taking taylor expansion of 0 in im 29.371 * [taylor]: Taking taylor expansion of 0 in im 29.371 * * * [progress]: simplifying candidates 29.372 * [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)))) (- (+ (* 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))) 29.374 * * [simplify]: iteration 0 : 81 enodes (cost 450 ) 29.388 * * [simplify]: iteration 1 : 240 enodes (cost 439 ) 29.443 * * [simplify]: iteration 2 : 997 enodes (cost 365 ) 29.803 * * [simplify]: iteration done : 5002 enodes (cost 364 ) 29.803 * [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))))) (- (* re (+ (* 0.5 (pow im 2)) 1.0)) (* 0.16666666666666666 (pow re 3))) (* (* (+ (exp im) (exp (- im))) (sin re)) 0.5) (* (* (+ (exp im) (exp (- im))) (sin re)) 0.5) 29.803 * * * [progress]: adding candidates to table 29.864 * * [progress]: iteration 2 / 4 29.864 * * * [progress]: picking best candidate 29.873 * * * * [pick]: Picked # 29.873 * * * [progress]: localizing error 29.893 * * * [progress]: generating rewritten candidates 29.893 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 29.900 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 29.940 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 30.152 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 30.170 * * * [progress]: generating series expansions 30.170 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 30.170 * [approximate]: Taking taylor expansion of (- (pow (exp im) 2) (* (exp im) (exp (- im)))) in (im) around 0 30.170 * [taylor]: Taking taylor expansion of (- (pow (exp im) 2) (* (exp im) (exp (- im)))) in im 30.170 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 30.170 * [taylor]: Taking taylor expansion of (exp im) in im 30.170 * [taylor]: Taking taylor expansion of im in im 30.171 * [taylor]: Taking taylor expansion of (* (exp im) (exp (- im))) in im 30.171 * [taylor]: Taking taylor expansion of (exp im) in im 30.171 * [taylor]: Taking taylor expansion of im in im 30.171 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.171 * [taylor]: Taking taylor expansion of (- im) in im 30.171 * [taylor]: Taking taylor expansion of im in im 30.171 * [taylor]: Taking taylor expansion of (- (pow (exp im) 2) (* (exp im) (exp (- im)))) in im 30.171 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 30.171 * [taylor]: Taking taylor expansion of (exp im) in im 30.171 * [taylor]: Taking taylor expansion of im in im 30.171 * [taylor]: Taking taylor expansion of (* (exp im) (exp (- im))) in im 30.172 * [taylor]: Taking taylor expansion of (exp im) in im 30.172 * [taylor]: Taking taylor expansion of im in im 30.172 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.172 * [taylor]: Taking taylor expansion of (- im) in im 30.172 * [taylor]: Taking taylor expansion of im in im 30.189 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 im)) 2) (* (exp (- (/ 1 im))) (exp (/ 1 im)))) in (im) around 0 30.189 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 im)) 2) (* (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 30.189 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 30.189 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.189 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.189 * [taylor]: Taking taylor expansion of im in im 30.189 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 im))) (exp (/ 1 im))) in im 30.189 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.189 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.189 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.189 * [taylor]: Taking taylor expansion of im in im 30.190 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.190 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.190 * [taylor]: Taking taylor expansion of im in im 30.190 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 im)) 2) (* (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 30.190 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 30.190 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.190 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.190 * [taylor]: Taking taylor expansion of im in im 30.190 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 im))) (exp (/ 1 im))) in im 30.190 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.190 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.190 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.190 * [taylor]: Taking taylor expansion of im in im 30.191 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.191 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.191 * [taylor]: Taking taylor expansion of im in im 30.203 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -1 im)) 2) (* (exp (/ -1 im)) (exp (/ 1 im)))) in (im) around 0 30.203 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 im)) 2) (* (exp (/ -1 im)) (exp (/ 1 im)))) in im 30.203 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 30.203 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.204 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.204 * [taylor]: Taking taylor expansion of -1 in im 30.204 * [taylor]: Taking taylor expansion of im in im 30.204 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (exp (/ 1 im))) in im 30.204 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.204 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.204 * [taylor]: Taking taylor expansion of -1 in im 30.204 * [taylor]: Taking taylor expansion of im in im 30.204 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.204 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.204 * [taylor]: Taking taylor expansion of im in im 30.205 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 im)) 2) (* (exp (/ -1 im)) (exp (/ 1 im)))) in im 30.205 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 30.205 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.205 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.205 * [taylor]: Taking taylor expansion of -1 in im 30.205 * [taylor]: Taking taylor expansion of im in im 30.205 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (exp (/ 1 im))) in im 30.205 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.205 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.205 * [taylor]: Taking taylor expansion of -1 in im 30.205 * [taylor]: Taking taylor expansion of im in im 30.205 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.205 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.205 * [taylor]: Taking taylor expansion of im in im 30.218 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 30.218 * [approximate]: Taking taylor expansion of (* (exp im) (exp (- im))) in (im) around 0 30.218 * [taylor]: Taking taylor expansion of (* (exp im) (exp (- im))) in im 30.218 * [taylor]: Taking taylor expansion of (exp im) in im 30.218 * [taylor]: Taking taylor expansion of im in im 30.218 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.218 * [taylor]: Taking taylor expansion of (- im) in im 30.218 * [taylor]: Taking taylor expansion of im in im 30.218 * [taylor]: Taking taylor expansion of (* (exp im) (exp (- im))) in im 30.218 * [taylor]: Taking taylor expansion of (exp im) in im 30.218 * [taylor]: Taking taylor expansion of im in im 30.218 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.218 * [taylor]: Taking taylor expansion of (- im) in im 30.218 * [taylor]: Taking taylor expansion of im in im 30.263 * [approximate]: Taking taylor expansion of (* (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 30.263 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 im))) (exp (/ 1 im))) in im 30.263 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.263 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.263 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.263 * [taylor]: Taking taylor expansion of im in im 30.263 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.263 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.263 * [taylor]: Taking taylor expansion of im in im 30.264 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 im))) (exp (/ 1 im))) in im 30.264 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.264 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.264 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.264 * [taylor]: Taking taylor expansion of im in im 30.264 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.264 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.264 * [taylor]: Taking taylor expansion of im in im 30.269 * [approximate]: Taking taylor expansion of (* (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 30.269 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (exp (/ 1 im))) in im 30.269 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.269 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.269 * [taylor]: Taking taylor expansion of -1 in im 30.269 * [taylor]: Taking taylor expansion of im in im 30.270 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.270 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.270 * [taylor]: Taking taylor expansion of im in im 30.270 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (exp (/ 1 im))) in im 30.270 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.270 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.270 * [taylor]: Taking taylor expansion of -1 in im 30.270 * [taylor]: Taking taylor expansion of im in im 30.270 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.270 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.270 * [taylor]: Taking taylor expansion of im in im 30.275 * * * * [progress]: [ 3 / 4 ] generating series at (2) 30.276 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) in (re im) around 0 30.276 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) in im 30.276 * [taylor]: Taking taylor expansion of 0.5 in im 30.276 * [taylor]: Taking taylor expansion of (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im))))) in im 30.276 * [taylor]: Taking taylor expansion of (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) in im 30.276 * [taylor]: Taking taylor expansion of (+ (pow (exp im) 3) (pow (exp (- im)) 3)) in im 30.276 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in im 30.276 * [taylor]: Taking taylor expansion of (exp im) in im 30.276 * [taylor]: Taking taylor expansion of im in im 30.276 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im 30.276 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.276 * [taylor]: Taking taylor expansion of (- im) in im 30.276 * [taylor]: Taking taylor expansion of im in im 30.277 * [taylor]: Taking taylor expansion of (sin re) in im 30.277 * [taylor]: Taking taylor expansion of re in im 30.277 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))) in im 30.277 * [taylor]: Taking taylor expansion of (+ (pow (exp (- im)) 2) (pow (exp im) 2)) in im 30.277 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 2) in im 30.277 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.277 * [taylor]: Taking taylor expansion of (- im) in im 30.277 * [taylor]: Taking taylor expansion of im in im 30.277 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 30.277 * [taylor]: Taking taylor expansion of (exp im) in im 30.277 * [taylor]: Taking taylor expansion of im in im 30.277 * [taylor]: Taking taylor expansion of (* (exp im) (exp (- im))) in im 30.277 * [taylor]: Taking taylor expansion of (exp im) in im 30.277 * [taylor]: Taking taylor expansion of im in im 30.278 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.278 * [taylor]: Taking taylor expansion of (- im) in im 30.278 * [taylor]: Taking taylor expansion of im in im 30.281 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) in re 30.281 * [taylor]: Taking taylor expansion of 0.5 in re 30.281 * [taylor]: Taking taylor expansion of (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im))))) in re 30.281 * [taylor]: Taking taylor expansion of (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) in re 30.281 * [taylor]: Taking taylor expansion of (+ (pow (exp im) 3) (pow (exp (- im)) 3)) in re 30.281 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in re 30.281 * [taylor]: Taking taylor expansion of (exp im) in re 30.281 * [taylor]: Taking taylor expansion of im in re 30.281 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in re 30.281 * [taylor]: Taking taylor expansion of (exp (- im)) in re 30.281 * [taylor]: Taking taylor expansion of (- im) in re 30.281 * [taylor]: Taking taylor expansion of im in re 30.281 * [taylor]: Taking taylor expansion of (sin re) in re 30.281 * [taylor]: Taking taylor expansion of re in re 30.281 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))) in re 30.281 * [taylor]: Taking taylor expansion of (+ (pow (exp (- im)) 2) (pow (exp im) 2)) in re 30.281 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 2) in re 30.281 * [taylor]: Taking taylor expansion of (exp (- im)) in re 30.281 * [taylor]: Taking taylor expansion of (- im) in re 30.281 * [taylor]: Taking taylor expansion of im in re 30.281 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in re 30.281 * [taylor]: Taking taylor expansion of (exp im) in re 30.282 * [taylor]: Taking taylor expansion of im in re 30.282 * [taylor]: Taking taylor expansion of (* (exp im) (exp (- im))) in re 30.282 * [taylor]: Taking taylor expansion of (exp im) in re 30.282 * [taylor]: Taking taylor expansion of im in re 30.282 * [taylor]: Taking taylor expansion of (exp (- im)) in re 30.282 * [taylor]: Taking taylor expansion of (- im) in re 30.282 * [taylor]: Taking taylor expansion of im in re 30.286 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) in re 30.286 * [taylor]: Taking taylor expansion of 0.5 in re 30.286 * [taylor]: Taking taylor expansion of (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im))))) in re 30.286 * [taylor]: Taking taylor expansion of (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) in re 30.286 * [taylor]: Taking taylor expansion of (+ (pow (exp im) 3) (pow (exp (- im)) 3)) in re 30.286 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in re 30.286 * [taylor]: Taking taylor expansion of (exp im) in re 30.286 * [taylor]: Taking taylor expansion of im in re 30.286 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in re 30.286 * [taylor]: Taking taylor expansion of (exp (- im)) in re 30.286 * [taylor]: Taking taylor expansion of (- im) in re 30.286 * [taylor]: Taking taylor expansion of im in re 30.287 * [taylor]: Taking taylor expansion of (sin re) in re 30.287 * [taylor]: Taking taylor expansion of re in re 30.287 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))) in re 30.287 * [taylor]: Taking taylor expansion of (+ (pow (exp (- im)) 2) (pow (exp im) 2)) in re 30.287 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 2) in re 30.287 * [taylor]: Taking taylor expansion of (exp (- im)) in re 30.287 * [taylor]: Taking taylor expansion of (- im) in re 30.287 * [taylor]: Taking taylor expansion of im in re 30.287 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in re 30.287 * [taylor]: Taking taylor expansion of (exp im) in re 30.287 * [taylor]: Taking taylor expansion of im in re 30.287 * [taylor]: Taking taylor expansion of (* (exp im) (exp (- im))) in re 30.287 * [taylor]: Taking taylor expansion of (exp im) in re 30.287 * [taylor]: Taking taylor expansion of im in re 30.287 * [taylor]: Taking taylor expansion of (exp (- im)) in re 30.287 * [taylor]: Taking taylor expansion of (- im) in re 30.287 * [taylor]: Taking taylor expansion of im in re 30.292 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) in im 30.292 * [taylor]: Taking taylor expansion of 0.5 in im 30.292 * [taylor]: Taking taylor expansion of (/ (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im))))) in im 30.292 * [taylor]: Taking taylor expansion of (+ (pow (exp im) 3) (pow (exp (- im)) 3)) in im 30.292 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in im 30.292 * [taylor]: Taking taylor expansion of (exp im) in im 30.292 * [taylor]: Taking taylor expansion of im in im 30.292 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im 30.292 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.292 * [taylor]: Taking taylor expansion of (- im) in im 30.292 * [taylor]: Taking taylor expansion of im in im 30.292 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))) in im 30.292 * [taylor]: Taking taylor expansion of (+ (pow (exp (- im)) 2) (pow (exp im) 2)) in im 30.292 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 2) in im 30.292 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.292 * [taylor]: Taking taylor expansion of (- im) in im 30.292 * [taylor]: Taking taylor expansion of im in im 30.293 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 30.293 * [taylor]: Taking taylor expansion of (exp im) in im 30.293 * [taylor]: Taking taylor expansion of im in im 30.293 * [taylor]: Taking taylor expansion of (* (exp im) (exp (- im))) in im 30.293 * [taylor]: Taking taylor expansion of (exp im) in im 30.293 * [taylor]: Taking taylor expansion of im in im 30.293 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.293 * [taylor]: Taking taylor expansion of (- im) in im 30.293 * [taylor]: Taking taylor expansion of im in im 30.306 * [taylor]: Taking taylor expansion of 0 in im 30.333 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (/ (pow (exp (- im)) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) (* 0.08333333333333333 (/ (pow (exp im) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))))) in im 30.333 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (/ (pow (exp (- im)) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) (* 0.08333333333333333 (/ (pow (exp im) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im))))))) in im 30.333 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (/ (pow (exp (- im)) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) in im 30.333 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 30.333 * [taylor]: Taking taylor expansion of (/ (pow (exp (- im)) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im))))) in im 30.333 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im 30.333 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.333 * [taylor]: Taking taylor expansion of (- im) in im 30.333 * [taylor]: Taking taylor expansion of im in im 30.334 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))) in im 30.334 * [taylor]: Taking taylor expansion of (+ (pow (exp (- im)) 2) (pow (exp im) 2)) in im 30.334 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 2) in im 30.334 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.334 * [taylor]: Taking taylor expansion of (- im) in im 30.334 * [taylor]: Taking taylor expansion of im in im 30.334 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 30.334 * [taylor]: Taking taylor expansion of (exp im) in im 30.334 * [taylor]: Taking taylor expansion of im in im 30.334 * [taylor]: Taking taylor expansion of (* (exp im) (exp (- im))) in im 30.334 * [taylor]: Taking taylor expansion of (exp im) in im 30.334 * [taylor]: Taking taylor expansion of im in im 30.334 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.334 * [taylor]: Taking taylor expansion of (- im) in im 30.334 * [taylor]: Taking taylor expansion of im in im 30.337 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (/ (pow (exp im) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) in im 30.337 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 30.337 * [taylor]: Taking taylor expansion of (/ (pow (exp im) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im))))) in im 30.337 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in im 30.337 * [taylor]: Taking taylor expansion of (exp im) in im 30.337 * [taylor]: Taking taylor expansion of im in im 30.337 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))) in im 30.337 * [taylor]: Taking taylor expansion of (+ (pow (exp (- im)) 2) (pow (exp im) 2)) in im 30.337 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 2) in im 30.337 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.337 * [taylor]: Taking taylor expansion of (- im) in im 30.337 * [taylor]: Taking taylor expansion of im in im 30.338 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 30.338 * [taylor]: Taking taylor expansion of (exp im) in im 30.338 * [taylor]: Taking taylor expansion of im in im 30.338 * [taylor]: Taking taylor expansion of (* (exp im) (exp (- im))) in im 30.338 * [taylor]: Taking taylor expansion of (exp im) in im 30.338 * [taylor]: Taking taylor expansion of im in im 30.338 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.338 * [taylor]: Taking taylor expansion of (- im) in im 30.338 * [taylor]: Taking taylor expansion of im in im 30.355 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im)))))) in (re im) around 0 30.356 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im)))))) in im 30.356 * [taylor]: Taking taylor expansion of 0.5 in im 30.356 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 30.356 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) in im 30.356 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.356 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.356 * [taylor]: Taking taylor expansion of re in im 30.356 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3)) in im 30.356 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 30.356 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.356 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.356 * [taylor]: Taking taylor expansion of im in im 30.356 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in im 30.356 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.356 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.356 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.356 * [taylor]: Taking taylor expansion of im in im 30.357 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 30.357 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) in im 30.357 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 2) in im 30.357 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.357 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.357 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.357 * [taylor]: Taking taylor expansion of im in im 30.357 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 30.357 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.357 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.357 * [taylor]: Taking taylor expansion of im in im 30.358 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 im))) (exp (/ 1 im))) in im 30.358 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.358 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.358 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.358 * [taylor]: Taking taylor expansion of im in im 30.358 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.358 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.358 * [taylor]: Taking taylor expansion of im in im 30.361 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im)))))) in re 30.361 * [taylor]: Taking taylor expansion of 0.5 in re 30.361 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 30.361 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) in re 30.361 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.361 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.361 * [taylor]: Taking taylor expansion of re in re 30.361 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3)) in re 30.361 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in re 30.361 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.361 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.361 * [taylor]: Taking taylor expansion of im in re 30.362 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in re 30.362 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 30.362 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 30.362 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.362 * [taylor]: Taking taylor expansion of im in re 30.362 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 30.362 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) in re 30.362 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 2) in re 30.362 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 30.362 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 30.362 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.362 * [taylor]: Taking taylor expansion of im in re 30.362 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in re 30.362 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.362 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.362 * [taylor]: Taking taylor expansion of im in re 30.362 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 im))) (exp (/ 1 im))) in re 30.362 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 30.362 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 30.362 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.362 * [taylor]: Taking taylor expansion of im in re 30.362 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.362 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.362 * [taylor]: Taking taylor expansion of im in re 30.364 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im)))))) in re 30.364 * [taylor]: Taking taylor expansion of 0.5 in re 30.364 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 30.364 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) in re 30.364 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 30.364 * [taylor]: Taking taylor expansion of (/ 1 re) in re 30.364 * [taylor]: Taking taylor expansion of re in re 30.365 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3)) in re 30.365 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in re 30.365 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.365 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.365 * [taylor]: Taking taylor expansion of im in re 30.365 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in re 30.365 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 30.365 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 30.365 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.365 * [taylor]: Taking taylor expansion of im in re 30.365 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 30.365 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) in re 30.365 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 2) in re 30.365 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 30.365 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 30.365 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.365 * [taylor]: Taking taylor expansion of im in re 30.365 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in re 30.365 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.365 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.365 * [taylor]: Taking taylor expansion of im in re 30.366 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 im))) (exp (/ 1 im))) in re 30.366 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 30.366 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 30.366 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.366 * [taylor]: Taking taylor expansion of im in re 30.366 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.366 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.366 * [taylor]: Taking taylor expansion of im in re 30.368 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im)))))) in im 30.368 * [taylor]: Taking taylor expansion of 0.5 in im 30.368 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 30.369 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) in im 30.369 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 30.369 * [taylor]: Taking taylor expansion of (/ 1 re) in im 30.369 * [taylor]: Taking taylor expansion of re in im 30.369 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3)) in im 30.369 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 30.369 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.369 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.369 * [taylor]: Taking taylor expansion of im in im 30.369 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in im 30.369 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.369 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.369 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.369 * [taylor]: Taking taylor expansion of im in im 30.370 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 30.370 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) in im 30.370 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 2) in im 30.370 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.370 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.370 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.370 * [taylor]: Taking taylor expansion of im in im 30.370 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 30.370 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.370 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.370 * [taylor]: Taking taylor expansion of im in im 30.371 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 im))) (exp (/ 1 im))) in im 30.371 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.371 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.371 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.371 * [taylor]: Taking taylor expansion of im in im 30.371 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.371 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.371 * [taylor]: Taking taylor expansion of im in im 30.384 * [taylor]: Taking taylor expansion of 0 in im 30.402 * [taylor]: Taking taylor expansion of 0 in im 30.432 * [taylor]: Taking taylor expansion of 0 in im 30.434 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im)))))) in (re im) around 0 30.434 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im)))))) in im 30.434 * [taylor]: Taking taylor expansion of 0.5 in im 30.434 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im))))) in im 30.434 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) in im 30.434 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.434 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.434 * [taylor]: Taking taylor expansion of -1 in im 30.434 * [taylor]: Taking taylor expansion of re in im 30.434 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3)) in im 30.434 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 3) in im 30.434 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.434 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.434 * [taylor]: Taking taylor expansion of -1 in im 30.434 * [taylor]: Taking taylor expansion of im in im 30.435 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 30.435 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.435 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.435 * [taylor]: Taking taylor expansion of im in im 30.435 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im)))) in im 30.435 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) in im 30.435 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 30.435 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.435 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.435 * [taylor]: Taking taylor expansion of -1 in im 30.435 * [taylor]: Taking taylor expansion of im in im 30.435 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 30.435 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.435 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.436 * [taylor]: Taking taylor expansion of im in im 30.436 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (exp (/ 1 im))) in im 30.436 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.436 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.436 * [taylor]: Taking taylor expansion of -1 in im 30.436 * [taylor]: Taking taylor expansion of im in im 30.436 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.436 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.436 * [taylor]: Taking taylor expansion of im in im 30.439 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im)))))) in re 30.439 * [taylor]: Taking taylor expansion of 0.5 in re 30.439 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im))))) in re 30.439 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) in re 30.439 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.439 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.439 * [taylor]: Taking taylor expansion of -1 in re 30.439 * [taylor]: Taking taylor expansion of re in re 30.439 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3)) in re 30.439 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 3) in re 30.439 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.439 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.439 * [taylor]: Taking taylor expansion of -1 in re 30.439 * [taylor]: Taking taylor expansion of im in re 30.439 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in re 30.439 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.439 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.439 * [taylor]: Taking taylor expansion of im in re 30.439 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im)))) in re 30.439 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) in re 30.439 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in re 30.439 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.439 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.439 * [taylor]: Taking taylor expansion of -1 in re 30.439 * [taylor]: Taking taylor expansion of im in re 30.440 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in re 30.440 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.440 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.440 * [taylor]: Taking taylor expansion of im in re 30.440 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (exp (/ 1 im))) in re 30.440 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.440 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.440 * [taylor]: Taking taylor expansion of -1 in re 30.440 * [taylor]: Taking taylor expansion of im in re 30.440 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.440 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.440 * [taylor]: Taking taylor expansion of im in re 30.442 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im)))))) in re 30.442 * [taylor]: Taking taylor expansion of 0.5 in re 30.442 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im))))) in re 30.442 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) in re 30.442 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 30.442 * [taylor]: Taking taylor expansion of (/ -1 re) in re 30.442 * [taylor]: Taking taylor expansion of -1 in re 30.442 * [taylor]: Taking taylor expansion of re in re 30.442 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3)) in re 30.442 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 3) in re 30.442 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.442 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.442 * [taylor]: Taking taylor expansion of -1 in re 30.442 * [taylor]: Taking taylor expansion of im in re 30.442 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in re 30.442 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.442 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.442 * [taylor]: Taking taylor expansion of im in re 30.443 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im)))) in re 30.443 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) in re 30.443 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in re 30.443 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.443 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.443 * [taylor]: Taking taylor expansion of -1 in re 30.443 * [taylor]: Taking taylor expansion of im in re 30.443 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in re 30.443 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.443 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.443 * [taylor]: Taking taylor expansion of im in re 30.443 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (exp (/ 1 im))) in re 30.443 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 30.443 * [taylor]: Taking taylor expansion of (/ -1 im) in re 30.443 * [taylor]: Taking taylor expansion of -1 in re 30.443 * [taylor]: Taking taylor expansion of im in re 30.443 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 30.443 * [taylor]: Taking taylor expansion of (/ 1 im) in re 30.443 * [taylor]: Taking taylor expansion of im in re 30.445 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im)))))) in im 30.445 * [taylor]: Taking taylor expansion of 0.5 in im 30.445 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im))))) in im 30.446 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) in im 30.446 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 30.446 * [taylor]: Taking taylor expansion of (/ -1 re) in im 30.446 * [taylor]: Taking taylor expansion of -1 in im 30.446 * [taylor]: Taking taylor expansion of re in im 30.446 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3)) in im 30.446 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 3) in im 30.446 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.446 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.446 * [taylor]: Taking taylor expansion of -1 in im 30.446 * [taylor]: Taking taylor expansion of im in im 30.446 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 30.446 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.446 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.446 * [taylor]: Taking taylor expansion of im in im 30.447 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im)))) in im 30.447 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) in im 30.447 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 30.447 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.447 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.447 * [taylor]: Taking taylor expansion of -1 in im 30.447 * [taylor]: Taking taylor expansion of im in im 30.447 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 30.447 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.447 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.447 * [taylor]: Taking taylor expansion of im in im 30.447 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (exp (/ 1 im))) in im 30.447 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 30.447 * [taylor]: Taking taylor expansion of (/ -1 im) in im 30.447 * [taylor]: Taking taylor expansion of -1 in im 30.447 * [taylor]: Taking taylor expansion of im in im 30.448 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.448 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.448 * [taylor]: Taking taylor expansion of im in im 30.458 * [taylor]: Taking taylor expansion of 0 in im 30.476 * [taylor]: Taking taylor expansion of 0 in im 30.502 * [taylor]: Taking taylor expansion of 0 in im 30.502 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 30.502 * [approximate]: Taking taylor expansion of (pow (exp (- im)) 3) in (im) around 0 30.503 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im 30.503 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.503 * [taylor]: Taking taylor expansion of (- im) in im 30.503 * [taylor]: Taking taylor expansion of im in im 30.503 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im 30.503 * [taylor]: Taking taylor expansion of (exp (- im)) in im 30.503 * [taylor]: Taking taylor expansion of (- im) in im 30.503 * [taylor]: Taking taylor expansion of im in im 30.509 * [approximate]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in (im) around 0 30.509 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in im 30.509 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.509 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.509 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.509 * [taylor]: Taking taylor expansion of im in im 30.509 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in im 30.509 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 30.509 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 30.509 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.509 * [taylor]: Taking taylor expansion of im in im 30.519 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in (im) around 0 30.519 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 30.519 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.519 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.519 * [taylor]: Taking taylor expansion of im in im 30.520 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 30.520 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 30.520 * [taylor]: Taking taylor expansion of (/ 1 im) in im 30.520 * [taylor]: Taking taylor expansion of im in im 30.530 * * * [progress]: simplifying candidates 30.532 * [simplify]: Simplifying using # : (fma (exp im) (exp im) (- (* (exp im) (exp (- 0.0 im))))) (fma (- (exp im)) (exp (- 0.0 im)) (* (exp im) (exp (- 0.0 im)))) (expm1 (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (log1p (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (- (* (exp (- 0.0 im)) (exp im))) (/ (exp (* (exp im) (exp im))) (exp (* (exp (- 0.0 im)) (exp im)))) (log (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (exp (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (* (cbrt (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (cbrt (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))))) (cbrt (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (* (* (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (sqrt (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (sqrt (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (- (pow (* (exp im) (exp im)) 3) (pow (* (exp (- 0.0 im)) (exp im)) 3)) (+ (* (* (exp im) (exp im)) (* (exp im) (exp im))) (+ (* (* (exp (- 0.0 im)) (exp im)) (* (exp (- 0.0 im)) (exp im))) (* (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))))) (- (* (exp (- 0.0 im)) (exp im))) (- (* (* (exp im) (exp im)) (* (exp im) (exp im))) (* (* (exp (- 0.0 im)) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (+ (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))) (- (exp im) (exp (- 0.0 im))) (- (* (exp (- 0.0 im)) (exp im))) (expm1 (* (exp (- 0.0 im)) (exp im))) (log1p (* (exp (- 0.0 im)) (exp im))) (+ (- 0.0 im) im) (+ (- 0.0 im) im) (* (exp (- 0.0 im)) (exp im)) (+ (- 0.0 im) im) (log (* (exp (- 0.0 im)) (exp im))) (exp (* (exp (- 0.0 im)) (exp im))) (* (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (exp (- 0.0 im))) (* (* (exp im) (exp 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))) (* (sqrt (exp (- 0.0 im))) (sqrt (exp im))) (* (sqrt (exp (- 0.0 im))) (sqrt (exp im))) (* (exp (- 0.0 im)) (* (cbrt (exp im)) (cbrt (exp im)))) (* (exp (- 0.0 im)) (sqrt (exp im))) (* (exp (- 0.0 im)) 1) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp im)) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp im)) (* (exp (fma (- im) 1 (* im 1))) (exp im)) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp im)) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp im)) (* (exp (fma (- im) 1 (* im 1))) (exp im)) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp im)) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp im)) (* (exp (fma (- im) 1 (* im 1))) (exp im)) (* (exp (- im)) (exp im)) (* (exp (- im)) (exp im)) (* (cbrt (exp (- 0.0 im))) (exp im)) (* (sqrt (exp (- 0.0 im))) (exp im)) (* (exp (- 0.0 im)) (exp im)) (* (exp 0.0) (exp im)) (expm1 (/ (* (* 0.5 (sin re)) (+ (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)))))) (log1p (/ (* (* 0.5 (sin re)) (+ (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)))))) (- (+ (+ (log 0.5) (log (sin re))) (log (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (log (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (- (+ (log (* 0.5 (sin re))) (log (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (log (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (- (log (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (log (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (log (/ (* (* 0.5 (sin re)) (+ (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.5 (sin re)) (+ (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)))))) (/ (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (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 (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (/ (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (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 (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (/ (* (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (* (* 0.5 (sin re)) (+ (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 (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (* (cbrt (/ (* (* 0.5 (sin re)) (+ (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)))))) (cbrt (/ (* (* 0.5 (sin re)) (+ (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))))))) (cbrt (/ (* (* 0.5 (sin re)) (+ (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)))))) (* (* (/ (* (* 0.5 (sin re)) (+ (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))))) (/ (* (* 0.5 (sin re)) (+ (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)))))) (/ (* (* 0.5 (sin re)) (+ (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)))))) (sqrt (/ (* (* 0.5 (sin re)) (+ (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)))))) (sqrt (/ (* (* 0.5 (sin re)) (+ (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)))))) (- (* (* 0.5 (sin re)) (+ (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))))) (/ (* 0.5 (sin re)) (* (cbrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))))) (cbrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))))))) (/ (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (cbrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (/ (* 0.5 (sin re)) (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (/ (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (/ (* 0.5 (sin re)) 1) (/ (+ (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))))) (/ 1 (+ (* (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)))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (cbrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))))) (cbrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))))))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (sqrt (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) 1) (/ (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (* (* (exp 0.0) (exp 0.0)) (+ (* (* (exp im) (exp im)) (* (exp im) (exp im))) (+ (* (* (exp (- 0.0 im)) (exp im)) (* (exp (- 0.0 im)) (exp im))) (* (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (* (* (exp im) (exp im)) (- (pow (* (exp im) (exp im)) 3) (pow (* (exp (- 0.0 im)) (exp im)) 3))))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (* (* (exp 0.0) (exp 0.0)) (+ (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (* (* (exp im) (exp im)) (- (* (* (exp im) (exp im)) (* (exp im) (exp im))) (* (* (exp (- 0.0 im)) (exp im)) (* (exp (- 0.0 im)) (exp im))))))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (* (* (exp (- 0.0 im)) (exp 0.0)) (+ (* (* (exp im) (exp im)) (* (exp im) (exp im))) (+ (* (* (exp (- 0.0 im)) (exp im)) (* (exp (- 0.0 im)) (exp im))) (* (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (* (exp im) (- (pow (* (exp im) (exp im)) 3) (pow (* (exp (- 0.0 im)) (exp im)) 3))))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (* (* (exp (- 0.0 im)) (exp 0.0)) (+ (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (* (exp im) (- (* (* (exp im) (exp im)) (* (exp im) (exp im))) (* (* (exp (- 0.0 im)) (exp im)) (* (exp (- 0.0 im)) (exp im))))))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (* (* (exp 0.0) (exp (- 0.0 im))) (+ (* (* (exp im) (exp im)) (* (exp im) (exp im))) (+ (* (* (exp (- 0.0 im)) (exp im)) (* (exp (- 0.0 im)) (exp im))) (* (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))))) (* (exp im) (- (pow (* (exp im) (exp im)) 3) (pow (* (exp (- 0.0 im)) (exp im)) 3))))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (* (* (exp 0.0) (exp (- 0.0 im))) (+ (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im)))) (* (exp im) (- (* (* (exp im) (exp im)) (* (exp im) (exp im))) (* (* (exp (- 0.0 im)) (exp im)) (* (exp (- 0.0 im)) (exp im))))))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (pow (* (exp (- 0.0 im)) (exp (- 0.0 im))) 3) (pow (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp im))) 3))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (- (* (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp (- 0.0 im)) (exp (- 0.0 im)))) (* (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp 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)))) (+ (* (pow (exp (- 0.0 im)) 3) (pow (exp (- 0.0 im)) 3)) (- (* (pow (exp im) 3) (pow (exp im) 3)) (* (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)))) (- (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (expm1 (pow (exp (- 0.0 im)) 3)) (log1p (pow (exp (- 0.0 im)) 3)) (* (- 0.0 im) 3) (* (log (exp (- 0.0 im))) 3) (* 1 3) (* (cbrt (- 0.0 im)) 3) (* (sqrt (- 0.0 im)) 3) (* (- 0.0 im) 3) (* (- (sqrt 0.0) (sqrt im)) 3) (* (- 0.0 im) 3) (pow (exp (- 0.0 im)) (* (cbrt 3) (cbrt 3))) (pow (exp (- 0.0 im)) (sqrt 3)) (pow (exp (- 0.0 im)) 1) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) 3) (pow (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) 3) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im))))) 3) (pow (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) 3) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1)))) 3) (pow (exp (fma (- im) 1 (* im 1))) 3) (pow (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) 3) (pow (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) 3) (pow (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im))))) 3) (pow (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) 3) (pow (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1)))) 3) (pow (exp (fma (- im) 1 (* im 1))) 3) (pow (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) 3) (pow (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) 3) (pow (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im))))) 3) (pow (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) 3) (pow (exp (fma 1 0.0 (- (* im 1)))) 3) (pow (exp (fma (- im) 1 (* im 1))) 3) (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im)))) 3) (pow (cbrt (exp (- 0.0 im))) 3) (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (exp (- 0.0 im))) 3) (pow 1 3) (pow (exp (- 0.0 im)) 3) (* (exp (- 0.0 im)) (exp (- 0.0 im))) (log (pow (exp (- 0.0 im)) 3)) (exp (pow (exp (- 0.0 im)) 3)) (* (cbrt (pow (exp (- 0.0 im)) 3)) (cbrt (pow (exp (- 0.0 im)) 3))) (cbrt (pow (exp (- 0.0 im)) 3)) (* (* (pow (exp (- 0.0 im)) 3) (pow (exp (- 0.0 im)) 3)) (pow (exp (- 0.0 im)) 3)) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) 3) (pow (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) 3) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im))))) 3) (pow (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) 3) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1)))) 3) (pow (exp (fma (- im) 1 (* im 1))) 3) (pow (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) 3) (pow (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) 3) (pow (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im))))) 3) (pow (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) 3) (pow (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1)))) 3) (pow (exp (fma (- im) 1 (* im 1))) 3) (pow (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) 3) (pow (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) 3) (pow (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im))))) 3) (pow (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) 3) (pow (exp (fma 1 0.0 (- (* im 1)))) 3) (pow (exp (fma (- im) 1 (* im 1))) 3) (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im)))) 3) (pow (cbrt (exp (- 0.0 im))) 3) (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (exp (- 0.0 im))) 3) (pow 1 3) (pow (exp (- 0.0 im)) 3) (pow (exp 0.0) 3) (pow (exp im) 3) (* (exp (- 0.0 im)) (exp (- 0.0 im))) (sqrt (pow (exp (- 0.0 im)) 3)) (sqrt (pow (exp (- 0.0 im)) 3)) (pow (exp (- 0.0 im)) (/ 3 2)) (pow (exp (- 0.0 im)) (/ 3 2)) (+ (* 4/3 (pow im 3)) (+ (* 2 (pow im 2)) (* 2 im))) (- (pow (exp im) 2) (* (exp im) (exp (- im)))) (- (pow (exp im) 2) (* (exp (* -1 im)) (exp im))) 1 (* (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 (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) (* 0.5 (/ (* (+ (pow (exp im) 3) (pow (exp (* -1 im)) 3)) (sin re)) (- (+ (pow (exp (* -1 im)) 2) (pow (exp im) 2)) (* (exp (* -1 im)) (exp im))))) (- (+ (* 9/2 (pow im 2)) 1) (* 3 im)) (pow (exp (- im)) 3) (pow (exp (* -1 im)) 3) 30.542 * * [simplify]: iteration 0 : 305 enodes (cost 3830 ) 30.607 * * [simplify]: iteration 1 : 900 enodes (cost 3094 ) 30.876 * * [simplify]: iteration 2 : 4258 enodes (cost 2282 ) 32.567 * * [simplify]: iteration done : 5000 enodes (cost 2282 ) 32.568 * [simplify]: Simplified to: (- (pow (exp im) 2) (exp (+ 0.0 0))) (+ (- (exp (+ 0.0 0))) (exp (+ 0.0 0))) (expm1 (- (pow (exp im) 2) (exp (+ 0.0 0)))) (log1p (- (pow (exp im) 2) (exp (+ 0.0 0)))) (- (exp (+ 0.0 0))) (exp (- (pow (exp im) 2) (exp (+ 0.0 0)))) (+ im (log (- (exp im) (exp (- 0.0 im))))) (exp (- (pow (exp im) 2) (exp (+ 0.0 0)))) (* (cbrt (- (pow (exp im) 2) (exp (+ 0.0 0)))) (cbrt (- (pow (exp im) 2) (exp (+ 0.0 0))))) (cbrt (- (pow (exp im) 2) (exp (+ 0.0 0)))) (pow (- (pow (exp im) 2) (exp (+ 0.0 0))) 3) (sqrt (- (pow (exp im) 2) (exp (+ 0.0 0)))) (sqrt (- (pow (exp im) 2) (exp (+ 0.0 0)))) (- (pow (exp im) 6) (pow (exp (+ 0.0 0)) 3)) (fma (exp (+ 0.0 0)) (+ (exp (+ 0.0 0)) (pow (exp im) 2)) (pow (exp im) 4)) (- (exp (+ 0.0 0))) (- (pow (exp im) 4) (exp (+ (+ 0.0 0) (+ 0.0 0)))) (+ (exp (+ 0.0 0)) (pow (exp im) 2)) (- (exp im) (exp (- 0.0 im))) (- (exp (+ 0.0 0))) (expm1 (exp (+ 0.0 0))) (log1p (exp (+ 0.0 0))) (+ 0.0 0) (+ 0.0 0) (exp (+ 0.0 0)) (+ 0.0 0) (+ 0.0 0) (exp (exp (+ 0.0 0))) (pow (exp (+ 0.0 0)) 3) (* (cbrt (exp (+ 0.0 0))) (cbrt (exp (+ 0.0 0)))) (cbrt (exp (+ 0.0 0))) (pow (exp (+ 0.0 0)) 3) (sqrt (exp (+ 0.0 0))) (sqrt (exp (+ 0.0 0))) (* (sqrt (exp (- 0.0 im))) (sqrt (exp im))) (* (sqrt (exp (- 0.0 im))) (sqrt (exp im))) (* (exp (- 0.0 im)) (* (cbrt (exp im)) (cbrt (exp im)))) (* (exp (- 0.0 im)) (sqrt (exp im))) (exp (- 0.0 im)) (* 1 (exp im)) (* 1 (exp im)) (* 1 (exp im)) (* 1 (exp im)) (* 1 (exp im)) (* 1 (exp im)) (* 1 (exp im)) (* 1 (exp im)) (* 1 (exp im)) 1 1 (* (cbrt (exp (- 0.0 im))) (exp im)) (* (sqrt (exp (- 0.0 im))) (exp im)) (exp (+ 0.0 0)) (exp (+ 0.0 im)) (expm1 (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log1p (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (exp (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (pow (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) 3) (pow (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) 3) (pow (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) 3) (* (cbrt (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (cbrt (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (cbrt (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (pow (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) 3) (sqrt (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (sqrt (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (- (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (- (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (* (/ 0.5 (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (/ (sin re) (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (/ (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (/ (* 0.5 (sin re)) (sqrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (/ (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (sqrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (* 0.5 (sin re)) (/ (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (/ (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (/ (* 0.5 (sin re)) (/ (sqrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp (+ 0.0 0.0)) (fma (exp (+ 0.0 0)) (+ (exp (+ 0.0 0)) (pow (exp im) 2)) (pow (exp im) 4)) (* (pow (exp im) 2) (- (pow (exp im) 6) (pow (exp (+ 0.0 0)) 3))))) (/ (* 0.5 (sin re)) (/ (fma (- (pow (exp im) 4) (exp (+ (+ 0.0 0) (+ 0.0 0)))) (pow (exp im) 2) (* (exp (+ 0.0 0.0)) (+ (exp (+ 0.0 0)) (pow (exp im) 2)))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (/ (* 0.5 (sin re)) (/ (fma (exp (+ (- 0.0 im) 0.0)) (fma (exp (+ 0.0 0)) (+ (exp (+ 0.0 0)) (pow (exp im) 2)) (pow (exp im) 4)) (* (exp im) (- (pow (exp im) 6) (pow (exp (+ 0.0 0)) 3)))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (/ (* 0.5 (sin re)) (/ (fma (exp im) (- (pow (exp im) 4) (exp (+ (+ 0.0 0) (+ 0.0 0)))) (* (exp 0.0) (* (exp (+ 0.0 0)) (+ (exp im) (exp (- 0.0 im)))))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (/ (* 0.5 (sin re)) (/ (fma (exp (+ (- 0.0 im) 0.0)) (fma (exp (+ 0.0 0)) (+ (exp (+ 0.0 0)) (pow (exp im) 2)) (pow (exp im) 4)) (* (exp im) (- (pow (exp im) 6) (pow (exp (+ 0.0 0)) 3)))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (/ (* 0.5 (sin re)) (/ (fma (exp im) (- (pow (exp im) 4) (exp (+ (+ 0.0 0) (+ 0.0 0)))) (* (exp 0.0) (* (exp (+ 0.0 0)) (+ (exp im) (exp (- 0.0 im)))))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (pow (- (pow (exp im) 2) (exp (+ 0.0 0))) 3) (pow (exp (- 0.0 im)) 6))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (- (pow (exp (- 0.0 im)) 4) (* (- (pow (exp im) 2) (exp (+ 0.0 0))) (- (pow (exp im) 2) (exp (+ 0.0 0)))))) (* (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)) (- (+ (pow (exp (- 0.0 im)) 6) (pow (exp im) 6)) (pow (exp (+ 0.0 0)) 3))) (* (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)) (- (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (expm1 (pow (exp (- 0.0 im)) 3)) (log1p (pow (exp (- 0.0 im)) 3)) (* 3 (- 0.0 im)) (* 3 (- 0.0 im)) 3 (* (cbrt (- 0.0 im)) 3) (* (sqrt (- 0.0 im)) 3) (* 3 (- 0.0 im)) (* (- (sqrt 0.0) (sqrt im)) 3) (* 3 (- 0.0 im)) (pow (exp (- 0.0 im)) (* (cbrt 3) (cbrt 3))) (pow (exp (- 0.0 im)) (sqrt 3)) (exp (- 0.0 im)) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) 3) 1 (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) 3) 1 (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) 3) 1 (pow (exp (- 0.0 im)) 3) 1 (pow (exp (- 0.0 im)) 3) 1 (pow (exp (- 0.0 im)) 3) 1 (pow (exp (- 0.0 im)) 3) 1 (pow (exp (- 0.0 im)) 3) 1 (pow (exp (- 0.0 im)) 3) 1 (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (exp (- 0.0 im)) 2) (exp (- 0.0 im)) (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (exp (- 0.0 im))) 3) 1 (pow (exp (- 0.0 im)) 3) (pow (exp (- 0.0 im)) 2) (* 3 (- 0.0 im)) (exp (pow (exp (- 0.0 im)) 3)) (pow (exp (- 0.0 im)) 2) (exp (- 0.0 im)) (pow (pow (exp (- 0.0 im)) 3) 3) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) 3) 1 (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) 3) 1 (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) 3) 1 (pow (exp (- 0.0 im)) 3) 1 (pow (exp (- 0.0 im)) 3) 1 (pow (exp (- 0.0 im)) 3) 1 (pow (exp (- 0.0 im)) 3) 1 (pow (exp (- 0.0 im)) 3) 1 (pow (exp (- 0.0 im)) 3) 1 (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (exp (- 0.0 im)) 2) (exp (- 0.0 im)) (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (exp (- 0.0 im))) 3) 1 (pow (exp (- 0.0 im)) 3) (pow (exp 0.0) 3) (pow (exp im) 3) (pow (exp (- 0.0 im)) 2) (sqrt (pow (exp (- 0.0 im)) 3)) (sqrt (pow (exp (- 0.0 im)) 3)) (pow (exp (- 0.0 im)) 3/2) (pow (exp (- 0.0 im)) 3/2) (fma 2 (fma im im im) (* 4/3 (pow im 3))) (fma (exp im) (exp im) -1) (fma (exp im) (exp im) -1) 1 1 1 (- (fma 1.0 re (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (/ (* 0.5 (* (sin re) (+ (pow (exp im) 3) (pow (exp (- im)) 3)))) (+ (pow (exp (- im)) 2) (fma (exp im) (exp im) -1))) (/ (* 0.5 (* (sin re) (+ (pow (exp im) 3) (pow (exp (- im)) 3)))) (+ (pow (exp (- im)) 2) (fma (exp im) (exp im) -1))) (- (fma 9/2 (pow im 2) 1) (* 3 im)) (pow (exp (- im)) 3) (pow (exp (- im)) 3) 32.569 * * * [progress]: adding candidates to table 33.113 * * [progress]: iteration 3 / 4 33.113 * * * [progress]: picking best candidate 33.119 * * * * [pick]: Picked # 33.120 * * * [progress]: localizing error 33.140 * * * [progress]: generating rewritten candidates 33.140 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 33.161 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 33.419 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 33.432 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 33.443 * * * [progress]: generating series expansions 33.444 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 33.444 * [approximate]: Taking taylor expansion of (- (exp im) (exp (- im))) in (im) around 0 33.444 * [taylor]: Taking taylor expansion of (- (exp im) (exp (- im))) in im 33.444 * [taylor]: Taking taylor expansion of (exp im) in im 33.444 * [taylor]: Taking taylor expansion of im in im 33.444 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.444 * [taylor]: Taking taylor expansion of (- im) in im 33.444 * [taylor]: Taking taylor expansion of im in im 33.445 * [taylor]: Taking taylor expansion of (- (exp im) (exp (- im))) in im 33.445 * [taylor]: Taking taylor expansion of (exp im) in im 33.445 * [taylor]: Taking taylor expansion of im in im 33.445 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.445 * [taylor]: Taking taylor expansion of (- im) in im 33.445 * [taylor]: Taking taylor expansion of im in im 33.475 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (- (/ 1 im)))) in (im) around 0 33.475 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (- (/ 1 im)))) in im 33.475 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.475 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.475 * [taylor]: Taking taylor expansion of im in im 33.476 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 33.476 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 33.476 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.476 * [taylor]: Taking taylor expansion of im in im 33.476 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (- (/ 1 im)))) in im 33.476 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.476 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.476 * [taylor]: Taking taylor expansion of im in im 33.477 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 33.477 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 33.477 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.477 * [taylor]: Taking taylor expansion of im in im 33.481 * [approximate]: Taking taylor expansion of (- (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 33.481 * [taylor]: Taking taylor expansion of (- (exp (/ -1 im)) (exp (/ 1 im))) in im 33.481 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 33.481 * [taylor]: Taking taylor expansion of (/ -1 im) in im 33.481 * [taylor]: Taking taylor expansion of -1 in im 33.481 * [taylor]: Taking taylor expansion of im in im 33.481 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.481 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.481 * [taylor]: Taking taylor expansion of im in im 33.481 * [taylor]: Taking taylor expansion of (- (exp (/ -1 im)) (exp (/ 1 im))) in im 33.481 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 33.481 * [taylor]: Taking taylor expansion of (/ -1 im) in im 33.481 * [taylor]: Taking taylor expansion of -1 in im 33.481 * [taylor]: Taking taylor expansion of im in im 33.482 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.482 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.482 * [taylor]: Taking taylor expansion of im in im 33.485 * * * * [progress]: [ 2 / 4 ] generating series at (2) 33.486 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (fma (exp im) (- (exp im) (exp (- im))) (pow (exp (- im)) 2)))) in (re im) around 0 33.486 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (fma (exp im) (- (exp im) (exp (- im))) (pow (exp (- im)) 2)))) in im 33.486 * [taylor]: Taking taylor expansion of 0.5 in im 33.486 * [taylor]: Taking taylor expansion of (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (fma (exp im) (- (exp im) (exp (- im))) (pow (exp (- im)) 2))) in im 33.486 * [taylor]: Taking taylor expansion of (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) in im 33.486 * [taylor]: Taking taylor expansion of (+ (pow (exp im) 3) (pow (exp (- im)) 3)) in im 33.486 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in im 33.486 * [taylor]: Taking taylor expansion of (exp im) in im 33.486 * [taylor]: Taking taylor expansion of im in im 33.486 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im 33.486 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.486 * [taylor]: Taking taylor expansion of (- im) in im 33.486 * [taylor]: Taking taylor expansion of im in im 33.486 * [taylor]: Taking taylor expansion of (sin re) in im 33.486 * [taylor]: Taking taylor expansion of re in im 33.487 * [taylor]: Taking taylor expansion of (fma (exp im) (- (exp im) (exp (- im))) (pow (exp (- im)) 2)) in im 33.487 * [taylor]: Rewrote expression to (+ (* (exp im) (- (exp im) (exp (- im)))) (pow (exp (- im)) 2)) 33.487 * [taylor]: Taking taylor expansion of (* (exp im) (- (exp im) (exp (- im)))) in im 33.487 * [taylor]: Taking taylor expansion of (exp im) in im 33.487 * [taylor]: Taking taylor expansion of im in im 33.487 * [taylor]: Taking taylor expansion of (- (exp im) (exp (- im))) in im 33.487 * [taylor]: Taking taylor expansion of (exp im) in im 33.487 * [taylor]: Taking taylor expansion of im in im 33.487 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.487 * [taylor]: Taking taylor expansion of (- im) in im 33.487 * [taylor]: Taking taylor expansion of im in im 33.488 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 2) in im 33.488 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.488 * [taylor]: Taking taylor expansion of (- im) in im 33.488 * [taylor]: Taking taylor expansion of im in im 33.491 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (fma (exp im) (- (exp im) (exp (- im))) (pow (exp (- im)) 2)))) in re 33.491 * [taylor]: Taking taylor expansion of 0.5 in re 33.491 * [taylor]: Taking taylor expansion of (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (fma (exp im) (- (exp im) (exp (- im))) (pow (exp (- im)) 2))) in re 33.491 * [taylor]: Taking taylor expansion of (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) in re 33.491 * [taylor]: Taking taylor expansion of (+ (pow (exp im) 3) (pow (exp (- im)) 3)) in re 33.491 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in re 33.491 * [taylor]: Taking taylor expansion of (exp im) in re 33.491 * [taylor]: Taking taylor expansion of im in re 33.491 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in re 33.491 * [taylor]: Taking taylor expansion of (exp (- im)) in re 33.491 * [taylor]: Taking taylor expansion of (- im) in re 33.491 * [taylor]: Taking taylor expansion of im in re 33.491 * [taylor]: Taking taylor expansion of (sin re) in re 33.491 * [taylor]: Taking taylor expansion of re in re 33.491 * [taylor]: Taking taylor expansion of (fma (exp im) (- (exp im) (exp (- im))) (pow (exp (- im)) 2)) in re 33.491 * [taylor]: Rewrote expression to (+ (* (exp im) (- (exp im) (exp (- im)))) (pow (exp (- im)) 2)) 33.491 * [taylor]: Taking taylor expansion of (* (exp im) (- (exp im) (exp (- im)))) in re 33.491 * [taylor]: Taking taylor expansion of (exp im) in re 33.491 * [taylor]: Taking taylor expansion of im in re 33.491 * [taylor]: Taking taylor expansion of (- (exp im) (exp (- im))) in re 33.491 * [taylor]: Taking taylor expansion of (exp im) in re 33.491 * [taylor]: Taking taylor expansion of im in re 33.491 * [taylor]: Taking taylor expansion of (exp (- im)) in re 33.491 * [taylor]: Taking taylor expansion of (- im) in re 33.491 * [taylor]: Taking taylor expansion of im in re 33.491 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 2) in re 33.491 * [taylor]: Taking taylor expansion of (exp (- im)) in re 33.491 * [taylor]: Taking taylor expansion of (- im) in re 33.491 * [taylor]: Taking taylor expansion of im in re 33.496 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (fma (exp im) (- (exp im) (exp (- im))) (pow (exp (- im)) 2)))) in re 33.496 * [taylor]: Taking taylor expansion of 0.5 in re 33.496 * [taylor]: Taking taylor expansion of (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (fma (exp im) (- (exp im) (exp (- im))) (pow (exp (- im)) 2))) in re 33.496 * [taylor]: Taking taylor expansion of (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) in re 33.496 * [taylor]: Taking taylor expansion of (+ (pow (exp im) 3) (pow (exp (- im)) 3)) in re 33.496 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in re 33.496 * [taylor]: Taking taylor expansion of (exp im) in re 33.496 * [taylor]: Taking taylor expansion of im in re 33.496 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in re 33.496 * [taylor]: Taking taylor expansion of (exp (- im)) in re 33.496 * [taylor]: Taking taylor expansion of (- im) in re 33.496 * [taylor]: Taking taylor expansion of im in re 33.496 * [taylor]: Taking taylor expansion of (sin re) in re 33.496 * [taylor]: Taking taylor expansion of re in re 33.496 * [taylor]: Taking taylor expansion of (fma (exp im) (- (exp im) (exp (- im))) (pow (exp (- im)) 2)) in re 33.496 * [taylor]: Rewrote expression to (+ (* (exp im) (- (exp im) (exp (- im)))) (pow (exp (- im)) 2)) 33.496 * [taylor]: Taking taylor expansion of (* (exp im) (- (exp im) (exp (- im)))) in re 33.496 * [taylor]: Taking taylor expansion of (exp im) in re 33.496 * [taylor]: Taking taylor expansion of im in re 33.496 * [taylor]: Taking taylor expansion of (- (exp im) (exp (- im))) in re 33.496 * [taylor]: Taking taylor expansion of (exp im) in re 33.496 * [taylor]: Taking taylor expansion of im in re 33.496 * [taylor]: Taking taylor expansion of (exp (- im)) in re 33.496 * [taylor]: Taking taylor expansion of (- im) in re 33.496 * [taylor]: Taking taylor expansion of im in re 33.496 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 2) in re 33.496 * [taylor]: Taking taylor expansion of (exp (- im)) in re 33.496 * [taylor]: Taking taylor expansion of (- im) in re 33.496 * [taylor]: Taking taylor expansion of im in re 33.501 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) in im 33.501 * [taylor]: Taking taylor expansion of 0.5 in im 33.501 * [taylor]: Taking taylor expansion of (/ (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im))))) in im 33.501 * [taylor]: Taking taylor expansion of (+ (pow (exp im) 3) (pow (exp (- im)) 3)) in im 33.501 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in im 33.501 * [taylor]: Taking taylor expansion of (exp im) in im 33.501 * [taylor]: Taking taylor expansion of im in im 33.501 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im 33.501 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.501 * [taylor]: Taking taylor expansion of (- im) in im 33.501 * [taylor]: Taking taylor expansion of im in im 33.502 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))) in im 33.502 * [taylor]: Taking taylor expansion of (+ (pow (exp (- im)) 2) (pow (exp im) 2)) in im 33.502 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 2) in im 33.502 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.502 * [taylor]: Taking taylor expansion of (- im) in im 33.502 * [taylor]: Taking taylor expansion of im in im 33.503 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 33.503 * [taylor]: Taking taylor expansion of (exp im) in im 33.503 * [taylor]: Taking taylor expansion of im in im 33.503 * [taylor]: Taking taylor expansion of (* (exp im) (exp (- im))) in im 33.503 * [taylor]: Taking taylor expansion of (exp im) in im 33.503 * [taylor]: Taking taylor expansion of im in im 33.503 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.503 * [taylor]: Taking taylor expansion of (- im) in im 33.503 * [taylor]: Taking taylor expansion of im in im 33.516 * [taylor]: Taking taylor expansion of 0 in im 33.539 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (/ (pow (exp (- im)) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) (* 0.08333333333333333 (/ (pow (exp im) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))))) in im 33.539 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (/ (pow (exp (- im)) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) (* 0.08333333333333333 (/ (pow (exp im) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im))))))) in im 33.539 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (/ (pow (exp (- im)) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) in im 33.540 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 33.540 * [taylor]: Taking taylor expansion of (/ (pow (exp (- im)) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im))))) in im 33.540 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im 33.540 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.540 * [taylor]: Taking taylor expansion of (- im) in im 33.540 * [taylor]: Taking taylor expansion of im in im 33.540 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))) in im 33.540 * [taylor]: Taking taylor expansion of (+ (pow (exp (- im)) 2) (pow (exp im) 2)) in im 33.540 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 2) in im 33.540 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.540 * [taylor]: Taking taylor expansion of (- im) in im 33.540 * [taylor]: Taking taylor expansion of im in im 33.541 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 33.541 * [taylor]: Taking taylor expansion of (exp im) in im 33.541 * [taylor]: Taking taylor expansion of im in im 33.541 * [taylor]: Taking taylor expansion of (* (exp im) (exp (- im))) in im 33.541 * [taylor]: Taking taylor expansion of (exp im) in im 33.541 * [taylor]: Taking taylor expansion of im in im 33.541 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.541 * [taylor]: Taking taylor expansion of (- im) in im 33.541 * [taylor]: Taking taylor expansion of im in im 33.543 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (/ (pow (exp im) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) in im 33.543 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 33.543 * [taylor]: Taking taylor expansion of (/ (pow (exp im) 3) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im))))) in im 33.543 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in im 33.543 * [taylor]: Taking taylor expansion of (exp im) in im 33.543 * [taylor]: Taking taylor expansion of im in im 33.543 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))) in im 33.543 * [taylor]: Taking taylor expansion of (+ (pow (exp (- im)) 2) (pow (exp im) 2)) in im 33.544 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 2) in im 33.544 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.544 * [taylor]: Taking taylor expansion of (- im) in im 33.544 * [taylor]: Taking taylor expansion of im in im 33.544 * [taylor]: Taking taylor expansion of (pow (exp im) 2) in im 33.544 * [taylor]: Taking taylor expansion of (exp im) in im 33.544 * [taylor]: Taking taylor expansion of im in im 33.544 * [taylor]: Taking taylor expansion of (* (exp im) (exp (- im))) in im 33.544 * [taylor]: Taking taylor expansion of (exp im) in im 33.544 * [taylor]: Taking taylor expansion of im in im 33.544 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.544 * [taylor]: Taking taylor expansion of (- im) in im 33.544 * [taylor]: Taking taylor expansion of im in im 33.565 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (fma (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im)))) (pow (exp (- (/ 1 im))) 2)))) in (re im) around 0 33.565 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (fma (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im)))) (pow (exp (- (/ 1 im))) 2)))) in im 33.565 * [taylor]: Taking taylor expansion of 0.5 in im 33.565 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (fma (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im)))) (pow (exp (- (/ 1 im))) 2))) in im 33.565 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) in im 33.565 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 33.565 * [taylor]: Taking taylor expansion of (/ 1 re) in im 33.565 * [taylor]: Taking taylor expansion of re in im 33.565 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3)) in im 33.565 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 33.565 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.565 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.565 * [taylor]: Taking taylor expansion of im in im 33.566 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in im 33.566 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 33.566 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 33.566 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.566 * [taylor]: Taking taylor expansion of im in im 33.566 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im)))) (pow (exp (- (/ 1 im))) 2)) in im 33.566 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im))))) (pow (exp (- (/ 1 im))) 2)) 33.566 * [taylor]: Taking taylor expansion of (* (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im))))) in im 33.566 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.566 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.566 * [taylor]: Taking taylor expansion of im in im 33.567 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (- (/ 1 im)))) in im 33.567 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.567 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.567 * [taylor]: Taking taylor expansion of im in im 33.567 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 33.567 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 33.567 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.567 * [taylor]: Taking taylor expansion of im in im 33.568 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 2) in im 33.568 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 33.568 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 33.568 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.568 * [taylor]: Taking taylor expansion of im in im 33.570 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (fma (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im)))) (pow (exp (- (/ 1 im))) 2)))) in re 33.570 * [taylor]: Taking taylor expansion of 0.5 in re 33.570 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (fma (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im)))) (pow (exp (- (/ 1 im))) 2))) in re 33.570 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) in re 33.570 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 33.570 * [taylor]: Taking taylor expansion of (/ 1 re) in re 33.570 * [taylor]: Taking taylor expansion of re in re 33.571 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3)) in re 33.571 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in re 33.571 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 33.571 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.571 * [taylor]: Taking taylor expansion of im in re 33.571 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in re 33.571 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 33.571 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 33.571 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.571 * [taylor]: Taking taylor expansion of im in re 33.571 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im)))) (pow (exp (- (/ 1 im))) 2)) in re 33.571 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im))))) (pow (exp (- (/ 1 im))) 2)) 33.571 * [taylor]: Taking taylor expansion of (* (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im))))) in re 33.571 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 33.571 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.571 * [taylor]: Taking taylor expansion of im in re 33.571 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (- (/ 1 im)))) in re 33.571 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 33.571 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.571 * [taylor]: Taking taylor expansion of im in re 33.571 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 33.571 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 33.571 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.571 * [taylor]: Taking taylor expansion of im in re 33.572 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 2) in re 33.572 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 33.572 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 33.572 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.572 * [taylor]: Taking taylor expansion of im in re 33.573 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (fma (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im)))) (pow (exp (- (/ 1 im))) 2)))) in re 33.574 * [taylor]: Taking taylor expansion of 0.5 in re 33.574 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (fma (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im)))) (pow (exp (- (/ 1 im))) 2))) in re 33.574 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) in re 33.574 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 33.574 * [taylor]: Taking taylor expansion of (/ 1 re) in re 33.574 * [taylor]: Taking taylor expansion of re in re 33.574 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3)) in re 33.574 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in re 33.574 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 33.574 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.574 * [taylor]: Taking taylor expansion of im in re 33.574 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in re 33.574 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 33.574 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 33.574 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.574 * [taylor]: Taking taylor expansion of im in re 33.574 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im)))) (pow (exp (- (/ 1 im))) 2)) in re 33.574 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im))))) (pow (exp (- (/ 1 im))) 2)) 33.574 * [taylor]: Taking taylor expansion of (* (exp (/ 1 im)) (- (exp (/ 1 im)) (exp (- (/ 1 im))))) in re 33.574 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 33.575 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.575 * [taylor]: Taking taylor expansion of im in re 33.575 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (- (/ 1 im)))) in re 33.575 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 33.575 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.575 * [taylor]: Taking taylor expansion of im in re 33.575 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 33.575 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 33.575 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.575 * [taylor]: Taking taylor expansion of im in re 33.575 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 2) in re 33.575 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 33.575 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 33.575 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.575 * [taylor]: Taking taylor expansion of im in re 33.577 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im)))))) in im 33.577 * [taylor]: Taking taylor expansion of 0.5 in im 33.577 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 33.577 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3))) in im 33.577 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 33.578 * [taylor]: Taking taylor expansion of (/ 1 re) in im 33.578 * [taylor]: Taking taylor expansion of re in im 33.578 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 im)) 3) (pow (exp (- (/ 1 im))) 3)) in im 33.578 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 33.578 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.578 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.578 * [taylor]: Taking taylor expansion of im in im 33.578 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in im 33.578 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 33.578 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 33.578 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.578 * [taylor]: Taking taylor expansion of im in im 33.579 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) (* (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 33.579 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 im))) 2) (pow (exp (/ 1 im)) 2)) in im 33.579 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 2) in im 33.579 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 33.579 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 33.579 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.579 * [taylor]: Taking taylor expansion of im in im 33.579 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 33.579 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.579 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.579 * [taylor]: Taking taylor expansion of im in im 33.580 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 im))) (exp (/ 1 im))) in im 33.580 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 33.580 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 33.580 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.580 * [taylor]: Taking taylor expansion of im in im 33.580 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.580 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.580 * [taylor]: Taking taylor expansion of im in im 33.592 * [taylor]: Taking taylor expansion of 0 in im 33.610 * [taylor]: Taking taylor expansion of 0 in im 33.636 * [taylor]: Taking taylor expansion of 0 in im 33.637 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (fma (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im))) (pow (exp (/ 1 im)) 2)))) in (re im) around 0 33.637 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (fma (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im))) (pow (exp (/ 1 im)) 2)))) in im 33.637 * [taylor]: Taking taylor expansion of 0.5 in im 33.637 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (fma (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im))) (pow (exp (/ 1 im)) 2))) in im 33.637 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) in im 33.637 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 33.637 * [taylor]: Taking taylor expansion of (/ -1 re) in im 33.637 * [taylor]: Taking taylor expansion of -1 in im 33.637 * [taylor]: Taking taylor expansion of re in im 33.637 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3)) in im 33.637 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 3) in im 33.637 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 33.637 * [taylor]: Taking taylor expansion of (/ -1 im) in im 33.637 * [taylor]: Taking taylor expansion of -1 in im 33.637 * [taylor]: Taking taylor expansion of im in im 33.638 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 33.638 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.638 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.638 * [taylor]: Taking taylor expansion of im in im 33.638 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im))) (pow (exp (/ 1 im)) 2)) in im 33.638 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im)))) (pow (exp (/ 1 im)) 2)) 33.638 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im)))) in im 33.638 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 33.639 * [taylor]: Taking taylor expansion of (/ -1 im) in im 33.639 * [taylor]: Taking taylor expansion of -1 in im 33.639 * [taylor]: Taking taylor expansion of im in im 33.639 * [taylor]: Taking taylor expansion of (- (exp (/ -1 im)) (exp (/ 1 im))) in im 33.639 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 33.639 * [taylor]: Taking taylor expansion of (/ -1 im) in im 33.639 * [taylor]: Taking taylor expansion of -1 in im 33.639 * [taylor]: Taking taylor expansion of im in im 33.639 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.639 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.639 * [taylor]: Taking taylor expansion of im in im 33.640 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 33.640 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.640 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.640 * [taylor]: Taking taylor expansion of im in im 33.642 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (fma (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im))) (pow (exp (/ 1 im)) 2)))) in re 33.642 * [taylor]: Taking taylor expansion of 0.5 in re 33.642 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (fma (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im))) (pow (exp (/ 1 im)) 2))) in re 33.642 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) in re 33.642 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 33.642 * [taylor]: Taking taylor expansion of (/ -1 re) in re 33.642 * [taylor]: Taking taylor expansion of -1 in re 33.642 * [taylor]: Taking taylor expansion of re in re 33.642 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3)) in re 33.642 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 3) in re 33.642 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 33.642 * [taylor]: Taking taylor expansion of (/ -1 im) in re 33.642 * [taylor]: Taking taylor expansion of -1 in re 33.642 * [taylor]: Taking taylor expansion of im in re 33.642 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in re 33.642 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 33.642 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.642 * [taylor]: Taking taylor expansion of im in re 33.642 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im))) (pow (exp (/ 1 im)) 2)) in re 33.643 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im)))) (pow (exp (/ 1 im)) 2)) 33.643 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im)))) in re 33.643 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 33.643 * [taylor]: Taking taylor expansion of (/ -1 im) in re 33.643 * [taylor]: Taking taylor expansion of -1 in re 33.643 * [taylor]: Taking taylor expansion of im in re 33.643 * [taylor]: Taking taylor expansion of (- (exp (/ -1 im)) (exp (/ 1 im))) in re 33.643 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 33.643 * [taylor]: Taking taylor expansion of (/ -1 im) in re 33.643 * [taylor]: Taking taylor expansion of -1 in re 33.643 * [taylor]: Taking taylor expansion of im in re 33.643 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 33.643 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.643 * [taylor]: Taking taylor expansion of im in re 33.643 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in re 33.643 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 33.643 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.643 * [taylor]: Taking taylor expansion of im in re 33.645 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (fma (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im))) (pow (exp (/ 1 im)) 2)))) in re 33.645 * [taylor]: Taking taylor expansion of 0.5 in re 33.645 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (fma (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im))) (pow (exp (/ 1 im)) 2))) in re 33.645 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) in re 33.645 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 33.645 * [taylor]: Taking taylor expansion of (/ -1 re) in re 33.645 * [taylor]: Taking taylor expansion of -1 in re 33.645 * [taylor]: Taking taylor expansion of re in re 33.645 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3)) in re 33.645 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 3) in re 33.645 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 33.645 * [taylor]: Taking taylor expansion of (/ -1 im) in re 33.645 * [taylor]: Taking taylor expansion of -1 in re 33.645 * [taylor]: Taking taylor expansion of im in re 33.645 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in re 33.645 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 33.645 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.645 * [taylor]: Taking taylor expansion of im in re 33.645 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im))) (pow (exp (/ 1 im)) 2)) in re 33.646 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im)))) (pow (exp (/ 1 im)) 2)) 33.646 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (- (exp (/ -1 im)) (exp (/ 1 im)))) in re 33.646 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 33.646 * [taylor]: Taking taylor expansion of (/ -1 im) in re 33.646 * [taylor]: Taking taylor expansion of -1 in re 33.646 * [taylor]: Taking taylor expansion of im in re 33.646 * [taylor]: Taking taylor expansion of (- (exp (/ -1 im)) (exp (/ 1 im))) in re 33.646 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 33.646 * [taylor]: Taking taylor expansion of (/ -1 im) in re 33.646 * [taylor]: Taking taylor expansion of -1 in re 33.646 * [taylor]: Taking taylor expansion of im in re 33.646 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 33.646 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.646 * [taylor]: Taking taylor expansion of im in re 33.646 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in re 33.646 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 33.646 * [taylor]: Taking taylor expansion of (/ 1 im) in re 33.646 * [taylor]: Taking taylor expansion of im in re 33.648 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im)))))) in im 33.648 * [taylor]: Taking taylor expansion of 0.5 in im 33.648 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im))))) in im 33.648 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3))) in im 33.648 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 33.648 * [taylor]: Taking taylor expansion of (/ -1 re) in im 33.648 * [taylor]: Taking taylor expansion of -1 in im 33.648 * [taylor]: Taking taylor expansion of re in im 33.648 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 im)) 3) (pow (exp (/ 1 im)) 3)) in im 33.648 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 3) in im 33.648 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 33.648 * [taylor]: Taking taylor expansion of (/ -1 im) in im 33.648 * [taylor]: Taking taylor expansion of -1 in im 33.648 * [taylor]: Taking taylor expansion of im in im 33.649 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 33.649 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.649 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.649 * [taylor]: Taking taylor expansion of im in im 33.649 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) (* (exp (/ -1 im)) (exp (/ 1 im)))) in im 33.649 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 im)) 2) (pow (exp (/ 1 im)) 2)) in im 33.649 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 2) in im 33.649 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 33.649 * [taylor]: Taking taylor expansion of (/ -1 im) in im 33.649 * [taylor]: Taking taylor expansion of -1 in im 33.649 * [taylor]: Taking taylor expansion of im in im 33.650 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 2) in im 33.650 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.650 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.650 * [taylor]: Taking taylor expansion of im in im 33.650 * [taylor]: Taking taylor expansion of (* (exp (/ -1 im)) (exp (/ 1 im))) in im 33.650 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 33.650 * [taylor]: Taking taylor expansion of (/ -1 im) in im 33.650 * [taylor]: Taking taylor expansion of -1 in im 33.650 * [taylor]: Taking taylor expansion of im in im 33.650 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.650 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.650 * [taylor]: Taking taylor expansion of im in im 33.664 * [taylor]: Taking taylor expansion of 0 in im 33.680 * [taylor]: Taking taylor expansion of 0 in im 33.703 * [taylor]: Taking taylor expansion of 0 in im 33.703 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 33.703 * [approximate]: Taking taylor expansion of (pow (exp (- im)) 3) in (im) around 0 33.703 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im 33.703 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.703 * [taylor]: Taking taylor expansion of (- im) in im 33.704 * [taylor]: Taking taylor expansion of im in im 33.704 * [taylor]: Taking taylor expansion of (pow (exp (- im)) 3) in im 33.704 * [taylor]: Taking taylor expansion of (exp (- im)) in im 33.704 * [taylor]: Taking taylor expansion of (- im) in im 33.704 * [taylor]: Taking taylor expansion of im in im 33.709 * [approximate]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in (im) around 0 33.709 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in im 33.710 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 33.710 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 33.710 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.710 * [taylor]: Taking taylor expansion of im in im 33.710 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 im))) 3) in im 33.710 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 33.710 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 33.710 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.710 * [taylor]: Taking taylor expansion of im in im 33.720 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in (im) around 0 33.720 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 33.720 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.720 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.720 * [taylor]: Taking taylor expansion of im in im 33.720 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 33.720 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.720 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.720 * [taylor]: Taking taylor expansion of im in im 33.729 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 33.730 * [approximate]: Taking taylor expansion of (pow (exp im) 3) in (im) around 0 33.730 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in im 33.730 * [taylor]: Taking taylor expansion of (exp im) in im 33.730 * [taylor]: Taking taylor expansion of im in im 33.730 * [taylor]: Taking taylor expansion of (pow (exp im) 3) in im 33.730 * [taylor]: Taking taylor expansion of (exp im) in im 33.730 * [taylor]: Taking taylor expansion of im in im 33.734 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in (im) around 0 33.734 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 33.734 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.734 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.734 * [taylor]: Taking taylor expansion of im in im 33.734 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 im)) 3) in im 33.734 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 33.734 * [taylor]: Taking taylor expansion of (/ 1 im) in im 33.734 * [taylor]: Taking taylor expansion of im in im 33.744 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 im)) 3) in (im) around 0 33.744 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 3) in im 33.744 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 33.744 * [taylor]: Taking taylor expansion of (/ -1 im) in im 33.744 * [taylor]: Taking taylor expansion of -1 in im 33.744 * [taylor]: Taking taylor expansion of im in im 33.744 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 im)) 3) in im 33.744 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 33.744 * [taylor]: Taking taylor expansion of (/ -1 im) in im 33.746 * [taylor]: Taking taylor expansion of -1 in im 33.746 * [taylor]: Taking taylor expansion of im in im 33.756 * * * [progress]: simplifying candidates 33.760 * [simplify]: Simplifying using # : (fma (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)) (- (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im))))))))) (fma (- (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))))) (fma (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)) (- (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im)))))))) (fma (- (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im))))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im))))))) (fma (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)) (- (* (exp (fma (- im) 1 (* im 1))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1))))))) (fma (- (exp (fma (- im) 1 (* im 1)))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1)))) (* (exp (fma (- im) 1 (* im 1))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1)))))) (fma (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)) (- (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im))))))))) (fma (- (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))))) (fma (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)) (- (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im)))))))) (fma (- (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im))))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im))))))) (fma (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)) (- (* (exp (fma (- im) 1 (* im 1))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1))))))) (fma (- (exp (fma (- im) 1 (* im 1)))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1)))) (* (exp (fma (- im) 1 (* im 1))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1)))))) (fma (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)) (- (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im))))))))) (fma (- (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im)))))))) (fma (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)) (- (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im)))))))) (fma (- (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im))))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im))))))) (fma (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)) (- (* (exp (fma (- im) 1 (* im 1))) (exp (fma 1 0.0 (- (* im 1))))))) (fma (- (exp (fma (- im) 1 (* im 1)))) (exp (fma 1 0.0 (- (* im 1)))) (* (exp (fma (- im) 1 (* im 1))) (exp (fma 1 0.0 (- (* im 1)))))) (fma (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)) (- (* (exp (- im)) (exp 0.0)))) (fma (- (exp (- im))) (exp 0.0) (* (exp (- im)) (exp 0.0))) (fma (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)) (- (* (exp (- im)) (exp 0.0)))) (fma (- (exp (- im))) (exp 0.0) (* (exp (- im)) (exp 0.0))) (fma (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)) (- (* (cbrt (exp (- 0.0 im))) (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im))))))) (fma (- (cbrt (exp (- 0.0 im)))) (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im)))) (* (cbrt (exp (- 0.0 im))) (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im)))))) (fma (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)) (- (* (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im)))))) (fma (- (sqrt (exp (- 0.0 im)))) (sqrt (exp (- 0.0 im))) (* (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))))) (fma (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im)) (- (* (exp (- 0.0 im)) 1))) (fma (- (exp (- 0.0 im))) 1 (* (exp (- 0.0 im)) 1)) (fma (sqrt (exp im)) (sqrt (exp im)) (- (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im))))))))) (fma (- (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))))) (fma (sqrt (exp im)) (sqrt (exp im)) (- (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im)))))))) (fma (- (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im))))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im))))))) (fma (sqrt (exp im)) (sqrt (exp im)) (- (* (exp (fma (- im) 1 (* im 1))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1))))))) (fma (- (exp (fma (- im) 1 (* im 1)))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1)))) (* (exp (fma (- im) 1 (* im 1))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1)))))) (fma (sqrt (exp im)) (sqrt (exp im)) (- (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im))))))))) (fma (- (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))))) (fma (sqrt (exp im)) (sqrt (exp im)) (- (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im)))))))) (fma (- (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im))))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im))))))) (fma (sqrt (exp im)) (sqrt (exp im)) (- (* (exp (fma (- im) 1 (* im 1))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1))))))) (fma (- (exp (fma (- im) 1 (* im 1)))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1)))) (* (exp (fma (- im) 1 (* im 1))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1)))))) (fma (sqrt (exp im)) (sqrt (exp im)) (- (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im))))))))) (fma (- (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im)))))))) (fma (sqrt (exp im)) (sqrt (exp im)) (- (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im)))))))) (fma (- (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im))))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im))))))) (fma (sqrt (exp im)) (sqrt (exp im)) (- (* (exp (fma (- im) 1 (* im 1))) (exp (fma 1 0.0 (- (* im 1))))))) (fma (- (exp (fma (- im) 1 (* im 1)))) (exp (fma 1 0.0 (- (* im 1)))) (* (exp (fma (- im) 1 (* im 1))) (exp (fma 1 0.0 (- (* im 1)))))) (fma (sqrt (exp im)) (sqrt (exp im)) (- (* (exp (- im)) (exp 0.0)))) (fma (- (exp (- im))) (exp 0.0) (* (exp (- im)) (exp 0.0))) (fma (sqrt (exp im)) (sqrt (exp im)) (- (* (exp (- im)) (exp 0.0)))) (fma (- (exp (- im))) (exp 0.0) (* (exp (- im)) (exp 0.0))) (fma (sqrt (exp im)) (sqrt (exp im)) (- (* (cbrt (exp (- 0.0 im))) (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im))))))) (fma (- (cbrt (exp (- 0.0 im)))) (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im)))) (* (cbrt (exp (- 0.0 im))) (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im)))))) (fma (sqrt (exp im)) (sqrt (exp im)) (- (* (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im)))))) (fma (- (sqrt (exp (- 0.0 im)))) (sqrt (exp (- 0.0 im))) (* (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))))) (fma (sqrt (exp im)) (sqrt (exp im)) (- (* (exp (- 0.0 im)) 1))) (fma (- (exp (- 0.0 im))) 1 (* (exp (- 0.0 im)) 1)) (fma 1 (exp im) (- (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im))))))))) (fma (- (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))))) (fma 1 (exp im) (- (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im)))))))) (fma (- (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im))))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im))))))) (fma 1 (exp im) (- (* (exp (fma (- im) 1 (* im 1))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1))))))) (fma (- (exp (fma (- im) 1 (* im 1)))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1)))) (* (exp (fma (- im) 1 (* im 1))) (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1)))))) (fma 1 (exp im) (- (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im))))))))) (fma (- (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))))) (fma 1 (exp im) (- (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im)))))))) (fma (- (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im))))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im))))))) (fma 1 (exp im) (- (* (exp (fma (- im) 1 (* im 1))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1))))))) (fma (- (exp (fma (- im) 1 (* im 1)))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1)))) (* (exp (fma (- im) 1 (* im 1))) (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1)))))) (fma 1 (exp im) (- (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im))))))))) (fma (- (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))) (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) (* (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im)))))))) (fma 1 (exp im) (- (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im)))))))) (fma (- (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))) (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im))))) (* (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im))))))) (fma 1 (exp im) (- (* (exp (fma (- im) 1 (* im 1))) (exp (fma 1 0.0 (- (* im 1))))))) (fma (- (exp (fma (- im) 1 (* im 1)))) (exp (fma 1 0.0 (- (* im 1)))) (* (exp (fma (- im) 1 (* im 1))) (exp (fma 1 0.0 (- (* im 1)))))) (fma 1 (exp im) (- (* (exp (- im)) (exp 0.0)))) (fma (- (exp (- im))) (exp 0.0) (* (exp (- im)) (exp 0.0))) (fma 1 (exp im) (- (* (exp (- im)) (exp 0.0)))) (fma (- (exp (- im))) (exp 0.0) (* (exp (- im)) (exp 0.0))) (fma 1 (exp im) (- (* (cbrt (exp (- 0.0 im))) (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im))))))) (fma (- (cbrt (exp (- 0.0 im)))) (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im)))) (* (cbrt (exp (- 0.0 im))) (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im)))))) (fma 1 (exp im) (- (* (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im)))))) (fma (- (sqrt (exp (- 0.0 im)))) (sqrt (exp (- 0.0 im))) (* (sqrt (exp (- 0.0 im))) (sqrt (exp (- 0.0 im))))) (fma 1 (exp im) (- (* (exp (- 0.0 im)) 1))) (fma (- (exp (- 0.0 im))) 1 (* (exp (- 0.0 im)) 1)) (expm1 (- (exp im) (exp (- 0.0 im)))) (log1p (- (exp im) (exp (- 0.0 im)))) (- (exp (- 0.0 im))) (- (exp (- 0.0 im))) (- (exp (- 0.0 im))) (/ (exp (exp im)) (exp (exp (- 0.0 im)))) (log (- (exp im) (exp (- 0.0 im)))) (exp (- (exp im) (exp (- 0.0 im)))) (* (cbrt (- (exp im) (exp (- 0.0 im)))) (cbrt (- (exp im) (exp (- 0.0 im))))) (cbrt (- (exp im) (exp (- 0.0 im)))) (* (* (- (exp im) (exp (- 0.0 im))) (- (exp im) (exp (- 0.0 im)))) (- (exp im) (exp (- 0.0 im)))) (sqrt (- (exp im) (exp (- 0.0 im)))) (sqrt (- (exp im) (exp (- 0.0 im)))) (- (pow (exp im) 3) (pow (exp (- 0.0 im)) 3)) (+ (* (exp im) (exp im)) (+ (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp (- 0.0 im))))) (- (exp (- 0.0 im))) (- (* (exp im) (exp im)) (* (exp (- 0.0 im)) (exp (- 0.0 im)))) (+ (exp im) (exp (- 0.0 im))) (+ (sqrt (exp im)) (sqrt (exp (- 0.0 im)))) (- (sqrt (exp im)) (sqrt (exp (- 0.0 im)))) (- (exp im) (exp (- 0.0 im))) (- (exp (- 0.0 im))) (expm1 (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (log1p (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (+ (+ (+ (log 0.5) (log (sin re))) (log (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (- (log (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (+ (+ (+ (log 0.5) (log (sin re))) (log (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (- 0 (log (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (+ (+ (+ (log 0.5) (log (sin re))) (log (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (- (log 1) (log (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (+ (+ (+ (log 0.5) (log (sin re))) (log (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (log (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (+ (+ (log (* 0.5 (sin re))) (log (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (- (log (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (+ (+ (log (* 0.5 (sin re))) (log (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (- 0 (log (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (+ (+ (log (* 0.5 (sin re))) (log (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (- (log 1) (log (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (+ (+ (log (* 0.5 (sin re))) (log (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (log (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (+ (log (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (- (log (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (+ (log (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (- 0 (log (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (+ (log (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (- (log 1) (log (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (+ (log (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (log (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (log (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (exp (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (/ (* (* 1 1) 1) (* (* (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (* (* (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (/ (* (* 1 1) 1) (* (* (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (* (* (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (/ (* (* 1 1) 1) (* (* (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (* (* (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (cbrt (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (cbrt (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))))) (cbrt (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (sqrt (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (sqrt (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* (* 0.5 (sin re)) (+ (pow (pow (exp (- 0.0 im)) 3) 3) (pow (pow (exp im) 3) 3))) 1) (* (+ (* (pow (exp (- 0.0 im)) 3) (pow (exp (- 0.0 im)) 3)) (- (* (pow (exp im) 3) (pow (exp im) 3)) (* (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (* (* (* 0.5 (sin re)) (- (* (pow (exp (- 0.0 im)) 3) (pow (exp (- 0.0 im)) 3)) (* (pow (exp im) 3) (pow (exp im) 3)))) 1) (* (- (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (cbrt (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (cbrt (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (sqrt (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ (sqrt 1) (* (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ (sqrt 1) (sqrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ (sqrt 1) 1)) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (* (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 (sqrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (/ 1 1)) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) 1) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) 1) (* (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) 1) (* (* (* 0.5 (sin re)) (+ (pow (pow (exp (- 0.0 im)) 3) 3) (pow (pow (exp im) 3) 3))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (* (* (* 0.5 (sin re)) (- (* (pow (exp (- 0.0 im)) 3) (pow (exp (- 0.0 im)) 3)) (* (pow (exp im) 3) (pow (exp im) 3)))) (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (expm1 (pow (exp (- 0.0 im)) 3)) (log1p (pow (exp (- 0.0 im)) 3)) (* (- 0.0 im) 3) (* (log (exp (- 0.0 im))) 3) (* 1 3) (* (cbrt (- 0.0 im)) 3) (* (sqrt (- 0.0 im)) 3) (* (- 0.0 im) 3) (* (- (sqrt 0.0) (sqrt im)) 3) (* (- 0.0 im) 3) (pow (exp (- 0.0 im)) (* (cbrt 3) (cbrt 3))) (pow (exp (- 0.0 im)) (sqrt 3)) (pow (exp (- 0.0 im)) 1) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) 3) (pow (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) 3) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im))))) 3) (pow (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) 3) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1)))) 3) (pow (exp (fma (- im) 1 (* im 1))) 3) (pow (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) 3) (pow (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) 3) (pow (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im))))) 3) (pow (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) 3) (pow (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1)))) 3) (pow (exp (fma (- im) 1 (* im 1))) 3) (pow (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) 3) (pow (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) 3) (pow (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im))))) 3) (pow (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) 3) (pow (exp (fma 1 0.0 (- (* im 1)))) 3) (pow (exp (fma (- im) 1 (* im 1))) 3) (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im)))) 3) (pow (cbrt (exp (- 0.0 im))) 3) (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (exp (- 0.0 im))) 3) (pow 1 3) (pow (exp (- 0.0 im)) 3) (* (exp (- 0.0 im)) (exp (- 0.0 im))) (log (pow (exp (- 0.0 im)) 3)) (exp (pow (exp (- 0.0 im)) 3)) (* (cbrt (pow (exp (- 0.0 im)) 3)) (cbrt (pow (exp (- 0.0 im)) 3))) (cbrt (pow (exp (- 0.0 im)) 3)) (* (* (pow (exp (- 0.0 im)) 3) (pow (exp (- 0.0 im)) 3)) (pow (exp (- 0.0 im)) 3)) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) 3) (pow (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) 3) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* (sqrt im) (sqrt im))))) 3) (pow (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) 3) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- (* im 1)))) 3) (pow (exp (fma (- im) 1 (* im 1))) 3) (pow (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) 3) (pow (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) 3) (pow (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* (sqrt im) (sqrt im))))) 3) (pow (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) 3) (pow (exp (fma (sqrt 0.0) (sqrt 0.0) (- (* im 1)))) 3) (pow (exp (fma (- im) 1 (* im 1))) 3) (pow (exp (fma 1 0.0 (- (* (cbrt im) (* (cbrt im) (cbrt im)))))) 3) (pow (exp (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im))))) 3) (pow (exp (fma 1 0.0 (- (* (sqrt im) (sqrt im))))) 3) (pow (exp (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im)))) 3) (pow (exp (fma 1 0.0 (- (* im 1)))) 3) (pow (exp (fma (- im) 1 (* im 1))) 3) (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (* (cbrt (exp (- 0.0 im))) (cbrt (exp (- 0.0 im)))) 3) (pow (cbrt (exp (- 0.0 im))) 3) (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (exp (- 0.0 im))) 3) (pow 1 3) (pow (exp (- 0.0 im)) 3) (pow (exp 0.0) 3) (pow (exp im) 3) (* (exp (- 0.0 im)) (exp (- 0.0 im))) (sqrt (pow (exp (- 0.0 im)) 3)) (sqrt (pow (exp (- 0.0 im)) 3)) (pow (exp (- 0.0 im)) (/ 3 2)) (pow (exp (- 0.0 im)) (/ 3 2)) (expm1 (pow (exp im) 3)) (log1p (pow (exp im) 3)) (* im 3) (* (log (exp im)) 3) (* 1 3) (* (cbrt im) 3) (* (sqrt im) 3) (* im 3) (pow (exp im) (* (cbrt 3) (cbrt 3))) (pow (exp im) (sqrt 3)) (pow (exp im) 1) (pow (* (cbrt (exp im)) (cbrt (exp im))) 3) (pow (cbrt (exp im)) 3) (pow (sqrt (exp im)) 3) (pow (sqrt (exp im)) 3) (pow 1 3) (pow (exp im) 3) (* (exp im) (exp im)) (log (pow (exp im) 3)) (exp (pow (exp im) 3)) (* (cbrt (pow (exp im) 3)) (cbrt (pow (exp im) 3))) (cbrt (pow (exp im) 3)) (* (* (pow (exp im) 3) (pow (exp im) 3)) (pow (exp im) 3)) (pow (* (cbrt (exp im)) (cbrt (exp im))) 3) (pow (cbrt (exp im)) 3) (pow (sqrt (exp im)) 3) (pow (sqrt (exp im)) 3) (pow 1 3) (pow (exp im) 3) (* (exp im) (exp im)) (sqrt (pow (exp im) 3)) (sqrt (pow (exp im) 3)) (pow (exp im) (/ 3 2)) (pow (exp im) (/ 3 2)) (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (- (exp im) (exp (- im))) (- (exp im) (exp (* -1 im))) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (/ (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re)) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (* (exp im) (exp (- im)))))) (* 0.5 (/ (* (+ (pow (exp im) 3) (pow (exp (* -1 im)) 3)) (sin re)) (- (+ (pow (exp (* -1 im)) 2) (pow (exp im) 2)) (* (exp (* -1 im)) (exp im))))) (- (+ (* 9/2 (pow im 2)) 1) (* 3 im)) (pow (exp (- im)) 3) (pow (exp (* -1 im)) 3) (+ (* 3 im) (+ (* 9/2 (pow im 2)) 1)) (pow (exp im) 3) (pow (exp im) 3) 33.775 * * [simplify]: iteration 0 : 399 enodes (cost 6705 ) 33.856 * * [simplify]: iteration 1 : 1114 enodes (cost 5141 ) 34.178 * * [simplify]: iteration 2 : 4733 enodes (cost 3620 ) 36.886 * * [simplify]: iteration done : 5000 enodes (cost 3620 ) 36.887 * [simplify]: Simplified to: (- (exp im) (exp (+ (* im 0) (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))))) (* (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) (+ (- (exp (* im 0))) (exp (* im 0)))) (- (exp im) (exp (+ (* im 0) (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))))) (* (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) (+ (- (exp (* im 0))) (exp (* im 0)))) (- (exp im) (exp (+ (* im 0) (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))))) (* (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) (+ (- (exp (* im 0))) (exp (* im 0)))) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (- (exp im) (exp (+ (* im 0) (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))))) (* (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) (+ (- (exp (* im 0))) (exp (* im 0)))) (- (exp im) (exp (+ (* im 0) (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))))) (* (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) (+ (- (exp (* im 0))) (exp (* im 0)))) (- (exp im) (exp (+ (* im 0) (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))))) (* (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) (+ (- (exp (* im 0))) (exp (* im 0)))) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (- (exp im) (exp (+ (* im 0) (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))))) (* (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) (+ (- (exp (* im 0))) (exp (* im 0)))) (- (exp im) (exp (+ (* im 0) (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))))) (* (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) (+ (- (exp (* im 0))) (exp (* im 0)))) (- (exp im) (exp (+ (* im 0) (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))))) (* (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) (+ (- (exp (* im 0))) (exp (* im 0)))) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (+ (* im 0) (- 0.0 im)))) (* (exp (* im 0)) (* (exp (- 0.0 im)) 0)) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (- (exp im) (exp (- 0.0 im))) (* (exp (- 0.0 im)) 0) (expm1 (- (exp im) (exp (- 0.0 im)))) (log1p (- (exp im) (exp (- 0.0 im)))) (- (exp (- 0.0 im))) (- (exp (- 0.0 im))) (- (exp (- 0.0 im))) (exp (- (exp im) (exp (- 0.0 im)))) (log (- (exp im) (exp (- 0.0 im)))) (exp (- (exp im) (exp (- 0.0 im)))) (* (cbrt (- (exp im) (exp (- 0.0 im)))) (cbrt (- (exp im) (exp (- 0.0 im))))) (cbrt (- (exp im) (exp (- 0.0 im)))) (pow (- (exp im) (exp (- 0.0 im))) 3) (sqrt (- (exp im) (exp (- 0.0 im)))) (sqrt (- (exp im) (exp (- 0.0 im)))) (- (pow (exp im) 3) (pow (exp (- 0.0 im)) 3)) (fma (exp (- 0.0 im)) (+ (exp im) (exp (- 0.0 im))) (pow (exp im) 2)) (- (exp (- 0.0 im))) (- (pow (exp im) 2) (pow (exp (- 0.0 im)) 2)) (+ (exp im) (exp (- 0.0 im))) (+ (sqrt (exp im)) (sqrt (exp (- 0.0 im)))) (- (sqrt (exp im)) (sqrt (exp (- 0.0 im)))) (- (exp im) (exp (- 0.0 im))) (- (exp (- 0.0 im))) (expm1 (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log1p (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (log (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (exp (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (pow (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) 3) (pow (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) 3) (pow (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) 3) (pow (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) 3) (pow (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) 3) (pow (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) 3) (* (cbrt (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (cbrt (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (cbrt (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (pow (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) 3) (sqrt (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (sqrt (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (* (* 0.5 (sin re)) (+ (pow (pow (exp (- 0.0 im)) 3) 3) (pow (pow (exp im) 3) 3))) (* (fma (pow (exp im) 3) (- (pow (exp im) 3) (pow (exp (- 0.0 im)) 3)) (pow (exp (- 0.0 im)) 6)) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (* 0.5 (* (sin re) (- (pow (exp (- 0.0 im)) 6) (pow (exp im) 6)))) (* (- (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (cbrt (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (cbrt (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))))) (* (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (sqrt (/ 1 (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))))) (* (* 0.5 (sin re)) (/ (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (* (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (sqrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (* (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (/ (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (* (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (sqrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (* (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (/ (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (* (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (cbrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))))) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (sqrt (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2)))) (* (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (* 0.5 (sin re))) (* (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (* 0.5 (sin re))) (* (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (* 0.5 (sin re))) (/ (+ (pow (exp im) 3) (pow (exp (- 0.0 im)) 3)) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (* (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (* 0.5 (sin re))) (/ (* (* 0.5 (sin re)) (+ (pow (pow (exp (- 0.0 im)) 3) 3) (pow (pow (exp im) 3) 3))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (/ (* 0.5 (* (sin re) (- (pow (exp (- 0.0 im)) 6) (pow (exp im) 6)))) (fma (exp im) (- (exp im) (exp (- 0.0 im))) (pow (exp (- 0.0 im)) 2))) (expm1 (pow (exp (- 0.0 im)) 3)) (log1p (pow (exp (- 0.0 im)) 3)) (* (- 0.0 im) 3) (* (- 0.0 im) 3) 3 (* (cbrt (- 0.0 im)) 3) (* (sqrt (- 0.0 im)) 3) (* (- 0.0 im) 3) (* (- (sqrt 0.0) (sqrt im)) 3) (* (- 0.0 im) 3) (pow (exp (- 0.0 im)) (* (cbrt 3) (cbrt 3))) (pow (exp (- 0.0 im)) (sqrt 3)) (exp (- 0.0 im)) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) 3) (pow (exp (* im 0)) 3) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) 3) (pow (exp (* im 0)) 3) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) 3) (pow (exp (* im 0)) 3) (pow (exp (- 0.0 im)) 3) (pow (exp (* im 0)) 3) (pow (exp (- 0.0 im)) 3) (pow (exp (* im 0)) 3) (pow (exp (- 0.0 im)) 3) (pow (exp (* im 0)) 3) (pow (exp (- 0.0 im)) 3) (pow (exp (* im 0)) 3) (pow (exp (- 0.0 im)) 3) (pow (exp (* im 0)) 3) (pow (exp (- 0.0 im)) 3) (pow (exp (* im 0)) 3) (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (exp (- 0.0 im)) 2) (exp (- 0.0 im)) (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (exp (- 0.0 im))) 3) 1 (pow (exp (- 0.0 im)) 3) (pow (exp (- 0.0 im)) 2) (* (- 0.0 im) 3) (exp (pow (exp (- 0.0 im)) 3)) (pow (exp (- 0.0 im)) 2) (exp (- 0.0 im)) (pow (pow (exp (- 0.0 im)) 3) 3) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) 3) (pow (exp (* im 0)) 3) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) 3) (pow (exp (* im 0)) 3) (pow (exp (fma (* (cbrt 0.0) (cbrt 0.0)) (cbrt 0.0) (- im))) 3) (pow (exp (* im 0)) 3) (pow (exp (- 0.0 im)) 3) (pow (exp (* im 0)) 3) (pow (exp (- 0.0 im)) 3) (pow (exp (* im 0)) 3) (pow (exp (- 0.0 im)) 3) (pow (exp (* im 0)) 3) (pow (exp (- 0.0 im)) 3) (pow (exp (* im 0)) 3) (pow (exp (- 0.0 im)) 3) (pow (exp (* im 0)) 3) (pow (exp (- 0.0 im)) 3) (pow (exp (* im 0)) 3) (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (exp 0.0) 3) (pow (exp (- im)) 3) (pow (exp (- 0.0 im)) 2) (exp (- 0.0 im)) (pow (sqrt (exp (- 0.0 im))) 3) (pow (sqrt (exp (- 0.0 im))) 3) 1 (pow (exp (- 0.0 im)) 3) (pow (exp 0.0) 3) (pow (exp im) 3) (pow (exp (- 0.0 im)) 2) (sqrt (pow (exp (- 0.0 im)) 3)) (sqrt (pow (exp (- 0.0 im)) 3)) (pow (exp (- 0.0 im)) 3/2) (pow (exp (- 0.0 im)) 3/2) (expm1 (pow (exp im) 3)) (log1p (pow (exp im) 3)) (* 3 im) (* 3 im) 3 (* (cbrt im) 3) (* (sqrt im) 3) (* 3 im) (pow (exp im) (* (cbrt 3) (cbrt 3))) (pow (exp im) (sqrt 3)) (exp im) (pow (exp im) 2) (exp im) (pow (sqrt (exp im)) 3) (pow (sqrt (exp im)) 3) 1 (pow (exp im) 3) (pow (exp im) 2) (* 3 im) (exp (pow (exp im) 3)) (pow (exp im) 2) (exp im) (pow (pow (exp im) 3) 3) (pow (exp im) 2) (exp im) (pow (sqrt (exp im)) 3) (pow (sqrt (exp im)) 3) 1 (pow (exp im) 3) (pow (exp im) 2) (sqrt (pow (exp im) 3)) (sqrt (pow (exp im) 3)) (pow (exp im) 3/2) (pow (exp im) 3/2) (fma 1/3 (pow im 3) (fma 1/60 (pow im 5) (* 2 im))) (- (exp im) (exp (- im))) (- (exp im) (exp (- im))) (- (fma 1.0 re (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (/ (* 0.5 (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re))) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (exp (* im 0)))) (/ (* 0.5 (* (+ (pow (exp im) 3) (pow (exp (- im)) 3)) (sin re))) (- (+ (pow (exp (- im)) 2) (pow (exp im) 2)) (exp (* im 0)))) (- (fma 9/2 (pow im 2) 1) (* 3 im)) (pow (exp (- im)) 3) (pow (exp (- im)) 3) (fma 3 im (fma 9/2 (pow im 2) 1)) (pow (exp im) 3) (pow (exp im) 3) 36.889 * * * [progress]: adding candidates to table 37.411 * * [progress]: iteration 4 / 4 37.411 * * * [progress]: picking best candidate 37.413 * * * * [pick]: Picked # 37.414 * * * [progress]: localizing error 37.425 * * * [progress]: generating rewritten candidates 37.425 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 3 2) 37.431 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 37.437 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 3) 37.445 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 37.448 * * * [progress]: generating series expansions 37.448 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 3 2) 37.448 * [approximate]: Taking taylor expansion of (* re (pow im 2)) in (re im) around 0 37.448 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 37.448 * [taylor]: Taking taylor expansion of re in im 37.448 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.448 * [taylor]: Taking taylor expansion of im in im 37.448 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.448 * [taylor]: Taking taylor expansion of re in re 37.448 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.448 * [taylor]: Taking taylor expansion of im in re 37.448 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.448 * [taylor]: Taking taylor expansion of re in re 37.448 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.448 * [taylor]: Taking taylor expansion of im in re 37.448 * [taylor]: Taking taylor expansion of 0 in im 37.449 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.449 * [taylor]: Taking taylor expansion of im in im 37.450 * [taylor]: Taking taylor expansion of 0 in im 37.452 * [taylor]: Taking taylor expansion of 0 in im 37.452 * [approximate]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in (re im) around 0 37.452 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 37.452 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 37.452 * [taylor]: Taking taylor expansion of re in im 37.452 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.452 * [taylor]: Taking taylor expansion of im in im 37.453 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 37.453 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.453 * [taylor]: Taking taylor expansion of re in re 37.453 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.453 * [taylor]: Taking taylor expansion of im in re 37.453 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 37.453 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.453 * [taylor]: Taking taylor expansion of re in re 37.453 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.453 * [taylor]: Taking taylor expansion of im in re 37.454 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 37.454 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.454 * [taylor]: Taking taylor expansion of im in im 37.455 * [taylor]: Taking taylor expansion of 0 in im 37.458 * [taylor]: Taking taylor expansion of 0 in im 37.461 * [taylor]: Taking taylor expansion of 0 in im 37.465 * [taylor]: Taking taylor expansion of 0 in im 37.465 * [approximate]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in (re im) around 0 37.465 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 37.465 * [taylor]: Taking taylor expansion of -1 in im 37.465 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 37.465 * [taylor]: Taking taylor expansion of re in im 37.465 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.465 * [taylor]: Taking taylor expansion of im in im 37.465 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 37.465 * [taylor]: Taking taylor expansion of -1 in re 37.465 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.465 * [taylor]: Taking taylor expansion of re in re 37.465 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.465 * [taylor]: Taking taylor expansion of im in re 37.466 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 37.466 * [taylor]: Taking taylor expansion of -1 in re 37.466 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.466 * [taylor]: Taking taylor expansion of re in re 37.466 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.466 * [taylor]: Taking taylor expansion of im in re 37.467 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 37.467 * [taylor]: Taking taylor expansion of -1 in im 37.467 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.467 * [taylor]: Taking taylor expansion of im in im 37.468 * [taylor]: Taking taylor expansion of 0 in im 37.471 * [taylor]: Taking taylor expansion of 0 in im 37.474 * [taylor]: Taking taylor expansion of 0 in im 37.481 * [taylor]: Taking taylor expansion of 0 in im 37.481 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 37.481 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in (re) around 0 37.481 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 37.481 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 37.481 * [taylor]: Taking taylor expansion of (pow re 3) in re 37.481 * [taylor]: Taking taylor expansion of re in re 37.481 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 37.481 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 37.481 * [taylor]: Taking taylor expansion of (pow re 3) in re 37.481 * [taylor]: Taking taylor expansion of re in re 37.493 * [approximate]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in (re) around 0 37.493 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in re 37.493 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 37.493 * [taylor]: Taking taylor expansion of (pow re 3) in re 37.493 * [taylor]: Taking taylor expansion of re in re 37.494 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in re 37.494 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 37.494 * [taylor]: Taking taylor expansion of (pow re 3) in re 37.494 * [taylor]: Taking taylor expansion of re in re 37.504 * [approximate]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in (re) around 0 37.504 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in re 37.504 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 37.505 * [taylor]: Taking taylor expansion of (pow re 3) in re 37.505 * [taylor]: Taking taylor expansion of re in re 37.505 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in re 37.505 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 37.505 * [taylor]: Taking taylor expansion of (pow re 3) in re 37.505 * [taylor]: Taking taylor expansion of re in re 37.516 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 3) 37.516 * [approximate]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in (re im) around 0 37.516 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in im 37.516 * [taylor]: Taking taylor expansion of 0.5 in im 37.516 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 37.516 * [taylor]: Taking taylor expansion of re in im 37.516 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.516 * [taylor]: Taking taylor expansion of im in im 37.517 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in re 37.517 * [taylor]: Taking taylor expansion of 0.5 in re 37.517 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.517 * [taylor]: Taking taylor expansion of re in re 37.517 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.517 * [taylor]: Taking taylor expansion of im in re 37.517 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in re 37.517 * [taylor]: Taking taylor expansion of 0.5 in re 37.517 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.517 * [taylor]: Taking taylor expansion of re in re 37.517 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.517 * [taylor]: Taking taylor expansion of im in re 37.517 * [taylor]: Taking taylor expansion of 0 in im 37.518 * [taylor]: Taking taylor expansion of (* 0.5 (pow im 2)) in im 37.518 * [taylor]: Taking taylor expansion of 0.5 in im 37.518 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.518 * [taylor]: Taking taylor expansion of im in im 37.520 * [taylor]: Taking taylor expansion of 0 in im 37.523 * [taylor]: Taking taylor expansion of 0 in im 37.523 * [approximate]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in (re im) around 0 37.523 * [taylor]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in im 37.523 * [taylor]: Taking taylor expansion of 0.5 in im 37.523 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 37.523 * [taylor]: Taking taylor expansion of re in im 37.523 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.523 * [taylor]: Taking taylor expansion of im in im 37.523 * [taylor]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in re 37.523 * [taylor]: Taking taylor expansion of 0.5 in re 37.523 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.523 * [taylor]: Taking taylor expansion of re in re 37.523 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.523 * [taylor]: Taking taylor expansion of im in re 37.524 * [taylor]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in re 37.524 * [taylor]: Taking taylor expansion of 0.5 in re 37.524 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.524 * [taylor]: Taking taylor expansion of re in re 37.524 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.524 * [taylor]: Taking taylor expansion of im in re 37.525 * [taylor]: Taking taylor expansion of (/ 0.5 (pow im 2)) in im 37.525 * [taylor]: Taking taylor expansion of 0.5 in im 37.525 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.525 * [taylor]: Taking taylor expansion of im in im 37.526 * [taylor]: Taking taylor expansion of 0 in im 37.529 * [taylor]: Taking taylor expansion of 0 in im 37.532 * [taylor]: Taking taylor expansion of 0 in im 37.535 * [taylor]: Taking taylor expansion of 0 in im 37.536 * [approximate]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in (re im) around 0 37.536 * [taylor]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in im 37.536 * [taylor]: Taking taylor expansion of -0.5 in im 37.536 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 37.536 * [taylor]: Taking taylor expansion of re in im 37.536 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.536 * [taylor]: Taking taylor expansion of im in im 37.536 * [taylor]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in re 37.536 * [taylor]: Taking taylor expansion of -0.5 in re 37.536 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.536 * [taylor]: Taking taylor expansion of re in re 37.536 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.536 * [taylor]: Taking taylor expansion of im in re 37.537 * [taylor]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in re 37.537 * [taylor]: Taking taylor expansion of -0.5 in re 37.537 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.537 * [taylor]: Taking taylor expansion of re in re 37.537 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.537 * [taylor]: Taking taylor expansion of im in re 37.537 * [taylor]: Taking taylor expansion of (/ -0.5 (pow im 2)) in im 37.537 * [taylor]: Taking taylor expansion of -0.5 in im 37.537 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.537 * [taylor]: Taking taylor expansion of im in im 37.539 * [taylor]: Taking taylor expansion of 0 in im 37.541 * [taylor]: Taking taylor expansion of 0 in im 37.545 * [taylor]: Taking taylor expansion of 0 in im 37.548 * [taylor]: Taking taylor expansion of 0 in im 37.549 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 37.549 * [approximate]: Taking taylor expansion of (fma 1.0 re (* 0.5 (* re (pow im 2)))) in (re im) around 0 37.549 * [taylor]: Taking taylor expansion of (fma 1.0 re (* 0.5 (* re (pow im 2)))) in im 37.549 * [taylor]: Rewrote expression to (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) 37.549 * [taylor]: Taking taylor expansion of (* 1.0 re) in im 37.549 * [taylor]: Taking taylor expansion of 1.0 in im 37.549 * [taylor]: Taking taylor expansion of re in im 37.549 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in im 37.549 * [taylor]: Taking taylor expansion of 0.5 in im 37.549 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 37.549 * [taylor]: Taking taylor expansion of re in im 37.549 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.549 * [taylor]: Taking taylor expansion of im in im 37.549 * [taylor]: Taking taylor expansion of (fma 1.0 re (* 0.5 (* re (pow im 2)))) in re 37.549 * [taylor]: Rewrote expression to (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) 37.549 * [taylor]: Taking taylor expansion of (* 1.0 re) in re 37.549 * [taylor]: Taking taylor expansion of 1.0 in re 37.549 * [taylor]: Taking taylor expansion of re in re 37.549 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in re 37.549 * [taylor]: Taking taylor expansion of 0.5 in re 37.549 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.549 * [taylor]: Taking taylor expansion of re in re 37.549 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.549 * [taylor]: Taking taylor expansion of im in re 37.549 * [taylor]: Taking taylor expansion of (fma 1.0 re (* 0.5 (* re (pow im 2)))) in re 37.549 * [taylor]: Rewrote expression to (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) 37.549 * [taylor]: Taking taylor expansion of (* 1.0 re) in re 37.550 * [taylor]: Taking taylor expansion of 1.0 in re 37.550 * [taylor]: Taking taylor expansion of re in re 37.550 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in re 37.550 * [taylor]: Taking taylor expansion of 0.5 in re 37.550 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.550 * [taylor]: Taking taylor expansion of re in re 37.550 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.550 * [taylor]: Taking taylor expansion of im in re 37.551 * [taylor]: Taking taylor expansion of 0 in im 37.553 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow im 2)) 1.0) in im 37.553 * [taylor]: Taking taylor expansion of (* 0.5 (pow im 2)) in im 37.553 * [taylor]: Taking taylor expansion of 0.5 in im 37.553 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.553 * [taylor]: Taking taylor expansion of im in im 37.553 * [taylor]: Taking taylor expansion of 1.0 in im 37.555 * [taylor]: Taking taylor expansion of 0 in im 37.559 * [taylor]: Taking taylor expansion of 0 in im 37.559 * [approximate]: Taking taylor expansion of (fma 1.0 (/ 1 re) (/ 0.5 (* re (pow im 2)))) in (re im) around 0 37.559 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 re) (/ 0.5 (* re (pow im 2)))) in im 37.559 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 re)) (/ 0.5 (* re (pow im 2)))) 37.559 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 re)) in im 37.559 * [taylor]: Taking taylor expansion of 1.0 in im 37.559 * [taylor]: Taking taylor expansion of (/ 1 re) in im 37.559 * [taylor]: Taking taylor expansion of re in im 37.559 * [taylor]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in im 37.559 * [taylor]: Taking taylor expansion of 0.5 in im 37.559 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 37.559 * [taylor]: Taking taylor expansion of re in im 37.559 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.559 * [taylor]: Taking taylor expansion of im in im 37.560 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 re) (/ 0.5 (* re (pow im 2)))) in re 37.560 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 re)) (/ 0.5 (* re (pow im 2)))) 37.560 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 re)) in re 37.560 * [taylor]: Taking taylor expansion of 1.0 in re 37.560 * [taylor]: Taking taylor expansion of (/ 1 re) in re 37.560 * [taylor]: Taking taylor expansion of re in re 37.560 * [taylor]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in re 37.560 * [taylor]: Taking taylor expansion of 0.5 in re 37.560 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.560 * [taylor]: Taking taylor expansion of re in re 37.560 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.560 * [taylor]: Taking taylor expansion of im in re 37.561 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 re) (/ 0.5 (* re (pow im 2)))) in re 37.561 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 re)) (/ 0.5 (* re (pow im 2)))) 37.561 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 re)) in re 37.561 * [taylor]: Taking taylor expansion of 1.0 in re 37.561 * [taylor]: Taking taylor expansion of (/ 1 re) in re 37.561 * [taylor]: Taking taylor expansion of re in re 37.561 * [taylor]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in re 37.561 * [taylor]: Taking taylor expansion of 0.5 in re 37.561 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.561 * [taylor]: Taking taylor expansion of re in re 37.561 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.561 * [taylor]: Taking taylor expansion of im in re 37.568 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow im 2))) 1.0) in im 37.568 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow im 2))) in im 37.568 * [taylor]: Taking taylor expansion of 0.5 in im 37.568 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 37.568 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.568 * [taylor]: Taking taylor expansion of im in im 37.569 * [taylor]: Taking taylor expansion of 1.0 in im 37.571 * [taylor]: Taking taylor expansion of 0 in im 37.576 * [taylor]: Taking taylor expansion of 0 in im 37.581 * [taylor]: Taking taylor expansion of 0 in im 37.587 * [taylor]: Taking taylor expansion of 0 in im 37.594 * [taylor]: Taking taylor expansion of 0 in im 37.594 * [approximate]: Taking taylor expansion of (fma 1.0 (/ -1 re) (/ -0.5 (* re (pow im 2)))) in (re im) around 0 37.594 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 re) (/ -0.5 (* re (pow im 2)))) in im 37.594 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 re)) (/ -0.5 (* re (pow im 2)))) 37.594 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 re)) in im 37.594 * [taylor]: Taking taylor expansion of 1.0 in im 37.594 * [taylor]: Taking taylor expansion of (/ -1 re) in im 37.594 * [taylor]: Taking taylor expansion of -1 in im 37.594 * [taylor]: Taking taylor expansion of re in im 37.594 * [taylor]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in im 37.594 * [taylor]: Taking taylor expansion of -0.5 in im 37.594 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 37.594 * [taylor]: Taking taylor expansion of re in im 37.594 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.594 * [taylor]: Taking taylor expansion of im in im 37.595 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 re) (/ -0.5 (* re (pow im 2)))) in re 37.595 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 re)) (/ -0.5 (* re (pow im 2)))) 37.595 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 re)) in re 37.595 * [taylor]: Taking taylor expansion of 1.0 in re 37.595 * [taylor]: Taking taylor expansion of (/ -1 re) in re 37.595 * [taylor]: Taking taylor expansion of -1 in re 37.595 * [taylor]: Taking taylor expansion of re in re 37.595 * [taylor]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in re 37.595 * [taylor]: Taking taylor expansion of -0.5 in re 37.595 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.595 * [taylor]: Taking taylor expansion of re in re 37.595 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.595 * [taylor]: Taking taylor expansion of im in re 37.596 * [taylor]: Taking taylor expansion of (fma 1.0 (/ -1 re) (/ -0.5 (* re (pow im 2)))) in re 37.596 * [taylor]: Rewrote expression to (+ (* 1.0 (/ -1 re)) (/ -0.5 (* re (pow im 2)))) 37.596 * [taylor]: Taking taylor expansion of (* 1.0 (/ -1 re)) in re 37.596 * [taylor]: Taking taylor expansion of 1.0 in re 37.596 * [taylor]: Taking taylor expansion of (/ -1 re) in re 37.596 * [taylor]: Taking taylor expansion of -1 in re 37.596 * [taylor]: Taking taylor expansion of re in re 37.596 * [taylor]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in re 37.596 * [taylor]: Taking taylor expansion of -0.5 in re 37.596 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 37.596 * [taylor]: Taking taylor expansion of re in re 37.596 * [taylor]: Taking taylor expansion of (pow im 2) in re 37.596 * [taylor]: Taking taylor expansion of im in re 37.597 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (pow im 2))) 1.0)) in im 37.597 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow im 2))) 1.0) in im 37.597 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow im 2))) in im 37.597 * [taylor]: Taking taylor expansion of 0.5 in im 37.597 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 37.597 * [taylor]: Taking taylor expansion of (pow im 2) in im 37.597 * [taylor]: Taking taylor expansion of im in im 37.598 * [taylor]: Taking taylor expansion of 1.0 in im 37.601 * [taylor]: Taking taylor expansion of 0 in im 37.606 * [taylor]: Taking taylor expansion of 0 in im 37.611 * [taylor]: Taking taylor expansion of 0 in im 37.618 * [taylor]: Taking taylor expansion of 0 in im 37.625 * [taylor]: Taking taylor expansion of 0 in im 37.625 * * * [progress]: simplifying candidates 37.627 * [simplify]: Simplifying using # : (expm1 (* re (pow im 2))) (log1p (* re (pow im 2))) (+ (log re) (* (log im) 2)) (+ (log re) (* (log im) 2)) (+ (log re) (log (pow im 2))) (log (* re (pow im 2))) (exp (* re (pow im 2))) (* (* (* re re) re) (* (* (pow im 2) (pow im 2)) (pow im 2))) (* (cbrt (* re (pow im 2))) (cbrt (* re (pow im 2)))) (cbrt (* re (pow im 2))) (* (* (* re (pow im 2)) (* re (pow im 2))) (* re (pow im 2))) (sqrt (* re (pow im 2))) (sqrt (* re (pow im 2))) (* (sqrt re) (pow (sqrt im) 2)) (* (sqrt re) (pow (sqrt im) 2)) (* (sqrt re) im) (* (sqrt re) im) (* (sqrt re) (sqrt (pow im 2))) (* (sqrt re) (sqrt (pow im 2))) (* (sqrt re) (pow im (/ 2 2))) (* (sqrt re) (pow im (/ 2 2))) (* re (pow (* (cbrt im) (cbrt im)) 2)) (* re (pow (sqrt im) 2)) (* re (pow 1 2)) (* re im) (* re (* (cbrt (pow im 2)) (cbrt (pow im 2)))) (* re (sqrt (pow im 2))) (* re 1) (* re (pow im (/ 2 2))) (* (cbrt re) (pow im 2)) (* (sqrt re) (pow im 2)) (* re (pow im 2)) (expm1 (* 0.16666666666666666 (pow re 3))) (log1p (* 0.16666666666666666 (pow re 3))) (+ (log 0.16666666666666666) (* (log re) 3)) (+ (log 0.16666666666666666) (* (log re) 3)) (+ (log 0.16666666666666666) (log (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (exp (* 0.16666666666666666 (pow re 3))) (* (* (* 0.16666666666666666 0.16666666666666666) 0.16666666666666666) (* (* (pow re 3) (pow re 3)) (pow re 3))) (* (cbrt (* 0.16666666666666666 (pow re 3))) (cbrt (* 0.16666666666666666 (pow re 3)))) (cbrt (* 0.16666666666666666 (pow re 3))) (* (* (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3))) (* 0.16666666666666666 (pow re 3))) (sqrt (* 0.16666666666666666 (pow re 3))) (sqrt (* 0.16666666666666666 (pow re 3))) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (pow re (/ 3 2))) (* (sqrt 0.16666666666666666) (pow re (/ 3 2))) (* 0.16666666666666666 (pow (* (cbrt re) (cbrt re)) 3)) (* 0.16666666666666666 (pow (sqrt re) 3)) (* 0.16666666666666666 (pow 1 3)) (* 0.16666666666666666 (* re re)) (* 0.16666666666666666 (* (cbrt (pow re 3)) (cbrt (pow re 3)))) (* 0.16666666666666666 (pow (* (cbrt re) (cbrt re)) 3)) (* 0.16666666666666666 (pow (sqrt re) 3)) (* 0.16666666666666666 (pow 1 3)) (* 0.16666666666666666 re) (* 0.16666666666666666 (sqrt (pow re 3))) (* 0.16666666666666666 1) (* 0.16666666666666666 (pow re (/ 3 2))) (* (cbrt 0.16666666666666666) (pow re 3)) (* (sqrt 0.16666666666666666) (pow re 3)) (* 0.16666666666666666 (pow re 3)) (expm1 (* 0.5 (* re (pow im 2)))) (log1p (* 0.5 (* re (pow im 2)))) (* 0.5 (* re (pow im 2))) (+ (log 0.5) (+ (log re) (* (log im) 2))) (+ (log 0.5) (+ (log re) (* (log im) 2))) (+ (log 0.5) (+ (log re) (log (pow im 2)))) (+ (log 0.5) (log (* re (pow im 2)))) (log (* 0.5 (* re (pow im 2)))) (exp (* 0.5 (* re (pow im 2)))) (* (* (* 0.5 0.5) 0.5) (* (* (* re re) re) (* (* (pow im 2) (pow im 2)) (pow im 2)))) (* (* (* 0.5 0.5) 0.5) (* (* (* re (pow im 2)) (* re (pow im 2))) (* re (pow im 2)))) (* (cbrt (* 0.5 (* re (pow im 2)))) (cbrt (* 0.5 (* re (pow im 2))))) (cbrt (* 0.5 (* re (pow im 2)))) (* (* (* 0.5 (* re (pow im 2))) (* 0.5 (* re (pow im 2)))) (* 0.5 (* re (pow im 2)))) (sqrt (* 0.5 (* re (pow im 2)))) (sqrt (* 0.5 (* re (pow im 2)))) (* 0.5 re) (* (cbrt 0.5) (* re (pow im 2))) (* (sqrt 0.5) (* re (pow im 2))) (* 0.5 (* re (pow im 2))) (expm1 (fma 1.0 re (* 0.5 (* re (pow im 2))))) (log1p (fma 1.0 re (* 0.5 (* re (pow im 2))))) (* 1.0 re) (log (fma 1.0 re (* 0.5 (* re (pow im 2))))) (exp (fma 1.0 re (* 0.5 (* re (pow im 2))))) (* (cbrt (fma 1.0 re (* 0.5 (* re (pow im 2))))) (cbrt (fma 1.0 re (* 0.5 (* re (pow im 2)))))) (cbrt (fma 1.0 re (* 0.5 (* re (pow im 2))))) (* (* (fma 1.0 re (* 0.5 (* re (pow im 2)))) (fma 1.0 re (* 0.5 (* re (pow im 2))))) (fma 1.0 re (* 0.5 (* re (pow im 2))))) (sqrt (fma 1.0 re (* 0.5 (* re (pow im 2))))) (sqrt (fma 1.0 re (* 0.5 (* re (pow im 2))))) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) (* 0.5 (* re (pow im 2))) (* 0.5 (* re (pow im 2))) (* 0.5 (* re (pow im 2))) (* 1.0 re) (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) 37.630 * * [simplify]: iteration 0 : 138 enodes (cost 914 ) 37.657 * * [simplify]: iteration 1 : 309 enodes (cost 833 ) 37.737 * * [simplify]: iteration 2 : 1215 enodes (cost 734 ) 38.241 * * [simplify]: iteration done : 5001 enodes (cost 734 ) 38.244 * [simplify]: Simplified to: (expm1 (* re (pow im 2))) (log1p (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) (exp (* re (pow im 2))) (pow (* re (pow im 2)) 3) (* (cbrt (* re (pow im 2))) (cbrt (* re (pow im 2)))) (cbrt (* re (pow im 2))) (pow (* re (pow im 2)) 3) (sqrt (* re (pow im 2))) (sqrt (* re (pow im 2))) (* im (sqrt re)) (* im (sqrt re)) (* im (sqrt re)) (* im (sqrt re)) (* (sqrt re) (fabs im)) (* (sqrt re) (fabs im)) (* im (sqrt re)) (* im (sqrt re)) (* re (pow (* (cbrt im) (cbrt im)) 2)) (* re im) re (* re im) (* re (* (cbrt (pow im 2)) (cbrt (pow im 2)))) (* (fabs im) re) re (* re im) (* (cbrt re) (pow im 2)) (* (sqrt re) (pow im 2)) (* re (pow im 2)) (expm1 (* 0.16666666666666666 (pow re 3))) (log1p (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (exp (* 0.16666666666666666 (pow re 3))) (pow (* 0.16666666666666666 (pow re 3)) 3) (* (cbrt (* 0.16666666666666666 (pow re 3))) (cbrt (* 0.16666666666666666 (pow re 3)))) (cbrt (* 0.16666666666666666 (pow re 3))) (pow (* 0.16666666666666666 (pow re 3)) 3) (sqrt (* 0.16666666666666666 (pow re 3))) (sqrt (* 0.16666666666666666 (pow re 3))) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (pow re 3/2)) (* (sqrt 0.16666666666666666) (pow re 3/2)) (* (* re re) 0.16666666666666666) (* 0.16666666666666666 (pow (sqrt re) 3)) 0.16666666666666666 (* (* re re) 0.16666666666666666) (* (* re re) 0.16666666666666666) (* (* re re) 0.16666666666666666) (* 0.16666666666666666 (pow (sqrt re) 3)) 0.16666666666666666 (* 0.16666666666666666 re) (* 0.16666666666666666 (sqrt (pow re 3))) 0.16666666666666666 (* (pow re 3/2) 0.16666666666666666) (* (cbrt 0.16666666666666666) (pow re 3)) (* (sqrt 0.16666666666666666) (pow re 3)) (* 0.16666666666666666 (pow re 3)) (expm1 (* 0.5 (* re (pow im 2)))) (log1p (* 0.5 (* re (pow im 2)))) (* 0.5 (* re (pow im 2))) (log (* 0.5 (* re (pow im 2)))) (log (* 0.5 (* re (pow im 2)))) (log (* 0.5 (* re (pow im 2)))) (log (* 0.5 (* re (pow im 2)))) (log (* 0.5 (* re (pow im 2)))) (exp (* 0.5 (* re (pow im 2)))) (pow (* 0.5 (* re (pow im 2))) 3) (pow (* 0.5 (* re (pow im 2))) 3) (* (cbrt (* 0.5 (* re (pow im 2)))) (cbrt (* 0.5 (* re (pow im 2))))) (cbrt (* 0.5 (* re (pow im 2)))) (pow (* 0.5 (* re (pow im 2))) 3) (sqrt (* 0.5 (* re (pow im 2)))) (sqrt (* 0.5 (* re (pow im 2)))) (* 0.5 re) (* (cbrt 0.5) (* re (pow im 2))) (* (sqrt 0.5) (* re (pow im 2))) (* 0.5 (* re (pow im 2))) (expm1 (fma 1.0 re (* 0.5 (* re (pow im 2))))) (log1p (fma 1.0 re (* 0.5 (* re (pow im 2))))) (* 1.0 re) (log (fma 1.0 re (* 0.5 (* re (pow im 2))))) (exp (fma 1.0 re (* 0.5 (* re (pow im 2))))) (* (cbrt (fma 1.0 re (* 0.5 (* re (pow im 2))))) (cbrt (fma 1.0 re (* 0.5 (* re (pow im 2)))))) (cbrt (fma 1.0 re (* 0.5 (* re (pow im 2))))) (pow (fma 1.0 re (* 0.5 (* re (pow im 2)))) 3) (sqrt (fma 1.0 re (* 0.5 (* re (pow im 2))))) (sqrt (fma 1.0 re (* 0.5 (* re (pow im 2))))) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) (* 0.5 (* re (pow im 2))) (* 0.5 (* re (pow im 2))) (* 0.5 (* re (pow im 2))) (* 1.0 re) (fma 1.0 re (* 0.5 (* re (pow im 2)))) (fma 1.0 re (* 0.5 (* re (pow im 2)))) 38.244 * * * [progress]: adding candidates to table 38.474 * [progress]: [Phase 3 of 3] Extracting. 38.474 * * [regime]: Finding splitpoints for: (# # #) 38.475 * * * [regime-changes]: Trying 6 branch expressions: ((+ (exp (- 0.0 im)) (exp im)) (sin re) (* 0.5 (sin re)) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) im re) 38.475 * * * * [regimes]: Trying to branch on (+ (exp (- 0.0 im)) (exp im)) from (# # #) 38.497 * * * * [regimes]: Trying to branch on (sin re) from (# # #) 38.519 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# # #) 38.546 * * * * [regimes]: Trying to branch on (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) from (# # #) 38.579 * * * * [regimes]: Trying to branch on im from (# # #) 38.598 * * * * [regimes]: Trying to branch on re from (# # #) 38.617 * * * [regime]: Found split indices: #