1554040183.188 * [progress]: [Phase 1 of 3] Setting up. 1554040183.188 * * * [progress]: [1/2] Preparing points 1554040183.241 * * * [progress]: [2/2] Setting up program. 1554040183.246 * [progress]: [Phase 2 of 3] Improving. 1554040183.246 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1554040183.247 * [simplify]: Simplifying (log (sqrt (+ (* re re) (* im im)))) 1554040183.247 * * [simplify]: iters left: 6 (7 enodes) 1554040183.250 * * [simplify]: iters left: 5 (22 enodes) 1554040183.256 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040183.256 * * [simplify]: Extracting #1: cost 3 inf + 0 1554040183.256 * * [simplify]: Extracting #2: cost 5 inf + 0 1554040183.256 * * [simplify]: Extracting #3: cost 8 inf + 0 1554040183.256 * * [simplify]: Extracting #4: cost 12 inf + 0 1554040183.256 * * [simplify]: Extracting #5: cost 10 inf + 2 1554040183.257 * * [simplify]: Extracting #6: cost 1 inf + 966 1554040183.257 * * [simplify]: Extracting #7: cost 0 inf + 1198 1554040183.257 * [simplify]: Simplified to (log (sqrt (+ (* re re) (* im im)))) 1554040183.257 * [simplify]: Simplified (2) to (λ (re im) (log (sqrt (+ (* re re) (* im im))))) 1554040183.263 * * [progress]: iteration 1 / 4 1554040183.263 * * * [progress]: picking best candidate 1554040183.267 * * * * [pick]: Picked # 1554040183.267 * * * [progress]: localizing error 1554040183.293 * * * [progress]: generating rewritten candidates 1554040183.293 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 1554040183.304 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 1554040183.318 * * * [progress]: generating series expansions 1554040183.319 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 1554040183.319 * [backup-simplify]: Simplify (sqrt (+ (* re re) (* im im))) into (sqrt (+ (pow im 2) (pow re 2))) 1554040183.319 * [approximate]: Taking taylor expansion of (sqrt (+ (pow im 2) (pow re 2))) in (re im) around 0 1554040183.319 * [taylor]: Taking taylor expansion of (sqrt (+ (pow im 2) (pow re 2))) in im 1554040183.319 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in im 1554040183.319 * [taylor]: Taking taylor expansion of (pow im 2) in im 1554040183.319 * [taylor]: Taking taylor expansion of im in im 1554040183.319 * [backup-simplify]: Simplify 0 into 0 1554040183.319 * [backup-simplify]: Simplify 1 into 1 1554040183.319 * [taylor]: Taking taylor expansion of (pow re 2) in im 1554040183.319 * [taylor]: Taking taylor expansion of re in im 1554040183.319 * [backup-simplify]: Simplify re into re 1554040183.319 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1554040183.319 * [backup-simplify]: Simplify (+ 0 (pow re 2)) into (pow re 2) 1554040183.319 * [backup-simplify]: Simplify (sqrt (pow re 2)) into re 1554040183.319 * [backup-simplify]: Simplify (+ (* re 0) (* 0 re)) into 0 1554040183.320 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.320 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow re 2)))) into 0 1554040183.320 * [taylor]: Taking taylor expansion of (sqrt (+ (pow im 2) (pow re 2))) in re 1554040183.320 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in re 1554040183.320 * [taylor]: Taking taylor expansion of (pow im 2) in re 1554040183.320 * [taylor]: Taking taylor expansion of im in re 1554040183.320 * [backup-simplify]: Simplify im into im 1554040183.320 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554040183.320 * [taylor]: Taking taylor expansion of re in re 1554040183.320 * [backup-simplify]: Simplify 0 into 0 1554040183.320 * [backup-simplify]: Simplify 1 into 1 1554040183.320 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1554040183.321 * [backup-simplify]: Simplify (+ (pow im 2) 0) into (pow im 2) 1554040183.321 * [backup-simplify]: Simplify (sqrt (pow im 2)) into im 1554040183.321 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1554040183.321 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.321 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow im 2)))) into 0 1554040183.321 * [taylor]: Taking taylor expansion of (sqrt (+ (pow im 2) (pow re 2))) in re 1554040183.321 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in re 1554040183.321 * [taylor]: Taking taylor expansion of (pow im 2) in re 1554040183.321 * [taylor]: Taking taylor expansion of im in re 1554040183.321 * [backup-simplify]: Simplify im into im 1554040183.321 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554040183.321 * [taylor]: Taking taylor expansion of re in re 1554040183.322 * [backup-simplify]: Simplify 0 into 0 1554040183.322 * [backup-simplify]: Simplify 1 into 1 1554040183.322 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1554040183.322 * [backup-simplify]: Simplify (+ (pow im 2) 0) into (pow im 2) 1554040183.322 * [backup-simplify]: Simplify (sqrt (pow im 2)) into im 1554040183.322 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1554040183.322 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.322 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow im 2)))) into 0 1554040183.322 * [taylor]: Taking taylor expansion of im in im 1554040183.322 * [backup-simplify]: Simplify 0 into 0 1554040183.322 * [backup-simplify]: Simplify 1 into 1 1554040183.323 * [backup-simplify]: Simplify 0 into 0 1554040183.323 * [taylor]: Taking taylor expansion of 0 in im 1554040183.323 * [backup-simplify]: Simplify 0 into 0 1554040183.323 * [backup-simplify]: Simplify 0 into 0 1554040183.323 * [backup-simplify]: Simplify 1 into 1 1554040183.323 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1554040183.323 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.324 * [backup-simplify]: Simplify (+ 0 1) into 1 1554040183.325 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 im)) into (/ 1/2 im) 1554040183.325 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im 1554040183.325 * [taylor]: Taking taylor expansion of 1/2 in im 1554040183.325 * [backup-simplify]: Simplify 1/2 into 1/2 1554040183.325 * [taylor]: Taking taylor expansion of im in im 1554040183.325 * [backup-simplify]: Simplify 0 into 0 1554040183.325 * [backup-simplify]: Simplify 1 into 1 1554040183.325 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 1554040183.326 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0 1554040183.326 * [backup-simplify]: Simplify 0 into 0 1554040183.326 * [backup-simplify]: Simplify 0 into 0 1554040183.326 * [backup-simplify]: Simplify 0 into 0 1554040183.327 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 1554040183.328 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.328 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.328 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 im))))) (* 2 im)) into 0 1554040183.328 * [taylor]: Taking taylor expansion of 0 in im 1554040183.328 * [backup-simplify]: Simplify 0 into 0 1554040183.328 * [backup-simplify]: Simplify 0 into 0 1554040183.329 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.329 * [backup-simplify]: Simplify 0 into 0 1554040183.329 * [backup-simplify]: Simplify 0 into 0 1554040183.329 * [backup-simplify]: Simplify (* 1 (* im 1)) into im 1554040183.329 * [backup-simplify]: Simplify (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) into (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) 1554040183.329 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in (re im) around 0 1554040183.329 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in im 1554040183.329 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1554040183.329 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1554040183.329 * [taylor]: Taking taylor expansion of (pow re 2) in im 1554040183.329 * [taylor]: Taking taylor expansion of re in im 1554040183.329 * [backup-simplify]: Simplify re into re 1554040183.329 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1554040183.329 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1554040183.329 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1554040183.329 * [taylor]: Taking taylor expansion of (pow im 2) in im 1554040183.330 * [taylor]: Taking taylor expansion of im in im 1554040183.330 * [backup-simplify]: Simplify 0 into 0 1554040183.330 * [backup-simplify]: Simplify 1 into 1 1554040183.330 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.330 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040183.330 * [backup-simplify]: Simplify (+ 0 1) into 1 1554040183.331 * [backup-simplify]: Simplify (sqrt 1) into 1 1554040183.331 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554040183.332 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.332 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1554040183.332 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re 1554040183.332 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1554040183.332 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554040183.332 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554040183.332 * [taylor]: Taking taylor expansion of re in re 1554040183.332 * [backup-simplify]: Simplify 0 into 0 1554040183.332 * [backup-simplify]: Simplify 1 into 1 1554040183.332 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.333 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040183.333 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1554040183.333 * [taylor]: Taking taylor expansion of (pow im 2) in re 1554040183.333 * [taylor]: Taking taylor expansion of im in re 1554040183.333 * [backup-simplify]: Simplify im into im 1554040183.333 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1554040183.333 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1554040183.333 * [backup-simplify]: Simplify (+ 1 0) into 1 1554040183.334 * [backup-simplify]: Simplify (sqrt 1) into 1 1554040183.334 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554040183.335 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.335 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1554040183.335 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re 1554040183.335 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1554040183.335 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554040183.335 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554040183.335 * [taylor]: Taking taylor expansion of re in re 1554040183.335 * [backup-simplify]: Simplify 0 into 0 1554040183.335 * [backup-simplify]: Simplify 1 into 1 1554040183.335 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.336 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040183.336 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1554040183.336 * [taylor]: Taking taylor expansion of (pow im 2) in re 1554040183.336 * [taylor]: Taking taylor expansion of im in re 1554040183.336 * [backup-simplify]: Simplify im into im 1554040183.336 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1554040183.336 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1554040183.336 * [backup-simplify]: Simplify (+ 1 0) into 1 1554040183.336 * [backup-simplify]: Simplify (sqrt 1) into 1 1554040183.337 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554040183.338 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.338 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1554040183.338 * [taylor]: Taking taylor expansion of 1 in im 1554040183.338 * [backup-simplify]: Simplify 1 into 1 1554040183.338 * [taylor]: Taking taylor expansion of 0 in im 1554040183.338 * [backup-simplify]: Simplify 0 into 0 1554040183.338 * [backup-simplify]: Simplify 1 into 1 1554040183.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040183.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.340 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow im 2))) into (/ 1 (pow im 2)) 1554040183.340 * [backup-simplify]: Simplify (/ (- (/ 1 (pow im 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow im 2)) 1554040183.340 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1554040183.340 * [taylor]: Taking taylor expansion of 1/2 in im 1554040183.340 * [backup-simplify]: Simplify 1/2 into 1/2 1554040183.340 * [taylor]: Taking taylor expansion of (pow im 2) in im 1554040183.340 * [taylor]: Taking taylor expansion of im in im 1554040183.340 * [backup-simplify]: Simplify 0 into 0 1554040183.340 * [backup-simplify]: Simplify 1 into 1 1554040183.341 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.341 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 1554040183.341 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.342 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0 1554040183.342 * [backup-simplify]: Simplify 0 into 0 1554040183.342 * [backup-simplify]: Simplify 0 into 0 1554040183.342 * [backup-simplify]: Simplify 0 into 0 1554040183.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040183.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.343 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1554040183.343 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1554040183.344 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.344 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow im 2)))))) (* 2 1)) into 0 1554040183.344 * [taylor]: Taking taylor expansion of 0 in im 1554040183.344 * [backup-simplify]: Simplify 0 into 0 1554040183.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040183.345 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.345 * [backup-simplify]: Simplify 0 into 0 1554040183.345 * [backup-simplify]: Simplify 0 into 0 1554040183.345 * [backup-simplify]: Simplify 0 into 0 1554040183.345 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 re)))) into re 1554040183.345 * [backup-simplify]: Simplify (sqrt (+ (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im))))) into (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) 1554040183.345 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in (re im) around 0 1554040183.345 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in im 1554040183.345 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1554040183.346 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1554040183.346 * [taylor]: Taking taylor expansion of (pow re 2) in im 1554040183.346 * [taylor]: Taking taylor expansion of re in im 1554040183.346 * [backup-simplify]: Simplify re into re 1554040183.346 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1554040183.346 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1554040183.346 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1554040183.346 * [taylor]: Taking taylor expansion of (pow im 2) in im 1554040183.346 * [taylor]: Taking taylor expansion of im in im 1554040183.346 * [backup-simplify]: Simplify 0 into 0 1554040183.346 * [backup-simplify]: Simplify 1 into 1 1554040183.346 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.346 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040183.346 * [backup-simplify]: Simplify (+ 0 1) into 1 1554040183.347 * [backup-simplify]: Simplify (sqrt 1) into 1 1554040183.347 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554040183.348 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.355 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1554040183.355 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re 1554040183.355 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1554040183.355 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554040183.355 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554040183.355 * [taylor]: Taking taylor expansion of re in re 1554040183.355 * [backup-simplify]: Simplify 0 into 0 1554040183.355 * [backup-simplify]: Simplify 1 into 1 1554040183.356 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.356 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040183.356 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1554040183.356 * [taylor]: Taking taylor expansion of (pow im 2) in re 1554040183.356 * [taylor]: Taking taylor expansion of im in re 1554040183.356 * [backup-simplify]: Simplify im into im 1554040183.356 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1554040183.356 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1554040183.356 * [backup-simplify]: Simplify (+ 1 0) into 1 1554040183.357 * [backup-simplify]: Simplify (sqrt 1) into 1 1554040183.357 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554040183.358 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.358 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1554040183.358 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow re 2)) (/ 1 (pow im 2)))) in re 1554040183.358 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1554040183.358 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554040183.358 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554040183.358 * [taylor]: Taking taylor expansion of re in re 1554040183.358 * [backup-simplify]: Simplify 0 into 0 1554040183.358 * [backup-simplify]: Simplify 1 into 1 1554040183.359 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.359 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040183.359 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1554040183.359 * [taylor]: Taking taylor expansion of (pow im 2) in re 1554040183.359 * [taylor]: Taking taylor expansion of im in re 1554040183.359 * [backup-simplify]: Simplify im into im 1554040183.359 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1554040183.359 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1554040183.359 * [backup-simplify]: Simplify (+ 1 0) into 1 1554040183.360 * [backup-simplify]: Simplify (sqrt 1) into 1 1554040183.360 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554040183.361 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.362 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1554040183.362 * [taylor]: Taking taylor expansion of 1 in im 1554040183.362 * [backup-simplify]: Simplify 1 into 1 1554040183.362 * [taylor]: Taking taylor expansion of 0 in im 1554040183.362 * [backup-simplify]: Simplify 0 into 0 1554040183.362 * [backup-simplify]: Simplify 1 into 1 1554040183.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040183.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.363 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow im 2))) into (/ 1 (pow im 2)) 1554040183.364 * [backup-simplify]: Simplify (/ (- (/ 1 (pow im 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow im 2)) 1554040183.364 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im 1554040183.364 * [taylor]: Taking taylor expansion of 1/2 in im 1554040183.364 * [backup-simplify]: Simplify 1/2 into 1/2 1554040183.364 * [taylor]: Taking taylor expansion of (pow im 2) in im 1554040183.364 * [taylor]: Taking taylor expansion of im in im 1554040183.364 * [backup-simplify]: Simplify 0 into 0 1554040183.364 * [backup-simplify]: Simplify 1 into 1 1554040183.364 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.365 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 1554040183.365 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.366 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0 1554040183.366 * [backup-simplify]: Simplify 0 into 0 1554040183.366 * [backup-simplify]: Simplify 0 into 0 1554040183.366 * [backup-simplify]: Simplify 0 into 0 1554040183.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040183.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.367 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1554040183.367 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1554040183.367 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.368 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow im 2)))))) (* 2 1)) into 0 1554040183.368 * [taylor]: Taking taylor expansion of 0 in im 1554040183.368 * [backup-simplify]: Simplify 0 into 0 1554040183.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040183.369 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.369 * [backup-simplify]: Simplify 0 into 0 1554040183.369 * [backup-simplify]: Simplify 0 into 0 1554040183.369 * [backup-simplify]: Simplify 0 into 0 1554040183.369 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 (- re))))) into (* -1 re) 1554040183.369 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 1554040183.369 * [backup-simplify]: Simplify (+ (* re re) (* im im)) into (+ (pow im 2) (pow re 2)) 1554040183.369 * [approximate]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in (re im) around 0 1554040183.369 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in im 1554040183.369 * [taylor]: Taking taylor expansion of (pow im 2) in im 1554040183.369 * [taylor]: Taking taylor expansion of im in im 1554040183.369 * [backup-simplify]: Simplify 0 into 0 1554040183.369 * [backup-simplify]: Simplify 1 into 1 1554040183.369 * [taylor]: Taking taylor expansion of (pow re 2) in im 1554040183.369 * [taylor]: Taking taylor expansion of re in im 1554040183.369 * [backup-simplify]: Simplify re into re 1554040183.369 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in re 1554040183.369 * [taylor]: Taking taylor expansion of (pow im 2) in re 1554040183.369 * [taylor]: Taking taylor expansion of im in re 1554040183.369 * [backup-simplify]: Simplify im into im 1554040183.369 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554040183.369 * [taylor]: Taking taylor expansion of re in re 1554040183.369 * [backup-simplify]: Simplify 0 into 0 1554040183.369 * [backup-simplify]: Simplify 1 into 1 1554040183.369 * [taylor]: Taking taylor expansion of (+ (pow im 2) (pow re 2)) in re 1554040183.369 * [taylor]: Taking taylor expansion of (pow im 2) in re 1554040183.369 * [taylor]: Taking taylor expansion of im in re 1554040183.369 * [backup-simplify]: Simplify im into im 1554040183.369 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554040183.369 * [taylor]: Taking taylor expansion of re in re 1554040183.369 * [backup-simplify]: Simplify 0 into 0 1554040183.369 * [backup-simplify]: Simplify 1 into 1 1554040183.370 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1554040183.370 * [backup-simplify]: Simplify (+ (pow im 2) 0) into (pow im 2) 1554040183.370 * [taylor]: Taking taylor expansion of (pow im 2) in im 1554040183.370 * [taylor]: Taking taylor expansion of im in im 1554040183.370 * [backup-simplify]: Simplify 0 into 0 1554040183.370 * [backup-simplify]: Simplify 1 into 1 1554040183.370 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1554040183.370 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.370 * [taylor]: Taking taylor expansion of 0 in im 1554040183.370 * [backup-simplify]: Simplify 0 into 0 1554040183.370 * [backup-simplify]: Simplify 0 into 0 1554040183.370 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1554040183.371 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.371 * [backup-simplify]: Simplify (+ 0 1) into 1 1554040183.371 * [taylor]: Taking taylor expansion of 1 in im 1554040183.371 * [backup-simplify]: Simplify 1 into 1 1554040183.371 * [backup-simplify]: Simplify 1 into 1 1554040183.371 * [backup-simplify]: Simplify 0 into 0 1554040183.371 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.371 * [backup-simplify]: Simplify 1 into 1 1554040183.372 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 1554040183.372 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.372 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.372 * [taylor]: Taking taylor expansion of 0 in im 1554040183.372 * [backup-simplify]: Simplify 0 into 0 1554040183.372 * [backup-simplify]: Simplify 0 into 0 1554040183.372 * [backup-simplify]: Simplify 0 into 0 1554040183.372 * [backup-simplify]: Simplify 0 into 0 1554040183.373 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.373 * [backup-simplify]: Simplify 0 into 0 1554040183.373 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 1554040183.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040183.374 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.374 * [taylor]: Taking taylor expansion of 0 in im 1554040183.374 * [backup-simplify]: Simplify 0 into 0 1554040183.374 * [backup-simplify]: Simplify 0 into 0 1554040183.374 * [backup-simplify]: Simplify 0 into 0 1554040183.374 * [backup-simplify]: Simplify (+ (* 1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (+ (pow im 2) (pow re 2)) 1554040183.375 * [backup-simplify]: Simplify (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) 1554040183.375 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 1554040183.375 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1554040183.375 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1554040183.375 * [taylor]: Taking taylor expansion of (pow re 2) in im 1554040183.375 * [taylor]: Taking taylor expansion of re in im 1554040183.375 * [backup-simplify]: Simplify re into re 1554040183.375 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1554040183.375 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1554040183.375 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1554040183.375 * [taylor]: Taking taylor expansion of (pow im 2) in im 1554040183.375 * [taylor]: Taking taylor expansion of im in im 1554040183.375 * [backup-simplify]: Simplify 0 into 0 1554040183.375 * [backup-simplify]: Simplify 1 into 1 1554040183.375 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.375 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040183.375 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1554040183.375 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554040183.375 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554040183.375 * [taylor]: Taking taylor expansion of re in re 1554040183.375 * [backup-simplify]: Simplify 0 into 0 1554040183.375 * [backup-simplify]: Simplify 1 into 1 1554040183.376 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.376 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040183.376 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1554040183.376 * [taylor]: Taking taylor expansion of (pow im 2) in re 1554040183.376 * [taylor]: Taking taylor expansion of im in re 1554040183.376 * [backup-simplify]: Simplify im into im 1554040183.376 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1554040183.376 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1554040183.376 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1554040183.376 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554040183.376 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554040183.376 * [taylor]: Taking taylor expansion of re in re 1554040183.376 * [backup-simplify]: Simplify 0 into 0 1554040183.376 * [backup-simplify]: Simplify 1 into 1 1554040183.376 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.377 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040183.377 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1554040183.377 * [taylor]: Taking taylor expansion of (pow im 2) in re 1554040183.377 * [taylor]: Taking taylor expansion of im in re 1554040183.377 * [backup-simplify]: Simplify im into im 1554040183.377 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1554040183.377 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1554040183.377 * [backup-simplify]: Simplify (+ 1 0) into 1 1554040183.377 * [taylor]: Taking taylor expansion of 1 in im 1554040183.377 * [backup-simplify]: Simplify 1 into 1 1554040183.377 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554040183.378 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.378 * [taylor]: Taking taylor expansion of 0 in im 1554040183.378 * [backup-simplify]: Simplify 0 into 0 1554040183.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040183.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.379 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow im 2))) into (/ 1 (pow im 2)) 1554040183.379 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1554040183.379 * [taylor]: Taking taylor expansion of (pow im 2) in im 1554040183.379 * [taylor]: Taking taylor expansion of im in im 1554040183.379 * [backup-simplify]: Simplify 0 into 0 1554040183.379 * [backup-simplify]: Simplify 1 into 1 1554040183.380 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.380 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040183.380 * [backup-simplify]: Simplify 1 into 1 1554040183.380 * [backup-simplify]: Simplify 1 into 1 1554040183.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040183.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.381 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1554040183.381 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1554040183.381 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.381 * [taylor]: Taking taylor expansion of 0 in im 1554040183.381 * [backup-simplify]: Simplify 0 into 0 1554040183.382 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554040183.382 * [backup-simplify]: Simplify 0 into 0 1554040183.382 * [backup-simplify]: Simplify 0 into 0 1554040183.382 * [backup-simplify]: Simplify 0 into 0 1554040183.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040183.384 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.384 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1554040183.384 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 1554040183.384 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.384 * [taylor]: Taking taylor expansion of 0 in im 1554040183.384 * [backup-simplify]: Simplify 0 into 0 1554040183.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040183.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.385 * [backup-simplify]: Simplify 0 into 0 1554040183.385 * [backup-simplify]: Simplify 0 into 0 1554040183.385 * [backup-simplify]: Simplify 0 into 0 1554040183.386 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* 1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (+ (pow im 2) (pow re 2)) 1554040183.386 * [backup-simplify]: Simplify (+ (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) 1554040183.386 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 1554040183.386 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1554040183.386 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im 1554040183.386 * [taylor]: Taking taylor expansion of (pow re 2) in im 1554040183.386 * [taylor]: Taking taylor expansion of re in im 1554040183.386 * [backup-simplify]: Simplify re into re 1554040183.386 * [backup-simplify]: Simplify (* re re) into (pow re 2) 1554040183.386 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1554040183.386 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1554040183.386 * [taylor]: Taking taylor expansion of (pow im 2) in im 1554040183.386 * [taylor]: Taking taylor expansion of im in im 1554040183.386 * [backup-simplify]: Simplify 0 into 0 1554040183.386 * [backup-simplify]: Simplify 1 into 1 1554040183.386 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.386 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040183.387 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1554040183.387 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554040183.387 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554040183.387 * [taylor]: Taking taylor expansion of re in re 1554040183.387 * [backup-simplify]: Simplify 0 into 0 1554040183.387 * [backup-simplify]: Simplify 1 into 1 1554040183.387 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.387 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040183.387 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1554040183.387 * [taylor]: Taking taylor expansion of (pow im 2) in re 1554040183.387 * [taylor]: Taking taylor expansion of im in re 1554040183.387 * [backup-simplify]: Simplify im into im 1554040183.387 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1554040183.387 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1554040183.387 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1554040183.387 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re 1554040183.387 * [taylor]: Taking taylor expansion of (pow re 2) in re 1554040183.387 * [taylor]: Taking taylor expansion of re in re 1554040183.387 * [backup-simplify]: Simplify 0 into 0 1554040183.387 * [backup-simplify]: Simplify 1 into 1 1554040183.388 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.388 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040183.388 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re 1554040183.388 * [taylor]: Taking taylor expansion of (pow im 2) in re 1554040183.388 * [taylor]: Taking taylor expansion of im in re 1554040183.388 * [backup-simplify]: Simplify im into im 1554040183.388 * [backup-simplify]: Simplify (* im im) into (pow im 2) 1554040183.388 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1554040183.388 * [backup-simplify]: Simplify (+ 1 0) into 1 1554040183.388 * [taylor]: Taking taylor expansion of 1 in im 1554040183.388 * [backup-simplify]: Simplify 1 into 1 1554040183.389 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554040183.389 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.389 * [taylor]: Taking taylor expansion of 0 in im 1554040183.389 * [backup-simplify]: Simplify 0 into 0 1554040183.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040183.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.390 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow im 2))) into (/ 1 (pow im 2)) 1554040183.390 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im 1554040183.390 * [taylor]: Taking taylor expansion of (pow im 2) in im 1554040183.391 * [taylor]: Taking taylor expansion of im in im 1554040183.391 * [backup-simplify]: Simplify 0 into 0 1554040183.391 * [backup-simplify]: Simplify 1 into 1 1554040183.391 * [backup-simplify]: Simplify (* 1 1) into 1 1554040183.391 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040183.391 * [backup-simplify]: Simplify 1 into 1 1554040183.391 * [backup-simplify]: Simplify 1 into 1 1554040183.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040183.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.392 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0 1554040183.392 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1554040183.393 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.393 * [taylor]: Taking taylor expansion of 0 in im 1554040183.393 * [backup-simplify]: Simplify 0 into 0 1554040183.393 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040183.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554040183.393 * [backup-simplify]: Simplify 0 into 0 1554040183.393 * [backup-simplify]: Simplify 0 into 0 1554040183.393 * [backup-simplify]: Simplify 0 into 0 1554040183.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040183.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.395 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1554040183.395 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 1554040183.395 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040183.395 * [taylor]: Taking taylor expansion of 0 in im 1554040183.395 * [backup-simplify]: Simplify 0 into 0 1554040183.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040183.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040183.396 * [backup-simplify]: Simplify 0 into 0 1554040183.396 * [backup-simplify]: Simplify 0 into 0 1554040183.396 * [backup-simplify]: Simplify 0 into 0 1554040183.397 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* 1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (+ (pow im 2) (pow re 2)) 1554040183.397 * * * [progress]: simplifying candidates 1554040183.397 * * * * [progress]: [ 1 / 34 ] simplifiying candidate # 1554040183.397 * * * * [progress]: [ 2 / 34 ] simplifiying candidate # 1554040183.397 * * * * [progress]: [ 3 / 34 ] simplifiying candidate # 1554040183.397 * * * * [progress]: [ 4 / 34 ] simplifiying candidate # 1554040183.397 * * * * [progress]: [ 5 / 34 ] simplifiying candidate # 1554040183.397 * * * * [progress]: [ 6 / 34 ] simplifiying candidate # 1554040183.397 * * * * [progress]: [ 7 / 34 ] simplifiying candidate # 1554040183.397 * [simplify]: Simplifying (sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im))))) 1554040183.398 * * [simplify]: iters left: 6 (8 enodes) 1554040183.401 * * [simplify]: iters left: 5 (26 enodes) 1554040183.408 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040183.408 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040183.408 * * [simplify]: Extracting #2: cost 7 inf + 0 1554040183.408 * * [simplify]: Extracting #3: cost 10 inf + 0 1554040183.408 * * [simplify]: Extracting #4: cost 14 inf + 0 1554040183.408 * * [simplify]: Extracting #5: cost 10 inf + 84 1554040183.408 * * [simplify]: Extracting #6: cost 8 inf + 166 1554040183.409 * * [simplify]: Extracting #7: cost 4 inf + 854 1554040183.409 * * [simplify]: Extracting #8: cost 1 inf + 1540 1554040183.410 * * [simplify]: Extracting #9: cost 0 inf + 1782 1554040183.410 * [simplify]: Simplified to (fabs (cbrt (+ (* re re) (* im im)))) 1554040183.410 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))))) 1554040183.410 * * * * [progress]: [ 8 / 34 ] simplifiying candidate # 1554040183.411 * [simplify]: Simplifying (sqrt (sqrt (+ (* re re) (* im im)))) 1554040183.411 * * [simplify]: iters left: 6 (7 enodes) 1554040183.414 * * [simplify]: iters left: 5 (22 enodes) 1554040183.420 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040183.420 * * [simplify]: Extracting #1: cost 3 inf + 0 1554040183.420 * * [simplify]: Extracting #2: cost 5 inf + 0 1554040183.420 * * [simplify]: Extracting #3: cost 8 inf + 0 1554040183.420 * * [simplify]: Extracting #4: cost 12 inf + 0 1554040183.420 * * [simplify]: Extracting #5: cost 10 inf + 2 1554040183.420 * * [simplify]: Extracting #6: cost 1 inf + 936 1554040183.421 * * [simplify]: Extracting #7: cost 0 inf + 1138 1554040183.421 * [simplify]: Simplified to (sqrt (sqrt (+ (* re re) (* im im)))) 1554040183.421 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))))) 1554040183.421 * * * * [progress]: [ 9 / 34 ] simplifiying candidate # 1554040183.422 * [simplify]: Simplifying (sqrt 1) 1554040183.422 * * [simplify]: iters left: 1 (2 enodes) 1554040183.425 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040183.425 * * [simplify]: Extracting #1: cost 0 inf + 1 1554040183.425 * [simplify]: Simplified to 1 1554040183.425 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (* 1 (sqrt (+ (* re re) (* im im)))))) 1554040183.425 * * * * [progress]: [ 10 / 34 ] simplifiying candidate # 1554040183.425 * [simplify]: Simplifying (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))) 1554040183.425 * * [simplify]: iters left: 6 (9 enodes) 1554040183.430 * * [simplify]: iters left: 5 (45 enodes) 1554040183.450 * * [simplify]: iters left: 4 (100 enodes) 1554040183.498 * * [simplify]: iters left: 3 (201 enodes) 1554040183.578 * * [simplify]: iters left: 2 (406 enodes) 1554040183.704 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040183.704 * * [simplify]: Extracting #1: cost 3 inf + 0 1554040183.704 * * [simplify]: Extracting #2: cost 6 inf + 0 1554040183.704 * * [simplify]: Extracting #3: cost 62 inf + 0 1554040183.705 * * [simplify]: Extracting #4: cost 166 inf + 460 1554040183.706 * * [simplify]: Extracting #5: cost 131 inf + 12951 1554040183.710 * * [simplify]: Extracting #6: cost 49 inf + 45746 1554040183.716 * * [simplify]: Extracting #7: cost 1 inf + 66256 1554040183.722 * * [simplify]: Extracting #8: cost 0 inf + 65919 1554040183.732 * [simplify]: Simplified to (sqrt (+ (* (* re (* re re)) (* re (* re re))) (* (* im im) (* (* im im) (* im im))))) 1554040183.732 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (/ (sqrt (+ (* (* re (* re re)) (* re (* re re))) (* (* im im) (* (* im im) (* im im))))) (sqrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im)))))))) 1554040183.733 * * * * [progress]: [ 11 / 34 ] simplifiying candidate # 1554040183.733 * [simplify]: Simplifying (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) 1554040183.733 * * [simplify]: iters left: 6 (8 enodes) 1554040183.737 * * [simplify]: iters left: 5 (37 enodes) 1554040183.750 * * [simplify]: iters left: 4 (67 enodes) 1554040183.772 * * [simplify]: iters left: 3 (123 enodes) 1554040183.819 * * [simplify]: iters left: 2 (278 enodes) 1554040183.959 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040183.959 * * [simplify]: Extracting #1: cost 3 inf + 0 1554040183.959 * * [simplify]: Extracting #2: cost 50 inf + 0 1554040183.959 * * [simplify]: Extracting #3: cost 150 inf + 0 1554040183.960 * * [simplify]: Extracting #4: cost 194 inf + 1180 1554040183.963 * * [simplify]: Extracting #5: cost 123 inf + 12421 1554040183.969 * * [simplify]: Extracting #6: cost 12 inf + 33804 1554040183.976 * * [simplify]: Extracting #7: cost 0 inf + 36129 1554040183.994 * [simplify]: Simplified to (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) 1554040183.994 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (/ (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))) (sqrt (- (* re re) (* im im)))))) 1554040183.995 * * * * [progress]: [ 12 / 34 ] simplifiying candidate # 1554040183.995 * [simplify]: Simplifying (+ (* re re) (* im im)) 1554040183.995 * * [simplify]: iters left: 4 (5 enodes) 1554040183.997 * * [simplify]: iters left: 3 (16 enodes) 1554040184.001 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040184.002 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040184.002 * * [simplify]: Extracting #2: cost 8 inf + 0 1554040184.002 * * [simplify]: Extracting #3: cost 4 inf + 84 1554040184.002 * * [simplify]: Extracting #4: cost 0 inf + 410 1554040184.002 * [simplify]: Simplified to (+ (* re re) (* im im)) 1554040184.002 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (pow (+ (* re re) (* im im)) (/ 1 2)))) 1554040184.002 * * * * [progress]: [ 13 / 34 ] simplifiying candidate # 1554040184.002 * * * * [progress]: [ 14 / 34 ] simplifiying candidate # 1554040184.003 * [simplify]: Simplifying (sqrt (+ (* re re) (* im im))) 1554040184.003 * * [simplify]: iters left: 5 (6 enodes) 1554040184.006 * * [simplify]: iters left: 4 (19 enodes) 1554040184.011 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040184.011 * * [simplify]: Extracting #1: cost 3 inf + 0 1554040184.011 * * [simplify]: Extracting #2: cost 6 inf + 0 1554040184.011 * * [simplify]: Extracting #3: cost 10 inf + 0 1554040184.011 * * [simplify]: Extracting #4: cost 6 inf + 84 1554040184.011 * * [simplify]: Extracting #5: cost 0 inf + 734 1554040184.012 * [simplify]: Simplified to (sqrt (+ (* re re) (* im im))) 1554040184.012 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (fabs (sqrt (+ (* re re) (* im im)))))) 1554040184.012 * * * * [progress]: [ 15 / 34 ] simplifiying candidate # 1554040184.012 * * * * [progress]: [ 16 / 34 ] simplifiying candidate #real (real->posit16 (sqrt (+ (* re re) (* im im)))))))> 1554040184.012 * * * * [progress]: [ 17 / 34 ] simplifiying candidate # 1554040184.012 * [simplify]: Simplifying (* (exp (* re re)) (exp (* im im))) 1554040184.012 * * [simplify]: iters left: 5 (7 enodes) 1554040184.015 * * [simplify]: iters left: 4 (28 enodes) 1554040184.023 * * [simplify]: iters left: 3 (43 enodes) 1554040184.036 * * [simplify]: iters left: 2 (75 enodes) 1554040184.057 * * [simplify]: iters left: 1 (169 enodes) 1554040184.135 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040184.135 * * [simplify]: Extracting #1: cost 28 inf + 0 1554040184.136 * * [simplify]: Extracting #2: cost 119 inf + 0 1554040184.137 * * [simplify]: Extracting #3: cost 136 inf + 1135 1554040184.139 * * [simplify]: Extracting #4: cost 131 inf + 1568 1554040184.141 * * [simplify]: Extracting #5: cost 99 inf + 8302 1554040184.151 * * [simplify]: Extracting #6: cost 11 inf + 60490 1554040184.165 * * [simplify]: Extracting #7: cost 0 inf + 69564 1554040184.179 * [simplify]: Simplified to (exp (+ (* re re) (* im im))) 1554040184.179 * [simplify]: Simplified (2 1 1 1) to (λ (re im) (log (sqrt (log (exp (+ (* re re) (* im im))))))) 1554040184.180 * * * * [progress]: [ 18 / 34 ] simplifiying candidate # 1554040184.180 * * * * [progress]: [ 19 / 34 ] simplifiying candidate # 1554040184.180 * * * * [progress]: [ 20 / 34 ] simplifiying candidate # 1554040184.180 * * * * [progress]: [ 21 / 34 ] simplifiying candidate # 1554040184.180 * * * * [progress]: [ 22 / 34 ] simplifiying candidate # 1554040184.180 * * * * [progress]: [ 23 / 34 ] simplifiying candidate # 1554040184.180 * * * * [progress]: [ 24 / 34 ] simplifiying candidate # 1554040184.180 * * * * [progress]: [ 25 / 34 ] simplifiying candidate # 1554040184.180 * * * * [progress]: [ 26 / 34 ] simplifiying candidate # 1554040184.180 * * * * [progress]: [ 27 / 34 ] simplifiying candidate #real (real->posit16 (+ (* re re) (* im im)))))))> 1554040184.180 * * * * [progress]: [ 28 / 34 ] simplifiying candidate # 1554040184.180 * * * * [progress]: [ 29 / 34 ] simplifiying candidate # 1554040184.181 * [simplify]: Simplifying im 1554040184.181 * * [simplify]: iters left: 0 (1 enodes) 1554040184.181 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040184.181 * * [simplify]: Extracting #1: cost 0 inf + 1 1554040184.181 * [simplify]: Simplified to im 1554040184.181 * [simplify]: Simplified (2 1) to (λ (re im) (log im)) 1554040184.181 * * * * [progress]: [ 30 / 34 ] simplifiying candidate # 1554040184.182 * [simplify]: Simplifying re 1554040184.182 * * [simplify]: iters left: 0 (1 enodes) 1554040184.182 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040184.182 * * [simplify]: Extracting #1: cost 0 inf + 1 1554040184.182 * [simplify]: Simplified to re 1554040184.182 * [simplify]: Simplified (2 1) to (λ (re im) (log re)) 1554040184.182 * * * * [progress]: [ 31 / 34 ] simplifiying candidate # 1554040184.183 * [simplify]: Simplifying (* -1 re) 1554040184.183 * * [simplify]: iters left: 2 (3 enodes) 1554040184.185 * * [simplify]: iters left: 1 (11 enodes) 1554040184.188 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040184.188 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040184.188 * * [simplify]: Extracting #2: cost 0 inf + 84 1554040184.188 * [simplify]: Simplified to (- re) 1554040184.188 * [simplify]: Simplified (2 1) to (λ (re im) (log (- re))) 1554040184.188 * * * * [progress]: [ 32 / 34 ] simplifiying candidate # 1554040184.189 * [simplify]: Simplifying (+ (pow im 2) (pow re 2)) 1554040184.189 * * [simplify]: iters left: 3 (6 enodes) 1554040184.193 * * [simplify]: iters left: 2 (27 enodes) 1554040184.201 * * [simplify]: iters left: 1 (31 enodes) 1554040184.209 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040184.209 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040184.209 * * [simplify]: Extracting #2: cost 9 inf + 0 1554040184.209 * * [simplify]: Extracting #3: cost 6 inf + 3 1554040184.209 * * [simplify]: Extracting #4: cost 1 inf + 370 1554040184.209 * * [simplify]: Extracting #5: cost 0 inf + 411 1554040184.209 * [simplify]: Simplified to (+ (* im im) (* re re)) 1554040184.209 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (sqrt (+ (* im im) (* re re))))) 1554040184.210 * * * * [progress]: [ 33 / 34 ] simplifiying candidate # 1554040184.210 * [simplify]: Simplifying (+ (pow im 2) (pow re 2)) 1554040184.210 * * [simplify]: iters left: 3 (6 enodes) 1554040184.214 * * [simplify]: iters left: 2 (27 enodes) 1554040184.225 * * [simplify]: iters left: 1 (31 enodes) 1554040184.233 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040184.233 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040184.233 * * [simplify]: Extracting #2: cost 9 inf + 0 1554040184.233 * * [simplify]: Extracting #3: cost 6 inf + 3 1554040184.233 * * [simplify]: Extracting #4: cost 1 inf + 370 1554040184.234 * * [simplify]: Extracting #5: cost 0 inf + 411 1554040184.234 * [simplify]: Simplified to (+ (* im im) (* re re)) 1554040184.234 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (sqrt (+ (* im im) (* re re))))) 1554040184.234 * * * * [progress]: [ 34 / 34 ] simplifiying candidate # 1554040184.234 * [simplify]: Simplifying (+ (pow im 2) (pow re 2)) 1554040184.234 * * [simplify]: iters left: 3 (6 enodes) 1554040184.238 * * [simplify]: iters left: 2 (27 enodes) 1554040184.246 * * [simplify]: iters left: 1 (31 enodes) 1554040184.254 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040184.254 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040184.254 * * [simplify]: Extracting #2: cost 9 inf + 0 1554040184.255 * * [simplify]: Extracting #3: cost 6 inf + 3 1554040184.255 * * [simplify]: Extracting #4: cost 1 inf + 370 1554040184.255 * * [simplify]: Extracting #5: cost 0 inf + 411 1554040184.255 * [simplify]: Simplified to (+ (* im im) (* re re)) 1554040184.255 * [simplify]: Simplified (2 1 1) to (λ (re im) (log (sqrt (+ (* im im) (* re re))))) 1554040184.255 * * * [progress]: adding candidates to table 1554040184.625 * * [progress]: iteration 2 / 4 1554040184.625 * * * [progress]: picking best candidate 1554040184.630 * * * * [pick]: Picked # 1554040184.630 * * * [progress]: localizing error 1554040184.635 * * * [progress]: generating rewritten candidates 1554040184.635 * * * [progress]: generating series expansions 1554040184.635 * * * [progress]: simplifying candidates 1554040184.635 * * * [progress]: adding candidates to table 1554040184.636 * * [progress]: iteration 3 / 4 1554040184.636 * * * [progress]: picking best candidate 1554040184.639 * * * * [pick]: Picked # 1554040184.639 * * * [progress]: localizing error 1554040184.642 * * * [progress]: generating rewritten candidates 1554040184.642 * * * [progress]: generating series expansions 1554040184.642 * * * [progress]: simplifying candidates 1554040184.642 * * * [progress]: adding candidates to table 1554040184.642 * * [progress]: iteration 4 / 4 1554040184.642 * * * [progress]: picking best candidate 1554040184.644 * * * * [pick]: Picked # 1554040184.644 * * * [progress]: localizing error 1554040184.647 * * * [progress]: generating rewritten candidates 1554040184.647 * * * [progress]: generating series expansions 1554040184.647 * * * [progress]: simplifying candidates 1554040184.647 * * * [progress]: adding candidates to table 1554040184.648 * [progress]: [Phase 3 of 3] Extracting. 1554040184.648 * * [regime]: Finding splitpoints for: (# # # #) 1554040184.648 * * * [regime-changes]: Trying 7 branch expressions: (im (* im im) re (* re re) (+ (* re re) (* im im)) (sqrt (+ (* re re) (* im im))) (log (sqrt (+ (* re re) (* im im))))) 1554040184.648 * * * * [regimes]: Trying to branch on im from (# # # #) 1554040184.702 * * * * [regimes]: Trying to branch on (* im im) from (# # # #) 1554040184.729 * * * * [regimes]: Trying to branch on (* im im) from (# # #) 1554040184.769 * * * * [regimes]: Trying to branch on re from (# # # #) 1554040184.834 * * * * [regimes]: Trying to branch on (* re re) from (# # # #) 1554040184.886 * * * * [regimes]: Trying to branch on (* re re) from (# #) 1554040184.907 * * * * [regimes]: Trying to branch on (+ (* re re) (* im im)) from (# # # #) 1554040184.956 * * * * [regimes]: Trying to branch on (sqrt (+ (* re re) (* im im))) from (# # # #) 1554040184.994 * * * * [regimes]: Trying to branch on (log (sqrt (+ (* re re) (* im im)))) from (# # # #) 1554040185.049 * * * [regime]: Found split indices: #