* [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 (sqrt (- (* y y) (* z z))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* [exit]simplify:  Simplified to (* (sqrt (* (+ z y) (- y z))) x)
* [misc]progress:  [Phase 2 of 3] Improving.
* * [misc]progress:  iteration 1 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-event (λ (x y z) (* x (sqrt (- (* y y) (* z z)))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2)
* [misc]approximate:  Taking taylor expansion of (sqrt (- (* y y) (* z z))) in (y z) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* y y) (* z z))) in z
* [misc]taylor:  Taking taylor expansion of (- (* y y) (* z z)) in z
* [misc]taylor:  Taking taylor expansion of (* y y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]taylor:  Taking taylor expansion of (* z z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* y y) into (sqr y)
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (sqr y) 0) into (sqr y)
* [misc]backup-simplify:  Simplify (sqrt (sqr y)) into y
* [misc]backup-simplify:  Simplify (+ (* y 0) (* 0 y)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (sqr y)))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* y y) (* z z))) in y
* [misc]taylor:  Taking taylor expansion of (- (* y y) (* z z)) in y
* [misc]taylor:  Taking taylor expansion of (* y y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* z z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (* z z) into (sqr z)
* [misc]backup-simplify:  Simplify (- (sqr z)) into (- (sqr z))
* [misc]backup-simplify:  Simplify (+ 0 (- (sqr z))) into (- (sqr z))
* [misc]backup-simplify:  Simplify (sqrt (- (sqr z))) into (sqrt (- (sqr z)))
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* z 0) (* 0 z)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (- (sqr z))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* y y) (* z z))) in y
* [misc]taylor:  Taking taylor expansion of (- (* y y) (* z z)) in y
* [misc]taylor:  Taking taylor expansion of (* y y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* z z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (* z z) into (sqr z)
* [misc]backup-simplify:  Simplify (- (sqr z)) into (- (sqr z))
* [misc]backup-simplify:  Simplify (+ 0 (- (sqr z))) into (- (sqr z))
* [misc]backup-simplify:  Simplify (sqrt (- (sqr z))) into (sqrt (- (sqr z)))
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* z 0) (* 0 z)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (- (sqr z))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (sqr z))) in z
* [misc]taylor:  Taking taylor expansion of (- (sqr z)) in z
* [misc]taylor:  Taking taylor expansion of (sqr z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ (- 1 (sqr 0) (+)) (* 2 (sqrt (- (sqr z))))) into (/ 1/2 (sqrt (- (sqr z))))
* [misc]taylor:  Taking taylor expansion of (/ 1/2 (sqrt (- (sqr z)))) in z
* [misc]taylor:  Taking taylor expansion of 1/2 in z
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]taylor:  Taking taylor expansion of (sqrt (- (sqr z))) in z
* [misc]taylor:  Taking taylor expansion of (- (sqr z)) in z
* [misc]taylor:  Taking taylor expansion of (sqr z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
* [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
* [misc]backup-simplify:  Simplify (- (/ 0 (sqrt -1)) (+ (* (/ 1/2 (sqrt -1)) (/ 0 (sqrt -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 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt (- (sqr z)))))))) (* 2 (sqrt (- (sqr z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+)) (* 2 (sqrt -1))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (sqrt -1)) (+ (* (/ 1/2 (sqrt -1)) (/ 0 (sqrt -1))) (* 0 (/ 0 (sqrt -1))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (sqrt -1) (* z 1)) into (* z (sqrt -1))
* [misc]approximate:  Taking taylor expansion of (sqrt (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z)))) in (y z) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z)))) in z
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z))) in z
* [misc]taylor:  Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 z) (/ 1 z)) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z)))) in y
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z))) in y
* [misc]taylor:  Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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 z) (/ 1 z)) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (sqrt 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z)))) in y
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z))) in y
* [misc]taylor:  Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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 z) (/ 1 z)) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (sqrt 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
* [misc]taylor:  Taking taylor expansion of 1 in z
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
* [misc]backup-simplify:  Simplify (* (/ 1 z) (/ 1 z)) into (/ 1 (sqr z))
* [misc]backup-simplify:  Simplify (- (/ 1 (sqr z))) into (- (/ 1 (sqr z)))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (sqr z)))) into (- (/ 1 (sqr z)))
* [misc]backup-simplify:  Simplify (/ (- (- (/ 1 (sqr z))) (sqr 0) (+)) (* 2 1)) into (/ -1/2 (sqr z))
* [misc]taylor:  Taking taylor expansion of (/ -1/2 (sqr z)) in z
* [misc]taylor:  Taking taylor expansion of -1/2 in z
* [misc]backup-simplify:  Simplify -1/2 into -1/2
* [misc]taylor:  Taking taylor expansion of (sqr z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (/ -1/2 1) into -1/2
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 z) 0) (* 0 (/ 1 z))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqr z)))))) (* 2 1)) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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) (+ (* -1/2 (/ 0 1)) (* 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 (* 1 (* 1 (/ 1 (/ 1 y)))) into y
* [misc]approximate:  Taking taylor expansion of (sqrt (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z))))) in (y z) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z))))) in z
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z)))) in z
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- y)) (/ 1 (- y))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in z
* [misc]taylor:  Taking taylor expansion of (- y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in z
* [misc]taylor:  Taking taylor expansion of (- y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- z)) (/ 1 (- z))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in z
* [misc]taylor:  Taking taylor expansion of (- z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (- z)) in z
* [misc]taylor:  Taking taylor expansion of (- z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 -1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [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 (- 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)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z))))) in y
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z)))) in y
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- y)) (/ 1 (- y))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in y
* [misc]taylor:  Taking taylor expansion of (- y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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)) in y
* [misc]taylor:  Taking taylor expansion of (- y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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 (- z)) (/ 1 (- z))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (sqrt 1) into 1
* [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 (- 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)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z))))) in y
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z)))) in y
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- y)) (/ 1 (- y))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in y
* [misc]taylor:  Taking taylor expansion of (- y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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)) in y
* [misc]taylor:  Taking taylor expansion of (- y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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 (- z)) (/ 1 (- z))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (sqrt 1) into 1
* [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 (- 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)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
* [misc]taylor:  Taking taylor expansion of 1 in z
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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)))) 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))) into 0
* [misc]backup-simplify:  Simplify (* (/ -1 z) (/ -1 z)) into (/ 1 (sqr z))
* [misc]backup-simplify:  Simplify (- (/ 1 (sqr z))) into (- (/ 1 (sqr z)))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (sqr z)))) into (- (/ 1 (sqr z)))
* [misc]backup-simplify:  Simplify (/ (- (- (/ 1 (sqr z))) (sqr 0) (+)) (* 2 1)) into (/ -1/2 (sqr z))
* [misc]taylor:  Taking taylor expansion of (/ -1/2 (sqr z)) in z
* [misc]taylor:  Taking taylor expansion of -1/2 in z
* [misc]backup-simplify:  Simplify -1/2 into -1/2
* [misc]taylor:  Taking taylor expansion of (sqr z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (/ -1/2 1) into -1/2
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 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 (- 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 (- 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)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 z) 0) (* 0 (/ -1 z))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (sqr z)))))) (* 2 1)) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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) (+ (* -1/2 (/ 0 1)) (* 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 (* 1 (* 1 (/ 1 (/ 1 (- y))))) into (* -1 y)
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2 1)
* [misc]approximate:  Taking taylor expansion of (- (* y y) (* z z)) in (y z) around 0
* [misc]taylor:  Taking taylor expansion of (- (* y y) (* z z)) in z
* [misc]taylor:  Taking taylor expansion of (* y y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]taylor:  Taking taylor expansion of (* z z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (- (* y y) (* z z)) in y
* [misc]taylor:  Taking taylor expansion of (* y y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* z z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of (- (* y y) (* z z)) in y
* [misc]taylor:  Taking taylor expansion of (* y y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* z z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (* z z) into (sqr z)
* [misc]backup-simplify:  Simplify (- (sqr z)) into (- (sqr z))
* [misc]backup-simplify:  Simplify (+ 0 (- (sqr z))) into (- (sqr z))
* [misc]taylor:  Taking taylor expansion of (- (sqr z)) in z
* [misc]taylor:  Taking taylor expansion of (sqr z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* z 0) (* 0 z)) 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 z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in z
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) 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 z
* [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 0) (+ (* 1 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 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) 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 z
* [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 (sqr (* z 1))) (* 1 (sqr (* 1 y)))) into (- (sqr y) (sqr z))
* [misc]approximate:  Taking taylor expansion of (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z))) in (y z) around 0
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z))) in z
* [misc]taylor:  Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 z) (/ 1 z)) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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) (/ 1 y)) (* (/ 1 z) (/ 1 z))) in y
* [misc]taylor:  Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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 z) (/ 1 z)) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 y) (/ 1 y)) (* (/ 1 z) (/ 1 z))) in y
* [misc]taylor:  Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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 z) (/ 1 z)) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in z
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
* [misc]backup-simplify:  Simplify (* (/ 1 z) (/ 1 z)) into (/ 1 (sqr z))
* [misc]backup-simplify:  Simplify (- (/ 1 (sqr z))) into (- (/ 1 (sqr z)))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (sqr z)))) into (- (/ 1 (sqr z)))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (sqr z))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (sqr z)) in z
* [misc]taylor:  Taking taylor expansion of (sqr z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 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)) (* 0 (/ 0 1)))) 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)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 z) 0) (* 0 (/ 1 z))) 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 z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ 1 z) 0) (+ (* 0 0) (* 0 (/ 1 z)))) 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 z
* [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 (- (+ (* 1 (/ 0 1)) (* 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 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (sqr (* 1 (/ 1 (/ 1 y))))) (* -1 (sqr (* (/ 1 (/ 1 z)) 1)))) into (- (sqr y) (sqr z))
* [misc]approximate:  Taking taylor expansion of (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z)))) in (y z) around 0
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z)))) in z
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- y)) (/ 1 (- y))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in z
* [misc]taylor:  Taking taylor expansion of (- y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in z
* [misc]taylor:  Taking taylor expansion of (- y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- z)) (/ 1 (- z))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in z
* [misc]taylor:  Taking taylor expansion of (- z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (- z)) in z
* [misc]taylor:  Taking taylor expansion of (- z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z)))) in y
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- y)) (/ 1 (- y))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in y
* [misc]taylor:  Taking taylor expansion of (- y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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)) in y
* [misc]taylor:  Taking taylor expansion of (- y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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 (- z)) (/ 1 (- z))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- z)))) in y
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- y)) (/ 1 (- y))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in y
* [misc]taylor:  Taking taylor expansion of (- y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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)) in y
* [misc]taylor:  Taking taylor expansion of (- y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [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 (- z)) (/ 1 (- z))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in z
* [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)))) 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)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 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 (- 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))) into 0
* [misc]backup-simplify:  Simplify (* (/ -1 z) (/ -1 z)) into (/ 1 (sqr z))
* [misc]backup-simplify:  Simplify (- (/ 1 (sqr z))) into (- (/ 1 (sqr z)))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (sqr z)))) into (- (/ 1 (sqr z)))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (sqr z))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (sqr z)) in z
* [misc]taylor:  Taking taylor expansion of (sqr z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [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)))) 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)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 z) 0) (* 0 (/ -1 z))) 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 z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 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) 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 (- 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))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (/ -1 z) 0) (+ (* 0 0) (* 0 (/ -1 z)))) 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 z
* [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 (- (+ (* 1 (/ 0 1)) (* 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 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (sqr (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (sqr (* (/ 1 (/ 1 (- z))) 1)))) into (- (sqr y) (sqr z))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 37 ] simplifiying candidate #<alt-event (λ (x y z) (* x (* z (sqrt -1))))>
* [enter]simplify:  Simplifying (* x (* z (sqrt -1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (* (sqrt -1) (* z x))
* * * * [misc]progress:  [ 2 / 37 ] simplifiying candidate #<alt-event (λ (x y z) (* x y))>
* [enter]simplify:  Simplifying (* x y)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* y x)
* * * * [misc]progress:  [ 3 / 37 ] simplifiying candidate #<alt-event (λ (x y z) (* x (* -1 y)))>
* [enter]simplify:  Simplifying (* x (* -1 y))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (* x (- y))
* * * * [misc]progress:  [ 4 / 37 ] simplifiying candidate #<alt-event (λ (x y z) (* x (sqrt (- (sqr y) (sqr z)))))>
* [enter]simplify:  Simplifying (* x (sqrt (- (sqr y) (sqr z))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* [exit]simplify:  Simplified to (* (sqrt (* (+ z y) (- y z))) x)
* * * * [misc]progress:  [ 5 / 37 ] simplifiying candidate #<alt-event (λ (x y z) (* x (sqrt (- (sqr y) (sqr z)))))>
* [enter]simplify:  Simplifying (* x (sqrt (- (sqr y) (sqr z))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* [exit]simplify:  Simplified to (* (sqrt (* (+ z y) (- y z))) x)
* * * * [misc]progress:  [ 6 / 37 ] simplifiying candidate #<alt-event (λ (x y z) (* x (sqrt (- (sqr y) (sqr z)))))>
* [enter]simplify:  Simplifying (* x (sqrt (- (sqr y) (sqr z))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* [exit]simplify:  Simplified to (* (sqrt (* (+ z y) (- y z))) x)
* * * * [misc]progress:  [ 7 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (pow (- (* y y) (* z z)) 1/2)))>
* * * * [misc]progress:  [ 8 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (pow (sqrt (- (* y y) (* z z))) 1)))>
* * * * [misc]progress:  [ 9 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (exp (log (sqrt (- (* y y) (* z z)))))))>
* [enter]simplify:  Simplifying (log (sqrt (- (* y y) (* z z))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* [exit]simplify:  Simplified to (log (sqrt (- (sqr y) (sqr z))))
* [exit]simplify:  Simplified to (log (sqrt (- (sqr y) (sqr z))))
* * * * [misc]progress:  [ 10 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (log (exp (sqrt (- (* y y) (* z z)))))))>
* [enter]simplify:  Simplifying (exp (sqrt (- (* y y) (* z z))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (- (sqr y) (sqr z))))
* [exit]simplify:  Simplified to (exp (sqrt (- (sqr y) (sqr z))))
* * * * [misc]progress:  [ 11 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (cube (cbrt (sqrt (- (* y y) (* z z)))))))>
* [enter]simplify:  Simplifying (cbrt (sqrt (- (* y y) (* z z))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (- (sqr y) (sqr z))))
* [exit]simplify:  Simplified to (cbrt (sqrt (- (sqr y) (sqr z))))
* * * * [misc]progress:  [ 12 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (cbrt (cube (sqrt (- (* y y) (* z z)))))))>
* [enter]simplify:  Simplifying (cube (sqrt (- (* y y) (* z z))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (21 enodes)
* * [misc]simplify:  iters left: 1 (33 enodes)
* [exit]simplify:  Simplified to (* (* (+ z y) (- y z)) (sqrt (* (+ z y) (- y z))))
* [exit]simplify:  Simplified to (* (* (+ z y) (- y z)) (sqrt (* (+ z y) (- y z))))
* * * * [misc]progress:  [ 13 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (sqrt 1) (sqrt (- (* y y) (* z z))))))>
* [enter]simplify:  Simplifying (sqrt 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt 1)
* [exit]simplify:  Simplified to (sqrt 1)
* [enter]simplify:  Simplifying (sqrt (- (* y y) (* z z)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* * [misc]simplify:  iters left: 1 (21 enodes)
* [exit]simplify:  Simplified to (sqrt (- (sqr y) (sqr z)))
* [exit]simplify:  Simplified to (sqrt (- (sqr y) (sqr z)))
* * * * [misc]progress:  [ 14 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (sqrt (+ y z)) (sqrt (- y z)))))>
* [enter]simplify:  Simplifying (sqrt (+ y z))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (5 enodes)
* [exit]simplify:  Simplified to (sqrt (+ y z))
* [exit]simplify:  Simplified to (sqrt (+ y z))
* [enter]simplify:  Simplifying (sqrt (- y z))
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (sqrt (- y z))
* [exit]simplify:  Simplified to (sqrt (- y z))
* * * * [misc]progress:  [ 15 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (sqrt (+ y (sqrt (* z z)))) (sqrt (- y (sqrt (* z z)))))))>
* [enter]simplify:  Simplifying (sqrt (+ y (sqrt (* z z))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (fabs z) y))
* [exit]simplify:  Simplified to (sqrt (+ (fabs z) y))
* [enter]simplify:  Simplifying (sqrt (- y (sqrt (* z z))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (- y (fabs z)))
* [exit]simplify:  Simplified to (sqrt (- y (fabs z)))
* * * * [misc]progress:  [ 16 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (sqrt (+ (sqrt (* y y)) z)) (sqrt (- (sqrt (* y y)) z)))))>
* [enter]simplify:  Simplifying (sqrt (+ (sqrt (* y y)) z))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (fabs y) z))
* [exit]simplify:  Simplified to (sqrt (+ (fabs y) z))
* [enter]simplify:  Simplifying (sqrt (- (sqrt (* y y)) z))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (- (fabs y) z))
* [exit]simplify:  Simplified to (sqrt (- (fabs y) z))
* * * * [misc]progress:  [ 17 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (sqrt (+ (sqrt (* y y)) (sqrt (* z z)))) (sqrt (- (sqrt (* y y)) (sqrt (* z z)))))))>
* [enter]simplify:  Simplifying (sqrt (+ (sqrt (* y y)) (sqrt (* z z))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (fabs z) (fabs y)))
* [exit]simplify:  Simplified to (sqrt (+ (fabs z) (fabs y)))
* [enter]simplify:  Simplifying (sqrt (- (sqrt (* y y)) (sqrt (* z z))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* [exit]simplify:  Simplified to (sqrt (- (fabs y) (fabs z)))
* [exit]simplify:  Simplified to (sqrt (- (fabs y) (fabs z)))
* * * * [misc]progress:  [ 18 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (/ (sqrt (- (pow (* y y) 3) (pow (* z z) 3))) (sqrt (+ (sqr (* y y)) (+ (sqr (* z z)) (* (* y y) (* z z))))))))>
* [enter]simplify:  Simplifying (sqrt (- (pow (* y y) 3) (pow (* z z) 3)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (43 enodes)
* * [misc]simplify:  iters left: 1 (52 enodes)
* [exit]simplify:  Simplified to (sqrt (* (- (cube y) (cube z)) (+ (cube y) (cube z))))
* [exit]simplify:  Simplified to (sqrt (* (- (cube y) (cube z)) (+ (cube y) (cube z))))
* [enter]simplify:  Simplifying (sqrt (+ (sqr (* y y)) (+ (sqr (* z z)) (* (* y y) (* z z)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (34 enodes)
* * [misc]simplify:  iters left: 3 (53 enodes)
* * [misc]simplify:  iters left: 2 (63 enodes)
* * [misc]simplify:  iters left: 1 (73 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (* (* z z) (* z z)) (* (sqr y) (+ (sqr y) (* z z)))))
* [exit]simplify:  Simplified to (sqrt (+ (* (* z z) (* z z)) (* (sqr y) (+ (sqr y) (* z z)))))
* * * * [misc]progress:  [ 19 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (/ (sqrt (- (sqr (* y y)) (sqr (* z z)))) (sqrt (+ (* y y) (* z z))))))>
* [enter]simplify:  Simplifying (sqrt (- (sqr (* y y)) (sqr (* z z))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* * [misc]simplify:  iters left: 3 (40 enodes)
* * [misc]simplify:  iters left: 2 (74 enodes)
* * [misc]simplify:  iters left: 1 (177 enodes)
* [exit]simplify:  Simplified to (sqrt (- (sqr (sqr y)) (* (* z z) (* z z))))
* [exit]simplify:  Simplified to (sqrt (- (sqr (sqr y)) (* (* z z) (* z z))))
* [enter]simplify:  Simplifying (sqrt (+ (* y y) (* z z)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (sqr z) (sqr y)))
* [exit]simplify:  Simplified to (sqrt (+ (sqr z) (sqr y)))
* * * * [misc]progress:  [ 20 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqr (sqrt (sqrt (- (* y y) (* z z)))))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (- (* y y) (* z z))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (- (sqr y) (sqr z))))
* [exit]simplify:  Simplified to (sqrt (sqrt (- (sqr y) (sqr z))))
* * * * [misc]progress:  [ 21 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (fabs (sqrt (- (* y y) (* z z))))))>
* * * * [misc]progress:  [ 22 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* 1 (sqrt (- (* y y) (* z z))))))>
* * * * [misc]progress:  [ 23 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (log (/ (exp (* y y)) (exp (* z z)))))))>
* [enter]simplify:  Simplifying (/ (exp (* y y)) (exp (* z z)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (18 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (32 enodes)
* [exit]simplify:  Simplified to (exp (- (sqr y) (* z z)))
* [exit]simplify:  Simplified to (exp (- (sqr y) (* z z)))
* * * * [misc]progress:  [ 24 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (pow (- (* y y) (* z z)) 1))))>
* * * * [misc]progress:  [ 25 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (exp (log (- (* y y) (* z z)))))))>
* [enter]simplify:  Simplifying (log (- (* y y) (* z z)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (25 enodes)
* [exit]simplify:  Simplified to (log (- (sqr y) (sqr z)))
* [exit]simplify:  Simplified to (log (- (sqr y) (sqr z)))
* * * * [misc]progress:  [ 26 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (log (exp (- (* y y) (* z z)))))))>
* [enter]simplify:  Simplifying (exp (- (* y y) (* z z)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (18 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (32 enodes)
* [exit]simplify:  Simplified to (exp (- (sqr y) (sqr z)))
* [exit]simplify:  Simplified to (exp (- (sqr y) (sqr z)))
* * * * [misc]progress:  [ 27 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (cube (cbrt (- (* y y) (* z z)))))))>
* [enter]simplify:  Simplifying (cbrt (- (* y y) (* z z)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* * [misc]simplify:  iters left: 1 (21 enodes)
* [exit]simplify:  Simplified to (cbrt (- (sqr y) (sqr z)))
* [exit]simplify:  Simplified to (cbrt (- (sqr y) (sqr z)))
* * * * [misc]progress:  [ 28 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (cbrt (cube (- (* y y) (* z z)))))))>
* [enter]simplify:  Simplifying (cube (- (* y y) (* z z)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (25 enodes)
* * [misc]simplify:  iters left: 1 (49 enodes)
* [exit]simplify:  Simplified to (cube (* (+ z y) (- y z)))
* [exit]simplify:  Simplified to (cube (* (+ z y) (- y z)))
* * * * [misc]progress:  [ 29 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (sqr (sqrt (- (* y y) (* z z)))))))>
* [enter]simplify:  Simplifying (sqrt (- (* y y) (* z z)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* * [misc]simplify:  iters left: 1 (21 enodes)
* [exit]simplify:  Simplified to (sqrt (- (sqr y) (sqr z)))
* [exit]simplify:  Simplified to (sqrt (- (sqr y) (sqr z)))
* * * * [misc]progress:  [ 30 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (/ (- (pow (* y y) 3) (pow (* z z) 3)) (+ (sqr (* y y)) (+ (sqr (* z z)) (* (* y y) (* z z))))))))>
* [enter]simplify:  Simplifying (- (pow (* y y) 3) (pow (* z z) 3))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (42 enodes)
* [exit]simplify:  Simplified to (* (+ (cube z) (cube y)) (- (cube y) (cube z)))
* [exit]simplify:  Simplified to (* (+ (cube z) (cube y)) (- (cube y) (cube z)))
* [enter]simplify:  Simplifying (+ (sqr (* y y)) (+ (sqr (* z z)) (* (* y y) (* z z))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (52 enodes)
* * [misc]simplify:  iters left: 2 (62 enodes)
* * [misc]simplify:  iters left: 1 (72 enodes)
* [exit]simplify:  Simplified to (+ (* (* z z) (+ (sqr y) (* z z))) (sqr (sqr y)))
* [exit]simplify:  Simplified to (+ (* (* z z) (+ (sqr y) (* z z))) (sqr (sqr y)))
* * * * [misc]progress:  [ 31 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (+ (* y y) (- (* z z))))))>
* [enter]simplify:  Simplifying (- (* z z))
* * [misc]simplify:  iters left: 4 (3 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* [exit]simplify:  Simplified to (* z (- z))
* [exit]simplify:  Simplified to (* z (- z))
* * * * [misc]progress:  [ 32 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (* 1 (- (* y y) (* z z))))))>
* * * * [misc]progress:  [ 33 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (/ (- (sqr (* y y)) (sqr (* z z))) (+ (* y y) (* z z))))))>
* [enter]simplify:  Simplifying (- (sqr (* y y)) (sqr (* z z)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (39 enodes)
* * [misc]simplify:  iters left: 1 (73 enodes)
* [exit]simplify:  Simplified to (- (sqr (sqr y)) (* (* z z) (* z z)))
* [exit]simplify:  Simplified to (- (sqr (sqr y)) (* (* z z) (* z z)))
* [enter]simplify:  Simplifying (+ (* y y) (* z z))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (+ (sqr z) (sqr y))
* [exit]simplify:  Simplified to (+ (sqr z) (sqr y))
* * * * [misc]progress:  [ 34 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (* (+ y z) (- y z)))))>
* [enter]simplify:  Simplifying (+ y z)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ y z)
* [exit]simplify:  Simplified to (+ y z)
* [enter]simplify:  Simplifying (- y z)
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (- y z)
* [exit]simplify:  Simplified to (- y z)
* * * * [misc]progress:  [ 35 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (* (+ y (sqrt (* z z))) (- y (sqrt (* z z)))))))>
* [enter]simplify:  Simplifying (+ y (sqrt (* z z)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (+ (fabs z) y)
* [exit]simplify:  Simplified to (+ (fabs z) y)
* [enter]simplify:  Simplifying (- y (sqrt (* z z)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* [exit]simplify:  Simplified to (- y (fabs z))
* [exit]simplify:  Simplified to (- y (fabs z))
* * * * [misc]progress:  [ 36 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (* (+ (sqrt (* y y)) z) (- (sqrt (* y y)) z)))))>
* [enter]simplify:  Simplifying (+ (sqrt (* y y)) z)
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (+ (fabs y) z)
* [exit]simplify:  Simplified to (+ (fabs y) z)
* [enter]simplify:  Simplifying (- (sqrt (* y y)) z)
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* [exit]simplify:  Simplified to (- (fabs y) z)
* [exit]simplify:  Simplified to (- (fabs y) z)
* * * * [misc]progress:  [ 37 / 37 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (* (+ (sqrt (* y y)) (sqrt (* z z))) (- (sqrt (* y y)) (sqrt (* z z)))))))>
* [enter]simplify:  Simplifying (+ (sqrt (* y y)) (sqrt (* z z)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* [exit]simplify:  Simplified to (+ (fabs z) (fabs y))
* [exit]simplify:  Simplified to (+ (fabs z) (fabs y))
* [enter]simplify:  Simplifying (- (sqrt (* y y)) (sqrt (* z z)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* [exit]simplify:  Simplified to (- (fabs y) (fabs z))
* [exit]simplify:  Simplified to (- (fabs y) (fabs z))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (x y z) (* x (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z)))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2)
* [misc]approximate:  Taking taylor expansion of (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z))) in (y z) around 0
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z))) in z
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs y) z)) in z
* [misc]taylor:  Taking taylor expansion of (+ (fabs y) z) in z
* [misc]taylor:  Taking taylor expansion of (fabs y) in z
* [misc]backup-simplify:  Simplify (fabs y) into (fabs y)
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (fabs y) 0) into (fabs y)
* [misc]backup-simplify:  Simplify (sqrt (fabs y)) into (sqrt (fabs y))
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt (fabs y)))) into (* 1/2 (sqrt (/ 1 (fabs y))))
* [misc]taylor:  Taking taylor expansion of (sqrt (- (fabs y) z)) in z
* [misc]taylor:  Taking taylor expansion of (- (fabs y) z) in z
* [misc]taylor:  Taking taylor expansion of (fabs y) in z
* [misc]backup-simplify:  Simplify (fabs y) into (fabs y)
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (+ (fabs y) 0) into (fabs y)
* [misc]backup-simplify:  Simplify (sqrt (fabs y)) into (sqrt (fabs y))
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt (fabs y)))) into (* -1/2 (sqrt (/ 1 (fabs y))))
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z))) in y
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs y) z)) in y
* [misc]taylor:  Taking taylor expansion of (+ (fabs y) z) in y
* [misc]taylor:  Taking taylor expansion of (fabs y) in y
* [misc]backup-simplify:  Simplify (fabs y) into (fabs y)
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (+ (fabs y) z) into (+ z (fabs y))
* [misc]backup-simplify:  Simplify (sqrt (+ z (fabs y))) into (sqrt (+ z (fabs y)))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ z (fabs y))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (fabs y) z)) in y
* [misc]taylor:  Taking taylor expansion of (- (fabs y) z) in y
* [misc]taylor:  Taking taylor expansion of (fabs y) in y
* [misc]backup-simplify:  Simplify (fabs y) into (fabs y)
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (+ (fabs y) (- z)) into (- (fabs y) z)
* [misc]backup-simplify:  Simplify (sqrt (- (fabs y) z)) into (sqrt (- (fabs y) z))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (- (fabs y) z)))) into 0
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z))) in y
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs y) z)) in y
* [misc]taylor:  Taking taylor expansion of (+ (fabs y) z) in y
* [misc]taylor:  Taking taylor expansion of (fabs y) in y
* [misc]backup-simplify:  Simplify (fabs y) into (fabs y)
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (+ (fabs y) z) into (+ z (fabs y))
* [misc]backup-simplify:  Simplify (sqrt (+ z (fabs y))) into (sqrt (+ z (fabs y)))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ z (fabs y))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (fabs y) z)) in y
* [misc]taylor:  Taking taylor expansion of (- (fabs y) z) in y
* [misc]taylor:  Taking taylor expansion of (fabs y) in y
* [misc]backup-simplify:  Simplify (fabs y) into (fabs y)
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (+ (fabs y) (- z)) into (- (fabs y) z)
* [misc]backup-simplify:  Simplify (sqrt (- (fabs y) z)) into (sqrt (- (fabs y) z))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (- (fabs y) z)))) into 0
* [misc]backup-simplify:  Simplify (* (sqrt (+ z (fabs y))) (sqrt (- (fabs y) z))) into (sqrt (* (- (fabs y) z) (+ z (fabs y))))
* [misc]taylor:  Taking taylor expansion of (sqrt (* (- (fabs y) z) (+ z (fabs y)))) in z
* [misc]taylor:  Taking taylor expansion of (* (- (fabs y) z) (+ z (fabs y))) in z
* [misc]taylor:  Taking taylor expansion of (- (fabs y) z) in z
* [misc]taylor:  Taking taylor expansion of (fabs y) in z
* [misc]backup-simplify:  Simplify (fabs y) into (fabs y)
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ z (fabs y)) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (fabs y) in z
* [misc]backup-simplify:  Simplify (fabs y) into (fabs y)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (fabs y) 0) into (fabs y)
* [misc]backup-simplify:  Simplify (+ 0 (fabs y)) into (fabs y)
* [misc]backup-simplify:  Simplify (* (fabs y) (fabs y)) into (sqr (fabs y))
* [misc]backup-simplify:  Simplify (sqrt (sqr (fabs y))) into (fabs y)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (+ (* (fabs y) 1) (* -1 (fabs y))) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (sqr (fabs y))))) into 0
* [misc]backup-simplify:  Simplify (fabs y) into (fabs y)
* [misc]backup-simplify:  Simplify (+ (* (sqrt (+ z (fabs y))) 0) (* 0 (sqrt (- (fabs y) z)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+)) (* 2 (sqrt (- (fabs y) z)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+)) (* 2 (sqrt (+ z (fabs y))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (+ z (fabs y))) 0) (+ (* 0 0) (* 0 (sqrt (- (fabs y) z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* (fabs y) 0) (+ (* -1 1) (* 0 (fabs y)))) into (- 1)
* [misc]backup-simplify:  Simplify (/ (- (- 1) (sqr 0) (+)) (* 2 (fabs y))) into (/ -1/2 (fabs y))
* [misc]backup-simplify:  Simplify (/ -1/2 (fabs y)) into (/ -1/2 (fabs y))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (fabs y) z)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ z (fabs y))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (+ z (fabs y))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (- (fabs y) z)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* (fabs y) 0) (+ (* -1 0) (+ (* 0 1) (* 0 (fabs y))))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/2 (fabs y)))))) (* 2 (fabs y))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (fabs y) z)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ z (fabs y))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (+ z (fabs y))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (- (fabs y) z))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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/2 (fabs y)) (sqr (* z 1))) (fabs y)) into (- (fabs y) (* 1/2 (/ (sqr z) (fabs y))))
* [misc]approximate:  Taking taylor expansion of (* (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) (sqrt (- (fabs (/ 1 y)) (/ 1 z)))) in (y z) around 0
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) (sqrt (- (fabs (/ 1 y)) (/ 1 z)))) in z
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) in z
* [misc]taylor:  Taking taylor expansion of (+ (fabs (/ 1 y)) (/ 1 z)) in z
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 y)) in z
* [misc]backup-simplify:  Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (fabs (/ 1 y)) (/ 1 z))) in z
* [misc]taylor:  Taking taylor expansion of (- (fabs (/ 1 y)) (/ 1 z)) in z
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 y)) in z
* [misc]backup-simplify:  Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) (sqrt (- (fabs (/ 1 y)) (/ 1 z)))) in y
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) in y
* [misc]taylor:  Taking taylor expansion of (+ (fabs (/ 1 y)) (/ 1 z)) in y
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 y)) in y
* [misc]backup-simplify:  Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (+ (fabs (/ 1 y)) (/ 1 z)) into (+ (fabs (/ 1 y)) (/ 1 z))
* [misc]backup-simplify:  Simplify (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) into (sqrt (+ (fabs (/ 1 y)) (/ 1 z)))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (fabs (/ 1 y)) (/ 1 z))) in y
* [misc]taylor:  Taking taylor expansion of (- (fabs (/ 1 y)) (/ 1 z)) in y
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 y)) in y
* [misc]backup-simplify:  Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (- (/ 1 z)) into (- (/ 1 z))
* [misc]backup-simplify:  Simplify (+ (fabs (/ 1 y)) (- (/ 1 z))) into (- (fabs (/ 1 y)) (/ 1 z))
* [misc]backup-simplify:  Simplify (sqrt (- (fabs (/ 1 y)) (/ 1 z))) into (sqrt (- (fabs (/ 1 y)) (/ 1 z)))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (- (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) (sqrt (- (fabs (/ 1 y)) (/ 1 z)))) in y
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) in y
* [misc]taylor:  Taking taylor expansion of (+ (fabs (/ 1 y)) (/ 1 z)) in y
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 y)) in y
* [misc]backup-simplify:  Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (+ (fabs (/ 1 y)) (/ 1 z)) into (+ (fabs (/ 1 y)) (/ 1 z))
* [misc]backup-simplify:  Simplify (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) into (sqrt (+ (fabs (/ 1 y)) (/ 1 z)))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (fabs (/ 1 y)) (/ 1 z))) in y
* [misc]taylor:  Taking taylor expansion of (- (fabs (/ 1 y)) (/ 1 z)) in y
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 y)) in y
* [misc]backup-simplify:  Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (- (/ 1 z)) into (- (/ 1 z))
* [misc]backup-simplify:  Simplify (+ (fabs (/ 1 y)) (- (/ 1 z))) into (- (fabs (/ 1 y)) (/ 1 z))
* [misc]backup-simplify:  Simplify (sqrt (- (fabs (/ 1 y)) (/ 1 z))) into (sqrt (- (fabs (/ 1 y)) (/ 1 z)))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (- (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (* (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) (sqrt (- (fabs (/ 1 y)) (/ 1 z)))) into (sqrt (* (- (fabs (/ 1 y)) (/ 1 z)) (+ (fabs (/ 1 y)) (/ 1 z))))
* [misc]taylor:  Taking taylor expansion of (sqrt (* (- (fabs (/ 1 y)) (/ 1 z)) (+ (fabs (/ 1 y)) (/ 1 z)))) in z
* [misc]taylor:  Taking taylor expansion of (* (- (fabs (/ 1 y)) (/ 1 z)) (+ (fabs (/ 1 y)) (/ 1 z))) in z
* [misc]taylor:  Taking taylor expansion of (- (fabs (/ 1 y)) (/ 1 z)) in z
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 y)) in z
* [misc]backup-simplify:  Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (+ (fabs (/ 1 y)) (/ 1 z)) in z
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 y)) in z
* [misc]backup-simplify:  Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (* -1 1) into -1
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (fabs (/ 1 y)) 0) into (fabs (/ 1 y))
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (fabs (/ 1 y)) 0) into (fabs (/ 1 y))
* [misc]backup-simplify:  Simplify (+ (* -1 (fabs (/ 1 y))) (* (fabs (/ 1 y)) 1)) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) 0) (* 0 (sqrt (- (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+)) (* 2 (sqrt (- (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+)) (* 2 (sqrt (+ (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) 0) (+ (* 0 0) (* 0 (sqrt (- (fabs (/ 1 y)) (/ 1 z)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (- (fabs (/ 1 y)) (/ 1 z))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* (fabs (/ 1 y)) (fabs (/ 1 y))) (* 0 1))) into (sqr (fabs (/ 1 y)))
* [misc]backup-simplify:  Simplify (/ (- (sqr (fabs (/ 1 y))) (sqr 0) (+)) (* 2 (sqrt -1))) into (* 1/2 (/ (sqr (fabs (/ 1 y))) (sqrt -1)))
* [misc]backup-simplify:  Simplify (* 1/2 (/ (sqr (fabs (/ 1 y))) (sqrt -1))) into (* 1/2 (/ (sqr (fabs (/ 1 y))) (sqrt -1)))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (- (fabs (/ 1 y)) (/ 1 z)))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* (fabs (/ 1 y)) 0) (+ (* 0 (fabs (/ 1 y))) (* 0 1)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (* 1/2 (/ (sqr (fabs (/ 1 y))) (sqrt -1))))))) (* 2 (sqrt -1))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (- (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (- (fabs (/ 1 y)) (/ 1 z))))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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/2 (/ (sqr (fabs (/ 1 y))) (sqrt -1))) (* (/ 1 z) 1)) (* (sqrt -1) (* (/ 1 (/ 1 z)) 1))) into (+ (* z (sqrt -1)) (* 1/2 (/ (sqr (fabs (/ 1 y))) (* z (sqrt -1)))))
* [misc]approximate:  Taking taylor expansion of (* (sqrt (+ (fabs (/ 1 (- y))) (/ 1 (- z)))) (sqrt (- (fabs (/ 1 (- y))) (/ 1 (- z))))) in (y z) around 0
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ (fabs (/ 1 (- y))) (/ 1 (- z)))) (sqrt (- (fabs (/ 1 (- y))) (/ 1 (- z))))) in z
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 (- y))) (/ 1 (- z)))) in z
* [misc]taylor:  Taking taylor expansion of (+ (fabs (/ 1 (- y))) (/ 1 (- z))) in z
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 (- y))) in z
* [misc]backup-simplify:  Simplify (fabs (/ 1 (- y))) into (fabs (/ -1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in z
* [misc]taylor:  Taking taylor expansion of (- z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (fabs (/ 1 (- y))) (/ 1 (- z)))) in z
* [misc]taylor:  Taking taylor expansion of (- (fabs (/ 1 (- y))) (/ 1 (- z))) in z
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 (- y))) in z
* [misc]backup-simplify:  Simplify (fabs (/ 1 (- y))) into (fabs (/ -1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in z
* [misc]taylor:  Taking taylor expansion of (- z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ (fabs (/ 1 (- y))) (/ 1 (- z)))) (sqrt (- (fabs (/ 1 (- y))) (/ 1 (- z))))) in y
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 (- y))) (/ 1 (- z)))) in y
* [misc]taylor:  Taking taylor expansion of (+ (fabs (/ 1 (- y))) (/ 1 (- z))) in y
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 (- y))) in y
* [misc]backup-simplify:  Simplify (fabs (/ 1 (- y))) into (fabs (/ -1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (+ (fabs (/ -1 y)) (/ -1 z)) into (- (fabs (/ -1 y)) (/ 1 z))
* [misc]backup-simplify:  Simplify (sqrt (- (fabs (/ -1 y)) (/ 1 z))) into (sqrt (- (fabs (/ -1 y)) (/ 1 z)))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (- (fabs (/ -1 y)) (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (fabs (/ 1 (- y))) (/ 1 (- z)))) in y
* [misc]taylor:  Taking taylor expansion of (- (fabs (/ 1 (- y))) (/ 1 (- z))) in y
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 (- y))) in y
* [misc]backup-simplify:  Simplify (fabs (/ 1 (- y))) into (fabs (/ -1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (- (/ -1 z)) into (/ 1 z)
* [misc]backup-simplify:  Simplify (+ (fabs (/ -1 y)) (/ 1 z)) into (+ (/ 1 z) (fabs (/ -1 y)))
* [misc]backup-simplify:  Simplify (sqrt (+ (/ 1 z) (fabs (/ -1 y)))) into (sqrt (+ (/ 1 z) (fabs (/ -1 y))))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (/ 1 z) (fabs (/ -1 y)))))) into 0
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ (fabs (/ 1 (- y))) (/ 1 (- z)))) (sqrt (- (fabs (/ 1 (- y))) (/ 1 (- z))))) in y
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 (- y))) (/ 1 (- z)))) in y
* [misc]taylor:  Taking taylor expansion of (+ (fabs (/ 1 (- y))) (/ 1 (- z))) in y
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 (- y))) in y
* [misc]backup-simplify:  Simplify (fabs (/ 1 (- y))) into (fabs (/ -1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (+ (fabs (/ -1 y)) (/ -1 z)) into (- (fabs (/ -1 y)) (/ 1 z))
* [misc]backup-simplify:  Simplify (sqrt (- (fabs (/ -1 y)) (/ 1 z))) into (sqrt (- (fabs (/ -1 y)) (/ 1 z)))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (- (fabs (/ -1 y)) (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (fabs (/ 1 (- y))) (/ 1 (- z)))) in y
* [misc]taylor:  Taking taylor expansion of (- (fabs (/ 1 (- y))) (/ 1 (- z))) in y
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 (- y))) in y
* [misc]backup-simplify:  Simplify (fabs (/ 1 (- y))) into (fabs (/ -1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (- (/ -1 z)) into (/ 1 z)
* [misc]backup-simplify:  Simplify (+ (fabs (/ -1 y)) (/ 1 z)) into (+ (/ 1 z) (fabs (/ -1 y)))
* [misc]backup-simplify:  Simplify (sqrt (+ (/ 1 z) (fabs (/ -1 y)))) into (sqrt (+ (/ 1 z) (fabs (/ -1 y))))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (/ 1 z) (fabs (/ -1 y)))))) into 0
* [misc]backup-simplify:  Simplify (* (sqrt (- (fabs (/ -1 y)) (/ 1 z))) (sqrt (+ (/ 1 z) (fabs (/ -1 y))))) into (sqrt (* (+ (/ 1 z) (fabs (/ -1 y))) (- (fabs (/ -1 y)) (/ 1 z))))
* [misc]taylor:  Taking taylor expansion of (sqrt (* (+ (/ 1 z) (fabs (/ -1 y))) (- (fabs (/ -1 y)) (/ 1 z)))) in z
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 z) (fabs (/ -1 y))) (- (fabs (/ -1 y)) (/ 1 z))) in z
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 z) (fabs (/ -1 y))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (fabs (/ -1 y)) in z
* [misc]backup-simplify:  Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
* [misc]taylor:  Taking taylor expansion of (- (fabs (/ -1 y)) (/ 1 z)) in z
* [misc]taylor:  Taking taylor expansion of (fabs (/ -1 y)) in z
* [misc]backup-simplify:  Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 0) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (* 1 -1) into -1
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (fabs (/ -1 y)) 0) into (fabs (/ -1 y))
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 (fabs (/ -1 y))) into (fabs (/ -1 y))
* [misc]backup-simplify:  Simplify (+ (* 1 (fabs (/ -1 y))) (* (fabs (/ -1 y)) -1)) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (- (fabs (/ -1 y)) (/ 1 z))) 0) (* 0 (sqrt (+ (/ 1 z) (fabs (/ -1 y)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+)) (* 2 (sqrt (+ (/ 1 z) (fabs (/ -1 y)))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+)) (* 2 (sqrt (- (fabs (/ -1 y)) (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (- (fabs (/ -1 y)) (/ 1 z))) 0) (+ (* 0 0) (* 0 (sqrt (+ (/ 1 z) (fabs (/ -1 y))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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 (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (/ 1 z) (fabs (/ -1 y)))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (fabs (/ -1 y)) (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (- (fabs (/ -1 y)) (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (+ (/ 1 z) (fabs (/ -1 y)))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* (fabs (/ -1 y)) (fabs (/ -1 y))) (* 0 -1))) into (sqr (fabs (/ -1 y)))
* [misc]backup-simplify:  Simplify (/ (- (sqr (fabs (/ -1 y))) (sqr 0) (+)) (* 2 (sqrt -1))) into (* 1/2 (/ (sqr (fabs (/ -1 y))) (sqrt -1)))
* [misc]backup-simplify:  Simplify (* 1/2 (/ (sqr (fabs (/ -1 y))) (sqrt -1))) into (* 1/2 (/ (sqr (fabs (/ -1 y))) (sqrt -1)))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))) (* 0 (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (/ 1 z) (fabs (/ -1 y)))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))) (* 0 (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (fabs (/ -1 y)) (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (- (fabs (/ -1 y)) (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (+ (/ 1 z) (fabs (/ -1 y))))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* (fabs (/ -1 y)) 0) (+ (* 0 (fabs (/ -1 y))) (* 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (* 1/2 (/ (sqr (fabs (/ -1 y))) (sqrt -1))))))) (* 2 (sqrt -1))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))) (* 0 (/ 0 (- z))) (* 0 (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (/ 1 z) (fabs (/ -1 y)))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))) (* 0 (/ 0 (- z))) (* 0 (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (- (fabs (/ -1 y)) (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (+ (* (sqrt (- (fabs (/ -1 y)) (/ 1 z))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (+ (/ 1 z) (fabs (/ -1 y)))))))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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/2 (/ (sqr (fabs (/ -1 y))) (sqrt -1))) (* (/ 1 (- z)) 1)) (* (sqrt -1) (* (/ 1 (/ 1 (- z))) 1))) into (- (+ (* z (sqrt -1)) (* 1/2 (/ (sqr (fabs (/ -1 y))) (* z (sqrt -1))))))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2 1)
* [misc]approximate:  Taking taylor expansion of (sqrt (+ (fabs y) z)) in (y z) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs y) z)) in z
* [misc]taylor:  Taking taylor expansion of (+ (fabs y) z) in z
* [misc]taylor:  Taking taylor expansion of (fabs y) in z
* [misc]backup-simplify:  Simplify (fabs y) into (fabs y)
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (fabs y) 0) into (fabs y)
* [misc]backup-simplify:  Simplify (sqrt (fabs y)) into (sqrt (fabs y))
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt (fabs y)))) into (* 1/2 (sqrt (/ 1 (fabs y))))
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs y) z)) in y
* [misc]taylor:  Taking taylor expansion of (+ (fabs y) z) in y
* [misc]taylor:  Taking taylor expansion of (fabs y) in y
* [misc]backup-simplify:  Simplify (fabs y) into (fabs y)
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (+ (fabs y) z) into (+ z (fabs y))
* [misc]backup-simplify:  Simplify (sqrt (+ z (fabs y))) into (sqrt (+ z (fabs y)))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ z (fabs y))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs y) z)) in y
* [misc]taylor:  Taking taylor expansion of (+ (fabs y) z) in y
* [misc]taylor:  Taking taylor expansion of (fabs y) in y
* [misc]backup-simplify:  Simplify (fabs y) into (fabs y)
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (+ (fabs y) z) into (+ z (fabs y))
* [misc]backup-simplify:  Simplify (sqrt (+ z (fabs y))) into (sqrt (+ z (fabs y)))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ z (fabs y))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ z (fabs y))) in z
* [misc]taylor:  Taking taylor expansion of (+ z (fabs y)) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (fabs y) in z
* [misc]backup-simplify:  Simplify (fabs y) into (fabs y)
* [misc]backup-simplify:  Simplify (+ 0 (fabs y)) into (fabs y)
* [misc]backup-simplify:  Simplify (sqrt (fabs y)) into (sqrt (fabs y))
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt (fabs y)))) into (* 1/2 (sqrt (/ 1 (fabs y))))
* [misc]backup-simplify:  Simplify (sqrt (fabs y)) into (sqrt (fabs y))
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 1/2 (sqrt (/ 1 (fabs y)))) into (* 1/2 (sqrt (/ 1 (fabs y))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+)) (* 2 (sqrt (+ z (fabs y))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr (* 1/2 (sqrt (/ 1 (fabs y))))) (+)) (* 2 (sqrt (fabs y)))) into (* -1/8 (sqrt (/ 1 (pow (fabs y) 3))))
* [misc]backup-simplify:  Simplify (* -1/8 (sqrt (/ 1 (pow (fabs y) 3)))) into (* -1/8 (sqrt (/ 1 (pow (fabs y) 3))))
* [misc]backup-simplify:  Simplify (+ (* (* -1/8 (sqrt (/ 1 (pow (fabs y) 3)))) (sqr (* z 1))) (+ (* (* 1/2 (sqrt (/ 1 (fabs y)))) (* z 1)) (sqrt (fabs y)))) into (- (+ (* 1/2 (* z (sqrt (/ 1 (fabs y))))) (sqrt (fabs y))) (* 1/8 (* (sqr z) (sqrt (/ 1 (pow (fabs y) 3))))))
* [misc]approximate:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) in (y z) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) in z
* [misc]taylor:  Taking taylor expansion of (+ (fabs (/ 1 y)) (/ 1 z)) in z
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 y)) in z
* [misc]backup-simplify:  Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) in y
* [misc]taylor:  Taking taylor expansion of (+ (fabs (/ 1 y)) (/ 1 z)) in y
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 y)) in y
* [misc]backup-simplify:  Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (+ (fabs (/ 1 y)) (/ 1 z)) into (+ (fabs (/ 1 y)) (/ 1 z))
* [misc]backup-simplify:  Simplify (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) into (sqrt (+ (fabs (/ 1 y)) (/ 1 z)))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) in y
* [misc]taylor:  Taking taylor expansion of (+ (fabs (/ 1 y)) (/ 1 z)) in y
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 y)) in y
* [misc]backup-simplify:  Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (+ (fabs (/ 1 y)) (/ 1 z)) into (+ (fabs (/ 1 y)) (/ 1 z))
* [misc]backup-simplify:  Simplify (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) into (sqrt (+ (fabs (/ 1 y)) (/ 1 z)))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 y)) (/ 1 z))) in z
* [misc]taylor:  Taking taylor expansion of (+ (fabs (/ 1 y)) (/ 1 z)) in z
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 y)) in z
* [misc]backup-simplify:  Simplify (fabs (/ 1 y)) into (fabs (/ 1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+)) (* 2 (sqrt (+ (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (fabs (/ 1 y)) 0) into (fabs (/ 1 y))
* [misc]backup-simplify:  Simplify (/ (- (fabs (/ 1 y)) (sqr +nan.0) (+)) (* 2 0)) into (* +nan.0 (- (fabs (/ 1 y)) +nan.0))
* [misc]backup-simplify:  Simplify (* +nan.0 (- (fabs (/ 1 y)) +nan.0)) into (* +nan.0 (- (fabs (/ 1 y)) +nan.0))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (fabs (/ 1 y)) (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (- (fabs (/ 1 y)) +nan.0)))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (fabs (/ 1 y))) (- +nan.0)))
* [misc]backup-simplify:  Simplify (* +nan.0 (+ (* +nan.0 (fabs (/ 1 y))) (- +nan.0))) into (* +nan.0 (+ (* +nan.0 (fabs (/ 1 y))) (- +nan.0)))
* [misc]backup-simplify:  Simplify (+ (* (* +nan.0 (+ (* +nan.0 (fabs (/ 1 y))) (- +nan.0))) (sqr (* (/ 1 z) 1))) (+ (* (* +nan.0 (- (fabs (/ 1 y)) +nan.0)) (* (/ 1 z) 1)) +nan.0)) into (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ (fabs (/ 1 y)) z)) (- (+ (* +nan.0 (/ (fabs (/ 1 y)) (sqr z))) (- (+ +nan.0 (- (* +nan.0 (/ 1 (sqr z))))))))))))
* [misc]approximate:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 (- y))) (/ 1 (- z)))) in (y z) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 (- y))) (/ 1 (- z)))) in z
* [misc]taylor:  Taking taylor expansion of (+ (fabs (/ 1 (- y))) (/ 1 (- z))) in z
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 (- y))) in z
* [misc]backup-simplify:  Simplify (fabs (/ 1 (- y))) into (fabs (/ -1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in z
* [misc]taylor:  Taking taylor expansion of (- z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 (- y))) (/ 1 (- z)))) in y
* [misc]taylor:  Taking taylor expansion of (+ (fabs (/ 1 (- y))) (/ 1 (- z))) in y
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 (- y))) in y
* [misc]backup-simplify:  Simplify (fabs (/ 1 (- y))) into (fabs (/ -1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (+ (fabs (/ -1 y)) (/ -1 z)) into (- (fabs (/ -1 y)) (/ 1 z))
* [misc]backup-simplify:  Simplify (sqrt (- (fabs (/ -1 y)) (/ 1 z))) into (sqrt (- (fabs (/ -1 y)) (/ 1 z)))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (- (fabs (/ -1 y)) (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (fabs (/ 1 (- y))) (/ 1 (- z)))) in y
* [misc]taylor:  Taking taylor expansion of (+ (fabs (/ 1 (- y))) (/ 1 (- z))) in y
* [misc]taylor:  Taking taylor expansion of (fabs (/ 1 (- y))) in y
* [misc]backup-simplify:  Simplify (fabs (/ 1 (- y))) into (fabs (/ -1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (+ (fabs (/ -1 y)) (/ -1 z)) into (- (fabs (/ -1 y)) (/ 1 z))
* [misc]backup-simplify:  Simplify (sqrt (- (fabs (/ -1 y)) (/ 1 z))) into (sqrt (- (fabs (/ -1 y)) (/ 1 z)))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (- (fabs (/ -1 y)) (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (fabs (/ -1 y)) (/ 1 z))) in z
* [misc]taylor:  Taking taylor expansion of (- (fabs (/ -1 y)) (/ 1 z)) in z
* [misc]taylor:  Taking taylor expansion of (fabs (/ -1 y)) in z
* [misc]backup-simplify:  Simplify (fabs (/ -1 y)) into (fabs (/ -1 y))
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [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 (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (sqr 0) (+)) (* 2 (sqrt (- (fabs (/ -1 y)) (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [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 (+ (fabs (/ -1 y)) 0) into (fabs (/ -1 y))
* [misc]backup-simplify:  Simplify (/ (- (fabs (/ -1 y)) (sqr +nan.0) (+)) (* 2 0)) into (* +nan.0 (- (fabs (/ -1 y)) +nan.0))
* [misc]backup-simplify:  Simplify (* +nan.0 (- (fabs (/ -1 y)) +nan.0)) into (* +nan.0 (- (fabs (/ -1 y)) +nan.0))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (- (fabs (/ -1 y)) (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [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 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (- (fabs (/ -1 y)) +nan.0)))))) (* 2 0)) into (* +nan.0 (+ +nan.0 (- (* +nan.0 (fabs (/ -1 y))))))
* [misc]backup-simplify:  Simplify (* +nan.0 (+ +nan.0 (- (* +nan.0 (fabs (/ -1 y)))))) into (* +nan.0 (+ +nan.0 (- (* +nan.0 (fabs (/ -1 y))))))
* [misc]backup-simplify:  Simplify (+ (* (* +nan.0 (+ +nan.0 (- (* +nan.0 (fabs (/ -1 y)))))) (sqr (* (/ 1 (- z)) 1))) (+ (* (* +nan.0 (- (fabs (/ -1 y)) +nan.0)) (* (/ 1 (- z)) 1)) +nan.0)) into (- (+ (* +nan.0 (/ (fabs (/ -1 y)) (sqr z))) (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ (fabs (/ -1 y)) z)) (- (+ +nan.0 (- (* +nan.0 (/ 1 (sqr z))))))))))))
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt-event (λ (x y z) (* x (- (fabs y) (* 1/2 (/ (sqr z) (fabs y))))))>
* [enter]simplify:  Simplifying (* x (- (fabs y) (* 1/2 (/ (sqr z) (fabs y)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (27 enodes)
* * [misc]simplify:  iters left: 2 (40 enodes)
* * [misc]simplify:  iters left: 1 (44 enodes)
* [exit]simplify:  Simplified to (* (- (fabs y) (* (/ 1/2 (fabs y)) (* z z))) x)
* * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt-event (λ (x y z) (* x (+ (* z (sqrt -1)) (* 1/2 (/ (sqr (fabs (/ 1 y))) (* z (sqrt -1)))))))>
* [enter]simplify:  Simplifying (* x (+ (* z (sqrt -1)) (* 1/2 (/ (sqr (fabs (/ 1 y))) (* z (sqrt -1))))))
* * [misc]simplify:  iters left: 6 (15 enodes)
* * [misc]simplify:  iters left: 5 (32 enodes)
* * [misc]simplify:  iters left: 4 (65 enodes)
* * [misc]simplify:  iters left: 3 (121 enodes)
* * [misc]simplify:  iters left: 2 (209 enodes)
* * [misc]simplify:  iters left: 1 (323 enodes)
* [exit]simplify:  Simplified to (+ (* (sqrt -1) (* z x)) (* (* (fabs (/ 1 y)) (/ 1/2 (sqrt -1))) (/ (fabs (/ 1 y)) (/ z x))))
* * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt-event (λ (x y z) (* x (- (+ (* z (sqrt -1)) (* 1/2 (/ (sqr (fabs (/ -1 y))) (* z (sqrt -1))))))))>
* [enter]simplify:  Simplifying (* x (- (+ (* z (sqrt -1)) (* 1/2 (/ (sqr (fabs (/ -1 y))) (* z (sqrt -1)))))))
* * [misc]simplify:  iters left: 6 (15 enodes)
* * [misc]simplify:  iters left: 5 (29 enodes)
* * [misc]simplify:  iters left: 4 (74 enodes)
* * [misc]simplify:  iters left: 3 (170 enodes)
* * [misc]simplify:  iters left: 2 (309 enodes)
* [exit]simplify:  Simplified to (* (- x) (+ (* (sqrt -1) z) (* (/ (fabs (/ -1 y)) (sqrt -1)) (/ (fabs (/ -1 y)) (/ z 1/2)))))
* * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt-event (λ (x y z) (* x (* (- (+ (* 1/2 (* z (sqrt (/ 1 (fabs y))))) (sqrt (fabs y))) (* 1/8 (* (sqr z) (sqrt (/ 1 (pow (fabs y) 3)))))) (sqrt (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (* x (* (- (+ (* 1/2 (* z (sqrt (/ 1 (fabs y))))) (sqrt (fabs y))) (* 1/8 (* (sqr z) (sqrt (/ 1 (pow (fabs y) 3)))))) (sqrt (- (fabs y) z))))
* * [misc]simplify:  iters left: 6 (25 enodes)
* * [misc]simplify:  iters left: 5 (41 enodes)
* * [misc]simplify:  iters left: 4 (68 enodes)
* * [misc]simplify:  iters left: 3 (98 enodes)
* * [misc]simplify:  iters left: 2 (156 enodes)
* * [misc]simplify:  iters left: 1 (228 enodes)
* [exit]simplify:  Simplified to (* (* x (sqrt (- (fabs y) z))) (- (+ (* (* z 1/2) (sqrt (/ 1 (fabs y)))) (sqrt (fabs y))) (* (* 1/8 (sqr z)) (sqrt (/ 1 (cube (fabs y)))))))
* * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt-event (λ (x y z) (* x (* (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ (fabs (/ 1 y)) z)) (- (+ (* +nan.0 (/ (fabs (/ 1 y)) (sqr z))) (- (+ +nan.0 (- (* +nan.0 (/ 1 (sqr z)))))))))))) (sqrt (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (* x (* (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ (fabs (/ 1 y)) z)) (- (+ (* +nan.0 (/ (fabs (/ 1 y)) (sqr z))) (- (+ +nan.0 (- (* +nan.0 (/ 1 (sqr z)))))))))))) (sqrt (- (fabs y) z))))
* * * * [misc]progress:  [ 6 / 45 ] simplifiying candidate #<alt-event (λ (x y z) (* x (* (- (+ (* +nan.0 (/ (fabs (/ -1 y)) (sqr z))) (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ (fabs (/ -1 y)) z)) (- (+ +nan.0 (- (* +nan.0 (/ 1 (sqr z)))))))))))) (sqrt (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (* x (* (- (+ (* +nan.0 (/ (fabs (/ -1 y)) (sqr z))) (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ (fabs (/ -1 y)) z)) (- (+ +nan.0 (- (* +nan.0 (/ 1 (sqr z)))))))))))) (sqrt (- (fabs y) z))))
* * * * [misc]progress:  [ 7 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (pow (* (+ (fabs y) z) (- (fabs y) z)) 1/2)))>
* [enter]simplify:  Simplifying (* (+ (fabs y) z) (- (fabs y) z))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* [exit]simplify:  Simplified to (* (- (fabs y) z) (+ z (fabs y)))
* [exit]simplify:  Simplified to (* (- (fabs y) z) (+ z (fabs y)))
* * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (pow (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z))) 1)))>
* [enter]simplify:  Simplifying (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (* (sqrt (- (fabs y) z)) (sqrt (+ z (fabs y))))
* [exit]simplify:  Simplified to (* (sqrt (- (fabs y) z)) (sqrt (+ z (fabs y))))
* * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (pow (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z))) 1)))>
* * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (exp (+ (log (sqrt (+ (fabs y) z))) (log (sqrt (- (fabs y) z)))))))>
* [enter]simplify:  Simplifying (+ (log (sqrt (+ (fabs y) z))) (log (sqrt (- (fabs y) z))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* [exit]simplify:  Simplified to (+ (log (sqrt (+ z (fabs y)))) (log (sqrt (- (fabs y) z))))
* [exit]simplify:  Simplified to (+ (log (sqrt (+ z (fabs y)))) (log (sqrt (- (fabs y) z))))
* * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (exp (log (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z)))))))>
* [enter]simplify:  Simplifying (log (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* [exit]simplify:  Simplified to (log (* (sqrt (- (fabs y) z)) (sqrt (+ z (fabs y)))))
* [exit]simplify:  Simplified to (log (* (sqrt (- (fabs y) z)) (sqrt (+ z (fabs y)))))
* * * * [misc]progress:  [ 12 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (log (exp (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z)))))))>
* [enter]simplify:  Simplifying (exp (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* [exit]simplify:  Simplified to (exp (* (sqrt (- (fabs y) z)) (sqrt (+ z (fabs y)))))
* [exit]simplify:  Simplified to (exp (* (sqrt (- (fabs y) z)) (sqrt (+ z (fabs y)))))
* * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (cbrt (* (cube (sqrt (+ (fabs y) z))) (cube (sqrt (- (fabs y) z)))))))>
* [enter]simplify:  Simplifying (* (cube (sqrt (+ (fabs y) z))) (cube (sqrt (- (fabs y) z))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (60 enodes)
* * [misc]simplify:  iters left: 1 (154 enodes)
* [exit]simplify:  Simplified to (* (* (sqrt (+ z (fabs y))) (+ z (fabs y))) (* (- (fabs y) z) (sqrt (- (fabs y) z))))
* [exit]simplify:  Simplified to (* (* (sqrt (+ z (fabs y))) (+ z (fabs y))) (* (- (fabs y) z) (sqrt (- (fabs y) z))))
* * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (cube (cbrt (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z)))))))>
* [enter]simplify:  Simplifying (cbrt (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (cbrt (* (sqrt (- (fabs y) z)) (sqrt (+ z (fabs y)))))
* [exit]simplify:  Simplified to (cbrt (* (sqrt (- (fabs y) z)) (sqrt (+ z (fabs y)))))
* * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (cbrt (cube (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z)))))))>
* [enter]simplify:  Simplifying (cube (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (26 enodes)
* * [misc]simplify:  iters left: 3 (37 enodes)
* * [misc]simplify:  iters left: 2 (62 enodes)
* * [misc]simplify:  iters left: 1 (118 enodes)
* [exit]simplify:  Simplified to (* (* (* (+ z (fabs y)) (- (fabs y) z)) (sqrt (- (fabs y) z))) (sqrt (+ z (fabs y))))
* [exit]simplify:  Simplified to (* (* (* (+ z (fabs y)) (- (fabs y) z)) (sqrt (- (fabs y) z))) (sqrt (+ z (fabs y))))
* * * * [misc]progress:  [ 16 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (cube (* (cbrt (sqrt (+ (fabs y) z))) (cbrt (sqrt (- (fabs y) z)))))))>
* [enter]simplify:  Simplifying (* (cbrt (sqrt (+ (fabs y) z))) (cbrt (sqrt (- (fabs y) z))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* [exit]simplify:  Simplified to (* (cbrt (sqrt (+ z (fabs y)))) (cbrt (sqrt (- (fabs y) z))))
* [exit]simplify:  Simplified to (* (cbrt (sqrt (+ z (fabs y)))) (cbrt (sqrt (- (fabs y) z))))
* * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqrt (* (+ (fabs y) z) (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (* (+ (fabs y) z) (- (fabs y) z))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* [exit]simplify:  Simplified to (* (- (fabs y) z) (+ z (fabs y)))
* [exit]simplify:  Simplified to (* (- (fabs y) z) (+ z (fabs y)))
* * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqr (sqrt (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z)))))))>
* [enter]simplify:  Simplifying (sqrt (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (sqrt (* (sqrt (- (fabs y) z)) (sqrt (+ z (fabs y)))))
* [exit]simplify:  Simplified to (sqrt (* (sqrt (- (fabs y) z)) (sqrt (+ z (fabs y)))))
* * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (sqr (* (sqrt (sqrt (+ (fabs y) z))) (sqrt (sqrt (- (fabs y) z)))))))>
* [enter]simplify:  Simplifying (* (sqrt (sqrt (+ (fabs y) z))) (sqrt (sqrt (- (fabs y) z))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* [exit]simplify:  Simplified to (* (sqrt (sqrt (+ z (fabs y)))) (sqrt (sqrt (- (fabs y) z))))
* [exit]simplify:  Simplified to (* (sqrt (sqrt (+ z (fabs y)))) (sqrt (sqrt (- (fabs y) z))))
* * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (/ (* (sqrt (+ (pow (fabs y) 3) (pow z 3))) (sqrt (- (pow (fabs y) 3) (pow z 3)))) (* (sqrt (+ (sqr (fabs y)) (- (sqr z) (* (fabs y) z)))) (sqrt (+ (sqr (fabs y)) (+ (sqr z) (* (fabs y) z))))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ (pow (fabs y) 3) (pow z 3))) (sqrt (- (pow (fabs y) 3) (pow z 3))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* [exit]simplify:  Simplified to (* (sqrt (- (cube (fabs y)) (cube z))) (sqrt (+ (cube z) (cube (fabs y)))))
* [exit]simplify:  Simplified to (* (sqrt (- (cube (fabs y)) (cube z))) (sqrt (+ (cube z) (cube (fabs y)))))
* [enter]simplify:  Simplifying (* (sqrt (+ (sqr (fabs y)) (- (sqr z) (* (fabs y) z)))) (sqrt (+ (sqr (fabs y)) (+ (sqr z) (* (fabs y) z)))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (39 enodes)
* * [misc]simplify:  iters left: 2 (43 enodes)
* * [misc]simplify:  iters left: 1 (44 enodes)
* [exit]simplify:  Simplified to (* (sqrt (- (* z z) (* (- z (fabs y)) (fabs y)))) (sqrt (+ (* (+ z (fabs y)) (fabs y)) (* z z))))
* [exit]simplify:  Simplified to (* (sqrt (- (* z z) (* (- z (fabs y)) (fabs y)))) (sqrt (+ (* (+ z (fabs y)) (fabs y)) (* z z))))
* * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (/ (* (sqrt (+ (pow (fabs y) 3) (pow z 3))) (sqrt (- (sqr (fabs y)) (sqr z)))) (* (sqrt (+ (sqr (fabs y)) (- (sqr z) (* (fabs y) z)))) (sqrt (+ (fabs y) z))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ (pow (fabs y) 3) (pow z 3))) (sqrt (- (sqr (fabs y)) (sqr z))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (26 enodes)
* * [misc]simplify:  iters left: 3 (36 enodes)
* [exit]simplify:  Simplified to (* (sqrt (- (sqr (fabs y)) (* z z))) (sqrt (+ (cube z) (cube (fabs y)))))
* [exit]simplify:  Simplified to (* (sqrt (- (sqr (fabs y)) (* z z))) (sqrt (+ (cube z) (cube (fabs y)))))
* [enter]simplify:  Simplifying (* (sqrt (+ (sqr (fabs y)) (- (sqr z) (* (fabs y) z)))) (sqrt (+ (fabs y) z)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (27 enodes)
* * [misc]simplify:  iters left: 2 (28 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ z (fabs y))) (sqrt (- (* z z) (* (- z (fabs y)) (fabs y)))))
* [exit]simplify:  Simplified to (* (sqrt (+ z (fabs y))) (sqrt (- (* z z) (* (- z (fabs y)) (fabs y)))))
* * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (/ (* (sqrt (- (sqr (fabs y)) (sqr z))) (sqrt (- (pow (fabs y) 3) (pow z 3)))) (* (sqrt (- (fabs y) z)) (sqrt (+ (sqr (fabs y)) (+ (sqr z) (* (fabs y) z))))))))>
* [enter]simplify:  Simplifying (* (sqrt (- (sqr (fabs y)) (sqr z))) (sqrt (- (pow (fabs y) 3) (pow z 3))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (35 enodes)
* [exit]simplify:  Simplified to (* (sqrt (* (+ z (fabs y)) (- (fabs y) z))) (sqrt (- (cube (fabs y)) (cube z))))
* [exit]simplify:  Simplified to (* (sqrt (* (+ z (fabs y)) (- (fabs y) z))) (sqrt (- (cube (fabs y)) (cube z))))
* [enter]simplify:  Simplifying (* (sqrt (- (fabs y) z)) (sqrt (+ (sqr (fabs y)) (+ (sqr z) (* (fabs y) z)))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (26 enodes)
* * [misc]simplify:  iters left: 3 (30 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (34 enodes)
* [exit]simplify:  Simplified to (* (sqrt (- (fabs y) z)) (sqrt (+ (sqr (fabs y)) (* z (+ z (fabs y))))))
* [exit]simplify:  Simplified to (* (sqrt (- (fabs y) z)) (sqrt (+ (sqr (fabs y)) (* z (+ z (fabs y))))))
* * * * [misc]progress:  [ 23 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (/ (* (sqrt (- (sqr (fabs y)) (sqr z))) (sqrt (- (sqr (fabs y)) (sqr z)))) (* (sqrt (- (fabs y) z)) (sqrt (+ (fabs y) z))))))>
* [enter]simplify:  Simplifying (* (sqrt (- (sqr (fabs y)) (sqr z))) (sqrt (- (sqr (fabs y)) (sqr z))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (25 enodes)
* [exit]simplify:  Simplified to (* (+ z (fabs y)) (- (fabs y) z))
* [exit]simplify:  Simplified to (* (+ z (fabs y)) (- (fabs y) z))
* [enter]simplify:  Simplifying (* (sqrt (- (fabs y) z)) (sqrt (+ (fabs y) z)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ z (fabs y))) (sqrt (- (fabs y) z)))
* [exit]simplify:  Simplified to (* (sqrt (+ z (fabs y))) (sqrt (- (fabs y) z)))
* * * * [misc]progress:  [ 24 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* 1 (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z))))))>
* * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (* (sqrt (+ (fabs y) z)) (sqrt 1)) (sqrt (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (* (sqrt (+ (fabs y) z)) (sqrt 1))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* [exit]simplify:  Simplified to (* (sqrt 1) (sqrt (+ z (fabs y))))
* [exit]simplify:  Simplified to (* (sqrt 1) (sqrt (+ z (fabs y))))
* * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (* (sqrt (+ (fabs y) z)) 1) (sqrt (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (* (sqrt (+ (fabs y) z)) 1)
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (sqrt (+ z (fabs y)))
* [exit]simplify:  Simplified to (sqrt (+ z (fabs y)))
* * * * [misc]progress:  [ 27 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (sqrt 1) (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (* (sqrt (- (fabs y) z)) (sqrt (+ z (fabs y))))
* [exit]simplify:  Simplified to (* (sqrt (- (fabs y) z)) (sqrt (+ z (fabs y))))
* * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* 1 (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (* (sqrt (- (fabs y) z)) (sqrt (+ z (fabs y))))
* [exit]simplify:  Simplified to (* (sqrt (- (fabs y) z)) (sqrt (+ z (fabs y))))
* * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (/ (* (sqrt (+ (fabs y) z)) (sqrt (- (pow (fabs y) 3) (pow z 3)))) (sqrt (+ (sqr (fabs y)) (+ (sqr z) (* (fabs y) z)))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ (fabs y) z)) (sqrt (- (pow (fabs y) 3) (pow z 3))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ z (fabs y))) (sqrt (- (cube (fabs y)) (cube z))))
* [exit]simplify:  Simplified to (* (sqrt (+ z (fabs y))) (sqrt (- (cube (fabs y)) (cube z))))
* * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (/ (* (sqrt (+ (fabs y) z)) (sqrt (- (sqr (fabs y)) (sqr z)))) (sqrt (+ (fabs y) z)))))>
* [enter]simplify:  Simplifying (* (sqrt (+ (fabs y) z)) (sqrt (- (sqr (fabs y)) (sqr z))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* [exit]simplify:  Simplified to (* (sqrt (- (sqr (fabs y)) (sqr z))) (sqrt (+ z (fabs y))))
* [exit]simplify:  Simplified to (* (sqrt (- (sqr (fabs y)) (sqr z))) (sqrt (+ z (fabs y))))
* * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (/ (* (sqrt (+ (pow (fabs y) 3) (pow z 3))) (sqrt (- (fabs y) z))) (sqrt (+ (sqr (fabs y)) (- (sqr z) (* (fabs y) z)))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ (pow (fabs y) 3) (pow z 3))) (sqrt (- (fabs y) z)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* [exit]simplify:  Simplified to (* (sqrt (- (fabs y) z)) (sqrt (+ (cube z) (cube (fabs y)))))
* [exit]simplify:  Simplified to (* (sqrt (- (fabs y) z)) (sqrt (+ (cube z) (cube (fabs y)))))
* * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (/ (* (sqrt (- (sqr (fabs y)) (sqr z))) (sqrt (- (fabs y) z))) (sqrt (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (* (sqrt (- (sqr (fabs y)) (sqr z))) (sqrt (- (fabs y) z)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* [exit]simplify:  Simplified to (* (sqrt (* (+ z (fabs y)) (- (fabs y) z))) (sqrt (- (fabs y) z)))
* [exit]simplify:  Simplified to (* (sqrt (* (+ z (fabs y)) (- (fabs y) z))) (sqrt (- (fabs y) z)))
* * * * [misc]progress:  [ 33 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (sqrt (- (fabs y) z)) (sqrt (+ (fabs y) z)))))>
* * * * [misc]progress:  [ 34 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (pow (+ (fabs y) z) 1/2) (sqrt (- (fabs y) z)))))>
* * * * [misc]progress:  [ 35 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (pow (sqrt (+ (fabs y) z)) 1) (sqrt (- (fabs y) z)))))>
* * * * [misc]progress:  [ 36 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (exp (log (sqrt (+ (fabs y) z)))) (sqrt (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (log (sqrt (+ (fabs y) z)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (log (sqrt (+ z (fabs y))))
* [exit]simplify:  Simplified to (log (sqrt (+ z (fabs y))))
* * * * [misc]progress:  [ 37 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (log (exp (sqrt (+ (fabs y) z)))) (sqrt (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (exp (sqrt (+ (fabs y) z)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (+ z (fabs y))))
* [exit]simplify:  Simplified to (exp (sqrt (+ z (fabs y))))
* * * * [misc]progress:  [ 38 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (cube (cbrt (sqrt (+ (fabs y) z)))) (sqrt (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (cbrt (sqrt (+ (fabs y) z)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (+ z (fabs y))))
* [exit]simplify:  Simplified to (cbrt (sqrt (+ z (fabs y))))
* * * * [misc]progress:  [ 39 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (cbrt (cube (sqrt (+ (fabs y) z)))) (sqrt (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (cube (sqrt (+ (fabs y) z)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* [exit]simplify:  Simplified to (* (+ z (fabs y)) (sqrt (+ z (fabs y))))
* [exit]simplify:  Simplified to (* (+ z (fabs y)) (sqrt (+ z (fabs y))))
* * * * [misc]progress:  [ 40 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (* (sqrt 1) (sqrt (+ (fabs y) z))) (sqrt (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (sqrt 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt 1)
* [exit]simplify:  Simplified to (sqrt 1)
* [enter]simplify:  Simplifying (sqrt (+ (fabs y) z))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* [exit]simplify:  Simplified to (sqrt (+ z (fabs y)))
* [exit]simplify:  Simplified to (sqrt (+ z (fabs y)))
* * * * [misc]progress:  [ 41 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (/ (sqrt (+ (pow (fabs y) 3) (pow z 3))) (sqrt (+ (sqr (fabs y)) (- (sqr z) (* (fabs y) z))))) (sqrt (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (sqrt (+ (pow (fabs y) 3) (pow z 3)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (cube z) (cube (fabs y))))
* [exit]simplify:  Simplified to (sqrt (+ (cube z) (cube (fabs y))))
* [enter]simplify:  Simplifying (sqrt (+ (sqr (fabs y)) (- (sqr z) (* (fabs y) z))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (23 enodes)
* [exit]simplify:  Simplified to (sqrt (- (* z z) (* (fabs y) (- z (fabs y)))))
* [exit]simplify:  Simplified to (sqrt (- (* z z) (* (fabs y) (- z (fabs y)))))
* * * * [misc]progress:  [ 42 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (/ (sqrt (- (sqr (fabs y)) (sqr z))) (sqrt (- (fabs y) z))) (sqrt (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (sqrt (- (sqr (fabs y)) (sqr z)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* [exit]simplify:  Simplified to (sqrt (* (- (fabs y) z) (+ z (fabs y))))
* [exit]simplify:  Simplified to (sqrt (* (- (fabs y) z) (+ z (fabs y))))
* [enter]simplify:  Simplifying (sqrt (- (fabs y) z))
* * [misc]simplify:  iters left: 4 (5 enodes)
* [exit]simplify:  Simplified to (sqrt (- (fabs y) z))
* [exit]simplify:  Simplified to (sqrt (- (fabs y) z))
* * * * [misc]progress:  [ 43 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (sqr (sqrt (sqrt (+ (fabs y) z)))) (sqrt (- (fabs y) z)))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (+ (fabs y) z)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (+ z (fabs y))))
* [exit]simplify:  Simplified to (sqrt (sqrt (+ z (fabs y))))
* * * * [misc]progress:  [ 44 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (fabs (sqrt (+ (fabs y) z))) (sqrt (- (fabs y) z)))))>
* * * * [misc]progress:  [ 45 / 45 ] simplifiying candidate #<alt-delta (λ (x y z) (* x (* (* 1 (sqrt (+ (fabs y) z))) (sqrt (- (fabs y) z)))))>
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 3 / 3
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (x y z) (* x (- y)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating series expansions
* * * [misc]progress:  generating rewritten candidates
* * * [misc]progress:  simplifying candidates
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-event (λ (x y z) (* x y))> #<alt-delta (λ (x y z) (* x (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z)))))> #<alt-delta (λ (x y z) (* x (- y)))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 y +inf.0)) , with alts (#<alt-delta (λ (x y z) (* x (* (sqrt (+ (fabs y) z)) (sqrt (- (fabs y) z)))))>)
* [enter]simplify:  Simplifying (* x y)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (* y x)
* [enter]simplify:  Simplifying (- (fabs y) z)
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (- (fabs y) z)
* [exit]simplify:  Simplified to (- (fabs y) z)
* [enter]simplify:  Simplifying (- y)
* * [misc]simplify:  iters left: 2 (2 enodes)
* [exit]simplify:  Simplified to (- y)
* [exit]simplify:  Simplified to (- y)