14.761 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.093 * * * [progress]: [2/2] Setting up program. 0.096 * [progress]: [Phase 2 of 3] Improving. 0.096 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.099 * * [simplify]: iteration 0 : 26 enodes (cost 7 ) 0.100 * * [simplify]: iteration 1 : 64 enodes (cost 7 ) 0.102 * * [simplify]: iteration 2 : 126 enodes (cost 7 ) 0.104 * * [simplify]: iteration 3 : 212 enodes (cost 7 ) 0.107 * * [simplify]: iteration 4 : 323 enodes (cost 7 ) 0.111 * * [simplify]: iteration 5 : 864 enodes (cost 7 ) 0.119 * * [simplify]: iteration 6 : 1202 enodes (cost 7 ) 0.127 * * [simplify]: iteration 7 : 1800 enodes (cost 7 ) 0.150 * * [simplify]: iteration 8 : 4421 enodes (cost 7 ) 0.168 * * [simplify]: iteration 9 : 5001 enodes (cost 7 ) 0.168 * [simplify]: Simplified to: (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.168 * * [progress]: iteration 1 / 4 0.169 * * * [progress]: picking best candidate 0.171 * * * * [pick]: Picked # 0.171 * * * [progress]: localizing error 0.182 * * * [progress]: generating rewritten candidates 0.182 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.197 * * * [progress]: generating series expansions 0.197 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.198 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in (re im) around 0 0.198 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in im 0.198 * [taylor]: Taking taylor expansion of 0.5 in im 0.198 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in im 0.198 * [taylor]: Taking taylor expansion of (sin re) in im 0.198 * [taylor]: Taking taylor expansion of re in im 0.198 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 0.198 * [taylor]: Taking taylor expansion of (exp im) in im 0.198 * [taylor]: Taking taylor expansion of im in im 0.198 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.198 * [taylor]: Taking taylor expansion of (- im) in im 0.198 * [taylor]: Taking taylor expansion of im in im 0.199 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 0.199 * [taylor]: Taking taylor expansion of 0.5 in re 0.199 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 0.199 * [taylor]: Taking taylor expansion of (sin re) in re 0.199 * [taylor]: Taking taylor expansion of re in re 0.199 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 0.199 * [taylor]: Taking taylor expansion of (exp im) in re 0.199 * [taylor]: Taking taylor expansion of im in re 0.199 * [taylor]: Taking taylor expansion of (exp (- im)) in re 0.199 * [taylor]: Taking taylor expansion of (- im) in re 0.199 * [taylor]: Taking taylor expansion of im in re 0.199 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 0.199 * [taylor]: Taking taylor expansion of 0.5 in re 0.199 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 0.199 * [taylor]: Taking taylor expansion of (sin re) in re 0.199 * [taylor]: Taking taylor expansion of re in re 0.199 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 0.199 * [taylor]: Taking taylor expansion of (exp im) in re 0.199 * [taylor]: Taking taylor expansion of im in re 0.199 * [taylor]: Taking taylor expansion of (exp (- im)) in re 0.199 * [taylor]: Taking taylor expansion of (- im) in re 0.199 * [taylor]: Taking taylor expansion of im in re 0.200 * [taylor]: Taking taylor expansion of 0 in im 0.203 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (- im)))) in im 0.203 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.203 * [taylor]: Taking taylor expansion of 0.5 in im 0.203 * [taylor]: Taking taylor expansion of (exp im) in im 0.203 * [taylor]: Taking taylor expansion of im in im 0.203 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 0.203 * [taylor]: Taking taylor expansion of 0.5 in im 0.203 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.203 * [taylor]: Taking taylor expansion of (- im) in im 0.203 * [taylor]: Taking taylor expansion of im in im 0.208 * [taylor]: Taking taylor expansion of 0 in im 0.221 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im))))) in im 0.221 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im 0.221 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 0.221 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.221 * [taylor]: Taking taylor expansion of (exp im) in im 0.221 * [taylor]: Taking taylor expansion of im in im 0.221 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 0.221 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.221 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.221 * [taylor]: Taking taylor expansion of (- im) in im 0.221 * [taylor]: Taking taylor expansion of im in im 0.229 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 0.229 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 0.229 * [taylor]: Taking taylor expansion of 0.5 in im 0.229 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 0.229 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.229 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.229 * [taylor]: Taking taylor expansion of re in im 0.229 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 0.229 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 0.230 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 0.230 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.230 * [taylor]: Taking taylor expansion of im in im 0.230 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.230 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.230 * [taylor]: Taking taylor expansion of im in im 0.230 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 0.230 * [taylor]: Taking taylor expansion of 0.5 in re 0.231 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 0.231 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.231 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.231 * [taylor]: Taking taylor expansion of re in re 0.231 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 0.231 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 0.231 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 0.231 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.231 * [taylor]: Taking taylor expansion of im in re 0.231 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.231 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.231 * [taylor]: Taking taylor expansion of im in re 0.231 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 0.231 * [taylor]: Taking taylor expansion of 0.5 in re 0.231 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 0.231 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.231 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.231 * [taylor]: Taking taylor expansion of re in re 0.232 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 0.232 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 0.232 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 0.232 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.232 * [taylor]: Taking taylor expansion of im in re 0.232 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.232 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.232 * [taylor]: Taking taylor expansion of im in re 0.232 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 0.232 * [taylor]: Taking taylor expansion of 0.5 in im 0.232 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 0.232 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.232 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.232 * [taylor]: Taking taylor expansion of re in im 0.233 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 0.233 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 0.233 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 0.233 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.233 * [taylor]: Taking taylor expansion of im in im 0.233 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.233 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.233 * [taylor]: Taking taylor expansion of im in im 0.237 * [taylor]: Taking taylor expansion of 0 in im 0.243 * [taylor]: Taking taylor expansion of 0 in im 0.251 * [taylor]: Taking taylor expansion of 0 in im 0.252 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0 0.252 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 0.252 * [taylor]: Taking taylor expansion of 0.5 in im 0.252 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 0.252 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.252 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.252 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.252 * [taylor]: Taking taylor expansion of -1 in im 0.252 * [taylor]: Taking taylor expansion of im in im 0.252 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.252 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.252 * [taylor]: Taking taylor expansion of im in im 0.253 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.253 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.253 * [taylor]: Taking taylor expansion of -1 in im 0.253 * [taylor]: Taking taylor expansion of re in im 0.253 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 0.253 * [taylor]: Taking taylor expansion of 0.5 in re 0.253 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 0.253 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.253 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.253 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.253 * [taylor]: Taking taylor expansion of -1 in re 0.253 * [taylor]: Taking taylor expansion of im in re 0.253 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.253 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.253 * [taylor]: Taking taylor expansion of im in re 0.253 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.253 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.253 * [taylor]: Taking taylor expansion of -1 in re 0.253 * [taylor]: Taking taylor expansion of re in re 0.253 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 0.253 * [taylor]: Taking taylor expansion of 0.5 in re 0.253 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 0.253 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.254 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.254 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.254 * [taylor]: Taking taylor expansion of -1 in re 0.254 * [taylor]: Taking taylor expansion of im in re 0.254 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.254 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.254 * [taylor]: Taking taylor expansion of im in re 0.254 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.254 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.254 * [taylor]: Taking taylor expansion of -1 in re 0.254 * [taylor]: Taking taylor expansion of re in re 0.254 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 0.255 * [taylor]: Taking taylor expansion of 0.5 in im 0.255 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 0.255 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.255 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.255 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.255 * [taylor]: Taking taylor expansion of -1 in im 0.255 * [taylor]: Taking taylor expansion of im in im 0.255 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.255 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.255 * [taylor]: Taking taylor expansion of im in im 0.255 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.255 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.255 * [taylor]: Taking taylor expansion of -1 in im 0.255 * [taylor]: Taking taylor expansion of re in im 0.258 * [taylor]: Taking taylor expansion of 0 in im 0.263 * [taylor]: Taking taylor expansion of 0 in im 0.270 * [taylor]: Taking taylor expansion of 0 in im 0.271 * * * [progress]: simplifying candidates 0.271 * [simplify]: Simplifying using # : (expm1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log1p (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (+ (+ (log 0.5) (log (sin re))) (log (+ (exp (- 0.0 im)) (exp im)))) (+ (log (* 0.5 (sin re))) (log (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (exp (- 0.0 im)) (exp im)) (+ (exp (- 0.0 im)) (exp im))) (+ (exp (- 0.0 im)) (exp im)))) (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im)) (* (exp (- 0.0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re))) (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) 1) (* (* 0.5 (sin re)) 1) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (* 0.5 (sin re)) (- (* (exp (- 0.0 im)) (exp (- 0.0 im))) (* (exp im) (exp im)))) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) 0.275 * * [simplify]: iteration 0 : 238 enodes (cost 265 ) 0.280 * * [simplify]: iteration 1 : 1157 enodes (cost 219 ) 0.305 * * [simplify]: iteration 2 : 5002 enodes (cost 218 ) 0.307 * [simplify]: Simplified to: (expm1 (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log1p (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (log (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (exp (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (pow (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 3) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0.0 im)) (exp im))) (cbrt (+ (exp (- 0.0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0.0 im)) (exp im)))) (* 0.5 (sin re)) (* 0.5 (sin re)) (* (sin re) (+ (exp (- 0.0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3))) (* (* (fma (- (exp im)) (exp im) (exp (+ (- 0.0 im) (- 0.0 im)))) (sin re)) 0.5) (fma re 1.0 (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (sin re))) 0.307 * * * [progress]: adding candidates to table 0.368 * * [progress]: iteration 2 / 4 0.368 * * * [progress]: picking best candidate 0.370 * * * * [pick]: Picked # 0.371 * * * [progress]: localizing error 0.383 * * * [progress]: generating rewritten candidates 0.383 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 1 2) 0.388 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 2) 0.398 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1) 0.404 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3) 0.412 * * * [progress]: generating series expansions 0.412 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 1 2) 0.413 * [approximate]: Taking taylor expansion of (* re (pow im 2)) in (re im) around 0 0.413 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.413 * [taylor]: Taking taylor expansion of re in im 0.413 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.413 * [taylor]: Taking taylor expansion of im in im 0.413 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.413 * [taylor]: Taking taylor expansion of re in re 0.413 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.413 * [taylor]: Taking taylor expansion of im in re 0.413 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.413 * [taylor]: Taking taylor expansion of re in re 0.413 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.413 * [taylor]: Taking taylor expansion of im in re 0.413 * [taylor]: Taking taylor expansion of 0 in im 0.414 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.414 * [taylor]: Taking taylor expansion of im in im 0.415 * [taylor]: Taking taylor expansion of 0 in im 0.417 * [taylor]: Taking taylor expansion of 0 in im 0.417 * [approximate]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in (re im) around 0 0.417 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 0.417 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.417 * [taylor]: Taking taylor expansion of re in im 0.417 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.417 * [taylor]: Taking taylor expansion of im in im 0.417 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.417 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.417 * [taylor]: Taking taylor expansion of re in re 0.417 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.417 * [taylor]: Taking taylor expansion of im in re 0.418 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.418 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.418 * [taylor]: Taking taylor expansion of re in re 0.418 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.418 * [taylor]: Taking taylor expansion of im in re 0.418 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.418 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.419 * [taylor]: Taking taylor expansion of im in im 0.420 * [taylor]: Taking taylor expansion of 0 in im 0.422 * [taylor]: Taking taylor expansion of 0 in im 0.426 * [taylor]: Taking taylor expansion of 0 in im 0.430 * [taylor]: Taking taylor expansion of 0 in im 0.430 * [approximate]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in (re im) around 0 0.430 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 0.430 * [taylor]: Taking taylor expansion of -1 in im 0.430 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.430 * [taylor]: Taking taylor expansion of re in im 0.430 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.430 * [taylor]: Taking taylor expansion of im in im 0.430 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 0.430 * [taylor]: Taking taylor expansion of -1 in re 0.430 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.430 * [taylor]: Taking taylor expansion of re in re 0.430 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.430 * [taylor]: Taking taylor expansion of im in re 0.431 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 0.431 * [taylor]: Taking taylor expansion of -1 in re 0.431 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.431 * [taylor]: Taking taylor expansion of re in re 0.431 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.431 * [taylor]: Taking taylor expansion of im in re 0.432 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 0.432 * [taylor]: Taking taylor expansion of -1 in im 0.432 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.432 * [taylor]: Taking taylor expansion of im in im 0.433 * [taylor]: Taking taylor expansion of 0 in im 0.436 * [taylor]: Taking taylor expansion of 0 in im 0.439 * [taylor]: Taking taylor expansion of 0 in im 0.443 * [taylor]: Taking taylor expansion of 0 in im 0.443 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 2) 0.443 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in (re) around 0 0.443 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 0.443 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.443 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.443 * [taylor]: Taking taylor expansion of re in re 0.443 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 0.443 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.443 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.443 * [taylor]: Taking taylor expansion of re in re 0.455 * [approximate]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in (re) around 0 0.455 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in re 0.455 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.455 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.455 * [taylor]: Taking taylor expansion of re in re 0.456 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in re 0.456 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.456 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.456 * [taylor]: Taking taylor expansion of re in re 0.469 * [approximate]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in (re) around 0 0.469 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in re 0.469 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 0.469 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.469 * [taylor]: Taking taylor expansion of re in re 0.471 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in re 0.471 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 0.471 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.471 * [taylor]: Taking taylor expansion of re in re 0.495 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1) 0.495 * [approximate]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in (re im) around 0 0.495 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in im 0.495 * [taylor]: Taking taylor expansion of 0.5 in im 0.495 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.495 * [taylor]: Taking taylor expansion of re in im 0.495 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.495 * [taylor]: Taking taylor expansion of im in im 0.495 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in re 0.495 * [taylor]: Taking taylor expansion of 0.5 in re 0.496 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.496 * [taylor]: Taking taylor expansion of re in re 0.496 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.496 * [taylor]: Taking taylor expansion of im in re 0.496 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in re 0.496 * [taylor]: Taking taylor expansion of 0.5 in re 0.496 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.496 * [taylor]: Taking taylor expansion of re in re 0.496 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.496 * [taylor]: Taking taylor expansion of im in re 0.496 * [taylor]: Taking taylor expansion of 0 in im 0.497 * [taylor]: Taking taylor expansion of (* 0.5 (pow im 2)) in im 0.497 * [taylor]: Taking taylor expansion of 0.5 in im 0.497 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.497 * [taylor]: Taking taylor expansion of im in im 0.499 * [taylor]: Taking taylor expansion of 0 in im 0.502 * [taylor]: Taking taylor expansion of 0 in im 0.502 * [approximate]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in (re im) around 0 0.502 * [taylor]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in im 0.502 * [taylor]: Taking taylor expansion of 0.5 in im 0.502 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.502 * [taylor]: Taking taylor expansion of re in im 0.502 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.502 * [taylor]: Taking taylor expansion of im in im 0.503 * [taylor]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in re 0.503 * [taylor]: Taking taylor expansion of 0.5 in re 0.503 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.503 * [taylor]: Taking taylor expansion of re in re 0.503 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.503 * [taylor]: Taking taylor expansion of im in re 0.503 * [taylor]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in re 0.503 * [taylor]: Taking taylor expansion of 0.5 in re 0.503 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.503 * [taylor]: Taking taylor expansion of re in re 0.503 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.503 * [taylor]: Taking taylor expansion of im in re 0.504 * [taylor]: Taking taylor expansion of (/ 0.5 (pow im 2)) in im 0.504 * [taylor]: Taking taylor expansion of 0.5 in im 0.504 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.504 * [taylor]: Taking taylor expansion of im in im 0.505 * [taylor]: Taking taylor expansion of 0 in im 0.508 * [taylor]: Taking taylor expansion of 0 in im 0.511 * [taylor]: Taking taylor expansion of 0 in im 0.515 * [taylor]: Taking taylor expansion of 0 in im 0.515 * [approximate]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in (re im) around 0 0.515 * [taylor]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in im 0.515 * [taylor]: Taking taylor expansion of -0.5 in im 0.515 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.515 * [taylor]: Taking taylor expansion of re in im 0.515 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.516 * [taylor]: Taking taylor expansion of im in im 0.516 * [taylor]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in re 0.516 * [taylor]: Taking taylor expansion of -0.5 in re 0.516 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.516 * [taylor]: Taking taylor expansion of re in re 0.516 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.516 * [taylor]: Taking taylor expansion of im in re 0.516 * [taylor]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in re 0.516 * [taylor]: Taking taylor expansion of -0.5 in re 0.517 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.517 * [taylor]: Taking taylor expansion of re in re 0.517 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.517 * [taylor]: Taking taylor expansion of im in re 0.517 * [taylor]: Taking taylor expansion of (/ -0.5 (pow im 2)) in im 0.517 * [taylor]: Taking taylor expansion of -0.5 in im 0.517 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.517 * [taylor]: Taking taylor expansion of im in im 0.519 * [taylor]: Taking taylor expansion of 0 in im 0.521 * [taylor]: Taking taylor expansion of 0 in im 0.524 * [taylor]: Taking taylor expansion of 0 in im 0.528 * [taylor]: Taking taylor expansion of 0 in im 0.528 * * * * [progress]: [ 4 / 4 ] generating series at (2 3) 0.529 * [approximate]: Taking taylor expansion of (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))) in (re im) around 0 0.529 * [taylor]: Taking taylor expansion of (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))) in im 0.529 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in im 0.529 * [taylor]: Taking taylor expansion of 0.5 in im 0.529 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.529 * [taylor]: Taking taylor expansion of re in im 0.529 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.529 * [taylor]: Taking taylor expansion of im in im 0.529 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in im 0.529 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 0.529 * [taylor]: Taking taylor expansion of (pow re 3) in im 0.529 * [taylor]: Taking taylor expansion of re in im 0.529 * [taylor]: Taking taylor expansion of (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))) in re 0.529 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in re 0.529 * [taylor]: Taking taylor expansion of 0.5 in re 0.529 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.529 * [taylor]: Taking taylor expansion of re in re 0.529 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.529 * [taylor]: Taking taylor expansion of im in re 0.529 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 0.529 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.529 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.529 * [taylor]: Taking taylor expansion of re in re 0.529 * [taylor]: Taking taylor expansion of (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))) in re 0.529 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in re 0.529 * [taylor]: Taking taylor expansion of 0.5 in re 0.529 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.529 * [taylor]: Taking taylor expansion of re in re 0.529 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.529 * [taylor]: Taking taylor expansion of im in re 0.529 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 0.529 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.529 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.529 * [taylor]: Taking taylor expansion of re in re 0.530 * [taylor]: Taking taylor expansion of 0 in im 0.531 * [taylor]: Taking taylor expansion of (* 0.5 (pow im 2)) in im 0.531 * [taylor]: Taking taylor expansion of 0.5 in im 0.531 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.531 * [taylor]: Taking taylor expansion of im in im 0.532 * [taylor]: Taking taylor expansion of 0 in im 0.536 * [taylor]: Taking taylor expansion of (- 0.16666666666666666) in im 0.536 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 0.541 * [taylor]: Taking taylor expansion of 0 in im 0.543 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 (* re (pow im 2)))) (* 0.16666666666666666 (/ 1 (pow re 3)))) in (re im) around 0 0.543 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* re (pow im 2)))) (* 0.16666666666666666 (/ 1 (pow re 3)))) in im 0.543 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* re (pow im 2)))) in im 0.543 * [taylor]: Taking taylor expansion of 0.5 in im 0.543 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 0.543 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.543 * [taylor]: Taking taylor expansion of re in im 0.543 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.543 * [taylor]: Taking taylor expansion of im in im 0.543 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow re 3))) in im 0.544 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow re 3)) in im 0.544 * [taylor]: Taking taylor expansion of (pow re 3) in im 0.544 * [taylor]: Taking taylor expansion of re in im 0.544 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* re (pow im 2)))) (* 0.16666666666666666 (/ 1 (pow re 3)))) in re 0.544 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* re (pow im 2)))) in re 0.544 * [taylor]: Taking taylor expansion of 0.5 in re 0.544 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.544 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.544 * [taylor]: Taking taylor expansion of re in re 0.544 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.544 * [taylor]: Taking taylor expansion of im in re 0.544 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow re 3))) in re 0.544 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow re 3)) in re 0.544 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.544 * [taylor]: Taking taylor expansion of re in re 0.545 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* re (pow im 2)))) (* 0.16666666666666666 (/ 1 (pow re 3)))) in re 0.545 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* re (pow im 2)))) in re 0.545 * [taylor]: Taking taylor expansion of 0.5 in re 0.545 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.545 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.545 * [taylor]: Taking taylor expansion of re in re 0.545 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.545 * [taylor]: Taking taylor expansion of im in re 0.546 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow re 3))) in re 0.546 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.546 * [taylor]: Taking taylor expansion of (/ 1 (pow re 3)) in re 0.546 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.546 * [taylor]: Taking taylor expansion of re in re 0.548 * [taylor]: Taking taylor expansion of (- 0.16666666666666666) in im 0.548 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 0.550 * [taylor]: Taking taylor expansion of 0 in im 0.552 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow im 2))) in im 0.552 * [taylor]: Taking taylor expansion of 0.5 in im 0.552 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.552 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.552 * [taylor]: Taking taylor expansion of im in im 0.558 * [taylor]: Taking taylor expansion of 0 in im 0.564 * [taylor]: Taking taylor expansion of 0 in im 0.566 * [approximate]: Taking taylor expansion of (- (* 0.16666666666666666 (/ 1 (pow re 3))) (* 0.5 (/ 1 (* re (pow im 2))))) in (re im) around 0 0.566 * [taylor]: Taking taylor expansion of (- (* 0.16666666666666666 (/ 1 (pow re 3))) (* 0.5 (/ 1 (* re (pow im 2))))) in im 0.567 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow re 3))) in im 0.567 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 0.567 * [taylor]: Taking taylor expansion of (/ 1 (pow re 3)) in im 0.567 * [taylor]: Taking taylor expansion of (pow re 3) in im 0.567 * [taylor]: Taking taylor expansion of re in im 0.567 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* re (pow im 2)))) in im 0.567 * [taylor]: Taking taylor expansion of 0.5 in im 0.567 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 0.567 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.567 * [taylor]: Taking taylor expansion of re in im 0.567 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.567 * [taylor]: Taking taylor expansion of im in im 0.567 * [taylor]: Taking taylor expansion of (- (* 0.16666666666666666 (/ 1 (pow re 3))) (* 0.5 (/ 1 (* re (pow im 2))))) in re 0.567 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow re 3))) in re 0.567 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.567 * [taylor]: Taking taylor expansion of (/ 1 (pow re 3)) in re 0.567 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.567 * [taylor]: Taking taylor expansion of re in re 0.568 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* re (pow im 2)))) in re 0.568 * [taylor]: Taking taylor expansion of 0.5 in re 0.568 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.568 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.568 * [taylor]: Taking taylor expansion of re in re 0.568 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.568 * [taylor]: Taking taylor expansion of im in re 0.569 * [taylor]: Taking taylor expansion of (- (* 0.16666666666666666 (/ 1 (pow re 3))) (* 0.5 (/ 1 (* re (pow im 2))))) in re 0.569 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (pow re 3))) in re 0.569 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.569 * [taylor]: Taking taylor expansion of (/ 1 (pow re 3)) in re 0.569 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.569 * [taylor]: Taking taylor expansion of re in re 0.569 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* re (pow im 2)))) in re 0.570 * [taylor]: Taking taylor expansion of 0.5 in re 0.570 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.570 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.570 * [taylor]: Taking taylor expansion of re in re 0.570 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.570 * [taylor]: Taking taylor expansion of im in re 0.571 * [taylor]: Taking taylor expansion of 0.16666666666666666 in im 0.573 * [taylor]: Taking taylor expansion of 0 in im 0.575 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (pow im 2)))) in im 0.575 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow im 2))) in im 0.575 * [taylor]: Taking taylor expansion of 0.5 in im 0.575 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.575 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.575 * [taylor]: Taking taylor expansion of im in im 0.584 * [taylor]: Taking taylor expansion of 0 in im 0.591 * [taylor]: Taking taylor expansion of 0 in im 0.593 * * * [progress]: simplifying candidates 0.595 * [simplify]: Simplifying using # : (expm1 (* re (pow im 2))) (log1p (* re (pow im 2))) (+ (log re) (* (log im) 2)) (+ (log re) (* (log im) 2)) (+ (log re) (log (pow im 2))) (log (* re (pow im 2))) (exp (* re (pow im 2))) (* (* (* re re) re) (* (* (pow im 2) (pow im 2)) (pow im 2))) (* (cbrt (* re (pow im 2))) (cbrt (* re (pow im 2)))) (cbrt (* re (pow im 2))) (* (* (* re (pow im 2)) (* re (pow im 2))) (* re (pow im 2))) (sqrt (* re (pow im 2))) (sqrt (* re (pow im 2))) (* (sqrt re) (pow (sqrt im) 2)) (* (sqrt re) (pow (sqrt im) 2)) (* (sqrt re) im) (* (sqrt re) im) (* (sqrt re) (sqrt (pow im 2))) (* (sqrt re) (sqrt (pow im 2))) (* (sqrt re) (pow im (/ 2 2))) (* (sqrt re) (pow im (/ 2 2))) (* re (pow (* (cbrt im) (cbrt im)) 2)) (* re (pow (sqrt im) 2)) (* re (pow 1 2)) (* re im) (* re (* (cbrt (pow im 2)) (cbrt (pow im 2)))) (* re (sqrt (pow im 2))) (* re 1) (* re (pow im (/ 2 2))) (* (cbrt re) (pow im 2)) (* (sqrt re) (pow im 2)) (* re (pow im 2)) (expm1 (* 0.16666666666666666 (pow re 3))) (log1p (* 0.16666666666666666 (pow re 3))) (+ (log 0.16666666666666666) (* (log re) 3)) (+ (log 0.16666666666666666) (* (log re) 3)) (+ (log 0.16666666666666666) (log (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (exp (* 0.16666666666666666 (pow re 3))) (* (* (* 0.16666666666666666 0.16666666666666666) 0.16666666666666666) (* (* (pow re 3) (pow re 3)) (pow re 3))) (* (cbrt (* 0.16666666666666666 (pow re 3))) (cbrt (* 0.16666666666666666 (pow re 3)))) (cbrt (* 0.16666666666666666 (pow re 3))) (* (* (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3))) (* 0.16666666666666666 (pow re 3))) (sqrt (* 0.16666666666666666 (pow re 3))) (sqrt (* 0.16666666666666666 (pow re 3))) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (pow re (/ 3 2))) (* (sqrt 0.16666666666666666) (pow re (/ 3 2))) (* 0.16666666666666666 (pow (* (cbrt re) (cbrt re)) 3)) (* 0.16666666666666666 (pow (sqrt re) 3)) (* 0.16666666666666666 (pow 1 3)) (* 0.16666666666666666 (* re re)) (* 0.16666666666666666 (* (cbrt (pow re 3)) (cbrt (pow re 3)))) (* 0.16666666666666666 (pow (* (cbrt re) (cbrt re)) 3)) (* 0.16666666666666666 (pow (sqrt re) 3)) (* 0.16666666666666666 (pow 1 3)) (* 0.16666666666666666 re) (* 0.16666666666666666 (sqrt (pow re 3))) (* 0.16666666666666666 1) (* 0.16666666666666666 (pow re (/ 3 2))) (* (cbrt 0.16666666666666666) (pow re 3)) (* (sqrt 0.16666666666666666) (pow re 3)) (* 0.16666666666666666 (pow re 3)) (expm1 (* 0.5 (* re (pow im 2)))) (log1p (* 0.5 (* re (pow im 2)))) (* 0.5 (* re (pow im 2))) (+ (log 0.5) (+ (log re) (* (log im) 2))) (+ (log 0.5) (+ (log re) (* (log im) 2))) (+ (log 0.5) (+ (log re) (log (pow im 2)))) (+ (log 0.5) (log (* re (pow im 2)))) (log (* 0.5 (* re (pow im 2)))) (exp (* 0.5 (* re (pow im 2)))) (* (* (* 0.5 0.5) 0.5) (* (* (* re re) re) (* (* (pow im 2) (pow im 2)) (pow im 2)))) (* (* (* 0.5 0.5) 0.5) (* (* (* re (pow im 2)) (* re (pow im 2))) (* re (pow im 2)))) (* (cbrt (* 0.5 (* re (pow im 2)))) (cbrt (* 0.5 (* re (pow im 2))))) (cbrt (* 0.5 (* re (pow im 2)))) (* (* (* 0.5 (* re (pow im 2))) (* 0.5 (* re (pow im 2)))) (* 0.5 (* re (pow im 2)))) (sqrt (* 0.5 (* re (pow im 2)))) (sqrt (* 0.5 (* re (pow im 2)))) (* 0.5 re) (* (cbrt 0.5) (* re (pow im 2))) (* (sqrt 0.5) (* re (pow im 2))) (* 0.5 (* re (pow im 2))) (fma 0.5 (* re (pow im 2)) (- (* (pow re 3) 0.16666666666666666))) (fma (- (pow re 3)) 0.16666666666666666 (* (pow re 3) 0.16666666666666666)) (expm1 (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (log1p (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (- (* 0.16666666666666666 (pow re 3))) (/ (exp (* 0.5 (* re (pow im 2)))) (exp (* 0.16666666666666666 (pow re 3)))) (log (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (exp (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (* (cbrt (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (cbrt (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))))) (cbrt (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (* (* (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))) (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (sqrt (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (sqrt (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (- (pow (* 0.5 (* re (pow im 2))) 3) (pow (* 0.16666666666666666 (pow re 3)) 3)) (+ (* (* 0.5 (* re (pow im 2))) (* 0.5 (* re (pow im 2)))) (+ (* (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3))) (* (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))))) (- (* 0.16666666666666666 (pow re 3))) (- (* (* 0.5 (* re (pow im 2))) (* 0.5 (* re (pow im 2)))) (* (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)))) (+ (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))) (- (* 0.16666666666666666 (pow re 3))) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) (* 0.5 (* re (pow im 2))) (* 0.5 (* re (pow im 2))) (* 0.5 (* re (pow im 2))) (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))) (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))) (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))) 0.600 * * [simplify]: iteration 0 : 341 enodes (cost 494 ) 0.606 * * [simplify]: iteration 1 : 1439 enodes (cost 442 ) 0.643 * * [simplify]: iteration 2 : 5002 enodes (cost 437 ) 0.646 * [simplify]: Simplified to: (expm1 (* re (pow im 2))) (log1p (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) (exp (* re (pow im 2))) (pow (* re (pow im 2)) 3) (* (cbrt (* re (pow im 2))) (cbrt (* re (pow im 2)))) (cbrt (* re (pow im 2))) (pow (* re (pow im 2)) 3) (sqrt (* re (pow im 2))) (sqrt (* re (pow im 2))) (* im (sqrt re)) (* im (sqrt re)) (* im (sqrt re)) (* im (sqrt re)) (* (fabs im) (sqrt re)) (* (fabs im) (sqrt re)) (* im (sqrt re)) (* im (sqrt re)) (* re (pow (* (cbrt im) (cbrt im)) 2)) (* im re) re (* im re) (* re (* (cbrt (pow im 2)) (cbrt (pow im 2)))) (* re (fabs im)) re (* im re) (* (cbrt re) (pow im 2)) (* (sqrt re) (pow im 2)) (* re (pow im 2)) (expm1 (* 0.16666666666666666 (pow re 3))) (log1p (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (exp (* 0.16666666666666666 (pow re 3))) (pow (* 0.16666666666666666 (pow re 3)) 3) (* (cbrt (* 0.16666666666666666 (pow re 3))) (cbrt (* 0.16666666666666666 (pow re 3)))) (cbrt (* 0.16666666666666666 (pow re 3))) (pow (* 0.16666666666666666 (pow re 3)) 3) (sqrt (* 0.16666666666666666 (pow re 3))) (sqrt (* 0.16666666666666666 (pow re 3))) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (pow re 3/2)) (* (sqrt 0.16666666666666666) (pow re 3/2)) (* (* 0.16666666666666666 re) re) (* 0.16666666666666666 (pow (sqrt re) 3)) 0.16666666666666666 (* (* 0.16666666666666666 re) re) (* (* 0.16666666666666666 re) re) (* (* 0.16666666666666666 re) re) (* 0.16666666666666666 (pow (sqrt re) 3)) 0.16666666666666666 (* 0.16666666666666666 re) (* 0.16666666666666666 (sqrt (pow re 3))) 0.16666666666666666 (* 0.16666666666666666 (pow re 3/2)) (* (cbrt 0.16666666666666666) (pow re 3)) (* (sqrt 0.16666666666666666) (pow re 3)) (* 0.16666666666666666 (pow re 3)) (expm1 (* 0.5 (* re (pow im 2)))) (log1p (* 0.5 (* re (pow im 2)))) (* 0.5 (* re (pow im 2))) (log (* 0.5 (* re (pow im 2)))) (log (* 0.5 (* re (pow im 2)))) (log (* 0.5 (* re (pow im 2)))) (log (* 0.5 (* re (pow im 2)))) (log (* 0.5 (* re (pow im 2)))) (exp (* 0.5 (* re (pow im 2)))) (pow (* 0.5 (* re (pow im 2))) 3) (pow (* 0.5 (* re (pow im 2))) 3) (* (cbrt (* 0.5 (* re (pow im 2)))) (cbrt (* 0.5 (* re (pow im 2))))) (cbrt (* 0.5 (* re (pow im 2)))) (pow (* 0.5 (* re (pow im 2))) 3) (sqrt (* 0.5 (* re (pow im 2)))) (sqrt (* 0.5 (* re (pow im 2)))) (* 0.5 re) (* (cbrt 0.5) (* re (pow im 2))) (* (sqrt 0.5) (* re (pow im 2))) (* 0.5 (* re (pow im 2))) (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))) (* (pow re 3) (+ (- 0.16666666666666666) 0.16666666666666666)) (expm1 (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (log1p (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (- (* 0.16666666666666666 (pow re 3))) (exp (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (log (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (exp (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (* (cbrt (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (cbrt (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))))) (cbrt (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (pow (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))) 3) (sqrt (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (sqrt (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3)))) (- (pow (* 0.5 (* re (pow im 2))) 3) (pow (* 0.16666666666666666 (pow re 3)) 3)) (fma (* (* 0.5 re) (* 0.5 re)) (pow im 4) (* (* 0.16666666666666666 (pow re 3)) (fma 0.5 (* re (pow im 2)) (* 0.16666666666666666 (pow re 3))))) (- (* 0.16666666666666666 (pow re 3))) (fma (* (* 0.5 re) (* 0.5 re)) (pow im 4) (* (- (* 0.16666666666666666 0.16666666666666666)) (pow re 6))) (fma 0.5 (* re (pow im 2)) (* 0.16666666666666666 (pow re 3))) (- (* 0.16666666666666666 (pow re 3))) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) (* 0.5 (* re (pow im 2))) (* 0.5 (* re (pow im 2))) (* 0.5 (* re (pow im 2))) (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))) (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))) (- (* 0.5 (* re (pow im 2))) (* 0.16666666666666666 (pow re 3))) 0.647 * * * [progress]: adding candidates to table 0.906 * * [progress]: iteration 3 / 4 0.906 * * * [progress]: picking best candidate 0.910 * * * * [pick]: Picked # 0.910 * * * [progress]: localizing error 0.925 * * * [progress]: generating rewritten candidates 0.925 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 1 2 1) 0.929 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2 1 1) 0.935 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 2) 0.940 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 2) 0.951 * * * [progress]: generating series expansions 0.951 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 1 2 1) 0.952 * [approximate]: Taking taylor expansion of (log (* re (pow im 2))) in (re im) around 0 0.952 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in im 0.952 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.952 * [taylor]: Taking taylor expansion of re in im 0.952 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.952 * [taylor]: Taking taylor expansion of im in im 0.952 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in re 0.952 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.952 * [taylor]: Taking taylor expansion of re in re 0.952 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.952 * [taylor]: Taking taylor expansion of im in re 0.953 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in re 0.953 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.953 * [taylor]: Taking taylor expansion of re in re 0.953 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.953 * [taylor]: Taking taylor expansion of im in re 0.954 * [taylor]: Taking taylor expansion of (+ (log (pow im 2)) (log re)) in im 0.954 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 0.954 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.954 * [taylor]: Taking taylor expansion of im in im 0.955 * [taylor]: Taking taylor expansion of (log re) in im 0.955 * [taylor]: Taking taylor expansion of re in im 0.957 * [taylor]: Taking taylor expansion of 0 in im 0.961 * [taylor]: Taking taylor expansion of 0 in im 0.968 * [taylor]: Taking taylor expansion of 0 in im 0.968 * [approximate]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in (re im) around 0 0.968 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in im 0.968 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 0.968 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.968 * [taylor]: Taking taylor expansion of re in im 0.968 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.968 * [taylor]: Taking taylor expansion of im in im 0.969 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in re 0.969 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.969 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.969 * [taylor]: Taking taylor expansion of re in re 0.969 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.969 * [taylor]: Taking taylor expansion of im in re 0.969 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in re 0.970 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.970 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.970 * [taylor]: Taking taylor expansion of re in re 0.970 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.970 * [taylor]: Taking taylor expansion of im in re 0.971 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow im 2))) (log re)) in im 0.971 * [taylor]: Taking taylor expansion of (log (/ 1 (pow im 2))) in im 0.971 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.971 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.971 * [taylor]: Taking taylor expansion of im in im 0.971 * [taylor]: Taking taylor expansion of (log re) in im 0.971 * [taylor]: Taking taylor expansion of re in im 0.974 * [taylor]: Taking taylor expansion of 0 in im 0.979 * [taylor]: Taking taylor expansion of 0 in im 0.987 * [taylor]: Taking taylor expansion of 0 in im 0.987 * [approximate]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in (re im) around 0 0.987 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in im 0.987 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 0.987 * [taylor]: Taking taylor expansion of -1 in im 0.987 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.987 * [taylor]: Taking taylor expansion of re in im 0.987 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.987 * [taylor]: Taking taylor expansion of im in im 0.988 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in re 0.988 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 0.988 * [taylor]: Taking taylor expansion of -1 in re 0.988 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.988 * [taylor]: Taking taylor expansion of re in re 0.988 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.988 * [taylor]: Taking taylor expansion of im in re 0.989 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in re 0.989 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 0.989 * [taylor]: Taking taylor expansion of -1 in re 0.989 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.989 * [taylor]: Taking taylor expansion of re in re 0.989 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.989 * [taylor]: Taking taylor expansion of im in re 0.990 * [taylor]: Taking taylor expansion of (- (log (/ -1 (pow im 2))) (log re)) in im 0.990 * [taylor]: Taking taylor expansion of (log (/ -1 (pow im 2))) in im 0.990 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 0.990 * [taylor]: Taking taylor expansion of -1 in im 0.990 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.990 * [taylor]: Taking taylor expansion of im in im 0.991 * [taylor]: Taking taylor expansion of (log re) in im 0.991 * [taylor]: Taking taylor expansion of re in im 0.994 * [taylor]: Taking taylor expansion of 0 in im 0.999 * [taylor]: Taking taylor expansion of 0 in im 1.007 * [taylor]: Taking taylor expansion of 0 in im 1.008 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 2 1 1) 1.008 * [approximate]: Taking taylor expansion of (* re (pow im 2)) in (re im) around 0 1.008 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.008 * [taylor]: Taking taylor expansion of re in im 1.008 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.008 * [taylor]: Taking taylor expansion of im in im 1.008 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.008 * [taylor]: Taking taylor expansion of re in re 1.008 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.008 * [taylor]: Taking taylor expansion of im in re 1.008 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.008 * [taylor]: Taking taylor expansion of re in re 1.008 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.008 * [taylor]: Taking taylor expansion of im in re 1.008 * [taylor]: Taking taylor expansion of 0 in im 1.009 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.009 * [taylor]: Taking taylor expansion of im in im 1.010 * [taylor]: Taking taylor expansion of 0 in im 1.012 * [taylor]: Taking taylor expansion of 0 in im 1.012 * [approximate]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in (re im) around 0 1.012 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 1.012 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.012 * [taylor]: Taking taylor expansion of re in im 1.012 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.012 * [taylor]: Taking taylor expansion of im in im 1.012 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.012 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.013 * [taylor]: Taking taylor expansion of re in re 1.013 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.013 * [taylor]: Taking taylor expansion of im in re 1.013 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.013 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.013 * [taylor]: Taking taylor expansion of re in re 1.013 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.013 * [taylor]: Taking taylor expansion of im in re 1.014 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.014 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.014 * [taylor]: Taking taylor expansion of im in im 1.015 * [taylor]: Taking taylor expansion of 0 in im 1.018 * [taylor]: Taking taylor expansion of 0 in im 1.021 * [taylor]: Taking taylor expansion of 0 in im 1.025 * [taylor]: Taking taylor expansion of 0 in im 1.025 * [approximate]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in (re im) around 0 1.025 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 1.025 * [taylor]: Taking taylor expansion of -1 in im 1.025 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.025 * [taylor]: Taking taylor expansion of re in im 1.025 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.025 * [taylor]: Taking taylor expansion of im in im 1.025 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.026 * [taylor]: Taking taylor expansion of -1 in re 1.026 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.026 * [taylor]: Taking taylor expansion of re in re 1.026 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.026 * [taylor]: Taking taylor expansion of im in re 1.026 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.026 * [taylor]: Taking taylor expansion of -1 in re 1.026 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.026 * [taylor]: Taking taylor expansion of re in re 1.026 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.026 * [taylor]: Taking taylor expansion of im in re 1.027 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 1.027 * [taylor]: Taking taylor expansion of -1 in im 1.027 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.027 * [taylor]: Taking taylor expansion of im in im 1.029 * [taylor]: Taking taylor expansion of 0 in im 1.031 * [taylor]: Taking taylor expansion of 0 in im 1.039 * [taylor]: Taking taylor expansion of 0 in im 1.043 * [taylor]: Taking taylor expansion of 0 in im 1.043 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 2) 1.044 * [approximate]: Taking taylor expansion of (* re (pow im 2)) in (re im) around 0 1.044 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.044 * [taylor]: Taking taylor expansion of re in im 1.044 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.044 * [taylor]: Taking taylor expansion of im in im 1.044 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.044 * [taylor]: Taking taylor expansion of re in re 1.044 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.044 * [taylor]: Taking taylor expansion of im in re 1.044 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.044 * [taylor]: Taking taylor expansion of re in re 1.044 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.044 * [taylor]: Taking taylor expansion of im in re 1.044 * [taylor]: Taking taylor expansion of 0 in im 1.045 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.045 * [taylor]: Taking taylor expansion of im in im 1.046 * [taylor]: Taking taylor expansion of 0 in im 1.048 * [taylor]: Taking taylor expansion of 0 in im 1.048 * [approximate]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in (re im) around 0 1.048 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 1.048 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.048 * [taylor]: Taking taylor expansion of re in im 1.048 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.048 * [taylor]: Taking taylor expansion of im in im 1.049 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.049 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.049 * [taylor]: Taking taylor expansion of re in re 1.049 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.049 * [taylor]: Taking taylor expansion of im in re 1.049 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.049 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.049 * [taylor]: Taking taylor expansion of re in re 1.049 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.049 * [taylor]: Taking taylor expansion of im in re 1.050 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.050 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.050 * [taylor]: Taking taylor expansion of im in im 1.052 * [taylor]: Taking taylor expansion of 0 in im 1.054 * [taylor]: Taking taylor expansion of 0 in im 1.057 * [taylor]: Taking taylor expansion of 0 in im 1.061 * [taylor]: Taking taylor expansion of 0 in im 1.062 * [approximate]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in (re im) around 0 1.062 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 1.062 * [taylor]: Taking taylor expansion of -1 in im 1.062 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.062 * [taylor]: Taking taylor expansion of re in im 1.062 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.062 * [taylor]: Taking taylor expansion of im in im 1.062 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.062 * [taylor]: Taking taylor expansion of -1 in re 1.062 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.062 * [taylor]: Taking taylor expansion of re in re 1.062 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.062 * [taylor]: Taking taylor expansion of im in re 1.063 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.063 * [taylor]: Taking taylor expansion of -1 in re 1.063 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.063 * [taylor]: Taking taylor expansion of re in re 1.063 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.063 * [taylor]: Taking taylor expansion of im in re 1.064 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 1.064 * [taylor]: Taking taylor expansion of -1 in im 1.064 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.064 * [taylor]: Taking taylor expansion of im in im 1.065 * [taylor]: Taking taylor expansion of 0 in im 1.068 * [taylor]: Taking taylor expansion of 0 in im 1.071 * [taylor]: Taking taylor expansion of 0 in im 1.075 * [taylor]: Taking taylor expansion of 0 in im 1.075 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 2) 1.075 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in (re) around 0 1.075 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 1.075 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 1.075 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.075 * [taylor]: Taking taylor expansion of re in re 1.075 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 1.075 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 1.076 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.076 * [taylor]: Taking taylor expansion of re in re 1.088 * [approximate]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in (re) around 0 1.088 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in re 1.088 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 1.088 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.088 * [taylor]: Taking taylor expansion of re in re 1.089 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in re 1.089 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 1.089 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.089 * [taylor]: Taking taylor expansion of re in re 1.100 * [approximate]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in (re) around 0 1.101 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in re 1.101 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 1.101 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.101 * [taylor]: Taking taylor expansion of re in re 1.101 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in re 1.101 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 1.101 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.101 * [taylor]: Taking taylor expansion of re in re 1.113 * * * [progress]: simplifying candidates 1.114 * [simplify]: Simplifying using # : (expm1 (log (* re (pow im 2)))) (log1p (log (* re (pow im 2)))) (log re) (log (pow im 2)) (log (* re (pow im 2))) (log (log (* re (pow im 2)))) (exp (log (* re (pow im 2)))) (* (cbrt (log (* re (pow im 2)))) (cbrt (log (* re (pow im 2))))) (cbrt (log (* re (pow im 2)))) (* (* (log (* re (pow im 2))) (log (* re (pow im 2)))) (log (* re (pow im 2)))) (sqrt (log (* re (pow im 2)))) (sqrt (log (* re (pow im 2)))) (expm1 (* re (pow im 2))) (log1p (* re (pow im 2))) (+ (log re) (* (log im) 2)) (+ (log re) (* (log im) 2)) (+ (log re) (log (pow im 2))) (log (* re (pow im 2))) (exp (* re (pow im 2))) (* (* (* re re) re) (* (* (pow im 2) (pow im 2)) (pow im 2))) (* (cbrt (* re (pow im 2))) (cbrt (* re (pow im 2)))) (cbrt (* re (pow im 2))) (* (* (* re (pow im 2)) (* re (pow im 2))) (* re (pow im 2))) (sqrt (* re (pow im 2))) (sqrt (* re (pow im 2))) (* (sqrt re) (pow (sqrt im) 2)) (* (sqrt re) (pow (sqrt im) 2)) (* (sqrt re) im) (* (sqrt re) im) (* (sqrt re) (sqrt (pow im 2))) (* (sqrt re) (sqrt (pow im 2))) (* (sqrt re) (pow im (/ 2 2))) (* (sqrt re) (pow im (/ 2 2))) (* re (pow (* (cbrt im) (cbrt im)) 2)) (* re (pow (sqrt im) 2)) (* re (pow 1 2)) (* re im) (* re (* (cbrt (pow im 2)) (cbrt (pow im 2)))) (* re (sqrt (pow im 2))) (* re 1) (* re (pow im (/ 2 2))) (* (cbrt re) (pow im 2)) (* (sqrt re) (pow im 2)) (* re (pow im 2)) (expm1 (exp (log (* re (pow im 2))))) (log1p (exp (log (* re (pow im 2))))) (exp 1) (exp (* (cbrt (log (* re (pow im 2)))) (cbrt (log (* re (pow im 2)))))) (exp (sqrt (log (* re (pow im 2))))) (exp 1) (exp (log re)) (exp (log (pow im 2))) (log (exp (log (* re (pow im 2))))) (exp (exp (log (* re (pow im 2))))) (* (cbrt (exp (log (* re (pow im 2))))) (cbrt (exp (log (* re (pow im 2)))))) (cbrt (exp (log (* re (pow im 2))))) (* (* (exp (log (* re (pow im 2)))) (exp (log (* re (pow im 2))))) (exp (log (* re (pow im 2))))) (sqrt (exp (log (* re (pow im 2))))) (sqrt (exp (log (* re (pow im 2))))) (expm1 (* 0.16666666666666666 (pow re 3))) (log1p (* 0.16666666666666666 (pow re 3))) (+ (log 0.16666666666666666) (* (log re) 3)) (+ (log 0.16666666666666666) (* (log re) 3)) (+ (log 0.16666666666666666) (log (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (exp (* 0.16666666666666666 (pow re 3))) (* (* (* 0.16666666666666666 0.16666666666666666) 0.16666666666666666) (* (* (pow re 3) (pow re 3)) (pow re 3))) (* (cbrt (* 0.16666666666666666 (pow re 3))) (cbrt (* 0.16666666666666666 (pow re 3)))) (cbrt (* 0.16666666666666666 (pow re 3))) (* (* (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3))) (* 0.16666666666666666 (pow re 3))) (sqrt (* 0.16666666666666666 (pow re 3))) (sqrt (* 0.16666666666666666 (pow re 3))) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (pow re (/ 3 2))) (* (sqrt 0.16666666666666666) (pow re (/ 3 2))) (* 0.16666666666666666 (pow (* (cbrt re) (cbrt re)) 3)) (* 0.16666666666666666 (pow (sqrt re) 3)) (* 0.16666666666666666 (pow 1 3)) (* 0.16666666666666666 (* re re)) (* 0.16666666666666666 (* (cbrt (pow re 3)) (cbrt (pow re 3)))) (* 0.16666666666666666 (pow (* (cbrt re) (cbrt re)) 3)) (* 0.16666666666666666 (pow (sqrt re) 3)) (* 0.16666666666666666 (pow 1 3)) (* 0.16666666666666666 re) (* 0.16666666666666666 (sqrt (pow re 3))) (* 0.16666666666666666 1) (* 0.16666666666666666 (pow re (/ 3 2))) (* (cbrt 0.16666666666666666) (pow re 3)) (* (sqrt 0.16666666666666666) (pow re 3)) (* 0.16666666666666666 (pow re 3)) (+ (* 2 (log im)) (log re)) (- (+ (* 2 (log (/ 1 im))) (log (/ 1 re)))) (- (log -1) (+ (* 2 (log (/ -1 im))) (log (/ -1 re)))) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) 1.119 * * [simplify]: iteration 0 : 286 enodes (cost 356 ) 1.124 * * [simplify]: iteration 1 : 1117 enodes (cost 315 ) 1.151 * * [simplify]: iteration 2 : 5002 enodes (cost 310 ) 1.153 * [simplify]: Simplified to: (expm1 (log (* re (pow im 2)))) (log1p (log (* re (pow im 2)))) (log re) (log (pow im 2)) (log (* re (pow im 2))) (log (log (* re (pow im 2)))) (* re (pow im 2)) (* (cbrt (log (* re (pow im 2)))) (cbrt (log (* re (pow im 2))))) (cbrt (log (* re (pow im 2)))) (pow (log (* re (pow im 2))) 3) (sqrt (log (* re (pow im 2)))) (sqrt (log (* re (pow im 2)))) (expm1 (* re (pow im 2))) (log1p (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) (exp (* re (pow im 2))) (pow (* re (pow im 2)) 3) (* (cbrt (* re (pow im 2))) (cbrt (* re (pow im 2)))) (cbrt (* re (pow im 2))) (pow (* re (pow im 2)) 3) (sqrt (* re (pow im 2))) (sqrt (* re (pow im 2))) (* im (sqrt re)) (* im (sqrt re)) (* im (sqrt re)) (* im (sqrt re)) (* (fabs im) (sqrt re)) (* (fabs im) (sqrt re)) (* im (sqrt re)) (* im (sqrt re)) (* re (pow (* (cbrt im) (cbrt im)) 2)) (* im re) re (* im re) (* re (* (cbrt (pow im 2)) (cbrt (pow im 2)))) (* re (fabs im)) re (* im re) (* (cbrt re) (pow im 2)) (* (sqrt re) (pow im 2)) (* re (pow im 2)) (expm1 (* re (pow im 2))) (log1p (* re (pow im 2))) E (exp (* (cbrt (log (* re (pow im 2)))) (cbrt (log (* re (pow im 2)))))) (exp (sqrt (log (* re (pow im 2))))) E re (pow im 2) (log (* re (pow im 2))) (exp (* re (pow im 2))) (* (cbrt (* re (pow im 2))) (cbrt (* re (pow im 2)))) (cbrt (* re (pow im 2))) (pow (* re (pow im 2)) 3) (sqrt (* re (pow im 2))) (sqrt (* re (pow im 2))) (expm1 (* 0.16666666666666666 (pow re 3))) (log1p (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (exp (* 0.16666666666666666 (pow re 3))) (pow (* 0.16666666666666666 (pow re 3)) 3) (* (cbrt (* 0.16666666666666666 (pow re 3))) (cbrt (* 0.16666666666666666 (pow re 3)))) (cbrt (* 0.16666666666666666 (pow re 3))) (pow (* 0.16666666666666666 (pow re 3)) 3) (sqrt (* 0.16666666666666666 (pow re 3))) (sqrt (* 0.16666666666666666 (pow re 3))) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (pow re 3/2)) (* (sqrt 0.16666666666666666) (pow re 3/2)) (* (* 0.16666666666666666 re) re) (* 0.16666666666666666 (pow (sqrt re) 3)) 0.16666666666666666 (* (* 0.16666666666666666 re) re) (* (* 0.16666666666666666 re) re) (* (* 0.16666666666666666 re) re) (* 0.16666666666666666 (pow (sqrt re) 3)) 0.16666666666666666 (* 0.16666666666666666 re) (* 0.16666666666666666 (sqrt (pow re 3))) 0.16666666666666666 (* 0.16666666666666666 (pow re 3/2)) (* (cbrt 0.16666666666666666) (pow re 3)) (* (sqrt 0.16666666666666666) (pow re 3)) (* 0.16666666666666666 (pow re 3)) (log (* re (pow im 2))) (log (* re (pow im 2))) (- (log -1) (+ (* 2 (log (/ -1 im))) (log (/ -1 re)))) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) 1.153 * * * [progress]: adding candidates to table 1.441 * * [progress]: iteration 4 / 4 1.441 * * * [progress]: picking best candidate 1.444 * * * * [pick]: Picked # 1.444 * * * [progress]: localizing error 1.462 * * * [progress]: generating rewritten candidates 1.462 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 1 2 2) 1.467 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2 2 1) 1.473 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 2) 1.478 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 2) 1.487 * * * [progress]: generating series expansions 1.487 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 1 2 2) 1.487 * [approximate]: Taking taylor expansion of (log (* re (pow im 2))) in (re im) around 0 1.487 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in im 1.487 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.487 * [taylor]: Taking taylor expansion of re in im 1.487 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.487 * [taylor]: Taking taylor expansion of im in im 1.488 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in re 1.488 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.488 * [taylor]: Taking taylor expansion of re in re 1.488 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.488 * [taylor]: Taking taylor expansion of im in re 1.489 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in re 1.489 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.489 * [taylor]: Taking taylor expansion of re in re 1.489 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.489 * [taylor]: Taking taylor expansion of im in re 1.490 * [taylor]: Taking taylor expansion of (+ (log (pow im 2)) (log re)) in im 1.490 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 1.490 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.490 * [taylor]: Taking taylor expansion of im in im 1.490 * [taylor]: Taking taylor expansion of (log re) in im 1.490 * [taylor]: Taking taylor expansion of re in im 1.492 * [taylor]: Taking taylor expansion of 0 in im 1.497 * [taylor]: Taking taylor expansion of 0 in im 1.508 * [taylor]: Taking taylor expansion of 0 in im 1.508 * [approximate]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in (re im) around 0 1.508 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in im 1.508 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 1.508 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.508 * [taylor]: Taking taylor expansion of re in im 1.508 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.508 * [taylor]: Taking taylor expansion of im in im 1.509 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in re 1.509 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.509 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.509 * [taylor]: Taking taylor expansion of re in re 1.509 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.509 * [taylor]: Taking taylor expansion of im in re 1.510 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in re 1.510 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.510 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.510 * [taylor]: Taking taylor expansion of re in re 1.510 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.510 * [taylor]: Taking taylor expansion of im in re 1.511 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow im 2))) (log re)) in im 1.511 * [taylor]: Taking taylor expansion of (log (/ 1 (pow im 2))) in im 1.511 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.511 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.511 * [taylor]: Taking taylor expansion of im in im 1.511 * [taylor]: Taking taylor expansion of (log re) in im 1.511 * [taylor]: Taking taylor expansion of re in im 1.514 * [taylor]: Taking taylor expansion of 0 in im 1.519 * [taylor]: Taking taylor expansion of 0 in im 1.527 * [taylor]: Taking taylor expansion of 0 in im 1.528 * [approximate]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in (re im) around 0 1.528 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in im 1.528 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 1.528 * [taylor]: Taking taylor expansion of -1 in im 1.528 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.528 * [taylor]: Taking taylor expansion of re in im 1.528 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.528 * [taylor]: Taking taylor expansion of im in im 1.528 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in re 1.528 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.528 * [taylor]: Taking taylor expansion of -1 in re 1.528 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.528 * [taylor]: Taking taylor expansion of re in re 1.528 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.528 * [taylor]: Taking taylor expansion of im in re 1.529 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in re 1.529 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.529 * [taylor]: Taking taylor expansion of -1 in re 1.529 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.529 * [taylor]: Taking taylor expansion of re in re 1.529 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.529 * [taylor]: Taking taylor expansion of im in re 1.530 * [taylor]: Taking taylor expansion of (- (log (/ -1 (pow im 2))) (log re)) in im 1.530 * [taylor]: Taking taylor expansion of (log (/ -1 (pow im 2))) in im 1.530 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 1.530 * [taylor]: Taking taylor expansion of -1 in im 1.530 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.530 * [taylor]: Taking taylor expansion of im in im 1.531 * [taylor]: Taking taylor expansion of (log re) in im 1.531 * [taylor]: Taking taylor expansion of re in im 1.534 * [taylor]: Taking taylor expansion of 0 in im 1.539 * [taylor]: Taking taylor expansion of 0 in im 1.547 * [taylor]: Taking taylor expansion of 0 in im 1.548 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 2 2 1) 1.548 * [approximate]: Taking taylor expansion of (* re (pow im 2)) in (re im) around 0 1.548 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.548 * [taylor]: Taking taylor expansion of re in im 1.548 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.548 * [taylor]: Taking taylor expansion of im in im 1.548 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.548 * [taylor]: Taking taylor expansion of re in re 1.548 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.548 * [taylor]: Taking taylor expansion of im in re 1.548 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.548 * [taylor]: Taking taylor expansion of re in re 1.548 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.548 * [taylor]: Taking taylor expansion of im in re 1.548 * [taylor]: Taking taylor expansion of 0 in im 1.549 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.549 * [taylor]: Taking taylor expansion of im in im 1.550 * [taylor]: Taking taylor expansion of 0 in im 1.552 * [taylor]: Taking taylor expansion of 0 in im 1.552 * [approximate]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in (re im) around 0 1.552 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 1.552 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.552 * [taylor]: Taking taylor expansion of re in im 1.552 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.552 * [taylor]: Taking taylor expansion of im in im 1.552 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.552 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.552 * [taylor]: Taking taylor expansion of re in re 1.552 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.552 * [taylor]: Taking taylor expansion of im in re 1.553 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.553 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.553 * [taylor]: Taking taylor expansion of re in re 1.553 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.553 * [taylor]: Taking taylor expansion of im in re 1.554 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.554 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.554 * [taylor]: Taking taylor expansion of im in im 1.555 * [taylor]: Taking taylor expansion of 0 in im 1.557 * [taylor]: Taking taylor expansion of 0 in im 1.561 * [taylor]: Taking taylor expansion of 0 in im 1.565 * [taylor]: Taking taylor expansion of 0 in im 1.565 * [approximate]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in (re im) around 0 1.565 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 1.565 * [taylor]: Taking taylor expansion of -1 in im 1.565 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.565 * [taylor]: Taking taylor expansion of re in im 1.565 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.565 * [taylor]: Taking taylor expansion of im in im 1.566 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.566 * [taylor]: Taking taylor expansion of -1 in re 1.566 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.566 * [taylor]: Taking taylor expansion of re in re 1.566 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.566 * [taylor]: Taking taylor expansion of im in re 1.566 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.566 * [taylor]: Taking taylor expansion of -1 in re 1.566 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.566 * [taylor]: Taking taylor expansion of re in re 1.566 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.566 * [taylor]: Taking taylor expansion of im in re 1.567 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 1.567 * [taylor]: Taking taylor expansion of -1 in im 1.567 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.567 * [taylor]: Taking taylor expansion of im in im 1.569 * [taylor]: Taking taylor expansion of 0 in im 1.571 * [taylor]: Taking taylor expansion of 0 in im 1.574 * [taylor]: Taking taylor expansion of 0 in im 1.578 * [taylor]: Taking taylor expansion of 0 in im 1.578 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 2) 1.579 * [approximate]: Taking taylor expansion of (pow E (log (* re (pow im 2)))) in (re im) around 0 1.579 * [taylor]: Taking taylor expansion of (pow E (log (* re (pow im 2)))) in im 1.579 * [taylor]: Taking taylor expansion of (exp (* (log (* re (pow im 2))) (log E))) in im 1.579 * [taylor]: Taking taylor expansion of (* (log (* re (pow im 2))) (log E)) in im 1.579 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in im 1.579 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.579 * [taylor]: Taking taylor expansion of re in im 1.579 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.579 * [taylor]: Taking taylor expansion of im in im 1.579 * [taylor]: Taking taylor expansion of (log E) in im 1.579 * [taylor]: Taking taylor expansion of E in im 1.580 * [taylor]: Taking taylor expansion of (pow E (log (* re (pow im 2)))) in re 1.580 * [taylor]: Taking taylor expansion of (exp (* (log (* re (pow im 2))) (log E))) in re 1.580 * [taylor]: Taking taylor expansion of (* (log (* re (pow im 2))) (log E)) in re 1.580 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in re 1.580 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.580 * [taylor]: Taking taylor expansion of re in re 1.580 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.580 * [taylor]: Taking taylor expansion of im in re 1.580 * [taylor]: Taking taylor expansion of (log E) in re 1.580 * [taylor]: Taking taylor expansion of E in re 1.581 * [taylor]: Taking taylor expansion of (pow E (log (* re (pow im 2)))) in re 1.581 * [taylor]: Taking taylor expansion of (exp (* (log (* re (pow im 2))) (log E))) in re 1.581 * [taylor]: Taking taylor expansion of (* (log (* re (pow im 2))) (log E)) in re 1.581 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in re 1.581 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.581 * [taylor]: Taking taylor expansion of re in re 1.581 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.581 * [taylor]: Taking taylor expansion of im in re 1.582 * [taylor]: Taking taylor expansion of (log E) in re 1.582 * [taylor]: Taking taylor expansion of E in re 1.582 * [taylor]: Taking taylor expansion of (exp (+ (log (pow im 2)) (log re))) in im 1.582 * [taylor]: Taking taylor expansion of (+ (log (pow im 2)) (log re)) in im 1.582 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 1.582 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.582 * [taylor]: Taking taylor expansion of im in im 1.583 * [taylor]: Taking taylor expansion of (log re) in im 1.583 * [taylor]: Taking taylor expansion of re in im 1.587 * [taylor]: Taking taylor expansion of 0 in im 1.733 * [taylor]: Taking taylor expansion of 0 in im 1.778 * [taylor]: Taking taylor expansion of 0 in im 1.778 * [approximate]: Taking taylor expansion of (pow E (log (/ 1 (* re (pow im 2))))) in (re im) around 0 1.778 * [taylor]: Taking taylor expansion of (pow E (log (/ 1 (* re (pow im 2))))) in im 1.778 * [taylor]: Taking taylor expansion of (exp (* (log (/ 1 (* re (pow im 2)))) (log E))) in im 1.778 * [taylor]: Taking taylor expansion of (* (log (/ 1 (* re (pow im 2)))) (log E)) in im 1.778 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in im 1.778 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 1.778 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.778 * [taylor]: Taking taylor expansion of re in im 1.778 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.779 * [taylor]: Taking taylor expansion of im in im 1.779 * [taylor]: Taking taylor expansion of (log E) in im 1.779 * [taylor]: Taking taylor expansion of E in im 1.779 * [taylor]: Taking taylor expansion of (pow E (log (/ 1 (* re (pow im 2))))) in re 1.779 * [taylor]: Taking taylor expansion of (exp (* (log (/ 1 (* re (pow im 2)))) (log E))) in re 1.779 * [taylor]: Taking taylor expansion of (* (log (/ 1 (* re (pow im 2)))) (log E)) in re 1.779 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in re 1.779 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.780 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.780 * [taylor]: Taking taylor expansion of re in re 1.780 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.780 * [taylor]: Taking taylor expansion of im in re 1.780 * [taylor]: Taking taylor expansion of (log E) in re 1.780 * [taylor]: Taking taylor expansion of E in re 1.781 * [taylor]: Taking taylor expansion of (pow E (log (/ 1 (* re (pow im 2))))) in re 1.781 * [taylor]: Taking taylor expansion of (exp (* (log (/ 1 (* re (pow im 2)))) (log E))) in re 1.781 * [taylor]: Taking taylor expansion of (* (log (/ 1 (* re (pow im 2)))) (log E)) in re 1.781 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in re 1.781 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.781 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.781 * [taylor]: Taking taylor expansion of re in re 1.781 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.781 * [taylor]: Taking taylor expansion of im in re 1.782 * [taylor]: Taking taylor expansion of (log E) in re 1.782 * [taylor]: Taking taylor expansion of E in re 1.782 * [taylor]: Taking taylor expansion of (exp (- (log (/ 1 (pow im 2))) (log re))) in im 1.782 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow im 2))) (log re)) in im 1.782 * [taylor]: Taking taylor expansion of (log (/ 1 (pow im 2))) in im 1.782 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.782 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.782 * [taylor]: Taking taylor expansion of im in im 1.783 * [taylor]: Taking taylor expansion of (log re) in im 1.783 * [taylor]: Taking taylor expansion of re in im 1.788 * [taylor]: Taking taylor expansion of 0 in im 1.798 * [taylor]: Taking taylor expansion of 0 in im 1.811 * [taylor]: Taking taylor expansion of 0 in im 1.812 * [approximate]: Taking taylor expansion of (pow E (log (/ -1 (* re (pow im 2))))) in (re im) around 0 1.812 * [taylor]: Taking taylor expansion of (pow E (log (/ -1 (* re (pow im 2))))) in im 1.812 * [taylor]: Taking taylor expansion of (exp (* (log (/ -1 (* re (pow im 2)))) (log E))) in im 1.812 * [taylor]: Taking taylor expansion of (* (log (/ -1 (* re (pow im 2)))) (log E)) in im 1.812 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in im 1.812 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 1.812 * [taylor]: Taking taylor expansion of -1 in im 1.812 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.812 * [taylor]: Taking taylor expansion of re in im 1.812 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.812 * [taylor]: Taking taylor expansion of im in im 1.812 * [taylor]: Taking taylor expansion of (log E) in im 1.812 * [taylor]: Taking taylor expansion of E in im 1.813 * [taylor]: Taking taylor expansion of (pow E (log (/ -1 (* re (pow im 2))))) in re 1.813 * [taylor]: Taking taylor expansion of (exp (* (log (/ -1 (* re (pow im 2)))) (log E))) in re 1.813 * [taylor]: Taking taylor expansion of (* (log (/ -1 (* re (pow im 2)))) (log E)) in re 1.813 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in re 1.813 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.813 * [taylor]: Taking taylor expansion of -1 in re 1.813 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.813 * [taylor]: Taking taylor expansion of re in re 1.813 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.813 * [taylor]: Taking taylor expansion of im in re 1.814 * [taylor]: Taking taylor expansion of (log E) in re 1.814 * [taylor]: Taking taylor expansion of E in re 1.814 * [taylor]: Taking taylor expansion of (pow E (log (/ -1 (* re (pow im 2))))) in re 1.814 * [taylor]: Taking taylor expansion of (exp (* (log (/ -1 (* re (pow im 2)))) (log E))) in re 1.814 * [taylor]: Taking taylor expansion of (* (log (/ -1 (* re (pow im 2)))) (log E)) in re 1.814 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in re 1.814 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.814 * [taylor]: Taking taylor expansion of -1 in re 1.814 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.814 * [taylor]: Taking taylor expansion of re in re 1.814 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.814 * [taylor]: Taking taylor expansion of im in re 1.815 * [taylor]: Taking taylor expansion of (log E) in re 1.815 * [taylor]: Taking taylor expansion of E in re 1.816 * [taylor]: Taking taylor expansion of (exp (- (log (/ -1 (pow im 2))) (log re))) in im 1.816 * [taylor]: Taking taylor expansion of (- (log (/ -1 (pow im 2))) (log re)) in im 1.816 * [taylor]: Taking taylor expansion of (log (/ -1 (pow im 2))) in im 1.816 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 1.816 * [taylor]: Taking taylor expansion of -1 in im 1.816 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.816 * [taylor]: Taking taylor expansion of im in im 1.817 * [taylor]: Taking taylor expansion of (log re) in im 1.817 * [taylor]: Taking taylor expansion of re in im 1.822 * [taylor]: Taking taylor expansion of 0 in im 1.831 * [taylor]: Taking taylor expansion of 0 in im 1.846 * [taylor]: Taking taylor expansion of 0 in im 1.846 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 2) 1.846 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in (re) around 0 1.846 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 1.846 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 1.846 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.846 * [taylor]: Taking taylor expansion of re in re 1.847 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 1.847 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 1.847 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.847 * [taylor]: Taking taylor expansion of re in re 1.862 * [approximate]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in (re) around 0 1.862 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in re 1.862 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 1.862 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.862 * [taylor]: Taking taylor expansion of re in re 1.863 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in re 1.863 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 1.863 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.863 * [taylor]: Taking taylor expansion of re in re 1.874 * [approximate]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in (re) around 0 1.875 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in re 1.875 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 1.875 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.875 * [taylor]: Taking taylor expansion of re in re 1.875 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in re 1.875 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 1.875 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.875 * [taylor]: Taking taylor expansion of re in re 1.887 * * * [progress]: simplifying candidates 1.888 * [simplify]: Simplifying using # : (expm1 (log (* re (pow im 2)))) (log1p (log (* re (pow im 2)))) (log re) (log (pow im 2)) (log (* re (pow im 2))) (log (log (* re (pow im 2)))) (exp (log (* re (pow im 2)))) (* (cbrt (log (* re (pow im 2)))) (cbrt (log (* re (pow im 2))))) (cbrt (log (* re (pow im 2)))) (* (* (log (* re (pow im 2))) (log (* re (pow im 2)))) (log (* re (pow im 2)))) (sqrt (log (* re (pow im 2)))) (sqrt (log (* re (pow im 2)))) (expm1 (* re (pow im 2))) (log1p (* re (pow im 2))) (+ (log re) (* (log im) 2)) (+ (log re) (* (log im) 2)) (+ (log re) (log (pow im 2))) (log (* re (pow im 2))) (exp (* re (pow im 2))) (* (* (* re re) re) (* (* (pow im 2) (pow im 2)) (pow im 2))) (* (cbrt (* re (pow im 2))) (cbrt (* re (pow im 2)))) (cbrt (* re (pow im 2))) (* (* (* re (pow im 2)) (* re (pow im 2))) (* re (pow im 2))) (sqrt (* re (pow im 2))) (sqrt (* re (pow im 2))) (* (sqrt re) (pow (sqrt im) 2)) (* (sqrt re) (pow (sqrt im) 2)) (* (sqrt re) im) (* (sqrt re) im) (* (sqrt re) (sqrt (pow im 2))) (* (sqrt re) (sqrt (pow im 2))) (* (sqrt re) (pow im (/ 2 2))) (* (sqrt re) (pow im (/ 2 2))) (* re (pow (* (cbrt im) (cbrt im)) 2)) (* re (pow (sqrt im) 2)) (* re (pow 1 2)) (* re im) (* re (* (cbrt (pow im 2)) (cbrt (pow im 2)))) (* re (sqrt (pow im 2))) (* re 1) (* re (pow im (/ 2 2))) (* (cbrt re) (pow im 2)) (* (sqrt re) (pow im 2)) (* re (pow im 2)) (expm1 (pow E (log (* re (pow im 2))))) (log1p (pow E (log (* re (pow im 2))))) (* 1 (log (* re (pow im 2)))) (* (log E) (log (* re (pow im 2)))) (* (log E) (log (* re (pow im 2)))) (* 1 (log (* re (pow im 2)))) (pow E 1) (pow E (* (cbrt (log (* re (pow im 2)))) (cbrt (log (* re (pow im 2)))))) (pow E (sqrt (log (* re (pow im 2))))) (pow E 1) (pow E (log re)) (pow E (log (pow im 2))) (pow (* (cbrt E) (cbrt E)) (log (* re (pow im 2)))) (pow (cbrt E) (log (* re (pow im 2)))) (pow (sqrt E) (log (* re (pow im 2)))) (pow (sqrt E) (log (* re (pow im 2)))) (pow 1 (log (* re (pow im 2)))) (pow E (log (* re (pow im 2)))) (log (pow E (log (* re (pow im 2))))) (exp (pow E (log (* re (pow im 2))))) (* (cbrt (pow E (log (* re (pow im 2))))) (cbrt (pow E (log (* re (pow im 2)))))) (cbrt (pow E (log (* re (pow im 2))))) (* (* (pow E (log (* re (pow im 2)))) (pow E (log (* re (pow im 2))))) (pow E (log (* re (pow im 2))))) (sqrt (pow E (log (* re (pow im 2))))) (sqrt (pow E (log (* re (pow im 2))))) (pow E (/ (log (* re (pow im 2))) 2)) (pow E (/ (log (* re (pow im 2))) 2)) (expm1 (* 0.16666666666666666 (pow re 3))) (log1p (* 0.16666666666666666 (pow re 3))) (+ (log 0.16666666666666666) (* (log re) 3)) (+ (log 0.16666666666666666) (* (log re) 3)) (+ (log 0.16666666666666666) (log (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (exp (* 0.16666666666666666 (pow re 3))) (* (* (* 0.16666666666666666 0.16666666666666666) 0.16666666666666666) (* (* (pow re 3) (pow re 3)) (pow re 3))) (* (cbrt (* 0.16666666666666666 (pow re 3))) (cbrt (* 0.16666666666666666 (pow re 3)))) (cbrt (* 0.16666666666666666 (pow re 3))) (* (* (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3))) (* 0.16666666666666666 (pow re 3))) (sqrt (* 0.16666666666666666 (pow re 3))) (sqrt (* 0.16666666666666666 (pow re 3))) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (pow re (/ 3 2))) (* (sqrt 0.16666666666666666) (pow re (/ 3 2))) (* 0.16666666666666666 (pow (* (cbrt re) (cbrt re)) 3)) (* 0.16666666666666666 (pow (sqrt re) 3)) (* 0.16666666666666666 (pow 1 3)) (* 0.16666666666666666 (* re re)) (* 0.16666666666666666 (* (cbrt (pow re 3)) (cbrt (pow re 3)))) (* 0.16666666666666666 (pow (* (cbrt re) (cbrt re)) 3)) (* 0.16666666666666666 (pow (sqrt re) 3)) (* 0.16666666666666666 (pow 1 3)) (* 0.16666666666666666 re) (* 0.16666666666666666 (sqrt (pow re 3))) (* 0.16666666666666666 1) (* 0.16666666666666666 (pow re (/ 3 2))) (* (cbrt 0.16666666666666666) (pow re 3)) (* (sqrt 0.16666666666666666) (pow re 3)) (* 0.16666666666666666 (pow re 3)) (+ (* 2 (log im)) (log re)) (- (+ (* 2 (log (/ 1 im))) (log (/ 1 re)))) (- (log -1) (+ (* 2 (log (/ -1 im))) (log (/ -1 re)))) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (exp (+ (* 2 (log im)) (log re))) (exp (- (+ (* 2 (log (/ 1 im))) (log (/ 1 re))))) (exp (- (log -1) (+ (* 2 (log (/ -1 im))) (log (/ -1 re))))) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) 1.893 * * [simplify]: iteration 0 : 338 enodes (cost 438 ) 1.900 * * [simplify]: iteration 1 : 1362 enodes (cost 377 ) 1.930 * * [simplify]: iteration 2 : 5001 enodes (cost 362 ) 1.933 * [simplify]: Simplified to: (expm1 (log (* re (pow im 2)))) (log1p (log (* re (pow im 2)))) (log re) (log (pow im 2)) (log (* re (pow im 2))) (log (log (* re (pow im 2)))) (* re (pow im 2)) (* (cbrt (log (* re (pow im 2)))) (cbrt (log (* re (pow im 2))))) (cbrt (log (* re (pow im 2)))) (pow (log (* re (pow im 2))) 3) (sqrt (log (* re (pow im 2)))) (sqrt (log (* re (pow im 2)))) (expm1 (* re (pow im 2))) (log1p (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) (exp (* re (pow im 2))) (pow (* re (pow im 2)) 3) (* (cbrt (* re (pow im 2))) (cbrt (* re (pow im 2)))) (cbrt (* re (pow im 2))) (pow (* re (pow im 2)) 3) (sqrt (* re (pow im 2))) (sqrt (* re (pow im 2))) (* im (sqrt re)) (* im (sqrt re)) (* im (sqrt re)) (* im (sqrt re)) (* (fabs im) (sqrt re)) (* (fabs im) (sqrt re)) (* im (sqrt re)) (* im (sqrt re)) (* re (pow (* (cbrt im) (cbrt im)) 2)) (* im re) re (* im re) (* re (* (cbrt (pow im 2)) (cbrt (pow im 2)))) (* re (fabs im)) re (* im re) (* (cbrt re) (pow im 2)) (* (sqrt re) (pow im 2)) (* re (pow im 2)) (expm1 (* re (pow im 2))) (log1p (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) (log (* re (pow im 2))) E (pow E (* (cbrt (log (* re (pow im 2)))) (cbrt (log (* re (pow im 2)))))) (pow E (sqrt (log (* re (pow im 2))))) E (pow E (log re)) (pow im 2) (pow (* (cbrt E) (cbrt E)) (log (* re (pow im 2)))) (pow (cbrt E) (log (* re (pow im 2)))) (pow (sqrt E) (log (* re (pow im 2)))) (pow (sqrt E) (log (* re (pow im 2)))) 1 (* re (pow im 2)) (log (* re (pow im 2))) (exp (* re (pow im 2))) (* (cbrt (* re (pow im 2))) (cbrt (* re (pow im 2)))) (cbrt (* re (pow im 2))) (pow (* re (pow im 2)) 3) (sqrt (* re (pow im 2))) (sqrt (* re (pow im 2))) (pow E (/ (log (* re (pow im 2))) 2)) (pow E (/ (log (* re (pow im 2))) 2)) (expm1 (* 0.16666666666666666 (pow re 3))) (log1p (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (log (* 0.16666666666666666 (pow re 3))) (exp (* 0.16666666666666666 (pow re 3))) (pow (* 0.16666666666666666 (pow re 3)) 3) (* (cbrt (* 0.16666666666666666 (pow re 3))) (cbrt (* 0.16666666666666666 (pow re 3)))) (cbrt (* 0.16666666666666666 (pow re 3))) (pow (* 0.16666666666666666 (pow re 3)) 3) (sqrt (* 0.16666666666666666 (pow re 3))) (sqrt (* 0.16666666666666666 (pow re 3))) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (pow (sqrt re) 3)) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (sqrt (pow re 3))) (* (sqrt 0.16666666666666666) (pow re 3/2)) (* (sqrt 0.16666666666666666) (pow re 3/2)) (* (* 0.16666666666666666 re) re) (* 0.16666666666666666 (pow (sqrt re) 3)) 0.16666666666666666 (* (* 0.16666666666666666 re) re) (* (* 0.16666666666666666 re) re) (* (* 0.16666666666666666 re) re) (* 0.16666666666666666 (pow (sqrt re) 3)) 0.16666666666666666 (* 0.16666666666666666 re) (* 0.16666666666666666 (sqrt (pow re 3))) 0.16666666666666666 (* 0.16666666666666666 (pow re 3/2)) (* (cbrt 0.16666666666666666) (pow re 3)) (* (sqrt 0.16666666666666666) (pow re 3)) (* 0.16666666666666666 (pow re 3)) (log (* re (pow im 2))) (log (* re (pow im 2))) (- (log -1) (+ (* 2 (log (/ -1 im))) (log (/ -1 re)))) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (* re (pow im 2)) (- (/ 1 (* (pow (/ -1 im) 2) (/ -1 re)))) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) 1.933 * * * [progress]: adding candidates to table 2.242 * [progress]: [Phase 3 of 3] Extracting. 2.242 * * [regime]: Finding splitpoints for: (# # #) 2.243 * * * [regime-changes]: Trying 6 branch expressions: ((+ (exp (- 0.0 im)) (exp im)) (sin re) (* 0.5 (sin re)) (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) im re) 2.243 * * * * [regimes]: Trying to branch on (+ (exp (- 0.0 im)) (exp im)) from (# # #) 2.263 * * * * [regimes]: Trying to branch on (sin re) from (# # #) 2.287 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# # #) 2.308 * * * * [regimes]: Trying to branch on (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) from (# # #) 2.339 * * * * [regimes]: Trying to branch on im from (# # #) 2.356 * * * * [regimes]: Trying to branch on re from (# # #) 2.376 * * * [regime]: Found split indices: #