20.848 * [progress]: [Phase 1 of 3] Setting up.
0.006 * * * [progress]: [1/2] Preparing points
0.032 * * * [progress]: [2/2] Setting up program.
0.047 * [progress]: [Phase 2 of 3] Improving.
0.048 * [simplify]: Simplifying:
  (sqrt (+ (* re re) (* im im)))
0.053 * * [simplify]: iteration 0: 6 enodes
0.058 * * [simplify]: iteration 1: 7 enodes
0.061 * * [simplify]: iteration complete: 7 enodes
0.061 * * [simplify]: Extracting #0: cost 1 inf + 0
0.061 * * [simplify]: Extracting #1: cost 2 inf + 0
0.061 * * [simplify]: Extracting #2: cost 4 inf + 0
0.061 * * [simplify]: Extracting #3: cost 6 inf + 0
0.061 * * [simplify]: Extracting #4: cost 3 inf + 43
0.062 * * [simplify]: Extracting #5: cost 0 inf + 368
0.062 * [simplify]: Simplified to:
  (sqrt (+ (* im im) (* re re)))
0.073 * * [progress]: iteration 1 / 4
0.073 * * * [progress]: picking best candidate
0.093 * * * * [pick]: Picked  #<alt (λ (re im) (sqrt (+ (* re re) (* im im))))>
0.093 * * * [progress]: localizing error
0.124 * * * [progress]: generating rewritten candidates
0.124 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.169 * * * [progress]: generating series expansions
0.169 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.177 * [backup-simplify]: Simplify (sqrt (+ (* re re) (* im im))) into (sqrt (+ (pow re 2) (pow im 2)))
0.177 * [approximate]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in (re im) around 0
0.177 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in im
0.182 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in im
0.185 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.185 * [taylor]: Taking taylor expansion of re in im
0.185 * [backup-simplify]: Simplify re into re
0.192 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.192 * [taylor]: Taking taylor expansion of im in im
0.192 * [backup-simplify]: Simplify 0 into 0
0.192 * [backup-simplify]: Simplify 1 into 1
0.192 * [backup-simplify]: Simplify (* re re) into (pow re 2)
0.192 * [backup-simplify]: Simplify (+ (pow re 2) 0) into (pow re 2)
0.192 * [backup-simplify]: Simplify (sqrt (pow re 2)) into re
0.192 * [backup-simplify]: Simplify (+ (* re 0) (* 0 re)) into 0
0.199 * [backup-simplify]: Simplify (+ 0 0) into 0
0.200 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow re 2)))) into 0
0.200 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.200 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.200 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.200 * [taylor]: Taking taylor expansion of re in re
0.200 * [backup-simplify]: Simplify 0 into 0
0.200 * [backup-simplify]: Simplify 1 into 1
0.200 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.200 * [taylor]: Taking taylor expansion of im in re
0.200 * [backup-simplify]: Simplify im into im
0.200 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.200 * [backup-simplify]: Simplify (+ 0 (pow im 2)) into (pow im 2)
0.200 * [backup-simplify]: Simplify (sqrt (pow im 2)) into im
0.201 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.477 * [backup-simplify]: Simplify (+ 0 0) into 0
0.480 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow im 2)))) into 0
0.481 * [taylor]: Taking taylor expansion of (sqrt (+ (pow re 2) (pow im 2))) in re
0.481 * [taylor]: Taking taylor expansion of (+ (pow re 2) (pow im 2)) in re
0.481 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.481 * [taylor]: Taking taylor expansion of re in re
0.481 * [backup-simplify]: Simplify 0 into 0
0.481 * [backup-simplify]: Simplify 1 into 1
0.481 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.481 * [taylor]: Taking taylor expansion of im in re
0.481 * [backup-simplify]: Simplify im into im
0.481 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.482 * [backup-simplify]: Simplify (+ 0 (pow im 2)) into (pow im 2)
0.482 * [backup-simplify]: Simplify (sqrt (pow im 2)) into im
0.482 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.487 * [backup-simplify]: Simplify (+ 0 0) into 0
0.487 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow im 2)))) into 0
0.488 * [taylor]: Taking taylor expansion of im in im
0.488 * [backup-simplify]: Simplify 0 into 0
0.488 * [backup-simplify]: Simplify 1 into 1
0.488 * [backup-simplify]: Simplify 0 into 0
0.488 * [taylor]: Taking taylor expansion of 0 in im
0.488 * [backup-simplify]: Simplify 0 into 0
0.488 * [backup-simplify]: Simplify 0 into 0
0.488 * [backup-simplify]: Simplify 1 into 1
0.489 * [backup-simplify]: Simplify (* 1 1) into 1
0.490 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
0.491 * [backup-simplify]: Simplify (+ 1 0) into 1
0.492 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 im)) into (/ 1/2 im)
0.493 * [taylor]: Taking taylor expansion of (/ 1/2 im) in im
0.493 * [taylor]: Taking taylor expansion of 1/2 in im
0.493 * [backup-simplify]: Simplify 1/2 into 1/2
0.493 * [taylor]: Taking taylor expansion of im in im
0.493 * [backup-simplify]: Simplify 0 into 0
0.493 * [backup-simplify]: Simplify 1 into 1
0.493 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
0.494 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
0.494 * [backup-simplify]: Simplify 0 into 0
0.494 * [backup-simplify]: Simplify 0 into 0
0.495 * [backup-simplify]: Simplify 0 into 0
0.495 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.496 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
0.497 * [backup-simplify]: Simplify (+ 0 0) into 0
0.497 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 im))))) (* 2 im)) into 0
0.497 * [taylor]: Taking taylor expansion of 0 in im
0.497 * [backup-simplify]: Simplify 0 into 0
0.497 * [backup-simplify]: Simplify 0 into 0
0.498 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.498 * [backup-simplify]: Simplify 0 into 0
0.498 * [backup-simplify]: Simplify 0 into 0
0.498 * [backup-simplify]: Simplify (* 1 (* im 1)) into im
0.498 * [backup-simplify]: Simplify (sqrt (+ (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im)))) into (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))
0.498 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.498 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.498 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.498 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.498 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.498 * [taylor]: Taking taylor expansion of im in im
0.499 * [backup-simplify]: Simplify 0 into 0
0.499 * [backup-simplify]: Simplify 1 into 1
0.499 * [backup-simplify]: Simplify (* 1 1) into 1
0.499 * [backup-simplify]: Simplify (/ 1 1) into 1
0.499 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.499 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.499 * [taylor]: Taking taylor expansion of re in im
0.499 * [backup-simplify]: Simplify re into re
0.500 * [backup-simplify]: Simplify (* re re) into (pow re 2)
0.500 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
0.525 * [backup-simplify]: Simplify (+ 1 0) into 1
0.525 * [backup-simplify]: Simplify (sqrt 1) into 1
0.526 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.527 * [backup-simplify]: Simplify (+ 0 0) into 0
0.527 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.527 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.527 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.527 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.527 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.527 * [taylor]: Taking taylor expansion of im in re
0.527 * [backup-simplify]: Simplify im into im
0.527 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.528 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.528 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.528 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.528 * [taylor]: Taking taylor expansion of re in re
0.528 * [backup-simplify]: Simplify 0 into 0
0.528 * [backup-simplify]: Simplify 1 into 1
0.535 * [backup-simplify]: Simplify (* 1 1) into 1
0.536 * [backup-simplify]: Simplify (/ 1 1) into 1
0.536 * [backup-simplify]: Simplify (+ 0 1) into 1
0.536 * [backup-simplify]: Simplify (sqrt 1) into 1
0.537 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.538 * [backup-simplify]: Simplify (+ 0 0) into 0
0.538 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.538 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.539 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.539 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.539 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.539 * [taylor]: Taking taylor expansion of im in re
0.539 * [backup-simplify]: Simplify im into im
0.539 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.539 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.539 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.539 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.539 * [taylor]: Taking taylor expansion of re in re
0.539 * [backup-simplify]: Simplify 0 into 0
0.539 * [backup-simplify]: Simplify 1 into 1
0.539 * [backup-simplify]: Simplify (* 1 1) into 1
0.540 * [backup-simplify]: Simplify (/ 1 1) into 1
0.551 * [backup-simplify]: Simplify (+ 0 1) into 1
0.551 * [backup-simplify]: Simplify (sqrt 1) into 1
0.552 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.553 * [backup-simplify]: Simplify (+ 0 0) into 0
0.553 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.554 * [taylor]: Taking taylor expansion of 1 in im
0.554 * [backup-simplify]: Simplify 1 into 1
0.554 * [taylor]: Taking taylor expansion of 0 in im
0.554 * [backup-simplify]: Simplify 0 into 0
0.554 * [backup-simplify]: Simplify 1 into 1
0.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.556 * [backup-simplify]: Simplify (+ (/ 1 (pow im 2)) 0) into (/ 1 (pow im 2))
0.561 * [backup-simplify]: Simplify (/ (- (/ 1 (pow im 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow im 2))
0.561 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.561 * [taylor]: Taking taylor expansion of 1/2 in im
0.561 * [backup-simplify]: Simplify 1/2 into 1/2
0.561 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.561 * [taylor]: Taking taylor expansion of im in im
0.561 * [backup-simplify]: Simplify 0 into 0
0.561 * [backup-simplify]: Simplify 1 into 1
0.562 * [backup-simplify]: Simplify (* 1 1) into 1
0.562 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
0.563 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.563 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
0.563 * [backup-simplify]: Simplify 0 into 0
0.563 * [backup-simplify]: Simplify 0 into 0
0.563 * [backup-simplify]: Simplify 0 into 0
0.564 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
0.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.584 * [backup-simplify]: Simplify (+ 0 0) into 0
0.592 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow im 2)))))) (* 2 1)) into 0
0.592 * [taylor]: Taking taylor expansion of 0 in im
0.592 * [backup-simplify]: Simplify 0 into 0
0.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.608 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.608 * [backup-simplify]: Simplify 0 into 0
0.608 * [backup-simplify]: Simplify 0 into 0
0.608 * [backup-simplify]: Simplify 0 into 0
0.608 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 re)))) into re
0.609 * [backup-simplify]: Simplify (sqrt (+ (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im))))) into (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))
0.609 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in (re im) around 0
0.609 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in im
0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in im
0.609 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
0.609 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.609 * [taylor]: Taking taylor expansion of im in im
0.609 * [backup-simplify]: Simplify 0 into 0
0.609 * [backup-simplify]: Simplify 1 into 1
0.616 * [backup-simplify]: Simplify (* 1 1) into 1
0.624 * [backup-simplify]: Simplify (/ 1 1) into 1
0.624 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
0.624 * [taylor]: Taking taylor expansion of (pow re 2) in im
0.624 * [taylor]: Taking taylor expansion of re in im
0.624 * [backup-simplify]: Simplify re into re
0.624 * [backup-simplify]: Simplify (* re re) into (pow re 2)
0.624 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
0.625 * [backup-simplify]: Simplify (+ 1 0) into 1
0.625 * [backup-simplify]: Simplify (sqrt 1) into 1
0.626 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.627 * [backup-simplify]: Simplify (+ 0 0) into 0
0.628 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.628 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.628 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.628 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.628 * [taylor]: Taking taylor expansion of im in re
0.628 * [backup-simplify]: Simplify im into im
0.628 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.628 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.629 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.629 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.629 * [taylor]: Taking taylor expansion of re in re
0.629 * [backup-simplify]: Simplify 0 into 0
0.629 * [backup-simplify]: Simplify 1 into 1
0.629 * [backup-simplify]: Simplify (* 1 1) into 1
0.630 * [backup-simplify]: Simplify (/ 1 1) into 1
0.630 * [backup-simplify]: Simplify (+ 0 1) into 1
0.630 * [backup-simplify]: Simplify (sqrt 1) into 1
0.631 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.642 * [backup-simplify]: Simplify (+ 0 0) into 0
0.643 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.643 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow im 2)) (/ 1 (pow re 2)))) in re
0.643 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))) in re
0.643 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
0.643 * [taylor]: Taking taylor expansion of (pow im 2) in re
0.643 * [taylor]: Taking taylor expansion of im in re
0.643 * [backup-simplify]: Simplify im into im
0.643 * [backup-simplify]: Simplify (* im im) into (pow im 2)
0.643 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
0.643 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
0.643 * [taylor]: Taking taylor expansion of (pow re 2) in re
0.643 * [taylor]: Taking taylor expansion of re in re
0.643 * [backup-simplify]: Simplify 0 into 0
0.643 * [backup-simplify]: Simplify 1 into 1
0.644 * [backup-simplify]: Simplify (* 1 1) into 1
0.644 * [backup-simplify]: Simplify (/ 1 1) into 1
0.644 * [backup-simplify]: Simplify (+ 0 1) into 1
0.645 * [backup-simplify]: Simplify (sqrt 1) into 1
0.645 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.646 * [backup-simplify]: Simplify (+ 0 0) into 0
0.647 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
0.647 * [taylor]: Taking taylor expansion of 1 in im
0.647 * [backup-simplify]: Simplify 1 into 1
0.647 * [taylor]: Taking taylor expansion of 0 in im
0.647 * [backup-simplify]: Simplify 0 into 0
0.647 * [backup-simplify]: Simplify 1 into 1
0.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.650 * [backup-simplify]: Simplify (+ (/ 1 (pow im 2)) 0) into (/ 1 (pow im 2))
0.651 * [backup-simplify]: Simplify (/ (- (/ 1 (pow im 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow im 2))
0.651 * [taylor]: Taking taylor expansion of (/ 1/2 (pow im 2)) in im
0.651 * [taylor]: Taking taylor expansion of 1/2 in im
0.651 * [backup-simplify]: Simplify 1/2 into 1/2
0.651 * [taylor]: Taking taylor expansion of (pow im 2) in im
0.651 * [taylor]: Taking taylor expansion of im in im
0.651 * [backup-simplify]: Simplify 0 into 0
0.651 * [backup-simplify]: Simplify 1 into 1
0.651 * [backup-simplify]: Simplify (* 1 1) into 1
0.652 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
0.652 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
0.653 * [backup-simplify]: Simplify 0 into 0
0.653 * [backup-simplify]: Simplify 0 into 0
0.653 * [backup-simplify]: Simplify 0 into 0
0.653 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
0.654 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
0.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.656 * [backup-simplify]: Simplify (+ 0 0) into 0
0.657 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow im 2)))))) (* 2 1)) into 0
0.657 * [taylor]: Taking taylor expansion of 0 in im
0.657 * [backup-simplify]: Simplify 0 into 0
0.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.659 * [backup-simplify]: Simplify 0 into 0
0.659 * [backup-simplify]: Simplify 0 into 0
0.659 * [backup-simplify]: Simplify 0 into 0
0.659 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 (- re))))) into (* -1 re)
0.660 * * * [progress]: simplifying candidates
0.677 * [simplify]: Simplifying:
  (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.678 * * [simplify]: iteration 0: 38 enodes
0.703 * * [simplify]: iteration 1: 91 enodes
0.832 * * [simplify]: iteration 2: 195 enodes
1.435 * * [simplify]: iteration 3: 418 enodes
2.089 * * [simplify]: iteration 4: 1001 enodes
6.287 * * [simplify]: iteration 5: 3338 enodes
13.461 * * [simplify]: iteration complete: 5001 enodes
13.462 * * [simplify]: Extracting #0: cost 18 inf + 0
13.462 * * [simplify]: Extracting #1: cost 34 inf + 4
13.463 * * [simplify]: Extracting #2: cost 202 inf + 47
13.469 * * [simplify]: Extracting #3: cost 886 inf + 4965
13.813 * * [simplify]: Extracting #4: cost 823 inf + 82848
13.894 * * [simplify]: Extracting #5: cost 298 inf + 212753
13.998 * * [simplify]: Extracting #6: cost 122 inf + 300349
14.110 * * [simplify]: Extracting #7: cost 44 inf + 339639
14.227 * * [simplify]: Extracting #8: cost 8 inf + 345931
14.586 * * [simplify]: Extracting #9: cost 0 inf + 348275
14.694 * [simplify]: Simplified to:
  (log (sqrt (+ (* im im) (* re re))))
  (exp (sqrt (+ (* im im) (* re re))))
  (* (cbrt (sqrt (+ (* im im) (* re re)))) (cbrt (sqrt (+ (* im im) (* re re)))))
  (cbrt (sqrt (+ (* im im) (* re re))))
  (* (+ (* im im) (* re re)) (sqrt (+ (* im im) (* re re))))
  (fabs (cbrt (+ (* im im) (* re re))))
  (sqrt (cbrt (+ (* im im) (* re re))))
  (sqrt (sqrt (+ (* im im) (* re re))))
  (sqrt (sqrt (+ (* im im) (* re re))))
  1
  (sqrt (+ (* im im) (* re re)))
  (sqrt (+ (* (* im im) (* (* im im) (* im im))) (* (* re re) (* (* re re) (* re re)))))
  (sqrt (- (* (* im im) (* im im)) (* (- (* im im) (* re re)) (* re re))))
  (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
  (sqrt (- (* re re) (* im im)))
  1/2
  (sqrt (sqrt (+ (* im im) (* re re))))
  (sqrt (sqrt (+ (* im im) (* re re))))
  im
  re
  (- re)
14.695 * * * [progress]: adding candidates to table
15.090 * * [progress]: iteration 2 / 4
15.091 * * * [progress]: picking best candidate
15.108 * * * * [pick]: Picked  #<alt (λ (re im) re)>
15.108 * * * [progress]: localizing error
15.111 * * * [progress]: generating rewritten candidates
15.111 * * * [progress]: generating series expansions
15.111 * * * [progress]: simplifying candidates
15.111 * [simplify]: Simplifying:
  
15.111 * * [simplify]: iteration 0: 0 enodes
15.111 * * [simplify]: iteration complete: 0 enodes
15.111 * * [simplify]: Extracting #0: cost 0 inf + 0
15.111 * [simplify]: Simplified to:
  
15.111 * * * [progress]: adding candidates to table
15.112 * * [progress]: iteration 3 / 4
15.112 * * * [progress]: picking best candidate
15.125 * * * * [pick]: Picked  #<alt (λ (re im) im)>
15.125 * * * [progress]: localizing error
15.127 * * * [progress]: generating rewritten candidates
15.127 * * * [progress]: generating series expansions
15.127 * * * [progress]: simplifying candidates
15.128 * [simplify]: Simplifying:
  
15.128 * * [simplify]: iteration 0: 0 enodes
15.128 * * [simplify]: iteration complete: 0 enodes
15.128 * * [simplify]: Extracting #0: cost 0 inf + 0
15.128 * [simplify]: Simplified to:
  
15.128 * * * [progress]: adding candidates to table
15.129 * * [progress]: iteration 4 / 4
15.129 * * * [progress]: picking best candidate
15.136 * * * * [pick]: Picked  #<alt (λ (re im) (- re))>
15.136 * * * [progress]: localizing error
15.141 * * * [progress]: generating rewritten candidates
15.141 * * * [progress]: generating series expansions
15.141 * * * [progress]: simplifying candidates
15.142 * [simplify]: Simplifying:
  
15.142 * * [simplify]: iteration 0: 0 enodes
15.142 * * [simplify]: iteration complete: 0 enodes
15.142 * * [simplify]: Extracting #0: cost 0 inf + 0
15.142 * [simplify]: Simplified to:
  
15.142 * * * [progress]: adding candidates to table
15.143 * [progress]: [Phase 3 of 3] Extracting.
15.143 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (sqrt (+ (* re re) (* im im))))> #<alt (λ (re im) im)> #<alt (λ (re im) (- re))> #<alt (λ (re im) re)>)
15.143 * * * [regime-changes]: Trying 6 branch expressions: ((* im im) (* re re) (+ (* re re) (* im im)) (sqrt (+ (* re re) (* im im))) im re)
15.144 * * * * [regimes]: Trying to branch on (* im im) from (#<alt (λ (re im) (sqrt (+ (* re re) (* im im))))> #<alt (λ (re im) im)> #<alt (λ (re im) (- re))> #<alt (λ (re im) re)>)
15.293 * * * * [regimes]: Trying to branch on (* im im) from (#<alt (λ (re im) (sqrt (+ (* re re) (* im im))))> #<alt (λ (re im) (- re))> #<alt (λ (re im) re)>)
15.547 * * * * [regimes]: Trying to branch on (* re re) from (#<alt (λ (re im) (sqrt (+ (* re re) (* im im))))> #<alt (λ (re im) im)> #<alt (λ (re im) (- re))> #<alt (λ (re im) re)>)
15.820 * * * * [regimes]: Trying to branch on (* re re) from (#<alt (λ (re im) (sqrt (+ (* re re) (* im im))))> #<alt (λ (re im) im)>)
15.919 * * * * [regimes]: Trying to branch on (+ (* re re) (* im im)) from (#<alt (λ (re im) (sqrt (+ (* re re) (* im im))))> #<alt (λ (re im) im)> #<alt (λ (re im) (- re))> #<alt (λ (re im) re)>)
16.188 * * * * [regimes]: Trying to branch on (sqrt (+ (* re re) (* im im))) from (#<alt (λ (re im) (sqrt (+ (* re re) (* im im))))> #<alt (λ (re im) im)> #<alt (λ (re im) (- re))> #<alt (λ (re im) re)>)
16.578 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (sqrt (+ (* re re) (* im im))))> #<alt (λ (re im) im)> #<alt (λ (re im) (- re))> #<alt (λ (re im) re)>)
16.957 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (sqrt (+ (* re re) (* im im))))> #<alt (λ (re im) im)> #<alt (λ (re im) (- re))> #<alt (λ (re im) re)>)
17.187 * * * [regime]: Found split indices: #<option (#s(si 2 41) #s(si 0 120) #s(si 1 138) #s(si 0 218) #s(si 3 255))>
17.197 * [binary-search]: Improving bounds with binary search for re and (#<alt (λ (re im) (sqrt (+ (* re re) (* im im))))> #<alt (λ (re im) im)> #<alt (λ (re im) (- re))> #<alt (λ (re im) re)>)
17.406 * [regimes]: Found splitpoints: (#s(sp 2 re -8.039547558546272e+104) #s(sp 0 re -3.240034389533804e-262) #s(sp 1 re 2.7153963243983816e-222) #s(sp 0 re 2.6832477134469e+123) #s(sp 3 re +nan.0)) , with alts (#<alt (λ (re im) (sqrt (+ (* re re) (* im im))))> #<alt (λ (re im) im)> #<alt (λ (re im) (- re))> #<alt (λ (re im) re)>)
17.407 * [simplify]: Simplifying:
  (if (<= re -8.039547558546272e+104) (- re) (if (<= re -3.240034389533804e-262) (sqrt (+ (* re re) (* im im))) (if (<= re 2.7153963243983816e-222) im (if (<= re 2.6832477134469e+123) (sqrt (+ (* re re) (* im im))) re))))
17.407 * * [simplify]: iteration 0: 19 enodes
17.409 * * [simplify]: iteration 1: 20 enodes
17.411 * * [simplify]: iteration complete: 20 enodes
17.411 * * [simplify]: Extracting #0: cost 1 inf + 0
17.411 * * [simplify]: Extracting #1: cost 4 inf + 0
17.411 * * [simplify]: Extracting #2: cost 9 inf + 0
17.411 * * [simplify]: Extracting #3: cost 11 inf + 69
17.411 * * [simplify]: Extracting #4: cost 11 inf + 179
17.411 * * [simplify]: Extracting #5: cost 8 inf + 384
17.411 * * [simplify]: Extracting #6: cost 5 inf + 614
17.412 * * [simplify]: Extracting #7: cost 3 inf + 974
17.412 * * [simplify]: Extracting #8: cost 1 inf + 1953
17.412 * * [simplify]: Extracting #9: cost 0 inf + 2679
17.413 * [simplify]: Simplified to:
  (if (<= re -8.039547558546272e+104) (- re) (if (<= re -3.240034389533804e-262) (sqrt (+ (* im im) (* re re))) (if (<= re 2.7153963243983816e-222) im (if (<= re 2.6832477134469e+123) (sqrt (+ (* im im) (* re re))) re))))
20.195 * [regime-testing]: Baseline error score: 31.59514462388414
20.229 * [regime-testing]: Oracle error score: 7.759729481179413
20.359 * [regime-testing]: End program error score: 17.10910746490189