20.013 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.094 * * * [progress]: [2/2] Setting up program. 0.097 * [progress]: [Phase 2 of 3] Improving. 0.097 * [simplify]: Simplifying using # : (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) 0.099 * * [simplify]: iteration 0 : 26 enodes (cost 7 ) 0.101 * * [simplify]: iteration 1 : 62 enodes (cost 7 ) 0.102 * * [simplify]: iteration 2 : 108 enodes (cost 7 ) 0.104 * * [simplify]: iteration 3 : 177 enodes (cost 7 ) 0.107 * * [simplify]: iteration 4 : 279 enodes (cost 7 ) 0.111 * * [simplify]: iteration 5 : 770 enodes (cost 7 ) 0.118 * * [simplify]: iteration 6 : 1075 enodes (cost 7 ) 0.126 * * [simplify]: iteration 7 : 1662 enodes (cost 7 ) 0.148 * * [simplify]: iteration 8 : 4217 enodes (cost 7 ) 0.167 * * [simplify]: iteration 9 : 5002 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.168 * * * [progress]: picking best candidate 0.170 * * * * [pick]: Picked # 0.170 * * * [progress]: localizing error 0.180 * * * [progress]: generating rewritten candidates 0.180 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.192 * * * [progress]: generating series expansions 0.192 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.193 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in (re im) around 0 0.193 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in im 0.193 * [taylor]: Taking taylor expansion of 0.5 in im 0.193 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in im 0.193 * [taylor]: Taking taylor expansion of (sin re) in im 0.193 * [taylor]: Taking taylor expansion of re in im 0.193 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 0.193 * [taylor]: Taking taylor expansion of (exp im) in im 0.193 * [taylor]: Taking taylor expansion of im in im 0.193 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.193 * [taylor]: Taking taylor expansion of (- im) in im 0.193 * [taylor]: Taking taylor expansion of im in im 0.194 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 0.194 * [taylor]: Taking taylor expansion of 0.5 in re 0.194 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 0.194 * [taylor]: Taking taylor expansion of (sin re) in re 0.194 * [taylor]: Taking taylor expansion of re in re 0.194 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 0.194 * [taylor]: Taking taylor expansion of (exp im) in re 0.194 * [taylor]: Taking taylor expansion of im in re 0.194 * [taylor]: Taking taylor expansion of (exp (- im)) in re 0.194 * [taylor]: Taking taylor expansion of (- im) in re 0.194 * [taylor]: Taking taylor expansion of im in re 0.194 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp im) (exp (- im))))) in re 0.194 * [taylor]: Taking taylor expansion of 0.5 in re 0.194 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp im) (exp (- im)))) in re 0.194 * [taylor]: Taking taylor expansion of (sin re) in re 0.194 * [taylor]: Taking taylor expansion of re in re 0.194 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 0.194 * [taylor]: Taking taylor expansion of (exp im) in re 0.194 * [taylor]: Taking taylor expansion of im in re 0.194 * [taylor]: Taking taylor expansion of (exp (- im)) in re 0.194 * [taylor]: Taking taylor expansion of (- im) in re 0.194 * [taylor]: Taking taylor expansion of im in re 0.195 * [taylor]: Taking taylor expansion of 0 in im 0.197 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (exp (- im)))) in im 0.197 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 0.197 * [taylor]: Taking taylor expansion of 0.5 in im 0.197 * [taylor]: Taking taylor expansion of (exp im) in im 0.197 * [taylor]: Taking taylor expansion of im in im 0.197 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 0.197 * [taylor]: Taking taylor expansion of 0.5 in im 0.197 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.197 * [taylor]: Taking taylor expansion of (- im) in im 0.197 * [taylor]: Taking taylor expansion of im in im 0.203 * [taylor]: Taking taylor expansion of 0 in im 0.212 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im))))) in im 0.212 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp im)) (* 0.08333333333333333 (exp (- im)))) in im 0.212 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 0.212 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.212 * [taylor]: Taking taylor expansion of (exp im) in im 0.212 * [taylor]: Taking taylor expansion of im in im 0.212 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 0.212 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.212 * [taylor]: Taking taylor expansion of (exp (- im)) in im 0.212 * [taylor]: Taking taylor expansion of (- im) in im 0.212 * [taylor]: Taking taylor expansion of im in im 0.220 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 0.220 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 0.220 * [taylor]: Taking taylor expansion of 0.5 in im 0.220 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 0.220 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.220 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.220 * [taylor]: Taking taylor expansion of re in im 0.220 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 0.220 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 0.220 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 0.220 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.221 * [taylor]: Taking taylor expansion of im in im 0.221 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.221 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.221 * [taylor]: Taking taylor expansion of im in im 0.222 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 0.222 * [taylor]: Taking taylor expansion of 0.5 in re 0.222 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 0.222 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.222 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.222 * [taylor]: Taking taylor expansion of re in re 0.223 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 0.223 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 0.223 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 0.223 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.223 * [taylor]: Taking taylor expansion of im in re 0.223 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.223 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.223 * [taylor]: Taking taylor expansion of im in re 0.223 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 0.223 * [taylor]: Taking taylor expansion of 0.5 in re 0.223 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 0.223 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.223 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.223 * [taylor]: Taking taylor expansion of re in re 0.224 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 0.224 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 0.224 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 0.224 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.224 * [taylor]: Taking taylor expansion of im in re 0.224 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.224 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.224 * [taylor]: Taking taylor expansion of im in re 0.225 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 0.225 * [taylor]: Taking taylor expansion of 0.5 in im 0.225 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 0.225 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.225 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.225 * [taylor]: Taking taylor expansion of re in im 0.225 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 0.225 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 0.225 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 0.225 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.225 * [taylor]: Taking taylor expansion of im in im 0.226 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.226 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.226 * [taylor]: Taking taylor expansion of im in im 0.231 * [taylor]: Taking taylor expansion of 0 in im 0.240 * [taylor]: Taking taylor expansion of 0 in im 0.252 * [taylor]: Taking taylor expansion of 0 in im 0.253 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0 0.253 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 0.253 * [taylor]: Taking taylor expansion of 0.5 in im 0.253 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 0.253 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.253 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.253 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.253 * [taylor]: Taking taylor expansion of -1 in im 0.253 * [taylor]: Taking taylor expansion of im in im 0.254 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.254 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.254 * [taylor]: Taking taylor expansion of im in im 0.254 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.254 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.254 * [taylor]: Taking taylor expansion of -1 in im 0.254 * [taylor]: Taking taylor expansion of re in im 0.255 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 0.255 * [taylor]: Taking taylor expansion of 0.5 in re 0.255 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 0.255 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.255 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.255 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.255 * [taylor]: Taking taylor expansion of -1 in re 0.255 * [taylor]: Taking taylor expansion of im in re 0.255 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.255 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.255 * [taylor]: Taking taylor expansion of im in re 0.255 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.255 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.255 * [taylor]: Taking taylor expansion of -1 in re 0.255 * [taylor]: Taking taylor expansion of re in re 0.256 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 0.256 * [taylor]: Taking taylor expansion of 0.5 in re 0.256 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 0.256 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 0.256 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.256 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.256 * [taylor]: Taking taylor expansion of -1 in re 0.256 * [taylor]: Taking taylor expansion of im in re 0.256 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.256 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.256 * [taylor]: Taking taylor expansion of im in re 0.256 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.256 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.256 * [taylor]: Taking taylor expansion of -1 in re 0.256 * [taylor]: Taking taylor expansion of re in re 0.257 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 0.257 * [taylor]: Taking taylor expansion of 0.5 in im 0.257 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 0.257 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 0.257 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.257 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.257 * [taylor]: Taking taylor expansion of -1 in im 0.257 * [taylor]: Taking taylor expansion of im in im 0.258 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.258 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.258 * [taylor]: Taking taylor expansion of im in im 0.258 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.258 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.259 * [taylor]: Taking taylor expansion of -1 in im 0.259 * [taylor]: Taking taylor expansion of re in im 0.268 * [taylor]: Taking taylor expansion of 0 in im 0.276 * [taylor]: Taking taylor expansion of 0 in im 0.286 * [taylor]: Taking taylor expansion of 0 in im 0.286 * * * [progress]: simplifying candidates 0.287 * [simplify]: Simplifying using # : (* (* 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.290 * * [simplify]: iteration 0 : 234 enodes (cost 248 ) 0.295 * * [simplify]: iteration 1 : 1124 enodes (cost 203 ) 0.320 * * [simplify]: iteration 2 : 5001 enodes (cost 203 ) 0.321 * [simplify]: Simplified to: (* (* 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))) (* (+ (exp (+ (- 0.0 im) (- 0.0 im))) (- (exp (+ im im)))) (* 0.5 (sin re))) (- (+ (* 1.0 re) (* 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.321 * * * [progress]: adding candidates to table 0.374 * * [progress]: iteration 2 / 4 0.374 * * * [progress]: picking best candidate 0.376 * * * * [pick]: Picked # 0.376 * * * [progress]: localizing error 0.387 * * * [progress]: generating rewritten candidates 0.387 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 2) 0.393 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.399 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 0.406 * * * [progress]: generating series expansions 0.406 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 2) 0.407 * [approximate]: Taking taylor expansion of (* re (pow im 2)) in (re im) around 0 0.407 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.407 * [taylor]: Taking taylor expansion of re in im 0.407 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.407 * [taylor]: Taking taylor expansion of im in im 0.407 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.407 * [taylor]: Taking taylor expansion of re in re 0.407 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.407 * [taylor]: Taking taylor expansion of im in re 0.407 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.407 * [taylor]: Taking taylor expansion of re in re 0.407 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.407 * [taylor]: Taking taylor expansion of im in re 0.407 * [taylor]: Taking taylor expansion of 0 in im 0.408 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.408 * [taylor]: Taking taylor expansion of im in im 0.409 * [taylor]: Taking taylor expansion of 0 in im 0.411 * [taylor]: Taking taylor expansion of 0 in im 0.411 * [approximate]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in (re im) around 0 0.411 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 0.411 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.411 * [taylor]: Taking taylor expansion of re in im 0.411 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.411 * [taylor]: Taking taylor expansion of im in im 0.411 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.411 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.411 * [taylor]: Taking taylor expansion of re in re 0.411 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.411 * [taylor]: Taking taylor expansion of im in re 0.412 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.412 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.412 * [taylor]: Taking taylor expansion of re in re 0.412 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.412 * [taylor]: Taking taylor expansion of im in re 0.412 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.412 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.412 * [taylor]: Taking taylor expansion of im in im 0.414 * [taylor]: Taking taylor expansion of 0 in im 0.416 * [taylor]: Taking taylor expansion of 0 in im 0.420 * [taylor]: Taking taylor expansion of 0 in im 0.424 * [taylor]: Taking taylor expansion of 0 in im 0.424 * [approximate]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in (re im) around 0 0.424 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 0.424 * [taylor]: Taking taylor expansion of -1 in im 0.424 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.424 * [taylor]: Taking taylor expansion of re in im 0.424 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.424 * [taylor]: Taking taylor expansion of im in im 0.424 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 0.424 * [taylor]: Taking taylor expansion of -1 in re 0.424 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.424 * [taylor]: Taking taylor expansion of re in re 0.424 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.424 * [taylor]: Taking taylor expansion of im in re 0.425 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 0.425 * [taylor]: Taking taylor expansion of -1 in re 0.425 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.425 * [taylor]: Taking taylor expansion of re in re 0.425 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.425 * [taylor]: Taking taylor expansion of im in re 0.426 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 0.426 * [taylor]: Taking taylor expansion of -1 in im 0.426 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.426 * [taylor]: Taking taylor expansion of im in im 0.427 * [taylor]: Taking taylor expansion of 0 in im 0.430 * [taylor]: Taking taylor expansion of 0 in im 0.433 * [taylor]: Taking taylor expansion of 0 in im 0.437 * [taylor]: Taking taylor expansion of 0 in im 0.437 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.437 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in (re) around 0 0.437 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 0.437 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.437 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.437 * [taylor]: Taking taylor expansion of re in re 0.437 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 0.437 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.437 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.437 * [taylor]: Taking taylor expansion of re in re 0.453 * [approximate]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in (re) around 0 0.453 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in re 0.453 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.453 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.453 * [taylor]: Taking taylor expansion of re in re 0.454 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in re 0.454 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.454 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.454 * [taylor]: Taking taylor expansion of re in re 0.466 * [approximate]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in (re) around 0 0.466 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in re 0.466 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 0.466 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.466 * [taylor]: Taking taylor expansion of re in re 0.466 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in re 0.466 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 0.466 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.467 * [taylor]: Taking taylor expansion of re in re 0.478 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 0.478 * [approximate]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in (re im) around 0 0.478 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in im 0.478 * [taylor]: Taking taylor expansion of 0.5 in im 0.478 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.478 * [taylor]: Taking taylor expansion of re in im 0.478 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.478 * [taylor]: Taking taylor expansion of im in im 0.478 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in re 0.478 * [taylor]: Taking taylor expansion of 0.5 in re 0.478 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.478 * [taylor]: Taking taylor expansion of re in re 0.478 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.478 * [taylor]: Taking taylor expansion of im in re 0.478 * [taylor]: Taking taylor expansion of (* 0.5 (* re (pow im 2))) in re 0.478 * [taylor]: Taking taylor expansion of 0.5 in re 0.478 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.478 * [taylor]: Taking taylor expansion of re in re 0.478 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.478 * [taylor]: Taking taylor expansion of im in re 0.479 * [taylor]: Taking taylor expansion of 0 in im 0.479 * [taylor]: Taking taylor expansion of (* 0.5 (pow im 2)) in im 0.479 * [taylor]: Taking taylor expansion of 0.5 in im 0.479 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.479 * [taylor]: Taking taylor expansion of im in im 0.482 * [taylor]: Taking taylor expansion of 0 in im 0.485 * [taylor]: Taking taylor expansion of 0 in im 0.485 * [approximate]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in (re im) around 0 0.485 * [taylor]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in im 0.485 * [taylor]: Taking taylor expansion of 0.5 in im 0.485 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.485 * [taylor]: Taking taylor expansion of re in im 0.485 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.485 * [taylor]: Taking taylor expansion of im in im 0.485 * [taylor]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in re 0.485 * [taylor]: Taking taylor expansion of 0.5 in re 0.485 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.485 * [taylor]: Taking taylor expansion of re in re 0.485 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.485 * [taylor]: Taking taylor expansion of im in re 0.486 * [taylor]: Taking taylor expansion of (/ 0.5 (* re (pow im 2))) in re 0.486 * [taylor]: Taking taylor expansion of 0.5 in re 0.486 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.486 * [taylor]: Taking taylor expansion of re in re 0.486 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.486 * [taylor]: Taking taylor expansion of im in re 0.487 * [taylor]: Taking taylor expansion of (/ 0.5 (pow im 2)) in im 0.487 * [taylor]: Taking taylor expansion of 0.5 in im 0.487 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.487 * [taylor]: Taking taylor expansion of im in im 0.488 * [taylor]: Taking taylor expansion of 0 in im 0.491 * [taylor]: Taking taylor expansion of 0 in im 0.494 * [taylor]: Taking taylor expansion of 0 in im 0.498 * [taylor]: Taking taylor expansion of 0 in im 0.498 * [approximate]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in (re im) around 0 0.498 * [taylor]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in im 0.498 * [taylor]: Taking taylor expansion of -0.5 in im 0.498 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.498 * [taylor]: Taking taylor expansion of re in im 0.498 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.498 * [taylor]: Taking taylor expansion of im in im 0.498 * [taylor]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in re 0.498 * [taylor]: Taking taylor expansion of -0.5 in re 0.498 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.498 * [taylor]: Taking taylor expansion of re in re 0.498 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.498 * [taylor]: Taking taylor expansion of im in re 0.499 * [taylor]: Taking taylor expansion of (/ -0.5 (* re (pow im 2))) in re 0.499 * [taylor]: Taking taylor expansion of -0.5 in re 0.499 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.499 * [taylor]: Taking taylor expansion of re in re 0.499 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.499 * [taylor]: Taking taylor expansion of im in re 0.500 * [taylor]: Taking taylor expansion of (/ -0.5 (pow im 2)) in im 0.500 * [taylor]: Taking taylor expansion of -0.5 in im 0.500 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.500 * [taylor]: Taking taylor expansion of im in im 0.501 * [taylor]: Taking taylor expansion of 0 in im 0.504 * [taylor]: Taking taylor expansion of 0 in im 0.507 * [taylor]: Taking taylor expansion of 0 in im 0.511 * [taylor]: Taking taylor expansion of 0 in im 0.511 * * * [progress]: simplifying candidates 0.512 * [simplify]: Simplifying using # : (+ (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)) (+ (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)) (* 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))) (* 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.516 * * [simplify]: iteration 0 : 271 enodes (cost 315 ) 0.522 * * [simplify]: iteration 1 : 1155 enodes (cost 269 ) 0.549 * * [simplify]: iteration 2 : 5001 enodes (cost 267 ) 0.550 * [simplify]: Simplified to: (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)) (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)) (* 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))) (* 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.551 * * * [progress]: adding candidates to table 0.713 * * [progress]: iteration 3 / 4 0.713 * * * [progress]: picking best candidate 0.716 * * * * [pick]: Picked # 0.716 * * * [progress]: localizing error 0.734 * * * [progress]: generating rewritten candidates 0.734 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1) 0.737 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1 1) 0.743 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 0.747 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.755 * * * [progress]: generating series expansions 0.755 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1) 0.755 * [approximate]: Taking taylor expansion of (log (* re (pow im 2))) in (re im) around 0 0.755 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in im 0.755 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.755 * [taylor]: Taking taylor expansion of re in im 0.755 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.755 * [taylor]: Taking taylor expansion of im in im 0.756 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in re 0.756 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.756 * [taylor]: Taking taylor expansion of re in re 0.756 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.756 * [taylor]: Taking taylor expansion of im in re 0.757 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in re 0.757 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.757 * [taylor]: Taking taylor expansion of re in re 0.757 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.757 * [taylor]: Taking taylor expansion of im in re 0.758 * [taylor]: Taking taylor expansion of (+ (log (pow im 2)) (log re)) in im 0.758 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 0.758 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.758 * [taylor]: Taking taylor expansion of im in im 0.758 * [taylor]: Taking taylor expansion of (log re) in im 0.758 * [taylor]: Taking taylor expansion of re in im 0.760 * [taylor]: Taking taylor expansion of 0 in im 0.765 * [taylor]: Taking taylor expansion of 0 in im 0.771 * [taylor]: Taking taylor expansion of 0 in im 0.772 * [approximate]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in (re im) around 0 0.772 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in im 0.772 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 0.772 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.772 * [taylor]: Taking taylor expansion of re in im 0.772 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.772 * [taylor]: Taking taylor expansion of im in im 0.772 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in re 0.772 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.772 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.772 * [taylor]: Taking taylor expansion of re in re 0.772 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.772 * [taylor]: Taking taylor expansion of im in re 0.773 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in re 0.773 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.773 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.773 * [taylor]: Taking taylor expansion of re in re 0.773 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.773 * [taylor]: Taking taylor expansion of im in re 0.774 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow im 2))) (log re)) in im 0.774 * [taylor]: Taking taylor expansion of (log (/ 1 (pow im 2))) in im 0.774 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.774 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.774 * [taylor]: Taking taylor expansion of im in im 0.775 * [taylor]: Taking taylor expansion of (log re) in im 0.775 * [taylor]: Taking taylor expansion of re in im 0.777 * [taylor]: Taking taylor expansion of 0 in im 0.782 * [taylor]: Taking taylor expansion of 0 in im 0.790 * [taylor]: Taking taylor expansion of 0 in im 0.790 * [approximate]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in (re im) around 0 0.790 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in im 0.790 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 0.790 * [taylor]: Taking taylor expansion of -1 in im 0.790 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.790 * [taylor]: Taking taylor expansion of re in im 0.790 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.790 * [taylor]: Taking taylor expansion of im in im 0.791 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in re 0.791 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 0.791 * [taylor]: Taking taylor expansion of -1 in re 0.791 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.791 * [taylor]: Taking taylor expansion of re in re 0.791 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.791 * [taylor]: Taking taylor expansion of im in re 0.791 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in re 0.791 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 0.791 * [taylor]: Taking taylor expansion of -1 in re 0.791 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.791 * [taylor]: Taking taylor expansion of re in re 0.791 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.791 * [taylor]: Taking taylor expansion of im in re 0.792 * [taylor]: Taking taylor expansion of (- (log (/ -1 (pow im 2))) (log re)) in im 0.792 * [taylor]: Taking taylor expansion of (log (/ -1 (pow im 2))) in im 0.793 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 0.793 * [taylor]: Taking taylor expansion of -1 in im 0.793 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.793 * [taylor]: Taking taylor expansion of im in im 0.793 * [taylor]: Taking taylor expansion of (log re) in im 0.793 * [taylor]: Taking taylor expansion of re in im 0.796 * [taylor]: Taking taylor expansion of 0 in im 0.802 * [taylor]: Taking taylor expansion of 0 in im 0.810 * [taylor]: Taking taylor expansion of 0 in im 0.810 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1 1) 0.810 * [approximate]: Taking taylor expansion of (* re (pow im 2)) in (re im) around 0 0.810 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.810 * [taylor]: Taking taylor expansion of re in im 0.810 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.810 * [taylor]: Taking taylor expansion of im in im 0.810 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.810 * [taylor]: Taking taylor expansion of re in re 0.810 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.810 * [taylor]: Taking taylor expansion of im in re 0.810 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.810 * [taylor]: Taking taylor expansion of re in re 0.810 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.810 * [taylor]: Taking taylor expansion of im in re 0.811 * [taylor]: Taking taylor expansion of 0 in im 0.811 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.811 * [taylor]: Taking taylor expansion of im in im 0.817 * [taylor]: Taking taylor expansion of 0 in im 0.819 * [taylor]: Taking taylor expansion of 0 in im 0.819 * [approximate]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in (re im) around 0 0.819 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 0.819 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.819 * [taylor]: Taking taylor expansion of re in im 0.819 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.819 * [taylor]: Taking taylor expansion of im in im 0.819 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.819 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.819 * [taylor]: Taking taylor expansion of re in re 0.819 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.819 * [taylor]: Taking taylor expansion of im in re 0.820 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.820 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.820 * [taylor]: Taking taylor expansion of re in re 0.820 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.820 * [taylor]: Taking taylor expansion of im in re 0.820 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.821 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.821 * [taylor]: Taking taylor expansion of im in im 0.822 * [taylor]: Taking taylor expansion of 0 in im 0.824 * [taylor]: Taking taylor expansion of 0 in im 0.827 * [taylor]: Taking taylor expansion of 0 in im 0.831 * [taylor]: Taking taylor expansion of 0 in im 0.831 * [approximate]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in (re im) around 0 0.831 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 0.831 * [taylor]: Taking taylor expansion of -1 in im 0.832 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.832 * [taylor]: Taking taylor expansion of re in im 0.832 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.832 * [taylor]: Taking taylor expansion of im in im 0.832 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 0.832 * [taylor]: Taking taylor expansion of -1 in re 0.832 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.832 * [taylor]: Taking taylor expansion of re in re 0.832 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.832 * [taylor]: Taking taylor expansion of im in re 0.832 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 0.833 * [taylor]: Taking taylor expansion of -1 in re 0.833 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.833 * [taylor]: Taking taylor expansion of re in re 0.833 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.833 * [taylor]: Taking taylor expansion of im in re 0.833 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 0.833 * [taylor]: Taking taylor expansion of -1 in im 0.833 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.833 * [taylor]: Taking taylor expansion of im in im 0.835 * [taylor]: Taking taylor expansion of 0 in im 0.837 * [taylor]: Taking taylor expansion of 0 in im 0.840 * [taylor]: Taking taylor expansion of 0 in im 0.844 * [taylor]: Taking taylor expansion of 0 in im 0.844 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 0.845 * [approximate]: Taking taylor expansion of (* re (pow im 2)) in (re im) around 0 0.845 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.845 * [taylor]: Taking taylor expansion of re in im 0.845 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.845 * [taylor]: Taking taylor expansion of im in im 0.845 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.845 * [taylor]: Taking taylor expansion of re in re 0.845 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.845 * [taylor]: Taking taylor expansion of im in re 0.845 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.845 * [taylor]: Taking taylor expansion of re in re 0.845 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.845 * [taylor]: Taking taylor expansion of im in re 0.845 * [taylor]: Taking taylor expansion of 0 in im 0.845 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.845 * [taylor]: Taking taylor expansion of im in im 0.847 * [taylor]: Taking taylor expansion of 0 in im 0.848 * [taylor]: Taking taylor expansion of 0 in im 0.849 * [approximate]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in (re im) around 0 0.849 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 0.849 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.849 * [taylor]: Taking taylor expansion of re in im 0.849 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.849 * [taylor]: Taking taylor expansion of im in im 0.849 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.849 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.849 * [taylor]: Taking taylor expansion of re in re 0.849 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.849 * [taylor]: Taking taylor expansion of im in re 0.850 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 0.850 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.850 * [taylor]: Taking taylor expansion of re in re 0.850 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.850 * [taylor]: Taking taylor expansion of im in re 0.850 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.850 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.850 * [taylor]: Taking taylor expansion of im in im 0.852 * [taylor]: Taking taylor expansion of 0 in im 0.854 * [taylor]: Taking taylor expansion of 0 in im 0.857 * [taylor]: Taking taylor expansion of 0 in im 0.861 * [taylor]: Taking taylor expansion of 0 in im 0.861 * [approximate]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in (re im) around 0 0.861 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 0.861 * [taylor]: Taking taylor expansion of -1 in im 0.861 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.861 * [taylor]: Taking taylor expansion of re in im 0.862 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.862 * [taylor]: Taking taylor expansion of im in im 0.862 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 0.862 * [taylor]: Taking taylor expansion of -1 in re 0.862 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.862 * [taylor]: Taking taylor expansion of re in re 0.862 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.862 * [taylor]: Taking taylor expansion of im in re 0.862 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 0.862 * [taylor]: Taking taylor expansion of -1 in re 0.862 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 0.863 * [taylor]: Taking taylor expansion of re in re 0.863 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.863 * [taylor]: Taking taylor expansion of im in re 0.863 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 0.863 * [taylor]: Taking taylor expansion of -1 in im 0.863 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.863 * [taylor]: Taking taylor expansion of im in im 0.865 * [taylor]: Taking taylor expansion of 0 in im 0.867 * [taylor]: Taking taylor expansion of 0 in im 0.870 * [taylor]: Taking taylor expansion of 0 in im 0.874 * [taylor]: Taking taylor expansion of 0 in im 0.874 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.874 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in (re) around 0 0.875 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 0.875 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.875 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.875 * [taylor]: Taking taylor expansion of re in re 0.875 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 0.875 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.875 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.875 * [taylor]: Taking taylor expansion of re in re 0.886 * [approximate]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in (re) around 0 0.886 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in re 0.887 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.887 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.887 * [taylor]: Taking taylor expansion of re in re 0.887 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in re 0.887 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 0.887 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.887 * [taylor]: Taking taylor expansion of re in re 0.899 * [approximate]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in (re) around 0 0.899 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in re 0.899 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 0.899 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.899 * [taylor]: Taking taylor expansion of re in re 0.900 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in re 0.900 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 0.900 * [taylor]: Taking taylor expansion of (pow re 3) in re 0.900 * [taylor]: Taking taylor expansion of re in re 0.915 * * * [progress]: simplifying candidates 0.916 * [simplify]: Simplifying using # : (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)))) (+ (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)) (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))))) (+ (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)) 0.921 * * [simplify]: iteration 0 : 275 enodes (cost 330 ) 0.926 * * [simplify]: iteration 1 : 1101 enodes (cost 289 ) 0.950 * * [simplify]: iteration 2 : 5002 enodes (cost 284 ) 0.952 * [simplify]: Simplified to: (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)))) (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)) 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))) (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)) 0.952 * * * [progress]: adding candidates to table 1.174 * * [progress]: iteration 4 / 4 1.174 * * * [progress]: picking best candidate 1.178 * * * * [pick]: Picked # 1.178 * * * [progress]: localizing error 1.195 * * * [progress]: generating rewritten candidates 1.195 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 1.199 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 1.205 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 1.210 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.218 * * * [progress]: generating series expansions 1.218 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 1.218 * [approximate]: Taking taylor expansion of (log (* re (pow im 2))) in (re im) around 0 1.218 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in im 1.218 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.218 * [taylor]: Taking taylor expansion of re in im 1.218 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.218 * [taylor]: Taking taylor expansion of im in im 1.219 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in re 1.219 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.219 * [taylor]: Taking taylor expansion of re in re 1.219 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.219 * [taylor]: Taking taylor expansion of im in re 1.219 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in re 1.219 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.219 * [taylor]: Taking taylor expansion of re in re 1.219 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.219 * [taylor]: Taking taylor expansion of im in re 1.220 * [taylor]: Taking taylor expansion of (+ (log (pow im 2)) (log re)) in im 1.220 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 1.220 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.220 * [taylor]: Taking taylor expansion of im in im 1.221 * [taylor]: Taking taylor expansion of (log re) in im 1.221 * [taylor]: Taking taylor expansion of re in im 1.223 * [taylor]: Taking taylor expansion of 0 in im 1.228 * [taylor]: Taking taylor expansion of 0 in im 1.235 * [taylor]: Taking taylor expansion of 0 in im 1.235 * [approximate]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in (re im) around 0 1.235 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in im 1.235 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 1.235 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.235 * [taylor]: Taking taylor expansion of re in im 1.235 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.235 * [taylor]: Taking taylor expansion of im in im 1.235 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in re 1.235 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.235 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.235 * [taylor]: Taking taylor expansion of re in re 1.235 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.235 * [taylor]: Taking taylor expansion of im in re 1.236 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in re 1.236 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.236 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.236 * [taylor]: Taking taylor expansion of re in re 1.236 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.236 * [taylor]: Taking taylor expansion of im in re 1.237 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow im 2))) (log re)) in im 1.237 * [taylor]: Taking taylor expansion of (log (/ 1 (pow im 2))) in im 1.237 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.237 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.237 * [taylor]: Taking taylor expansion of im in im 1.238 * [taylor]: Taking taylor expansion of (log re) in im 1.238 * [taylor]: Taking taylor expansion of re in im 1.240 * [taylor]: Taking taylor expansion of 0 in im 1.245 * [taylor]: Taking taylor expansion of 0 in im 1.253 * [taylor]: Taking taylor expansion of 0 in im 1.253 * [approximate]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in (re im) around 0 1.253 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in im 1.253 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 1.254 * [taylor]: Taking taylor expansion of -1 in im 1.254 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.254 * [taylor]: Taking taylor expansion of re in im 1.254 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.254 * [taylor]: Taking taylor expansion of im in im 1.254 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in re 1.254 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.254 * [taylor]: Taking taylor expansion of -1 in re 1.254 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.254 * [taylor]: Taking taylor expansion of re in re 1.254 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.254 * [taylor]: Taking taylor expansion of im in re 1.255 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in re 1.255 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.255 * [taylor]: Taking taylor expansion of -1 in re 1.255 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.255 * [taylor]: Taking taylor expansion of re in re 1.255 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.255 * [taylor]: Taking taylor expansion of im in re 1.256 * [taylor]: Taking taylor expansion of (- (log (/ -1 (pow im 2))) (log re)) in im 1.256 * [taylor]: Taking taylor expansion of (log (/ -1 (pow im 2))) in im 1.256 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 1.256 * [taylor]: Taking taylor expansion of -1 in im 1.256 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.256 * [taylor]: Taking taylor expansion of im in im 1.257 * [taylor]: Taking taylor expansion of (log re) in im 1.257 * [taylor]: Taking taylor expansion of re in im 1.260 * [taylor]: Taking taylor expansion of 0 in im 1.270 * [taylor]: Taking taylor expansion of 0 in im 1.278 * [taylor]: Taking taylor expansion of 0 in im 1.278 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 1.279 * [approximate]: Taking taylor expansion of (* re (pow im 2)) in (re im) around 0 1.279 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.279 * [taylor]: Taking taylor expansion of re in im 1.279 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.279 * [taylor]: Taking taylor expansion of im in im 1.279 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.279 * [taylor]: Taking taylor expansion of re in re 1.279 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.279 * [taylor]: Taking taylor expansion of im in re 1.279 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.279 * [taylor]: Taking taylor expansion of re in re 1.279 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.279 * [taylor]: Taking taylor expansion of im in re 1.279 * [taylor]: Taking taylor expansion of 0 in im 1.279 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.279 * [taylor]: Taking taylor expansion of im in im 1.281 * [taylor]: Taking taylor expansion of 0 in im 1.282 * [taylor]: Taking taylor expansion of 0 in im 1.283 * [approximate]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in (re im) around 0 1.283 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 1.283 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.283 * [taylor]: Taking taylor expansion of re in im 1.283 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.283 * [taylor]: Taking taylor expansion of im in im 1.283 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.283 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.283 * [taylor]: Taking taylor expansion of re in re 1.283 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.283 * [taylor]: Taking taylor expansion of im in re 1.284 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.284 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.284 * [taylor]: Taking taylor expansion of re in re 1.284 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.284 * [taylor]: Taking taylor expansion of im in re 1.284 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.284 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.284 * [taylor]: Taking taylor expansion of im in im 1.286 * [taylor]: Taking taylor expansion of 0 in im 1.288 * [taylor]: Taking taylor expansion of 0 in im 1.291 * [taylor]: Taking taylor expansion of 0 in im 1.295 * [taylor]: Taking taylor expansion of 0 in im 1.296 * [approximate]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in (re im) around 0 1.296 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 1.296 * [taylor]: Taking taylor expansion of -1 in im 1.296 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.296 * [taylor]: Taking taylor expansion of re in im 1.296 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.296 * [taylor]: Taking taylor expansion of im in im 1.296 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.296 * [taylor]: Taking taylor expansion of -1 in re 1.296 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.296 * [taylor]: Taking taylor expansion of re in re 1.296 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.296 * [taylor]: Taking taylor expansion of im in re 1.297 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.297 * [taylor]: Taking taylor expansion of -1 in re 1.297 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.297 * [taylor]: Taking taylor expansion of re in re 1.297 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.297 * [taylor]: Taking taylor expansion of im in re 1.297 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 1.297 * [taylor]: Taking taylor expansion of -1 in im 1.297 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.297 * [taylor]: Taking taylor expansion of im in im 1.299 * [taylor]: Taking taylor expansion of 0 in im 1.301 * [taylor]: Taking taylor expansion of 0 in im 1.305 * [taylor]: Taking taylor expansion of 0 in im 1.309 * [taylor]: Taking taylor expansion of 0 in im 1.309 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 1.309 * [approximate]: Taking taylor expansion of (pow E (log (* re (pow im 2)))) in (re im) around 0 1.309 * [taylor]: Taking taylor expansion of (pow E (log (* re (pow im 2)))) in im 1.309 * [taylor]: Taking taylor expansion of (exp (* (log (* re (pow im 2))) (log E))) in im 1.309 * [taylor]: Taking taylor expansion of (* (log (* re (pow im 2))) (log E)) in im 1.309 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in im 1.309 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.309 * [taylor]: Taking taylor expansion of re in im 1.309 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.309 * [taylor]: Taking taylor expansion of im in im 1.310 * [taylor]: Taking taylor expansion of (log E) in im 1.310 * [taylor]: Taking taylor expansion of E in im 1.310 * [taylor]: Taking taylor expansion of (pow E (log (* re (pow im 2)))) in re 1.310 * [taylor]: Taking taylor expansion of (exp (* (log (* re (pow im 2))) (log E))) in re 1.310 * [taylor]: Taking taylor expansion of (* (log (* re (pow im 2))) (log E)) in re 1.310 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in re 1.310 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.310 * [taylor]: Taking taylor expansion of re in re 1.310 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.310 * [taylor]: Taking taylor expansion of im in re 1.311 * [taylor]: Taking taylor expansion of (log E) in re 1.311 * [taylor]: Taking taylor expansion of E in re 1.312 * [taylor]: Taking taylor expansion of (pow E (log (* re (pow im 2)))) in re 1.312 * [taylor]: Taking taylor expansion of (exp (* (log (* re (pow im 2))) (log E))) in re 1.312 * [taylor]: Taking taylor expansion of (* (log (* re (pow im 2))) (log E)) in re 1.312 * [taylor]: Taking taylor expansion of (log (* re (pow im 2))) in re 1.312 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.312 * [taylor]: Taking taylor expansion of re in re 1.312 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.312 * [taylor]: Taking taylor expansion of im in re 1.312 * [taylor]: Taking taylor expansion of (log E) in re 1.312 * [taylor]: Taking taylor expansion of E in re 1.313 * [taylor]: Taking taylor expansion of (exp (+ (log (pow im 2)) (log re))) in im 1.313 * [taylor]: Taking taylor expansion of (+ (log (pow im 2)) (log re)) in im 1.313 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 1.313 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.313 * [taylor]: Taking taylor expansion of im in im 1.313 * [taylor]: Taking taylor expansion of (log re) in im 1.313 * [taylor]: Taking taylor expansion of re in im 1.318 * [taylor]: Taking taylor expansion of 0 in im 1.326 * [taylor]: Taking taylor expansion of 0 in im 1.338 * [taylor]: Taking taylor expansion of 0 in im 1.339 * [approximate]: Taking taylor expansion of (pow E (log (/ 1 (* re (pow im 2))))) in (re im) around 0 1.339 * [taylor]: Taking taylor expansion of (pow E (log (/ 1 (* re (pow im 2))))) in im 1.339 * [taylor]: Taking taylor expansion of (exp (* (log (/ 1 (* re (pow im 2)))) (log E))) in im 1.339 * [taylor]: Taking taylor expansion of (* (log (/ 1 (* re (pow im 2)))) (log E)) in im 1.339 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in im 1.339 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in im 1.339 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.339 * [taylor]: Taking taylor expansion of re in im 1.339 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.339 * [taylor]: Taking taylor expansion of im in im 1.339 * [taylor]: Taking taylor expansion of (log E) in im 1.339 * [taylor]: Taking taylor expansion of E in im 1.340 * [taylor]: Taking taylor expansion of (pow E (log (/ 1 (* re (pow im 2))))) in re 1.340 * [taylor]: Taking taylor expansion of (exp (* (log (/ 1 (* re (pow im 2)))) (log E))) in re 1.340 * [taylor]: Taking taylor expansion of (* (log (/ 1 (* re (pow im 2)))) (log E)) in re 1.340 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in re 1.340 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.340 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.340 * [taylor]: Taking taylor expansion of re in re 1.340 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.340 * [taylor]: Taking taylor expansion of im in re 1.341 * [taylor]: Taking taylor expansion of (log E) in re 1.341 * [taylor]: Taking taylor expansion of E in re 1.341 * [taylor]: Taking taylor expansion of (pow E (log (/ 1 (* re (pow im 2))))) in re 1.341 * [taylor]: Taking taylor expansion of (exp (* (log (/ 1 (* re (pow im 2)))) (log E))) in re 1.341 * [taylor]: Taking taylor expansion of (* (log (/ 1 (* re (pow im 2)))) (log E)) in re 1.341 * [taylor]: Taking taylor expansion of (log (/ 1 (* re (pow im 2)))) in re 1.341 * [taylor]: Taking taylor expansion of (/ 1 (* re (pow im 2))) in re 1.341 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.341 * [taylor]: Taking taylor expansion of re in re 1.341 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.342 * [taylor]: Taking taylor expansion of im in re 1.342 * [taylor]: Taking taylor expansion of (log E) in re 1.342 * [taylor]: Taking taylor expansion of E in re 1.343 * [taylor]: Taking taylor expansion of (exp (- (log (/ 1 (pow im 2))) (log re))) in im 1.343 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow im 2))) (log re)) in im 1.343 * [taylor]: Taking taylor expansion of (log (/ 1 (pow im 2))) in im 1.343 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.343 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.343 * [taylor]: Taking taylor expansion of im in im 1.344 * [taylor]: Taking taylor expansion of (log re) in im 1.344 * [taylor]: Taking taylor expansion of re in im 1.348 * [taylor]: Taking taylor expansion of 0 in im 1.362 * [taylor]: Taking taylor expansion of 0 in im 1.376 * [taylor]: Taking taylor expansion of 0 in im 1.376 * [approximate]: Taking taylor expansion of (pow E (log (/ -1 (* re (pow im 2))))) in (re im) around 0 1.376 * [taylor]: Taking taylor expansion of (pow E (log (/ -1 (* re (pow im 2))))) in im 1.376 * [taylor]: Taking taylor expansion of (exp (* (log (/ -1 (* re (pow im 2)))) (log E))) in im 1.377 * [taylor]: Taking taylor expansion of (* (log (/ -1 (* re (pow im 2)))) (log E)) in im 1.377 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in im 1.377 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in im 1.377 * [taylor]: Taking taylor expansion of -1 in im 1.377 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 1.377 * [taylor]: Taking taylor expansion of re in im 1.377 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.377 * [taylor]: Taking taylor expansion of im in im 1.377 * [taylor]: Taking taylor expansion of (log E) in im 1.377 * [taylor]: Taking taylor expansion of E in im 1.378 * [taylor]: Taking taylor expansion of (pow E (log (/ -1 (* re (pow im 2))))) in re 1.378 * [taylor]: Taking taylor expansion of (exp (* (log (/ -1 (* re (pow im 2)))) (log E))) in re 1.378 * [taylor]: Taking taylor expansion of (* (log (/ -1 (* re (pow im 2)))) (log E)) in re 1.378 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in re 1.378 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.378 * [taylor]: Taking taylor expansion of -1 in re 1.378 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.378 * [taylor]: Taking taylor expansion of re in re 1.378 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.378 * [taylor]: Taking taylor expansion of im in re 1.378 * [taylor]: Taking taylor expansion of (log E) in re 1.378 * [taylor]: Taking taylor expansion of E in re 1.379 * [taylor]: Taking taylor expansion of (pow E (log (/ -1 (* re (pow im 2))))) in re 1.379 * [taylor]: Taking taylor expansion of (exp (* (log (/ -1 (* re (pow im 2)))) (log E))) in re 1.379 * [taylor]: Taking taylor expansion of (* (log (/ -1 (* re (pow im 2)))) (log E)) in re 1.379 * [taylor]: Taking taylor expansion of (log (/ -1 (* re (pow im 2)))) in re 1.379 * [taylor]: Taking taylor expansion of (/ -1 (* re (pow im 2))) in re 1.379 * [taylor]: Taking taylor expansion of -1 in re 1.379 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in re 1.379 * [taylor]: Taking taylor expansion of re in re 1.379 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.379 * [taylor]: Taking taylor expansion of im in re 1.380 * [taylor]: Taking taylor expansion of (log E) in re 1.380 * [taylor]: Taking taylor expansion of E in re 1.380 * [taylor]: Taking taylor expansion of (exp (- (log (/ -1 (pow im 2))) (log re))) in im 1.380 * [taylor]: Taking taylor expansion of (- (log (/ -1 (pow im 2))) (log re)) in im 1.380 * [taylor]: Taking taylor expansion of (log (/ -1 (pow im 2))) in im 1.380 * [taylor]: Taking taylor expansion of (/ -1 (pow im 2)) in im 1.380 * [taylor]: Taking taylor expansion of -1 in im 1.380 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.380 * [taylor]: Taking taylor expansion of im in im 1.381 * [taylor]: Taking taylor expansion of (log re) in im 1.381 * [taylor]: Taking taylor expansion of re in im 1.387 * [taylor]: Taking taylor expansion of 0 in im 1.397 * [taylor]: Taking taylor expansion of 0 in im 1.410 * [taylor]: Taking taylor expansion of 0 in im 1.411 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.411 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in (re) around 0 1.411 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 1.411 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 1.411 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.411 * [taylor]: Taking taylor expansion of re in re 1.411 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (pow re 3)) in re 1.411 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 1.411 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.411 * [taylor]: Taking taylor expansion of re in re 1.423 * [approximate]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in (re) around 0 1.423 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in re 1.423 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 1.424 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.424 * [taylor]: Taking taylor expansion of re in re 1.424 * [taylor]: Taking taylor expansion of (/ 0.16666666666666666 (pow re 3)) in re 1.424 * [taylor]: Taking taylor expansion of 0.16666666666666666 in re 1.424 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.424 * [taylor]: Taking taylor expansion of re in re 1.436 * [approximate]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in (re) around 0 1.436 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in re 1.436 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 1.436 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.436 * [taylor]: Taking taylor expansion of re in re 1.437 * [taylor]: Taking taylor expansion of (/ -0.16666666666666666 (pow re 3)) in re 1.437 * [taylor]: Taking taylor expansion of -0.16666666666666666 in re 1.437 * [taylor]: Taking taylor expansion of (pow re 3) in re 1.437 * [taylor]: Taking taylor expansion of re in re 1.453 * * * [progress]: simplifying candidates 1.454 * [simplify]: Simplifying using # : (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)))) (+ (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)) (* 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)) (+ (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.459 * * [simplify]: iteration 0 : 327 enodes (cost 409 ) 1.465 * * [simplify]: iteration 1 : 1346 enodes (cost 352 ) 1.495 * * [simplify]: iteration 2 : 5002 enodes (cost 336 ) 1.498 * [simplify]: Simplified to: (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)))) (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)) (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)) (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 (* (/ -1 re) (pow (/ -1 im) 2)))) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) (* 0.16666666666666666 (pow re 3)) 1.498 * * * [progress]: adding candidates to table 1.759 * [progress]: [Phase 3 of 3] Extracting. 1.759 * * [regime]: Finding splitpoints for: (# # #) 1.760 * * * [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) 1.760 * * * * [regimes]: Trying to branch on (+ (exp (- 0.0 im)) (exp im)) from (# # #) 1.778 * * * * [regimes]: Trying to branch on (sin re) from (# # #) 1.801 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# # #) 1.821 * * * * [regimes]: Trying to branch on (* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im))) from (# # #) 1.851 * * * * [regimes]: Trying to branch on im from (# # #) 1.866 * * * * [regimes]: Trying to branch on re from (# # #) 1.888 * * * [regime]: Found split indices: #