20.694 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.155 * * * [progress]: [2/2] Setting up program. 0.159 * [progress]: [Phase 2 of 3] Improving. 0.159 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) 0.160 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.161 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 0.163 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 0.168 * * [simplify]: iteration 3 : 77 enodes (cost 11 ) 0.179 * * [simplify]: iteration 4 : 115 enodes (cost 11 ) 0.195 * * [simplify]: iteration 5 : 313 enodes (cost 11 ) 0.256 * * [simplify]: iteration 6 : 673 enodes (cost 11 ) 0.375 * * [simplify]: iteration 7 : 1187 enodes (cost 11 ) 0.598 * * [simplify]: iteration 8 : 2362 enodes (cost 11 ) 1.162 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 1.162 * [simplify]: Simplified to: (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) 1.162 * * [progress]: iteration 1 / 4 1.162 * * * [progress]: picking best candidate 1.166 * * * * [pick]: Picked # 1.166 * * * [progress]: localizing error 1.177 * * * [progress]: generating rewritten candidates 1.177 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 1.184 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.202 * * * [progress]: generating series expansions 1.202 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 1.202 * [approximate]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in (im) around 0 1.202 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 1.202 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.202 * [taylor]: Taking taylor expansion of (neg im) in im 1.202 * [taylor]: Taking taylor expansion of im in im 1.202 * [taylor]: Taking taylor expansion of (exp im) in im 1.202 * [taylor]: Taking taylor expansion of im in im 1.202 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 1.202 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.202 * [taylor]: Taking taylor expansion of (neg im) in im 1.202 * [taylor]: Taking taylor expansion of im in im 1.202 * [taylor]: Taking taylor expansion of (exp im) in im 1.202 * [taylor]: Taking taylor expansion of im in im 1.206 * [approximate]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in (im) around 0 1.206 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.206 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.206 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.206 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.206 * [taylor]: Taking taylor expansion of im in im 1.206 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.206 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.206 * [taylor]: Taking taylor expansion of im in im 1.206 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.206 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.206 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.206 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.206 * [taylor]: Taking taylor expansion of im in im 1.206 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.206 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.206 * [taylor]: Taking taylor expansion of im in im 1.207 * [approximate]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in (im) around 0 1.207 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 1.207 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.207 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.207 * [taylor]: Taking taylor expansion of im in im 1.207 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.207 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.207 * [taylor]: Taking taylor expansion of -1 in im 1.207 * [taylor]: Taking taylor expansion of im in im 1.207 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 1.207 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.207 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.207 * [taylor]: Taking taylor expansion of im in im 1.207 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.207 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.207 * [taylor]: Taking taylor expansion of -1 in im 1.207 * [taylor]: Taking taylor expansion of im in im 1.208 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.208 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) in (re im) around 0 1.208 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) in im 1.208 * [taylor]: Taking taylor expansion of 0.5 in im 1.208 * [taylor]: Taking taylor expansion of (* (sin re) (- (exp (neg im)) (exp im))) in im 1.208 * [taylor]: Taking taylor expansion of (sin re) in im 1.208 * [taylor]: Taking taylor expansion of re in im 1.208 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in im 1.208 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.208 * [taylor]: Taking taylor expansion of (neg im) in im 1.208 * [taylor]: Taking taylor expansion of im in im 1.208 * [taylor]: Taking taylor expansion of (exp im) in im 1.208 * [taylor]: Taking taylor expansion of im in im 1.208 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) in re 1.208 * [taylor]: Taking taylor expansion of 0.5 in re 1.208 * [taylor]: Taking taylor expansion of (* (sin re) (- (exp (neg im)) (exp im))) in re 1.208 * [taylor]: Taking taylor expansion of (sin re) in re 1.208 * [taylor]: Taking taylor expansion of re in re 1.208 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in re 1.208 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 1.208 * [taylor]: Taking taylor expansion of (neg im) in re 1.208 * [taylor]: Taking taylor expansion of im in re 1.208 * [taylor]: Taking taylor expansion of (exp im) in re 1.208 * [taylor]: Taking taylor expansion of im in re 1.208 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) in re 1.208 * [taylor]: Taking taylor expansion of 0.5 in re 1.208 * [taylor]: Taking taylor expansion of (* (sin re) (- (exp (neg im)) (exp im))) in re 1.208 * [taylor]: Taking taylor expansion of (sin re) in re 1.208 * [taylor]: Taking taylor expansion of re in re 1.208 * [taylor]: Taking taylor expansion of (- (exp (neg im)) (exp im)) in re 1.208 * [taylor]: Taking taylor expansion of (exp (neg im)) in re 1.208 * [taylor]: Taking taylor expansion of (neg im) in re 1.208 * [taylor]: Taking taylor expansion of im in re 1.208 * [taylor]: Taking taylor expansion of (exp im) in re 1.208 * [taylor]: Taking taylor expansion of im in re 1.209 * [taylor]: Taking taylor expansion of 0 in im 1.209 * [taylor]: Taking taylor expansion of (- (* 0.5 (exp (neg im))) (* 0.5 (exp im))) in im 1.209 * [taylor]: Taking taylor expansion of (* 0.5 (exp (neg im))) in im 1.209 * [taylor]: Taking taylor expansion of 0.5 in im 1.209 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.209 * [taylor]: Taking taylor expansion of (neg im) in im 1.209 * [taylor]: Taking taylor expansion of im in im 1.209 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 1.209 * [taylor]: Taking taylor expansion of 0.5 in im 1.209 * [taylor]: Taking taylor expansion of (exp im) in im 1.209 * [taylor]: Taking taylor expansion of im in im 1.210 * [taylor]: Taking taylor expansion of 0 in im 1.211 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (neg im)))) in im 1.211 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 1.211 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 1.211 * [taylor]: Taking taylor expansion of (exp im) in im 1.211 * [taylor]: Taking taylor expansion of im in im 1.211 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (neg im))) in im 1.211 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 1.211 * [taylor]: Taking taylor expansion of (exp (neg im)) in im 1.211 * [taylor]: Taking taylor expansion of (neg im) in im 1.211 * [taylor]: Taking taylor expansion of im in im 1.213 * [taylor]: Taking taylor expansion of 0 in im 1.213 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 1.213 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 1.213 * [taylor]: Taking taylor expansion of 0.5 in im 1.213 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 1.213 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.213 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.213 * [taylor]: Taking taylor expansion of re in im 1.213 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.213 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.213 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.213 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.213 * [taylor]: Taking taylor expansion of im in im 1.213 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.213 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.213 * [taylor]: Taking taylor expansion of im in im 1.214 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 1.214 * [taylor]: Taking taylor expansion of 0.5 in re 1.214 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 1.214 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.214 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.214 * [taylor]: Taking taylor expansion of re in re 1.214 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 1.214 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 1.214 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 1.214 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.214 * [taylor]: Taking taylor expansion of im in re 1.214 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.214 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.214 * [taylor]: Taking taylor expansion of im in re 1.214 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in re 1.214 * [taylor]: Taking taylor expansion of 0.5 in re 1.214 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in re 1.214 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 1.214 * [taylor]: Taking taylor expansion of (/ 1 re) in re 1.214 * [taylor]: Taking taylor expansion of re in re 1.214 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in re 1.214 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in re 1.214 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in re 1.214 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.214 * [taylor]: Taking taylor expansion of im in re 1.214 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.214 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.214 * [taylor]: Taking taylor expansion of im in re 1.215 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im))))) in im 1.215 * [taylor]: Taking taylor expansion of 0.5 in im 1.215 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (- (exp (neg (/ 1 im))) (exp (/ 1 im)))) in im 1.215 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 1.215 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.215 * [taylor]: Taking taylor expansion of re in im 1.215 * [taylor]: Taking taylor expansion of (- (exp (neg (/ 1 im))) (exp (/ 1 im))) in im 1.215 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 im))) in im 1.215 * [taylor]: Taking taylor expansion of (neg (/ 1 im)) in im 1.215 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.215 * [taylor]: Taking taylor expansion of im in im 1.215 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.215 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.215 * [taylor]: Taking taylor expansion of im in im 1.216 * [taylor]: Taking taylor expansion of 0 in im 1.218 * [taylor]: Taking taylor expansion of 0 in im 1.219 * [taylor]: Taking taylor expansion of 0 in im 1.219 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in (re im) around 0 1.220 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 1.220 * [taylor]: Taking taylor expansion of 0.5 in im 1.220 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 1.220 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 1.220 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.220 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.220 * [taylor]: Taking taylor expansion of im in im 1.220 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.220 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.220 * [taylor]: Taking taylor expansion of -1 in im 1.220 * [taylor]: Taking taylor expansion of im in im 1.220 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.220 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.220 * [taylor]: Taking taylor expansion of -1 in im 1.220 * [taylor]: Taking taylor expansion of re in im 1.220 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re 1.220 * [taylor]: Taking taylor expansion of 0.5 in re 1.220 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re 1.220 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 1.220 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.220 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.220 * [taylor]: Taking taylor expansion of im in re 1.220 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.220 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.220 * [taylor]: Taking taylor expansion of -1 in re 1.220 * [taylor]: Taking taylor expansion of im in re 1.220 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.220 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.220 * [taylor]: Taking taylor expansion of -1 in re 1.220 * [taylor]: Taking taylor expansion of re in re 1.220 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in re 1.220 * [taylor]: Taking taylor expansion of 0.5 in re 1.220 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in re 1.220 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in re 1.220 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 1.220 * [taylor]: Taking taylor expansion of (/ 1 im) in re 1.220 * [taylor]: Taking taylor expansion of im in re 1.221 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 1.221 * [taylor]: Taking taylor expansion of (/ -1 im) in re 1.221 * [taylor]: Taking taylor expansion of -1 in re 1.221 * [taylor]: Taking taylor expansion of im in re 1.221 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 1.221 * [taylor]: Taking taylor expansion of (/ -1 re) in re 1.221 * [taylor]: Taking taylor expansion of -1 in re 1.221 * [taylor]: Taking taylor expansion of re in re 1.221 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 1.221 * [taylor]: Taking taylor expansion of 0.5 in im 1.221 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 1.221 * [taylor]: Taking taylor expansion of (- (exp (/ 1 im)) (exp (/ -1 im))) in im 1.221 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 1.221 * [taylor]: Taking taylor expansion of (/ 1 im) in im 1.221 * [taylor]: Taking taylor expansion of im in im 1.221 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 1.221 * [taylor]: Taking taylor expansion of (/ -1 im) in im 1.221 * [taylor]: Taking taylor expansion of -1 in im 1.221 * [taylor]: Taking taylor expansion of im in im 1.221 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 1.221 * [taylor]: Taking taylor expansion of (/ -1 re) in im 1.221 * [taylor]: Taking taylor expansion of -1 in im 1.221 * [taylor]: Taking taylor expansion of re in im 1.222 * [taylor]: Taking taylor expansion of 0 in im 1.224 * [taylor]: Taking taylor expansion of 0 in im 1.225 * [taylor]: Taking taylor expansion of 0 in im 1.225 * * * [progress]: simplifying candidates 1.226 * [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 (+ (* 2 im) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (- (exp (neg im)) (exp im)) (- (exp (* -1 im)) (exp im)) (* -1.0 (* re im)) (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) (* 0.5 (* (sin re) (- (exp (* -1 im)) (exp im)))) 1.229 * * [simplify]: iteration 0 : 92 enodes (cost 614 ) 1.242 * * [simplify]: iteration 1 : 242 enodes (cost 598 ) 1.292 * * [simplify]: iteration 2 : 952 enodes (cost 506 ) 1.603 * * [simplify]: iteration 3 : 3933 enodes (cost 502 ) 2.451 * * [simplify]: iteration done : 5000 enodes (cost 502 ) 2.452 * [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))) (- (exp (* im -3)) (pow (exp im) 3)) (+ (+ 1 (exp (+ im im))) (exp (* im -2))) (neg (exp im)) (- (exp (* im -2)) (exp (+ im im))) (+ (exp (neg im)) (exp im)) (+ (sqrt (exp im)) (sqrt (exp (neg 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 (sin re)) (- (exp (neg im)) (exp im)))) (log (* (* 0.5 (sin re)) (- (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)))) (pow (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) 3) (pow (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) 3) (* (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)))) (pow (* 0.5 (* (sin re) (- (exp (neg im)) (exp im)))) 3) (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 im))) (* (neg (exp im)) (* 0.5 (sin re))) (* 0.5 (/ (sin re) (exp im))) (* (neg (exp im)) (* 0.5 (sin re))) (* 0.5 (/ (sin re) (exp im))) (* (neg (exp im)) (* 0.5 (sin re))) (* 0.5 (/ (sin re) (exp im))) (* (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)) (* (* 0.5 (sin re)) (+ (sqrt (exp (neg im))) (sqrt (exp im)))) (* 0.5 (sin re)) (* (- (exp (neg im)) (exp im)) (sin re)) (* (* (- (exp (* im -3)) (pow (exp im) 3)) 0.5) (sin re)) (* 0.5 (* (sin re) (- (exp (* im -2)) (exp (+ im im))))) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (- (exp (neg im)) (exp im)) (- (exp (neg im)) (exp im)) (* -1.0 (* re im)) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) (* (* 0.5 (sin re)) (- (exp (neg im)) (exp im))) 2.452 * * * [progress]: adding candidates to table 2.523 * * [progress]: iteration 2 / 4 2.523 * * * [progress]: picking best candidate 2.533 * * * * [pick]: Picked # 2.534 * * * [progress]: localizing error 2.549 * * * [progress]: generating rewritten candidates 2.549 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2 1) 2.557 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 2.570 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 2) 2.581 * * * [progress]: generating series expansions 2.581 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2 1) 2.582 * [approximate]: Taking taylor expansion of (* 1/3 (pow im 3)) in (im) around 0 2.582 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 2.582 * [taylor]: Taking taylor expansion of 1/3 in im 2.582 * [taylor]: Taking taylor expansion of (pow im 3) in im 2.582 * [taylor]: Taking taylor expansion of im in im 2.582 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 2.582 * [taylor]: Taking taylor expansion of 1/3 in im 2.582 * [taylor]: Taking taylor expansion of (pow im 3) in im 2.582 * [taylor]: Taking taylor expansion of im in im 2.583 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 2.583 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 2.583 * [taylor]: Taking taylor expansion of 1/3 in im 2.583 * [taylor]: Taking taylor expansion of (pow im 3) in im 2.583 * [taylor]: Taking taylor expansion of im in im 2.583 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 2.583 * [taylor]: Taking taylor expansion of 1/3 in im 2.583 * [taylor]: Taking taylor expansion of (pow im 3) in im 2.583 * [taylor]: Taking taylor expansion of im in im 2.584 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 2.584 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 2.584 * [taylor]: Taking taylor expansion of -1/3 in im 2.584 * [taylor]: Taking taylor expansion of (pow im 3) in im 2.584 * [taylor]: Taking taylor expansion of im in im 2.584 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 2.584 * [taylor]: Taking taylor expansion of -1/3 in im 2.584 * [taylor]: Taking taylor expansion of (pow im 3) in im 2.584 * [taylor]: Taking taylor expansion of im in im 2.586 * * * * [progress]: [ 2 / 3 ] generating series at (2) 2.586 * [approximate]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))))) in (re im) around 0 2.586 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))))) in im 2.586 * [taylor]: Taking taylor expansion of -0.5 in im 2.586 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im)))) in im 2.586 * [taylor]: Taking taylor expansion of (sin re) in im 2.586 * [taylor]: Taking taylor expansion of re in im 2.586 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))) in im 2.586 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 2.586 * [taylor]: Taking taylor expansion of 1/60 in im 2.586 * [taylor]: Taking taylor expansion of (pow im 5) in im 2.586 * [taylor]: Taking taylor expansion of im in im 2.586 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 2 im)) in im 2.586 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 2.586 * [taylor]: Taking taylor expansion of 1/3 in im 2.586 * [taylor]: Taking taylor expansion of (pow im 3) in im 2.586 * [taylor]: Taking taylor expansion of im in im 2.586 * [taylor]: Taking taylor expansion of (* 2 im) in im 2.586 * [taylor]: Taking taylor expansion of 2 in im 2.586 * [taylor]: Taking taylor expansion of im in im 2.586 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))))) in re 2.586 * [taylor]: Taking taylor expansion of -0.5 in re 2.586 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im)))) in re 2.586 * [taylor]: Taking taylor expansion of (sin re) in re 2.587 * [taylor]: Taking taylor expansion of re in re 2.587 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))) in re 2.587 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 2.587 * [taylor]: Taking taylor expansion of 1/60 in re 2.587 * [taylor]: Taking taylor expansion of (pow im 5) in re 2.587 * [taylor]: Taking taylor expansion of im in re 2.587 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 2 im)) in re 2.587 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 2.587 * [taylor]: Taking taylor expansion of 1/3 in re 2.587 * [taylor]: Taking taylor expansion of (pow im 3) in re 2.587 * [taylor]: Taking taylor expansion of im in re 2.587 * [taylor]: Taking taylor expansion of (* 2 im) in re 2.587 * [taylor]: Taking taylor expansion of 2 in re 2.587 * [taylor]: Taking taylor expansion of im in re 2.587 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))))) in re 2.587 * [taylor]: Taking taylor expansion of -0.5 in re 2.587 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im)))) in re 2.587 * [taylor]: Taking taylor expansion of (sin re) in re 2.587 * [taylor]: Taking taylor expansion of re in re 2.587 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow im 5)) (+ (* 1/3 (pow im 3)) (* 2 im))) in re 2.587 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 2.587 * [taylor]: Taking taylor expansion of 1/60 in re 2.587 * [taylor]: Taking taylor expansion of (pow im 5) in re 2.587 * [taylor]: Taking taylor expansion of im in re 2.587 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 2 im)) in re 2.587 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 2.587 * [taylor]: Taking taylor expansion of 1/3 in re 2.587 * [taylor]: Taking taylor expansion of (pow im 3) in re 2.587 * [taylor]: Taking taylor expansion of im in re 2.587 * [taylor]: Taking taylor expansion of (* 2 im) in re 2.587 * [taylor]: Taking taylor expansion of 2 in re 2.587 * [taylor]: Taking taylor expansion of im in re 2.588 * [taylor]: Taking taylor expansion of 0 in im 2.589 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 im) (+ (* 0.16666666666666666 (pow im 3)) (* 0.008333333333333333 (pow im 5))))) in im 2.589 * [taylor]: Taking taylor expansion of (+ (* 1.0 im) (+ (* 0.16666666666666666 (pow im 3)) (* 0.008333333333333333 (pow im 5)))) in im 2.589 * [taylor]: Taking taylor expansion of (* 1.0 im) in im 2.589 * [taylor]: Taking taylor expansion of 1.0 in im 2.589 * [taylor]: Taking taylor expansion of im in im 2.589 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (* 0.008333333333333333 (pow im 5))) in im 2.589 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 2.589 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 2.589 * [taylor]: Taking taylor expansion of (pow im 3) in im 2.589 * [taylor]: Taking taylor expansion of im in im 2.589 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 2.589 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 2.589 * [taylor]: Taking taylor expansion of (pow im 5) in im 2.589 * [taylor]: Taking taylor expansion of im in im 2.590 * [taylor]: Taking taylor expansion of 0 in im 2.592 * [taylor]: Taking taylor expansion of (+ (* 0.001388888888888889 (pow im 5)) (+ (* 0.027777777777777776 (pow im 3)) (* 0.16666666666666666 im))) in im 2.592 * [taylor]: Taking taylor expansion of (* 0.001388888888888889 (pow im 5)) in im 2.592 * [taylor]: Taking taylor expansion of 0.001388888888888889 in im 2.592 * [taylor]: Taking taylor expansion of (pow im 5) in im 2.592 * [taylor]: Taking taylor expansion of im in im 2.592 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (pow im 3)) (* 0.16666666666666666 im)) in im 2.592 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (pow im 3)) in im 2.592 * [taylor]: Taking taylor expansion of 0.027777777777777776 in im 2.592 * [taylor]: Taking taylor expansion of (pow im 3) in im 2.592 * [taylor]: Taking taylor expansion of im in im 2.592 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 im) in im 2.592 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 2.592 * [taylor]: Taking taylor expansion of im in im 2.594 * [taylor]: Taking taylor expansion of 0 in im 2.595 * [approximate]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in (re im) around 0 2.595 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 2.595 * [taylor]: Taking taylor expansion of -0.5 in im 2.595 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 2.595 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 2.595 * [taylor]: Taking taylor expansion of (/ 1 re) in im 2.595 * [taylor]: Taking taylor expansion of re in im 2.595 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 2.595 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 2.595 * [taylor]: Taking taylor expansion of 1/3 in im 2.595 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 2.595 * [taylor]: Taking taylor expansion of (pow im 3) in im 2.595 * [taylor]: Taking taylor expansion of im in im 2.595 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 2.595 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 2.595 * [taylor]: Taking taylor expansion of 2 in im 2.595 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.595 * [taylor]: Taking taylor expansion of im in im 2.595 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 2.595 * [taylor]: Taking taylor expansion of 1/60 in im 2.595 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 2.595 * [taylor]: Taking taylor expansion of (pow im 5) in im 2.595 * [taylor]: Taking taylor expansion of im in im 2.595 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 2.595 * [taylor]: Taking taylor expansion of -0.5 in re 2.595 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 2.595 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 2.595 * [taylor]: Taking taylor expansion of (/ 1 re) in re 2.595 * [taylor]: Taking taylor expansion of re in re 2.595 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 2.595 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 2.595 * [taylor]: Taking taylor expansion of 1/3 in re 2.595 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 2.595 * [taylor]: Taking taylor expansion of (pow im 3) in re 2.595 * [taylor]: Taking taylor expansion of im in re 2.596 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 2.596 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 2.596 * [taylor]: Taking taylor expansion of 2 in re 2.596 * [taylor]: Taking taylor expansion of (/ 1 im) in re 2.596 * [taylor]: Taking taylor expansion of im in re 2.596 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 2.596 * [taylor]: Taking taylor expansion of 1/60 in re 2.596 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 2.596 * [taylor]: Taking taylor expansion of (pow im 5) in re 2.596 * [taylor]: Taking taylor expansion of im in re 2.596 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 2.596 * [taylor]: Taking taylor expansion of -0.5 in re 2.596 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 2.596 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 2.596 * [taylor]: Taking taylor expansion of (/ 1 re) in re 2.596 * [taylor]: Taking taylor expansion of re in re 2.596 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 2.596 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 2.596 * [taylor]: Taking taylor expansion of 1/3 in re 2.596 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 2.596 * [taylor]: Taking taylor expansion of (pow im 3) in re 2.596 * [taylor]: Taking taylor expansion of im in re 2.596 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 2.596 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 2.596 * [taylor]: Taking taylor expansion of 2 in re 2.596 * [taylor]: Taking taylor expansion of (/ 1 im) in re 2.597 * [taylor]: Taking taylor expansion of im in re 2.597 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 2.597 * [taylor]: Taking taylor expansion of 1/60 in re 2.597 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 2.597 * [taylor]: Taking taylor expansion of (pow im 5) in re 2.597 * [taylor]: Taking taylor expansion of im in re 2.598 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 2.598 * [taylor]: Taking taylor expansion of -0.5 in im 2.598 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 2.598 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 2.598 * [taylor]: Taking taylor expansion of (/ 1 re) in im 2.598 * [taylor]: Taking taylor expansion of re in im 2.598 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 2.598 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 2.598 * [taylor]: Taking taylor expansion of 1/3 in im 2.598 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 2.598 * [taylor]: Taking taylor expansion of (pow im 3) in im 2.598 * [taylor]: Taking taylor expansion of im in im 2.598 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 2.598 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 2.598 * [taylor]: Taking taylor expansion of 2 in im 2.598 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.598 * [taylor]: Taking taylor expansion of im in im 2.598 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 2.598 * [taylor]: Taking taylor expansion of 1/60 in im 2.598 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 2.598 * [taylor]: Taking taylor expansion of (pow im 5) in im 2.598 * [taylor]: Taking taylor expansion of im in im 2.600 * [taylor]: Taking taylor expansion of 0 in im 2.602 * [taylor]: Taking taylor expansion of 0 in im 2.605 * [taylor]: Taking taylor expansion of 0 in im 2.608 * [taylor]: Taking taylor expansion of 0 in im 2.610 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in (re im) around 0 2.610 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 2.610 * [taylor]: Taking taylor expansion of 0.5 in im 2.610 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 2.610 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 2.610 * [taylor]: Taking taylor expansion of (/ -1 re) in im 2.610 * [taylor]: Taking taylor expansion of -1 in im 2.610 * [taylor]: Taking taylor expansion of re in im 2.610 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 2.611 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 2.611 * [taylor]: Taking taylor expansion of 1/3 in im 2.611 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 2.611 * [taylor]: Taking taylor expansion of (pow im 3) in im 2.611 * [taylor]: Taking taylor expansion of im in im 2.611 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 2.611 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 2.611 * [taylor]: Taking taylor expansion of 2 in im 2.611 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.611 * [taylor]: Taking taylor expansion of im in im 2.611 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 2.611 * [taylor]: Taking taylor expansion of 1/60 in im 2.611 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 2.611 * [taylor]: Taking taylor expansion of (pow im 5) in im 2.611 * [taylor]: Taking taylor expansion of im in im 2.611 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 2.611 * [taylor]: Taking taylor expansion of 0.5 in re 2.611 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 2.611 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 2.611 * [taylor]: Taking taylor expansion of (/ -1 re) in re 2.611 * [taylor]: Taking taylor expansion of -1 in re 2.611 * [taylor]: Taking taylor expansion of re in re 2.611 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 2.611 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 2.611 * [taylor]: Taking taylor expansion of 1/3 in re 2.611 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 2.611 * [taylor]: Taking taylor expansion of (pow im 3) in re 2.611 * [taylor]: Taking taylor expansion of im in re 2.612 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 2.612 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 2.612 * [taylor]: Taking taylor expansion of 2 in re 2.612 * [taylor]: Taking taylor expansion of (/ 1 im) in re 2.612 * [taylor]: Taking taylor expansion of im in re 2.612 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 2.612 * [taylor]: Taking taylor expansion of 1/60 in re 2.612 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 2.612 * [taylor]: Taking taylor expansion of (pow im 5) in re 2.612 * [taylor]: Taking taylor expansion of im in re 2.612 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in re 2.612 * [taylor]: Taking taylor expansion of 0.5 in re 2.612 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in re 2.612 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 2.612 * [taylor]: Taking taylor expansion of (/ -1 re) in re 2.612 * [taylor]: Taking taylor expansion of -1 in re 2.612 * [taylor]: Taking taylor expansion of re in re 2.612 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in re 2.612 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 2.612 * [taylor]: Taking taylor expansion of 1/3 in re 2.612 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 2.612 * [taylor]: Taking taylor expansion of (pow im 3) in re 2.612 * [taylor]: Taking taylor expansion of im in re 2.612 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in re 2.612 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in re 2.612 * [taylor]: Taking taylor expansion of 2 in re 2.612 * [taylor]: Taking taylor expansion of (/ 1 im) in re 2.612 * [taylor]: Taking taylor expansion of im in re 2.612 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 2.612 * [taylor]: Taking taylor expansion of 1/60 in re 2.612 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 2.613 * [taylor]: Taking taylor expansion of (pow im 5) in re 2.613 * [taylor]: Taking taylor expansion of im in re 2.614 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))))) in im 2.614 * [taylor]: Taking taylor expansion of 0.5 in im 2.614 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))))) in im 2.614 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 2.614 * [taylor]: Taking taylor expansion of (/ -1 re) in im 2.614 * [taylor]: Taking taylor expansion of -1 in im 2.614 * [taylor]: Taking taylor expansion of re in im 2.614 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5))))) in im 2.614 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 2.614 * [taylor]: Taking taylor expansion of 1/3 in im 2.614 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 2.614 * [taylor]: Taking taylor expansion of (pow im 3) in im 2.614 * [taylor]: Taking taylor expansion of im in im 2.614 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 im)) (* 1/60 (/ 1 (pow im 5)))) in im 2.614 * [taylor]: Taking taylor expansion of (* 2 (/ 1 im)) in im 2.614 * [taylor]: Taking taylor expansion of 2 in im 2.614 * [taylor]: Taking taylor expansion of (/ 1 im) in im 2.614 * [taylor]: Taking taylor expansion of im in im 2.614 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 2.614 * [taylor]: Taking taylor expansion of 1/60 in im 2.614 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 2.614 * [taylor]: Taking taylor expansion of (pow im 5) in im 2.614 * [taylor]: Taking taylor expansion of im in im 2.616 * [taylor]: Taking taylor expansion of 0 in im 2.618 * [taylor]: Taking taylor expansion of 0 in im 2.621 * [taylor]: Taking taylor expansion of 0 in im 2.624 * [taylor]: Taking taylor expansion of 0 in im 2.626 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 2) 2.626 * [approximate]: Taking taylor expansion of (* 1/60 (pow im 5)) in (im) around 0 2.626 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 2.626 * [taylor]: Taking taylor expansion of 1/60 in im 2.626 * [taylor]: Taking taylor expansion of (pow im 5) in im 2.626 * [taylor]: Taking taylor expansion of im in im 2.626 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 2.626 * [taylor]: Taking taylor expansion of 1/60 in im 2.626 * [taylor]: Taking taylor expansion of (pow im 5) in im 2.626 * [taylor]: Taking taylor expansion of im in im 2.627 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 2.627 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 2.627 * [taylor]: Taking taylor expansion of 1/60 in im 2.627 * [taylor]: Taking taylor expansion of (pow im 5) in im 2.627 * [taylor]: Taking taylor expansion of im in im 2.627 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 2.627 * [taylor]: Taking taylor expansion of 1/60 in im 2.627 * [taylor]: Taking taylor expansion of (pow im 5) in im 2.627 * [taylor]: Taking taylor expansion of im in im 2.629 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 2.629 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 2.629 * [taylor]: Taking taylor expansion of -1/60 in im 2.629 * [taylor]: Taking taylor expansion of (pow im 5) in im 2.629 * [taylor]: Taking taylor expansion of im in im 2.629 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 2.629 * [taylor]: Taking taylor expansion of -1/60 in im 2.629 * [taylor]: Taking taylor expansion of (pow im 5) in im 2.629 * [taylor]: Taking taylor expansion of im in im 2.631 * * * [progress]: simplifying candidates 2.632 * [simplify]: Simplifying using # : (+ (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)) (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (+ (+ (log 0.5) (log (sin re))) (log (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (+ (log (* 0.5 (sin re))) (log (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (log (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (exp (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))) (cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (* (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (sqrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (sqrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (* 0.5 (sin re)) (* im -2)) (* (* 0.5 (sin re)) (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (* (* 0.5 (sin re)) (* im -2)) (* (* 0.5 (sin re)) (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (* (* im -2) (* 0.5 (sin re))) (* (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 0.5 (sin re))) (* (* im -2) (* 0.5 (sin re))) (* (neg (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))) (* (* 0.5 (sin re)) (sqrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (* 0.5 (sin re)) 1) (* (sin re) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (* (* 0.5 (sin re)) (- (pow (* im -2) 3) (pow (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) 3))) (* (* 0.5 (sin re)) (- (* (* im -2) (* im -2)) (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (log (pow im 5))) (log (* 1/60 (pow im 5))) (exp (* 1/60 (pow im 5))) (* (* (* 1/60 1/60) 1/60) (* (* (pow im 5) (pow im 5)) (pow im 5))) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (* (* (* 1/60 (pow im 5)) (* 1/60 (pow im 5))) (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (* (sqrt 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))) (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* 1/60 (pow (sqrt im) 5)) (* 1/60 (pow 1 5)) (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 1/60 (sqrt (pow im 5))) (* 1/60 1) (* 1/60 (pow im (/ 5 2))) (* (cbrt 1/60) (pow im 5)) (* (sqrt 1/60) (pow im 5)) (* 1/60 (pow im 5)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) (* -1.0 (* re im)) (neg (+ (* 1.0 (* (sin re) im)) (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (neg (+ (* 1.0 (* (sin re) im)) (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) 2.636 * * [simplify]: iteration 0 : 165 enodes (cost 1201 ) 2.665 * * [simplify]: iteration 1 : 433 enodes (cost 1138 ) 2.748 * * [simplify]: iteration 2 : 1554 enodes (cost 988 ) 3.128 * * [simplify]: iteration done : 5000 enodes (cost 986 ) 3.129 * [simplify]: Simplified to: (+ (log 1/3) (* (log im) 3)) (+ (log 1/3) (* (log im) 3)) (log (* 1/3 (pow im 3))) (log (* 1/3 (pow im 3))) (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))) (* (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))) (* (pow im 3/2) (sqrt 1/3)) (* (pow im 3/2) (sqrt 1/3)) (* 1/3 (* im im)) (* 1/3 (pow (sqrt im) 3)) 1/3 (* 1/3 (* im im)) (* 1/3 (* im im)) (* 1/3 (* im im)) (* 1/3 (pow (sqrt im) 3)) 1/3 (* im 1/3) (* 1/3 (sqrt (pow im 3))) 1/3 (* (pow im 3/2) 1/3) (* (cbrt 1/3) (pow im 3)) (* (sqrt 1/3) (pow im 3)) (* 1/3 (pow im 3)) (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (log (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (log (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (log (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (exp (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (pow (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) 3) (pow (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) 3) (* (cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))) (cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (pow (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) 3) (sqrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (sqrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (* im -2) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (* (* im -2) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (* (* im -2) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (* (* im -2) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (* (* 0.5 (sin re)) (* (cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))) (* (* 0.5 (sin re)) (sqrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* 0.5 (sin re)) (* (sin re) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) (* (* 0.5 (sin re)) (- (pow (* im -2) 3) (pow (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) 3))) (* (* 0.5 (sin re)) (- (* (* im im) 4) (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (+ (log 1/60) (* (log im) 5)) (+ (log 1/60) (* (log im) 5)) (log (* 1/60 (pow im 5))) (log (* 1/60 (pow im 5))) (exp (* 1/60 (pow im 5))) (pow (* 1/60 (pow im 5)) 3) (* (cbrt (* 1/60 (pow im 5))) (cbrt (* 1/60 (pow im 5)))) (cbrt (* 1/60 (pow im 5))) (pow (* 1/60 (pow im 5)) 3) (sqrt (* 1/60 (pow im 5))) (sqrt (* 1/60 (pow im 5))) (* (sqrt 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)) (* 1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* 1/60 (pow (sqrt im) 5)) 1/60 (* 1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* 1/60 (sqrt (pow im 5))) 1/60 (* 1/60 (pow im 5/2)) (* (cbrt 1/60) (pow im 5)) (* (sqrt 1/60) (pow im 5)) (* 1/60 (pow im 5)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) (* 1/3 (pow im 3)) (* -1.0 (* re im)) (neg (+ (* 1.0 (* (sin re) im)) (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (neg (+ (* 1.0 (* (sin re) im)) (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5)))))) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) (* 1/60 (pow im 5)) 3.130 * * * [progress]: adding candidates to table 3.288 * * [progress]: iteration 3 / 4 3.288 * * * [progress]: picking best candidate 3.332 * * * * [pick]: Picked # 3.332 * * * [progress]: localizing error 3.353 * * * [progress]: generating rewritten candidates 3.353 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 3.361 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 3.370 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 3.378 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 3.387 * * * [progress]: generating series expansions 3.387 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 3.388 * [approximate]: Taking taylor expansion of (* -1/3 (pow im 3)) in (im) around 0 3.388 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 3.388 * [taylor]: Taking taylor expansion of -1/3 in im 3.388 * [taylor]: Taking taylor expansion of (pow im 3) in im 3.388 * [taylor]: Taking taylor expansion of im in im 3.388 * [taylor]: Taking taylor expansion of (* -1/3 (pow im 3)) in im 3.388 * [taylor]: Taking taylor expansion of -1/3 in im 3.388 * [taylor]: Taking taylor expansion of (pow im 3) in im 3.388 * [taylor]: Taking taylor expansion of im in im 3.389 * [approximate]: Taking taylor expansion of (/ -1/3 (pow im 3)) in (im) around 0 3.389 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 3.389 * [taylor]: Taking taylor expansion of -1/3 in im 3.389 * [taylor]: Taking taylor expansion of (pow im 3) in im 3.389 * [taylor]: Taking taylor expansion of im in im 3.389 * [taylor]: Taking taylor expansion of (/ -1/3 (pow im 3)) in im 3.389 * [taylor]: Taking taylor expansion of -1/3 in im 3.389 * [taylor]: Taking taylor expansion of (pow im 3) in im 3.389 * [taylor]: Taking taylor expansion of im in im 3.390 * [approximate]: Taking taylor expansion of (/ 1/3 (pow im 3)) in (im) around 0 3.390 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 3.390 * [taylor]: Taking taylor expansion of 1/3 in im 3.390 * [taylor]: Taking taylor expansion of (pow im 3) in im 3.390 * [taylor]: Taking taylor expansion of im in im 3.391 * [taylor]: Taking taylor expansion of (/ 1/3 (pow im 3)) in im 3.391 * [taylor]: Taking taylor expansion of 1/3 in im 3.391 * [taylor]: Taking taylor expansion of (pow im 3) in im 3.391 * [taylor]: Taking taylor expansion of im in im 3.392 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 3.392 * [approximate]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) in (re im) around 0 3.392 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) in im 3.392 * [taylor]: Taking taylor expansion of -0.5 in im 3.392 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in im 3.392 * [taylor]: Taking taylor expansion of (sin re) in im 3.392 * [taylor]: Taking taylor expansion of re in im 3.392 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in im 3.392 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in im 3.392 * [taylor]: Taking taylor expansion of 1/3 in im 3.392 * [taylor]: Taking taylor expansion of (pow im 3) in im 3.392 * [taylor]: Taking taylor expansion of im in im 3.392 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in im 3.392 * [taylor]: Taking taylor expansion of 1/60 in im 3.392 * [taylor]: Taking taylor expansion of (pow im 5) in im 3.392 * [taylor]: Taking taylor expansion of im in im 3.392 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) in re 3.392 * [taylor]: Taking taylor expansion of -0.5 in re 3.392 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in re 3.392 * [taylor]: Taking taylor expansion of (sin re) in re 3.392 * [taylor]: Taking taylor expansion of re in re 3.392 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in re 3.392 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 3.392 * [taylor]: Taking taylor expansion of 1/3 in re 3.393 * [taylor]: Taking taylor expansion of (pow im 3) in re 3.393 * [taylor]: Taking taylor expansion of im in re 3.393 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 3.393 * [taylor]: Taking taylor expansion of 1/60 in re 3.393 * [taylor]: Taking taylor expansion of (pow im 5) in re 3.393 * [taylor]: Taking taylor expansion of im in re 3.393 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin re) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))) in re 3.393 * [taylor]: Taking taylor expansion of -0.5 in re 3.393 * [taylor]: Taking taylor expansion of (* (sin re) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) in re 3.393 * [taylor]: Taking taylor expansion of (sin re) in re 3.393 * [taylor]: Taking taylor expansion of re in re 3.393 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) in re 3.393 * [taylor]: Taking taylor expansion of (* 1/3 (pow im 3)) in re 3.393 * [taylor]: Taking taylor expansion of 1/3 in re 3.393 * [taylor]: Taking taylor expansion of (pow im 3) in re 3.393 * [taylor]: Taking taylor expansion of im in re 3.393 * [taylor]: Taking taylor expansion of (* 1/60 (pow im 5)) in re 3.393 * [taylor]: Taking taylor expansion of 1/60 in re 3.393 * [taylor]: Taking taylor expansion of (pow im 5) in re 3.393 * [taylor]: Taking taylor expansion of im in re 3.393 * [taylor]: Taking taylor expansion of 0 in im 3.394 * [taylor]: Taking taylor expansion of (neg (+ (* 0.16666666666666666 (pow im 3)) (* 0.008333333333333333 (pow im 5)))) in im 3.394 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (pow im 3)) (* 0.008333333333333333 (pow im 5))) in im 3.394 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow im 3)) in im 3.394 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 3.394 * [taylor]: Taking taylor expansion of (pow im 3) in im 3.395 * [taylor]: Taking taylor expansion of im in im 3.395 * [taylor]: Taking taylor expansion of (* 0.008333333333333333 (pow im 5)) in im 3.395 * [taylor]: Taking taylor expansion of 0.008333333333333333 in im 3.395 * [taylor]: Taking taylor expansion of (pow im 5) in im 3.395 * [taylor]: Taking taylor expansion of im in im 3.396 * [taylor]: Taking taylor expansion of 0 in im 3.397 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (pow im 3)) (* 0.001388888888888889 (pow im 5))) in im 3.397 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (pow im 3)) in im 3.397 * [taylor]: Taking taylor expansion of 0.027777777777777776 in im 3.397 * [taylor]: Taking taylor expansion of (pow im 3) in im 3.397 * [taylor]: Taking taylor expansion of im in im 3.397 * [taylor]: Taking taylor expansion of (* 0.001388888888888889 (pow im 5)) in im 3.397 * [taylor]: Taking taylor expansion of 0.001388888888888889 in im 3.397 * [taylor]: Taking taylor expansion of (pow im 5) in im 3.397 * [taylor]: Taking taylor expansion of im in im 3.398 * [approximate]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in (re im) around 0 3.398 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 3.398 * [taylor]: Taking taylor expansion of -0.5 in im 3.398 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 3.398 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 3.398 * [taylor]: Taking taylor expansion of (/ 1 re) in im 3.398 * [taylor]: Taking taylor expansion of re in im 3.398 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 3.398 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 3.398 * [taylor]: Taking taylor expansion of 1/3 in im 3.398 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 3.398 * [taylor]: Taking taylor expansion of (pow im 3) in im 3.398 * [taylor]: Taking taylor expansion of im in im 3.399 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 3.399 * [taylor]: Taking taylor expansion of 1/60 in im 3.399 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 3.399 * [taylor]: Taking taylor expansion of (pow im 5) in im 3.399 * [taylor]: Taking taylor expansion of im in im 3.399 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 3.399 * [taylor]: Taking taylor expansion of -0.5 in re 3.399 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 3.399 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 3.399 * [taylor]: Taking taylor expansion of (/ 1 re) in re 3.399 * [taylor]: Taking taylor expansion of re in re 3.399 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 3.399 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 3.399 * [taylor]: Taking taylor expansion of 1/3 in re 3.399 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 3.399 * [taylor]: Taking taylor expansion of (pow im 3) in re 3.399 * [taylor]: Taking taylor expansion of im in re 3.399 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 3.399 * [taylor]: Taking taylor expansion of 1/60 in re 3.399 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 3.399 * [taylor]: Taking taylor expansion of (pow im 5) in re 3.399 * [taylor]: Taking taylor expansion of im in re 3.399 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in re 3.399 * [taylor]: Taking taylor expansion of -0.5 in re 3.399 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in re 3.399 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 3.399 * [taylor]: Taking taylor expansion of (/ 1 re) in re 3.399 * [taylor]: Taking taylor expansion of re in re 3.400 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 3.400 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 3.400 * [taylor]: Taking taylor expansion of 1/3 in re 3.400 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 3.400 * [taylor]: Taking taylor expansion of (pow im 3) in re 3.400 * [taylor]: Taking taylor expansion of im in re 3.400 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 3.400 * [taylor]: Taking taylor expansion of 1/60 in re 3.400 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 3.400 * [taylor]: Taking taylor expansion of (pow im 5) in re 3.400 * [taylor]: Taking taylor expansion of im in re 3.401 * [taylor]: Taking taylor expansion of (* -0.5 (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))))) in im 3.401 * [taylor]: Taking taylor expansion of -0.5 in im 3.401 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5))))) in im 3.401 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 3.401 * [taylor]: Taking taylor expansion of (/ 1 re) in im 3.401 * [taylor]: Taking taylor expansion of re in im 3.401 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 3.401 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 3.401 * [taylor]: Taking taylor expansion of 1/3 in im 3.401 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 3.401 * [taylor]: Taking taylor expansion of (pow im 3) in im 3.401 * [taylor]: Taking taylor expansion of im in im 3.401 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 3.401 * [taylor]: Taking taylor expansion of 1/60 in im 3.401 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 3.401 * [taylor]: Taking taylor expansion of (pow im 5) in im 3.401 * [taylor]: Taking taylor expansion of im in im 3.403 * [taylor]: Taking taylor expansion of 0 in im 3.404 * [taylor]: Taking taylor expansion of 0 in im 3.407 * [taylor]: Taking taylor expansion of 0 in im 3.409 * [taylor]: Taking taylor expansion of 0 in im 3.412 * [taylor]: Taking taylor expansion of 0 in im 3.416 * [taylor]: Taking taylor expansion of 0 in im 3.421 * [taylor]: Taking taylor expansion of 0 in im 3.422 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re)))) in (re im) around 0 3.422 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re)))) in im 3.422 * [taylor]: Taking taylor expansion of 0.5 in im 3.422 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re))) in im 3.422 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 3.422 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 3.422 * [taylor]: Taking taylor expansion of 1/3 in im 3.422 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 3.422 * [taylor]: Taking taylor expansion of (pow im 3) in im 3.422 * [taylor]: Taking taylor expansion of im in im 3.422 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 3.422 * [taylor]: Taking taylor expansion of 1/60 in im 3.422 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 3.422 * [taylor]: Taking taylor expansion of (pow im 5) in im 3.422 * [taylor]: Taking taylor expansion of im in im 3.422 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 3.422 * [taylor]: Taking taylor expansion of (/ -1 re) in im 3.422 * [taylor]: Taking taylor expansion of -1 in im 3.422 * [taylor]: Taking taylor expansion of re in im 3.422 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re)))) in re 3.422 * [taylor]: Taking taylor expansion of 0.5 in re 3.422 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re))) in re 3.422 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 3.422 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 3.422 * [taylor]: Taking taylor expansion of 1/3 in re 3.422 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 3.422 * [taylor]: Taking taylor expansion of (pow im 3) in re 3.422 * [taylor]: Taking taylor expansion of im in re 3.422 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 3.422 * [taylor]: Taking taylor expansion of 1/60 in re 3.423 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 3.423 * [taylor]: Taking taylor expansion of (pow im 5) in re 3.423 * [taylor]: Taking taylor expansion of im in re 3.423 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 3.423 * [taylor]: Taking taylor expansion of (/ -1 re) in re 3.423 * [taylor]: Taking taylor expansion of -1 in re 3.423 * [taylor]: Taking taylor expansion of re in re 3.423 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re)))) in re 3.423 * [taylor]: Taking taylor expansion of 0.5 in re 3.423 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re))) in re 3.423 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in re 3.423 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in re 3.423 * [taylor]: Taking taylor expansion of 1/3 in re 3.423 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in re 3.423 * [taylor]: Taking taylor expansion of (pow im 3) in re 3.423 * [taylor]: Taking taylor expansion of im in re 3.423 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in re 3.423 * [taylor]: Taking taylor expansion of 1/60 in re 3.423 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in re 3.423 * [taylor]: Taking taylor expansion of (pow im 5) in re 3.423 * [taylor]: Taking taylor expansion of im in re 3.423 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 3.423 * [taylor]: Taking taylor expansion of (/ -1 re) in re 3.424 * [taylor]: Taking taylor expansion of -1 in re 3.424 * [taylor]: Taking taylor expansion of re in re 3.424 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re)))) in im 3.424 * [taylor]: Taking taylor expansion of 0.5 in im 3.424 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) (sin (/ -1 re))) in im 3.424 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow im 3))) (* 1/60 (/ 1 (pow im 5)))) in im 3.424 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow im 3))) in im 3.424 * [taylor]: Taking taylor expansion of 1/3 in im 3.424 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 3.424 * [taylor]: Taking taylor expansion of (pow im 3) in im 3.424 * [taylor]: Taking taylor expansion of im in im 3.424 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow im 5))) in im 3.424 * [taylor]: Taking taylor expansion of 1/60 in im 3.425 * [taylor]: Taking taylor expansion of (/ 1 (pow im 5)) in im 3.425 * [taylor]: Taking taylor expansion of (pow im 5) in im 3.425 * [taylor]: Taking taylor expansion of im in im 3.425 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 3.425 * [taylor]: Taking taylor expansion of (/ -1 re) in im 3.425 * [taylor]: Taking taylor expansion of -1 in im 3.425 * [taylor]: Taking taylor expansion of re in im 3.426 * [taylor]: Taking taylor expansion of 0 in im 3.428 * [taylor]: Taking taylor expansion of 0 in im 3.430 * [taylor]: Taking taylor expansion of 0 in im 3.433 * [taylor]: Taking taylor expansion of 0 in im 3.436 * [taylor]: Taking taylor expansion of 0 in im 3.440 * [taylor]: Taking taylor expansion of 0 in im 3.445 * [taylor]: Taking taylor expansion of 0 in im 3.445 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 3.445 * [approximate]: Taking taylor expansion of (* -1.0 (* (sin re) im)) in (im re) around 0 3.445 * [taylor]: Taking taylor expansion of (* -1.0 (* (sin re) im)) in re 3.445 * [taylor]: Taking taylor expansion of -1.0 in re 3.445 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 3.445 * [taylor]: Taking taylor expansion of (sin re) in re 3.445 * [taylor]: Taking taylor expansion of re in re 3.446 * [taylor]: Taking taylor expansion of im in re 3.446 * [taylor]: Taking taylor expansion of (* -1.0 (* (sin re) im)) in im 3.446 * [taylor]: Taking taylor expansion of -1.0 in im 3.446 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 3.446 * [taylor]: Taking taylor expansion of (sin re) in im 3.446 * [taylor]: Taking taylor expansion of re in im 3.446 * [taylor]: Taking taylor expansion of im in im 3.446 * [taylor]: Taking taylor expansion of (* -1.0 (* (sin re) im)) in im 3.446 * [taylor]: Taking taylor expansion of -1.0 in im 3.446 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 3.446 * [taylor]: Taking taylor expansion of (sin re) in im 3.446 * [taylor]: Taking taylor expansion of re in im 3.446 * [taylor]: Taking taylor expansion of im in im 3.446 * [taylor]: Taking taylor expansion of 0 in re 3.446 * [taylor]: Taking taylor expansion of (neg (* 1.0 (sin re))) in re 3.446 * [taylor]: Taking taylor expansion of (* 1.0 (sin re)) in re 3.446 * [taylor]: Taking taylor expansion of 1.0 in re 3.446 * [taylor]: Taking taylor expansion of (sin re) in re 3.446 * [taylor]: Taking taylor expansion of re in re 3.447 * [taylor]: Taking taylor expansion of 0 in re 3.447 * [taylor]: Taking taylor expansion of 0 in re 3.448 * [taylor]: Taking taylor expansion of 0 in re 3.448 * [approximate]: Taking taylor expansion of (* -1.0 (/ (sin (/ 1 re)) im)) in (im re) around 0 3.448 * [taylor]: Taking taylor expansion of (* -1.0 (/ (sin (/ 1 re)) im)) in re 3.448 * [taylor]: Taking taylor expansion of -1.0 in re 3.448 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 3.448 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 3.448 * [taylor]: Taking taylor expansion of (/ 1 re) in re 3.448 * [taylor]: Taking taylor expansion of re in re 3.448 * [taylor]: Taking taylor expansion of im in re 3.448 * [taylor]: Taking taylor expansion of (* -1.0 (/ (sin (/ 1 re)) im)) in im 3.449 * [taylor]: Taking taylor expansion of -1.0 in im 3.449 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 3.449 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 3.449 * [taylor]: Taking taylor expansion of (/ 1 re) in im 3.449 * [taylor]: Taking taylor expansion of re in im 3.449 * [taylor]: Taking taylor expansion of im in im 3.449 * [taylor]: Taking taylor expansion of (* -1.0 (/ (sin (/ 1 re)) im)) in im 3.449 * [taylor]: Taking taylor expansion of -1.0 in im 3.449 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 3.449 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 3.449 * [taylor]: Taking taylor expansion of (/ 1 re) in im 3.449 * [taylor]: Taking taylor expansion of re in im 3.449 * [taylor]: Taking taylor expansion of im in im 3.449 * [taylor]: Taking taylor expansion of (* -1.0 (sin (/ 1 re))) in re 3.449 * [taylor]: Taking taylor expansion of -1.0 in re 3.449 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 3.449 * [taylor]: Taking taylor expansion of (/ 1 re) in re 3.449 * [taylor]: Taking taylor expansion of re in re 3.453 * [taylor]: Taking taylor expansion of 0 in re 3.454 * [taylor]: Taking taylor expansion of 0 in re 3.455 * [taylor]: Taking taylor expansion of 0 in re 3.455 * [approximate]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 re)) im)) in (im re) around 0 3.455 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 re)) im)) in re 3.455 * [taylor]: Taking taylor expansion of 1.0 in re 3.455 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 3.455 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 3.455 * [taylor]: Taking taylor expansion of (/ -1 re) in re 3.455 * [taylor]: Taking taylor expansion of -1 in re 3.455 * [taylor]: Taking taylor expansion of re in re 3.455 * [taylor]: Taking taylor expansion of im in re 3.455 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 re)) im)) in im 3.455 * [taylor]: Taking taylor expansion of 1.0 in im 3.455 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 3.455 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 3.455 * [taylor]: Taking taylor expansion of (/ -1 re) in im 3.455 * [taylor]: Taking taylor expansion of -1 in im 3.455 * [taylor]: Taking taylor expansion of re in im 3.455 * [taylor]: Taking taylor expansion of im in im 3.455 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ -1 re)) im)) in im 3.455 * [taylor]: Taking taylor expansion of 1.0 in im 3.455 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 3.455 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 3.455 * [taylor]: Taking taylor expansion of (/ -1 re) in im 3.455 * [taylor]: Taking taylor expansion of -1 in im 3.455 * [taylor]: Taking taylor expansion of re in im 3.456 * [taylor]: Taking taylor expansion of im in im 3.456 * [taylor]: Taking taylor expansion of (* 1.0 (sin (/ -1 re))) in re 3.456 * [taylor]: Taking taylor expansion of 1.0 in re 3.456 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 3.456 * [taylor]: Taking taylor expansion of (/ -1 re) in re 3.456 * [taylor]: Taking taylor expansion of -1 in re 3.456 * [taylor]: Taking taylor expansion of re in re 3.456 * [taylor]: Taking taylor expansion of 0 in re 3.457 * [taylor]: Taking taylor expansion of 0 in re 3.458 * [taylor]: Taking taylor expansion of 0 in re 3.458 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 3.458 * [approximate]: Taking taylor expansion of (* -1/60 (pow im 5)) in (im) around 0 3.458 * [taylor]: Taking taylor expansion of (* -1/60 (pow im 5)) in im 3.458 * [taylor]: Taking taylor expansion of -1/60 in im 3.458 * [taylor]: Taking taylor expansion of (pow im 5) in im 3.458 * [taylor]: Taking taylor expansion of im in im 3.458 * [taylor]: Taking taylor expansion of (* -1/60 (pow im 5)) in im 3.458 * [taylor]: Taking taylor expansion of -1/60 in im 3.458 * [taylor]: Taking taylor expansion of (pow im 5) in im 3.458 * [taylor]: Taking taylor expansion of im in im 3.459 * [approximate]: Taking taylor expansion of (/ -1/60 (pow im 5)) in (im) around 0 3.459 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 3.459 * [taylor]: Taking taylor expansion of -1/60 in im 3.459 * [taylor]: Taking taylor expansion of (pow im 5) in im 3.460 * [taylor]: Taking taylor expansion of im in im 3.460 * [taylor]: Taking taylor expansion of (/ -1/60 (pow im 5)) in im 3.460 * [taylor]: Taking taylor expansion of -1/60 in im 3.460 * [taylor]: Taking taylor expansion of (pow im 5) in im 3.460 * [taylor]: Taking taylor expansion of im in im 3.461 * [approximate]: Taking taylor expansion of (/ 1/60 (pow im 5)) in (im) around 0 3.461 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 3.461 * [taylor]: Taking taylor expansion of 1/60 in im 3.461 * [taylor]: Taking taylor expansion of (pow im 5) in im 3.461 * [taylor]: Taking taylor expansion of im in im 3.461 * [taylor]: Taking taylor expansion of (/ 1/60 (pow im 5)) in im 3.461 * [taylor]: Taking taylor expansion of 1/60 in im 3.461 * [taylor]: Taking taylor expansion of (pow im 5) in im 3.461 * [taylor]: Taking taylor expansion of im in im 3.463 * * * [progress]: simplifying candidates 3.464 * [simplify]: Simplifying using # : (+ (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)) (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (+ (+ (log 0.5) (log (sin re))) (log (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (+ (log (* 0.5 (sin re))) (log (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (log (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (exp (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (* (cbrt (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (cbrt (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))))) (cbrt (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (* (* (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (sqrt (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (sqrt (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (* (* 0.5 (sin re)) (* -1/60 (pow im 5))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (* -1/60 (pow im 5)) (* 0.5 (sin re))) (* (* -1/3 (pow im 3)) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (cbrt (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))))) (* (* 0.5 (sin re)) (sqrt (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (* (* 0.5 (sin re)) 1) (* (sin re) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (* (* 0.5 (sin re)) (+ (pow (* -1/60 (pow im 5)) 3) (pow (* -1/3 (pow im 3)) 3))) (* (* 0.5 (sin re)) (- (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* (* -1/3 (pow im 3)) (* -1/3 (pow im 3))))) (* (* im -2) (* 0.5 (sin re))) (* (* im -2) (* 0.5 (sin re))) (* (* im -2) (* 0.5 (sin re))) (* (* im -2) (* 0.5 (sin re))) (+ (+ (log im) (log -2)) (+ (log 0.5) (log (sin re)))) (+ (+ (log im) (log -2)) (log (* 0.5 (sin re)))) (+ (log (* im -2)) (+ (log 0.5) (log (sin re)))) (+ (log (* im -2)) (log (* 0.5 (sin re)))) (log (* (* im -2) (* 0.5 (sin re)))) (exp (* (* im -2) (* 0.5 (sin re)))) (* (* (* (* im im) im) (* (* -2 -2) -2)) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) (* (* (* (* im im) im) (* (* -2 -2) -2)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) (* (* (* (* im -2) (* im -2)) (* im -2)) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) (* (* (* (* im -2) (* im -2)) (* im -2)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (* (* im -2) (* 0.5 (sin re)))) (* (* (* (* im -2) (* 0.5 (sin re))) (* (* im -2) (* 0.5 (sin re)))) (* (* im -2) (* 0.5 (sin re)))) (sqrt (* (* im -2) (* 0.5 (sin re)))) (sqrt (* (* im -2) (* 0.5 (sin re)))) (* (* im -2) 0.5) (* -2 (* 0.5 (sin re))) (+ (log -1/60) (* (log im) 5)) (+ (log -1/60) (* (log im) 5)) (+ (log -1/60) (log (pow im 5))) (log (* -1/60 (pow im 5))) (exp (* -1/60 (pow im 5))) (* (* (* -1/60 -1/60) -1/60) (* (* (pow im 5) (pow im 5)) (pow im 5))) (* (cbrt (* -1/60 (pow im 5))) (cbrt (* -1/60 (pow im 5)))) (cbrt (* -1/60 (pow im 5))) (* (* (* -1/60 (pow im 5)) (* -1/60 (pow im 5))) (* -1/60 (pow im 5))) (sqrt (* -1/60 (pow im 5))) (sqrt (* -1/60 (pow im 5))) (* (sqrt -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))) (* -1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* -1/60 (pow (sqrt im) 5)) (* -1/60 (pow 1 5)) (* -1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* -1/60 (sqrt (pow im 5))) (* -1/60 1) (* -1/60 (pow im (/ 5 2))) (* (cbrt -1/60) (pow im 5)) (* (sqrt -1/60) (pow im 5)) (* -1/60 (pow im 5)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (* -1/3 (pow im 3)) (- (* 0.027777777777777776 (* (pow re 3) (pow im 3))) (+ (* 0.16666666666666666 (* re (pow im 3))) (* 0.008333333333333333 (* re (pow im 5))))) (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5))))) (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5))))) (* -1.0 (* re im)) (* -1.0 (* (sin re) im)) (* -1.0 (* (sin re) im)) (* -1/60 (pow im 5)) (* -1/60 (pow im 5)) (* -1/60 (pow im 5)) 3.469 * * [simplify]: iteration 0 : 196 enodes (cost 1337 ) 3.500 * * [simplify]: iteration 1 : 555 enodes (cost 1244 ) 3.624 * * [simplify]: iteration 2 : 2281 enodes (cost 1058 ) 4.123 * * [simplify]: iteration done : 5000 enodes (cost 1056 ) 4.124 * [simplify]: Simplified to: (+ (log -1/3) (* (log im) 3)) (+ (log -1/3) (* (log im) 3)) (log (* -1/3 (pow im 3))) (log (* -1/3 (pow im 3))) (exp (* -1/3 (pow im 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))) (* (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))) (* (pow im 3/2) (sqrt -1/3)) (* (pow im 3/2) (sqrt -1/3)) (* -1/3 (* im im)) (* -1/3 (pow (sqrt im) 3)) -1/3 (* -1/3 (* im im)) (* -1/3 (* im im)) (* -1/3 (* im im)) (* -1/3 (pow (sqrt im) 3)) -1/3 (* im -1/3) (* -1/3 (sqrt (pow im 3))) -1/3 (* (pow im 3/2) -1/3) (* (cbrt -1/3) (pow im 3)) (* (sqrt -1/3) (pow im 3)) (* (pow im 3) -1/3) (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (log (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (log (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (log (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (exp (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (pow (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) 3) (pow (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) 3) (* (cbrt (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (cbrt (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))))) (cbrt (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (pow (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) 3) (sqrt (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (sqrt (* (* 0.5 (sin re)) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (* (* 0.5 (sin re)) (* -1/60 (pow im 5))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (* 0.5 (sin re)) (* -1/60 (pow im 5))) (* (* 0.5 (sin re)) (* -1/3 (pow im 3))) (* (* 0.5 (sin re)) (* (cbrt (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (cbrt (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))))) (* (* 0.5 (sin re)) (sqrt (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3))))) (* 0.5 (sin re)) (* (sin re) (+ (* -1/60 (pow im 5)) (* -1/3 (pow im 3)))) (* (* 0.5 (sin re)) (+ (pow (* -1/60 (pow im 5)) 3) (pow (* -1/3 (pow im 3)) 3))) (* (- (* 1/3600 (pow im 10)) (* 1/9 (pow im 6))) (* 0.5 (sin re))) (* (* im -2) (* 0.5 (sin re))) (* (* im -2) (* 0.5 (sin re))) (* (* im -2) (* 0.5 (sin re))) (* (* im -2) (* 0.5 (sin re))) (+ (log (* 0.5 (sin re))) (+ (log im) (log -2))) (+ (log (* 0.5 (sin re))) (+ (log im) (log -2))) (log (* (* im -2) (* 0.5 (sin re)))) (log (* (* im -2) (* 0.5 (sin re)))) (log (* (* im -2) (* 0.5 (sin re)))) (exp (* (* im -2) (* 0.5 (sin re)))) (* -8 (* (pow im 3) (pow (* 0.5 (sin re)) 3))) (* -8 (* (pow im 3) (pow (* 0.5 (sin re)) 3))) (pow (* (* im -2) (* 0.5 (sin re))) 3) (pow (* (* im -2) (* 0.5 (sin re))) 3) (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (* (* im -2) (* 0.5 (sin re)))) (pow (* (* im -2) (* 0.5 (sin re))) 3) (sqrt (* (* im -2) (* 0.5 (sin re)))) (sqrt (* (* im -2) (* 0.5 (sin re)))) (* (* im -2) 0.5) (* -2 (* 0.5 (sin re))) (+ (log -1/60) (* (log im) 5)) (+ (log -1/60) (* (log im) 5)) (log (* -1/60 (pow im 5))) (log (* -1/60 (pow im 5))) (exp (* -1/60 (pow im 5))) (* -1/216000 (pow (pow im 5) 3)) (* (cbrt (* -1/60 (pow im 5))) (cbrt (* -1/60 (pow im 5)))) (cbrt (* -1/60 (pow im 5))) (* -1/216000 (pow (pow im 5) 3)) (sqrt (* -1/60 (pow im 5))) (sqrt (* -1/60 (pow im 5))) (* (sqrt -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))) (* (pow im 5/2) (sqrt -1/60)) (* (pow im 5/2) (sqrt -1/60)) (* -1/60 (pow (* (cbrt im) (cbrt im)) 5)) (* -1/60 (pow (sqrt im) 5)) -1/60 (* -1/60 (* (cbrt (pow im 5)) (cbrt (pow im 5)))) (* -1/60 (sqrt (pow im 5))) -1/60 (* (pow im 5/2) -1/60) (* (cbrt -1/60) (pow im 5)) (* (sqrt -1/60) (pow im 5)) (* -1/60 (pow im 5)) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (* (pow im 3) -1/3) (- (* (pow im 3) (- (* 0.027777777777777776 (pow re 3)) (* 0.16666666666666666 re))) (* 0.008333333333333333 (* re (pow im 5)))) (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5))))) (neg (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 0.008333333333333333 (* (sin re) (pow im 5))))) (* -1.0 (* re im)) (* -1.0 (* (sin re) im)) (* -1.0 (* (sin re) im)) (* -1/60 (pow im 5)) (* -1/60 (pow im 5)) (* -1/60 (pow im 5)) 4.125 * * * [progress]: adding candidates to table 4.327 * * [progress]: iteration 4 / 4 4.327 * * * [progress]: picking best candidate 4.368 * * * * [pick]: Picked # 4.368 * * * [progress]: localizing error 4.389 * * * [progress]: generating rewritten candidates 4.389 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 4.395 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 4.402 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 4.408 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 4.418 * * * [progress]: generating series expansions 4.418 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 4.418 * [approximate]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in (im re) around 0 4.418 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in re 4.418 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in re 4.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in re 4.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in re 4.418 * [taylor]: Taking taylor expansion of 1/3 in re 4.418 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in re 4.418 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 4.418 * [taylor]: Taking taylor expansion of (sin re) in re 4.418 * [taylor]: Taking taylor expansion of re in re 4.418 * [taylor]: Taking taylor expansion of im in re 4.419 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.419 * [taylor]: Taking taylor expansion of -1.0 in re 4.419 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in im 4.419 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 4.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 4.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 4.419 * [taylor]: Taking taylor expansion of 1/3 in im 4.419 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 4.419 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 4.419 * [taylor]: Taking taylor expansion of (sin re) in im 4.419 * [taylor]: Taking taylor expansion of re in im 4.419 * [taylor]: Taking taylor expansion of im in im 4.420 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.420 * [taylor]: Taking taylor expansion of -1.0 in im 4.420 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in im 4.420 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 4.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 4.420 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 4.420 * [taylor]: Taking taylor expansion of 1/3 in im 4.420 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 4.420 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 4.420 * [taylor]: Taking taylor expansion of (sin re) in im 4.420 * [taylor]: Taking taylor expansion of re in im 4.420 * [taylor]: Taking taylor expansion of im in im 4.420 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.420 * [taylor]: Taking taylor expansion of -1.0 in im 4.421 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (+ (log (sin re)) (log im))))) in re 4.421 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.421 * [taylor]: Taking taylor expansion of -1.0 in re 4.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin re)) (log im)))) in re 4.421 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin re)) (log im))) in re 4.421 * [taylor]: Taking taylor expansion of 1/3 in re 4.421 * [taylor]: Taking taylor expansion of (+ (log (sin re)) (log im)) in re 4.421 * [taylor]: Taking taylor expansion of (log (sin re)) in re 4.421 * [taylor]: Taking taylor expansion of (sin re) in re 4.421 * [taylor]: Taking taylor expansion of re in re 4.421 * [taylor]: Taking taylor expansion of (log im) in re 4.421 * [taylor]: Taking taylor expansion of im in re 4.422 * [taylor]: Taking taylor expansion of 0 in re 4.425 * [taylor]: Taking taylor expansion of 0 in re 4.428 * [taylor]: Taking taylor expansion of 0 in re 4.432 * [taylor]: Taking taylor expansion of 0 in re 4.432 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in (im re) around 0 4.432 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in re 4.433 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in re 4.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in re 4.433 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in re 4.433 * [taylor]: Taking taylor expansion of 1/3 in re 4.433 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in re 4.433 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 4.433 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 4.433 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.433 * [taylor]: Taking taylor expansion of re in re 4.433 * [taylor]: Taking taylor expansion of im in re 4.433 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.433 * [taylor]: Taking taylor expansion of -1.0 in re 4.433 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 4.433 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 4.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 4.433 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 4.433 * [taylor]: Taking taylor expansion of 1/3 in im 4.433 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 4.433 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 4.433 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 4.433 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.433 * [taylor]: Taking taylor expansion of re in im 4.433 * [taylor]: Taking taylor expansion of im in im 4.434 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.434 * [taylor]: Taking taylor expansion of -1.0 in im 4.434 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 4.434 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 4.434 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 4.434 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 4.434 * [taylor]: Taking taylor expansion of 1/3 in im 4.434 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 4.434 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 4.434 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 4.434 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.434 * [taylor]: Taking taylor expansion of re in im 4.434 * [taylor]: Taking taylor expansion of im in im 4.434 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.435 * [taylor]: Taking taylor expansion of -1.0 in im 4.435 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (- (log (sin (/ 1 re))) (log im))))) in re 4.435 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.435 * [taylor]: Taking taylor expansion of -1.0 in re 4.435 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 re))) (log im)))) in re 4.435 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 re))) (log im))) in re 4.435 * [taylor]: Taking taylor expansion of 1/3 in re 4.435 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 re))) (log im)) in re 4.435 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 4.435 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 4.435 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.435 * [taylor]: Taking taylor expansion of re in re 4.435 * [taylor]: Taking taylor expansion of (log im) in re 4.435 * [taylor]: Taking taylor expansion of im in re 4.437 * [taylor]: Taking taylor expansion of 0 in re 4.441 * [taylor]: Taking taylor expansion of 0 in re 4.444 * [taylor]: Taking taylor expansion of 0 in re 4.445 * [approximate]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in (im re) around 0 4.445 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in re 4.445 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 4.445 * [taylor]: Taking taylor expansion of 1.0 in re 4.445 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in re 4.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in re 4.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in re 4.445 * [taylor]: Taking taylor expansion of 1/3 in re 4.445 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in re 4.445 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 4.445 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 4.445 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.445 * [taylor]: Taking taylor expansion of -1 in re 4.445 * [taylor]: Taking taylor expansion of re in re 4.445 * [taylor]: Taking taylor expansion of im in re 4.445 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in im 4.445 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 4.445 * [taylor]: Taking taylor expansion of 1.0 in im 4.445 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 4.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 4.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 4.445 * [taylor]: Taking taylor expansion of 1/3 in im 4.445 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 4.445 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 4.445 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 4.445 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.445 * [taylor]: Taking taylor expansion of -1 in im 4.445 * [taylor]: Taking taylor expansion of re in im 4.445 * [taylor]: Taking taylor expansion of im in im 4.446 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in im 4.446 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 4.446 * [taylor]: Taking taylor expansion of 1.0 in im 4.446 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 4.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 4.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 4.446 * [taylor]: Taking taylor expansion of 1/3 in im 4.446 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 4.446 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 4.446 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 4.446 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.446 * [taylor]: Taking taylor expansion of -1 in im 4.446 * [taylor]: Taking taylor expansion of re in im 4.446 * [taylor]: Taking taylor expansion of im in im 4.447 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (exp (* 1/3 (- (log (sin (/ -1 re))) (log im))))) in re 4.447 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 4.447 * [taylor]: Taking taylor expansion of 1.0 in re 4.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 re))) (log im)))) in re 4.447 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 re))) (log im))) in re 4.447 * [taylor]: Taking taylor expansion of 1/3 in re 4.447 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 re))) (log im)) in re 4.447 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 4.447 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 4.447 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.447 * [taylor]: Taking taylor expansion of -1 in re 4.447 * [taylor]: Taking taylor expansion of re in re 4.447 * [taylor]: Taking taylor expansion of (log im) in re 4.447 * [taylor]: Taking taylor expansion of im in re 4.448 * [taylor]: Taking taylor expansion of 0 in re 4.450 * [taylor]: Taking taylor expansion of 0 in re 4.453 * [taylor]: Taking taylor expansion of 0 in re 4.453 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 4.453 * [approximate]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in (im re) around 0 4.453 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in re 4.453 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in re 4.453 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in re 4.453 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in re 4.453 * [taylor]: Taking taylor expansion of 1/3 in re 4.453 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in re 4.453 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 4.453 * [taylor]: Taking taylor expansion of (sin re) in re 4.453 * [taylor]: Taking taylor expansion of re in re 4.453 * [taylor]: Taking taylor expansion of im in re 4.454 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.454 * [taylor]: Taking taylor expansion of -1.0 in re 4.454 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in im 4.454 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 4.454 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 4.454 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 4.454 * [taylor]: Taking taylor expansion of 1/3 in im 4.454 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 4.454 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 4.454 * [taylor]: Taking taylor expansion of (sin re) in im 4.454 * [taylor]: Taking taylor expansion of re in im 4.454 * [taylor]: Taking taylor expansion of im in im 4.454 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.454 * [taylor]: Taking taylor expansion of -1.0 in im 4.455 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in im 4.455 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 4.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 4.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 4.455 * [taylor]: Taking taylor expansion of 1/3 in im 4.455 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 4.455 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 4.455 * [taylor]: Taking taylor expansion of (sin re) in im 4.455 * [taylor]: Taking taylor expansion of re in im 4.455 * [taylor]: Taking taylor expansion of im in im 4.455 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.455 * [taylor]: Taking taylor expansion of -1.0 in im 4.455 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (+ (log (sin re)) (log im))))) in re 4.456 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.456 * [taylor]: Taking taylor expansion of -1.0 in re 4.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin re)) (log im)))) in re 4.456 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin re)) (log im))) in re 4.456 * [taylor]: Taking taylor expansion of 1/3 in re 4.456 * [taylor]: Taking taylor expansion of (+ (log (sin re)) (log im)) in re 4.456 * [taylor]: Taking taylor expansion of (log (sin re)) in re 4.456 * [taylor]: Taking taylor expansion of (sin re) in re 4.456 * [taylor]: Taking taylor expansion of re in re 4.456 * [taylor]: Taking taylor expansion of (log im) in re 4.456 * [taylor]: Taking taylor expansion of im in re 4.457 * [taylor]: Taking taylor expansion of 0 in re 4.459 * [taylor]: Taking taylor expansion of 0 in re 4.462 * [taylor]: Taking taylor expansion of 0 in re 4.466 * [taylor]: Taking taylor expansion of 0 in re 4.467 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in (im re) around 0 4.467 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in re 4.467 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in re 4.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in re 4.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in re 4.467 * [taylor]: Taking taylor expansion of 1/3 in re 4.467 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in re 4.467 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 4.467 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 4.467 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.467 * [taylor]: Taking taylor expansion of re in re 4.467 * [taylor]: Taking taylor expansion of im in re 4.467 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.467 * [taylor]: Taking taylor expansion of -1.0 in re 4.467 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 4.467 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 4.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 4.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 4.467 * [taylor]: Taking taylor expansion of 1/3 in im 4.468 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 4.468 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 4.468 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 4.468 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.468 * [taylor]: Taking taylor expansion of re in im 4.468 * [taylor]: Taking taylor expansion of im in im 4.468 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.468 * [taylor]: Taking taylor expansion of -1.0 in im 4.468 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 4.468 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 4.468 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 4.468 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 4.468 * [taylor]: Taking taylor expansion of 1/3 in im 4.468 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 4.468 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 4.468 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 4.468 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.468 * [taylor]: Taking taylor expansion of re in im 4.468 * [taylor]: Taking taylor expansion of im in im 4.469 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.469 * [taylor]: Taking taylor expansion of -1.0 in im 4.469 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (- (log (sin (/ 1 re))) (log im))))) in re 4.469 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.469 * [taylor]: Taking taylor expansion of -1.0 in re 4.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 re))) (log im)))) in re 4.469 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 re))) (log im))) in re 4.469 * [taylor]: Taking taylor expansion of 1/3 in re 4.469 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 re))) (log im)) in re 4.469 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 4.469 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 4.469 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.469 * [taylor]: Taking taylor expansion of re in re 4.470 * [taylor]: Taking taylor expansion of (log im) in re 4.470 * [taylor]: Taking taylor expansion of im in re 4.471 * [taylor]: Taking taylor expansion of 0 in re 4.473 * [taylor]: Taking taylor expansion of 0 in re 4.476 * [taylor]: Taking taylor expansion of 0 in re 4.476 * [approximate]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in (im re) around 0 4.476 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in re 4.476 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 4.476 * [taylor]: Taking taylor expansion of 1.0 in re 4.476 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in re 4.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in re 4.476 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in re 4.476 * [taylor]: Taking taylor expansion of 1/3 in re 4.476 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in re 4.476 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 4.476 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 4.476 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.476 * [taylor]: Taking taylor expansion of -1 in re 4.476 * [taylor]: Taking taylor expansion of re in re 4.476 * [taylor]: Taking taylor expansion of im in re 4.477 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in im 4.477 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 4.477 * [taylor]: Taking taylor expansion of 1.0 in im 4.477 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 4.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 4.477 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 4.477 * [taylor]: Taking taylor expansion of 1/3 in im 4.477 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 4.477 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 4.477 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 4.477 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.477 * [taylor]: Taking taylor expansion of -1 in im 4.477 * [taylor]: Taking taylor expansion of re in im 4.477 * [taylor]: Taking taylor expansion of im in im 4.477 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in im 4.477 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 4.477 * [taylor]: Taking taylor expansion of 1.0 in im 4.477 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 4.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 4.478 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 4.478 * [taylor]: Taking taylor expansion of 1/3 in im 4.478 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 4.478 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 4.478 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 4.478 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.478 * [taylor]: Taking taylor expansion of -1 in im 4.478 * [taylor]: Taking taylor expansion of re in im 4.478 * [taylor]: Taking taylor expansion of im in im 4.478 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (exp (* 1/3 (- (log (sin (/ -1 re))) (log im))))) in re 4.478 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 4.478 * [taylor]: Taking taylor expansion of 1.0 in re 4.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 re))) (log im)))) in re 4.478 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 re))) (log im))) in re 4.478 * [taylor]: Taking taylor expansion of 1/3 in re 4.478 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 re))) (log im)) in re 4.478 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 4.478 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 4.478 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.478 * [taylor]: Taking taylor expansion of -1 in re 4.478 * [taylor]: Taking taylor expansion of re in re 4.479 * [taylor]: Taking taylor expansion of (log im) in re 4.479 * [taylor]: Taking taylor expansion of im in re 4.480 * [taylor]: Taking taylor expansion of 0 in re 4.482 * [taylor]: Taking taylor expansion of 0 in re 4.484 * [taylor]: Taking taylor expansion of 0 in re 4.484 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 4.484 * [approximate]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in (im re) around 0 4.484 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in re 4.484 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in re 4.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in re 4.485 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in re 4.485 * [taylor]: Taking taylor expansion of 1/3 in re 4.485 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in re 4.485 * [taylor]: Taking taylor expansion of (* (sin re) im) in re 4.485 * [taylor]: Taking taylor expansion of (sin re) in re 4.485 * [taylor]: Taking taylor expansion of re in re 4.485 * [taylor]: Taking taylor expansion of im in re 4.485 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.485 * [taylor]: Taking taylor expansion of -1.0 in re 4.485 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in im 4.485 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 4.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 4.485 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 4.485 * [taylor]: Taking taylor expansion of 1/3 in im 4.485 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 4.485 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 4.485 * [taylor]: Taking taylor expansion of (sin re) in im 4.485 * [taylor]: Taking taylor expansion of re in im 4.485 * [taylor]: Taking taylor expansion of im in im 4.486 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.486 * [taylor]: Taking taylor expansion of -1.0 in im 4.486 * [taylor]: Taking taylor expansion of (* (pow (* (sin re) im) 1/3) (cbrt -1.0)) in im 4.486 * [taylor]: Taking taylor expansion of (pow (* (sin re) im) 1/3) in im 4.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin re) im)))) in im 4.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin re) im))) in im 4.486 * [taylor]: Taking taylor expansion of 1/3 in im 4.486 * [taylor]: Taking taylor expansion of (log (* (sin re) im)) in im 4.486 * [taylor]: Taking taylor expansion of (* (sin re) im) in im 4.486 * [taylor]: Taking taylor expansion of (sin re) in im 4.486 * [taylor]: Taking taylor expansion of re in im 4.486 * [taylor]: Taking taylor expansion of im in im 4.486 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.487 * [taylor]: Taking taylor expansion of -1.0 in im 4.487 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (+ (log (sin re)) (log im))))) in re 4.487 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.487 * [taylor]: Taking taylor expansion of -1.0 in re 4.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin re)) (log im)))) in re 4.487 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin re)) (log im))) in re 4.487 * [taylor]: Taking taylor expansion of 1/3 in re 4.487 * [taylor]: Taking taylor expansion of (+ (log (sin re)) (log im)) in re 4.487 * [taylor]: Taking taylor expansion of (log (sin re)) in re 4.487 * [taylor]: Taking taylor expansion of (sin re) in re 4.487 * [taylor]: Taking taylor expansion of re in re 4.487 * [taylor]: Taking taylor expansion of (log im) in re 4.487 * [taylor]: Taking taylor expansion of im in re 4.488 * [taylor]: Taking taylor expansion of 0 in re 4.490 * [taylor]: Taking taylor expansion of 0 in re 4.493 * [taylor]: Taking taylor expansion of 0 in re 4.497 * [taylor]: Taking taylor expansion of 0 in re 4.498 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in (im re) around 0 4.498 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in re 4.498 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in re 4.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in re 4.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in re 4.498 * [taylor]: Taking taylor expansion of 1/3 in re 4.498 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in re 4.498 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in re 4.498 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 4.498 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.498 * [taylor]: Taking taylor expansion of re in re 4.498 * [taylor]: Taking taylor expansion of im in re 4.498 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.499 * [taylor]: Taking taylor expansion of -1.0 in re 4.499 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 4.499 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 4.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 4.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 4.499 * [taylor]: Taking taylor expansion of 1/3 in im 4.499 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 4.499 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 4.499 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 4.499 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.499 * [taylor]: Taking taylor expansion of re in im 4.499 * [taylor]: Taking taylor expansion of im in im 4.499 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.499 * [taylor]: Taking taylor expansion of -1.0 in im 4.499 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ 1 re)) im) 1/3) (cbrt -1.0)) in im 4.499 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 re)) im) 1/3) in im 4.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 re)) im)))) in im 4.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 re)) im))) in im 4.499 * [taylor]: Taking taylor expansion of 1/3 in im 4.500 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 re)) im)) in im 4.500 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) im) in im 4.500 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 4.500 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.500 * [taylor]: Taking taylor expansion of re in im 4.500 * [taylor]: Taking taylor expansion of im in im 4.500 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.500 * [taylor]: Taking taylor expansion of -1.0 in im 4.500 * [taylor]: Taking taylor expansion of (* (cbrt -1.0) (exp (* 1/3 (- (log (sin (/ 1 re))) (log im))))) in re 4.500 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.500 * [taylor]: Taking taylor expansion of -1.0 in re 4.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 re))) (log im)))) in re 4.501 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 re))) (log im))) in re 4.501 * [taylor]: Taking taylor expansion of 1/3 in re 4.501 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 re))) (log im)) in re 4.501 * [taylor]: Taking taylor expansion of (log (sin (/ 1 re))) in re 4.501 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 4.501 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.501 * [taylor]: Taking taylor expansion of re in re 4.501 * [taylor]: Taking taylor expansion of (log im) in re 4.501 * [taylor]: Taking taylor expansion of im in re 4.502 * [taylor]: Taking taylor expansion of 0 in re 4.504 * [taylor]: Taking taylor expansion of 0 in re 4.507 * [taylor]: Taking taylor expansion of 0 in re 4.507 * [approximate]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in (im re) around 0 4.507 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in re 4.507 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 4.507 * [taylor]: Taking taylor expansion of 1.0 in re 4.507 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in re 4.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in re 4.507 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in re 4.507 * [taylor]: Taking taylor expansion of 1/3 in re 4.508 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in re 4.508 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in re 4.508 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 4.508 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.508 * [taylor]: Taking taylor expansion of -1 in re 4.508 * [taylor]: Taking taylor expansion of re in re 4.508 * [taylor]: Taking taylor expansion of im in re 4.508 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in im 4.508 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 4.508 * [taylor]: Taking taylor expansion of 1.0 in im 4.508 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 4.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 4.508 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 4.508 * [taylor]: Taking taylor expansion of 1/3 in im 4.508 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 4.508 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 4.508 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 4.508 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.508 * [taylor]: Taking taylor expansion of -1 in im 4.508 * [taylor]: Taking taylor expansion of re in im 4.508 * [taylor]: Taking taylor expansion of im in im 4.509 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (pow (/ (sin (/ -1 re)) im) 1/3)) in im 4.509 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 4.509 * [taylor]: Taking taylor expansion of 1.0 in im 4.509 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 re)) im) 1/3) in im 4.509 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 re)) im)))) in im 4.509 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 re)) im))) in im 4.509 * [taylor]: Taking taylor expansion of 1/3 in im 4.509 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 re)) im)) in im 4.509 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) im) in im 4.509 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 4.509 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.509 * [taylor]: Taking taylor expansion of -1 in im 4.509 * [taylor]: Taking taylor expansion of re in im 4.509 * [taylor]: Taking taylor expansion of im in im 4.509 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (exp (* 1/3 (- (log (sin (/ -1 re))) (log im))))) in re 4.509 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 4.509 * [taylor]: Taking taylor expansion of 1.0 in re 4.510 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 re))) (log im)))) in re 4.510 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 re))) (log im))) in re 4.510 * [taylor]: Taking taylor expansion of 1/3 in re 4.510 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 re))) (log im)) in re 4.510 * [taylor]: Taking taylor expansion of (log (sin (/ -1 re))) in re 4.510 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 4.510 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.510 * [taylor]: Taking taylor expansion of -1 in re 4.510 * [taylor]: Taking taylor expansion of re in re 4.510 * [taylor]: Taking taylor expansion of (log im) in re 4.510 * [taylor]: Taking taylor expansion of im in re 4.511 * [taylor]: Taking taylor expansion of 0 in re 4.513 * [taylor]: Taking taylor expansion of 0 in re 4.515 * [taylor]: Taking taylor expansion of 0 in re 4.516 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 4.516 * [approximate]: Taking taylor expansion of (* (pow (* (pow (sin re) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in (im re) around 0 4.516 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin re) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in re 4.516 * [taylor]: Taking taylor expansion of (pow (* (pow (sin re) 2) (pow im 2)) 1/3) in re 4.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin re) 2) (pow im 2))))) in re 4.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin re) 2) (pow im 2)))) in re 4.516 * [taylor]: Taking taylor expansion of 1/3 in re 4.516 * [taylor]: Taking taylor expansion of (log (* (pow (sin re) 2) (pow im 2))) in re 4.516 * [taylor]: Taking taylor expansion of (* (pow (sin re) 2) (pow im 2)) in re 4.516 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in re 4.516 * [taylor]: Taking taylor expansion of (sin re) in re 4.516 * [taylor]: Taking taylor expansion of re in re 4.516 * [taylor]: Taking taylor expansion of (pow im 2) in re 4.516 * [taylor]: Taking taylor expansion of im in re 4.517 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in re 4.517 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.517 * [taylor]: Taking taylor expansion of -1.0 in re 4.517 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin re) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in im 4.517 * [taylor]: Taking taylor expansion of (pow (* (pow (sin re) 2) (pow im 2)) 1/3) in im 4.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin re) 2) (pow im 2))))) in im 4.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin re) 2) (pow im 2)))) in im 4.517 * [taylor]: Taking taylor expansion of 1/3 in im 4.517 * [taylor]: Taking taylor expansion of (log (* (pow (sin re) 2) (pow im 2))) in im 4.517 * [taylor]: Taking taylor expansion of (* (pow (sin re) 2) (pow im 2)) in im 4.517 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in im 4.517 * [taylor]: Taking taylor expansion of (sin re) in im 4.517 * [taylor]: Taking taylor expansion of re in im 4.517 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.517 * [taylor]: Taking taylor expansion of im in im 4.518 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in im 4.518 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.518 * [taylor]: Taking taylor expansion of -1.0 in im 4.518 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin re) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in im 4.518 * [taylor]: Taking taylor expansion of (pow (* (pow (sin re) 2) (pow im 2)) 1/3) in im 4.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin re) 2) (pow im 2))))) in im 4.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin re) 2) (pow im 2)))) in im 4.518 * [taylor]: Taking taylor expansion of 1/3 in im 4.518 * [taylor]: Taking taylor expansion of (log (* (pow (sin re) 2) (pow im 2))) in im 4.518 * [taylor]: Taking taylor expansion of (* (pow (sin re) 2) (pow im 2)) in im 4.518 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in im 4.518 * [taylor]: Taking taylor expansion of (sin re) in im 4.518 * [taylor]: Taking taylor expansion of re in im 4.518 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.518 * [taylor]: Taking taylor expansion of im in im 4.519 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in im 4.519 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.519 * [taylor]: Taking taylor expansion of -1.0 in im 4.519 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log (pow (sin re) 2)) (* 2 (log im))))) (pow (cbrt -1.0) 2)) in re 4.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (pow (sin re) 2)) (* 2 (log im))))) in re 4.519 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (pow (sin re) 2)) (* 2 (log im)))) in re 4.519 * [taylor]: Taking taylor expansion of 1/3 in re 4.519 * [taylor]: Taking taylor expansion of (+ (log (pow (sin re) 2)) (* 2 (log im))) in re 4.519 * [taylor]: Taking taylor expansion of (log (pow (sin re) 2)) in re 4.519 * [taylor]: Taking taylor expansion of (pow (sin re) 2) in re 4.519 * [taylor]: Taking taylor expansion of (sin re) in re 4.519 * [taylor]: Taking taylor expansion of re in re 4.519 * [taylor]: Taking taylor expansion of (* 2 (log im)) in re 4.519 * [taylor]: Taking taylor expansion of 2 in re 4.520 * [taylor]: Taking taylor expansion of (log im) in re 4.520 * [taylor]: Taking taylor expansion of im in re 4.520 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in re 4.520 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.520 * [taylor]: Taking taylor expansion of -1.0 in re 4.522 * [taylor]: Taking taylor expansion of 0 in re 4.524 * [taylor]: Taking taylor expansion of 0 in re 4.528 * [taylor]: Taking taylor expansion of 0 in re 4.533 * [taylor]: Taking taylor expansion of 0 in re 4.534 * [approximate]: Taking taylor expansion of (* (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in (im re) around 0 4.534 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in re 4.534 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) in re 4.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))))) in re 4.534 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2)))) in re 4.534 * [taylor]: Taking taylor expansion of 1/3 in re 4.534 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))) in re 4.535 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 re)) 2) (pow im 2)) in re 4.535 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in re 4.535 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 4.535 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.535 * [taylor]: Taking taylor expansion of re in re 4.535 * [taylor]: Taking taylor expansion of (pow im 2) in re 4.535 * [taylor]: Taking taylor expansion of im in re 4.535 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in re 4.535 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.535 * [taylor]: Taking taylor expansion of -1.0 in re 4.535 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in im 4.535 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) in im 4.535 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))))) in im 4.535 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2)))) in im 4.535 * [taylor]: Taking taylor expansion of 1/3 in im 4.536 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))) in im 4.536 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 re)) 2) (pow im 2)) in im 4.536 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in im 4.536 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 4.536 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.536 * [taylor]: Taking taylor expansion of re in im 4.536 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.536 * [taylor]: Taking taylor expansion of im in im 4.536 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in im 4.536 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.536 * [taylor]: Taking taylor expansion of -1.0 in im 4.537 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) (pow (cbrt -1.0) 2)) in im 4.537 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 re)) 2) (pow im 2)) 1/3) in im 4.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))))) in im 4.537 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 re)) 2) (pow im 2)))) in im 4.537 * [taylor]: Taking taylor expansion of 1/3 in im 4.537 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 re)) 2) (pow im 2))) in im 4.537 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 re)) 2) (pow im 2)) in im 4.537 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in im 4.537 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 4.537 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.537 * [taylor]: Taking taylor expansion of re in im 4.537 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.537 * [taylor]: Taking taylor expansion of im in im 4.538 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in im 4.538 * [taylor]: Taking taylor expansion of (cbrt -1.0) in im 4.538 * [taylor]: Taking taylor expansion of -1.0 in im 4.538 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1.0) 2) (exp (* 1/3 (- (log (pow (sin (/ 1 re)) 2)) (* 2 (log im)))))) in re 4.538 * [taylor]: Taking taylor expansion of (pow (cbrt -1.0) 2) in re 4.538 * [taylor]: Taking taylor expansion of (cbrt -1.0) in re 4.538 * [taylor]: Taking taylor expansion of -1.0 in re 4.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ 1 re)) 2)) (* 2 (log im))))) in re 4.538 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ 1 re)) 2)) (* 2 (log im)))) in re 4.538 * [taylor]: Taking taylor expansion of 1/3 in re 4.538 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ 1 re)) 2)) (* 2 (log im))) in re 4.538 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 re)) 2)) in re 4.538 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 re)) 2) in re 4.538 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 4.538 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.538 * [taylor]: Taking taylor expansion of re in re 4.539 * [taylor]: Taking taylor expansion of (* 2 (log im)) in re 4.539 * [taylor]: Taking taylor expansion of 2 in re 4.539 * [taylor]: Taking taylor expansion of (log im) in re 4.539 * [taylor]: Taking taylor expansion of im in re 4.541 * [taylor]: Taking taylor expansion of 0 in re 4.547 * [taylor]: Taking taylor expansion of 0 in re 4.551 * [taylor]: Taking taylor expansion of 0 in re 4.551 * [approximate]: Taking taylor expansion of (* (pow (cbrt 1.0) 2) (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3)) in (im re) around 0 4.551 * [taylor]: Taking taylor expansion of (* (pow (cbrt 1.0) 2) (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3)) in re 4.551 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in re 4.551 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 4.551 * [taylor]: Taking taylor expansion of 1.0 in re 4.551 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3) in re 4.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))))) in re 4.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2)))) in re 4.551 * [taylor]: Taking taylor expansion of 1/3 in re 4.551 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))) in re 4.551 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 re)) 2) (pow im 2)) in re 4.551 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in re 4.552 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 4.552 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.552 * [taylor]: Taking taylor expansion of -1 in re 4.552 * [taylor]: Taking taylor expansion of re in re 4.552 * [taylor]: Taking taylor expansion of (pow im 2) in re 4.552 * [taylor]: Taking taylor expansion of im in re 4.552 * [taylor]: Taking taylor expansion of (* (pow (cbrt 1.0) 2) (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3)) in im 4.552 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in im 4.552 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 4.552 * [taylor]: Taking taylor expansion of 1.0 in im 4.552 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3) in im 4.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))))) in im 4.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2)))) in im 4.552 * [taylor]: Taking taylor expansion of 1/3 in im 4.552 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))) in im 4.552 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 re)) 2) (pow im 2)) in im 4.552 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in im 4.553 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 4.553 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.553 * [taylor]: Taking taylor expansion of -1 in im 4.553 * [taylor]: Taking taylor expansion of re in im 4.553 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.553 * [taylor]: Taking taylor expansion of im in im 4.553 * [taylor]: Taking taylor expansion of (* (pow (cbrt 1.0) 2) (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3)) in im 4.553 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in im 4.553 * [taylor]: Taking taylor expansion of (cbrt 1.0) in im 4.553 * [taylor]: Taking taylor expansion of 1.0 in im 4.553 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 re)) 2) (pow im 2)) 1/3) in im 4.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))))) in im 4.553 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 re)) 2) (pow im 2)))) in im 4.554 * [taylor]: Taking taylor expansion of 1/3 in im 4.554 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 re)) 2) (pow im 2))) in im 4.554 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 re)) 2) (pow im 2)) in im 4.554 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in im 4.554 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 4.554 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.554 * [taylor]: Taking taylor expansion of -1 in im 4.554 * [taylor]: Taking taylor expansion of re in im 4.554 * [taylor]: Taking taylor expansion of (pow im 2) in im 4.554 * [taylor]: Taking taylor expansion of im in im 4.555 * [taylor]: Taking taylor expansion of (* (pow (cbrt 1.0) 2) (exp (* 1/3 (- (log (pow (sin (/ -1 re)) 2)) (* 2 (log im)))))) in re 4.555 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in re 4.555 * [taylor]: Taking taylor expansion of (cbrt 1.0) in re 4.555 * [taylor]: Taking taylor expansion of 1.0 in re 4.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ -1 re)) 2)) (* 2 (log im))))) in re 4.555 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ -1 re)) 2)) (* 2 (log im)))) in re 4.555 * [taylor]: Taking taylor expansion of 1/3 in re 4.555 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ -1 re)) 2)) (* 2 (log im))) in re 4.555 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 re)) 2)) in re 4.555 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 re)) 2) in re 4.555 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 4.555 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.555 * [taylor]: Taking taylor expansion of -1 in re 4.555 * [taylor]: Taking taylor expansion of re in re 4.555 * [taylor]: Taking taylor expansion of (* 2 (log im)) in re 4.555 * [taylor]: Taking taylor expansion of 2 in re 4.555 * [taylor]: Taking taylor expansion of (log im) in re 4.555 * [taylor]: Taking taylor expansion of im in re 4.557 * [taylor]: Taking taylor expansion of 0 in re 4.560 * [taylor]: Taking taylor expansion of 0 in re 4.564 * [taylor]: Taking taylor expansion of 0 in re 4.564 * * * [progress]: simplifying candidates 4.565 * [simplify]: Simplifying using # : (log (cbrt (* (* im -2) (* 0.5 (sin re))))) (exp (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (* im -2)) (cbrt (* 0.5 (sin re))) (* (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re)))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (* (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (log (cbrt (* (* im -2) (* 0.5 (sin re))))) (exp (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (* im -2)) (cbrt (* 0.5 (sin re))) (* (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re)))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (* (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (log (cbrt (* (* im -2) (* 0.5 (sin re))))) (exp (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (* im -2)) (cbrt (* 0.5 (sin re))) (* (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re)))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (* (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (+ 1/3 1/3) (+ 1 1) (* (* (* im -2) (* 0.5 (sin re))) (* (* im -2) (* 0.5 (sin re)))) (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (+ 1 1) (+ (log (cbrt (* (* im -2) (* 0.5 (sin re))))) (log (cbrt (* (* im -2) (* 0.5 (sin re)))))) (log (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re)))))) (exp (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re)))))) (* (* (* im -2) (* 0.5 (sin re))) (* (* im -2) (* 0.5 (sin re)))) (* (cbrt (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re)))))) (cbrt (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re))))))) (cbrt (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re)))))) (* (* (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re)))))) (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re)))))) (sqrt (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re)))))) (sqrt (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re)))))) (* (cbrt (* im -2)) (cbrt (* im -2))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (* (* (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re)))))) (* (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))))) (* (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re)))))) (* (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re)))))) (* (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re)))))) (* 1 1) (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (* (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re)))))) (* (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re)))))) (* 2 1/3) (* 2 1) (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* im -2))) (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (* (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))))) (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re)))))) (* (cbrt (* (* im -2) (* 0.5 (sin re)))) 1) (* (cbrt (* 0.5 (sin re))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (* (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (* (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (- (* (cbrt -1.0) (exp (* 1/3 (+ (log re) (+ (log 1) (log im)))))) (* 1/18 (* (cbrt -1.0) (* (pow re 2) (exp (* 1/3 (+ (log re) (+ (log 1) (log im))))))))) (* (cbrt -1.0) (exp (* 1/3 (- (log (sin re)) (log (/ 1 im)))))) (* (cbrt 1.0) (exp (* 1/3 (- (log (sin re)) (log (/ -1 im)))))) (- (* (cbrt -1.0) (exp (* 1/3 (+ (log re) (+ (log 1) (log im)))))) (* 1/18 (* (cbrt -1.0) (* (pow re 2) (exp (* 1/3 (+ (log re) (+ (log 1) (log im))))))))) (* (cbrt -1.0) (exp (* 1/3 (- (log (sin re)) (log (/ 1 im)))))) (* (cbrt 1.0) (exp (* 1/3 (- (log (sin re)) (log (/ -1 im)))))) (- (* (cbrt -1.0) (exp (* 1/3 (+ (log re) (+ (log 1) (log im)))))) (* 1/18 (* (cbrt -1.0) (* (pow re 2) (exp (* 1/3 (+ (log re) (+ (log 1) (log im))))))))) (* (cbrt -1.0) (exp (* 1/3 (- (log (sin re)) (log (/ 1 im)))))) (* (cbrt 1.0) (exp (* 1/3 (- (log (sin re)) (log (/ -1 im)))))) (- (* (exp (* 1/3 (+ (* 2 (log re)) (+ (log 1) (* 2 (log im)))))) (pow (cbrt -1.0) 2)) (* 1/9 (* (exp (* 1/3 (+ (* 2 (log re)) (+ (log 1) (* 2 (log im)))))) (* (pow re 2) (pow (cbrt -1.0) 2))))) (* (exp (* 1/3 (- (log (pow (sin re) 2)) (* 2 (log (/ 1 im)))))) (pow (cbrt -1.0) 2)) (* (pow (cbrt 1.0) 2) (exp (* 1/3 (- (log (pow (sin re) 2)) (* 2 (log (/ -1 im))))))) 4.569 * * [simplify]: iteration 0 : 104 enodes (cost 1232 ) 4.584 * * [simplify]: iteration 1 : 234 enodes (cost 1129 ) 4.624 * * [simplify]: iteration 2 : 732 enodes (cost 963 ) 4.791 * * [simplify]: iteration 3 : 2620 enodes (cost 828 ) 5.331 * * [simplify]: iteration done : 5001 enodes (cost 806 ) 5.332 * [simplify]: Simplified to: (log (cbrt (* (* im -2) (* 0.5 (sin re))))) (exp (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (* im -2)) (cbrt (* 0.5 (sin re))) (* (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re)))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (* (* im -2) (* 0.5 (sin re))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (log (cbrt (* (* im -2) (* 0.5 (sin re))))) (exp (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (* im -2)) (cbrt (* 0.5 (sin re))) (* (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re)))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (* (* im -2) (* 0.5 (sin re))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (log (cbrt (* (* im -2) (* 0.5 (sin re))))) (exp (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (* im -2)) (cbrt (* 0.5 (sin re))) (* (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re)))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (* (* im -2) (* 0.5 (sin re))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) 2/3 2 (pow (cbrt (* (* im -2) (* 0.5 (sin re)))) 6) (pow (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) 4) 2 (* 2 (log (cbrt (* (* im -2) (* 0.5 (sin re)))))) (* 2 (log (cbrt (* (* im -2) (* 0.5 (sin re)))))) (exp (pow (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) 4)) (pow (cbrt (* (* im -2) (* 0.5 (sin re)))) 6) (* (cbrt (pow (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) 4)) (cbrt (pow (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) 4))) (cbrt (pow (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) 4)) (pow (cbrt (* (* im -2) (* 0.5 (sin re)))) 6) (fabs (cbrt (* (* im -2) (* 0.5 (sin re))))) (fabs (cbrt (* (* im -2) (* 0.5 (sin re))))) (* (cbrt (* im -2)) (cbrt (* im -2))) (* (cbrt (* 0.5 (sin re))) (cbrt (* 0.5 (sin re)))) (pow (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) 4) (* (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (cbrt (cbrt (* (* im -2) (* 0.5 (sin re)))))) (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re)))) 1 (pow (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) 4) (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* (* im -2) (* 0.5 (sin re)))) 2/3 2 (* (cbrt (* (* im -2) (* 0.5 (sin re)))) (cbrt (* im -2))) (* (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) (pow (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) 4)) (pow (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) 3) (cbrt (* (* im -2) (* 0.5 (sin re)))) (* (cbrt (* 0.5 (sin re))) (cbrt (* (* im -2) (* 0.5 (sin re))))) (pow (cbrt (cbrt (* (* im -2) (* 0.5 (sin re))))) 4) (pow (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) 3) (pow (sqrt (cbrt (* (* im -2) (* 0.5 (sin re))))) 4) (* (* (pow im 1/3) (pow re 1/3)) (- (cbrt -1.0) (* 1/18 (* (cbrt -1.0) (pow re 2))))) (* (cbrt (exp (+ (log (sin re)) (log im)))) (cbrt -1.0)) (* (cbrt 1.0) (cbrt (exp (- (log (sin re)) (log (/ -1 im)))))) (* (* (pow im 1/3) (pow re 1/3)) (- (cbrt -1.0) (* 1/18 (* (cbrt -1.0) (pow re 2))))) (* (cbrt (exp (+ (log (sin re)) (log im)))) (cbrt -1.0)) (* (cbrt 1.0) (cbrt (exp (- (log (sin re)) (log (/ -1 im)))))) (* (* (pow im 1/3) (pow re 1/3)) (- (cbrt -1.0) (* 1/18 (* (cbrt -1.0) (pow re 2))))) (* (cbrt (exp (+ (log (sin re)) (log im)))) (cbrt -1.0)) (* (cbrt 1.0) (cbrt (exp (- (log (sin re)) (log (/ -1 im)))))) (* (* (pow re 2/3) (exp (* 2/3 (log im)))) (- (pow (cbrt -1.0) 2) (* (* (pow re 2) (pow (cbrt -1.0) 2)) 1/9))) (* (exp (* 2/3 (+ (log (sin re)) (log im)))) (pow (cbrt -1.0) 2)) (* (pow (cbrt 1.0) 2) (exp (* 2/3 (- (log (sin re)) (log (/ -1 im)))))) 5.332 * * * [progress]: adding candidates to table 5.567 * [progress]: [Phase 3 of 3] Extracting. 5.567 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 5.572 * * * [regime-changes]: Trying 5 branch expressions: ((- (exp (neg im)) (exp im)) (sin re) (* 0.5 (sin re)) im re) 5.572 * * * * [regimes]: Trying to branch on (- (exp (neg im)) (exp im)) from (# # # # # # # # #) 5.648 * * * * [regimes]: Trying to branch on (sin re) from (# # # # # # # # #) 5.730 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# # # # # # # # #) 5.821 * * * * [regimes]: Trying to branch on im from (# # # # # # # # #) 5.897 * * * * [regimes]: Trying to branch on re from (# # # # # # # # #) 5.973 * * * [regime]: Found split indices: #