* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * [misc]progress:  [2/2] Setting up program.
* [enter]simplify:  Simplifying (- (* x.re y.re) (* x.im y.im))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* [exit]simplify:  Simplified to (- (* y.re x.re) (* y.im x.im))
* [misc]progress:  [Phase 2 of 3] Improving.
* * [misc]progress:  iteration 1 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-event (λ (x.re x.im y.re y.im) (- (* x.re y.re) (* x.im y.im)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (- (* x.re y.re) (* x.im y.im)) in (x.re y.re x.im y.im) around 0
* [misc]taylor:  Taking taylor expansion of (- (* x.re y.re) (* x.im y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of (* x.re y.re) in y.im
* [misc]taylor:  Taking taylor expansion of x.re in y.im
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]taylor:  Taking taylor expansion of y.re in y.im
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]taylor:  Taking taylor expansion of (* x.im y.im) in y.im
* [misc]taylor:  Taking taylor expansion of x.im in y.im
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (- (* x.re y.re) (* x.im y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (* x.re y.re) in x.im
* [misc]taylor:  Taking taylor expansion of x.re in x.im
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]taylor:  Taking taylor expansion of y.re in x.im
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]taylor:  Taking taylor expansion of (* x.im y.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]taylor:  Taking taylor expansion of (- (* x.re y.re) (* x.im y.im)) in y.re
* [misc]taylor:  Taking taylor expansion of (* x.re y.re) in y.re
* [misc]taylor:  Taking taylor expansion of x.re in y.re
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* x.im y.im) in y.re
* [misc]taylor:  Taking taylor expansion of x.im in y.re
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]taylor:  Taking taylor expansion of y.im in y.re
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]taylor:  Taking taylor expansion of (- (* x.re y.re) (* x.im y.im)) in x.re
* [misc]taylor:  Taking taylor expansion of (* x.re y.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]taylor:  Taking taylor expansion of (* x.im y.im) in x.re
* [misc]taylor:  Taking taylor expansion of x.im in x.re
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.re
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]taylor:  Taking taylor expansion of (- (* x.re y.re) (* x.im y.im)) in x.re
* [misc]taylor:  Taking taylor expansion of (* x.re y.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]taylor:  Taking taylor expansion of (* x.im y.im) in x.re
* [misc]taylor:  Taking taylor expansion of x.im in x.re
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.re
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (* 0 y.re) into 0
* [misc]backup-simplify:  Simplify (* x.im y.im) into (* y.im x.im)
* [misc]backup-simplify:  Simplify (- (* y.im x.im)) into (- (* y.im x.im))
* [misc]backup-simplify:  Simplify (+ 0 (- (* y.im x.im))) into (- (* y.im x.im))
* [misc]taylor:  Taking taylor expansion of (- (* y.im x.im)) in y.re
* [misc]taylor:  Taking taylor expansion of (* y.im x.im) in y.re
* [misc]taylor:  Taking taylor expansion of y.im in y.re
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]taylor:  Taking taylor expansion of x.im in y.re
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (* y.im x.im) into (* y.im x.im)
* [misc]backup-simplify:  Simplify (- (* y.im x.im)) into (- (* y.im x.im))
* [misc]taylor:  Taking taylor expansion of (- (* y.im x.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (* y.im x.im) in x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* y.im 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y.re)) into y.re
* [misc]backup-simplify:  Simplify (+ (* x.im 0) (* 0 y.im)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ y.re 0) into y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* y.im 0) (* 0 x.im)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* y.im 1) (* 0 0)) into y.im
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]taylor:  Taking taylor expansion of (- y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y.re))) into 0
* [misc]backup-simplify:  Simplify (+ (* x.im 0) (+ (* 0 0) (* 0 y.im))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]approximate:  Taking taylor expansion of (- (* (/ 1 x.re) (/ 1 y.re)) (* (/ 1 x.im) (/ 1 y.im))) in (x.re y.re x.im y.im) around 0
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 x.re) (/ 1 y.re)) (* (/ 1 x.im) (/ 1 y.im))) in y.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.re) (/ 1 y.re)) in y.im
* [misc]taylor:  Taking taylor expansion of (/ 1 x.re) in y.im
* [misc]taylor:  Taking taylor expansion of x.re in y.im
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]backup-simplify:  Simplify (/ 1 x.re) into (/ 1 x.re)
* [misc]taylor:  Taking taylor expansion of (/ 1 y.re) in y.im
* [misc]taylor:  Taking taylor expansion of y.re in y.im
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (/ 1 y.re) into (/ 1 y.re)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.im) (/ 1 y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of (/ 1 x.im) in y.im
* [misc]taylor:  Taking taylor expansion of x.im in y.im
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (/ 1 x.im) into (/ 1 x.im)
* [misc]taylor:  Taking taylor expansion of (/ 1 y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 x.re) (/ 1 y.re)) (* (/ 1 x.im) (/ 1 y.im))) in x.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.re) (/ 1 y.re)) in x.im
* [misc]taylor:  Taking taylor expansion of (/ 1 x.re) in x.im
* [misc]taylor:  Taking taylor expansion of x.re in x.im
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]backup-simplify:  Simplify (/ 1 x.re) into (/ 1 x.re)
* [misc]taylor:  Taking taylor expansion of (/ 1 y.re) in x.im
* [misc]taylor:  Taking taylor expansion of y.re in x.im
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (/ 1 y.re) into (/ 1 y.re)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.im) (/ 1 y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (/ 1 x.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y.im) in x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (/ 1 y.im) into (/ 1 y.im)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 x.re) (/ 1 y.re)) (* (/ 1 x.im) (/ 1 y.im))) in y.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.re) (/ 1 y.re)) in y.re
* [misc]taylor:  Taking taylor expansion of (/ 1 x.re) in y.re
* [misc]taylor:  Taking taylor expansion of x.re in y.re
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]backup-simplify:  Simplify (/ 1 x.re) into (/ 1 x.re)
* [misc]taylor:  Taking taylor expansion of (/ 1 y.re) in y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.im) (/ 1 y.im)) in y.re
* [misc]taylor:  Taking taylor expansion of (/ 1 x.im) in y.re
* [misc]taylor:  Taking taylor expansion of x.im in y.re
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (/ 1 x.im) into (/ 1 x.im)
* [misc]taylor:  Taking taylor expansion of (/ 1 y.im) in y.re
* [misc]taylor:  Taking taylor expansion of y.im in y.re
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (/ 1 y.im) into (/ 1 y.im)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 x.re) (/ 1 y.re)) (* (/ 1 x.im) (/ 1 y.im))) in x.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.re) (/ 1 y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 x.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y.re) in x.re
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (/ 1 y.re) into (/ 1 y.re)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.im) (/ 1 y.im)) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 x.im) in x.re
* [misc]taylor:  Taking taylor expansion of x.im in x.re
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (/ 1 x.im) into (/ 1 x.im)
* [misc]taylor:  Taking taylor expansion of (/ 1 y.im) in x.re
* [misc]taylor:  Taking taylor expansion of y.im in x.re
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (/ 1 y.im) into (/ 1 y.im)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 x.re) (/ 1 y.re)) (* (/ 1 x.im) (/ 1 y.im))) in x.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.re) (/ 1 y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 x.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y.re) in x.re
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (/ 1 y.re) into (/ 1 y.re)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.im) (/ 1 y.im)) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 x.im) in x.re
* [misc]taylor:  Taking taylor expansion of x.im in x.re
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (/ 1 x.im) into (/ 1 x.im)
* [misc]taylor:  Taking taylor expansion of (/ 1 y.im) in x.re
* [misc]taylor:  Taking taylor expansion of y.im in x.re
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (/ 1 y.im) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 y.re)) into (/ 1 y.re)
* [misc]backup-simplify:  Simplify (+ (/ 1 y.re) 0) into (/ 1 y.re)
* [misc]taylor:  Taking taylor expansion of (/ 1 y.re) in y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x.im
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.re) (/ 0 y.re)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 y.re))) into 0
* [misc]backup-simplify:  Simplify (* (/ 1 x.im) (/ 1 y.im)) into (/ 1 (* y.im x.im))
* [misc]backup-simplify:  Simplify (- (/ 1 (* y.im x.im))) into (- (/ 1 (* y.im x.im)))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (* y.im x.im)))) into (- (/ 1 (* y.im x.im)))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (* y.im x.im))) in y.re
* [misc]taylor:  Taking taylor expansion of (/ 1 (* y.im x.im)) in y.re
* [misc]taylor:  Taking taylor expansion of (* y.im x.im) in y.re
* [misc]taylor:  Taking taylor expansion of y.im in y.re
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]taylor:  Taking taylor expansion of x.im in y.re
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (* y.im x.im) into (* y.im x.im)
* [misc]backup-simplify:  Simplify (/ 1 (* y.im x.im)) into (/ 1 (* y.im x.im))
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 1 in y.im
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.re) (/ 0 y.re)) (* 0 (/ 0 y.re)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y.re)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.im) (/ 0 y.im)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x.im) (/ 0 x.im)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 x.im) 0) (* 0 (/ 1 y.im))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 1 (* y.im x.im))) into (- (/ 1 (* y.im x.im)))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (* y.im x.im))) in x.im
* [misc]taylor:  Taking taylor expansion of (/ 1 (* y.im x.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (* y.im x.im) in x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* y.im 0) into 0
* [misc]backup-simplify:  Simplify (+ (* y.im 1) (* 0 0)) into y.im
* [misc]backup-simplify:  Simplify (/ 1 y.im) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (- (/ 1 y.im)) into (- (/ 1 y.im))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of (/ 1 y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.re) (/ 0 y.re)) (* 0 (/ 0 y.re)) (* 0 (/ 0 y.re)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y.re))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.im) (/ 0 y.im)) (* 0 (/ 0 y.im)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 x.im) 0) (+ (* 0 0) (* 0 (/ 1 y.im)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* y.im 0) (* 0 x.im)) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (* y.im x.im)) (/ 0 (* y.im x.im))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* y.im 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.im) (/ 0 y.im)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.re) (/ 0 y.re)) (* 0 (/ 0 y.re)) (* 0 (/ 0 y.re)) (* 0 (/ 0 y.re)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y.re)))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.im) (/ 0 y.im)) (* 0 (/ 0 y.im)) (* 0 (/ 0 y.im)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x.im) (/ 0 x.im)) (* 0 (/ 0 x.im)) (* 0 (/ 0 x.im)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 x.im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y.im))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* y.im 0) (+ (* 0 0) (* 0 x.im))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (* y.im x.im)) (/ 0 (* y.im x.im))) (* 0 (/ 0 (* y.im x.im))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* y.im 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.im) (/ 0 y.im)) (* 0 (/ 0 y.im)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 y.re)) (/ 1 (/ 1 x.re)))))) (* -1 (* (/ 1 (/ 1 y.im)) (* (/ 1 (/ 1 x.im)) (* 1 1))))) into (- (* y.re x.re) (* y.im x.im))
* [misc]approximate:  Taking taylor expansion of (- (* (/ 1 (- x.re)) (/ 1 (- y.re))) (* (/ 1 (- x.im)) (/ 1 (- y.im)))) in (x.re y.re x.im y.im) around 0
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- x.re)) (/ 1 (- y.re))) (* (/ 1 (- x.im)) (/ 1 (- y.im)))) in y.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.re)) (/ 1 (- y.re))) in y.im
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.re)) in y.im
* [misc]taylor:  Taking taylor expansion of (- x.re) in y.im
* [misc]taylor:  Taking taylor expansion of x.re in y.im
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]backup-simplify:  Simplify (- x.re) into (- x.re)
* [misc]backup-simplify:  Simplify (- x.re) into (- x.re)
* [misc]backup-simplify:  Simplify (/ 1 (- x.re)) into (/ -1 x.re)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.re)) in y.im
* [misc]taylor:  Taking taylor expansion of (- y.re) in y.im
* [misc]taylor:  Taking taylor expansion of y.re in y.im
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (/ 1 (- y.re)) into (/ -1 y.re)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.im)) (/ 1 (- y.im))) in y.im
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.im)) in y.im
* [misc]taylor:  Taking taylor expansion of (- x.im) in y.im
* [misc]taylor:  Taking taylor expansion of x.im in y.im
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (/ 1 (- x.im)) into (/ -1 x.im)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of (- y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- x.re)) (/ 1 (- y.re))) (* (/ 1 (- x.im)) (/ 1 (- y.im)))) in x.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.re)) (/ 1 (- y.re))) in x.im
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.re)) in x.im
* [misc]taylor:  Taking taylor expansion of (- x.re) in x.im
* [misc]taylor:  Taking taylor expansion of x.re in x.im
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]backup-simplify:  Simplify (- x.re) into (- x.re)
* [misc]backup-simplify:  Simplify (- x.re) into (- x.re)
* [misc]backup-simplify:  Simplify (/ 1 (- x.re)) into (/ -1 x.re)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.re)) in x.im
* [misc]taylor:  Taking taylor expansion of (- y.re) in x.im
* [misc]taylor:  Taking taylor expansion of y.re in x.im
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (/ 1 (- y.re)) into (/ -1 y.re)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.im)) (/ 1 (- y.im))) in x.im
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (- x.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (- y.im) in x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (/ 1 (- y.im)) into (/ -1 y.im)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- x.re)) (/ 1 (- y.re))) (* (/ 1 (- x.im)) (/ 1 (- y.im)))) in y.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.re)) (/ 1 (- y.re))) in y.re
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.re)) in y.re
* [misc]taylor:  Taking taylor expansion of (- x.re) in y.re
* [misc]taylor:  Taking taylor expansion of x.re in y.re
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]backup-simplify:  Simplify (- x.re) into (- x.re)
* [misc]backup-simplify:  Simplify (- x.re) into (- x.re)
* [misc]backup-simplify:  Simplify (/ 1 (- x.re)) into (/ -1 x.re)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.re)) in y.re
* [misc]taylor:  Taking taylor expansion of (- y.re) in y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.im)) (/ 1 (- y.im))) in y.re
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.im)) in y.re
* [misc]taylor:  Taking taylor expansion of (- x.im) in y.re
* [misc]taylor:  Taking taylor expansion of x.im in y.re
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (/ 1 (- x.im)) into (/ -1 x.im)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.im)) in y.re
* [misc]taylor:  Taking taylor expansion of (- y.im) in y.re
* [misc]taylor:  Taking taylor expansion of y.im in y.re
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (/ 1 (- y.im)) into (/ -1 y.im)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- x.re)) (/ 1 (- y.re))) (* (/ 1 (- x.im)) (/ 1 (- y.im)))) in x.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.re)) (/ 1 (- y.re))) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (- x.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (- y.re) in x.re
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (/ 1 (- y.re)) into (/ -1 y.re)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.im)) (/ 1 (- y.im))) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.im)) in x.re
* [misc]taylor:  Taking taylor expansion of (- x.im) in x.re
* [misc]taylor:  Taking taylor expansion of x.im in x.re
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (/ 1 (- x.im)) into (/ -1 x.im)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.im)) in x.re
* [misc]taylor:  Taking taylor expansion of (- y.im) in x.re
* [misc]taylor:  Taking taylor expansion of y.im in x.re
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (/ 1 (- y.im)) into (/ -1 y.im)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- x.re)) (/ 1 (- y.re))) (* (/ 1 (- x.im)) (/ 1 (- y.im)))) in x.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.re)) (/ 1 (- y.re))) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (- x.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (- y.re) in x.re
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (/ 1 (- y.re)) into (/ -1 y.re)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.im)) (/ 1 (- y.im))) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.im)) in x.re
* [misc]taylor:  Taking taylor expansion of (- x.im) in x.re
* [misc]taylor:  Taking taylor expansion of x.im in x.re
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (/ 1 (- x.im)) into (/ -1 x.im)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.im)) in x.re
* [misc]taylor:  Taking taylor expansion of (- y.im) in x.re
* [misc]taylor:  Taking taylor expansion of y.im in x.re
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (/ 1 (- y.im)) into (/ -1 y.im)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 y.re)) into (/ 1 y.re)
* [misc]backup-simplify:  Simplify (+ (/ 1 y.re) 0) into (/ 1 y.re)
* [misc]taylor:  Taking taylor expansion of (/ 1 y.re) in y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x.im
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.re) (/ 0 (- y.re))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 y.re))) into 0
* [misc]backup-simplify:  Simplify (* (/ -1 x.im) (/ -1 y.im)) into (/ 1 (* y.im x.im))
* [misc]backup-simplify:  Simplify (- (/ 1 (* y.im x.im))) into (- (/ 1 (* y.im x.im)))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (* y.im x.im)))) into (- (/ 1 (* y.im x.im)))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (* y.im x.im))) in y.re
* [misc]taylor:  Taking taylor expansion of (/ 1 (* y.im x.im)) in y.re
* [misc]taylor:  Taking taylor expansion of (* y.im x.im) in y.re
* [misc]taylor:  Taking taylor expansion of y.im in y.re
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]taylor:  Taking taylor expansion of x.im in y.re
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (* y.im x.im) into (* y.im x.im)
* [misc]backup-simplify:  Simplify (/ 1 (* y.im x.im)) into (/ 1 (* y.im x.im))
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 1 in y.im
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.re) (/ 0 (- y.re))) (* 0 (/ 0 (- y.re))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y.re)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.im) (/ 0 (- y.im))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 x.im) (/ 0 (- x.im))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 x.im) 0) (* 0 (/ -1 y.im))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 1 (* y.im x.im))) into (- (/ 1 (* y.im x.im)))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (* y.im x.im))) in x.im
* [misc]taylor:  Taking taylor expansion of (/ 1 (* y.im x.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (* y.im x.im) in x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* y.im 0) into 0
* [misc]backup-simplify:  Simplify (+ (* y.im 1) (* 0 0)) into y.im
* [misc]backup-simplify:  Simplify (/ 1 y.im) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (- (/ 1 y.im)) into (- (/ 1 y.im))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of (/ 1 y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.re) (/ 0 (- y.re))) (* 0 (/ 0 (- y.re))) (* 0 (/ 0 (- y.re))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y.re))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.im) (/ 0 (- y.im))) (* 0 (/ 0 (- y.im))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 x.im) (/ 0 (- x.im))) (* 0 (/ 0 (- x.im))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 x.im) 0) (+ (* 0 0) (* 0 (/ -1 y.im)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* y.im 0) (* 0 x.im)) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (* y.im x.im)) (/ 0 (* y.im x.im))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* y.im 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.im) (/ 0 y.im)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.re) (/ 0 (- y.re))) (* 0 (/ 0 (- y.re))) (* 0 (/ 0 (- y.re))) (* 0 (/ 0 (- y.re))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y.re)))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.im) (/ 0 (- y.im))) (* 0 (/ 0 (- y.im))) (* 0 (/ 0 (- y.im))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 x.im) (/ 0 (- x.im))) (* 0 (/ 0 (- x.im))) (* 0 (/ 0 (- x.im))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 x.im) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y.im))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* y.im 0) (+ (* 0 0) (* 0 x.im))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (* y.im x.im)) (/ 0 (* y.im x.im))) (* 0 (/ 0 (* y.im x.im))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* y.im 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.im) (/ 0 y.im)) (* 0 (/ 0 y.im)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- y.re))) (/ 1 (/ 1 (- x.re))))))) (* -1 (* (/ 1 (/ 1 (- y.im))) (* (/ 1 (/ 1 (- x.im))) (* 1 1))))) into (- (* y.re x.re) (* y.im x.im))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 17 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) 0)>
* [enter]simplify:  Simplifying 0
* * [misc]simplify:  iters left: 0 (1 enodes)
* [exit]simplify:  Simplified to 0
* * * * [misc]progress:  [ 2 / 17 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) (- (* y.re x.re) (* y.im x.im)))>
* [enter]simplify:  Simplifying (- (* y.re x.re) (* y.im x.im))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* [exit]simplify:  Simplified to (- (* x.re y.re) (* x.im y.im))
* * * * [misc]progress:  [ 3 / 17 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) (- (* y.re x.re) (* y.im x.im)))>
* [enter]simplify:  Simplifying (- (* y.re x.re) (* y.im x.im))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* [exit]simplify:  Simplified to (- (* x.re y.re) (* x.im y.im))
* * * * [misc]progress:  [ 4 / 17 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (log1p (expm1 (- (* x.re y.re) (* x.im y.im)))))>
* [enter]simplify:  Simplifying (expm1 (- (* x.re y.re) (* x.im y.im)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* [exit]simplify:  Simplified to (expm1 (- (* y.re x.re) (* y.im x.im)))
* [exit]simplify:  Simplified to (expm1 (- (* y.re x.re) (* y.im x.im)))
* * * * [misc]progress:  [ 5 / 17 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (expm1 (log1p (- (* x.re y.re) (* x.im y.im)))))>
* [enter]simplify:  Simplifying (log1p (- (* x.re y.re) (* x.im y.im)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* [exit]simplify:  Simplified to (log1p (- (* y.re x.re) (* y.im x.im)))
* [exit]simplify:  Simplified to (log1p (- (* y.re x.re) (* y.im x.im)))
* * * * [misc]progress:  [ 6 / 17 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (log (/ (exp (* x.re y.re)) (exp (* x.im y.im)))))>
* [enter]simplify:  Simplifying (/ (exp (* x.re y.re)) (exp (* x.im y.im)))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* [exit]simplify:  Simplified to (exp (- (* y.re x.re) (* x.im y.im)))
* [exit]simplify:  Simplified to (exp (- (* y.re x.re) (* x.im y.im)))
* * * * [misc]progress:  [ 7 / 17 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (pow (- (* x.re y.re) (* x.im y.im)) 1))>
* * * * [misc]progress:  [ 8 / 17 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (exp (log (- (* x.re y.re) (* x.im y.im)))))>
* [enter]simplify:  Simplifying (log (- (* x.re y.re) (* x.im y.im)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* [exit]simplify:  Simplified to (log (- (* y.re x.re) (* y.im x.im)))
* [exit]simplify:  Simplified to (log (- (* y.re x.re) (* y.im x.im)))
* * * * [misc]progress:  [ 9 / 17 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (log (exp (- (* x.re y.re) (* x.im y.im)))))>
* [enter]simplify:  Simplifying (exp (- (* x.re y.re) (* x.im y.im)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (21 enodes)
* [exit]simplify:  Simplified to (exp (- (* y.re x.re) (* y.im x.im)))
* [exit]simplify:  Simplified to (exp (- (* y.re x.re) (* y.im x.im)))
* * * * [misc]progress:  [ 10 / 17 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (cube (cbrt (- (* x.re y.re) (* x.im y.im)))))>
* [enter]simplify:  Simplifying (cbrt (- (* x.re y.re) (* x.im y.im)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* [exit]simplify:  Simplified to (cbrt (- (* y.re x.re) (* y.im x.im)))
* [exit]simplify:  Simplified to (cbrt (- (* y.re x.re) (* y.im x.im)))
* * * * [misc]progress:  [ 11 / 17 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (cbrt (cube (- (* x.re y.re) (* x.im y.im)))))>
* [enter]simplify:  Simplifying (cube (- (* x.re y.re) (* x.im y.im)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (cube (- (* y.re x.re) (* y.im x.im)))
* [exit]simplify:  Simplified to (cube (- (* y.re x.re) (* y.im x.im)))
* * * * [misc]progress:  [ 12 / 17 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (sqr (sqrt (- (* x.re y.re) (* x.im y.im)))))>
* [enter]simplify:  Simplifying (sqrt (- (* x.re y.re) (* x.im y.im)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (- (* y.re x.re) (* y.im x.im)))
* [exit]simplify:  Simplified to (sqrt (- (* y.re x.re) (* y.im x.im)))
* * * * [misc]progress:  [ 13 / 17 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (+ (* x.re y.re) (- (* x.im y.im))))>
* [enter]simplify:  Simplifying (- (* x.im y.im))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (* x.im (- y.im))
* [exit]simplify:  Simplified to (* x.im (- y.im))
* * * * [misc]progress:  [ 14 / 17 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* 1 (- (* x.re y.re) (* x.im y.im))))>
* * * * [misc]progress:  [ 15 / 17 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (/ (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3)) (+ (sqr (* x.re y.re)) (+ (sqr (* x.im y.im)) (* (* x.re y.re) (* x.im y.im))))))>
* [enter]simplify:  Simplifying (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3))
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (26 enodes)
* * [misc]simplify:  iters left: 2 (46 enodes)
* * [misc]simplify:  iters left: 1 (66 enodes)
* [exit]simplify:  Simplified to (- (cube (* y.re x.re)) (cube (* y.im x.im)))
* [exit]simplify:  Simplified to (- (cube (* y.re x.re)) (cube (* y.im x.im)))
* [enter]simplify:  Simplifying (+ (sqr (* x.re y.re)) (+ (sqr (* x.im y.im)) (* (* x.re y.re) (* x.im y.im))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (53 enodes)
* * [misc]simplify:  iters left: 3 (116 enodes)
* * [misc]simplify:  iters left: 2 (213 enodes)
* * [misc]simplify:  iters left: 1 (299 enodes)
* [exit]simplify:  Simplified to (fma (* y.re x.re) (fma x.im y.im (* y.re x.re)) (sqr (* x.im y.im)))
* [exit]simplify:  Simplified to (fma (* y.re x.re) (fma x.im y.im (* y.re x.re)) (sqr (* x.im y.im)))
* * * * [misc]progress:  [ 16 / 17 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (/ (- (sqr (* x.re y.re)) (sqr (* x.im y.im))) (+ (* x.re y.re) (* x.im y.im))))>
* [enter]simplify:  Simplifying (- (sqr (* x.re y.re)) (sqr (* x.im y.im)))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (32 enodes)
* * [misc]simplify:  iters left: 2 (58 enodes)
* * [misc]simplify:  iters left: 1 (86 enodes)
* [exit]simplify:  Simplified to (- (* (* y.re x.re) (* y.re x.re)) (sqr (* x.im y.im)))
* [exit]simplify:  Simplified to (- (* (* y.re x.re) (* y.re x.re)) (sqr (* x.im y.im)))
* [enter]simplify:  Simplifying (+ (* x.re y.re) (* x.im y.im))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* [exit]simplify:  Simplified to (fma y.re x.re (* y.im x.im))
* [exit]simplify:  Simplified to (fma y.re x.re (* y.im x.im))
* * * * [misc]progress:  [ 17 / 17 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* [exit]simplify:  Simplified to (+ (sqrt (* y.re x.re)) (sqrt (* x.im y.im)))
* [exit]simplify:  Simplified to (+ (sqrt (* y.re x.re)) (sqrt (* x.im y.im)))
* [enter]simplify:  Simplifying (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* [exit]simplify:  Simplified to (- (sqrt (* y.re x.re)) (sqrt (* x.im y.im)))
* [exit]simplify:  Simplified to (- (sqrt (* y.re x.re)) (sqrt (* x.im y.im)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2)
* [misc]approximate:  Taking taylor expansion of (sqrt (* x.im y.im)) in (x.im y.im) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (* x.im y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of (* x.im y.im) in y.im
* [misc]taylor:  Taking taylor expansion of x.im in y.im
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* x.im 0) into 0
* [misc]backup-simplify:  Simplify (+ (* x.im 1) (* 0 0)) into x.im
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ x.im (* 2 (sqrt 0))) into (* +nan.0 x.im)
* [misc]taylor:  Taking taylor expansion of (sqrt (* x.im y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (* x.im y.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (* 0 y.im) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y.im)) into y.im
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ y.im (* 2 (sqrt 0))) into (* +nan.0 y.im)
* [misc]taylor:  Taking taylor expansion of (sqrt (* x.im y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (* x.im y.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (* 0 y.im) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y.im)) into y.im
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ y.im (* 2 (sqrt 0))) into (* +nan.0 y.im)
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of (* +nan.0 y.im) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* +nan.0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y.im))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (* +nan.0 y.im)) (+)) (* 2 0)) into (* +nan.0 (sqr y.im))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (sqr y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqr y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (* +nan.0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 1) (* 0 0)) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y.im)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 y.im) (* +nan.0 (sqr y.im)))))) (* 2 0)) into (* +nan.0 (pow y.im 3))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.im 3)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.im 3) in y.im
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (* 0 0)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y.im))))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (* +nan.0 (sqr y.im))) (+ (* 2 (* (* +nan.0 y.im) (* +nan.0 (pow y.im 3)))))) (* 2 0)) into (* +nan.0 (pow y.im 4))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.im 4)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.im 4) in y.im
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ (* +nan.0 1) (+ (* 0 0) (* 0 0))) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y.im)))))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 y.im) (* +nan.0 (pow y.im 4)))) (* 2 (* (* +nan.0 (sqr y.im)) (* +nan.0 (pow y.im 3)))))) (* 2 0)) into (* +nan.0 (pow y.im 5))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.im 5)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.im 5) in y.im
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 1) (+ (* 0 0) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y.im))))))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (* +nan.0 (pow y.im 3))) (+ (* 2 (* (* +nan.0 y.im) (* +nan.0 (pow y.im 5)))) (* 2 (* (* +nan.0 (sqr y.im)) (* +nan.0 (pow y.im 4)))))) (* 2 0)) into (* +nan.0 (pow y.im 6))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.im 6)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.im 6) in y.im
* [misc]backup-simplify:  Simplify (* +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (* y.im x.im) 3)) (+ (* (- +nan.0) (sqr (* y.im x.im))) (* (- +nan.0) (* y.im x.im)))) into (- (+ (* +nan.0 (* y.im x.im)) (- (+ (* +nan.0 (* (sqr y.im) (sqr x.im))) (- (* +nan.0 (* (pow y.im 3) (pow x.im 3))))))))
* [misc]approximate:  Taking taylor expansion of (sqrt (* (/ 1 x.im) (/ 1 y.im))) in (x.im y.im) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 x.im) (/ 1 y.im))) in y.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.im) (/ 1 y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of (/ 1 x.im) in y.im
* [misc]taylor:  Taking taylor expansion of x.im in y.im
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (/ 1 x.im) into (/ 1 x.im)
* [misc]taylor:  Taking taylor expansion of (/ 1 y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* (/ 1 x.im) 1) into (/ 1 x.im)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 x.im) (* 2 (sqrt 0))) into (/ +nan.0 x.im)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 x.im) (/ 1 y.im))) in x.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.im) (/ 1 y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (/ 1 x.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y.im) in x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (/ 1 y.im) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 y.im)) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.im) (* 2 (sqrt 0))) into (/ +nan.0 y.im)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 x.im) (/ 1 y.im))) in x.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.im) (/ 1 y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (/ 1 x.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y.im) in x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (/ 1 y.im) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 y.im)) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.im) (* 2 (sqrt 0))) into (/ +nan.0 y.im)
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 y.im) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.im) (/ 0 y.im)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 y.im))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (/ +nan.0 y.im)) (+)) (* 2 0)) into (/ +nan.0 (sqr y.im))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (sqr y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqr y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.im) (/ 0 y.im)) (* 0 (/ 0 y.im)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y.im)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 y.im) (/ +nan.0 (sqr y.im)))))) (* 2 0)) into (/ +nan.0 (pow y.im 3))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (pow y.im 3)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.im 3) in y.im
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* +nan.0 (* (/ 1 (/ 1 y.im)) 1)) into (* +nan.0 y.im)
* [misc]approximate:  Taking taylor expansion of (sqrt (* (/ 1 (- x.im)) (/ 1 (- y.im)))) in (x.im y.im) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 (- x.im)) (/ 1 (- y.im)))) in y.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.im)) (/ 1 (- y.im))) in y.im
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.im)) in y.im
* [misc]taylor:  Taking taylor expansion of (- x.im) in y.im
* [misc]taylor:  Taking taylor expansion of x.im in y.im
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (/ 1 (- x.im)) into (/ -1 x.im)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of (- y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* (/ -1 x.im) -1) into (/ 1 x.im)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 x.im) (* 2 (sqrt 0))) into (/ +nan.0 x.im)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 (- x.im)) (/ 1 (- y.im)))) in x.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.im)) (/ 1 (- y.im))) in x.im
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (- x.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (- y.im) in x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (/ 1 (- y.im)) into (/ -1 y.im)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 y.im)) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.im) (* 2 (sqrt 0))) into (/ +nan.0 y.im)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 (- x.im)) (/ 1 (- y.im)))) in x.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.im)) (/ 1 (- y.im))) in x.im
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (- x.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (- y.im) in x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (/ 1 (- y.im)) into (/ -1 y.im)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 y.im)) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.im) (* 2 (sqrt 0))) into (/ +nan.0 y.im)
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 y.im) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.im) (/ 0 (- y.im))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 y.im))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (/ +nan.0 y.im)) (+)) (* 2 0)) into (/ +nan.0 (sqr y.im))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (sqr y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqr y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.im) (/ 0 (- y.im))) (* 0 (/ 0 (- y.im))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y.im)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 y.im) (/ +nan.0 (sqr y.im)))))) (* 2 0)) into (/ +nan.0 (pow y.im 3))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (pow y.im 3)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.im 3) in y.im
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* +nan.0 (* (/ 1 (/ 1 (- y.im))) 1)) into (* +nan.0 y.im)
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
* [misc]approximate:  Taking taylor expansion of (sqrt (* x.im y.im)) in (x.im y.im) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (* x.im y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of (* x.im y.im) in y.im
* [misc]taylor:  Taking taylor expansion of x.im in y.im
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* x.im 0) into 0
* [misc]backup-simplify:  Simplify (+ (* x.im 1) (* 0 0)) into x.im
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ x.im (* 2 (sqrt 0))) into (* +nan.0 x.im)
* [misc]taylor:  Taking taylor expansion of (sqrt (* x.im y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (* x.im y.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (* 0 y.im) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y.im)) into y.im
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ y.im (* 2 (sqrt 0))) into (* +nan.0 y.im)
* [misc]taylor:  Taking taylor expansion of (sqrt (* x.im y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (* x.im y.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (* 0 y.im) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y.im)) into y.im
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ y.im (* 2 (sqrt 0))) into (* +nan.0 y.im)
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of (* +nan.0 y.im) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* +nan.0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y.im))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (* +nan.0 y.im)) (+)) (* 2 0)) into (* +nan.0 (sqr y.im))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (sqr y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqr y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (* +nan.0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 1) (* 0 0)) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y.im)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 y.im) (* +nan.0 (sqr y.im)))))) (* 2 0)) into (* +nan.0 (pow y.im 3))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.im 3)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.im 3) in y.im
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (* 0 0)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y.im))))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (* +nan.0 (sqr y.im))) (+ (* 2 (* (* +nan.0 y.im) (* +nan.0 (pow y.im 3)))))) (* 2 0)) into (* +nan.0 (pow y.im 4))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.im 4)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.im 4) in y.im
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ (* +nan.0 1) (+ (* 0 0) (* 0 0))) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y.im)))))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 y.im) (* +nan.0 (pow y.im 4)))) (* 2 (* (* +nan.0 (sqr y.im)) (* +nan.0 (pow y.im 3)))))) (* 2 0)) into (* +nan.0 (pow y.im 5))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.im 5)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.im 5) in y.im
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 1) (+ (* 0 0) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y.im))))))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (* +nan.0 (pow y.im 3))) (+ (* 2 (* (* +nan.0 y.im) (* +nan.0 (pow y.im 5)))) (* 2 (* (* +nan.0 (sqr y.im)) (* +nan.0 (pow y.im 4)))))) (* 2 0)) into (* +nan.0 (pow y.im 6))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.im 6)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.im 6) in y.im
* [misc]backup-simplify:  Simplify (* +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (* y.im x.im) 3)) (+ (* (- +nan.0) (sqr (* y.im x.im))) (* (- +nan.0) (* y.im x.im)))) into (- (+ (* +nan.0 (* y.im x.im)) (- (+ (* +nan.0 (* (sqr y.im) (sqr x.im))) (- (* +nan.0 (* (pow y.im 3) (pow x.im 3))))))))
* [misc]approximate:  Taking taylor expansion of (sqrt (* (/ 1 x.im) (/ 1 y.im))) in (x.im y.im) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 x.im) (/ 1 y.im))) in y.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.im) (/ 1 y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of (/ 1 x.im) in y.im
* [misc]taylor:  Taking taylor expansion of x.im in y.im
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (/ 1 x.im) into (/ 1 x.im)
* [misc]taylor:  Taking taylor expansion of (/ 1 y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* (/ 1 x.im) 1) into (/ 1 x.im)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 x.im) (* 2 (sqrt 0))) into (/ +nan.0 x.im)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 x.im) (/ 1 y.im))) in x.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.im) (/ 1 y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (/ 1 x.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y.im) in x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (/ 1 y.im) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 y.im)) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.im) (* 2 (sqrt 0))) into (/ +nan.0 y.im)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 x.im) (/ 1 y.im))) in x.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.im) (/ 1 y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (/ 1 x.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y.im) in x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (/ 1 y.im) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 y.im)) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.im) (* 2 (sqrt 0))) into (/ +nan.0 y.im)
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 y.im) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.im) (/ 0 y.im)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 y.im))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (/ +nan.0 y.im)) (+)) (* 2 0)) into (/ +nan.0 (sqr y.im))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (sqr y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqr y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.im) (/ 0 y.im)) (* 0 (/ 0 y.im)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y.im)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 y.im) (/ +nan.0 (sqr y.im)))))) (* 2 0)) into (/ +nan.0 (pow y.im 3))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (pow y.im 3)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.im 3) in y.im
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* +nan.0 (* (/ 1 (/ 1 y.im)) 1)) into (* +nan.0 y.im)
* [misc]approximate:  Taking taylor expansion of (sqrt (* (/ 1 (- x.im)) (/ 1 (- y.im)))) in (x.im y.im) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 (- x.im)) (/ 1 (- y.im)))) in y.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.im)) (/ 1 (- y.im))) in y.im
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.im)) in y.im
* [misc]taylor:  Taking taylor expansion of (- x.im) in y.im
* [misc]taylor:  Taking taylor expansion of x.im in y.im
* [misc]backup-simplify:  Simplify x.im into x.im
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (- x.im) into (- x.im)
* [misc]backup-simplify:  Simplify (/ 1 (- x.im)) into (/ -1 x.im)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of (- y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* (/ -1 x.im) -1) into (/ 1 x.im)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 x.im) (* 2 (sqrt 0))) into (/ +nan.0 x.im)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 (- x.im)) (/ 1 (- y.im)))) in x.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.im)) (/ 1 (- y.im))) in x.im
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (- x.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (- y.im) in x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (/ 1 (- y.im)) into (/ -1 y.im)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 y.im)) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.im) (* 2 (sqrt 0))) into (/ +nan.0 y.im)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 (- x.im)) (/ 1 (- y.im)))) in x.im
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.im)) (/ 1 (- y.im))) in x.im
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (- x.im) in x.im
* [misc]taylor:  Taking taylor expansion of x.im in x.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.im)) in x.im
* [misc]taylor:  Taking taylor expansion of (- y.im) in x.im
* [misc]taylor:  Taking taylor expansion of y.im in x.im
* [misc]backup-simplify:  Simplify y.im into y.im
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (/ 1 (- y.im)) into (/ -1 y.im)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 y.im)) into (/ 1 y.im)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.im) (* 2 (sqrt 0))) into (/ +nan.0 y.im)
* [misc]taylor:  Taking taylor expansion of 0 in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 y.im) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.im) (/ 0 (- y.im))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 y.im))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (/ +nan.0 y.im)) (+)) (* 2 0)) into (/ +nan.0 (sqr y.im))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (sqr y.im)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqr y.im) in y.im
* [misc]taylor:  Taking taylor expansion of y.im in y.im
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.im) into (- y.im)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.im) (/ 0 (- y.im))) (* 0 (/ 0 (- y.im))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y.im)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 y.im) (/ +nan.0 (sqr y.im)))))) (* 2 0)) into (/ +nan.0 (pow y.im 3))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (pow y.im 3)) in y.im
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.im
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.im 3) in y.im
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* +nan.0 (* (/ 1 (/ 1 (- y.im))) 1)) into (* +nan.0 y.im)
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1)
* [misc]approximate:  Taking taylor expansion of (sqrt (* x.re y.re)) in (x.re y.re) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (* x.re y.re)) in y.re
* [misc]taylor:  Taking taylor expansion of (* x.re y.re) in y.re
* [misc]taylor:  Taking taylor expansion of x.re in y.re
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* x.re 0) into 0
* [misc]backup-simplify:  Simplify (+ (* x.re 1) (* 0 0)) into x.re
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ x.re (* 2 (sqrt 0))) into (* +nan.0 x.re)
* [misc]taylor:  Taking taylor expansion of (sqrt (* x.re y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (* x.re y.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (* 0 y.re) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y.re)) into y.re
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ y.re (* 2 (sqrt 0))) into (* +nan.0 y.re)
* [misc]taylor:  Taking taylor expansion of (sqrt (* x.re y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (* x.re y.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (* 0 y.re) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y.re)) into y.re
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ y.re (* 2 (sqrt 0))) into (* +nan.0 y.re)
* [misc]taylor:  Taking taylor expansion of 0 in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of (* +nan.0 y.re) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* +nan.0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y.re))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (* +nan.0 y.re)) (+)) (* 2 0)) into (* +nan.0 (sqr y.re))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (sqr y.re)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqr y.re) in y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (* +nan.0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 1) (* 0 0)) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y.re)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 y.re) (* +nan.0 (sqr y.re)))))) (* 2 0)) into (* +nan.0 (pow y.re 3))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.re 3)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.re 3) in y.re
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (* 0 0)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y.re))))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (* +nan.0 (sqr y.re))) (+ (* 2 (* (* +nan.0 y.re) (* +nan.0 (pow y.re 3)))))) (* 2 0)) into (* +nan.0 (pow y.re 4))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.re 4)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.re 4) in y.re
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ (* +nan.0 1) (+ (* 0 0) (* 0 0))) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y.re)))))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 y.re) (* +nan.0 (pow y.re 4)))) (* 2 (* (* +nan.0 (sqr y.re)) (* +nan.0 (pow y.re 3)))))) (* 2 0)) into (* +nan.0 (pow y.re 5))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.re 5)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.re 5) in y.re
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 1) (+ (* 0 0) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y.re))))))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (* +nan.0 (pow y.re 3))) (+ (* 2 (* (* +nan.0 y.re) (* +nan.0 (pow y.re 5)))) (* 2 (* (* +nan.0 (sqr y.re)) (* +nan.0 (pow y.re 4)))))) (* 2 0)) into (* +nan.0 (pow y.re 6))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.re 6)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.re 6) in y.re
* [misc]backup-simplify:  Simplify (* +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (* y.re x.re) 3)) (+ (* (- +nan.0) (sqr (* y.re x.re))) (* (- +nan.0) (* y.re x.re)))) into (- (+ (* +nan.0 (* (pow y.re 3) (pow x.re 3))) (- (+ (* +nan.0 (* (sqr y.re) (sqr x.re))) (- (* +nan.0 (* y.re x.re)))))))
* [misc]approximate:  Taking taylor expansion of (sqrt (* (/ 1 x.re) (/ 1 y.re))) in (x.re y.re) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 x.re) (/ 1 y.re))) in y.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.re) (/ 1 y.re)) in y.re
* [misc]taylor:  Taking taylor expansion of (/ 1 x.re) in y.re
* [misc]taylor:  Taking taylor expansion of x.re in y.re
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]backup-simplify:  Simplify (/ 1 x.re) into (/ 1 x.re)
* [misc]taylor:  Taking taylor expansion of (/ 1 y.re) in y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* (/ 1 x.re) 1) into (/ 1 x.re)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 x.re) (* 2 (sqrt 0))) into (/ +nan.0 x.re)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 x.re) (/ 1 y.re))) in x.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.re) (/ 1 y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 x.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y.re) in x.re
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (/ 1 y.re) into (/ 1 y.re)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 y.re)) into (/ 1 y.re)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.re) (* 2 (sqrt 0))) into (/ +nan.0 y.re)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 x.re) (/ 1 y.re))) in x.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.re) (/ 1 y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 x.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y.re) in x.re
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (/ 1 y.re) into (/ 1 y.re)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 y.re)) into (/ 1 y.re)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.re) (* 2 (sqrt 0))) into (/ +nan.0 y.re)
* [misc]taylor:  Taking taylor expansion of 0 in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 y.re) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.re) (/ 0 y.re)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 y.re))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (/ +nan.0 y.re)) (+)) (* 2 0)) into (/ +nan.0 (sqr y.re))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (sqr y.re)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqr y.re) in y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.re) (/ 0 y.re)) (* 0 (/ 0 y.re)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y.re)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 y.re) (/ +nan.0 (sqr y.re)))))) (* 2 0)) into (/ +nan.0 (pow y.re 3))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (pow y.re 3)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.re 3) in y.re
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* +nan.0 (* (/ 1 (/ 1 y.re)) 1)) into (* +nan.0 y.re)
* [misc]approximate:  Taking taylor expansion of (sqrt (* (/ 1 (- x.re)) (/ 1 (- y.re)))) in (x.re y.re) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 (- x.re)) (/ 1 (- y.re)))) in y.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.re)) (/ 1 (- y.re))) in y.re
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.re)) in y.re
* [misc]taylor:  Taking taylor expansion of (- x.re) in y.re
* [misc]taylor:  Taking taylor expansion of x.re in y.re
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]backup-simplify:  Simplify (- x.re) into (- x.re)
* [misc]backup-simplify:  Simplify (- x.re) into (- x.re)
* [misc]backup-simplify:  Simplify (/ 1 (- x.re)) into (/ -1 x.re)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.re)) in y.re
* [misc]taylor:  Taking taylor expansion of (- y.re) in y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* (/ -1 x.re) -1) into (/ 1 x.re)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 x.re) (* 2 (sqrt 0))) into (/ +nan.0 x.re)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 (- x.re)) (/ 1 (- y.re)))) in x.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.re)) (/ 1 (- y.re))) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (- x.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (- y.re) in x.re
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (/ 1 (- y.re)) into (/ -1 y.re)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 y.re)) into (/ 1 y.re)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.re) (* 2 (sqrt 0))) into (/ +nan.0 y.re)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 (- x.re)) (/ 1 (- y.re)))) in x.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.re)) (/ 1 (- y.re))) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (- x.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (- y.re) in x.re
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (/ 1 (- y.re)) into (/ -1 y.re)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 y.re)) into (/ 1 y.re)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.re) (* 2 (sqrt 0))) into (/ +nan.0 y.re)
* [misc]taylor:  Taking taylor expansion of 0 in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 y.re) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.re) (/ 0 (- y.re))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 y.re))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (/ +nan.0 y.re)) (+)) (* 2 0)) into (/ +nan.0 (sqr y.re))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (sqr y.re)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqr y.re) in y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.re) (/ 0 (- y.re))) (* 0 (/ 0 (- y.re))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y.re)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 y.re) (/ +nan.0 (sqr y.re)))))) (* 2 0)) into (/ +nan.0 (pow y.re 3))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (pow y.re 3)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.re 3) in y.re
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* +nan.0 (* (/ 1 (/ 1 (- y.re))) 1)) into (* +nan.0 y.re)
* * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
* [misc]approximate:  Taking taylor expansion of (sqrt (* x.re y.re)) in (x.re y.re) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (* x.re y.re)) in y.re
* [misc]taylor:  Taking taylor expansion of (* x.re y.re) in y.re
* [misc]taylor:  Taking taylor expansion of x.re in y.re
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* x.re 0) into 0
* [misc]backup-simplify:  Simplify (+ (* x.re 1) (* 0 0)) into x.re
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ x.re (* 2 (sqrt 0))) into (* +nan.0 x.re)
* [misc]taylor:  Taking taylor expansion of (sqrt (* x.re y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (* x.re y.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (* 0 y.re) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y.re)) into y.re
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ y.re (* 2 (sqrt 0))) into (* +nan.0 y.re)
* [misc]taylor:  Taking taylor expansion of (sqrt (* x.re y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (* x.re y.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (* 0 y.re) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y.re)) into y.re
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ y.re (* 2 (sqrt 0))) into (* +nan.0 y.re)
* [misc]taylor:  Taking taylor expansion of 0 in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of (* +nan.0 y.re) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* +nan.0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y.re))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (* +nan.0 y.re)) (+)) (* 2 0)) into (* +nan.0 (sqr y.re))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (sqr y.re)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqr y.re) in y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (* +nan.0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 1) (* 0 0)) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y.re)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 y.re) (* +nan.0 (sqr y.re)))))) (* 2 0)) into (* +nan.0 (pow y.re 3))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.re 3)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.re 3) in y.re
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (* 0 0)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y.re))))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (* +nan.0 (sqr y.re))) (+ (* 2 (* (* +nan.0 y.re) (* +nan.0 (pow y.re 3)))))) (* 2 0)) into (* +nan.0 (pow y.re 4))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.re 4)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.re 4) in y.re
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ (* +nan.0 1) (+ (* 0 0) (* 0 0))) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y.re)))))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 y.re) (* +nan.0 (pow y.re 4)))) (* 2 (* (* +nan.0 (sqr y.re)) (* +nan.0 (pow y.re 3)))))) (* 2 0)) into (* +nan.0 (pow y.re 5))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.re 5)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.re 5) in y.re
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 1) (+ (* 0 0) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y.re))))))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (* +nan.0 (pow y.re 3))) (+ (* 2 (* (* +nan.0 y.re) (* +nan.0 (pow y.re 5)))) (* 2 (* (* +nan.0 (sqr y.re)) (* +nan.0 (pow y.re 4)))))) (* 2 0)) into (* +nan.0 (pow y.re 6))
* [misc]taylor:  Taking taylor expansion of (* +nan.0 (pow y.re 6)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.re 6) in y.re
* [misc]backup-simplify:  Simplify (* +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (* y.re x.re) 3)) (+ (* (- +nan.0) (sqr (* y.re x.re))) (* (- +nan.0) (* y.re x.re)))) into (- (+ (* +nan.0 (* (pow y.re 3) (pow x.re 3))) (- (+ (* +nan.0 (* (sqr y.re) (sqr x.re))) (- (* +nan.0 (* y.re x.re)))))))
* [misc]approximate:  Taking taylor expansion of (sqrt (* (/ 1 x.re) (/ 1 y.re))) in (x.re y.re) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 x.re) (/ 1 y.re))) in y.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.re) (/ 1 y.re)) in y.re
* [misc]taylor:  Taking taylor expansion of (/ 1 x.re) in y.re
* [misc]taylor:  Taking taylor expansion of x.re in y.re
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]backup-simplify:  Simplify (/ 1 x.re) into (/ 1 x.re)
* [misc]taylor:  Taking taylor expansion of (/ 1 y.re) in y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* (/ 1 x.re) 1) into (/ 1 x.re)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 x.re) (* 2 (sqrt 0))) into (/ +nan.0 x.re)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 x.re) (/ 1 y.re))) in x.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.re) (/ 1 y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 x.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y.re) in x.re
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (/ 1 y.re) into (/ 1 y.re)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 y.re)) into (/ 1 y.re)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.re) (* 2 (sqrt 0))) into (/ +nan.0 y.re)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 x.re) (/ 1 y.re))) in x.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x.re) (/ 1 y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 x.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y.re) in x.re
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (/ 1 y.re) into (/ 1 y.re)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 y.re)) into (/ 1 y.re)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.re) (* 2 (sqrt 0))) into (/ +nan.0 y.re)
* [misc]taylor:  Taking taylor expansion of 0 in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 y.re) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.re) (/ 0 y.re)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 y.re))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (/ +nan.0 y.re)) (+)) (* 2 0)) into (/ +nan.0 (sqr y.re))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (sqr y.re)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqr y.re) in y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y.re) (/ 0 y.re)) (* 0 (/ 0 y.re)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y.re)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 y.re) (/ +nan.0 (sqr y.re)))))) (* 2 0)) into (/ +nan.0 (pow y.re 3))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (pow y.re 3)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.re 3) in y.re
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* +nan.0 (* (/ 1 (/ 1 y.re)) 1)) into (* +nan.0 y.re)
* [misc]approximate:  Taking taylor expansion of (sqrt (* (/ 1 (- x.re)) (/ 1 (- y.re)))) in (x.re y.re) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 (- x.re)) (/ 1 (- y.re)))) in y.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.re)) (/ 1 (- y.re))) in y.re
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.re)) in y.re
* [misc]taylor:  Taking taylor expansion of (- x.re) in y.re
* [misc]taylor:  Taking taylor expansion of x.re in y.re
* [misc]backup-simplify:  Simplify x.re into x.re
* [misc]backup-simplify:  Simplify (- x.re) into (- x.re)
* [misc]backup-simplify:  Simplify (- x.re) into (- x.re)
* [misc]backup-simplify:  Simplify (/ 1 (- x.re)) into (/ -1 x.re)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.re)) in y.re
* [misc]taylor:  Taking taylor expansion of (- y.re) in y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* (/ -1 x.re) -1) into (/ 1 x.re)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 x.re) (* 2 (sqrt 0))) into (/ +nan.0 x.re)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 (- x.re)) (/ 1 (- y.re)))) in x.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.re)) (/ 1 (- y.re))) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (- x.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (- y.re) in x.re
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (/ 1 (- y.re)) into (/ -1 y.re)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 y.re)) into (/ 1 y.re)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.re) (* 2 (sqrt 0))) into (/ +nan.0 y.re)
* [misc]taylor:  Taking taylor expansion of (sqrt (* (/ 1 (- x.re)) (/ 1 (- y.re)))) in x.re
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x.re)) (/ 1 (- y.re))) in x.re
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (- x.re) in x.re
* [misc]taylor:  Taking taylor expansion of x.re in x.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y.re)) in x.re
* [misc]taylor:  Taking taylor expansion of (- y.re) in x.re
* [misc]taylor:  Taking taylor expansion of y.re in x.re
* [misc]backup-simplify:  Simplify y.re into y.re
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (/ 1 (- y.re)) into (/ -1 y.re)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 y.re)) into (/ 1 y.re)
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ (/ 1 y.re) (* 2 (sqrt 0))) into (/ +nan.0 y.re)
* [misc]taylor:  Taking taylor expansion of 0 in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 y.re) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.re) (/ 0 (- y.re))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 y.re))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (/ +nan.0 y.re)) (+)) (* 2 0)) into (/ +nan.0 (sqr y.re))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (sqr y.re)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqr y.re) in y.re
* [misc]taylor:  Taking taylor expansion of y.re in y.re
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y.re) into (- y.re)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y.re) (/ 0 (- y.re))) (* 0 (/ 0 (- y.re))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y.re)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 y.re) (/ +nan.0 (sqr y.re)))))) (* 2 0)) into (/ +nan.0 (pow y.re 3))
* [misc]taylor:  Taking taylor expansion of (/ +nan.0 (pow y.re 3)) in y.re
* [misc]taylor:  Taking taylor expansion of +nan.0 in y.re
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]taylor:  Taking taylor expansion of (pow y.re 3) in y.re
* [misc]backup-simplify:  Simplify (/ +nan.0 1) into +nan.0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* +nan.0 (* (/ 1 (/ 1 (- y.re))) 1)) into (* +nan.0 y.re)
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 60 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (- (+ (* +nan.0 (* y.im x.im)) (- (+ (* +nan.0 (* (sqr y.im) (sqr x.im))) (- (* +nan.0 (* (pow y.im 3) (pow x.im 3)))))))))))>
* [enter]simplify:  Simplifying (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (- (+ (* +nan.0 (* y.im x.im)) (- (+ (* +nan.0 (* (sqr y.im) (sqr x.im))) (- (* +nan.0 (* (pow y.im 3) (pow x.im 3))))))))))
* * * * [misc]progress:  [ 2 / 60 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (* +nan.0 y.im))))>
* [enter]simplify:  Simplifying (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (* +nan.0 y.im)))
* * * * [misc]progress:  [ 3 / 60 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (* +nan.0 y.im))))>
* [enter]simplify:  Simplifying (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (* +nan.0 y.im)))
* * * * [misc]progress:  [ 4 / 60 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (- (+ (* +nan.0 (* y.im x.im)) (- (+ (* +nan.0 (* (sqr y.im) (sqr x.im))) (- (* +nan.0 (* (pow y.im 3) (pow x.im 3))))))))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (* (+ (sqrt (* x.re y.re)) (- (+ (* +nan.0 (* y.im x.im)) (- (+ (* +nan.0 (* (sqr y.im) (sqr x.im))) (- (* +nan.0 (* (pow y.im 3) (pow x.im 3))))))))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im))))
* * * * [misc]progress:  [ 5 / 60 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (* +nan.0 y.im)) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (* (+ (sqrt (* x.re y.re)) (* +nan.0 y.im)) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im))))
* * * * [misc]progress:  [ 6 / 60 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (* +nan.0 y.im)) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (* (+ (sqrt (* x.re y.re)) (* +nan.0 y.im)) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im))))
* * * * [misc]progress:  [ 7 / 60 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (- (+ (* +nan.0 (* (pow y.re 3) (pow x.re 3))) (- (+ (* +nan.0 (* (sqr y.re) (sqr x.re))) (- (* +nan.0 (* y.re x.re))))))) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (- (+ (* +nan.0 (* (pow y.re 3) (pow x.re 3))) (- (+ (* +nan.0 (* (sqr y.re) (sqr x.re))) (- (* +nan.0 (* y.re x.re))))))) (sqrt (* x.im y.im))))
* * * * [misc]progress:  [ 8 / 60 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (* +nan.0 y.re) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (* +nan.0 y.re) (sqrt (* x.im y.im))))
* * * * [misc]progress:  [ 9 / 60 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (* +nan.0 y.re) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (* +nan.0 y.re) (sqrt (* x.im y.im))))
* * * * [misc]progress:  [ 10 / 60 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) (* (+ (- (+ (* +nan.0 (* (pow y.re 3) (pow x.re 3))) (- (+ (* +nan.0 (* (sqr y.re) (sqr x.re))) (- (* +nan.0 (* y.re x.re))))))) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (* (+ (- (+ (* +nan.0 (* (pow y.re 3) (pow x.re 3))) (- (+ (* +nan.0 (* (sqr y.re) (sqr x.re))) (- (* +nan.0 (* y.re x.re))))))) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im))))
* * * * [misc]progress:  [ 11 / 60 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) (* (+ (* +nan.0 y.re) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (* (+ (* +nan.0 y.re) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im))))
* * * * [misc]progress:  [ 12 / 60 ] simplifiying candidate #<alt-event (λ (x.re x.im y.re y.im) (* (+ (* +nan.0 y.re) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (* (+ (* +nan.0 y.re) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im))))
* * * * [misc]progress:  [ 13 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (log1p (expm1 (sqrt (* x.im y.im)))))))>
* [enter]simplify:  Simplifying (expm1 (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt (* y.im x.im)))
* [exit]simplify:  Simplified to (expm1 (sqrt (* y.im x.im)))
* * * * [misc]progress:  [ 14 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (expm1 (log1p (sqrt (* x.im y.im)))))))>
* [enter]simplify:  Simplifying (log1p (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt (* y.im x.im)))
* [exit]simplify:  Simplified to (log1p (sqrt (* y.im x.im)))
* * * * [misc]progress:  [ 15 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (pow (* x.im y.im) 1/2))))>
* * * * [misc]progress:  [ 16 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (pow (sqrt (* x.im y.im)) 1))))>
* * * * [misc]progress:  [ 17 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (exp (log (sqrt (* x.im y.im)))))))>
* [enter]simplify:  Simplifying (log (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (log (sqrt (* y.im x.im)))
* [exit]simplify:  Simplified to (log (sqrt (* y.im x.im)))
* * * * [misc]progress:  [ 18 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (log (exp (sqrt (* x.im y.im)))))))>
* [enter]simplify:  Simplifying (exp (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (* y.im x.im)))
* [exit]simplify:  Simplified to (exp (sqrt (* y.im x.im)))
* * * * [misc]progress:  [ 19 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (cube (cbrt (sqrt (* x.im y.im)))))))>
* [enter]simplify:  Simplifying (cbrt (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (* y.im x.im)))
* [exit]simplify:  Simplified to (cbrt (sqrt (* y.im x.im)))
* * * * [misc]progress:  [ 20 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (cbrt (cube (sqrt (* x.im y.im)))))))>
* [enter]simplify:  Simplifying (cube (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* [exit]simplify:  Simplified to (* (sqrt (* y.im x.im)) (* y.im x.im))
* [exit]simplify:  Simplified to (* (sqrt (* y.im x.im)) (* y.im x.im))
* * * * [misc]progress:  [ 21 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (* (sqrt x.im) (sqrt y.im)))))>
* [enter]simplify:  Simplifying (sqrt x.im)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt x.im)
* [exit]simplify:  Simplified to (sqrt x.im)
* [enter]simplify:  Simplifying (sqrt y.im)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt y.im)
* [exit]simplify:  Simplified to (sqrt y.im)
* * * * [misc]progress:  [ 22 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqr (sqrt (sqrt (* x.im y.im)))))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (* y.im x.im)))
* [exit]simplify:  Simplified to (sqrt (sqrt (* y.im x.im)))
* * * * [misc]progress:  [ 23 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (fabs (sqrt (* x.im y.im))))))>
* * * * [misc]progress:  [ 24 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (* 1 (sqrt (* x.im y.im))))))>
* * * * [misc]progress:  [ 25 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (log1p (expm1 (sqrt (* x.im y.im))))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (expm1 (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt (* y.im x.im)))
* [exit]simplify:  Simplified to (expm1 (sqrt (* y.im x.im)))
* * * * [misc]progress:  [ 26 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (expm1 (log1p (sqrt (* x.im y.im))))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (log1p (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt (* y.im x.im)))
* [exit]simplify:  Simplified to (log1p (sqrt (* y.im x.im)))
* * * * [misc]progress:  [ 27 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (pow (* x.im y.im) 1/2)) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* * * * [misc]progress:  [ 28 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (pow (sqrt (* x.im y.im)) 1)) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* * * * [misc]progress:  [ 29 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (exp (log (sqrt (* x.im y.im))))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (log (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (log (sqrt (* y.im x.im)))
* [exit]simplify:  Simplified to (log (sqrt (* y.im x.im)))
* * * * [misc]progress:  [ 30 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (log (exp (sqrt (* x.im y.im))))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (exp (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (* y.im x.im)))
* [exit]simplify:  Simplified to (exp (sqrt (* y.im x.im)))
* * * * [misc]progress:  [ 31 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (cube (cbrt (sqrt (* x.im y.im))))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (cbrt (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (* y.im x.im)))
* [exit]simplify:  Simplified to (cbrt (sqrt (* y.im x.im)))
* * * * [misc]progress:  [ 32 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (cbrt (cube (sqrt (* x.im y.im))))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (cube (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* [exit]simplify:  Simplified to (* (sqrt (* y.im x.im)) (* y.im x.im))
* [exit]simplify:  Simplified to (* (sqrt (* y.im x.im)) (* y.im x.im))
* * * * [misc]progress:  [ 33 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (* (sqrt x.im) (sqrt y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (sqrt x.im)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt x.im)
* [exit]simplify:  Simplified to (sqrt x.im)
* [enter]simplify:  Simplifying (sqrt y.im)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt y.im)
* [exit]simplify:  Simplified to (sqrt y.im)
* * * * [misc]progress:  [ 34 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqr (sqrt (sqrt (* x.im y.im))))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (* y.im x.im)))
* [exit]simplify:  Simplified to (sqrt (sqrt (* y.im x.im)))
* * * * [misc]progress:  [ 35 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (fabs (sqrt (* x.im y.im)))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* * * * [misc]progress:  [ 36 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (* 1 (sqrt (* x.im y.im)))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* * * * [misc]progress:  [ 37 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (log1p (expm1 (sqrt (* x.re y.re)))) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (expm1 (sqrt (* x.re y.re)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt (* y.re x.re)))
* [exit]simplify:  Simplified to (expm1 (sqrt (* y.re x.re)))
* * * * [misc]progress:  [ 38 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (expm1 (log1p (sqrt (* x.re y.re)))) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (log1p (sqrt (* x.re y.re)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt (* y.re x.re)))
* [exit]simplify:  Simplified to (log1p (sqrt (* y.re x.re)))
* * * * [misc]progress:  [ 39 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (pow (* x.re y.re) 1/2) (sqrt (* x.im y.im)))))>
* * * * [misc]progress:  [ 40 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (pow (sqrt (* x.re y.re)) 1) (sqrt (* x.im y.im)))))>
* * * * [misc]progress:  [ 41 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (exp (log (sqrt (* x.re y.re)))) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (log (sqrt (* x.re y.re)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (log (sqrt (* y.re x.re)))
* [exit]simplify:  Simplified to (log (sqrt (* y.re x.re)))
* * * * [misc]progress:  [ 42 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (log (exp (sqrt (* x.re y.re)))) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (exp (sqrt (* x.re y.re)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (* y.re x.re)))
* [exit]simplify:  Simplified to (exp (sqrt (* y.re x.re)))
* * * * [misc]progress:  [ 43 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (cube (cbrt (sqrt (* x.re y.re)))) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (cbrt (sqrt (* x.re y.re)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (* y.re x.re)))
* [exit]simplify:  Simplified to (cbrt (sqrt (* y.re x.re)))
* * * * [misc]progress:  [ 44 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (cbrt (cube (sqrt (* x.re y.re)))) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (cube (sqrt (* x.re y.re)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* [exit]simplify:  Simplified to (* (sqrt (* y.re x.re)) (* y.re x.re))
* [exit]simplify:  Simplified to (* (sqrt (* y.re x.re)) (* y.re x.re))
* * * * [misc]progress:  [ 45 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (* (sqrt x.re) (sqrt y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (sqrt x.re)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt x.re)
* [exit]simplify:  Simplified to (sqrt x.re)
* [enter]simplify:  Simplifying (sqrt y.re)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt y.re)
* [exit]simplify:  Simplified to (sqrt y.re)
* * * * [misc]progress:  [ 46 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqr (sqrt (sqrt (* x.re y.re)))) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (* x.re y.re)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (* y.re x.re)))
* [exit]simplify:  Simplified to (sqrt (sqrt (* y.re x.re)))
* * * * [misc]progress:  [ 47 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (fabs (sqrt (* x.re y.re))) (sqrt (* x.im y.im)))))>
* * * * [misc]progress:  [ 48 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (* 1 (sqrt (* x.re y.re))) (sqrt (* x.im y.im)))))>
* * * * [misc]progress:  [ 49 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (log1p (expm1 (sqrt (* x.re y.re)))) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (expm1 (sqrt (* x.re y.re)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt (* y.re x.re)))
* [exit]simplify:  Simplified to (expm1 (sqrt (* y.re x.re)))
* * * * [misc]progress:  [ 50 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (expm1 (log1p (sqrt (* x.re y.re)))) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (log1p (sqrt (* x.re y.re)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt (* y.re x.re)))
* [exit]simplify:  Simplified to (log1p (sqrt (* y.re x.re)))
* * * * [misc]progress:  [ 51 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (pow (* x.re y.re) 1/2) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* * * * [misc]progress:  [ 52 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (pow (sqrt (* x.re y.re)) 1) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* * * * [misc]progress:  [ 53 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (exp (log (sqrt (* x.re y.re)))) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (log (sqrt (* x.re y.re)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (log (sqrt (* y.re x.re)))
* [exit]simplify:  Simplified to (log (sqrt (* y.re x.re)))
* * * * [misc]progress:  [ 54 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (log (exp (sqrt (* x.re y.re)))) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (exp (sqrt (* x.re y.re)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (* y.re x.re)))
* [exit]simplify:  Simplified to (exp (sqrt (* y.re x.re)))
* * * * [misc]progress:  [ 55 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (cube (cbrt (sqrt (* x.re y.re)))) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (cbrt (sqrt (* x.re y.re)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (* y.re x.re)))
* [exit]simplify:  Simplified to (cbrt (sqrt (* y.re x.re)))
* * * * [misc]progress:  [ 56 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (cbrt (cube (sqrt (* x.re y.re)))) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (cube (sqrt (* x.re y.re)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* [exit]simplify:  Simplified to (* (sqrt (* y.re x.re)) (* y.re x.re))
* [exit]simplify:  Simplified to (* (sqrt (* y.re x.re)) (* y.re x.re))
* * * * [misc]progress:  [ 57 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (* (sqrt x.re) (sqrt y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (sqrt x.re)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt x.re)
* [exit]simplify:  Simplified to (sqrt x.re)
* [enter]simplify:  Simplifying (sqrt y.re)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt y.re)
* [exit]simplify:  Simplified to (sqrt y.re)
* * * * [misc]progress:  [ 58 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqr (sqrt (sqrt (* x.re y.re)))) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (* x.re y.re)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (* y.re x.re)))
* [exit]simplify:  Simplified to (sqrt (sqrt (* y.re x.re)))
* * * * [misc]progress:  [ 59 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (fabs (sqrt (* x.re y.re))) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* * * * [misc]progress:  [ 60 / 60 ] simplifiying candidate #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (* 1 (sqrt (* x.re y.re))) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-event (λ (x.re x.im y.re y.im) (- (* x.re y.re) (* x.im y.im)))> #<alt-delta (λ (x.re x.im y.re y.im) (* (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im))) (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 (- (* x.re y.re) (* x.im y.im)) +inf.0)) , with alts (#<alt-event (λ (x.re x.im y.re y.im) (- (* x.re y.re) (* x.im y.im)))>)
* [enter]simplify:  Simplifying (- (* x.re y.re) (* x.im y.im))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* [exit]simplify:  Simplified to (- (* y.re x.re) (* y.im x.im))
* [enter]simplify:  Simplifying (+ (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* [exit]simplify:  Simplified to (+ (sqrt (* y.re x.re)) (sqrt (* x.im y.im)))
* [exit]simplify:  Simplified to (+ (sqrt (* y.re x.re)) (sqrt (* x.im y.im)))
* [enter]simplify:  Simplifying (- (sqrt (* x.re y.re)) (sqrt (* x.im y.im)))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* [exit]simplify:  Simplified to (- (sqrt (* y.re x.re)) (sqrt (* x.im y.im)))
* [exit]simplify:  Simplified to (- (sqrt (* y.re x.re)) (sqrt (* x.im y.im)))