11.362 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying using # : (sqrt (+ (* re re) (* im im))) 0.018 * * [simplify]: iteration 0 : 7 enodes (cost 4 ) 0.019 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 0.019 * [simplify]: Simplified to: (sqrt (+ (* re re) (* im im))) 0.019 * * [progress]: iteration 1 / 4 0.019 * * * [progress]: picking best candidate 0.021 * * * * [pick]: Picked # 0.021 * * * [progress]: localizing error 0.026 * * * [progress]: generating rewritten candidates 0.026 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.030 * * * [progress]: generating series expansions 0.030 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.030 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 0.030 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 0.030 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.030 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.030 * [taylor]: Taking taylor expansion of re in im 0.030 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.030 * [taylor]: Taking taylor expansion of im in im 0.031 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.031 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.031 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.031 * [taylor]: Taking taylor expansion of re in re 0.031 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.031 * [taylor]: Taking taylor expansion of im in re 0.031 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.031 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.031 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.031 * [taylor]: Taking taylor expansion of re in re 0.031 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.031 * [taylor]: Taking taylor expansion of im in re 0.032 * [taylor]: Taking taylor expansion of im in im 0.032 * [taylor]: Taking taylor expansion of 0 in im 0.033 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 0.033 * [taylor]: Taking taylor expansion of 1/2 in im 0.033 * [taylor]: Taking taylor expansion of im in im 0.035 * [taylor]: Taking taylor expansion of 0 in im 0.036 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.036 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.036 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.036 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.036 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.036 * [taylor]: Taking taylor expansion of im in im 0.036 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.036 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.036 * [taylor]: Taking taylor expansion of re in im 0.038 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.038 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.038 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.038 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.038 * [taylor]: Taking taylor expansion of im in re 0.039 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.039 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.039 * [taylor]: Taking taylor expansion of re in re 0.041 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.041 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.041 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.041 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.041 * [taylor]: Taking taylor expansion of im in re 0.041 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.041 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.041 * [taylor]: Taking taylor expansion of re in re 0.044 * [taylor]: Taking taylor expansion of 1 in im 0.044 * [taylor]: Taking taylor expansion of 0 in im 0.046 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.046 * [taylor]: Taking taylor expansion of 1/2 in im 0.046 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.046 * [taylor]: Taking taylor expansion of im in im 0.049 * [taylor]: Taking taylor expansion of 0 in im 0.050 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.050 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.050 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.050 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.050 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.050 * [taylor]: Taking taylor expansion of im in im 0.051 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.051 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.051 * [taylor]: Taking taylor expansion of re in im 0.053 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.053 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.053 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.053 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.053 * [taylor]: Taking taylor expansion of im in re 0.053 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.053 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.053 * [taylor]: Taking taylor expansion of re in re 0.055 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.055 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.055 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.055 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.055 * [taylor]: Taking taylor expansion of im in re 0.056 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.056 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.056 * [taylor]: Taking taylor expansion of re in re 0.058 * [taylor]: Taking taylor expansion of 1 in im 0.058 * [taylor]: Taking taylor expansion of 0 in im 0.060 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.060 * [taylor]: Taking taylor expansion of 1/2 in im 0.060 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.060 * [taylor]: Taking taylor expansion of im in im 0.063 * [taylor]: Taking taylor expansion of 0 in im 0.065 * * * [progress]: simplifying candidates 0.065 * [simplify]: Simplifying using # : (log (sqrt (+ (* re re) (* im im)))) (exp (sqrt (+ (* re re) (* im im)))) (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))) (* (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im)))) (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))) (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt 1) (sqrt (+ (* re re) (* im im))) (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))) (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (- (* re re) (* im im))) (/ 1 2) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) im re (* -1 re) 0.071 * * [simplify]: iteration 0 : 89 enodes (cost 100 ) 0.073 * * [simplify]: iteration 1 : 215 enodes (cost 97 ) 0.078 * * [simplify]: iteration 2 : 503 enodes (cost 97 ) 0.087 * * [simplify]: iteration 3 : 1265 enodes (cost 97 ) 0.115 * * [simplify]: iteration 4 : 4227 enodes (cost 97 ) 0.202 * * [simplify]: iteration 5 : 5002 enodes (cost 96 ) 0.202 * [simplify]: Simplified to: (log (sqrt (+ (* re re) (* im im)))) (exp (sqrt (+ (* re re) (* im im)))) (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))) (pow (sqrt (+ (* re re) (* im im))) 3) (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) 1 (sqrt (+ (* re re) (* im im))) (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))) (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (- (* re re) (* im im))) 1/2 (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) im re (* -1 re) 0.202 * * * [progress]: adding candidates to table 0.232 * * [progress]: iteration 2 / 4 0.232 * * * [progress]: picking best candidate 0.237 * * * * [pick]: Picked # 0.237 * * * [progress]: localizing error 0.245 * * * [progress]: generating rewritten candidates 0.245 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 0.249 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.255 * * * [progress]: generating series expansions 0.256 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 0.256 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 0.256 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 0.256 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.256 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.256 * [taylor]: Taking taylor expansion of re in im 0.256 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.256 * [taylor]: Taking taylor expansion of im in im 0.256 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.257 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.257 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.257 * [taylor]: Taking taylor expansion of re in re 0.257 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.257 * [taylor]: Taking taylor expansion of im in re 0.257 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.257 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.257 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.257 * [taylor]: Taking taylor expansion of re in re 0.257 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.257 * [taylor]: Taking taylor expansion of im in re 0.258 * [taylor]: Taking taylor expansion of im in im 0.258 * [taylor]: Taking taylor expansion of 0 in im 0.259 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 0.259 * [taylor]: Taking taylor expansion of 1/2 in im 0.259 * [taylor]: Taking taylor expansion of im in im 0.261 * [taylor]: Taking taylor expansion of 0 in im 0.262 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.262 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.262 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.262 * [taylor]: Taking taylor expansion of im in im 0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.262 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.262 * [taylor]: Taking taylor expansion of re in im 0.264 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.264 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.264 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.264 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.264 * [taylor]: Taking taylor expansion of im in re 0.264 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.265 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.265 * [taylor]: Taking taylor expansion of re in re 0.267 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.267 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.267 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.267 * [taylor]: Taking taylor expansion of im in re 0.267 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.267 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.267 * [taylor]: Taking taylor expansion of re in re 0.269 * [taylor]: Taking taylor expansion of 1 in im 0.269 * [taylor]: Taking taylor expansion of 0 in im 0.271 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.271 * [taylor]: Taking taylor expansion of 1/2 in im 0.271 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.271 * [taylor]: Taking taylor expansion of im in im 0.278 * [taylor]: Taking taylor expansion of 0 in im 0.279 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.279 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.279 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.279 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.279 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.279 * [taylor]: Taking taylor expansion of im in im 0.280 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.280 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.280 * [taylor]: Taking taylor expansion of re in im 0.282 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.282 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.282 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.282 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.282 * [taylor]: Taking taylor expansion of im in re 0.282 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.282 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.282 * [taylor]: Taking taylor expansion of re in re 0.284 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.284 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.284 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.284 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.284 * [taylor]: Taking taylor expansion of im in re 0.285 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.285 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.285 * [taylor]: Taking taylor expansion of re in re 0.287 * [taylor]: Taking taylor expansion of 1 in im 0.287 * [taylor]: Taking taylor expansion of 0 in im 0.289 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.289 * [taylor]: Taking taylor expansion of 1/2 in im 0.289 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.289 * [taylor]: Taking taylor expansion of im in im 0.292 * [taylor]: Taking taylor expansion of 0 in im 0.293 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.293 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0 0.293 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im 0.293 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.293 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.293 * [taylor]: Taking taylor expansion of re in im 0.293 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.293 * [taylor]: Taking taylor expansion of im in im 0.294 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.294 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.294 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.294 * [taylor]: Taking taylor expansion of re in re 0.294 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.294 * [taylor]: Taking taylor expansion of im in re 0.295 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re 0.295 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.295 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.295 * [taylor]: Taking taylor expansion of re in re 0.295 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.295 * [taylor]: Taking taylor expansion of im in re 0.295 * [taylor]: Taking taylor expansion of im in im 0.295 * [taylor]: Taking taylor expansion of 0 in im 0.296 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 0.297 * [taylor]: Taking taylor expansion of 1/2 in im 0.297 * [taylor]: Taking taylor expansion of im in im 0.298 * [taylor]: Taking taylor expansion of 0 in im 0.299 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.299 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.299 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.299 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.299 * [taylor]: Taking taylor expansion of im in im 0.300 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.300 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.300 * [taylor]: Taking taylor expansion of re in im 0.302 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.302 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.302 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.302 * [taylor]: Taking taylor expansion of im in re 0.302 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.302 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.302 * [taylor]: Taking taylor expansion of re in re 0.305 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.305 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.305 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.305 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.305 * [taylor]: Taking taylor expansion of im in re 0.305 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.305 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.305 * [taylor]: Taking taylor expansion of re in re 0.307 * [taylor]: Taking taylor expansion of 1 in im 0.307 * [taylor]: Taking taylor expansion of 0 in im 0.309 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.309 * [taylor]: Taking taylor expansion of 1/2 in im 0.309 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.309 * [taylor]: Taking taylor expansion of im in im 0.312 * [taylor]: Taking taylor expansion of 0 in im 0.314 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.314 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.314 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.314 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.314 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.314 * [taylor]: Taking taylor expansion of im in im 0.314 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.314 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.314 * [taylor]: Taking taylor expansion of re in im 0.316 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.316 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.316 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.316 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.316 * [taylor]: Taking taylor expansion of im in re 0.316 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.316 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.316 * [taylor]: Taking taylor expansion of re in re 0.319 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.319 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.319 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.319 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.319 * [taylor]: Taking taylor expansion of im in re 0.319 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.319 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.319 * [taylor]: Taking taylor expansion of re in re 0.321 * [taylor]: Taking taylor expansion of 1 in im 0.321 * [taylor]: Taking taylor expansion of 0 in im 0.323 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 0.323 * [taylor]: Taking taylor expansion of 1/2 in im 0.323 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.323 * [taylor]: Taking taylor expansion of im in im 0.326 * [taylor]: Taking taylor expansion of 0 in im 0.328 * * * [progress]: simplifying candidates 0.328 * [simplify]: Simplifying using # : (log (sqrt (+ (* re re) (* im im)))) (exp (sqrt (+ (* re re) (* im im)))) (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))) (* (* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im)))) (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))) (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt 1) (sqrt (+ (* re re) (* im im))) (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))) (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (- (* re re) (* im im))) (/ 1 2) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (exp 1/2) (exp 1) (exp (/ 1 2)) (exp (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im))))))) (exp (sqrt (log (sqrt (+ (* re re) (* im im)))))) (exp 1) (exp (log (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))))) (exp (log (cbrt (sqrt (+ (* re re) (* im im)))))) (exp (log (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))))) (exp (log (sqrt (cbrt (+ (* re re) (* im im)))))) (exp (log (sqrt (sqrt (+ (* re re) (* im im)))))) (exp (log (sqrt (sqrt (+ (* re re) (* im im)))))) (exp (log (sqrt 1))) (exp (log (sqrt (+ (* re re) (* im im))))) (exp (log (sqrt (sqrt (+ (* re re) (* im im)))))) (exp (log (sqrt (sqrt (+ (* re re) (* im im)))))) (exp (log 1)) (exp (log (sqrt (+ (* re re) (* im im))))) (exp (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))))) (exp (log (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))))) (exp (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))))) (exp (log (sqrt (- (* re re) (* im im))))) (log (exp (log (sqrt (+ (* re re) (* im im)))))) (exp (exp (log (sqrt (+ (* re re) (* im im)))))) (* (cbrt (exp (log (sqrt (+ (* re re) (* im im)))))) (cbrt (exp (log (sqrt (+ (* re re) (* im im))))))) (cbrt (exp (log (sqrt (+ (* re re) (* im im)))))) (* (* (exp (log (sqrt (+ (* re re) (* im im))))) (exp (log (sqrt (+ (* re re) (* im im)))))) (exp (log (sqrt (+ (* re re) (* im im)))))) (sqrt (exp (log (sqrt (+ (* re re) (* im im)))))) (sqrt (exp (log (sqrt (+ (* re re) (* im im)))))) im re (* -1 re) im re (* -1 re) 0.332 * * [simplify]: iteration 0 : 136 enodes (cost 253 ) 0.334 * * [simplify]: iteration 1 : 280 enodes (cost 247 ) 0.339 * * [simplify]: iteration 2 : 583 enodes (cost 238 ) 0.348 * * [simplify]: iteration 3 : 1387 enodes (cost 232 ) 0.377 * * [simplify]: iteration 4 : 4698 enodes (cost 232 ) 0.469 * * [simplify]: iteration 5 : 5001 enodes (cost 228 ) 0.471 * [simplify]: Simplified to: (log (sqrt (+ (* re re) (* im im)))) (exp (sqrt (+ (* re re) (* im im)))) (pow (cbrt (sqrt (+ (* re re) (* im im)))) 2) (cbrt (sqrt (+ (* re re) (* im im)))) (pow (+ (* re re) (* im im)) 3/2) (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) 1 (sqrt (+ (* re re) (* im im))) (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))) (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (- (* re re) (* im im))) 1/2 (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (exp 1/2) E (exp 1/2) (exp (* (cbrt (log (sqrt (+ (* re re) (* im im))))) (cbrt (log (sqrt (+ (* re re) (* im im))))))) (exp (sqrt (log (sqrt (+ (* re re) (* im im)))))) E (pow (cbrt (sqrt (+ (* re re) (* im im)))) 2) (cbrt (sqrt (+ (* re re) (* im im)))) (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) 1 (sqrt (+ (* re re) (* im im))) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) 1 (sqrt (+ (* re re) (* im im))) (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))) (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (- (* re re) (* im im))) (log (sqrt (+ (* re re) (* im im)))) (exp (sqrt (+ (* re re) (* im im)))) (pow (cbrt (sqrt (+ (* re re) (* im im)))) 2) (cbrt (sqrt (+ (* re re) (* im im)))) (pow (+ (* re re) (* im im)) 3/2) (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))) im re (* -1 re) im re (* -1 re) 0.471 * * * [progress]: adding candidates to table 0.574 * * [progress]: iteration 3 / 4 0.575 * * * [progress]: picking best candidate 0.586 * * * * [pick]: Picked # 0.586 * * * [progress]: localizing error 0.605 * * * [progress]: generating rewritten candidates 0.605 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.609 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.615 * * * [progress]: generating series expansions 0.615 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.616 * [approximate]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in (re im) around 0 0.616 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im 0.616 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.616 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.616 * [taylor]: Taking taylor expansion of re in im 0.616 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.616 * [taylor]: Taking taylor expansion of im in im 0.616 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 0.616 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.616 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.616 * [taylor]: Taking taylor expansion of re in re 0.616 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.616 * [taylor]: Taking taylor expansion of im in re 0.616 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 0.616 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.616 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.616 * [taylor]: Taking taylor expansion of re in re 0.616 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.616 * [taylor]: Taking taylor expansion of im in re 0.616 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 0.617 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.617 * [taylor]: Taking taylor expansion of im in im 0.618 * [taylor]: Taking taylor expansion of 0 in im 0.621 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.621 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.622 * [taylor]: Taking taylor expansion of im in im 0.628 * [taylor]: Taking taylor expansion of 0 in im 0.628 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.629 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.629 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.629 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.629 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.629 * [taylor]: Taking taylor expansion of im in im 0.629 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.629 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.629 * [taylor]: Taking taylor expansion of re in im 0.630 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.630 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.630 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.630 * [taylor]: Taking taylor expansion of im in re 0.630 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.630 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.630 * [taylor]: Taking taylor expansion of re in re 0.631 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.631 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.631 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.631 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.631 * [taylor]: Taking taylor expansion of im in re 0.631 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.631 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.631 * [taylor]: Taking taylor expansion of re in re 0.633 * [taylor]: Taking taylor expansion of (- (* 2 (log re))) in im 0.633 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im 0.633 * [taylor]: Taking taylor expansion of 2 in im 0.633 * [taylor]: Taking taylor expansion of (log re) in im 0.633 * [taylor]: Taking taylor expansion of re in im 0.634 * [taylor]: Taking taylor expansion of 0 in im 0.638 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.638 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.638 * [taylor]: Taking taylor expansion of im in im 0.645 * [taylor]: Taking taylor expansion of 0 in im 0.645 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.645 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.645 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.645 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.645 * [taylor]: Taking taylor expansion of im in im 0.646 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.646 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.646 * [taylor]: Taking taylor expansion of re in im 0.646 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.646 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.646 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.646 * [taylor]: Taking taylor expansion of im in re 0.647 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.647 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.647 * [taylor]: Taking taylor expansion of re in re 0.648 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.648 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.648 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.648 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.648 * [taylor]: Taking taylor expansion of im in re 0.648 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.648 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.648 * [taylor]: Taking taylor expansion of re in re 0.649 * [taylor]: Taking taylor expansion of (- (* 2 (log re))) in im 0.649 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im 0.649 * [taylor]: Taking taylor expansion of 2 in im 0.649 * [taylor]: Taking taylor expansion of (log re) in im 0.649 * [taylor]: Taking taylor expansion of re in im 0.651 * [taylor]: Taking taylor expansion of 0 in im 0.654 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.654 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.654 * [taylor]: Taking taylor expansion of im in im 0.661 * [taylor]: Taking taylor expansion of 0 in im 0.661 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.662 * [approximate]: Taking taylor expansion of (pow (exp 1/2) (log (+ (pow re 2) (pow im 2)))) in (re im) around 0 0.662 * [taylor]: Taking taylor expansion of (pow (exp 1/2) (log (+ (pow re 2) (pow im 2)))) in im 0.662 * [taylor]: Taking taylor expansion of (exp (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/2)))) in im 0.662 * [taylor]: Taking taylor expansion of (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/2))) in im 0.662 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im 0.662 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.662 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.662 * [taylor]: Taking taylor expansion of re in im 0.662 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.662 * [taylor]: Taking taylor expansion of im in im 0.662 * [taylor]: Taking taylor expansion of (log (exp 1/2)) in im 0.662 * [taylor]: Taking taylor expansion of (exp 1/2) in im 0.662 * [taylor]: Taking taylor expansion of 1/2 in im 0.663 * [taylor]: Taking taylor expansion of (pow (exp 1/2) (log (+ (pow re 2) (pow im 2)))) in re 0.663 * [taylor]: Taking taylor expansion of (exp (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/2)))) in re 0.663 * [taylor]: Taking taylor expansion of (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/2))) in re 0.663 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 0.663 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.663 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.663 * [taylor]: Taking taylor expansion of re in re 0.663 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.663 * [taylor]: Taking taylor expansion of im in re 0.663 * [taylor]: Taking taylor expansion of (log (exp 1/2)) in re 0.663 * [taylor]: Taking taylor expansion of (exp 1/2) in re 0.663 * [taylor]: Taking taylor expansion of 1/2 in re 0.664 * [taylor]: Taking taylor expansion of (pow (exp 1/2) (log (+ (pow re 2) (pow im 2)))) in re 0.664 * [taylor]: Taking taylor expansion of (exp (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/2)))) in re 0.664 * [taylor]: Taking taylor expansion of (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/2))) in re 0.664 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 0.664 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.665 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.665 * [taylor]: Taking taylor expansion of re in re 0.665 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.665 * [taylor]: Taking taylor expansion of im in re 0.665 * [taylor]: Taking taylor expansion of (log (exp 1/2)) in re 0.665 * [taylor]: Taking taylor expansion of (exp 1/2) in re 0.665 * [taylor]: Taking taylor expansion of 1/2 in re 0.666 * [taylor]: Taking taylor expansion of (pow (pow im 2) 1/2) in im 0.666 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow im 2)))) in im 0.666 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow im 2))) in im 0.666 * [taylor]: Taking taylor expansion of 1/2 in im 0.666 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 0.666 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.666 * [taylor]: Taking taylor expansion of im in im 0.670 * [taylor]: Taking taylor expansion of 0 in im 0.677 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 0.677 * [taylor]: Taking taylor expansion of 1/2 in im 0.677 * [taylor]: Taking taylor expansion of im in im 0.693 * [taylor]: Taking taylor expansion of 0 in im 0.694 * [approximate]: Taking taylor expansion of (pow (exp 1/2) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in (re im) around 0 0.694 * [taylor]: Taking taylor expansion of (pow (exp 1/2) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 0.694 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/2)))) in im 0.694 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/2))) in im 0.694 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.694 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.694 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.694 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.694 * [taylor]: Taking taylor expansion of im in im 0.694 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.694 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.694 * [taylor]: Taking taylor expansion of re in im 0.695 * [taylor]: Taking taylor expansion of (log (exp 1/2)) in im 0.695 * [taylor]: Taking taylor expansion of (exp 1/2) in im 0.695 * [taylor]: Taking taylor expansion of 1/2 in im 0.696 * [taylor]: Taking taylor expansion of (pow (exp 1/2) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.696 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/2)))) in re 0.696 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/2))) in re 0.696 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.696 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.696 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.696 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.696 * [taylor]: Taking taylor expansion of im in re 0.696 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.696 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.696 * [taylor]: Taking taylor expansion of re in re 0.697 * [taylor]: Taking taylor expansion of (log (exp 1/2)) in re 0.697 * [taylor]: Taking taylor expansion of (exp 1/2) in re 0.697 * [taylor]: Taking taylor expansion of 1/2 in re 0.698 * [taylor]: Taking taylor expansion of (pow (exp 1/2) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.698 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/2)))) in re 0.698 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/2))) in re 0.698 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.699 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.699 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.699 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.699 * [taylor]: Taking taylor expansion of im in re 0.699 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.699 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.699 * [taylor]: Taking taylor expansion of re in re 0.700 * [taylor]: Taking taylor expansion of (log (exp 1/2)) in re 0.700 * [taylor]: Taking taylor expansion of (exp 1/2) in re 0.700 * [taylor]: Taking taylor expansion of 1/2 in re 0.701 * [taylor]: Taking taylor expansion of (pow re -1) in im 0.701 * [taylor]: Taking taylor expansion of re in im 0.705 * [taylor]: Taking taylor expansion of 0 in im 0.711 * [taylor]: Taking taylor expansion of (/ 1/2 (* re (pow im 2))) in im 0.711 * [taylor]: Taking taylor expansion of 1/2 in im 0.711 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.711 * [taylor]: Taking taylor expansion of re in im 0.711 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.711 * [taylor]: Taking taylor expansion of im in im 0.723 * [taylor]: Taking taylor expansion of 0 in im 0.724 * [approximate]: Taking taylor expansion of (pow (exp 1/2) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in (re im) around 0 0.724 * [taylor]: Taking taylor expansion of (pow (exp 1/2) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 0.724 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/2)))) in im 0.724 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/2))) in im 0.724 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.724 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.724 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.724 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.724 * [taylor]: Taking taylor expansion of im in im 0.724 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.724 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.724 * [taylor]: Taking taylor expansion of re in im 0.725 * [taylor]: Taking taylor expansion of (log (exp 1/2)) in im 0.725 * [taylor]: Taking taylor expansion of (exp 1/2) in im 0.725 * [taylor]: Taking taylor expansion of 1/2 in im 0.726 * [taylor]: Taking taylor expansion of (pow (exp 1/2) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.726 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/2)))) in re 0.726 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/2))) in re 0.726 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.726 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.726 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.726 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.726 * [taylor]: Taking taylor expansion of im in re 0.726 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.726 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.726 * [taylor]: Taking taylor expansion of re in re 0.727 * [taylor]: Taking taylor expansion of (log (exp 1/2)) in re 0.727 * [taylor]: Taking taylor expansion of (exp 1/2) in re 0.727 * [taylor]: Taking taylor expansion of 1/2 in re 0.728 * [taylor]: Taking taylor expansion of (pow (exp 1/2) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 0.729 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/2)))) in re 0.729 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/2))) in re 0.729 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.729 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.729 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.729 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.729 * [taylor]: Taking taylor expansion of im in re 0.729 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.729 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.729 * [taylor]: Taking taylor expansion of re in re 0.730 * [taylor]: Taking taylor expansion of (log (exp 1/2)) in re 0.730 * [taylor]: Taking taylor expansion of (exp 1/2) in re 0.730 * [taylor]: Taking taylor expansion of 1/2 in re 0.731 * [taylor]: Taking taylor expansion of (pow re -1) in im 0.731 * [taylor]: Taking taylor expansion of re in im 0.735 * [taylor]: Taking taylor expansion of 0 in im 0.741 * [taylor]: Taking taylor expansion of (/ 1/2 (* re (pow im 2))) in im 0.741 * [taylor]: Taking taylor expansion of 1/2 in im 0.741 * [taylor]: Taking taylor expansion of (* re (pow im 2)) in im 0.741 * [taylor]: Taking taylor expansion of re in im 0.741 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.741 * [taylor]: Taking taylor expansion of im in im 0.753 * [taylor]: Taking taylor expansion of 0 in im 0.753 * * * [progress]: simplifying candidates 0.754 * [simplify]: Simplifying using # : (log (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))) (log (cbrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im)))) (log 1) (log (+ (* re re) (* im im))) (log (+ (pow (* re re) 3) (pow (* im im) 3))) (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (log (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (log (- (* re re) (* im im))) (log (+ (* re re) (* im im))) (log (log (+ (* re re) (* im im)))) (exp (log (+ (* re re) (* im im)))) (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (cbrt (log (+ (* re re) (* im im)))) (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))) (sqrt (log (+ (* re re) (* im im)))) (sqrt (log (+ (* re re) (* im im)))) (* 1/2 (log (+ (* re re) (* im im)))) (* (log (exp 1/2)) (log (+ (* re re) (* im im)))) (* 1 (log (+ (* re re) (* im im)))) (* (cbrt 1/2) (log (+ (* re re) (* im im)))) (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (* 1/2 (log (+ (* re re) (* im im)))) (pow (exp 1/2) (log (+ (pow (* re re) 3) (pow (* im im) 3)))) (pow (exp 1/2) (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (pow (exp 1/2) (log (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (pow (exp 1/2) (log (- (* re re) (* im im)))) (pow (exp 1/2) 1) (pow (exp 1/2) (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))) (pow (exp 1/2) (sqrt (log (+ (* re re) (* im im))))) (pow (exp 1/2) 1) (pow (exp 1/2) (log (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))) (pow (exp 1/2) (log (cbrt (+ (* re re) (* im im))))) (pow (exp 1/2) (log (sqrt (+ (* re re) (* im im))))) (pow (exp 1/2) (log (sqrt (+ (* re re) (* im im))))) (pow (exp 1/2) (log 1)) (pow (exp 1/2) (log (+ (* re re) (* im im)))) (pow (* (cbrt (exp 1/2)) (cbrt (exp 1/2))) (log (+ (* re re) (* im im)))) (pow (cbrt (exp 1/2)) (log (+ (* re re) (* im im)))) (pow (sqrt (exp 1/2)) (log (+ (* re re) (* im im)))) (pow (sqrt (exp 1/2)) (log (+ (* re re) (* im im)))) (pow 1 (log (+ (* re re) (* im im)))) (pow (exp 1/2) (log (+ (* re re) (* im im)))) (log (pow (exp 1/2) (log (+ (* re re) (* im im))))) (exp (pow (exp 1/2) (log (+ (* re re) (* im im))))) (* (cbrt (pow (exp 1/2) (log (+ (* re re) (* im im))))) (cbrt (pow (exp 1/2) (log (+ (* re re) (* im im)))))) (cbrt (pow (exp 1/2) (log (+ (* re re) (* im im))))) (* (* (pow (exp 1/2) (log (+ (* re re) (* im im)))) (pow (exp 1/2) (log (+ (* re re) (* im im))))) (pow (exp 1/2) (log (+ (* re re) (* im im))))) (sqrt (pow (exp 1/2) (log (+ (* re re) (* im im))))) (sqrt (pow (exp 1/2) (log (+ (* re re) (* im im))))) (pow (exp 1/2) (/ (log (+ (* re re) (* im im))) 2)) (pow (exp 1/2) (/ (log (+ (* re re) (* im im))) 2)) (* 2 (log im)) (- (* 2 (log (/ 1 re)))) (- (* 2 (log (/ -1 re)))) im re (* -1 re) 0.758 * * [simplify]: iteration 0 : 206 enodes (cost 369 ) 0.762 * * [simplify]: iteration 1 : 565 enodes (cost 346 ) 0.771 * * [simplify]: iteration 2 : 1779 enodes (cost 341 ) 0.804 * * [simplify]: iteration 3 : 5001 enodes (cost 337 ) 0.806 * [simplify]: Simplified to: (* 2 (log (cbrt (+ (* re re) (* im im))))) (log (cbrt (+ (* re re) (* im im)))) (log (pow (+ (* re re) (* im im)) 1/2)) (log (pow (+ (* re re) (* im im)) 1/2)) 0 (log (+ (* re re) (* im im))) (log (+ (pow (* re re) 3) (pow (* im im) 3))) (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (log (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (log (- (* re re) (* im im))) (log (+ (* re re) (* im im))) (log (log (+ (* re re) (* im im)))) (+ (* re re) (* im im)) (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (cbrt (log (+ (* re re) (* im im)))) (pow (log (+ (* re re) (* im im))) 3) (sqrt (log (+ (* re re) (* im im)))) (sqrt (log (+ (* re re) (* im im)))) (* 1/2 (log (+ (* re re) (* im im)))) (* 1/2 (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im))) (* (cbrt 1/2) (log (+ (* re re) (* im im)))) (* (sqrt 1/2) (log (+ (* re re) (* im im)))) (* 1/2 (log (+ (* re re) (* im im)))) (pow (exp 1/2) (log (+ (pow (* re re) 3) (pow (* im im) 3)))) (pow (exp 1/2) (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (pow (exp 1/2) (log (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (pow (exp 1/2) (log (- (* re re) (* im im)))) (exp 1/2) (pow (exp 1/2) (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))) (pow (exp 1/2) (sqrt (log (+ (* re re) (* im im))))) (exp 1/2) (pow (exp 1/2) (* 2 (log (cbrt (+ (* re re) (* im im)))))) (pow (exp 1/2) (log (cbrt (+ (* re re) (* im im))))) (pow (exp 1/2) (log (sqrt (+ (* re re) (* im im))))) (pow (exp 1/2) (log (sqrt (+ (* re re) (* im im))))) 1 (pow (exp 1/2) (log (+ (* re re) (* im im)))) (pow (* (cbrt (exp 1/2)) (cbrt (exp 1/2))) (log (+ (* re re) (* im im)))) (pow (cbrt (exp 1/2)) (log (+ (* re re) (* im im)))) (pow (exp 1/4) (log (+ (* re re) (* im im)))) (pow (exp 1/4) (log (+ (* re re) (* im im)))) 1 (pow (exp 1/2) (log (+ (* re re) (* im im)))) (* 1/2 (log (+ (* re re) (* im im)))) (exp (pow (exp 1/2) (log (+ (* re re) (* im im))))) (* (cbrt (pow (exp 1/2) (log (+ (* re re) (* im im))))) (cbrt (pow (exp 1/2) (log (+ (* re re) (* im im)))))) (cbrt (pow (exp 1/2) (log (+ (* re re) (* im im))))) (pow (pow (exp 1/2) (log (+ (* re re) (* im im)))) 3) (sqrt (pow (exp 1/2) (log (+ (* re re) (* im im))))) (sqrt (pow (exp 1/2) (log (+ (* re re) (* im im))))) (pow (exp 1/2) (/ (log (+ (* re re) (* im im))) 2)) (pow (exp 1/2) (/ (log (+ (* re re) (* im im))) 2)) (* 2 (log im)) (* (log re) 2) (- (* 2 (log (/ -1 re)))) im re (* -1 re) 0.807 * * * [progress]: adding candidates to table 0.898 * * [progress]: iteration 4 / 4 0.898 * * * [progress]: picking best candidate 0.911 * * * * [pick]: Picked # 0.911 * * * [progress]: localizing error 0.928 * * * [progress]: generating rewritten candidates 0.928 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.931 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.935 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.940 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.948 * * * [progress]: generating series expansions 0.948 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.948 * [approximate]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in (re im) around 0 0.948 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im 0.948 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.948 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.948 * [taylor]: Taking taylor expansion of re in im 0.948 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.948 * [taylor]: Taking taylor expansion of im in im 0.949 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 0.949 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.949 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.949 * [taylor]: Taking taylor expansion of re in re 0.949 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.949 * [taylor]: Taking taylor expansion of im in re 0.949 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 0.949 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.949 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.949 * [taylor]: Taking taylor expansion of re in re 0.949 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.949 * [taylor]: Taking taylor expansion of im in re 0.949 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 0.949 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.949 * [taylor]: Taking taylor expansion of im in im 0.951 * [taylor]: Taking taylor expansion of 0 in im 0.954 * [taylor]: Taking taylor expansion of (/ 1 (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.961 * [taylor]: Taking taylor expansion of 0 in im 0.961 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.961 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.961 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.961 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.961 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.961 * [taylor]: Taking taylor expansion of im in im 0.962 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.962 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.962 * [taylor]: Taking taylor expansion of re in im 0.962 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.962 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.963 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.963 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.963 * [taylor]: Taking taylor expansion of im in re 0.963 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.963 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.963 * [taylor]: Taking taylor expansion of re in re 0.964 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.964 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.964 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.964 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.964 * [taylor]: Taking taylor expansion of im in re 0.964 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.964 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.964 * [taylor]: Taking taylor expansion of re in re 0.968 * [taylor]: Taking taylor expansion of (- (* 2 (log re))) in im 0.968 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im 0.968 * [taylor]: Taking taylor expansion of 2 in im 0.968 * [taylor]: Taking taylor expansion of (log re) in im 0.968 * [taylor]: Taking taylor expansion of re in im 0.970 * [taylor]: Taking taylor expansion of 0 in im 0.973 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.974 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.974 * [taylor]: Taking taylor expansion of im in im 0.981 * [taylor]: Taking taylor expansion of 0 in im 0.981 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 0.981 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 0.981 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 0.981 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 0.981 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.981 * [taylor]: Taking taylor expansion of im in im 0.982 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 0.982 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.982 * [taylor]: Taking taylor expansion of re in im 0.982 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.983 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.983 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.983 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.983 * [taylor]: Taking taylor expansion of im in re 0.983 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.983 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.983 * [taylor]: Taking taylor expansion of re in re 0.984 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 0.984 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 0.984 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 0.984 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.984 * [taylor]: Taking taylor expansion of im in re 0.984 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 0.984 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.984 * [taylor]: Taking taylor expansion of re in re 0.985 * [taylor]: Taking taylor expansion of (- (* 2 (log re))) in im 0.985 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im 0.985 * [taylor]: Taking taylor expansion of 2 in im 0.985 * [taylor]: Taking taylor expansion of (log re) in im 0.985 * [taylor]: Taking taylor expansion of re in im 0.987 * [taylor]: Taking taylor expansion of 0 in im 0.990 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) 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.998 * [taylor]: Taking taylor expansion of 0 in im 0.998 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.998 * [approximate]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in (re im) around 0 0.998 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im 0.998 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 0.998 * [taylor]: Taking taylor expansion of (pow re 2) in im 0.998 * [taylor]: Taking taylor expansion of re in im 0.998 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.998 * [taylor]: Taking taylor expansion of im in im 0.998 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 0.998 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.998 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.998 * [taylor]: Taking taylor expansion of re in re 0.998 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.998 * [taylor]: Taking taylor expansion of im in re 0.999 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 0.999 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 0.999 * [taylor]: Taking taylor expansion of (pow re 2) in re 0.999 * [taylor]: Taking taylor expansion of re in re 0.999 * [taylor]: Taking taylor expansion of (pow im 2) in re 0.999 * [taylor]: Taking taylor expansion of im in re 0.999 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 0.999 * [taylor]: Taking taylor expansion of (pow im 2) in im 0.999 * [taylor]: Taking taylor expansion of im in im 1.000 * [taylor]: Taking taylor expansion of 0 in im 1.003 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.003 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.003 * [taylor]: Taking taylor expansion of im in im 1.010 * [taylor]: Taking taylor expansion of 0 in im 1.010 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.010 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.010 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.010 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.010 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.010 * [taylor]: Taking taylor expansion of im in im 1.011 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.011 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.011 * [taylor]: Taking taylor expansion of re in im 1.012 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.012 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.012 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.012 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.012 * [taylor]: Taking taylor expansion of im in re 1.012 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.012 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.012 * [taylor]: Taking taylor expansion of re in re 1.013 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.013 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.013 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) 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 (pow re 2)) in re 1.013 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.013 * [taylor]: Taking taylor expansion of re in re 1.014 * [taylor]: Taking taylor expansion of (- (* 2 (log re))) in im 1.014 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im 1.014 * [taylor]: Taking taylor expansion of 2 in im 1.014 * [taylor]: Taking taylor expansion of (log re) in im 1.014 * [taylor]: Taking taylor expansion of re in im 1.016 * [taylor]: Taking taylor expansion of 0 in im 1.019 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.019 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.019 * [taylor]: Taking taylor expansion of im in im 1.026 * [taylor]: Taking taylor expansion of 0 in im 1.027 * [approximate]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0 1.027 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.027 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.027 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) 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.027 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.027 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.027 * [taylor]: Taking taylor expansion of re in im 1.028 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.028 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.028 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.028 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.028 * [taylor]: Taking taylor expansion of im in re 1.028 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.028 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.028 * [taylor]: Taking taylor expansion of re in re 1.029 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.029 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.029 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.029 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.029 * [taylor]: Taking taylor expansion of im in re 1.029 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.029 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.029 * [taylor]: Taking taylor expansion of re in re 1.030 * [taylor]: Taking taylor expansion of (- (* 2 (log re))) in im 1.030 * [taylor]: Taking taylor expansion of (* 2 (log re)) in im 1.030 * [taylor]: Taking taylor expansion of 2 in im 1.030 * [taylor]: Taking taylor expansion of (log re) in im 1.030 * [taylor]: Taking taylor expansion of re in im 1.032 * [taylor]: Taking taylor expansion of 0 in im 1.036 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.036 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.036 * [taylor]: Taking taylor expansion of im in im 1.043 * [taylor]: Taking taylor expansion of 0 in im 1.043 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1.043 * [approximate]: Taking taylor expansion of (pow (exp 1/4) (log (+ (pow re 2) (pow im 2)))) in (re im) around 0 1.043 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (pow re 2) (pow im 2)))) in im 1.043 * [taylor]: Taking taylor expansion of (exp (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/4)))) in im 1.043 * [taylor]: Taking taylor expansion of (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/4))) in im 1.043 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im 1.043 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.044 * [taylor]: Taking taylor expansion of (pow re 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 (log (exp 1/4)) in im 1.044 * [taylor]: Taking taylor expansion of (exp 1/4) in im 1.044 * [taylor]: Taking taylor expansion of 1/4 in im 1.045 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (pow re 2) (pow im 2)))) in re 1.045 * [taylor]: Taking taylor expansion of (exp (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/4)))) in re 1.045 * [taylor]: Taking taylor expansion of (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/4))) in re 1.045 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 1.045 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.045 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.045 * [taylor]: Taking taylor expansion of re in re 1.045 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.045 * [taylor]: Taking taylor expansion of im in re 1.045 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in re 1.045 * [taylor]: Taking taylor expansion of (exp 1/4) in re 1.045 * [taylor]: Taking taylor expansion of 1/4 in re 1.046 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (pow re 2) (pow im 2)))) in re 1.046 * [taylor]: Taking taylor expansion of (exp (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/4)))) in re 1.046 * [taylor]: Taking taylor expansion of (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/4))) in re 1.046 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 1.046 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.046 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.046 * [taylor]: Taking taylor expansion of re in re 1.046 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.046 * [taylor]: Taking taylor expansion of im in re 1.046 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in re 1.046 * [taylor]: Taking taylor expansion of (exp 1/4) in re 1.046 * [taylor]: Taking taylor expansion of 1/4 in re 1.047 * [taylor]: Taking taylor expansion of (pow (pow im 2) 1/4) in im 1.047 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow im 2)))) in im 1.047 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow im 2))) in im 1.047 * [taylor]: Taking taylor expansion of 1/4 in im 1.047 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 1.047 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.047 * [taylor]: Taking taylor expansion of im in im 1.054 * [taylor]: Taking taylor expansion of 0 in im 1.061 * [taylor]: Taking taylor expansion of (* 1/4 (sqrt (/ 1 (pow im 3)))) in im 1.061 * [taylor]: Taking taylor expansion of 1/4 in im 1.061 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow im 3))) in im 1.061 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.061 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.061 * [taylor]: Taking taylor expansion of im in im 1.079 * [taylor]: Taking taylor expansion of 0 in im 1.085 * [approximate]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in (re im) around 0 1.085 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.085 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4)))) in im 1.085 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4))) in im 1.085 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.085 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.085 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.085 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.085 * [taylor]: Taking taylor expansion of im in im 1.086 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.086 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.086 * [taylor]: Taking taylor expansion of re in im 1.087 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in im 1.087 * [taylor]: Taking taylor expansion of (exp 1/4) in im 1.087 * [taylor]: Taking taylor expansion of 1/4 in im 1.088 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.088 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4)))) in re 1.088 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4))) in re 1.088 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.088 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.088 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.088 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.088 * [taylor]: Taking taylor expansion of im in re 1.088 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.088 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.088 * [taylor]: Taking taylor expansion of re in re 1.089 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in re 1.089 * [taylor]: Taking taylor expansion of (exp 1/4) in re 1.089 * [taylor]: Taking taylor expansion of 1/4 in re 1.090 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.090 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4)))) in re 1.090 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4))) in re 1.090 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.090 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.090 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.090 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.090 * [taylor]: Taking taylor expansion of im in re 1.090 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.090 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.090 * [taylor]: Taking taylor expansion of re in re 1.091 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in re 1.091 * [taylor]: Taking taylor expansion of (exp 1/4) in re 1.091 * [taylor]: Taking taylor expansion of 1/4 in re 1.093 * [taylor]: Taking taylor expansion of (pow re -1/2) in im 1.093 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log re))) in im 1.093 * [taylor]: Taking taylor expansion of (* -1/2 (log re)) in im 1.093 * [taylor]: Taking taylor expansion of -1/2 in im 1.093 * [taylor]: Taking taylor expansion of (log re) in im 1.093 * [taylor]: Taking taylor expansion of re in im 1.097 * [taylor]: Taking taylor expansion of 0 in im 1.104 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (/ 1 re)) (/ 1 (pow im 2)))) in im 1.104 * [taylor]: Taking taylor expansion of 1/4 in im 1.104 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 re)) (/ 1 (pow im 2))) in im 1.104 * [taylor]: Taking taylor expansion of (sqrt (/ 1 re)) in im 1.104 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.104 * [taylor]: Taking taylor expansion of re in im 1.104 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.104 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.104 * [taylor]: Taking taylor expansion of im in im 1.120 * [taylor]: Taking taylor expansion of 0 in im 1.120 * [approximate]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in (re im) around 0 1.120 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.120 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4)))) in im 1.120 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4))) in im 1.120 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.120 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.120 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.120 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.120 * [taylor]: Taking taylor expansion of im in im 1.121 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.121 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.121 * [taylor]: Taking taylor expansion of re in im 1.121 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in im 1.121 * [taylor]: Taking taylor expansion of (exp 1/4) in im 1.121 * [taylor]: Taking taylor expansion of 1/4 in im 1.123 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.123 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4)))) in re 1.123 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4))) in re 1.123 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.123 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.123 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.123 * [taylor]: Taking taylor expansion of im in re 1.123 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.123 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.123 * [taylor]: Taking taylor expansion of re in re 1.124 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in re 1.124 * [taylor]: Taking taylor expansion of (exp 1/4) in re 1.124 * [taylor]: Taking taylor expansion of 1/4 in re 1.125 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.125 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4)))) in re 1.125 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4))) in re 1.125 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.125 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.125 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.125 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.125 * [taylor]: Taking taylor expansion of im in re 1.125 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.125 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.125 * [taylor]: Taking taylor expansion of re in re 1.126 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in re 1.126 * [taylor]: Taking taylor expansion of (exp 1/4) in re 1.126 * [taylor]: Taking taylor expansion of 1/4 in re 1.127 * [taylor]: Taking taylor expansion of (pow re -1/2) in im 1.127 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log re))) in im 1.127 * [taylor]: Taking taylor expansion of (* -1/2 (log re)) in im 1.127 * [taylor]: Taking taylor expansion of -1/2 in im 1.127 * [taylor]: Taking taylor expansion of (log re) in im 1.127 * [taylor]: Taking taylor expansion of re in im 1.135 * [taylor]: Taking taylor expansion of 0 in im 1.142 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (/ 1 re)) (/ 1 (pow im 2)))) in im 1.142 * [taylor]: Taking taylor expansion of 1/4 in im 1.142 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 re)) (/ 1 (pow im 2))) in im 1.142 * [taylor]: Taking taylor expansion of (sqrt (/ 1 re)) in im 1.142 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.142 * [taylor]: Taking taylor expansion of re in im 1.142 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.142 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.142 * [taylor]: Taking taylor expansion of im in im 1.157 * [taylor]: Taking taylor expansion of 0 in im 1.157 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.158 * [approximate]: Taking taylor expansion of (pow (exp 1/4) (log (+ (pow re 2) (pow im 2)))) in (re im) around 0 1.158 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (pow re 2) (pow im 2)))) in im 1.158 * [taylor]: Taking taylor expansion of (exp (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/4)))) in im 1.158 * [taylor]: Taking taylor expansion of (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/4))) in im 1.158 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in im 1.158 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im 1.158 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.158 * [taylor]: Taking taylor expansion of re in im 1.158 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.158 * [taylor]: Taking taylor expansion of im in im 1.158 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in im 1.158 * [taylor]: Taking taylor expansion of (exp 1/4) in im 1.158 * [taylor]: Taking taylor expansion of 1/4 in im 1.159 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (pow re 2) (pow im 2)))) in re 1.159 * [taylor]: Taking taylor expansion of (exp (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/4)))) in re 1.159 * [taylor]: Taking taylor expansion of (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/4))) in re 1.159 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 1.159 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.159 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.159 * [taylor]: Taking taylor expansion of re in re 1.159 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.159 * [taylor]: Taking taylor expansion of im in re 1.160 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in re 1.160 * [taylor]: Taking taylor expansion of (exp 1/4) in re 1.160 * [taylor]: Taking taylor expansion of 1/4 in re 1.160 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (pow re 2) (pow im 2)))) in re 1.161 * [taylor]: Taking taylor expansion of (exp (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/4)))) in re 1.161 * [taylor]: Taking taylor expansion of (* (log (+ (pow re 2) (pow im 2))) (log (exp 1/4))) in re 1.161 * [taylor]: Taking taylor expansion of (log (+ (pow re 2) (pow im 2))) in re 1.161 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re 1.161 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.161 * [taylor]: Taking taylor expansion of re in re 1.161 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.161 * [taylor]: Taking taylor expansion of im in re 1.161 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in re 1.161 * [taylor]: Taking taylor expansion of (exp 1/4) in re 1.161 * [taylor]: Taking taylor expansion of 1/4 in re 1.162 * [taylor]: Taking taylor expansion of (pow (pow im 2) 1/4) in im 1.162 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow im 2)))) in im 1.162 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow im 2))) in im 1.162 * [taylor]: Taking taylor expansion of 1/4 in im 1.162 * [taylor]: Taking taylor expansion of (log (pow im 2)) in im 1.162 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.162 * [taylor]: Taking taylor expansion of im in im 1.166 * [taylor]: Taking taylor expansion of 0 in im 1.173 * [taylor]: Taking taylor expansion of (* 1/4 (sqrt (/ 1 (pow im 3)))) in im 1.173 * [taylor]: Taking taylor expansion of 1/4 in im 1.173 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow im 3))) in im 1.173 * [taylor]: Taking taylor expansion of (/ 1 (pow im 3)) in im 1.173 * [taylor]: Taking taylor expansion of (pow im 3) in im 1.173 * [taylor]: Taking taylor expansion of im in im 1.191 * [taylor]: Taking taylor expansion of 0 in im 1.197 * [approximate]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in (re im) around 0 1.197 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.197 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4)))) in im 1.197 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4))) in im 1.197 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.197 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.197 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.197 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.197 * [taylor]: Taking taylor expansion of im in im 1.198 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.198 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.198 * [taylor]: Taking taylor expansion of re in im 1.198 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in im 1.198 * [taylor]: Taking taylor expansion of (exp 1/4) in im 1.198 * [taylor]: Taking taylor expansion of 1/4 in im 1.200 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.200 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4)))) in re 1.200 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4))) in re 1.200 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.200 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.200 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.200 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.200 * [taylor]: Taking taylor expansion of im in re 1.200 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.200 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.200 * [taylor]: Taking taylor expansion of re in re 1.201 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in re 1.201 * [taylor]: Taking taylor expansion of (exp 1/4) in re 1.201 * [taylor]: Taking taylor expansion of 1/4 in re 1.202 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.202 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4)))) in re 1.202 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4))) in re 1.202 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.202 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.202 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.202 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.202 * [taylor]: Taking taylor expansion of im in re 1.202 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.202 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.202 * [taylor]: Taking taylor expansion of re in re 1.203 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in re 1.203 * [taylor]: Taking taylor expansion of (exp 1/4) in re 1.203 * [taylor]: Taking taylor expansion of 1/4 in re 1.204 * [taylor]: Taking taylor expansion of (pow re -1/2) in im 1.204 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log re))) in im 1.204 * [taylor]: Taking taylor expansion of (* -1/2 (log re)) in im 1.204 * [taylor]: Taking taylor expansion of -1/2 in im 1.204 * [taylor]: Taking taylor expansion of (log re) in im 1.204 * [taylor]: Taking taylor expansion of re in im 1.209 * [taylor]: Taking taylor expansion of 0 in im 1.219 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (/ 1 re)) (/ 1 (pow im 2)))) in im 1.219 * [taylor]: Taking taylor expansion of 1/4 in im 1.219 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 re)) (/ 1 (pow im 2))) in im 1.219 * [taylor]: Taking taylor expansion of (sqrt (/ 1 re)) in im 1.219 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.219 * [taylor]: Taking taylor expansion of re in im 1.219 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.219 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.219 * [taylor]: Taking taylor expansion of im in im 1.235 * [taylor]: Taking taylor expansion of 0 in im 1.235 * [approximate]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in (re im) around 0 1.235 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in im 1.235 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4)))) in im 1.235 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4))) in im 1.236 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im 1.236 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im 1.236 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.236 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.236 * [taylor]: Taking taylor expansion of im in im 1.236 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1.236 * [taylor]: Taking taylor expansion of (pow re 2) in im 1.236 * [taylor]: Taking taylor expansion of re in im 1.237 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in im 1.237 * [taylor]: Taking taylor expansion of (exp 1/4) in im 1.237 * [taylor]: Taking taylor expansion of 1/4 in im 1.238 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.238 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4)))) in re 1.238 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4))) in re 1.238 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.238 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.238 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.238 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.238 * [taylor]: Taking taylor expansion of im in re 1.238 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.238 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.238 * [taylor]: Taking taylor expansion of re in re 1.239 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in re 1.239 * [taylor]: Taking taylor expansion of (exp 1/4) in re 1.239 * [taylor]: Taking taylor expansion of 1/4 in re 1.240 * [taylor]: Taking taylor expansion of (pow (exp 1/4) (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))) in re 1.240 * [taylor]: Taking taylor expansion of (exp (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4)))) in re 1.241 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) (log (exp 1/4))) in re 1.241 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re 1.241 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re 1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1.241 * [taylor]: Taking taylor expansion of (pow im 2) in re 1.241 * [taylor]: Taking taylor expansion of im in re 1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1.241 * [taylor]: Taking taylor expansion of (pow re 2) in re 1.241 * [taylor]: Taking taylor expansion of re in re 1.242 * [taylor]: Taking taylor expansion of (log (exp 1/4)) in re 1.242 * [taylor]: Taking taylor expansion of (exp 1/4) in re 1.242 * [taylor]: Taking taylor expansion of 1/4 in re 1.243 * [taylor]: Taking taylor expansion of (pow re -1/2) in im 1.243 * [taylor]: Taking taylor expansion of (exp (* -1/2 (log re))) in im 1.243 * [taylor]: Taking taylor expansion of (* -1/2 (log re)) in im 1.243 * [taylor]: Taking taylor expansion of -1/2 in im 1.243 * [taylor]: Taking taylor expansion of (log re) in im 1.243 * [taylor]: Taking taylor expansion of re in im 1.247 * [taylor]: Taking taylor expansion of 0 in im 1.254 * [taylor]: Taking taylor expansion of (* 1/4 (* (sqrt (/ 1 re)) (/ 1 (pow im 2)))) in im 1.254 * [taylor]: Taking taylor expansion of 1/4 in im 1.254 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 re)) (/ 1 (pow im 2))) in im 1.254 * [taylor]: Taking taylor expansion of (sqrt (/ 1 re)) in im 1.254 * [taylor]: Taking taylor expansion of (/ 1 re) in im 1.254 * [taylor]: Taking taylor expansion of re in im 1.255 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1.255 * [taylor]: Taking taylor expansion of (pow im 2) in im 1.255 * [taylor]: Taking taylor expansion of im in im 1.270 * [taylor]: Taking taylor expansion of 0 in im 1.270 * * * [progress]: simplifying candidates 1.272 * [simplify]: Simplifying using # : (log (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))) (log (cbrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im)))) (log 1) (log (+ (* re re) (* im im))) (log (+ (pow (* re re) 3) (pow (* im im) 3))) (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (log (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (log (- (* re re) (* im im))) (log (+ (* re re) (* im im))) (log (log (+ (* re re) (* im im)))) (exp (log (+ (* re re) (* im im)))) (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (cbrt (log (+ (* re re) (* im im)))) (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))) (sqrt (log (+ (* re re) (* im im)))) (sqrt (log (+ (* re re) (* im im)))) (log (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))) (log (cbrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im)))) (log 1) (log (+ (* re re) (* im im))) (log (+ (pow (* re re) 3) (pow (* im im) 3))) (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (log (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (log (- (* re re) (* im im))) (log (+ (* re re) (* im im))) (log (log (+ (* re re) (* im im)))) (exp (log (+ (* re re) (* im im)))) (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (cbrt (log (+ (* re re) (* im im)))) (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))) (sqrt (log (+ (* re re) (* im im)))) (sqrt (log (+ (* re re) (* im im)))) (* 1/4 (log (+ (* re re) (* im im)))) (* (log (exp 1/4)) (log (+ (* re re) (* im im)))) (* 1 (log (+ (* re re) (* im im)))) (* (cbrt 1/4) (log (+ (* re re) (* im im)))) (* (sqrt 1/4) (log (+ (* re re) (* im im)))) (* 1/4 (log (+ (* re re) (* im im)))) (pow (exp 1/4) (log (+ (pow (* re re) 3) (pow (* im im) 3)))) (pow (exp 1/4) (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (pow (exp 1/4) (log (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (pow (exp 1/4) (log (- (* re re) (* im im)))) (pow (exp 1/4) 1) (pow (exp 1/4) (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))) (pow (exp 1/4) (sqrt (log (+ (* re re) (* im im))))) (pow (exp 1/4) 1) (pow (exp 1/4) (log (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))) (pow (exp 1/4) (log (cbrt (+ (* re re) (* im im))))) (pow (exp 1/4) (log (sqrt (+ (* re re) (* im im))))) (pow (exp 1/4) (log (sqrt (+ (* re re) (* im im))))) (pow (exp 1/4) (log 1)) (pow (exp 1/4) (log (+ (* re re) (* im im)))) (pow (* (cbrt (exp 1/4)) (cbrt (exp 1/4))) (log (+ (* re re) (* im im)))) (pow (cbrt (exp 1/4)) (log (+ (* re re) (* im im)))) (pow (sqrt (exp 1/4)) (log (+ (* re re) (* im im)))) (pow (sqrt (exp 1/4)) (log (+ (* re re) (* im im)))) (pow 1 (log (+ (* re re) (* im im)))) (pow (exp 1/4) (log (+ (* re re) (* im im)))) (log (pow (exp 1/4) (log (+ (* re re) (* im im))))) (exp (pow (exp 1/4) (log (+ (* re re) (* im im))))) (* (cbrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (cbrt (pow (exp 1/4) (log (+ (* re re) (* im im)))))) (cbrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (* (* (pow (exp 1/4) (log (+ (* re re) (* im im)))) (pow (exp 1/4) (log (+ (* re re) (* im im))))) (pow (exp 1/4) (log (+ (* re re) (* im im))))) (sqrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (sqrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (pow (exp 1/4) (/ (log (+ (* re re) (* im im))) 2)) (pow (exp 1/4) (/ (log (+ (* re re) (* im im))) 2)) (* 1/4 (log (+ (* re re) (* im im)))) (* (log (exp 1/4)) (log (+ (* re re) (* im im)))) (* 1 (log (+ (* re re) (* im im)))) (* (cbrt 1/4) (log (+ (* re re) (* im im)))) (* (sqrt 1/4) (log (+ (* re re) (* im im)))) (* 1/4 (log (+ (* re re) (* im im)))) (pow (exp 1/4) (log (+ (pow (* re re) 3) (pow (* im im) 3)))) (pow (exp 1/4) (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (pow (exp 1/4) (log (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (pow (exp 1/4) (log (- (* re re) (* im im)))) (pow (exp 1/4) 1) (pow (exp 1/4) (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))) (pow (exp 1/4) (sqrt (log (+ (* re re) (* im im))))) (pow (exp 1/4) 1) (pow (exp 1/4) (log (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))) (pow (exp 1/4) (log (cbrt (+ (* re re) (* im im))))) (pow (exp 1/4) (log (sqrt (+ (* re re) (* im im))))) (pow (exp 1/4) (log (sqrt (+ (* re re) (* im im))))) (pow (exp 1/4) (log 1)) (pow (exp 1/4) (log (+ (* re re) (* im im)))) (pow (* (cbrt (exp 1/4)) (cbrt (exp 1/4))) (log (+ (* re re) (* im im)))) (pow (cbrt (exp 1/4)) (log (+ (* re re) (* im im)))) (pow (sqrt (exp 1/4)) (log (+ (* re re) (* im im)))) (pow (sqrt (exp 1/4)) (log (+ (* re re) (* im im)))) (pow 1 (log (+ (* re re) (* im im)))) (pow (exp 1/4) (log (+ (* re re) (* im im)))) (log (pow (exp 1/4) (log (+ (* re re) (* im im))))) (exp (pow (exp 1/4) (log (+ (* re re) (* im im))))) (* (cbrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (cbrt (pow (exp 1/4) (log (+ (* re re) (* im im)))))) (cbrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (* (* (pow (exp 1/4) (log (+ (* re re) (* im im)))) (pow (exp 1/4) (log (+ (* re re) (* im im))))) (pow (exp 1/4) (log (+ (* re re) (* im im))))) (sqrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (sqrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (pow (exp 1/4) (/ (log (+ (* re re) (* im im))) 2)) (pow (exp 1/4) (/ (log (+ (* re re) (* im im))) 2)) (* 2 (log im)) (- (* 2 (log (/ 1 re)))) (- (* 2 (log (/ -1 re)))) (* 2 (log im)) (- (* 2 (log (/ 1 re)))) (- (* 2 (log (/ -1 re)))) (- (pow im 1/2) (+ (* +nan.0 (* (pow re 2) im)) (- (* +nan.0 (pow re 2))))) (pow (/ 1 re) -1/2) (pow (/ -1 re) -1/2) (- (pow im 1/2) (+ (* +nan.0 (* (pow re 2) im)) (- (* +nan.0 (pow re 2))))) (pow (/ 1 re) -1/2) (pow (/ -1 re) -1/2) 1.277 * * [simplify]: iteration 0 : 243 enodes (cost 762 ) 1.281 * * [simplify]: iteration 1 : 727 enodes (cost 714 ) 1.293 * * [simplify]: iteration 2 : 2385 enodes (cost 704 ) 1.336 * * [simplify]: iteration 3 : 5002 enodes (cost 702 ) 1.340 * [simplify]: Simplified to: (* 2 (log (cbrt (+ (* re re) (* im im))))) (log (cbrt (+ (* re re) (* im im)))) (log (pow (+ (* re re) (* im im)) 1/2)) (log (pow (+ (* re re) (* im im)) 1/2)) 0 (log (+ (* re re) (* im im))) (log (+ (pow (* re re) 3) (pow (* im im) 3))) (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (log (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (log (- (* re re) (* im im))) (log (+ (* re re) (* im im))) (log (log (+ (* re re) (* im im)))) (+ (* re re) (* im im)) (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (cbrt (log (+ (* re re) (* im im)))) (pow (log (+ (* re re) (* im im))) 3) (sqrt (log (+ (* re re) (* im im)))) (sqrt (log (+ (* re re) (* im im)))) (* 2 (log (cbrt (+ (* re re) (* im im))))) (log (cbrt (+ (* re re) (* im im)))) (log (pow (+ (* re re) (* im im)) 1/2)) (log (pow (+ (* re re) (* im im)) 1/2)) 0 (log (+ (* re re) (* im im))) (log (+ (pow (* re re) 3) (pow (* im im) 3))) (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))) (log (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (log (- (* re re) (* im im))) (log (+ (* re re) (* im im))) (log (log (+ (* re re) (* im im)))) (+ (* re re) (* im im)) (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im))))) (cbrt (log (+ (* re re) (* im im)))) (pow (log (+ (* re re) (* im im))) 3) (sqrt (log (+ (* re re) (* im im)))) (sqrt (log (+ (* re re) (* im im)))) (* 1/4 (log (+ (* re re) (* im im)))) (* 1/4 (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im))) (* (cbrt 1/4) (log (+ (* re re) (* im im)))) (* (log (+ (* re re) (* im im))) 1/2) (* 1/4 (log (+ (* re re) (* im im)))) (pow (exp 1/4) (log (+ (pow (* re re) 3) (pow (* im im) 3)))) (pow (exp 1/4) (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (pow (exp 1/4) (log (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (pow (exp 1/4) (log (- (* re re) (* im im)))) (exp 1/4) (pow (exp 1/4) (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))) (pow (exp 1/4) (sqrt (log (+ (* re re) (* im im))))) (exp 1/4) (pow (exp 1/4) (* 2 (* 1 (/ (log (cbrt (+ (* re re) (* im im)))) 1)))) (pow (exp 1/4) (log (cbrt (+ (* re re) (* im im))))) (pow (exp 1/4) (log (sqrt (+ (* re re) (* im im))))) (pow (exp 1/4) (log (sqrt (+ (* re re) (* im im))))) 1 (pow (exp 1/4) (log (+ (* re re) (* im im)))) (pow (* (cbrt (exp 1/4)) (cbrt (exp 1/4))) (log (+ (* re re) (* im im)))) (pow (cbrt (exp 1/4)) (log (+ (* re re) (* im im)))) (pow (sqrt (exp 1/4)) (log (+ (* re re) (* im im)))) (pow (sqrt (exp 1/4)) (log (+ (* re re) (* im im)))) 1 (pow (exp 1/4) (log (+ (* re re) (* im im)))) (* 1/4 (log (+ (* re re) (* im im)))) (exp (pow (exp 1/4) (log (+ (* re re) (* im im))))) (* (cbrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (cbrt (pow (exp 1/4) (log (+ (* re re) (* im im)))))) (cbrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (pow (pow (exp 1/4) (log (+ (* re re) (* im im)))) 3) (sqrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (sqrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (pow (exp 1/4) (/ (log (+ (* re re) (* im im))) 2)) (pow (exp 1/4) (/ (log (+ (* re re) (* im im))) 2)) (* 1/4 (log (+ (* re re) (* im im)))) (* 1/4 (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im))) (* (cbrt 1/4) (log (+ (* re re) (* im im)))) (* (log (+ (* re re) (* im im))) 1/2) (* 1/4 (log (+ (* re re) (* im im)))) (pow (exp 1/4) (log (+ (pow (* re re) 3) (pow (* im im) 3)))) (pow (exp 1/4) (log (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))) (pow (exp 1/4) (log (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (pow (exp 1/4) (log (- (* re re) (* im im)))) (exp 1/4) (pow (exp 1/4) (* (cbrt (log (+ (* re re) (* im im)))) (cbrt (log (+ (* re re) (* im im)))))) (pow (exp 1/4) (sqrt (log (+ (* re re) (* im im))))) (exp 1/4) (pow (exp 1/4) (* 2 (* 1 (/ (log (cbrt (+ (* re re) (* im im)))) 1)))) (pow (exp 1/4) (log (cbrt (+ (* re re) (* im im))))) (pow (exp 1/4) (log (sqrt (+ (* re re) (* im im))))) (pow (exp 1/4) (log (sqrt (+ (* re re) (* im im))))) 1 (pow (exp 1/4) (log (+ (* re re) (* im im)))) (pow (* (cbrt (exp 1/4)) (cbrt (exp 1/4))) (log (+ (* re re) (* im im)))) (pow (cbrt (exp 1/4)) (log (+ (* re re) (* im im)))) (pow (sqrt (exp 1/4)) (log (+ (* re re) (* im im)))) (pow (sqrt (exp 1/4)) (log (+ (* re re) (* im im)))) 1 (pow (exp 1/4) (log (+ (* re re) (* im im)))) (* 1/4 (log (+ (* re re) (* im im)))) (exp (pow (exp 1/4) (log (+ (* re re) (* im im))))) (* (cbrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (cbrt (pow (exp 1/4) (log (+ (* re re) (* im im)))))) (cbrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (pow (pow (exp 1/4) (log (+ (* re re) (* im im)))) 3) (sqrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (sqrt (pow (exp 1/4) (log (+ (* re re) (* im im))))) (pow (exp 1/4) (/ (log (+ (* re re) (* im im))) 2)) (pow (exp 1/4) (/ (log (+ (* re re) (* im im))) 2)) (* 2 (log im)) (* (log re) 2) (- (* 2 (log (/ -1 re)))) (* 2 (log im)) (* (log re) 2) (- (* 2 (log (/ -1 re)))) (+ (- (pow im 1/2) (* +nan.0 (* (pow re 2) im))) (* +nan.0 (pow re 2))) (pow (/ 1 re) -1/2) (pow (/ -1 re) -1/2) (+ (- (pow im 1/2) (* +nan.0 (* (pow re 2) im))) (* +nan.0 (pow re 2))) (pow (/ 1 re) -1/2) (pow (/ -1 re) -1/2) 1.341 * * * [progress]: adding candidates to table 1.570 * [progress]: [Phase 3 of 3] Extracting. 1.570 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 1.571 * * * [regime-changes]: Trying 6 branch expressions: ((* im im) (* re re) (+ (* re re) (* im im)) (sqrt (+ (* re re) (* im im))) im re) 1.571 * * * * [regimes]: Trying to branch on (* im im) from (# # # # # # # # # #) 1.604 * * * * [regimes]: Trying to branch on (* im im) from (# # # # # # # # #) 1.635 * * * * [regimes]: Trying to branch on (* re re) from (# # # # # # # # # #) 1.665 * * * * [regimes]: Trying to branch on (* re re) from (# # # #) 1.687 * * * * [regimes]: Trying to branch on (+ (* re re) (* im im)) from (# # # # # # # # # #) 1.725 * * * * [regimes]: Trying to branch on (+ (* re re) (* im im)) from (# # #) 1.742 * * * * [regimes]: Trying to branch on (sqrt (+ (* re re) (* im im))) from (# # # # # # # # # #) 1.785 * * * * [regimes]: Trying to branch on im from (# # # # # # # # # #) 1.834 * * * * [regimes]: Trying to branch on re from (# # # # # # # # # #) 1.891 * * * [regime]: Found split indices: #