6.891 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.158 * * * [progress]: [2/2] Setting up program. 0.162 * [progress]: [Phase 2 of 3] Improving. 0.162 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) 0.212 * * [simplify]: iteration 0 : 4868 enodes (cost 11 ) 0.212 * * [simplify]: iteration 1 : 4868 enodes (cost 11 ) 0.213 * [simplify]: Simplified to: (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) 0.216 * * [progress]: iteration 1 / 4 0.216 * * * [progress]: picking best candidate 0.219 * * * * [pick]: Picked # 0.219 * * * [progress]: localizing error 0.229 * * * [progress]: generating rewritten candidates 0.229 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.235 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.246 * * * [progress]: generating series expansions 0.246 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.246 * [approximate]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in (im) around 0 0.246 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.246 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.246 * [taylor]: Taking taylor expansion of (neg im) in im 0.246 * [taylor]: Taking taylor expansion of im in im 0.246 * [taylor]: Taking taylor expansion of (exp im) in im 0.246 * [taylor]: Taking taylor expansion of im in im 0.246 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.246 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.246 * [taylor]: Taking taylor expansion of (neg im) in im 0.246 * [taylor]: Taking taylor expansion of im in im 0.246 * [taylor]: Taking taylor expansion of (exp im) in im 0.246 * [taylor]: Taking taylor expansion of im in im 0.249 * [approximate]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 0.249 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.249 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.249 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.249 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.249 * [taylor]: Taking taylor expansion of im in im 0.249 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.249 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.249 * [taylor]: Taking taylor expansion of im in im 0.249 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.249 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.249 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.249 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.249 * [taylor]: Taking taylor expansion of im in im 0.249 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.249 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.249 * [taylor]: Taking taylor expansion of im in im 0.250 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0 0.250 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.250 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.250 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.250 * [taylor]: Taking taylor expansion of im in im 0.250 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.250 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.250 * [taylor]: Taking taylor expansion of -1 in im 0.250 * [taylor]: Taking taylor expansion of im in im 0.250 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.250 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.250 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.250 * [taylor]: Taking taylor expansion of im in im 0.250 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.250 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.250 * [taylor]: Taking taylor expansion of -1 in im 0.250 * [taylor]: Taking taylor expansion of im in im 0.251 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.251 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) in (re im) around 0 0.251 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) in im 0.251 * [taylor]: Taking taylor expansion of 0.5 in im 0.251 * [taylor]: Taking taylor expansion of (* (- (exp (neg im)) (exp im)) (sin re)) in im 0.251 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 0.251 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.251 * [taylor]: Taking taylor expansion of (neg im) in im 0.251 * [taylor]: Taking taylor expansion of im in im 0.251 * [taylor]: Taking taylor expansion of (exp im) in im 0.251 * [taylor]: Taking taylor expansion of im in im 0.251 * [taylor]: Taking taylor expansion of (sin re) in im 0.251 * [taylor]: Taking taylor expansion of re in im 0.251 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) in re 0.251 * [taylor]: Taking taylor expansion of 0.5 in re 0.251 * [taylor]: Taking taylor expansion of (* (- (exp (neg im)) (exp im)) (sin re)) in re 0.251 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in re 0.251 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.251 * [taylor]: Taking taylor expansion of (neg im) in re 0.251 * [taylor]: Taking taylor expansion of im in re 0.251 * [taylor]: Taking taylor expansion of (exp im) in re 0.251 * [taylor]: Taking taylor expansion of im in re 0.251 * [taylor]: Taking taylor expansion of (sin re) in re 0.251 * [taylor]: Taking taylor expansion of re in re 0.251 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) in re 0.251 * [taylor]: Taking taylor expansion of 0.5 in re 0.251 * [taylor]: Taking taylor expansion of (* (- (exp (neg im)) (exp im)) (sin re)) in re 0.251 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in re 0.251 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 0.251 * [taylor]: Taking taylor expansion of (neg im) in re 0.251 * [taylor]: Taking taylor expansion of im in re 0.252 * [taylor]: Taking taylor expansion of (exp im) in re 0.252 * [taylor]: Taking taylor expansion of im in re 0.252 * [taylor]: Taking taylor expansion of (sin re) in re 0.252 * [taylor]: Taking taylor expansion of re in re 0.252 * [taylor]: Taking taylor expansion of 0 in im 0.252 * [taylor]: Taking taylor expansion of (- (* 0.5 (exp (neg im))) (* 0.5 (exp im))) in im 0.252 * [taylor]: Taking taylor expansion of (* 0.5 (exp (neg im))) in im 0.252 * [taylor]: Taking taylor expansion of 0.5 in im 0.252 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.252 * [taylor]: Taking taylor expansion of (neg im) in im 0.252 * [taylor]: Taking taylor expansion of im in im 0.252 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.252 * [taylor]: Taking taylor expansion of 0.5 in im 0.252 * [taylor]: Taking taylor expansion of (exp im) in im 0.252 * [taylor]: Taking taylor expansion of im in im 0.253 * [taylor]: Taking taylor expansion of 0 in im 0.254 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (neg im)))) in im 0.254 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 0.254 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.254 * [taylor]: Taking taylor expansion of (exp im) in im 0.254 * [taylor]: Taking taylor expansion of im in im 0.254 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (neg im))) in im 0.254 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.254 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 0.254 * [taylor]: Taking taylor expansion of (neg im) in im 0.254 * [taylor]: Taking taylor expansion of im in im 0.256 * [taylor]: Taking taylor expansion of 0 in im 0.256 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in (re im) around 0 0.256 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im 0.256 * [taylor]: Taking taylor expansion of 0.5 in im 0.256 * [taylor]: Taking taylor expansion of (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im 0.256 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.256 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.256 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.256 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.256 * [taylor]: Taking taylor expansion of im in im 0.256 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.256 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.256 * [taylor]: Taking taylor expansion of im in im 0.256 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.256 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.256 * [taylor]: Taking taylor expansion of re in im 0.256 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re 0.256 * [taylor]: Taking taylor expansion of 0.5 in re 0.256 * [taylor]: Taking taylor expansion of (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re 0.256 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.256 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.256 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.256 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.256 * [taylor]: Taking taylor expansion of im in re 0.256 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.256 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.256 * [taylor]: Taking taylor expansion of im in re 0.257 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.257 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.257 * [taylor]: Taking taylor expansion of re in re 0.257 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re 0.257 * [taylor]: Taking taylor expansion of 0.5 in re 0.257 * [taylor]: Taking taylor expansion of (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re 0.257 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 0.257 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 0.257 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 0.257 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.257 * [taylor]: Taking taylor expansion of im in re 0.257 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.257 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.257 * [taylor]: Taking taylor expansion of im in re 0.257 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.257 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.257 * [taylor]: Taking taylor expansion of re in re 0.257 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im 0.257 * [taylor]: Taking taylor expansion of 0.5 in im 0.257 * [taylor]: Taking taylor expansion of (* (- (exp (neg (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im 0.257 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 0.257 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 0.257 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 0.257 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.257 * [taylor]: Taking taylor expansion of im in im 0.257 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.258 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.258 * [taylor]: Taking taylor expansion of im in im 0.258 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.258 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.258 * [taylor]: Taking taylor expansion of re in im 0.259 * [taylor]: Taking taylor expansion of 0 in im 0.263 * [taylor]: Taking taylor expansion of 0 in im 0.264 * [taylor]: Taking taylor expansion of 0 in im 0.265 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in (re im) around 0 0.265 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 0.265 * [taylor]: Taking taylor expansion of 0.5 in im 0.265 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 0.265 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.265 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.265 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.265 * [taylor]: Taking taylor expansion of im in im 0.265 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.265 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.265 * [taylor]: Taking taylor expansion of -1 in im 0.265 * [taylor]: Taking taylor expansion of im in im 0.265 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.265 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.265 * [taylor]: Taking taylor expansion of -1 in im 0.265 * [taylor]: Taking taylor expansion of re in im 0.265 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re 0.265 * [taylor]: Taking taylor expansion of 0.5 in re 0.265 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re 0.265 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 0.265 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.265 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.265 * [taylor]: Taking taylor expansion of im in re 0.265 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.265 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.265 * [taylor]: Taking taylor expansion of -1 in re 0.265 * [taylor]: Taking taylor expansion of im in re 0.265 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.265 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.265 * [taylor]: Taking taylor expansion of -1 in re 0.265 * [taylor]: Taking taylor expansion of re in re 0.265 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re 0.266 * [taylor]: Taking taylor expansion of 0.5 in re 0.266 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re 0.266 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 0.266 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.266 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.266 * [taylor]: Taking taylor expansion of im in re 0.266 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.266 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.266 * [taylor]: Taking taylor expansion of -1 in re 0.266 * [taylor]: Taking taylor expansion of im in re 0.266 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.266 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.266 * [taylor]: Taking taylor expansion of -1 in re 0.266 * [taylor]: Taking taylor expansion of re in re 0.266 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 0.266 * [taylor]: Taking taylor expansion of 0.5 in im 0.266 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 0.266 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 0.266 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.266 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.266 * [taylor]: Taking taylor expansion of im in im 0.266 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.266 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.266 * [taylor]: Taking taylor expansion of -1 in im 0.266 * [taylor]: Taking taylor expansion of im in im 0.266 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.266 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.266 * [taylor]: Taking taylor expansion of -1 in im 0.266 * [taylor]: Taking taylor expansion of re in im 0.267 * [taylor]: Taking taylor expansion of 0 in im 0.268 * [taylor]: Taking taylor expansion of 0 in im 0.270 * [taylor]: Taking taylor expansion of 0 in im 0.270 * * * [progress]: simplifying candidates 0.271 * [simplify]: Simplifying using # : (/ (exp (exp (neg im))) (exp (exp im))) (log (- (exp (neg im)) (exp im))) (exp (- (exp (neg im)) (exp im))) (* (cbrt (- (exp (neg im)) (exp im))) (cbrt (- (exp (neg im)) (exp im)))) (cbrt (- (exp (neg im)) (exp im))) (* (* (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im))) (- (exp (neg im)) (exp im))) (sqrt (- (exp (neg im)) (exp im))) (sqrt (- (exp (neg im)) (exp im))) (- (pow (exp (neg im)) 3) (pow (exp im) 3)) (+ (* (exp (neg im)) (exp (neg im))) (+ (* (exp im) (exp im)) (* (exp (neg im)) (exp im)))) (neg (exp im)) (- (* (exp (neg im)) (exp (neg im))) (* (exp im) (exp im))) (+ (exp (neg im)) (exp im)) (+ (sqrt (exp (neg im))) (sqrt (exp im))) (- (sqrt (exp (neg im))) (sqrt (exp im))) (- (exp (neg im)) (exp im)) (neg (exp im)) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) (+ (+ (log 0.5) (log (sin re))) (log (- (exp (neg im)) (exp im)))) (+ (log (* 0.5 (sin re))) (log (- (exp (neg im)) (exp im)))) (log (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (exp (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im))) (- (exp (neg im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im))) (- (exp (neg im)) (exp im)))) (* (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))) (* (* 0.5 (sin re)) (exp (neg im))) (* (* 0.5 (sin re)) (neg (exp im))) (* (* 0.5 (sin re)) (exp (neg im))) (* (* 0.5 (sin re)) (neg (exp im))) (* (exp (neg im)) (* 0.5 (sin re))) (* (neg (exp im)) (* 0.5 (sin re))) (* (exp (neg im)) (* 0.5 (sin re))) (* (neg (exp im)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (- (exp (neg im)) (exp im))) (cbrt (- (exp (neg im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (- (exp (neg im)) (exp im)))) (* (* 0.5 (sin re)) 1) (* (* 0.5 (sin re)) (+ (sqrt (exp (neg im))) (sqrt (exp im)))) (* (* 0.5 (sin re)) 1) (* (sin re) (- (exp (neg im)) (exp im))) (* (* 0.5 (sin re)) (- (pow (exp (neg im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (- (* (exp (neg im)) (exp (neg im))) (* (exp im) (exp im)))) (neg (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (- (exp (neg im)) (exp im)) (- (exp (* -1 im)) (exp im)) (* -1.0 (* re im)) (* 0.5 (* (- (exp (neg im)) (exp im)) (sin re))) (* 0.5 (* (sin re) (- (exp (* -1 im)) (exp im)))) 0.307 * * [simplify]: iteration 0 : 5022 enodes (cost 502 ) 0.310 * [simplify]: Simplified to: (exp (- (exp (neg im)) (exp im))) (log (- (exp (neg im)) (exp im))) (exp (- (exp (neg im)) (exp im))) (* (cbrt (- (exp (neg im)) (exp im))) (cbrt (- (exp (neg im)) (exp im)))) (cbrt (- (exp (neg im)) (exp im))) (pow (- (exp (neg im)) (exp im)) 3) (sqrt (- (exp (neg im)) (exp im))) (sqrt (- (exp (neg im)) (exp im))) (- (pow (exp im) -3) (pow (exp im) 3)) (+ (pow (exp im) -2) (+ (pow (exp im) 2) 1)) (neg (exp im)) (- (pow (exp im) -2) (pow (exp im) 2)) (+ (exp (neg im)) (exp im)) (+ (sqrt (exp (neg im))) (sqrt (exp im))) (- (sqrt (exp (neg im))) (sqrt (exp im))) (- (exp (neg im)) (exp im)) (neg (exp im)) (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))) (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))) (log (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re)))) (log (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re)))) (log (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re)))) (pow (exp (- (exp (neg im)) (exp im))) (* 0.5 (sin re))) (pow (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))) 3) (pow (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))) 3) (* (cbrt (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re)))) (cbrt (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))))) (cbrt (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re)))) (pow (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))) 3) (sqrt (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re)))) (sqrt (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re)))) (* 0.5 (/ (sin re) (exp im))) (* (exp im) (* 0.5 (neg (sin re)))) (* 0.5 (/ (sin re) (exp im))) (* (exp im) (* 0.5 (neg (sin re)))) (* 0.5 (/ (sin re) (exp im))) (* (exp im) (* 0.5 (neg (sin re)))) (* 0.5 (/ (sin re) (exp im))) (* (exp im) (* 0.5 (neg (sin re)))) (* (cbrt (- (exp (neg im)) (exp im))) (* (cbrt (- (exp (neg im)) (exp im))) (* 0.5 (sin re)))) (* (sqrt (- (exp (neg im)) (exp im))) (* 0.5 (sin re))) (* 0.5 (sin re)) (* (+ (sqrt (exp (neg im))) (sqrt (exp im))) (* 0.5 (sin re))) (* 0.5 (sin re)) (* (- (exp (neg im)) (exp im)) (sin re)) (* (- (pow (exp im) -3) (pow (exp im) 3)) (* 0.5 (sin re))) (* (- (pow (exp im) -2) (pow (exp im) 2)) (* 0.5 (sin re))) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im)) (* im (* re -1.0)) (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))) (* (- (exp (neg im)) (exp im)) (* 0.5 (sin re))) 0.310 * * * [progress]: adding candidates to table 0.366 * * [progress]: iteration 2 / 4 0.366 * * * [progress]: picking best candidate 0.380 * * * * [pick]: Picked # 0.380 * * * [progress]: localizing error 0.395 * * * [progress]: generating rewritten candidates 0.395 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 0.400 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.411 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 0.416 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 0.424 * * * [progress]: generating series expansions 0.424 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 0.424 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 0.424 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 0.424 * [taylor]: Taking taylor expansion of -1/3 in im 0.424 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.424 * [taylor]: Taking taylor expansion of im in im 0.424 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 0.424 * [taylor]: Taking taylor expansion of -1/3 in im 0.424 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.424 * [taylor]: Taking taylor expansion of im in im 0.425 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 0.425 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 0.425 * [taylor]: Taking taylor expansion of -1/3 in im 0.425 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.425 * [taylor]: Taking taylor expansion of im in im 0.425 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 0.425 * [taylor]: Taking taylor expansion of -1/3 in im 0.425 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.425 * [taylor]: Taking taylor expansion of im in im 0.426 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 0.427 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 0.427 * [taylor]: Taking taylor expansion of 1/3 in im 0.427 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.427 * [taylor]: Taking taylor expansion of im in im 0.427 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 0.427 * [taylor]: Taking taylor expansion of 1/3 in im 0.427 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.427 * [taylor]: Taking taylor expansion of im in im 0.428 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.428 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in (re im) around 0 0.428 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in im 0.428 * [taylor]: Taking taylor expansion of -0.5 in im 0.428 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in im 0.428 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in im 0.428 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.428 * [taylor]: Taking taylor expansion of 1/3 in im 0.428 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.428 * [taylor]: Taking taylor expansion of im in im 0.428 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in im 0.428 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.428 * [taylor]: Taking taylor expansion of 1/60 in im 0.428 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.428 * [taylor]: Taking taylor expansion of im in im 0.428 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.428 * [taylor]: Taking taylor expansion of 2 in im 0.428 * [taylor]: Taking taylor expansion of im in im 0.428 * [taylor]: Taking taylor expansion of (sin re) in im 0.428 * [taylor]: Taking taylor expansion of re in im 0.429 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in re 0.429 * [taylor]: Taking taylor expansion of -0.5 in re 0.429 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in re 0.429 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 0.429 * [taylor]: Taking taylor expansion of 1/3 in re 0.429 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.429 * [taylor]: Taking taylor expansion of im in re 0.429 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 0.429 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 0.429 * [taylor]: Taking taylor expansion of 1/60 in re 0.429 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.429 * [taylor]: Taking taylor expansion of im in re 0.429 * [taylor]: Taking taylor expansion of (* 2 im) in re 0.429 * [taylor]: Taking taylor expansion of 2 in re 0.429 * [taylor]: Taking taylor expansion of im in re 0.429 * [taylor]: Taking taylor expansion of (sin re) in re 0.429 * [taylor]: Taking taylor expansion of re in re 0.429 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re))) in re 0.429 * [taylor]: Taking taylor expansion of -0.5 in re 0.429 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) (sin re)) in re 0.429 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))) in re 0.429 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 0.429 * [taylor]: Taking taylor expansion of 1/3 in re 0.429 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.429 * [taylor]: Taking taylor expansion of im in re 0.429 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (* 2 im)) in re 0.429 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 0.429 * [taylor]: Taking taylor expansion of 1/60 in re 0.429 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.429 * [taylor]: Taking taylor expansion of im in re 0.429 * [taylor]: Taking taylor expansion of (* 2 im) in re 0.429 * [taylor]: Taking taylor expansion of 2 in re 0.429 * [taylor]: Taking taylor expansion of im in re 0.429 * [taylor]: Taking taylor expansion of (sin re) in re 0.429 * [taylor]: Taking taylor expansion of re in re 0.430 * [taylor]: Taking taylor expansion of 0 in im 0.431 * [taylor]: Taking taylor expansion of (neg (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)))) in im 0.431 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im))) in im 0.431 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 0.431 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 0.431 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.431 * [taylor]: Taking taylor expansion of im in im 0.431 * [taylor]: Taking taylor expansion of (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)) in im 0.431 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 0.431 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 0.431 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.431 * [taylor]: Taking taylor expansion of im in im 0.431 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 0.431 * [taylor]: Taking taylor expansion of 1.0 in im 0.431 * [taylor]: Taking taylor expansion of im in im 0.432 * [taylor]: Taking taylor expansion of 0 in im 0.434 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (pow im 3)) (+ (* 0.001388888888888889 (pow im 5)) (* 0.16666666666666666 im))) in im 0.434 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (pow im 3)) in im 0.434 * [taylor]: Taking taylor expansion of 0.027777777777777776 in im 0.434 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.434 * [taylor]: Taking taylor expansion of im in im 0.434 * [taylor]: Taking taylor expansion of (+ (* 0.001388888888888889 (pow im 5)) (* 0.16666666666666666 im)) in im 0.434 * [taylor]: Taking taylor expansion of (* 0.001388888888888889 (pow im 5)) in im 0.434 * [taylor]: Taking taylor expansion of 0.001388888888888889 in im 0.434 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.434 * [taylor]: Taking taylor expansion of im in im 0.434 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 im) in im 0.434 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 0.434 * [taylor]: Taking taylor expansion of im in im 0.435 * [taylor]: Taking taylor expansion of 0 in im 0.436 * [approximate]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in (re im) around 0 0.436 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im 0.436 * [taylor]: Taking taylor expansion of -0.5 in im 0.436 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 0.436 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.436 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.436 * [taylor]: Taking taylor expansion of re in im 0.436 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.436 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.436 * [taylor]: Taking taylor expansion of 2 in im 0.436 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.436 * [taylor]: Taking taylor expansion of im in im 0.436 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.436 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.436 * [taylor]: Taking taylor expansion of 1/3 in im 0.436 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.436 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.436 * [taylor]: Taking taylor expansion of im in im 0.436 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.436 * [taylor]: Taking taylor expansion of 1/60 in im 0.436 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.436 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.436 * [taylor]: Taking taylor expansion of im in im 0.436 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in re 0.436 * [taylor]: Taking taylor expansion of -0.5 in re 0.436 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 0.437 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.437 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.437 * [taylor]: Taking taylor expansion of re in re 0.437 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 0.437 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.437 * [taylor]: Taking taylor expansion of 2 in re 0.437 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.437 * [taylor]: Taking taylor expansion of im in re 0.437 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.437 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.437 * [taylor]: Taking taylor expansion of 1/3 in re 0.437 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.437 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.437 * [taylor]: Taking taylor expansion of im in re 0.437 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.437 * [taylor]: Taking taylor expansion of 1/60 in re 0.437 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.437 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.437 * [taylor]: Taking taylor expansion of im in re 0.437 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in re 0.437 * [taylor]: Taking taylor expansion of -0.5 in re 0.437 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 0.437 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.437 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.437 * [taylor]: Taking taylor expansion of re in re 0.437 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 0.437 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.437 * [taylor]: Taking taylor expansion of 2 in re 0.437 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.437 * [taylor]: Taking taylor expansion of im in re 0.437 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.437 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.437 * [taylor]: Taking taylor expansion of 1/3 in re 0.438 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.438 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.438 * [taylor]: Taking taylor expansion of im in re 0.438 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.438 * [taylor]: Taking taylor expansion of 1/60 in re 0.438 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.438 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.438 * [taylor]: Taking taylor expansion of im in re 0.439 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im 0.439 * [taylor]: Taking taylor expansion of -0.5 in im 0.439 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 0.439 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.439 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.439 * [taylor]: Taking taylor expansion of re in im 0.439 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.439 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.439 * [taylor]: Taking taylor expansion of 2 in im 0.439 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.439 * [taylor]: Taking taylor expansion of im in im 0.439 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.439 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.439 * [taylor]: Taking taylor expansion of 1/3 in im 0.439 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.439 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.439 * [taylor]: Taking taylor expansion of im in im 0.439 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.439 * [taylor]: Taking taylor expansion of 1/60 in im 0.439 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.439 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.439 * [taylor]: Taking taylor expansion of im in im 0.443 * [taylor]: Taking taylor expansion of 0 in im 0.445 * [taylor]: Taking taylor expansion of 0 in im 0.447 * [taylor]: Taking taylor expansion of 0 in im 0.450 * [taylor]: Taking taylor expansion of 0 in im 0.452 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in (re im) around 0 0.452 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in im 0.452 * [taylor]: Taking taylor expansion of 0.5 in im 0.452 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in im 0.452 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.452 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.452 * [taylor]: Taking taylor expansion of 2 in im 0.452 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.452 * [taylor]: Taking taylor expansion of im in im 0.452 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.452 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.453 * [taylor]: Taking taylor expansion of 1/3 in im 0.453 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.453 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.453 * [taylor]: Taking taylor expansion of im in im 0.453 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.453 * [taylor]: Taking taylor expansion of 1/60 in im 0.453 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.453 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.453 * [taylor]: Taking taylor expansion of im in im 0.453 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.453 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.453 * [taylor]: Taking taylor expansion of -1 in im 0.453 * [taylor]: Taking taylor expansion of re in im 0.453 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in re 0.453 * [taylor]: Taking taylor expansion of 0.5 in re 0.453 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in re 0.453 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 0.453 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.453 * [taylor]: Taking taylor expansion of 2 in re 0.453 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.453 * [taylor]: Taking taylor expansion of im in re 0.453 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.453 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.453 * [taylor]: Taking taylor expansion of 1/3 in re 0.453 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.453 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.453 * [taylor]: Taking taylor expansion of im in re 0.453 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.453 * [taylor]: Taking taylor expansion of 1/60 in re 0.453 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.453 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.453 * [taylor]: Taking taylor expansion of im in re 0.454 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.454 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.454 * [taylor]: Taking taylor expansion of -1 in re 0.454 * [taylor]: Taking taylor expansion of re in re 0.454 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in re 0.454 * [taylor]: Taking taylor expansion of 0.5 in re 0.454 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in re 0.454 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 0.454 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.454 * [taylor]: Taking taylor expansion of 2 in re 0.454 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.454 * [taylor]: Taking taylor expansion of im in re 0.454 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.454 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.454 * [taylor]: Taking taylor expansion of 1/3 in re 0.454 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.454 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.454 * [taylor]: Taking taylor expansion of im in re 0.454 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.454 * [taylor]: Taking taylor expansion of 1/60 in re 0.454 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.454 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.454 * [taylor]: Taking taylor expansion of im in re 0.455 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.455 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.455 * [taylor]: Taking taylor expansion of -1 in re 0.455 * [taylor]: Taking taylor expansion of re in re 0.456 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re)))) in im 0.456 * [taylor]: Taking taylor expansion of 0.5 in im 0.456 * [taylor]: Taking taylor expansion of (* (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) (sin (/ -1 re))) in im 0.456 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.456 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.456 * [taylor]: Taking taylor expansion of 2 in im 0.456 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.456 * [taylor]: Taking taylor expansion of im in im 0.456 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.456 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.456 * [taylor]: Taking taylor expansion of 1/3 in im 0.456 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.456 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.456 * [taylor]: Taking taylor expansion of im in im 0.456 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.456 * [taylor]: Taking taylor expansion of 1/60 in im 0.456 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.456 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.456 * [taylor]: Taking taylor expansion of im in im 0.456 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.456 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.456 * [taylor]: Taking taylor expansion of -1 in im 0.456 * [taylor]: Taking taylor expansion of re in im 0.458 * [taylor]: Taking taylor expansion of 0 in im 0.459 * [taylor]: Taking taylor expansion of 0 in im 0.462 * [taylor]: Taking taylor expansion of 0 in im 0.464 * [taylor]: Taking taylor expansion of 0 in im 0.466 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 0.466 * [approximate]: Taking taylor expansion of (* -1/60 (pow im 5)) in (im) around 0 0.466 * [taylor]: Taking taylor expansion of (* -1/60 (pow im 5)) in im 0.466 * [taylor]: Taking taylor expansion of -1/60 in im 0.466 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.466 * [taylor]: Taking taylor expansion of im in im 0.466 * [taylor]: Taking taylor expansion of (* -1/60 (pow im 5)) in im 0.466 * [taylor]: Taking taylor expansion of -1/60 in im 0.466 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.466 * [taylor]: Taking taylor expansion of im in im 0.468 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 0.468 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 0.468 * [taylor]: Taking taylor expansion of -1/60 in im 0.468 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.468 * [taylor]: Taking taylor expansion of im in im 0.468 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 0.468 * [taylor]: Taking taylor expansion of -1/60 in im 0.468 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.468 * [taylor]: Taking taylor expansion of im in im 0.469 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 0.469 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 0.469 * [taylor]: Taking taylor expansion of 1/60 in im 0.469 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.469 * [taylor]: Taking taylor expansion of im in im 0.470 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 0.470 * [taylor]: Taking taylor expansion of 1/60 in im 0.470 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.470 * [taylor]: Taking taylor expansion of im in im 0.471 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 0.471 * [approximate]: Taking taylor expansion of (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in (im) around 0 0.471 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in im 0.471 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 0.471 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.471 * [taylor]: Taking taylor expansion of 1/3 in im 0.471 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.471 * [taylor]: Taking taylor expansion of im in im 0.471 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.471 * [taylor]: Taking taylor expansion of 1/60 in im 0.471 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.471 * [taylor]: Taking taylor expansion of im in im 0.471 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in im 0.471 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 0.471 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.471 * [taylor]: Taking taylor expansion of 1/3 in im 0.471 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.471 * [taylor]: Taking taylor expansion of im in im 0.471 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.471 * [taylor]: Taking taylor expansion of 1/60 in im 0.471 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.471 * [taylor]: Taking taylor expansion of im in im 0.474 * [approximate]: Taking taylor expansion of (neg (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in (im) around 0 0.474 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.474 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.474 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.474 * [taylor]: Taking taylor expansion of 1/3 in im 0.474 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.474 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.474 * [taylor]: Taking taylor expansion of im in im 0.474 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.474 * [taylor]: Taking taylor expansion of 1/60 in im 0.474 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.474 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.474 * [taylor]: Taking taylor expansion of im in im 0.475 * [taylor]: Taking taylor expansion of (neg (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.475 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.475 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.475 * [taylor]: Taking taylor expansion of 1/3 in im 0.475 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.475 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.475 * [taylor]: Taking taylor expansion of im in im 0.475 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.475 * [taylor]: Taking taylor expansion of 1/60 in im 0.475 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.475 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.475 * [taylor]: Taking taylor expansion of im in im 0.478 * [approximate]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in (im) around 0 0.479 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.479 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.479 * [taylor]: Taking taylor expansion of 1/3 in im 0.479 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.479 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.479 * [taylor]: Taking taylor expansion of im in im 0.479 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.479 * [taylor]: Taking taylor expansion of 1/60 in im 0.479 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.479 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.479 * [taylor]: Taking taylor expansion of im in im 0.479 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.479 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.479 * [taylor]: Taking taylor expansion of 1/3 in im 0.479 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.479 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.479 * [taylor]: Taking taylor expansion of im in im 0.479 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.479 * [taylor]: Taking taylor expansion of 1/60 in im 0.479 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.479 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.479 * [taylor]: Taking taylor expansion of im in im 0.483 * * * [progress]: simplifying candidates 0.484 * [simplify]: Simplifying using # : (+ (* (log im) 3) (log -1/3)) (+ (* (log im) 3) (log -1/3)) (+ (log (pow im 3)) (log -1/3)) (log (* (pow im 3) -1/3)) (exp (* (pow im 3) -1/3)) (* (* (* (pow im 3) (pow im 3)) (pow im 3)) (* (* -1/3 -1/3) -1/3)) (* (cbrt (* (pow im 3) -1/3)) (cbrt (* (pow im 3) -1/3))) (cbrt (* (pow im 3) -1/3)) (* (* (* (pow im 3) -1/3) (* (pow im 3) -1/3)) (* (pow im 3) -1/3)) (sqrt (* (pow im 3) -1/3)) (sqrt (* (pow im 3) -1/3)) (* (pow (sqrt im) 3) (sqrt -1/3)) (* (pow (sqrt im) 3) (sqrt -1/3)) (* (pow (sqrt im) 3) (sqrt -1/3)) (* (pow (sqrt im) 3) (sqrt -1/3)) (* (sqrt (pow im 3)) (sqrt -1/3)) (* (sqrt (pow im 3)) (sqrt -1/3)) (* (pow im (/ 3 2)) (sqrt -1/3)) (* (pow im (/ 3 2)) (sqrt -1/3)) (* (pow im 3) (* (cbrt -1/3) (cbrt -1/3))) (* (pow im 3) (sqrt -1/3)) (* (pow im 3) 1) (* (pow (cbrt im) 3) -1/3) (* (pow (sqrt im) 3) -1/3) (* (pow im 3) -1/3) (* im -1/3) (* (cbrt (pow im 3)) -1/3) (* (pow (cbrt im) 3) -1/3) (* (pow (sqrt im) 3) -1/3) (* (pow im 3) -1/3) (* (* im im) -1/3) (* (sqrt (pow im 3)) -1/3) (* (pow im 3) -1/3) (* (pow im (/ 3 2)) -1/3) (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (+ (+ (log 0.5) (log (sin re))) (log (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (+ (log (* 0.5 (sin re))) (log (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (log (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (exp (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (cbrt (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (cbrt (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))) (cbrt (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (* (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (sqrt (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (sqrt (* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (* 0.5 (sin re)) (* im -2)) (* (* 0.5 (sin re)) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (* (* im -2) (* 0.5 (sin re))) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))) (* (* 0.5 (sin re)) (sqrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (* 0.5 (sin re)) 1) (* (sin re) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (* (* 0.5 (sin re)) (+ (pow (* im -2) 3) (pow (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) 3))) (* (* 0.5 (sin re)) (- (* (* im -2) (* im -2)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (+ (* (log im) 5) (log -1/60)) (+ (* (log im) 5) (log -1/60)) (+ (log (pow im 5)) (log -1/60)) (log (* (pow im 5) -1/60)) (exp (* (pow im 5) -1/60)) (* (* (* (pow im 5) (pow im 5)) (pow im 5)) (* (* -1/60 -1/60) -1/60)) (* (cbrt (* (pow im 5) -1/60)) (cbrt (* (pow im 5) -1/60))) (cbrt (* (pow im 5) -1/60)) (* (* (* (pow im 5) -1/60) (* (pow im 5) -1/60)) (* (pow im 5) -1/60)) (sqrt (* (pow im 5) -1/60)) (sqrt (* (pow im 5) -1/60)) (* (pow (sqrt im) 5) (sqrt -1/60)) (* (pow (sqrt im) 5) (sqrt -1/60)) (* (sqrt (pow im 5)) (sqrt -1/60)) (* (sqrt (pow im 5)) (sqrt -1/60)) (* (pow im (/ 5 2)) (sqrt -1/60)) (* (pow im (/ 5 2)) (sqrt -1/60)) (* (pow im 5) (* (cbrt -1/60) (cbrt -1/60))) (* (pow im 5) (sqrt -1/60)) (* (pow im 5) 1) (* (pow (cbrt im) 5) -1/60) (* (pow (sqrt im) 5) -1/60) (* (pow im 5) -1/60) (* (cbrt (pow im 5)) -1/60) (* (sqrt (pow im 5)) -1/60) (* (pow im 5) -1/60) (* (pow im (/ 5 2)) -1/60) (* (exp (* (pow im 3) -1/3)) (exp (* (pow im 5) -1/60))) (log (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (exp (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (* (cbrt (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (cbrt (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (cbrt (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (* (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (sqrt (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (sqrt (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (+ (pow (* (pow im 3) -1/3) 3) (pow (* (pow im 5) -1/60) 3)) (+ (* (* (pow im 3) -1/3) (* (pow im 3) -1/3)) (- (* (* (pow im 5) -1/60) (* (pow im 5) -1/60)) (* (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (- (* (* (pow im 3) -1/3) (* (pow im 3) -1/3)) (* (* (pow im 5) -1/60) (* (pow im 5) -1/60))) (- (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1.0 (* re im)) (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (* -1/60 (pow im 5)) (* -1/60 (pow im 5)) (* -1/60 (pow im 5)) (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) 0.511 * * [simplify]: iteration 0 : 6066 enodes (cost 1143 ) 0.516 * [simplify]: Simplified to: (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (pow (exp (pow im 3)) -1/3) (* (pow (pow im 3) 3) -1/27) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* (pow (pow im 3) 3) -1/27) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im 3/2)) (* (sqrt -1/3) (pow im 3/2)) (* (pow im 3) (* (cbrt -1/3) (cbrt -1/3))) (* (pow im 3) (sqrt -1/3)) (pow im 3) (* im -1/3) (* im (* (sqrt im) -1/3)) (* -1/3 (pow im 3)) (* im -1/3) (* im -1/3) (* im -1/3) (* im (* (sqrt im) -1/3)) (* -1/3 (pow im 3)) (* im (* im -1/3)) (* -1/3 (sqrt (pow im 3))) (* -1/3 (pow im 3)) (* -1/3 (pow im 3/2)) (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))) (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))) (log (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (log (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (log (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (pow (pow (exp 0.5) (sin re)) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))) (pow (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))) 3) (pow (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))) 3) (* (cbrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (cbrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))))) (cbrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (pow (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))) 3) (sqrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (sqrt (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (* im (* (* 0.5 (sin re)) -2)) (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* im (* (* 0.5 (sin re)) -2)) (* 0.5 (* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (* 0.5 (* (sin re) (* (cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))))) (* 0.5 (* (sin re) (sqrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))) (* 0.5 (sin re)) (* (sin re) (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))) (* 0.5 (* (sin re) (+ (* (pow im 3) -8) (pow (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) 3)))) (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (log (* (pow im 5) -1/60)) (pow (exp (pow im 5)) -1/60) (* (pow (pow im 5) 3) -1/216000) (* (cbrt (* (pow im 5) -1/60)) (cbrt (* (pow im 5) -1/60))) (cbrt (* (pow im 5) -1/60)) (* (pow (pow im 5) 3) -1/216000) (sqrt (* (pow im 5) -1/60)) (sqrt (* (pow im 5) -1/60)) (* (pow (sqrt im) 5) (sqrt -1/60)) (* (pow (sqrt im) 5) (sqrt -1/60)) (* (sqrt -1/60) (sqrt (pow im 5))) (* (sqrt -1/60) (sqrt (pow im 5))) (* (sqrt -1/60) (pow im 5/2)) (* (sqrt -1/60) (pow im 5/2)) (* (pow im 5) (* (cbrt -1/60) (cbrt -1/60))) (* (pow im 5) (sqrt -1/60)) (pow im 5) (* -1/60 (pow (cbrt im) 5)) (* -1/60 (pow (sqrt im) 5)) (* (pow im 5) -1/60) (* -1/60 (cbrt (pow im 5))) (* -1/60 (sqrt (pow im 5))) (* (pow im 5) -1/60) (* -1/60 (pow im 5/2)) (exp (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (log (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (exp (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (* (cbrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (cbrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))) (cbrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (pow (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) 3) (sqrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (sqrt (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (+ (* (pow (pow im 3) 3) -1/27) (* (pow (pow im 5) 3) -1/216000)) (+ (* (pow im 6) 1/9) (+ (* (pow im 10) 1/3600) (* (pow im 3) (* -1/180 (pow im 5))))) (+ (* (pow im 6) 1/9) (* (pow im 10) -1/3600)) (+ (* -1/3 (pow im 3)) (* (pow im 5) 1/60)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* im (* re -1.0)) (- (* (pow im 3) (* (sin re) (neg 0.16666666666666666))) (+ (* im (* (sin re) 1.0)) (* (sin re) (* (pow im 5) 0.008333333333333333)))) (- (* (pow im 3) (* (sin re) (neg 0.16666666666666666))) (+ (* im (* (sin re) 1.0)) (* (sin re) (* (pow im 5) 0.008333333333333333)))) (* (pow im 5) -1/60) (* (pow im 5) -1/60) (* (pow im 5) -1/60) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) 0.516 * * * [progress]: adding candidates to table 0.680 * * [progress]: iteration 3 / 4 0.680 * * * [progress]: picking best candidate 0.708 * * * * [pick]: Picked # 0.708 * * * [progress]: localizing error 0.739 * * * [progress]: generating rewritten candidates 0.739 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.757 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1) 0.764 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 0.770 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 2 1) 0.779 * * * [progress]: generating series expansions 0.779 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.780 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) in (re im) around 0 0.780 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) in im 0.780 * [taylor]: Taking taylor expansion of 0.5 in im 0.780 * [taylor]: Taking taylor expansion of (/ (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in im 0.780 * [taylor]: Taking taylor expansion of (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) in im 0.780 * [taylor]: Taking taylor expansion of (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) in im 0.780 * [taylor]: Taking taylor expansion of (* 4 (pow im 2)) in im 0.780 * [taylor]: Taking taylor expansion of 4 in im 0.780 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.780 * [taylor]: Taking taylor expansion of im in im 0.780 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8)))) in im 0.780 * [taylor]: Taking taylor expansion of (* 1/3600 (pow im 10)) in im 0.780 * [taylor]: Taking taylor expansion of 1/3600 in im 0.780 * [taylor]: Taking taylor expansion of (pow im 10) in im 0.781 * [taylor]: Taking taylor expansion of im in im 0.781 * [taylor]: Taking taylor expansion of (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))) in im 0.781 * [taylor]: Taking taylor expansion of (* 1/9 (pow im 6)) in im 0.781 * [taylor]: Taking taylor expansion of 1/9 in im 0.781 * [taylor]: Taking taylor expansion of (pow im 6) in im 0.781 * [taylor]: Taking taylor expansion of im in im 0.781 * [taylor]: Taking taylor expansion of (* 1/90 (pow im 8)) in im 0.781 * [taylor]: Taking taylor expansion of 1/90 in im 0.781 * [taylor]: Taking taylor expansion of (pow im 8) in im 0.781 * [taylor]: Taking taylor expansion of im in im 0.781 * [taylor]: Taking taylor expansion of (sin re) in im 0.781 * [taylor]: Taking taylor expansion of re in im 0.781 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in im 0.781 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 0.781 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.781 * [taylor]: Taking taylor expansion of 1/3 in im 0.781 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.781 * [taylor]: Taking taylor expansion of im in im 0.781 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.781 * [taylor]: Taking taylor expansion of 1/60 in im 0.781 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.781 * [taylor]: Taking taylor expansion of im in im 0.781 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.781 * [taylor]: Taking taylor expansion of 2 in im 0.781 * [taylor]: Taking taylor expansion of im in im 0.781 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) in re 0.781 * [taylor]: Taking taylor expansion of 0.5 in re 0.781 * [taylor]: Taking taylor expansion of (/ (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in re 0.781 * [taylor]: Taking taylor expansion of (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) in re 0.781 * [taylor]: Taking taylor expansion of (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) in re 0.781 * [taylor]: Taking taylor expansion of (* 4 (pow im 2)) in re 0.781 * [taylor]: Taking taylor expansion of 4 in re 0.781 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.781 * [taylor]: Taking taylor expansion of im in re 0.781 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8)))) in re 0.781 * [taylor]: Taking taylor expansion of (* 1/3600 (pow im 10)) in re 0.781 * [taylor]: Taking taylor expansion of 1/3600 in re 0.781 * [taylor]: Taking taylor expansion of (pow im 10) in re 0.781 * [taylor]: Taking taylor expansion of im in re 0.781 * [taylor]: Taking taylor expansion of (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))) in re 0.781 * [taylor]: Taking taylor expansion of (* 1/9 (pow im 6)) in re 0.782 * [taylor]: Taking taylor expansion of 1/9 in re 0.782 * [taylor]: Taking taylor expansion of (pow im 6) in re 0.782 * [taylor]: Taking taylor expansion of im in re 0.782 * [taylor]: Taking taylor expansion of (* 1/90 (pow im 8)) in re 0.782 * [taylor]: Taking taylor expansion of 1/90 in re 0.782 * [taylor]: Taking taylor expansion of (pow im 8) in re 0.782 * [taylor]: Taking taylor expansion of im in re 0.782 * [taylor]: Taking taylor expansion of (sin re) in re 0.782 * [taylor]: Taking taylor expansion of re in re 0.782 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in re 0.782 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in re 0.782 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 0.782 * [taylor]: Taking taylor expansion of 1/3 in re 0.782 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.782 * [taylor]: Taking taylor expansion of im in re 0.782 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 0.782 * [taylor]: Taking taylor expansion of 1/60 in re 0.782 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.782 * [taylor]: Taking taylor expansion of im in re 0.782 * [taylor]: Taking taylor expansion of (* 2 im) in re 0.782 * [taylor]: Taking taylor expansion of 2 in re 0.782 * [taylor]: Taking taylor expansion of im in re 0.787 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) in re 0.787 * [taylor]: Taking taylor expansion of 0.5 in re 0.787 * [taylor]: Taking taylor expansion of (/ (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in re 0.787 * [taylor]: Taking taylor expansion of (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) in re 0.787 * [taylor]: Taking taylor expansion of (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) in re 0.787 * [taylor]: Taking taylor expansion of (* 4 (pow im 2)) in re 0.787 * [taylor]: Taking taylor expansion of 4 in re 0.787 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.787 * [taylor]: Taking taylor expansion of im in re 0.787 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8)))) in re 0.787 * [taylor]: Taking taylor expansion of (* 1/3600 (pow im 10)) in re 0.787 * [taylor]: Taking taylor expansion of 1/3600 in re 0.787 * [taylor]: Taking taylor expansion of (pow im 10) in re 0.787 * [taylor]: Taking taylor expansion of im in re 0.787 * [taylor]: Taking taylor expansion of (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))) in re 0.787 * [taylor]: Taking taylor expansion of (* 1/9 (pow im 6)) in re 0.787 * [taylor]: Taking taylor expansion of 1/9 in re 0.787 * [taylor]: Taking taylor expansion of (pow im 6) in re 0.787 * [taylor]: Taking taylor expansion of im in re 0.787 * [taylor]: Taking taylor expansion of (* 1/90 (pow im 8)) in re 0.787 * [taylor]: Taking taylor expansion of 1/90 in re 0.787 * [taylor]: Taking taylor expansion of (pow im 8) in re 0.787 * [taylor]: Taking taylor expansion of im in re 0.787 * [taylor]: Taking taylor expansion of (sin re) in re 0.787 * [taylor]: Taking taylor expansion of re in re 0.787 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in re 0.787 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in re 0.787 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 0.787 * [taylor]: Taking taylor expansion of 1/3 in re 0.787 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.787 * [taylor]: Taking taylor expansion of im in re 0.787 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 0.787 * [taylor]: Taking taylor expansion of 1/60 in re 0.787 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.787 * [taylor]: Taking taylor expansion of im in re 0.787 * [taylor]: Taking taylor expansion of (* 2 im) in re 0.787 * [taylor]: Taking taylor expansion of 2 in re 0.788 * [taylor]: Taking taylor expansion of im in re 0.793 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) in im 0.793 * [taylor]: Taking taylor expansion of 0.5 in im 0.793 * [taylor]: Taking taylor expansion of (/ (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in im 0.793 * [taylor]: Taking taylor expansion of (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) in im 0.793 * [taylor]: Taking taylor expansion of (* 4 (pow im 2)) in im 0.793 * [taylor]: Taking taylor expansion of 4 in im 0.793 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.793 * [taylor]: Taking taylor expansion of im in im 0.793 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8)))) in im 0.793 * [taylor]: Taking taylor expansion of (* 1/3600 (pow im 10)) in im 0.793 * [taylor]: Taking taylor expansion of 1/3600 in im 0.793 * [taylor]: Taking taylor expansion of (pow im 10) in im 0.793 * [taylor]: Taking taylor expansion of im in im 0.793 * [taylor]: Taking taylor expansion of (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))) in im 0.793 * [taylor]: Taking taylor expansion of (* 1/9 (pow im 6)) in im 0.793 * [taylor]: Taking taylor expansion of 1/9 in im 0.793 * [taylor]: Taking taylor expansion of (pow im 6) in im 0.793 * [taylor]: Taking taylor expansion of im in im 0.793 * [taylor]: Taking taylor expansion of (* 1/90 (pow im 8)) in im 0.793 * [taylor]: Taking taylor expansion of 1/90 in im 0.793 * [taylor]: Taking taylor expansion of (pow im 8) in im 0.793 * [taylor]: Taking taylor expansion of im in im 0.793 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in im 0.793 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 0.793 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.793 * [taylor]: Taking taylor expansion of 1/3 in im 0.793 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.793 * [taylor]: Taking taylor expansion of im in im 0.793 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.793 * [taylor]: Taking taylor expansion of 1/60 in im 0.793 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.793 * [taylor]: Taking taylor expansion of im in im 0.793 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.793 * [taylor]: Taking taylor expansion of 2 in im 0.794 * [taylor]: Taking taylor expansion of im in im 0.797 * [taylor]: Taking taylor expansion of 0 in im 0.803 * [taylor]: Taking taylor expansion of (- (+ (* 0.000925925925925926 (/ (pow im 8) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (+ (* 2.3148148148148147e-05 (/ (pow im 10) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* 0.009259259259259259 (/ (pow im 6) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))))) (* 0.3333333333333333 (/ (pow im 2) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))))) in im 0.803 * [taylor]: Taking taylor expansion of (+ (* 0.000925925925925926 (/ (pow im 8) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (+ (* 2.3148148148148147e-05 (/ (pow im 10) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* 0.009259259259259259 (/ (pow im 6) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))))) in im 0.803 * [taylor]: Taking taylor expansion of (* 0.000925925925925926 (/ (pow im 8) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) in im 0.803 * [taylor]: Taking taylor expansion of 0.000925925925925926 in im 0.803 * [taylor]: Taking taylor expansion of (/ (pow im 8) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in im 0.803 * [taylor]: Taking taylor expansion of (pow im 8) in im 0.803 * [taylor]: Taking taylor expansion of im in im 0.804 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in im 0.804 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 0.804 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.804 * [taylor]: Taking taylor expansion of 1/3 in im 0.804 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.804 * [taylor]: Taking taylor expansion of im in im 0.804 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.804 * [taylor]: Taking taylor expansion of 1/60 in im 0.804 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.804 * [taylor]: Taking taylor expansion of im in im 0.804 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.804 * [taylor]: Taking taylor expansion of 2 in im 0.804 * [taylor]: Taking taylor expansion of im in im 0.804 * [taylor]: Taking taylor expansion of (+ (* 2.3148148148148147e-05 (/ (pow im 10) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* 0.009259259259259259 (/ (pow im 6) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))))) in im 0.808 * [taylor]: Taking taylor expansion of (* 2.3148148148148147e-05 (/ (pow im 10) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) in im 0.808 * [taylor]: Taking taylor expansion of 2.3148148148148147e-05 in im 0.808 * [taylor]: Taking taylor expansion of (/ (pow im 10) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in im 0.808 * [taylor]: Taking taylor expansion of (pow im 10) in im 0.808 * [taylor]: Taking taylor expansion of im in im 0.808 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in im 0.808 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 0.808 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.808 * [taylor]: Taking taylor expansion of 1/3 in im 0.808 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.808 * [taylor]: Taking taylor expansion of im in im 0.808 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.808 * [taylor]: Taking taylor expansion of 1/60 in im 0.808 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.808 * [taylor]: Taking taylor expansion of im in im 0.808 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.808 * [taylor]: Taking taylor expansion of 2 in im 0.808 * [taylor]: Taking taylor expansion of im in im 0.809 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (pow im 6) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) in im 0.809 * [taylor]: Taking taylor expansion of 0.009259259259259259 in im 0.809 * [taylor]: Taking taylor expansion of (/ (pow im 6) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in im 0.809 * [taylor]: Taking taylor expansion of (pow im 6) in im 0.809 * [taylor]: Taking taylor expansion of im in im 0.809 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in im 0.809 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 0.809 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.809 * [taylor]: Taking taylor expansion of 1/3 in im 0.809 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.809 * [taylor]: Taking taylor expansion of im in im 0.809 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.809 * [taylor]: Taking taylor expansion of 1/60 in im 0.809 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.809 * [taylor]: Taking taylor expansion of im in im 0.809 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.809 * [taylor]: Taking taylor expansion of 2 in im 0.809 * [taylor]: Taking taylor expansion of im in im 0.809 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (pow im 2) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) in im 0.809 * [taylor]: Taking taylor expansion of 0.3333333333333333 in im 0.809 * [taylor]: Taking taylor expansion of (/ (pow im 2) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in im 0.809 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.809 * [taylor]: Taking taylor expansion of im in im 0.809 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in im 0.809 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 0.809 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.809 * [taylor]: Taking taylor expansion of 1/3 in im 0.809 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.809 * [taylor]: Taking taylor expansion of im in im 0.809 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 0.809 * [taylor]: Taking taylor expansion of 1/60 in im 0.809 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.809 * [taylor]: Taking taylor expansion of im in im 0.809 * [taylor]: Taking taylor expansion of (* 2 im) in im 0.809 * [taylor]: Taking taylor expansion of 2 in im 0.809 * [taylor]: Taking taylor expansion of im in im 0.811 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im))))) in (re im) around 0 0.811 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im))))) in im 0.811 * [taylor]: Taking taylor expansion of 0.5 in im 0.811 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im)))) in im 0.811 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) in im 0.811 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.811 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.811 * [taylor]: Taking taylor expansion of re in im 0.811 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) in im 0.811 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in im 0.811 * [taylor]: Taking taylor expansion of 4 in im 0.811 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.811 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.811 * [taylor]: Taking taylor expansion of im in im 0.811 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))) in im 0.811 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in im 0.811 * [taylor]: Taking taylor expansion of 1/3600 in im 0.812 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in im 0.812 * [taylor]: Taking taylor expansion of (pow im 10) in im 0.812 * [taylor]: Taking taylor expansion of im in im 0.812 * [taylor]: Taking taylor expansion of (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))) in im 0.812 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in im 0.812 * [taylor]: Taking taylor expansion of 1/90 in im 0.812 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in im 0.812 * [taylor]: Taking taylor expansion of (pow im 8) in im 0.812 * [taylor]: Taking taylor expansion of im in im 0.812 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in im 0.812 * [taylor]: Taking taylor expansion of 1/9 in im 0.812 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in im 0.812 * [taylor]: Taking taylor expansion of (pow im 6) in im 0.812 * [taylor]: Taking taylor expansion of im in im 0.812 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im))) in im 0.812 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.812 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.812 * [taylor]: Taking taylor expansion of 1/3 in im 0.812 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.812 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.812 * [taylor]: Taking taylor expansion of im in im 0.812 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.812 * [taylor]: Taking taylor expansion of 1/60 in im 0.812 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.812 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.812 * [taylor]: Taking taylor expansion of im in im 0.812 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.812 * [taylor]: Taking taylor expansion of 2 in im 0.812 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.812 * [taylor]: Taking taylor expansion of im in im 0.812 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im))))) in re 0.813 * [taylor]: Taking taylor expansion of 0.5 in re 0.813 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im)))) in re 0.813 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) in re 0.813 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.813 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.813 * [taylor]: Taking taylor expansion of re in re 0.813 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) in re 0.813 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in re 0.813 * [taylor]: Taking taylor expansion of 4 in re 0.813 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.813 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.813 * [taylor]: Taking taylor expansion of im in re 0.813 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))) in re 0.813 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in re 0.813 * [taylor]: Taking taylor expansion of 1/3600 in re 0.813 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in re 0.813 * [taylor]: Taking taylor expansion of (pow im 10) in re 0.813 * [taylor]: Taking taylor expansion of im in re 0.813 * [taylor]: Taking taylor expansion of (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))) in re 0.813 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in re 0.813 * [taylor]: Taking taylor expansion of 1/90 in re 0.813 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in re 0.813 * [taylor]: Taking taylor expansion of (pow im 8) in re 0.813 * [taylor]: Taking taylor expansion of im in re 0.814 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in re 0.814 * [taylor]: Taking taylor expansion of 1/9 in re 0.814 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in re 0.814 * [taylor]: Taking taylor expansion of (pow im 6) in re 0.814 * [taylor]: Taking taylor expansion of im in re 0.814 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im))) in re 0.814 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.814 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.814 * [taylor]: Taking taylor expansion of 1/3 in re 0.814 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.814 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.814 * [taylor]: Taking taylor expansion of im in re 0.814 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.814 * [taylor]: Taking taylor expansion of 1/60 in re 0.814 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.814 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.814 * [taylor]: Taking taylor expansion of im in re 0.814 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.814 * [taylor]: Taking taylor expansion of 2 in re 0.814 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.814 * [taylor]: Taking taylor expansion of im in re 0.817 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im))))) in re 0.817 * [taylor]: Taking taylor expansion of 0.5 in re 0.817 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im)))) in re 0.817 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) in re 0.817 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.817 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.817 * [taylor]: Taking taylor expansion of re in re 0.817 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) in re 0.817 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in re 0.817 * [taylor]: Taking taylor expansion of 4 in re 0.817 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.817 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.817 * [taylor]: Taking taylor expansion of im in re 0.818 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))) in re 0.818 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in re 0.818 * [taylor]: Taking taylor expansion of 1/3600 in re 0.818 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in re 0.818 * [taylor]: Taking taylor expansion of (pow im 10) in re 0.818 * [taylor]: Taking taylor expansion of im in re 0.818 * [taylor]: Taking taylor expansion of (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))) in re 0.818 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in re 0.818 * [taylor]: Taking taylor expansion of 1/90 in re 0.818 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in re 0.818 * [taylor]: Taking taylor expansion of (pow im 8) in re 0.818 * [taylor]: Taking taylor expansion of im in re 0.818 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in re 0.818 * [taylor]: Taking taylor expansion of 1/9 in re 0.818 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in re 0.818 * [taylor]: Taking taylor expansion of (pow im 6) in re 0.818 * [taylor]: Taking taylor expansion of im in re 0.819 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im))) in re 0.819 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.819 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.819 * [taylor]: Taking taylor expansion of 1/3 in re 0.819 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.819 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.819 * [taylor]: Taking taylor expansion of im in re 0.819 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.819 * [taylor]: Taking taylor expansion of 1/60 in re 0.819 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.819 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.819 * [taylor]: Taking taylor expansion of im in re 0.819 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.819 * [taylor]: Taking taylor expansion of 2 in re 0.819 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.819 * [taylor]: Taking taylor expansion of im in re 0.822 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/9 (/ 1 (pow im 6))) (* 1/90 (/ 1 (pow im 8))))))) (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im))))) in im 0.822 * [taylor]: Taking taylor expansion of 0.5 in im 0.822 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/9 (/ 1 (pow im 6))) (* 1/90 (/ 1 (pow im 8))))))) (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im)))) in im 0.823 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/9 (/ 1 (pow im 6))) (* 1/90 (/ 1 (pow im 8))))))) in im 0.823 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.823 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.823 * [taylor]: Taking taylor expansion of re in im 0.823 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/9 (/ 1 (pow im 6))) (* 1/90 (/ 1 (pow im 8)))))) in im 0.823 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in im 0.823 * [taylor]: Taking taylor expansion of 4 in im 0.823 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.823 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.823 * [taylor]: Taking taylor expansion of im in im 0.823 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/9 (/ 1 (pow im 6))) (* 1/90 (/ 1 (pow im 8))))) in im 0.823 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in im 0.823 * [taylor]: Taking taylor expansion of 1/3600 in im 0.823 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in im 0.823 * [taylor]: Taking taylor expansion of (pow im 10) in im 0.823 * [taylor]: Taking taylor expansion of im in im 0.823 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ 1 (pow im 6))) (* 1/90 (/ 1 (pow im 8)))) in im 0.823 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in im 0.823 * [taylor]: Taking taylor expansion of 1/9 in im 0.823 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in im 0.823 * [taylor]: Taking taylor expansion of (pow im 6) in im 0.823 * [taylor]: Taking taylor expansion of im in im 0.823 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in im 0.823 * [taylor]: Taking taylor expansion of 1/90 in im 0.823 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in im 0.823 * [taylor]: Taking taylor expansion of (pow im 8) in im 0.823 * [taylor]: Taking taylor expansion of im in im 0.823 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im))) in im 0.823 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.823 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.823 * [taylor]: Taking taylor expansion of 1/3 in im 0.823 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.823 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.823 * [taylor]: Taking taylor expansion of im in im 0.823 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.823 * [taylor]: Taking taylor expansion of 1/60 in im 0.823 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.823 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.823 * [taylor]: Taking taylor expansion of im in im 0.823 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.823 * [taylor]: Taking taylor expansion of 2 in im 0.823 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.824 * [taylor]: Taking taylor expansion of im in im 0.828 * [taylor]: Taking taylor expansion of 0 in im 0.834 * [taylor]: Taking taylor expansion of 0 in im 0.840 * [taylor]: Taking taylor expansion of 0 in im 0.848 * [taylor]: Taking taylor expansion of 0 in im 0.851 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in (re im) around 0 0.851 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im 0.851 * [taylor]: Taking taylor expansion of 0.5 in im 0.851 * [taylor]: Taking taylor expansion of (/ (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 0.851 * [taylor]: Taking taylor expansion of (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) in im 0.851 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) in im 0.851 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in im 0.851 * [taylor]: Taking taylor expansion of 4 in im 0.851 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.851 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.851 * [taylor]: Taking taylor expansion of im in im 0.851 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))) in im 0.851 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in im 0.851 * [taylor]: Taking taylor expansion of 1/3600 in im 0.851 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in im 0.852 * [taylor]: Taking taylor expansion of (pow im 10) in im 0.852 * [taylor]: Taking taylor expansion of im in im 0.852 * [taylor]: Taking taylor expansion of (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))) in im 0.852 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in im 0.852 * [taylor]: Taking taylor expansion of 1/90 in im 0.852 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in im 0.852 * [taylor]: Taking taylor expansion of (pow im 8) in im 0.852 * [taylor]: Taking taylor expansion of im in im 0.852 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in im 0.852 * [taylor]: Taking taylor expansion of 1/9 in im 0.852 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in im 0.852 * [taylor]: Taking taylor expansion of (pow im 6) in im 0.852 * [taylor]: Taking taylor expansion of im in im 0.852 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.852 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.852 * [taylor]: Taking taylor expansion of -1 in im 0.852 * [taylor]: Taking taylor expansion of re in im 0.852 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.852 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.852 * [taylor]: Taking taylor expansion of 2 in im 0.852 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.852 * [taylor]: Taking taylor expansion of im in im 0.852 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.852 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.852 * [taylor]: Taking taylor expansion of 1/3 in im 0.852 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.852 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.852 * [taylor]: Taking taylor expansion of im in im 0.852 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.852 * [taylor]: Taking taylor expansion of 1/60 in im 0.852 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.852 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.852 * [taylor]: Taking taylor expansion of im in im 0.853 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in re 0.853 * [taylor]: Taking taylor expansion of 0.5 in re 0.853 * [taylor]: Taking taylor expansion of (/ (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 0.853 * [taylor]: Taking taylor expansion of (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) in re 0.853 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) in re 0.853 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in re 0.853 * [taylor]: Taking taylor expansion of 4 in re 0.853 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.853 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.853 * [taylor]: Taking taylor expansion of im in re 0.853 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))) in re 0.853 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in re 0.853 * [taylor]: Taking taylor expansion of 1/3600 in re 0.853 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in re 0.853 * [taylor]: Taking taylor expansion of (pow im 10) in re 0.853 * [taylor]: Taking taylor expansion of im in re 0.853 * [taylor]: Taking taylor expansion of (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))) in re 0.853 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in re 0.853 * [taylor]: Taking taylor expansion of 1/90 in re 0.853 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in re 0.853 * [taylor]: Taking taylor expansion of (pow im 8) in re 0.853 * [taylor]: Taking taylor expansion of im in re 0.854 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in re 0.854 * [taylor]: Taking taylor expansion of 1/9 in re 0.854 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in re 0.854 * [taylor]: Taking taylor expansion of (pow im 6) in re 0.854 * [taylor]: Taking taylor expansion of im in re 0.854 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.854 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.854 * [taylor]: Taking taylor expansion of -1 in re 0.854 * [taylor]: Taking taylor expansion of re in re 0.854 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 0.854 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.854 * [taylor]: Taking taylor expansion of 2 in re 0.854 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.854 * [taylor]: Taking taylor expansion of im in re 0.854 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.854 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.854 * [taylor]: Taking taylor expansion of 1/3 in re 0.854 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.854 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.854 * [taylor]: Taking taylor expansion of im in re 0.854 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.854 * [taylor]: Taking taylor expansion of 1/60 in re 0.854 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.854 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.854 * [taylor]: Taking taylor expansion of im in re 0.857 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in re 0.857 * [taylor]: Taking taylor expansion of 0.5 in re 0.857 * [taylor]: Taking taylor expansion of (/ (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 0.857 * [taylor]: Taking taylor expansion of (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) in re 0.857 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) in re 0.858 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in re 0.858 * [taylor]: Taking taylor expansion of 4 in re 0.858 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.858 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.858 * [taylor]: Taking taylor expansion of im in re 0.858 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))) in re 0.858 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in re 0.858 * [taylor]: Taking taylor expansion of 1/3600 in re 0.858 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in re 0.858 * [taylor]: Taking taylor expansion of (pow im 10) in re 0.858 * [taylor]: Taking taylor expansion of im in re 0.858 * [taylor]: Taking taylor expansion of (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))) in re 0.858 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in re 0.858 * [taylor]: Taking taylor expansion of 1/90 in re 0.858 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in re 0.858 * [taylor]: Taking taylor expansion of (pow im 8) in re 0.858 * [taylor]: Taking taylor expansion of im in re 0.858 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in re 0.858 * [taylor]: Taking taylor expansion of 1/9 in re 0.858 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in re 0.858 * [taylor]: Taking taylor expansion of (pow im 6) in re 0.858 * [taylor]: Taking taylor expansion of im in re 0.859 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.859 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.859 * [taylor]: Taking taylor expansion of -1 in re 0.859 * [taylor]: Taking taylor expansion of re in re 0.859 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 0.859 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 0.859 * [taylor]: Taking taylor expansion of 2 in re 0.859 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.859 * [taylor]: Taking taylor expansion of im in re 0.859 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 0.859 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 0.859 * [taylor]: Taking taylor expansion of 1/3 in re 0.859 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 0.859 * [taylor]: Taking taylor expansion of (pow im 3) in re 0.859 * [taylor]: Taking taylor expansion of im in re 0.859 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 0.859 * [taylor]: Taking taylor expansion of 1/60 in re 0.859 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 0.859 * [taylor]: Taking taylor expansion of (pow im 5) in re 0.859 * [taylor]: Taking taylor expansion of im in re 0.863 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (sin (/ -1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/9 (/ 1 (pow im 6))) (* 1/90 (/ 1 (pow im 8))))))) (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))))) in im 0.863 * [taylor]: Taking taylor expansion of 0.5 in im 0.863 * [taylor]: Taking taylor expansion of (/ (* (sin (/ -1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/9 (/ 1 (pow im 6))) (* 1/90 (/ 1 (pow im 8))))))) (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 0.863 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/9 (/ 1 (pow im 6))) (* 1/90 (/ 1 (pow im 8))))))) in im 0.863 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.863 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.863 * [taylor]: Taking taylor expansion of -1 in im 0.863 * [taylor]: Taking taylor expansion of re in im 0.863 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/9 (/ 1 (pow im 6))) (* 1/90 (/ 1 (pow im 8)))))) in im 0.863 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in im 0.863 * [taylor]: Taking taylor expansion of 4 in im 0.863 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.863 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.863 * [taylor]: Taking taylor expansion of im in im 0.863 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/9 (/ 1 (pow im 6))) (* 1/90 (/ 1 (pow im 8))))) in im 0.863 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in im 0.863 * [taylor]: Taking taylor expansion of 1/3600 in im 0.863 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in im 0.863 * [taylor]: Taking taylor expansion of (pow im 10) in im 0.863 * [taylor]: Taking taylor expansion of im in im 0.863 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ 1 (pow im 6))) (* 1/90 (/ 1 (pow im 8)))) in im 0.863 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in im 0.863 * [taylor]: Taking taylor expansion of 1/9 in im 0.864 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in im 0.864 * [taylor]: Taking taylor expansion of (pow im 6) in im 0.864 * [taylor]: Taking taylor expansion of im in im 0.864 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in im 0.864 * [taylor]: Taking taylor expansion of 1/90 in im 0.864 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in im 0.864 * [taylor]: Taking taylor expansion of (pow im 8) in im 0.864 * [taylor]: Taking taylor expansion of im in im 0.864 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 0.864 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 0.864 * [taylor]: Taking taylor expansion of 2 in im 0.864 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.864 * [taylor]: Taking taylor expansion of im in im 0.864 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 0.864 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 0.864 * [taylor]: Taking taylor expansion of 1/3 in im 0.864 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 0.864 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.864 * [taylor]: Taking taylor expansion of im in im 0.864 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 0.864 * [taylor]: Taking taylor expansion of 1/60 in im 0.864 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 0.864 * [taylor]: Taking taylor expansion of (pow im 5) in im 0.864 * [taylor]: Taking taylor expansion of im in im 0.868 * [taylor]: Taking taylor expansion of 0 in im 0.874 * [taylor]: Taking taylor expansion of 0 in im 0.880 * [taylor]: Taking taylor expansion of 0 in im 0.888 * [taylor]: Taking taylor expansion of 0 in im 0.891 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1) 0.891 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 0.891 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 0.891 * [taylor]: Taking taylor expansion of -1/3 in im 0.891 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.891 * [taylor]: Taking taylor expansion of im in im 0.891 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 0.891 * [taylor]: Taking taylor expansion of -1/3 in im 0.891 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.891 * [taylor]: Taking taylor expansion of im in im 0.894 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 0.894 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 0.894 * [taylor]: Taking taylor expansion of -1/3 in im 0.894 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.894 * [taylor]: Taking taylor expansion of im in im 0.894 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 0.894 * [taylor]: Taking taylor expansion of -1/3 in im 0.894 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.894 * [taylor]: Taking taylor expansion of im in im 0.895 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 0.895 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 0.895 * [taylor]: Taking taylor expansion of 1/3 in im 0.895 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.895 * [taylor]: Taking taylor expansion of im in im 0.895 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 0.896 * [taylor]: Taking taylor expansion of 1/3 in im 0.896 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.896 * [taylor]: Taking taylor expansion of im in im 0.897 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 0.897 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 0.897 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 0.897 * [taylor]: Taking taylor expansion of -1/3 in im 0.897 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.897 * [taylor]: Taking taylor expansion of im in im 0.897 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 0.897 * [taylor]: Taking taylor expansion of -1/3 in im 0.897 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.897 * [taylor]: Taking taylor expansion of im in im 0.898 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 0.898 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 0.898 * [taylor]: Taking taylor expansion of -1/3 in im 0.898 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.898 * [taylor]: Taking taylor expansion of im in im 0.898 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 0.898 * [taylor]: Taking taylor expansion of -1/3 in im 0.898 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.898 * [taylor]: Taking taylor expansion of im in im 0.899 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 0.899 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 0.900 * [taylor]: Taking taylor expansion of 1/3 in im 0.900 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.900 * [taylor]: Taking taylor expansion of im in im 0.900 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 0.900 * [taylor]: Taking taylor expansion of 1/3 in im 0.900 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.900 * [taylor]: Taking taylor expansion of im in im 0.901 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 2 1) 0.901 * [approximate]: Taking taylor expansion of (* 1/3 (pow im 3)) in (im) around 0 0.901 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.901 * [taylor]: Taking taylor expansion of 1/3 in im 0.901 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.901 * [taylor]: Taking taylor expansion of im in im 0.901 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 0.901 * [taylor]: Taking taylor expansion of 1/3 in im 0.901 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.901 * [taylor]: Taking taylor expansion of im in im 0.902 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 0.902 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 0.902 * [taylor]: Taking taylor expansion of 1/3 in im 0.902 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.902 * [taylor]: Taking taylor expansion of im in im 0.902 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 0.902 * [taylor]: Taking taylor expansion of 1/3 in im 0.902 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.902 * [taylor]: Taking taylor expansion of im in im 0.903 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 0.904 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 0.904 * [taylor]: Taking taylor expansion of -1/3 in im 0.904 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.904 * [taylor]: Taking taylor expansion of im in im 0.904 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 0.904 * [taylor]: Taking taylor expansion of -1/3 in im 0.904 * [taylor]: Taking taylor expansion of (pow im 3) in im 0.904 * [taylor]: Taking taylor expansion of im in im 0.905 * * * [progress]: simplifying candidates 0.907 * [simplify]: Simplifying using # : (- (+ (log 0.5) (+ (log (sin re)) (log (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (log (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (- (+ (log 0.5) (log (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (log (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (- (log (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (log (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (log (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (exp (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (/ (* (* (* 0.5 0.5) 0.5) (* (* (* (sin re) (sin re)) (sin re)) (* (* (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (* (* (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (/ (* (* (* 0.5 0.5) 0.5) (* (* (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (* (* (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (/ (* (* (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (* (* (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (cbrt (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (cbrt (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))) (cbrt (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (* (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (sqrt (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (sqrt (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (neg (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (neg (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (/ 0.5 (* (cbrt (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (cbrt (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))) (/ (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (cbrt (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (/ 0.5 (sqrt (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (/ (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (sqrt (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (/ 0.5 1) (/ (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (/ 1 (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (/ (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (cbrt (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (cbrt (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))) (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (sqrt (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) 1) (/ (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (- (pow (* im -2) 3) (pow (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) 3))) (/ (* 0.5 (* (sin re) (+ (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (- (* (* im -2) (* im -2)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (+ (* (* im (* 4 im)) (* im (* 4 im))) (- (* (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (* (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (* (- (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))) (- (* im (* 4 im)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (log (pow im 3))) (log (* -1/3 (pow im 3))) (exp (* -1/3 (pow im 3))) (* (* (* -1/3 -1/3) -1/3) (* (* (pow im 3) (pow im 3)) (pow im 3))) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im (/ 3 2))) (* (sqrt -1/3) (pow im (/ 3 2))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 (* im im)) (* -1/3 (* (cbrt (pow im 3)) (cbrt (pow im 3)))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 im) (* -1/3 (sqrt (pow im 3))) (* -1/3 1) (* -1/3 (pow im (/ 3 2))) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* -1/3 (pow im 3)) (+ (* (log im) 3) (log -1/3)) (+ (* (log im) 3) (log -1/3)) (+ (log (pow im 3)) (log -1/3)) (log (* (pow im 3) -1/3)) (exp (* (pow im 3) -1/3)) (* (* (* (pow im 3) (pow im 3)) (pow im 3)) (* (* -1/3 -1/3) -1/3)) (* (cbrt (* (pow im 3) -1/3)) (cbrt (* (pow im 3) -1/3))) (cbrt (* (pow im 3) -1/3)) (* (* (* (pow im 3) -1/3) (* (pow im 3) -1/3)) (* (pow im 3) -1/3)) (sqrt (* (pow im 3) -1/3)) (sqrt (* (pow im 3) -1/3)) (* (pow (sqrt im) 3) (sqrt -1/3)) (* (pow (sqrt im) 3) (sqrt -1/3)) (* (pow (sqrt im) 3) (sqrt -1/3)) (* (pow (sqrt im) 3) (sqrt -1/3)) (* (sqrt (pow im 3)) (sqrt -1/3)) (* (sqrt (pow im 3)) (sqrt -1/3)) (* (pow im (/ 3 2)) (sqrt -1/3)) (* (pow im (/ 3 2)) (sqrt -1/3)) (* (pow im 3) (* (cbrt -1/3) (cbrt -1/3))) (* (pow im 3) (sqrt -1/3)) (* (pow im 3) 1) (* (pow (cbrt im) 3) -1/3) (* (pow (sqrt im) 3) -1/3) (* (pow im 3) -1/3) (* im -1/3) (* (cbrt (pow im 3)) -1/3) (* (pow (cbrt im) 3) -1/3) (* (pow (sqrt im) 3) -1/3) (* (pow im 3) -1/3) (* (* im im) -1/3) (* (sqrt (pow im 3)) -1/3) (* (pow im 3) -1/3) (* (pow im (/ 3 2)) -1/3) (+ (* (log im) 3) (log 1/3)) (+ (* (log im) 3) (log 1/3)) (+ (log (pow im 3)) (log 1/3)) (log (* (pow im 3) 1/3)) (exp (* (pow im 3) 1/3)) (* (* (* (pow im 3) (pow im 3)) (pow im 3)) (* (* 1/3 1/3) 1/3)) (* (cbrt (* (pow im 3) 1/3)) (cbrt (* (pow im 3) 1/3))) (cbrt (* (pow im 3) 1/3)) (* (* (* (pow im 3) 1/3) (* (pow im 3) 1/3)) (* (pow im 3) 1/3)) (sqrt (* (pow im 3) 1/3)) (sqrt (* (pow im 3) 1/3)) (* (pow (sqrt im) 3) (sqrt 1/3)) (* (pow (sqrt im) 3) (sqrt 1/3)) (* (pow (sqrt im) 3) (sqrt 1/3)) (* (pow (sqrt im) 3) (sqrt 1/3)) (* (sqrt (pow im 3)) (sqrt 1/3)) (* (sqrt (pow im 3)) (sqrt 1/3)) (* (pow im (/ 3 2)) (sqrt 1/3)) (* (pow im (/ 3 2)) (sqrt 1/3)) (* (pow im 3) (* (cbrt 1/3) (cbrt 1/3))) (* (pow im 3) (sqrt 1/3)) (* (pow im 3) 1) (* (pow (cbrt im) 3) 1/3) (* (pow (sqrt im) 3) 1/3) (* (pow im 3) 1/3) (* im 1/3) (* (cbrt (pow im 3)) 1/3) (* (pow (cbrt im) 3) 1/3) (* (pow (sqrt im) 3) 1/3) (* (pow im 3) 1/3) (* (* im im) 1/3) (* (sqrt (pow im 3)) 1/3) (* (pow im 3) 1/3) (* (pow im (/ 3 2)) 1/3) (- (* 0.16666666666666666 (* (pow re 3) im)) (+ (* 0.16666666666666666 (* re (pow im 3))) (* 1.0 (* re im)))) (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) 0.962 * * [simplify]: iteration 0 : 4977 enodes (cost 2170 ) 0.963 * * [simplify]: iteration 1 : 4977 enodes (cost 2170 ) 0.970 * [simplify]: Simplified to: (log (* (/ 0.5 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (log (* (/ 0.5 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (log (* (/ 0.5 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (log (* (/ 0.5 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (pow (exp (/ 0.5 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (pow (* (/ 0.5 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) 3) (pow (* (/ 0.5 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) 3) (pow (* (/ 0.5 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) 3) (* (cbrt (* (/ 0.5 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (cbrt (* (/ 0.5 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))))) (cbrt (* (/ 0.5 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (pow (* (/ 0.5 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) 3) (sqrt (* (/ 0.5 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (sqrt (* (/ 0.5 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (* 0.5 (* (sin re) (+ (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))) (* (* im im) -4)))) (+ (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (* im 2)) (/ 0.5 (* (cbrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (cbrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))))) (* (/ (sin re) (cbrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (/ 0.5 (sqrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (* (/ (sin re) (sqrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) 0.5 (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (/ 1 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (/ (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))) (* 0.5 (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (* (/ 0.5 (* (cbrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (cbrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (/ 0.5 (sqrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* 0.5 (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (/ (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (/ 0.5 (- (* (pow im 3) -8) (pow (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) 3))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (/ 0.5 (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))) (+ (* (pow im 4) 16) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (- (pow (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) 3) (* (* im (* im 4)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (* (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60))))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (pow (exp -1/3) (pow im 3)) (* -1/27 (pow (pow im 3) 3)) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* -1/27 (pow (pow im 3) 3)) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im 3/2)) (* (sqrt -1/3) (pow im 3/2)) (* im (* im -1/3)) (* im (* (sqrt im) -1/3)) -1/3 (* im (* im -1/3)) (* im (* im -1/3)) (* im (* im -1/3)) (* im (* (sqrt im) -1/3)) -1/3 (* im -1/3) (* -1/3 (sqrt (pow im 3))) -1/3 (* -1/3 (pow im 3/2)) (* (pow im 3) (cbrt -1/3)) (* (pow im 3) (sqrt -1/3)) (* -1/3 (pow im 3)) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (pow (exp -1/3) (pow im 3)) (* -1/27 (pow (pow im 3) 3)) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* -1/27 (pow (pow im 3) 3)) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im 3/2)) (* (sqrt -1/3) (pow im 3/2)) (* (pow im 3) (* (cbrt -1/3) (cbrt -1/3))) (* (pow im 3) (sqrt -1/3)) (pow im 3) (* im -1/3) (* im (* (sqrt im) -1/3)) (* -1/3 (pow im 3)) (* im -1/3) (* im -1/3) (* im -1/3) (* im (* (sqrt im) -1/3)) (* -1/3 (pow im 3)) (* im (* im -1/3)) (* -1/3 (sqrt (pow im 3))) (* -1/3 (pow im 3)) (* -1/3 (pow im 3/2)) (log (* (pow im 3) 1/3)) (log (* (pow im 3) 1/3)) (log (* (pow im 3) 1/3)) (log (* (pow im 3) 1/3)) (cbrt (exp (pow im 3))) (* (pow (pow im 3) 3) 1/27) (* (cbrt (* (pow im 3) 1/3)) (cbrt (* (pow im 3) 1/3))) (cbrt (* (pow im 3) 1/3)) (* (pow (pow im 3) 3) 1/27) (sqrt (* (pow im 3) 1/3)) (sqrt (* (pow im 3) 1/3)) (* im (* (sqrt im) (sqrt 1/3))) (* im (* (sqrt im) (sqrt 1/3))) (* im (* (sqrt im) (sqrt 1/3))) (* im (* (sqrt im) (sqrt 1/3))) (* (sqrt (pow im 3)) (sqrt 1/3)) (* (sqrt (pow im 3)) (sqrt 1/3)) (* (pow im 3/2) (sqrt 1/3)) (* (pow im 3/2) (sqrt 1/3)) (* (pow im 3) (* (cbrt 1/3) (cbrt 1/3))) (* (pow im 3) (sqrt 1/3)) (pow im 3) (* im 1/3) (* im (* (sqrt im) 1/3)) (* (pow im 3) 1/3) (* im 1/3) (* im 1/3) (* im 1/3) (* im (* (sqrt im) 1/3)) (* (pow im 3) 1/3) (* im (* im 1/3)) (* 1/3 (sqrt (pow im 3))) (* (pow im 3) 1/3) (* 1/3 (pow im 3/2)) (- (* im (* 0.16666666666666666 (pow re 3))) (* re (+ (* (pow im 3) 0.16666666666666666) (* im 1.0)))) (- (* (sin re) (neg (* (pow im 3) 0.16666666666666666))) (* (sin re) (+ (* im 1.0) (* (pow im 5) 0.008333333333333333)))) (- (* (sin re) (neg (* (pow im 3) 0.16666666666666666))) (* (sin re) (+ (* im 1.0) (* (pow im 5) 0.008333333333333333)))) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* (pow im 3) 1/3) (* (pow im 3) 1/3) (* (pow im 3) 1/3) 0.971 * * * [progress]: adding candidates to table 1.384 * * [progress]: iteration 4 / 4 1.384 * * * [progress]: picking best candidate 1.418 * * * * [pick]: Picked # 1.418 * * * [progress]: localizing error 1.446 * * * [progress]: generating rewritten candidates 1.446 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.464 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1) 1.471 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 1) 1.477 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 1.486 * * * [progress]: generating series expansions 1.487 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.487 * [approximate]: Taking taylor expansion of (/ (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in (re im) around 0 1.487 * [taylor]: Taking taylor expansion of (/ (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in im 1.488 * [taylor]: Taking taylor expansion of (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) in im 1.488 * [taylor]: Taking taylor expansion of (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) in im 1.488 * [taylor]: Taking taylor expansion of (* 4 (pow im 2)) in im 1.488 * [taylor]: Taking taylor expansion of 4 in im 1.488 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.488 * [taylor]: Taking taylor expansion of im in im 1.488 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8)))) in im 1.488 * [taylor]: Taking taylor expansion of (* 1/3600 (pow im 10)) in im 1.488 * [taylor]: Taking taylor expansion of 1/3600 in im 1.488 * [taylor]: Taking taylor expansion of (pow im 10) in im 1.488 * [taylor]: Taking taylor expansion of im in im 1.488 * [taylor]: Taking taylor expansion of (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))) in im 1.488 * [taylor]: Taking taylor expansion of (* 1/9 (pow im 6)) in im 1.488 * [taylor]: Taking taylor expansion of 1/9 in im 1.488 * [taylor]: Taking taylor expansion of (pow im 6) in im 1.488 * [taylor]: Taking taylor expansion of im in im 1.488 * [taylor]: Taking taylor expansion of (* 1/90 (pow im 8)) in im 1.488 * [taylor]: Taking taylor expansion of 1/90 in im 1.488 * [taylor]: Taking taylor expansion of (pow im 8) in im 1.488 * [taylor]: Taking taylor expansion of im in im 1.488 * [taylor]: Taking taylor expansion of (sin re) in im 1.488 * [taylor]: Taking taylor expansion of re in im 1.488 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in im 1.488 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 1.488 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.488 * [taylor]: Taking taylor expansion of 1/3 in im 1.488 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.488 * [taylor]: Taking taylor expansion of im in im 1.488 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.488 * [taylor]: Taking taylor expansion of 1/60 in im 1.488 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.488 * [taylor]: Taking taylor expansion of im in im 1.488 * [taylor]: Taking taylor expansion of (* 2 im) in im 1.488 * [taylor]: Taking taylor expansion of 2 in im 1.488 * [taylor]: Taking taylor expansion of im in im 1.488 * [taylor]: Taking taylor expansion of (/ (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in re 1.488 * [taylor]: Taking taylor expansion of (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) in re 1.488 * [taylor]: Taking taylor expansion of (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) in re 1.488 * [taylor]: Taking taylor expansion of (* 4 (pow im 2)) in re 1.488 * [taylor]: Taking taylor expansion of 4 in re 1.488 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.488 * [taylor]: Taking taylor expansion of im in re 1.489 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8)))) in re 1.489 * [taylor]: Taking taylor expansion of (* 1/3600 (pow im 10)) in re 1.489 * [taylor]: Taking taylor expansion of 1/3600 in re 1.489 * [taylor]: Taking taylor expansion of (pow im 10) in re 1.489 * [taylor]: Taking taylor expansion of im in re 1.489 * [taylor]: Taking taylor expansion of (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))) in re 1.489 * [taylor]: Taking taylor expansion of (* 1/9 (pow im 6)) in re 1.489 * [taylor]: Taking taylor expansion of 1/9 in re 1.489 * [taylor]: Taking taylor expansion of (pow im 6) in re 1.489 * [taylor]: Taking taylor expansion of im in re 1.489 * [taylor]: Taking taylor expansion of (* 1/90 (pow im 8)) in re 1.489 * [taylor]: Taking taylor expansion of 1/90 in re 1.489 * [taylor]: Taking taylor expansion of (pow im 8) in re 1.489 * [taylor]: Taking taylor expansion of im in re 1.489 * [taylor]: Taking taylor expansion of (sin re) in re 1.489 * [taylor]: Taking taylor expansion of re in re 1.489 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in re 1.489 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in re 1.489 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 1.489 * [taylor]: Taking taylor expansion of 1/3 in re 1.489 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.489 * [taylor]: Taking taylor expansion of im in re 1.489 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 1.489 * [taylor]: Taking taylor expansion of 1/60 in re 1.489 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.489 * [taylor]: Taking taylor expansion of im in re 1.489 * [taylor]: Taking taylor expansion of (* 2 im) in re 1.489 * [taylor]: Taking taylor expansion of 2 in re 1.489 * [taylor]: Taking taylor expansion of im in re 1.494 * [taylor]: Taking taylor expansion of (/ (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in re 1.494 * [taylor]: Taking taylor expansion of (* (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (sin re)) in re 1.494 * [taylor]: Taking taylor expansion of (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) in re 1.494 * [taylor]: Taking taylor expansion of (* 4 (pow im 2)) in re 1.494 * [taylor]: Taking taylor expansion of 4 in re 1.494 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.494 * [taylor]: Taking taylor expansion of im in re 1.494 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8)))) in re 1.494 * [taylor]: Taking taylor expansion of (* 1/3600 (pow im 10)) in re 1.494 * [taylor]: Taking taylor expansion of 1/3600 in re 1.494 * [taylor]: Taking taylor expansion of (pow im 10) in re 1.494 * [taylor]: Taking taylor expansion of im in re 1.494 * [taylor]: Taking taylor expansion of (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))) in re 1.494 * [taylor]: Taking taylor expansion of (* 1/9 (pow im 6)) in re 1.494 * [taylor]: Taking taylor expansion of 1/9 in re 1.494 * [taylor]: Taking taylor expansion of (pow im 6) in re 1.494 * [taylor]: Taking taylor expansion of im in re 1.494 * [taylor]: Taking taylor expansion of (* 1/90 (pow im 8)) in re 1.494 * [taylor]: Taking taylor expansion of 1/90 in re 1.494 * [taylor]: Taking taylor expansion of (pow im 8) in re 1.494 * [taylor]: Taking taylor expansion of im in re 1.494 * [taylor]: Taking taylor expansion of (sin re) in re 1.494 * [taylor]: Taking taylor expansion of re in re 1.494 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in re 1.494 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in re 1.494 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 1.494 * [taylor]: Taking taylor expansion of 1/3 in re 1.494 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.494 * [taylor]: Taking taylor expansion of im in re 1.494 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 1.494 * [taylor]: Taking taylor expansion of 1/60 in re 1.494 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.494 * [taylor]: Taking taylor expansion of im in re 1.494 * [taylor]: Taking taylor expansion of (* 2 im) in re 1.494 * [taylor]: Taking taylor expansion of 2 in re 1.494 * [taylor]: Taking taylor expansion of im in re 1.499 * [taylor]: Taking taylor expansion of (/ (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in im 1.499 * [taylor]: Taking taylor expansion of (- (* 4 (pow im 2)) (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))))) in im 1.499 * [taylor]: Taking taylor expansion of (* 4 (pow im 2)) in im 1.499 * [taylor]: Taking taylor expansion of 4 in im 1.500 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.500 * [taylor]: Taking taylor expansion of im in im 1.500 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (pow im 10)) (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8)))) in im 1.500 * [taylor]: Taking taylor expansion of (* 1/3600 (pow im 10)) in im 1.500 * [taylor]: Taking taylor expansion of 1/3600 in im 1.500 * [taylor]: Taking taylor expansion of (pow im 10) in im 1.500 * [taylor]: Taking taylor expansion of im in im 1.500 * [taylor]: Taking taylor expansion of (+ (* 1/9 (pow im 6)) (* 1/90 (pow im 8))) in im 1.500 * [taylor]: Taking taylor expansion of (* 1/9 (pow im 6)) in im 1.500 * [taylor]: Taking taylor expansion of 1/9 in im 1.500 * [taylor]: Taking taylor expansion of (pow im 6) in im 1.500 * [taylor]: Taking taylor expansion of im in im 1.500 * [taylor]: Taking taylor expansion of (* 1/90 (pow im 8)) in im 1.500 * [taylor]: Taking taylor expansion of 1/90 in im 1.500 * [taylor]: Taking taylor expansion of (pow im 8) in im 1.500 * [taylor]: Taking taylor expansion of im in im 1.500 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in im 1.500 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 1.500 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.500 * [taylor]: Taking taylor expansion of 1/3 in im 1.500 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.500 * [taylor]: Taking taylor expansion of im in im 1.500 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.500 * [taylor]: Taking taylor expansion of 1/60 in im 1.500 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.500 * [taylor]: Taking taylor expansion of im in im 1.500 * [taylor]: Taking taylor expansion of (* 2 im) in im 1.500 * [taylor]: Taking taylor expansion of 2 in im 1.500 * [taylor]: Taking taylor expansion of im in im 1.503 * [taylor]: Taking taylor expansion of 0 in im 1.512 * [taylor]: Taking taylor expansion of (- (+ (* 1/54 (/ (pow im 6) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (+ (* 1/540 (/ (pow im 8) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* 1/21600 (/ (pow im 10) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))))) (* 2/3 (/ (pow im 2) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))))) in im 1.512 * [taylor]: Taking taylor expansion of (+ (* 1/54 (/ (pow im 6) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (+ (* 1/540 (/ (pow im 8) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* 1/21600 (/ (pow im 10) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))))) in im 1.512 * [taylor]: Taking taylor expansion of (* 1/54 (/ (pow im 6) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) in im 1.512 * [taylor]: Taking taylor expansion of 1/54 in im 1.512 * [taylor]: Taking taylor expansion of (/ (pow im 6) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in im 1.512 * [taylor]: Taking taylor expansion of (pow im 6) in im 1.512 * [taylor]: Taking taylor expansion of im in im 1.512 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in im 1.512 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 1.512 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.512 * [taylor]: Taking taylor expansion of 1/3 in im 1.512 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.512 * [taylor]: Taking taylor expansion of im in im 1.512 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.512 * [taylor]: Taking taylor expansion of 1/60 in im 1.512 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.512 * [taylor]: Taking taylor expansion of im in im 1.512 * [taylor]: Taking taylor expansion of (* 2 im) in im 1.512 * [taylor]: Taking taylor expansion of 2 in im 1.512 * [taylor]: Taking taylor expansion of im in im 1.512 * [taylor]: Taking taylor expansion of (+ (* 1/540 (/ (pow im 8) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) (* 1/21600 (/ (pow im 10) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))))) in im 1.512 * [taylor]: Taking taylor expansion of (* 1/540 (/ (pow im 8) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) in im 1.512 * [taylor]: Taking taylor expansion of 1/540 in im 1.512 * [taylor]: Taking taylor expansion of (/ (pow im 8) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in im 1.512 * [taylor]: Taking taylor expansion of (pow im 8) in im 1.512 * [taylor]: Taking taylor expansion of im in im 1.512 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in im 1.512 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 1.512 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.512 * [taylor]: Taking taylor expansion of 1/3 in im 1.512 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.513 * [taylor]: Taking taylor expansion of im in im 1.513 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.513 * [taylor]: Taking taylor expansion of 1/60 in im 1.513 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.513 * [taylor]: Taking taylor expansion of im in im 1.513 * [taylor]: Taking taylor expansion of (* 2 im) in im 1.513 * [taylor]: Taking taylor expansion of 2 in im 1.513 * [taylor]: Taking taylor expansion of im in im 1.513 * [taylor]: Taking taylor expansion of (* 1/21600 (/ (pow im 10) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) in im 1.513 * [taylor]: Taking taylor expansion of 1/21600 in im 1.513 * [taylor]: Taking taylor expansion of (/ (pow im 10) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in im 1.513 * [taylor]: Taking taylor expansion of (pow im 10) in im 1.513 * [taylor]: Taking taylor expansion of im in im 1.513 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in im 1.513 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 1.513 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.513 * [taylor]: Taking taylor expansion of 1/3 in im 1.513 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.513 * [taylor]: Taking taylor expansion of im in im 1.513 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.513 * [taylor]: Taking taylor expansion of 1/60 in im 1.513 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.513 * [taylor]: Taking taylor expansion of im in im 1.513 * [taylor]: Taking taylor expansion of (* 2 im) in im 1.513 * [taylor]: Taking taylor expansion of 2 in im 1.513 * [taylor]: Taking taylor expansion of im in im 1.513 * [taylor]: Taking taylor expansion of (* 2/3 (/ (pow im 2) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)))) in im 1.513 * [taylor]: Taking taylor expansion of 2/3 in im 1.513 * [taylor]: Taking taylor expansion of (/ (pow im 2) (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im))) in im 1.513 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.513 * [taylor]: Taking taylor expansion of im in im 1.513 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (* 2 im)) in im 1.513 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 1.513 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.513 * [taylor]: Taking taylor expansion of 1/3 in im 1.513 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.513 * [taylor]: Taking taylor expansion of im in im 1.513 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 1.513 * [taylor]: Taking taylor expansion of 1/60 in im 1.513 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.513 * [taylor]: Taking taylor expansion of im in im 1.513 * [taylor]: Taking taylor expansion of (* 2 im) in im 1.513 * [taylor]: Taking taylor expansion of 2 in im 1.513 * [taylor]: Taking taylor expansion of im in im 1.515 * [approximate]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im)))) in (re im) around 0 1.515 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im)))) in im 1.515 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) in im 1.515 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.515 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.515 * [taylor]: Taking taylor expansion of re in im 1.515 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) in im 1.515 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in im 1.515 * [taylor]: Taking taylor expansion of 4 in im 1.515 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.515 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.515 * [taylor]: Taking taylor expansion of im in im 1.515 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))) in im 1.515 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in im 1.515 * [taylor]: Taking taylor expansion of 1/3600 in im 1.515 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in im 1.515 * [taylor]: Taking taylor expansion of (pow im 10) in im 1.516 * [taylor]: Taking taylor expansion of im in im 1.516 * [taylor]: Taking taylor expansion of (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))) in im 1.516 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in im 1.516 * [taylor]: Taking taylor expansion of 1/90 in im 1.516 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in im 1.516 * [taylor]: Taking taylor expansion of (pow im 8) in im 1.516 * [taylor]: Taking taylor expansion of im in im 1.516 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in im 1.516 * [taylor]: Taking taylor expansion of 1/9 in im 1.516 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in im 1.516 * [taylor]: Taking taylor expansion of (pow im 6) in im 1.516 * [taylor]: Taking taylor expansion of im in im 1.516 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im))) in im 1.516 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.516 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.516 * [taylor]: Taking taylor expansion of 1/3 in im 1.516 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.516 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.516 * [taylor]: Taking taylor expansion of im in im 1.516 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.516 * [taylor]: Taking taylor expansion of 1/60 in im 1.516 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.516 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.516 * [taylor]: Taking taylor expansion of im in im 1.516 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.516 * [taylor]: Taking taylor expansion of 2 in im 1.516 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.516 * [taylor]: Taking taylor expansion of im in im 1.516 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im)))) in re 1.516 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) in re 1.516 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.516 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.516 * [taylor]: Taking taylor expansion of re in re 1.517 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) in re 1.517 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in re 1.517 * [taylor]: Taking taylor expansion of 4 in re 1.517 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.517 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.517 * [taylor]: Taking taylor expansion of im in re 1.517 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))) in re 1.517 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in re 1.517 * [taylor]: Taking taylor expansion of 1/3600 in re 1.517 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in re 1.517 * [taylor]: Taking taylor expansion of (pow im 10) in re 1.517 * [taylor]: Taking taylor expansion of im in re 1.517 * [taylor]: Taking taylor expansion of (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))) in re 1.517 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in re 1.517 * [taylor]: Taking taylor expansion of 1/90 in re 1.517 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in re 1.517 * [taylor]: Taking taylor expansion of (pow im 8) in re 1.517 * [taylor]: Taking taylor expansion of im in re 1.517 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in re 1.517 * [taylor]: Taking taylor expansion of 1/9 in re 1.517 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in re 1.517 * [taylor]: Taking taylor expansion of (pow im 6) in re 1.517 * [taylor]: Taking taylor expansion of im in re 1.518 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im))) in re 1.518 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 1.518 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 1.518 * [taylor]: Taking taylor expansion of 1/3 in re 1.518 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 1.518 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.518 * [taylor]: Taking taylor expansion of im in re 1.518 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 1.518 * [taylor]: Taking taylor expansion of 1/60 in re 1.518 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 1.518 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.518 * [taylor]: Taking taylor expansion of im in re 1.518 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 1.518 * [taylor]: Taking taylor expansion of 2 in re 1.518 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.518 * [taylor]: Taking taylor expansion of im in re 1.521 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im)))) in re 1.521 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) in re 1.521 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.521 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.521 * [taylor]: Taking taylor expansion of re in re 1.521 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) in re 1.521 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in re 1.521 * [taylor]: Taking taylor expansion of 4 in re 1.521 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.521 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.521 * [taylor]: Taking taylor expansion of im in re 1.521 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))) in re 1.521 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in re 1.521 * [taylor]: Taking taylor expansion of 1/3600 in re 1.521 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in re 1.521 * [taylor]: Taking taylor expansion of (pow im 10) in re 1.521 * [taylor]: Taking taylor expansion of im in re 1.522 * [taylor]: Taking taylor expansion of (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))) in re 1.522 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in re 1.522 * [taylor]: Taking taylor expansion of 1/90 in re 1.522 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in re 1.522 * [taylor]: Taking taylor expansion of (pow im 8) in re 1.522 * [taylor]: Taking taylor expansion of im in re 1.522 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in re 1.522 * [taylor]: Taking taylor expansion of 1/9 in re 1.522 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in re 1.522 * [taylor]: Taking taylor expansion of (pow im 6) in re 1.522 * [taylor]: Taking taylor expansion of im in re 1.522 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im))) in re 1.522 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 1.522 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 1.522 * [taylor]: Taking taylor expansion of 1/3 in re 1.522 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 1.522 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.522 * [taylor]: Taking taylor expansion of im in re 1.522 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 1.523 * [taylor]: Taking taylor expansion of 1/60 in re 1.523 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 1.523 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.523 * [taylor]: Taking taylor expansion of im in re 1.523 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 1.523 * [taylor]: Taking taylor expansion of 2 in re 1.523 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.523 * [taylor]: Taking taylor expansion of im in re 1.526 * [taylor]: Taking taylor expansion of (/ (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im)))) in im 1.526 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))))) in im 1.526 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.526 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.526 * [taylor]: Taking taylor expansion of re in im 1.526 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) in im 1.526 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in im 1.526 * [taylor]: Taking taylor expansion of 4 in im 1.526 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.526 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.526 * [taylor]: Taking taylor expansion of im in im 1.526 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))) in im 1.526 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in im 1.526 * [taylor]: Taking taylor expansion of 1/3600 in im 1.526 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in im 1.526 * [taylor]: Taking taylor expansion of (pow im 10) in im 1.526 * [taylor]: Taking taylor expansion of im in im 1.526 * [taylor]: Taking taylor expansion of (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))) in im 1.526 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in im 1.526 * [taylor]: Taking taylor expansion of 1/90 in im 1.526 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in im 1.526 * [taylor]: Taking taylor expansion of (pow im 8) in im 1.526 * [taylor]: Taking taylor expansion of im in im 1.526 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in im 1.526 * [taylor]: Taking taylor expansion of 1/9 in im 1.526 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in im 1.526 * [taylor]: Taking taylor expansion of (pow im 6) in im 1.526 * [taylor]: Taking taylor expansion of im in im 1.526 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (* 2 (/ 1 im))) in im 1.526 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.526 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.526 * [taylor]: Taking taylor expansion of 1/3 in im 1.526 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.526 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.526 * [taylor]: Taking taylor expansion of im in im 1.526 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.527 * [taylor]: Taking taylor expansion of 1/60 in im 1.527 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.527 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.527 * [taylor]: Taking taylor expansion of im in im 1.527 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.527 * [taylor]: Taking taylor expansion of 2 in im 1.527 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.527 * [taylor]: Taking taylor expansion of im in im 1.530 * [taylor]: Taking taylor expansion of 0 in im 1.535 * [taylor]: Taking taylor expansion of 0 in im 1.541 * [taylor]: Taking taylor expansion of 0 in im 1.548 * [taylor]: Taking taylor expansion of 0 in im 1.551 * [approximate]: Taking taylor expansion of (/ (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in (re im) around 0 1.552 * [taylor]: Taking taylor expansion of (/ (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 1.552 * [taylor]: Taking taylor expansion of (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) in im 1.552 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) in im 1.552 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in im 1.552 * [taylor]: Taking taylor expansion of 4 in im 1.552 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.552 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.552 * [taylor]: Taking taylor expansion of im in im 1.552 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))) in im 1.552 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in im 1.552 * [taylor]: Taking taylor expansion of 1/3600 in im 1.552 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in im 1.552 * [taylor]: Taking taylor expansion of (pow im 10) in im 1.552 * [taylor]: Taking taylor expansion of im in im 1.552 * [taylor]: Taking taylor expansion of (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))) in im 1.552 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in im 1.552 * [taylor]: Taking taylor expansion of 1/90 in im 1.552 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in im 1.552 * [taylor]: Taking taylor expansion of (pow im 8) in im 1.552 * [taylor]: Taking taylor expansion of im in im 1.552 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in im 1.552 * [taylor]: Taking taylor expansion of 1/9 in im 1.552 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in im 1.552 * [taylor]: Taking taylor expansion of (pow im 6) in im 1.552 * [taylor]: Taking taylor expansion of im in im 1.552 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.552 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.552 * [taylor]: Taking taylor expansion of -1 in im 1.552 * [taylor]: Taking taylor expansion of re in im 1.552 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 1.552 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.552 * [taylor]: Taking taylor expansion of 2 in im 1.552 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.552 * [taylor]: Taking taylor expansion of im in im 1.552 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.552 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.552 * [taylor]: Taking taylor expansion of 1/3 in im 1.552 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.552 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.552 * [taylor]: Taking taylor expansion of im in im 1.553 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.553 * [taylor]: Taking taylor expansion of 1/60 in im 1.553 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.553 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.553 * [taylor]: Taking taylor expansion of im in im 1.553 * [taylor]: Taking taylor expansion of (/ (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 1.553 * [taylor]: Taking taylor expansion of (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) in re 1.553 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) in re 1.553 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in re 1.553 * [taylor]: Taking taylor expansion of 4 in re 1.553 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.553 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.553 * [taylor]: Taking taylor expansion of im in re 1.553 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))) in re 1.553 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in re 1.553 * [taylor]: Taking taylor expansion of 1/3600 in re 1.553 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in re 1.553 * [taylor]: Taking taylor expansion of (pow im 10) in re 1.553 * [taylor]: Taking taylor expansion of im in re 1.554 * [taylor]: Taking taylor expansion of (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))) in re 1.554 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in re 1.554 * [taylor]: Taking taylor expansion of 1/90 in re 1.554 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in re 1.554 * [taylor]: Taking taylor expansion of (pow im 8) in re 1.554 * [taylor]: Taking taylor expansion of im in re 1.554 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in re 1.554 * [taylor]: Taking taylor expansion of 1/9 in re 1.554 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in re 1.554 * [taylor]: Taking taylor expansion of (pow im 6) in re 1.554 * [taylor]: Taking taylor expansion of im in re 1.554 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.554 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.554 * [taylor]: Taking taylor expansion of -1 in re 1.554 * [taylor]: Taking taylor expansion of re in re 1.554 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 1.554 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 1.554 * [taylor]: Taking taylor expansion of 2 in re 1.554 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.554 * [taylor]: Taking taylor expansion of im in re 1.554 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 1.554 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 1.554 * [taylor]: Taking taylor expansion of 1/3 in re 1.554 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 1.554 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.554 * [taylor]: Taking taylor expansion of im in re 1.555 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 1.555 * [taylor]: Taking taylor expansion of 1/60 in re 1.555 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 1.555 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.555 * [taylor]: Taking taylor expansion of im in re 1.558 * [taylor]: Taking taylor expansion of (/ (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 1.558 * [taylor]: Taking taylor expansion of (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) in re 1.558 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) in re 1.558 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in re 1.558 * [taylor]: Taking taylor expansion of 4 in re 1.558 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.558 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.558 * [taylor]: Taking taylor expansion of im in re 1.558 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))) in re 1.558 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in re 1.558 * [taylor]: Taking taylor expansion of 1/3600 in re 1.558 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in re 1.558 * [taylor]: Taking taylor expansion of (pow im 10) in re 1.558 * [taylor]: Taking taylor expansion of im in re 1.558 * [taylor]: Taking taylor expansion of (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))) in re 1.558 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in re 1.558 * [taylor]: Taking taylor expansion of 1/90 in re 1.558 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in re 1.558 * [taylor]: Taking taylor expansion of (pow im 8) in re 1.558 * [taylor]: Taking taylor expansion of im in re 1.558 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in re 1.559 * [taylor]: Taking taylor expansion of 1/9 in re 1.559 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in re 1.559 * [taylor]: Taking taylor expansion of (pow im 6) in re 1.559 * [taylor]: Taking taylor expansion of im in re 1.559 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.559 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.559 * [taylor]: Taking taylor expansion of -1 in re 1.559 * [taylor]: Taking taylor expansion of re in re 1.559 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 1.559 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 1.559 * [taylor]: Taking taylor expansion of 2 in re 1.559 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.559 * [taylor]: Taking taylor expansion of im in re 1.559 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 1.559 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 1.559 * [taylor]: Taking taylor expansion of 1/3 in re 1.559 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 1.559 * [taylor]: Taking taylor expansion of (pow im 3) in re 1.559 * [taylor]: Taking taylor expansion of im in re 1.559 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 1.559 * [taylor]: Taking taylor expansion of 1/60 in re 1.559 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 1.559 * [taylor]: Taking taylor expansion of (pow im 5) in re 1.559 * [taylor]: Taking taylor expansion of im in re 1.562 * [taylor]: Taking taylor expansion of (/ (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 1.562 * [taylor]: Taking taylor expansion of (* (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) (sin (/ -1 re))) in im 1.562 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow im 2))) (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))))) in im 1.562 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow im 2))) in im 1.562 * [taylor]: Taking taylor expansion of 4 in im 1.562 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.562 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.562 * [taylor]: Taking taylor expansion of im in im 1.563 * [taylor]: Taking taylor expansion of (+ (* 1/3600 (/ 1 (pow im 10))) (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6))))) in im 1.563 * [taylor]: Taking taylor expansion of (* 1/3600 (/ 1 (pow im 10))) in im 1.563 * [taylor]: Taking taylor expansion of 1/3600 in im 1.563 * [taylor]: Taking taylor expansion of (/ 1 (pow im 10)) in im 1.563 * [taylor]: Taking taylor expansion of (pow im 10) in im 1.563 * [taylor]: Taking taylor expansion of im in im 1.563 * [taylor]: Taking taylor expansion of (+ (* 1/90 (/ 1 (pow im 8))) (* 1/9 (/ 1 (pow im 6)))) in im 1.563 * [taylor]: Taking taylor expansion of (* 1/90 (/ 1 (pow im 8))) in im 1.563 * [taylor]: Taking taylor expansion of 1/90 in im 1.563 * [taylor]: Taking taylor expansion of (/ 1 (pow im 8)) in im 1.563 * [taylor]: Taking taylor expansion of (pow im 8) in im 1.563 * [taylor]: Taking taylor expansion of im in im 1.563 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow im 6))) in im 1.563 * [taylor]: Taking taylor expansion of 1/9 in im 1.563 * [taylor]: Taking taylor expansion of (/ 1 (pow im 6)) in im 1.563 * [taylor]: Taking taylor expansion of (pow im 6) in im 1.563 * [taylor]: Taking taylor expansion of im in im 1.563 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.563 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.563 * [taylor]: Taking taylor expansion of -1 in im 1.563 * [taylor]: Taking taylor expansion of re in im 1.563 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 im)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 1.563 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 1.563 * [taylor]: Taking taylor expansion of 2 in im 1.563 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.563 * [taylor]: Taking taylor expansion of im in im 1.563 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 1.563 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 1.563 * [taylor]: Taking taylor expansion of 1/3 in im 1.563 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.563 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.563 * [taylor]: Taking taylor expansion of im in im 1.563 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 1.563 * [taylor]: Taking taylor expansion of 1/60 in im 1.563 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 1.563 * [taylor]: Taking taylor expansion of (pow im 5) in im 1.563 * [taylor]: Taking taylor expansion of im in im 1.567 * [taylor]: Taking taylor expansion of 0 in im 1.572 * [taylor]: Taking taylor expansion of 0 in im 1.578 * [taylor]: Taking taylor expansion of 0 in im 1.585 * [taylor]: Taking taylor expansion of 0 in im 1.587 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 1) 1.587 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 1.587 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 1.587 * [taylor]: Taking taylor expansion of -1/3 in im 1.587 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.587 * [taylor]: Taking taylor expansion of im in im 1.588 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 1.588 * [taylor]: Taking taylor expansion of -1/3 in im 1.588 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.588 * [taylor]: Taking taylor expansion of im in im 1.589 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 1.589 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 1.589 * [taylor]: Taking taylor expansion of -1/3 in im 1.589 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.589 * [taylor]: Taking taylor expansion of im in im 1.589 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 1.589 * [taylor]: Taking taylor expansion of -1/3 in im 1.589 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.589 * [taylor]: Taking taylor expansion of im in im 1.590 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 1.590 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 1.590 * [taylor]: Taking taylor expansion of 1/3 in im 1.590 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.590 * [taylor]: Taking taylor expansion of im in im 1.590 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 1.590 * [taylor]: Taking taylor expansion of 1/3 in im 1.590 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.590 * [taylor]: Taking taylor expansion of im in im 1.591 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2 1) 1.591 * [approximate]: Taking taylor expansion of (* 1/3 (pow im 3)) in (im) around 0 1.591 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.591 * [taylor]: Taking taylor expansion of 1/3 in im 1.591 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.592 * [taylor]: Taking taylor expansion of im in im 1.592 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.592 * [taylor]: Taking taylor expansion of 1/3 in im 1.592 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.592 * [taylor]: Taking taylor expansion of im in im 1.593 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 1.593 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 1.593 * [taylor]: Taking taylor expansion of 1/3 in im 1.593 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.593 * [taylor]: Taking taylor expansion of im in im 1.593 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 1.593 * [taylor]: Taking taylor expansion of 1/3 in im 1.593 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.593 * [taylor]: Taking taylor expansion of im in im 1.596 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 1.596 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 1.596 * [taylor]: Taking taylor expansion of -1/3 in im 1.596 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.596 * [taylor]: Taking taylor expansion of im in im 1.596 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 1.596 * [taylor]: Taking taylor expansion of -1/3 in im 1.596 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.596 * [taylor]: Taking taylor expansion of im in im 1.597 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 1.597 * [approximate]: Taking taylor expansion of (* 1/3 (pow im 3)) in (im) around 0 1.597 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.597 * [taylor]: Taking taylor expansion of 1/3 in im 1.597 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.597 * [taylor]: Taking taylor expansion of im in im 1.597 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 1.597 * [taylor]: Taking taylor expansion of 1/3 in im 1.597 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.597 * [taylor]: Taking taylor expansion of im in im 1.598 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 1.599 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 1.599 * [taylor]: Taking taylor expansion of 1/3 in im 1.599 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.599 * [taylor]: Taking taylor expansion of im in im 1.599 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 1.599 * [taylor]: Taking taylor expansion of 1/3 in im 1.599 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.599 * [taylor]: Taking taylor expansion of im in im 1.600 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 1.600 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 1.600 * [taylor]: Taking taylor expansion of -1/3 in im 1.600 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.600 * [taylor]: Taking taylor expansion of im in im 1.600 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 1.600 * [taylor]: Taking taylor expansion of -1/3 in im 1.600 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.600 * [taylor]: Taking taylor expansion of im in im 1.601 * * * [progress]: simplifying candidates 1.603 * [simplify]: Simplifying using # : (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (+ (- (log (sin re)) (log (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (log (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (+ (log (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (log (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (log (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (exp (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (/ (* (* (sin re) (sin re)) (sin re)) (* (* (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (* (* (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (* (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (* (* (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (cbrt (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (cbrt (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (cbrt (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (* (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (sqrt (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (sqrt (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (sin re) (+ (pow (* im (* im 4)) 3) (pow (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))) 3))) (* (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))) (+ (* (* im (* im 4)) (* im (* im 4))) (- (* (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (* (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (* (sin re) (- (* (* im (* im 4)) (* im (* im 4))) (* (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))) (- (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (sqrt (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (sqrt (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (sqrt (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (sqrt (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (/ (sqrt (sin re)) (sqrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (sqrt (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (/ (sqrt (sin re)) (sqrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (sqrt (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* im (* im 4))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (* (* im (* im 4)) (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (* (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))) (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (cbrt (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (cbrt (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (sqrt (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) 1) (* (cbrt (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (sqrt (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (/ (cbrt (sin re)) (cbrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (/ (cbrt (sin re)) (sqrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (/ (cbrt (sin re)) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (/ (sqrt (sin re)) (cbrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (/ (sqrt (sin re)) (sqrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (/ (sqrt (sin re)) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (/ (sin re) (cbrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (/ (sin re) (sqrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (/ 1 (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (+ (* (* (pow im 3) 1/3) (* (pow im 3) 1/3)) (- (* (+ (* (pow im 5) 1/60) (* im -2)) (+ (* (pow im 5) 1/60) (* im -2))) (* (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (- (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (pow (* im (* im 4)) 3) (pow (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))) 3))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (- (* (* im (* im 4)) (* im (* im 4))) (* (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (sin re) (+ (* im (* im 4)) (* (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (log (pow im 3))) (log (* -1/3 (pow im 3))) (exp (* -1/3 (pow im 3))) (* (* (* -1/3 -1/3) -1/3) (* (* (pow im 3) (pow im 3)) (pow im 3))) (* (cbrt (* -1/3 (pow im 3))) (cbrt (* -1/3 (pow im 3)))) (cbrt (* -1/3 (pow im 3))) (* (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))) (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (sqrt (* -1/3 (pow im 3))) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (pow (sqrt im) 3)) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im (/ 3 2))) (* (sqrt -1/3) (pow im (/ 3 2))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 (* im im)) (* -1/3 (* (cbrt (pow im 3)) (cbrt (pow im 3)))) (* -1/3 (pow (* (cbrt im) (cbrt im)) 3)) (* -1/3 (pow (sqrt im) 3)) (* -1/3 (pow 1 3)) (* -1/3 im) (* -1/3 (sqrt (pow im 3))) (* -1/3 1) (* -1/3 (pow im (/ 3 2))) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* -1/3 (pow im 3)) (+ (* (log im) 3) (log 1/3)) (+ (* (log im) 3) (log 1/3)) (+ (log (pow im 3)) (log 1/3)) (log (* (pow im 3) 1/3)) (exp (* (pow im 3) 1/3)) (* (* (* (pow im 3) (pow im 3)) (pow im 3)) (* (* 1/3 1/3) 1/3)) (* (cbrt (* (pow im 3) 1/3)) (cbrt (* (pow im 3) 1/3))) (cbrt (* (pow im 3) 1/3)) (* (* (* (pow im 3) 1/3) (* (pow im 3) 1/3)) (* (pow im 3) 1/3)) (sqrt (* (pow im 3) 1/3)) (sqrt (* (pow im 3) 1/3)) (* (pow (sqrt im) 3) (sqrt 1/3)) (* (pow (sqrt im) 3) (sqrt 1/3)) (* (pow (sqrt im) 3) (sqrt 1/3)) (* (pow (sqrt im) 3) (sqrt 1/3)) (* (sqrt (pow im 3)) (sqrt 1/3)) (* (sqrt (pow im 3)) (sqrt 1/3)) (* (pow im (/ 3 2)) (sqrt 1/3)) (* (pow im (/ 3 2)) (sqrt 1/3)) (* (pow im 3) (* (cbrt 1/3) (cbrt 1/3))) (* (pow im 3) (sqrt 1/3)) (* (pow im 3) 1) (* (pow (cbrt im) 3) 1/3) (* (pow (sqrt im) 3) 1/3) (* (pow im 3) 1/3) (* im 1/3) (* (cbrt (pow im 3)) 1/3) (* (pow (cbrt im) 3) 1/3) (* (pow (sqrt im) 3) 1/3) (* (pow im 3) 1/3) (* (* im im) 1/3) (* (sqrt (pow im 3)) 1/3) (* (pow im 3) 1/3) (* (pow im (/ 3 2)) 1/3) (+ (* (log im) 3) (log 1/3)) (+ (* (log im) 3) (log 1/3)) (+ (log (pow im 3)) (log 1/3)) (log (* (pow im 3) 1/3)) (exp (* (pow im 3) 1/3)) (* (* (* (pow im 3) (pow im 3)) (pow im 3)) (* (* 1/3 1/3) 1/3)) (* (cbrt (* (pow im 3) 1/3)) (cbrt (* (pow im 3) 1/3))) (cbrt (* (pow im 3) 1/3)) (* (* (* (pow im 3) 1/3) (* (pow im 3) 1/3)) (* (pow im 3) 1/3)) (sqrt (* (pow im 3) 1/3)) (sqrt (* (pow im 3) 1/3)) (* (pow (sqrt im) 3) (sqrt 1/3)) (* (pow (sqrt im) 3) (sqrt 1/3)) (* (pow (sqrt im) 3) (sqrt 1/3)) (* (pow (sqrt im) 3) (sqrt 1/3)) (* (sqrt (pow im 3)) (sqrt 1/3)) (* (sqrt (pow im 3)) (sqrt 1/3)) (* (pow im (/ 3 2)) (sqrt 1/3)) (* (pow im (/ 3 2)) (sqrt 1/3)) (* (pow im 3) (* (cbrt 1/3) (cbrt 1/3))) (* (pow im 3) (sqrt 1/3)) (* (pow im 3) 1) (* (pow (cbrt im) 3) 1/3) (* (pow (sqrt im) 3) 1/3) (* (pow im 3) 1/3) (* im 1/3) (* (cbrt (pow im 3)) 1/3) (* (pow (cbrt im) 3) 1/3) (* (pow (sqrt im) 3) 1/3) (* (pow im 3) 1/3) (* (* im im) 1/3) (* (sqrt (pow im 3)) 1/3) (* (pow im 3) 1/3) (* (pow im (/ 3 2)) 1/3) (- (* 1/3 (* (pow re 3) im)) (+ (* 1/3 (* re (pow im 3))) (* 2 (* re im)))) (neg (+ (* 1/3 (* (sin re) (pow im 3))) (+ (* 2 (* (sin re) im)) (* 1/60 (* (sin re) (pow im 5)))))) (neg (+ (* 1/3 (* (sin re) (pow im 3))) (+ (* 2 (* (sin re) im)) (* 1/60 (* (sin re) (pow im 5)))))) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) 1.661 * * [simplify]: iteration 0 : 4987 enodes (cost 2885 ) 1.661 * * [simplify]: iteration 1 : 4987 enodes (cost 2885 ) 1.670 * [simplify]: Simplified to: (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (log (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (log (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (log (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (pow (exp (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (pow (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) 3) (pow (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) 3) (* (cbrt (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (cbrt (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (cbrt (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (pow (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) 3) (sqrt (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (sqrt (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (sin re) (+ (* (pow im 6) 64) (pow (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))) 3))) (* (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))) (+ (* (pow im 4) 16) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (* (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)) (+ (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))) (* (* im im) -4)))))) (* (sin re) (+ (* (pow im 4) 16) (* (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)) (pow (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) 3)))) (* (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))) (* (sqrt (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (sqrt (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (sqrt (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (sqrt (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (* (sqrt (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (/ (sqrt (sin re)) (sqrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))))) (* (sqrt (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (/ (sqrt (sin re)) (sqrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))))) (* im (* im (* 4 (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (* im (* im (* 4 (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (cbrt (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (cbrt (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (sqrt (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))))) (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (cbrt (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))))) (* (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (sqrt (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))))) (* (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (/ (cbrt (sin re)) (cbrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))))) (* (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (/ (cbrt (sin re)) (sqrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))))) (* (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (/ (cbrt (sin re)) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (* (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (/ (sqrt (sin re)) (cbrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))))) (* (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (/ (sqrt (sin re)) (sqrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))))) (* (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (/ (sqrt (sin re)) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2))))) (* (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (/ (sin re) (cbrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))))) (* (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (/ (sin re) (sqrt (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (/ (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (* (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (+ (* 1/9 (pow im 6)) (* (+ (* (pow im 5) 1/60) (* im -2)) (+ (* (pow im 5) 1/60) (+ (* im -2) (* (pow im 3) -1/3)))))) (* (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)))) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) -1/60) (* im 2)))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* (pow im 6) 64) (pow (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))) 3))) (* (/ (sin re) (+ (* (pow im 3) 1/3) (+ (* (pow im 5) 1/60) (* im -2)))) (+ (* (pow im 4) 16) (* (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60)) (pow (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) 3)))) (* (sin re) (+ (* im (* im 4)) (* (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)) (+ (* (pow im 3) 1/3) (* (pow im 5) 1/60))))) (log (* (pow im 3) -1/3)) (log (* (pow im 3) -1/3)) (log (* (pow im 3) -1/3)) (log (* (pow im 3) -1/3)) (pow (exp -1/3) (pow im 3)) (* -1/27 (pow (pow im 3) 3)) (* (cbrt (* (pow im 3) -1/3)) (cbrt (* (pow im 3) -1/3))) (cbrt (* (pow im 3) -1/3)) (* -1/27 (pow (pow im 3) 3)) (sqrt (* (pow im 3) -1/3)) (sqrt (* (pow im 3) -1/3)) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* im (* (sqrt im) (sqrt -1/3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (sqrt (pow im 3))) (* (sqrt -1/3) (pow im 3/2)) (* (sqrt -1/3) (pow im 3/2)) (* im (* im -1/3)) (* im (* (sqrt im) -1/3)) -1/3 (* im (* im -1/3)) (* im (* im -1/3)) (* im (* im -1/3)) (* im (* (sqrt im) -1/3)) -1/3 (* im -1/3) (* -1/3 (sqrt (pow im 3))) -1/3 (* -1/3 (pow im 3/2)) (* (pow im 3) (cbrt -1/3)) (* (pow im 3) (sqrt -1/3)) (* (pow im 3) -1/3) (log (* (pow im 3) 1/3)) (log (* (pow im 3) 1/3)) (log (* (pow im 3) 1/3)) (log (* (pow im 3) 1/3)) (cbrt (exp (pow im 3))) (* (pow (pow im 3) 3) 1/27) (* (cbrt (* (pow im 3) 1/3)) (cbrt (* (pow im 3) 1/3))) (cbrt (* (pow im 3) 1/3)) (* (pow (pow im 3) 3) 1/27) (sqrt (* (pow im 3) 1/3)) (sqrt (* (pow im 3) 1/3)) (* im (* (sqrt im) (sqrt 1/3))) (* im (* (sqrt im) (sqrt 1/3))) (* im (* (sqrt im) (sqrt 1/3))) (* im (* (sqrt im) (sqrt 1/3))) (* (sqrt (pow im 3)) (sqrt 1/3)) (* (sqrt (pow im 3)) (sqrt 1/3)) (* (pow im 3/2) (sqrt 1/3)) (* (pow im 3/2) (sqrt 1/3)) (* (pow im 3) (* (cbrt 1/3) (cbrt 1/3))) (* (pow im 3) (sqrt 1/3)) (pow im 3) (* im 1/3) (* im (* (sqrt im) 1/3)) (* (pow im 3) 1/3) (* im 1/3) (* im 1/3) (* im 1/3) (* im (* (sqrt im) 1/3)) (* (pow im 3) 1/3) (* im (* im 1/3)) (* 1/3 (sqrt (pow im 3))) (* (pow im 3) 1/3) (* 1/3 (pow im 3/2)) (log (* (pow im 3) 1/3)) (log (* (pow im 3) 1/3)) (log (* (pow im 3) 1/3)) (log (* (pow im 3) 1/3)) (cbrt (exp (pow im 3))) (* (pow (pow im 3) 3) 1/27) (* (cbrt (* (pow im 3) 1/3)) (cbrt (* (pow im 3) 1/3))) (cbrt (* (pow im 3) 1/3)) (* (pow (pow im 3) 3) 1/27) (sqrt (* (pow im 3) 1/3)) (sqrt (* (pow im 3) 1/3)) (* im (* (sqrt im) (sqrt 1/3))) (* im (* (sqrt im) (sqrt 1/3))) (* im (* (sqrt im) (sqrt 1/3))) (* im (* (sqrt im) (sqrt 1/3))) (* (sqrt (pow im 3)) (sqrt 1/3)) (* (sqrt (pow im 3)) (sqrt 1/3)) (* (pow im 3/2) (sqrt 1/3)) (* (pow im 3/2) (sqrt 1/3)) (* (pow im 3) (* (cbrt 1/3) (cbrt 1/3))) (* (pow im 3) (sqrt 1/3)) (pow im 3) (* im 1/3) (* im (* (sqrt im) 1/3)) (* (pow im 3) 1/3) (* im 1/3) (* im 1/3) (* im 1/3) (* im (* (sqrt im) 1/3)) (* (pow im 3) 1/3) (* im (* im 1/3)) (* 1/3 (sqrt (pow im 3))) (* (pow im 3) 1/3) (* 1/3 (pow im 3/2)) (+ (* 1/3 (- (* im (pow re 3)) (* re (pow im 3)))) (* -2 (* re im))) (- (* (sin re) (* (pow im 3) -1/3)) (* (sin re) (+ (* im 2) (* (pow im 5) 1/60)))) (- (* (sin re) (* (pow im 3) -1/3)) (* (sin re) (+ (* im 2) (* (pow im 5) 1/60)))) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* (pow im 3) 1/3) (* (pow im 3) 1/3) (* (pow im 3) 1/3) (* (pow im 3) 1/3) (* (pow im 3) 1/3) (* (pow im 3) 1/3) 1.671 * * * [progress]: adding candidates to table 2.182 * [progress]: [Phase 3 of 3] Extracting. 2.183 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # #) 2.189 * * * [regime-changes]: Trying 5 branch expressions: ((- (exp (neg im)) (exp im)) (sin re) (* 0.5 (sin re)) im re) 2.189 * * * * [regimes]: Trying to branch on (- (exp (neg im)) (exp im)) from (# # # # # # # # # # # #) 2.270 * * * * [regimes]: Trying to branch on (- (exp (neg im)) (exp im)) from (# #) 2.302 * * * * [regimes]: Trying to branch on (sin re) from (# # # # # # # # # # # #) 2.389 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# # # # # # # # # # # #) 2.479 * * * * [regimes]: Trying to branch on im from (# # # # # # # # # # # #) 2.561 * * * * [regimes]: Trying to branch on re from (# # # # # # # # # # # #) 2.645 * * * [regime]: Found split indices: #